Đồng bộ đầy đủ của các hệ thống : Đề tài NCKH. QT.01.28

29 tr.

Saved in:

Bibliographic Details
Main Authors:	Hoàng, Chí Thành, Vũ, Quang Thường, Đoàn, Văn Ban
Format:	Other
Language:	other
Published:	H. : ĐHQGHN 2017
Subjects:	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
Online Access:	http://repository.vnu.edu.vn/handle/VNU_123/22439
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	Vietnam National University, Hanoi
Language:	other

id	oai:112.137.131.14:VNU_123-22439
record_format	dspace
spelling	oai:112.137.131.14:VNU_123-224392017-09-29T23:49:51Z Đồng bộ đầy đủ của các hệ thống : Đề tài NCKH. QT.01.28 Hoàng, Chí Thành Vũ, Quang Thường Đoàn, Văn Ban 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 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 2017-03-27T03:20:27Z 2017-03-27T03:20:27Z 2002 Other http://repository.vnu.edu.vn/handle/VNU_123/22439 other application/pdf H. : ĐHQGHN
institution	Vietnam National University, Hanoi
building	VNU Library & Information Center
country	Vietnam
collection	VNU Digital Repository
language	other
topic	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
spellingShingle	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 Hoàng, Chí Thành Vũ, Quang Thường Đoàn, Văn Ban Đồng bộ đầy đủ của các hệ thống : Đề tài NCKH. QT.01.28
description	29 tr.
format	Other
author	Hoàng, Chí Thành Vũ, Quang Thường Đoàn, Văn Ban
author_facet	Hoàng, Chí Thành Vũ, Quang Thường Đoàn, Văn Ban
author_sort	Hoàng, Chí Thành
title	Đồng bộ đầy đủ của các hệ thống : Đề tài NCKH. QT.01.28
title_short	Đồng bộ đầy đủ của các hệ thống : Đề tài NCKH. QT.01.28
title_full	Đồng bộ đầy đủ của các hệ thống : Đề tài NCKH. QT.01.28
title_fullStr	Đồng bộ đầy đủ của các hệ thống : Đề tài NCKH. QT.01.28
title_full_unstemmed	Đồng bộ đầy đủ của các hệ thống : Đề tài NCKH. QT.01.28
title_sort	đồng bộ đầy đủ của các hệ thống : đề tài nckh. qt.01.28
publisher	H. : ĐHQGHN
publishDate	2017
url	http://repository.vnu.edu.vn/handle/VNU_123/22439
_version_	1680965877875343360

Đồng bộ đầy đủ của các hệ thống : Đề tài NCKH. QT.01.28

Similar Items