Dépliage du modèle en langage AltaRica / NGUYEN, Duy Tung; COUVREUR, Jean-Michel,WALUKIEWICZ, Igor
Tác giả : NGUYEN, Duy Tung; COUVREUR, Jean-Michel,WALUKIEWICZ, Igor
Năm xuất bản : 2005
Chủ đề : 1. Altarica. 2. Dépliage. 3. Dernière Ancêtre Commun (LCA). 4. modélisation. 5. préfixe. 6. Requête Minimale du Rang (RMQ). 7. réseau de Petri. 8. RMQ dynamique. 9. vérification. 10. Thesis.
Thông tin chi tiết
| Tóm tắt : | De nos jours, pour éviter l'explosion combinatoire du nombre d'états d'un système compliqué, la vérification basée sur des préfixes finis est une bonne solution, mais le dépliage n'est développé que sur le réseau de Petri, un langage de modélisation en bas niveau. Autrement dit, il ne supporte pas un langage de modélisation en haut niveau comme l'AltaRica. Il faut construire un outil de transformation pour résoudre ce problème. D'autre part, grâce aux caractéristiques du modèle en AltaRica, on peut utiliser un dépliage plus efficace, le dépliage de produits d'automates. De plus, dans leur dépliage local, nous pouvons intégrer la technique basée sur le préfixe local ou les techniques Dernière Ancêtre Commun (LCA) et Requête Minimale du Rang (RMQ) pour diminuer la complexité du problème. Nous avons des implémentations expérimentales sur des tests standards pour tester la correctivité et la performance des algorithmes de dépliage ainsi que des améliorations. |
Thông tin dữ liệu nguồn
| Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
|---|---|---|
Viện Quốc tế Pháp ngữ - ĐHQGHN
|
|
https://repository.vnu.edu.vn/handle/VNU_123/82 |
Tài liệu cùng tác giả
Với niềm hy vọng và sự giúp đỡ/ B.s: Chung á, Chu Quốc Ân, Lưu Thị Minh Châu.
Tác giả : B.s: Chung á, Chu Quốc Ân, Lưu Thị Minh Châu.
Nhà xuất bản : Y học
Năm xuất bản : 2002
Với niềm hy vọng và sự giúp đỡ/ B.s: Chung á, Chu Quốc Ân, Lưu Thị Minh Châu.
Tác giả : B.s: Chung á, Chu Quốc Ân, Lưu Thị Minh Châu.
Nhà xuất bản : Y học
Năm xuất bản : 2001
Truyền thông về HIV/AIDS/STD cho thanh thiếu niên: Tài liệu hướng dẫn tuyến tỉnh/ Chung á (ch.b), Phan Vũ Diễm Hằng, Chu Quốc Ân.
Tác giả : Chung á (ch.b), Phan Vũ Diễm Hằng, Chu Quốc Ân.
Nhà xuất bản : Y học
Năm xuất bản : 2000
Lập kế hoạch và thực hiện chương trình giáo dục đồng đẳng cho người nghiện chích ma tuý: Tài liệu hướng dẫn tuyến tỉnh/ Chung á (ch.b), Phan Vũ Diễm Hằng, Chu Quốc Ân.
Tác giả : Chung á (ch.b), Phan Vũ Diễm Hằng, Chu Quốc Ân.
Nhà xuất bản : Y học
Năm xuất bản : 2000
Lập kế hoạch và thực hiện chương trình giáo dục đồng đẳng cho người mại dâm: Tài liệu hướng dẫn tuyến tỉnh/ Chung á (ch.b), Phan Vũ Diễm Hằng, Chu Quốc Ân.
Tác giả : Chung á (ch.b), Phan Vũ Diễm Hằng, Chu Quốc Ân.
Nhà xuất bản : Y học
Năm xuất bản : 2000
Đại học Công nghệ - ĐHQGHN 
Đại học Giáo dục - ĐHQGHN 
Đại học khoa học tự nhiên - ĐHQGHN 
Đại học Khoa học Xã hội và Nhân văn - ĐHQGHN 
Đại học Kinh tế - ĐHQGHN 
Đại học Ngoại ngữ - ĐHQGHN 
Đại học quốc gia Hà Nội 
Đại học Y - Dược - ĐHQGHN 
Học Viện Hàng Không Việt Nam 
Thư viện Huyện Bình Chánh - TVKHTH TP.HCM 
Thư viện huyện Bình Minh - TV Vĩnh Long 
Thư viện huyện Bình Tân - TV Vĩnh Long 
Thư viện Huyện Cần Giờ - TVKHTH TP.HCM 
Thư viện Huyện Củ Chi - TVKHTH TP.HCM 
Thư viện Huyện Hóc Môn - TVKHTH TP.HCM 
Thư viện huyện Long Hồ - TV Vĩnh Long 
Thư viện huyện Mang Thít - TV Vĩnh Long 
Thư viện Huyện Nhà Bè - TVKHTH TP.HCM 
Thư viện huyện Tam Bình - TV Vĩnh Long 
Thư viện huyện Trà Ôn - TV Vĩnh Long 
Thư viện Khoa học Tổng hợp TP.HCM 
Thư viện quận 1 - TVKHTH TP.HCM 
Thư viện quận 10 - TVKHTH TP.HCM 
Thư viện quận 11 - TVKHTH TP.HCM 
Thư viện quận 12 - TVKHTH TP.HCM 
Thư viện quận 2 - TVKHTH TP.HCM 
Thư viện quận 3 - TVKHTH TP.HCM 
Thư viện quận 4 - TVKHTH TP.HCM 
Thư viện quận 5 - TVKHTH TP.HCM 
Thư viện quận 6 - TVKHTH TP.HCM 
Thư viện quận 7 - TVKHTH TP.HCM 
Thư viện quận 8 - TVKHTH TP.HCM 
Thư viện quận Bình Tân - TVKHTH TP.HCM 
Thư viện quận Bình Thạnh - TVKHTH TP.HCM 
Thư viện quận Gò Vấp - TVKHTH TP.HCM 
Thư viện quận Phú Nhuận - TVKHTH TP.HCM 
Thư viện quận Tân Bình - TVKHTH TP.HCM 
Thư viện quận Tân Phú - TVKHTH TP.HCM 
Thư viện Quốc gia Việt Nam 
Thư viện thành phố Thủ Đức (cơ sở 1) - TVKHTH TP.HCM 
Thư viện thành phố Thủ Đức (cơ sở 2) - TVKHTH TP.HCM 
Thư Viện Tỉnh An Giang 
Thư viện tỉnh Vĩnh Long 
Tổ chức y tế thế giới 
Trung tâm giáo dục quốc phòng và An ninh - ĐHQGHN 
Trung tâm Hỗ trợ Sinh viên - ĐHQGHN 
Trường Đại học Luật - ĐHQGHN 
Trường Khoa học liên ngành và nghệ thuật - ĐHQGHN 
Trường Quản trị và Kinh doanh - ĐHQGHN 
Viện Công nghệ Thông tin - ĐHQGHN 
Viện Đảm bảo chất lượng giáo dục - ĐHQGHN 
Viện Tài nguyên và Môi trường - ĐHQGHN 
Viện Vi sinh vật và Công nghệ Sinh học - ĐHQGHN 
Viện Việt Nam học và Khoa học phát triển - ĐHQGHN