Mạng Petri

Trình bày về các công cụ phân tích HTSX, bài giảng Hệ thống sản xuất linh hoạt - Chương 3 sẽ giới thiệu đến người học các kiến thức về các công cụ kế hoạch hóa, công cụ mô phỏng, sơ đồ mạng lưới Petri net. Hy vọng bài giảng sẽ là tài liệu hữu ích cho người học.

45p but_xanh 16-07-2014 85 22   Download

Chương 3 Bài giảng Hệ thống sản xuất linh hoạt trình bày các công cụ phân tích HTSX bao gồm: Các công cụ kế hoạch hóa; công cụ mô phỏng; sơ đồ mạng lưới Petri net.

45p nguyenvantien1409 10-08-2015 96 13   Download

Tóm tắt Luận án Tiến sĩ Khoa học máy tính "Một cách tiếp cận hình thức trong việc mô hình hóa tham số động cho bài toán kiểm tra tắc nghẽn trên mạng cảm biến không dây" trình bày việc đề xuất mô hình WSN-CPN một mô hình mạng cảm biến không dây bằng ngôn ngữ Coloured Petri Net; Đề xuất mô hình động PDP-WSN-CPNcho phép người dùng tùy chỉnh các thông số trong mạng và phát hiện nghẽn chính xác hơn với xác suất nghẽn; Xây dựng công cụ CODE-WSN thực thi tất cả các mô hình trên.

8p vilucius 03-03-2023 5 2   Download

Luận văn trình bày các khái niệm cơ bản về mạng Petri cơ sở và mạng các hệ điều kiện - biến cố cũng như các quá trình của hệ điều kiện - biến cố; nghiên cứu về mạng vị trí/chuyển và các tính chất của mạng Petri gồm tính chất phụ thuộc bộ đánh dấu đầu tiên và tính chất không phụ thuộc vào bộ đánh dấu đầu tiên...

61p change14 07-07-2016 97 23   Download

Các phương pháp điều trị ung thư: Phương pháp điều trị tại chỗ. Phương pháp điều trị toàn thân. Ngoài các phương pháp điều trị trên, hiện nay có nhiều nhà nghiên cứu đã ứng dụng enzyme trong điều trị ung thư. Điều trị ung thư não bằng E amphinase của ếch. Enzyme CHIP trong điều trị ung thư vú Enzyme protease legumain. Ngoài ra còn dùng Vector tái tổ hợp pBT mang gen mã hóa legumain do phòng CNTBĐV - VCNSH cung cấp.để điều trị ung thư....

25p vutruongr 21-06-2011 159 28   Download

Đối với các hệ thống phức tạp do khả năng hạn chế trong việc biểu diễn các quan hệ tương tranh (concurrency), đồng bộ (synchronization) cũng như các hoạt động nội tại của server nên phương pháp sử dụng mạng hàng đợi không đáng tin cậy. Trong bối cảnh đó, phương pháp sử dụng mạng Petri để mô phỏng hệ thống, sau đó, trên cơ sở phân tích cây trạng thái (được thể hiện thông qua tập hình trạng của mạng) để rút ra các kết quả đánh giá hiệu năng cả về định tính và định......

10p 0984272663 28-04-2011 289 62   Download

SAPHIR là mô hình của một dây chuyền phân loại và lắp ráp tự động trong một nhà máy sản xuất, được lắp đặt tại phòng thí nghiệm CRePA của PFIEV. SAPHIR có 3 phần: mâm quay cân, băng chuyền, cánh tay rôbôt. Hệ thống cân (ảnh minh họa), được điều khiển bằng VxWorks, thực hiện phân loại và cấp chi tiết vào băng chuyền. Băng chuyền (điều khiển bằng PLC TSX Premium) sẽ vận chuyển các chi tiết đến cánh tay rôbôt. Giống như mâm – cân,cánh tay rôbôt cũng được điều khiển bằng VxWorks, nó sẽ thực hiện...

6p thaonhi 18-06-2009 439 114   Download