TAILIEUCHUNG - Báo cáo nghiên cứu khoa học: "ÁP DỤNG LÝ THUYẾT KIỂU ĐẶC TẢ HÌNH THỨC HỆ THỐNG ĐA TÁC TỬ ĐỆ QUI"

Tham khảo luận văn - đề án 'báo cáo nghiên cứu khoa học: "áp dụng lý thuyết kiểu đặc tả hình thức hệ thống đa tác tử đệ qui"', luận văn - báo cáo phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | ÁP DỤNG LÝ THUYẾT KIÉU ĐẶC TẢ HÌNH THỨC HỆ tHống đa Tác tử đệ qui APPLYING THEORY OF TYPES TO FORMAL SPECIFICATION OF RECURSIVE MULTI-AGENT SYSTEMS HOÀNG THỊ THANH HÀ Trường Đại học Kinh tế Đại học Đà Nẵng TÓM TẮT _ Một hệ thống phức tạp được xem như tập các hệ thống con. Các hệ thống con này cùng tồn tại và tương tác lẫn nhau. Gần đây hệ thống đa tác tử - là một dạng của hệ thống phức tạp -rất được phát triển. Trong bài báo này chúng tôi tập trung vào nghiên cứu hệ thống đa tác tử đệ quy. Đây là mô hình thích hợp để đặc tả các hệ thống phức tạp mang tính đệ quy. Hiện nay hệ thống đa tác tử đệ quy chỉ được đặc tả bởi những ngôn ngữ phi hình thức. Bài báo này đưa ra đề xuất sử dụng lý thuyết kiểu đặc tả hình thức hệ thống trên. ABSTRACT Today software systems are more and more complex. Such systems are composed of many sub-systems in which each sub-system exists in interaction with other sub-systems. Recently multi-agent systems MAS one of theses kinds of systems have been studied thoroughly. In this paper we concentrate on studying the recursive MAS which are well adapted to describe complex systems. Until now recursive MAS have only been described by non-formal languages. This paper proposes using the theory of mentioned types to specify recursive MAS. 1. Đặt vấn đề Một hệ thống phức tạp có thể được xem như là một tập hợp các phần tử. Các phần tử này một mặt hỗ trợ cho nhau để hoàn thành nhiệm vụ chung mặt khác chúng lại phụ thuộc vào các hệ thống con của nó để hoàn thành nhiệm vụ riêng. Để đặc tả các hệ thống trên sử dụng hệ thống đa tác tử Multi-Agent System - MAS có nhiều ưu thế. Các phần tử của hệ thống được xem như các tác tử tập hợp các phần tử của hệ thống được xem như một MAS. Không chỉ dừng lại là tập hợp các phần tử các hệ thống phức tạp phải xem xét xuyên qua tất cả các hoạt động của các phần tử cấu thành bằng cách phân rã các phần tử ở mức độ chi tiết hơn. Hay một phần tử ở mức n phân rã thành một tập hợp các phần tử con ở mức n-1. Như vậy sự phân rã .

• Báo cáo khoa học
• trình bày báo cáo
• báo cáo ngành kỹ thuật
• cách trình bày báo cáo
• báo cáo ngành nông nghiệp
• báo cáo ngành tin học
• PHƯƠNG PHÁP TRÌNH BÀY BÁO CÁO
• KĨ NĂNG TRÌNH BÀY BÁO CÁO
• MẸO TRÌNH BÁY BÁO CÁO
• TRÌNH BÀY BÁO CÁO KHOA HỌC
• TRÌNH BÀY LUẬN VĂN BÁO CÁO
• Hình thức báo cáo thực tập
• Báo cáo thực tập tốt nghiệp
• Báo cáo thực tập
• Trình bày báo cáo thực tập
• Hướng dẫn trình bày báo cáo
• Hướng dẫn viết báo cáo
• Mẫu báo cáo
• Cách trình bày luận văn
• Cách trình bày khóa luận
• Thể thức của báo cáo
• trình bày luận văn
• tài liệu báo cáo khoa học
• báo cáo nông nghiệp
• báo cáo y dược
• báo cáo sinh học
• chăn nuôi lợn
• Kỹ năng trình bày báo cáo
• Kỹ năng thuyết trình
• Thiết kế slide
• Định dạng văn bản
• Nội dung trình bày báo cáo
• Thời gian thuyết trình
• Thực tập chuyên ngành
• Hướng dẫn viết tiểu luận
• Cấu trúc báo cáo
• Cách thể hiện báo cáo
• Nội dung báo cáo
• cách trình bày báo cáo khoa học
• báo cáo khoa học sinh học
• báo cáo khoa học toán học
• tài liệu báo cáo nghiện cứu khoa học
• báo cáo ngành văn học
• báo cáo tiếng anh
• báo cáo khoa học
• thơ lục bát
• chăn nuôi
• báo cáo ngành ngoại ngữ
• báo cáo kinh tế
• tài liệu báo cáo nghiên cứu khoa học
• báo cáo ngành y học
• trình bày thông tin tài sản thiếu trong báo cáo tài chính
• trình bày thông tin tài sản
• trình bày thông tin tài sản trong báo cáo tài chính doanh nghiệp
• phân tích tài chính
• tài chính doanh nghiệp
• phân tích tài chính doanh nghiệp
• báo cáo tài chính
• Tài liệu về trình bày đồ án
• Trình bày đồ án tốt nghiệp
• Quy định trình bày báo cáo cáo chuyên đề
• Quy định trình bày bài tập lớn
• Viện Đại học Mở Hà Nội
• mẫu báo cáo thực tập tốt nghiệp
• trình bày luận án
• cách viết báo cáo tốt nghiệp
• báo cáo tốt nghiệp
• Báo cáo phân tích ngành hàng hải
• báo cáo khoa học kinh tế
• báo cáo kỹ thuật