Browse

Author Profile

Browsing by Subject Công cụ

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 8 of 8
  • OER000003288.pdf.jpg
  • Ebooks (Sách điện tử)

  • Behavioural Types : From Theory to Tools

    • Authors : - (2017)

  • Các hệ thống loại hành vi trong ngôn ngữ lập trình hỗ trợ đặc tả và xác minh các thuộc tính của chương trình ngoài việc sử dụng hệ thống loại truyền thống để mô tả việc xử lý dữ liệu. Một ví dụ chính về đặc tính như vậy là tính chính xác của giao tiếp trong các hệ thống đồng thời và phân tán, được thúc đẩy bởi tầm quan trọng của giao tiếp có cấu trúc trong phần mềm hiện đại.&...
  • OER000003262.pdf.jpg
  • Ebooks (Sách điện tử)

  • Behavioural Types:from Theory to Tools

    • Authors : - (2017)

  • Các hệ thống loại hành vi trong ngôn ngữ lập trình hỗ trợ đặc tả và xác minh các thuộc tính của chương trình ngoài việc sử dụng hệ thống loại truyền thống để mô tả việc xử lý dữ liệu. Một ví dụ chính về đặc tính như vậy là tính chính xác của giao tiếp trong các hệ thống đồng thời và phân tán, được thúc đẩy bởi tầm quan trọng của giao tiếp có cấu trúc trong phần mềm hiện đại.&...
  • 000000272736-tt.pdf.jpg
  • Thesis

  • Sử dụng công cụ MATLAB/Simulink để mô phỏng rơ le số.

    • Authors : Lê Mạnh Tuấn;  Advisor : Nguyễn Đức Huy (2013)

  • Trình bày nguyên lý tổng trở, bảo vệ khoảng cách, các mạch vòng sự cố, các yếu tố ảnh hưởng tới sự làm việc của bảo vệ khoảng cách. Nêu các phương pháp số xác định. Tổng quan về Matlab-Simulink, xây dựng mô hình mô phỏng. Kết quả mô phỏng với tham số cài đặt trên mô hình Matlab-Simulink; kết quả dựa trên bàn thí nghiệm NE9171 và rowle P422; khảo sát ảnh hưởng của điện trở sự cố tới sự ...