Mạng Petri

Bài viết đề xuất sử dụng thuật toán BFS kết hợp với hàm đánh giá heuristic và phương pháp giới hạn mức độ triển khai tìm kiếm trên cây trạng thái để lập kế hoạch sản xuất cho hệ thống sản xuất linh hoạt.

7p viyoko 01-10-2024 3 1   Download

Mạng Petri, còn được gọi là mạng địa điểm/chuyển tiếp (PT), là một trong một sổ ngôn ngừ mô hình hóa toán học được phát minh bởi nhà khoa học máy tính người Đức Carl Adam Petri trong luận án tiến sĩ năm 1962 của ông về K Truyền thông mít Automaten. Kể từ đó, Petri Net đã được phát triển và ứng dụng rộng rãi để mô hình hóa, phân tích và tối ưu hóa các hệ thống trong nhiều lĩnh vực như: Công nghệ thông tin, điện tử viễn thông, giao thông vận tải, hóa sinh, y tế, hệ thong sàn xuất, kinh tế...

13p mitmit01 18-05-2023 16 5   Download

Bài viết Petri Net và ứng dụng trong mô hình hóa, phân tích các hệ thống sản xuất trình bày việc cung cấp kiến thức cơ bản về mạng Petri; Các ứng dụng của các loại Petri Net trong các hệ thống sản xuất.

13p vifalcon 16-05-2023 16 4   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 3 2   Download

Bài viết Xây dựng chương trình chuyển đổi một số đối tượng của biểu đồ trình tự sang mạng Petri hàng đợi trình bày cách xây dựng chương trình chuyển đổi tự động một số đối tượng trong biểu đồ trình tự sang mạng Petri hàng đợi. Cách tiếp cận được trình bày trong bài viết có thể được sử dụng để chuyển đổi tự động một biểu đồ trình tự phức hợp thành mạng Petri hàng đợi.

8p vilexus 05-10-2022 13 3   Download

Bài viết sử dụng mạng Petri màu phân cấp để mô hình hóa tiến trình nghiệp vụ của hệ thống Cửa hàng trực tuyến, đồng thời phát triển PyCPN, một công cụ mô hình hóa sử dụng mạng Petri màu phân cấp, để mô tả mô hình.

8p visteveballmer 06-11-2021 27 1   Download

Bài viết trình bày phương pháp đơn giản được sử dụng để chế tạo màng quang xúc tác trên cơ sở cao su thiên nhiên kết hợp với titan dioxit và zeolit. Bằng phương pháp trộn hợp dạng latex cao su với huyền phù của TiO2 (pha anatase) và zeolit A trong NH4OH, mẫu sau đó được đổ vào đĩa petri và sấy khô ở 50 oC. Các đặc tính của màng quang xúc tác được đánh giá và kiểm tra bằng phương pháp SEM, XRD và đo cơ tính. Khả năng xử lý màu của màng quang xúc tác được đánh giá qua việc sử dụng chất màu xanh metylen là chất đại diện.

5p quenchua12 10-05-2021 19 3   Download

Bài viết trình bày phương pháp sử dụng mạng Petri để mô hình hóa và điều khiển hệ thống sản xuất tự động. Trên cơ sở mô hình mạng Petri, các phương pháp mô hình hóa cấu trúc điều khiển logic bằng mạng Petri được đề xuất.

9p vinevada2711 19-03-2021 40 4   Download

Từ các mô hình Petri net người thiết kế có thể dễ dàng viết các hàm logic phức tạp trong các chương trình HDL. Bài báo này đề xuất sử dụng mạng Petri thời gian ngẫu nhiên (SPN) và thời gian ngẫu nhiên chung (GSPN) để mô hình hóa và viết các chương trình VHDL để thiết kế các mạch số.

8p thithizone 16-07-2019 55 2   Download

Bài viết này đưa ra phương pháp phân tích hiệu năng của kiến trúc Internet Web caching theo hướng tiếp cận dựa trên mạng Petri nhằm mục tiêu tối ưu hóa kiến trúc Internet Web caching để cải thiện tốc độ truy cập Web và sử dụng các dịch vụ đa phương tiện trên mạng Internet.

9p viengland2711 23-07-2019 50 7   Download

Web caching là việc lưu trữ bản sao của những tài liệu web sao cho gần với người dùng; Web caching là ứng dụng ở cấp độ routing và phần lớn băng thông dùng cho web với mục tiêu làm tăng tốc độ đường truyền và tốc độ truy cập web. Các kiến trúc Internet web caching cùng với các chính sách thay thế Web cache là những giải pháp quan trọng và không thể thiếu được trong phát triển Internet nhằm đáp ứng các dịch vụ chất lượng cao.

14p visumika2711 17-07-2019 86 6   Download

Bài viết tiến hành bước tiếp cận khảo sát vai trò của chủng vi khuẩn Bacillus subtilis khi được cấy vào trong sản phẩm xi-măng, vữa. Vi khuẩn với mật độ 109 và 1011cfu/g được nuôi cấy và cho phát triển trong các môi trường khác nhau bao gồm: trong điều kiện thường (đĩa Petri), trong hỗn hợp hồ xi-măng và phân tán trong sản phẩm vữa xi-măng, mẫu kích thước 40x40x160mm.

11p sansan2 26-05-2018 84 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

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 94 13   Download

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

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 156 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

Khái niệm đặc tả: Đặc tả (specification) định nghĩa một hệ thống, mô đun hay một sản phẩm cần phải làm cái gì, không mô tả nó phải làm như thế nào, mô tả những tính chất của vấn đề đặt ra, không mô tả những tính chất của giải pháp cho vấn đề đó

23p ke_ham_hoc 26-10-2010 405 64   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 438 114   Download