000 02368nam a2200481 4500
001 vtls000101989
003 VRT
005 20240802184439.0
008 101207 000 0 eng d
035 _aVNU090112974
039 9 _a201502081043
_bVLOAD
_c201111041210
_dbactt
_y201012071434
_zVLOAD
041 _avie
044 _aVN
072 _aQT. 08 03
082 _a005.4
_bHO-T 2008
090 _a005.4
_bHO-T 2008
100 1 _aHoàng, Chí Thành,
_d1952-
245 1 0 _aMột số ứng dụng của vết và nửa vết trong điều khiển tương tranh :
_bĐề tài NCKH. QT. 08 03 /
_cHoàng Chí Thành
260 _aH. :
_bĐHKHTN,
_c2008
300 _a[40] tr.
520 _aNghiên cứu phát triển các phương pháp biến đổi các quá trình tuần tự thành các quá trình tương tranh để xây dựng hành vi tương tranh cho hệ mạng hợp thành. Hành vi này sẽ bao gồm các quá trình tương tranh với các bước tương tranh cực đại và được
653 _aLập trình tương tranh
653 _aMạng hợp thành
653 _aTin học ứng dụng
653 _aĐiều khiển tương tranh
700 1 _aNguyễn, Quang Thanh
700 1 _aVũ, Tiến Dũng
700 1 _aVũ, Trọng Quế
700 1 _aĐỗ, Thanh Hà
900 _aTrue
911 _aHoàng Yến
912 _aHoàng Thị Hoà
925 _aG
926 _a0
927 _aĐT
942 _c16
951 1 _aĐHQG
953 1 _a01/2008 - 12/2008
954 1 _a20.000.000 VNĐ
959 1 _a02 bài báo đã báo cáo tại các Hội thảo Khoa học Quốc gia về CNTT
959 1 _aĐề tài áp dụng các phương pháp biến đổi các quá trình tuần tự thành các quá trình tương tranh với các bước tương tranh cực đại để xây dựng hành vi tương tranh cho các hệ mạng hợp thành một cách trực tiếp từ hành vi tuần tự của các hệ mạng thành
959 1 _aĐề tài đã phát triển lý thuyết nửa vết (semi-trace) để áp dụng cho các hệ thống mà tính độc lập của các biến cố chỉ mang tính cục bộ. Đề tài đã chỉ ra rằng, nửa vết là mở rộng thực sự của vết, Sau đó áp dụng phương pháp đối so sánh để điều khiển
999 _c343117
_d343117