hanbongvan
New Member
Link tải miễn phí Luận văn: | Đồng bộ đầy đủ của các hệ thống : Đề tài NCKH. QT.01.28 |
Nhà xuất bản: | ĐHKHTN |
Ngày: | 2002 |
Chủ đề: | Công nghệ thông tin Hệ thống tương tranh Nguyên lý hợp thành Ngôn ngữ lập trình |
Miêu tả: | 29 tr Các kết quả nghiên cứu được có thể áp dụng cho các mô hình khác đang được sử dụng để mô tả các hệ thống tương tranh, chẳng hạn như: CSP,CCS, AP, đặc biệt là nghiên cứu tính đồng bộ đầy đủ của chúng Các kết quả trên có thể áp dụng vào thực tế trong việc xây dựng các hệ thống thông tin, các dây chuyền sản xuất, các cơ sở dữ liệu phân tán, giao diện truyền tin, thiết kế các mạng máy tính lớn Composition of concurrent systems is a new and important problem in information technology. But the composition must be synchronous or completelly synchronous. The main aim of the project is to show suffcient conditions for complete synchronization of concurrent systems and consider their properties Composition of concurrent systems is a new and important proplem in information technology. But the composition must be synchronous or completelly synchronous. The main aim of the project is to show suffcient conditions for complete synchronization of concurrents systems and consider their properties In order to do that we generally model concurrent systems by set theory, propose basic principles for system's composition and prove the complete synchronization for local trace languages Đề tài tập trung nghiên cứu xây dựng mô hình tổng quát cho các hệ thống tương tranh và nguyên lý hợp thành. Từ đó đưa ra các điều kiện đủ cho sự đồng bộ đấy đủ Đồng bộ và đồng bộ đầy đủ các hệ thống là một vấn đề mới và quan trọng trong công nghệ thông tin. Việc nghiên cứu tổng hợp các hệ thống, đề ra các nguyên lý đồng bộ cho việc tổng hợp các hệ thống phục vụ tốt cho việc phân tích, thiết kế và xử lý tương tranh các hệ thống, chẳng hạn như các mạng truyền tin, các dây chuyền sản xuất, các mạng máy tính, các cơ sở dữ liệu lớn và phân tán KHCN Thư mục kỉ niệm 100 năm Đại Học Quốc GiaHN Chúng tôi đã xây dựng được mô hình tổng quan cho các hệ thống tương tranh và nguyên lý hợp thành các hệ thống tương tranh, xét tính đồng bộ, đồng bộ đầy đủ của chúng. Đã đưa ra điều kiện đủ cho sự đồng bộ đầy đủ các hệ thống tương tranh được biểu diễn bởi ngôn ngữ vết cục bộ Kỷ yếu Hội thảo Quốc gia: "Một số vấn đế chọn lọc của Công nghệ Thông tin", Đại học Hàng Hải Hải Phòng, 06/2001 Đang hướng dẫn một nghiên cứu sinh viết luận án tiến sỹ theo đề tài này: Vũ Quang Thường - Điều khiển tương tranh tối ưu trong các cơ sở dữ liệu phân tán Đã viết một báo cáo tại Hội thảo Quốc gia "Một số vấn đề chọn lọc của Công nghệ Thông tin", Đại học Thuỷ Sản Nha Trang, 06/2002 Đã viết và đăng 01 bài báo: Bài toán đồng bộ đầy đủ trong lý thuyết tương tranh ĐHKHTN Khoa Toán - Cơ - Tin học |
Ngôn ngữ: | vie |
Kiểu: | Text |
Định dạng: | Text/pdf |
Bảo hiểm: | Thư viện nhà C1T - 144 Xuân Thủy – Cầu Giấy – Hà Nội |
Quyền: | Access limited to members |
Tài liệu đang trong kho của Ket-noi, ai cần thì trả lời để mods up lên cho