Mạng Petri

Xem 1-10 trên 10 kết quả Mạng Petri
  • 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...

    pdf61p change14 07-07-2016 11 8   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.

    pdf6p thaonhi 18-06-2009 364 110   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.

    pdf10p 0984272663 28-04-2011 204 60   Download

  • Algorithms for Non-Product-Form Networks Although many algorithms are available for solving product-form queueing networks (see Chapters 8 and 9), most practical queueing problems lead to non-product-form networks. If the network is Markovian (or can be Markovized), automated generation and solution of the underlying CTMC via stochastic Petri nets (SPNs) is an option provided the number of states is fewer than a million. Instead of the costly alternative of a discrete-event simulation, approximate solution may be considered.

    pdf136p vaseline 23-08-2010 42 10   Download

  • This chapter considers several large applications. The set of applications organized into three sections. In Section 13.1, we present case studies queueing network applications. In Section 13.2 we present case studies Markov chains and stochastic Petri nets. In Section 13.3, case studies hierarchical models are presented.

    pdf76p vaseline 23-08-2010 44 8   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 đề đó

    pdf23p ke_ham_hoc 26-10-2010 348 62   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ư....

    ppt25p vutruongr 21-06-2011 96 24   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.

    pdf45p but_xanh 16-07-2014 31 9   Download

  • Mục tiêu là phát triển một hoặc nhiều đường dẫn xác định một quá trình chuyển đổi từ trạng thái hiện tại của các mạch hoặc từ một trạng thái thiết lập lại, và bằng phương tiện của mạng Petri, xác định một chuỗi các đầu vào mà các ổ đĩa mạch cho Mục tiêu.

    pdf0p banhbeo4 14-11-2011 23 3   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.

    pdf45p nguyenvantien1409 10-08-2015 17 6   Download

CHỦ ĐỀ BẠN MUỐN TÌM

Đồng bộ tài khoản