Dòng Nội dung
1
Đánh giá độ chính xác gia công trực tiếp dữ liệu mây điểm chi tiết cánh Turbine từ phần mềm inventor Professional trên máy phay CNC / Đặng Thanh Tâm, Trần Vĩnh Hưng, Lê Hồng Kỳ // Tạp chí Cơ Khí Việt Nam : Vietnam Mechanical Engineering Journal . - 2020. - tr. 42-46. - ISSN: 2615-9910

Thành phố Hà Nội : Hội cơ khí Việt Nam, 2020
5 tr.
Ký hiệu phân loại (DDC): 621.91
Nghiên cứu độ chính xác gia công trực tiếp chi tiết cánh tuabin từ file dữ liệu mây điểm với phần mềm Inventor professional trên máy phay CNC
Số bản sách: (0) Tài liệu số: (1)
2
Mô hình hóa hệ thống và mô phỏng / Nguyễn Công Hiền, Nguyễn Phạm Thục Anh
Hà Nội : Khoa học và Kỹ thuật, 2006
205 tr. : hình vẽ ; 24 cm.
Ký hiệu phân loại (DDC): 003
Khái niệm cơ bản và vai trò của mô hình hoá hệ thống. Phương pháp mô phỏng. Mô phỏng hệ thống liên tục. Mô hình hóa các hệ ngẫu nhiên. Thu thập và phân tích dữ liệu đầu vào. Kiểm chứng và hợp thức hóa mô hình. Mô phỏng các hệ thống sản xuất và hệ thống hàng đợi. Ứng dụng Matlab-Simulik và các phần mềm chuyên dụng trong mô phỏng.
Số bản sách: (1) Tài liệu số: (1)
3
Mô hình hóa và kiểm chứng các chức năng cơ bản của Floodlight : Báo cáo tổng kết đề tài NCKH dành cho Cán bộ - Giảng viên 2019 / Phan Công Vinh chủ nhiệm; Huibiao Zhu
TP.HCM : ĐH Nguyễn Tất Thành, 2019
79 tr.
Ký hiệu phân loại (DDC): 004.65
Đề tài nghiên cứu nhằm xây dựng một đặc tả chính xác và kiểm chứng hình thức về sáu mô-đun cơ bản của Floodlight (gồm Floodlight Provider, OFSwitch Manager, Device Manager, Link Discovery Manager, Topology Service và Forwarding) bằng công cụ đại số tiến trình CSP nhưng dễ hiểu đối với giảng viên và sinh viên ngành CNTT bằng cách cung cấp các kết quả nghiên cứu mới và xu hướng tương lai.
Số bản sách: (1) Tài liệu số: (1)
4
Mô hình hóa và kiểm chứng hệ thống tệp phân tán Hadoop (HDFS) bằng cách sử dụng các tiến trình tuần tự của truyền thông (CPS) : Luận văn Thạc sĩ Công nghệ Thông tin; Mã ngành: 8480201 / Lương Trường An; Phan Công Vinh (hướng dẫn)
Tp.Hồ Chí Minh : Đại học Nguyễn Tất Thành, 2023
59 tr. : hình ảnh; lưu đồ ; 29 cm.
Ký hiệu phân loại (DDC): 005.3
Mô hình hóa được hệ thống tệp phân tán Hadoop bằng ngôn ngữ đại số tiến trình CSP nhằm mục đích nghiên cứu và cải thiện các hạn chế của hệ thống tệp phân tán
Số bản sách: (1) Tài liệu số: (1)
5
Mô hình hóa và kiểm chứng mạng do phần mềm xác định dưới kiến trúc đa điều khiển bằng cách sử dụng các tiến trình tuần tự của truyền thông : Luận Văn Thạc Sĩ Công Nghệ Thông Tin; Mã ngành: 8480201 / Phan Thanh Toàn
Tp. Hồ Chí Minh : Trường Đại học Nguyễn Tất Thành, 2022
77 tr. ; 29 cm.
Ký hiệu phân loại (DDC): 004.6
Nghiên cứu ngôn ngữ đại số tiến trình CSP va sủ dụng bộ công cụ phân tích tiến trình để kiểm tra mô hỉnh PAT. Mô hình hóa chuyển mạch, bộ điều khiển HyperFlow, bộ điều khiển Kandoo và hệ thống mạng SDN. Qua đó, thực nghiệm đánh giá tính khả thi và hiệu quả ca đề tài trên bộ công cụ phân tích tiến trình để kiểm tra mô hinh PAT
Số bản sách: (1) Tài liệu số: (1)