Construction d'un platoon en CSPllB / NGUYEN, Huu Nghia
Tác giả : NGUYEN, Huu Nghia
Năm xuất bản : 2009
Chủ đề : 1. composants logiciel. 2. CSPIIB. 3. platoon. 4. vérification formelle. 5. Thesis.
Thông tin chi tiết
| Tóm tắt : | Ce travail a été réalisé dans le cadre des projets TACOS et CRISTAL qui ont pour but de construire un système des véhicules autonomes en libre-service. Dans ce système, les véhicules peuvent se déplacer en convoi. Nous partons d'une modélisation d'un convoi en CSPjjB. Elle décrit les processus internes des véhicules membres qui maintiennent la distance entre véhicules, de sorte que la propriété de déplacement en convoi est conservée. Le travail de stage a eu pour premier but de modéliser en CSPjjB les processus internes des véhicules pour accrocher et décrocher d'un convoi. Nous avons amélioré le modèle existant pour avoir un nouveau modèle qui présente les processus de quatre modes de fonctionnement : déplacement en convoi, décrochage d'un convoi, déplacement indépendant et accrochage à un convoi. Un second axe a été consacré à la théorie de l'approche CSPjjB. CSPjjB, qui apparait dans les années 2000, est la combinaison de la méthode B et de l'algèbre CSP. Elle n'est pas encore totalement achevée. Une modélisation en CSPjjB comporte plusieurs composants CSPjjB. Chaque composant CSPjjB contient une machine B et un contrôleur CSP. Il existe des outils pour vérifier les machines B et leur contrôleur CSP. Cependant, il n'existe pas encore d'outil qui permet de vérifier la cohérence entre la machine B et son contrôleur CSP. Nous avons construit un logiciel qui permet de résoudre ce problème. |
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/338 |
Tài liệu cùng tác giả
Danh mục và tóm tắt nội dung, kết quả nghiên cứu của các chương trình, đề tài khoa học và công nghệ cấp nhà nước giai đoạn 1991-1995/ Vũ Tuyên Hoàng, Nguyễn Hữu Nghĩa, Nguyễn Ngọc Kính.. T.2, Các chương trình đề tài: Khoa học nông nghiệp (KN); Nghiên cứu điều tra cơ bản (KT); Khoa học Y dược (KY)
Tác giả : Vũ Tuyên Hoàng, Nguyễn Hữu Nghĩa, Nguyễn Ngọc Kính..
Nhà xuất bản : Khoa học và Kỹ thuật
Năm xuất bản : 1999
Kết quả nghiên cứu Khoa học Nông nghiệp năm 1999/ Nguyễn Hữu Nghĩa, Trần Đình Long, Tạ Minh Sơn.
Tác giả : Nguyễn Hữu Nghĩa, Trần Đình Long, Tạ Minh Sơn.
Nhà xuất bản : Nông nghiệp
Năm xuất bản : 2000
Kết quả nghiên cứu khoa học nông nghiệp năm 1998/ Nguyễn Hữu Nghĩa, Trần Đình Long, Bùi Huy Hiền.
Tác giả : Nguyễn Hữu Nghĩa, Trần Đình Long, Bùi Huy Hiền.
Nhà xuất bản : Nông nghiệp
Năm xuất bản : 1999
Kết quả nghiên cứu khoa học nông nghiệp 1995-1996/ Bùi Huy Đáp, Nguyễn Hữu Nghĩa, Lê Văn Tiềm
Tác giả : Bùi Huy Đáp, Nguyễn Hữu Nghĩa, Lê Văn Tiềm
Nhà xuất bản : Nông nghiệp
Năm xuất bản : 1997
Tài nguyên di truyền thực vật ở Việt Nam: Các báo cáo tại hội thảo quốc gia về tăng cường chương trình tài nguyên di truyền thực vật ở Việt Nam. Hà Nội , 28,30/3/1995/ Nguyễn Hữu Nghĩa, Nguyễn Đăng Khôi, Trần Đình Long.
Tác giả : Nguyễn Hữu Nghĩa, Nguyễn Đăng Khôi, Trần Đình Long.
Nhà xuất bản : Nông nghiệp
Năm xuất bản : 1996
Đạ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