TAILIEUCHUNG - Tóm tắt Luận án Tiến sỹ ngành Công nghệ thông tin: Phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện

Luận án đưa ra một cách tiếp cận khác so với các nghiên cứu hiện tại; thay vì phân tích một hệ thống hướng sự kiện tổng quát, luận án tập trung vào sử dụng Event-B để mô hình hóa các hệ thống hướng sự hiện đặc trưng như các hệ thống cơ sở dữ liệu, các hệ thống cảm ngữ cảnh; đồng thời, đề xuất các phương pháp hiệu không chỉ mô hình hóa các hành vi được biểu diễn bằng các luật If-Then mà còn hình thức hóa các tính chất quan trọng bằng các thành phần Event-B. . | ẹI H≈C QUằC GIA HÀ NÀI Tr˜èng Đi hÂc Cụng nghê Lờ HÁng Anh Ph˜ẽng phỏp mụ hỡnh húa và ki∫m ch˘ng cỏc hê thậng h˜ểng sá kiên Túm t≠t lu™n ỏn ti∏n sˇ ngành cụng nghê thụng tin Chuyờn ngành: Cụng nghê phản m∑m Mó sậ: Hà Nẻi, 2014 Cụng trỡnh ˜ềc hoàn thành tĐi Khoa Cụng nghê thụng tin, Tr˜èng Quậc Gia Hà Nẻi. Ng˜èi h˜ểng dđn khoa hÂc: PGS. TS Tr˜ẽng Ninh Thu™n PGS. TS PhĐm BÊo Sẽn PhÊn biên 1: PhÊn biên 2: PhÊn biên 3: Cú th∫ tỡm hi∫u lu™n ỏn tĐi - Th˜ viên Quậc gia Viêt Nam - Trung tõm thụng tin th˜ viờn , Đi hÂc Quậc gia Hà Nẻi Đi hÂc Cụng nghê, Đi hÂc Ch˜ẽng 1. TÍng quan v∑ lu™n ỏn L˛ do láa chÂn ∑ tài Mụ hỡnh húa là mẻt trong cỏc cỏch th˘c hiêu quÊ ∫ quÊn l˛ ẻ ph˘c tĐp trong phỏt tri∫n phản m∑m, nú cho phộp thi∏t k∏ và ỏnh giỏ cỏc yờu cảu cıa hê thậng. Mụ hỡnh húa khụng chứ cung còp cỏc nẻi dˆng mẻt cỏch trác quan mà cũn cÊ cỏc nẻi dung k˛ tá. Cỏc kˇ thu™t ki∫m th˚ cú th∫ ˜ềc s˚ dˆng trong phỏt tri∫n phản m∑m thụng th˜èng ∫ ki∫m tra liêu mẻt phản m∑m thác thi cú th‰a món yờu cảu cıa ng˜èi dựng. Tuy nhiờn, ki∫m th˚ là cỏch xỏc thác khụng ảy ı vỡ nú chứ cú th∫ phỏt hiên ˜ềc lẩi trong mẻt vài tr˜èng hềp nh˙ng khụng Êm bÊo ˜ềc hê thậng chĐy ỳng trong mÂi tr˜èng hềp. Ki∫m ch˘ng phản m∑m là mẻt trong nh˙ng ph˜ẽng phỏp mĐnh hiêu quÊ ∫ tỡm ra lẩi ho∞c ch˘ng minh khụng cú lẩi mẻt cỏch toỏn hÂc. Mẻt vài kˇ thu™t ó ˜ềc ∑ xuòt cho ki∫m ch˘ng phản m∑m nh˜ ki∫m ch˘ng mụ hỡnh, ch˘ng minh ‡nh l˛, và phõn tớch ch˜ẽng trỡnh. Trong cỏc kˇ thu™t này, ch˘ng minh ‡nh l˛ cú ˜u i∫m vỡ cú khÊ n´ng ki∫m ch˘ng cỏc ch˜ẽng trỡnh cú kớch cễ lển và suy diπn qui nĐp. Tuy nhiờn, ch˘ng minh ‡nh l˛ th˜èng sinh ra nhi∑u cỏc ch˘ng minh ph˘c tĐp và khú hi∫u. Trờn khớa cĐnh khỏc, ki∏n trỳc phản m∑m là mẻt khỏi niêm ˜ềc ∑ xuòt ∫ xõy dáng cỏc hê thậng phản m∑m mẻt cỏch hiêu quÊ. Mẻt dĐng ki∏n trỳc ho∞c ki∫u thi∏t k∏ th˜èng cú cỏc ph˜ẽng phỏp mụ hỡnh húa và ki∫m ch˘ng phự hềp khỏc nhau. Ki∏n trỳc h˜ểng .

• Thạc sĩ - Tiến sĩ - Cao học
• Tóm tắt Luận án Tiến sĩ
• Luận án Tiến sĩ
• Luận án Tiến sĩ ngành Công nghệ thông tin
• Luận án Tiến sĩ ngành Công nghệ phần mềm
• Lý thuyết tập mờ
• Hệ thống hướng sự kiện
• Dự thảo tóm tắt Luận án Tiến sĩ
• Luận án Tiến sĩ Hóa học
• Luận án Tiến sĩ ngành Hóa phân tích
• Nguyên tố độc hại cho môi trường
• Luận án Tiến sĩ Sinh học
• Luận án Tiến sĩ ngành Di truyền học
• Phân tích ADN
• Tế bào phôi thai tự do trong máu mẹ
• Luận án Tiến sĩ ngành Thực vật học
• Bảo tồn tài nguyên cây thuốc
• Ti nguyên cây thuốc tỉnh Thái Nguyên
• Luận án Tiến sĩ ngành Vi sinh vật học
• Xử lý chất thải hữu cơ
• Luận án Tiến sĩ ngành Hóa sinh học
• Bệnh đốm trắng ở tôm
• Luận án Tiến sĩ Toán học
• Luận án Tiến sĩ ngành Toán ứng dụng
• Phương pháp giải hệ phương trình toán tử
• Luận án Tiến sĩ ngành Hóa vô cơ
• Phức chất hỗn hợp kim loại
• Luận án Tiến sĩ Địạ lí
• Luận án Tiến sĩ ngành Địa lí tự nhiên
• Phát triển nông lâm nghiệp
• Cảnh quan miền núi
• Luận án Tiến sĩ ngành Hóa dầu
• Hệ nhũ tương
• Sự lắng đọng parafin
• Luận Án Tiến sĩ ngành Côn trùng học
• Bộ Phù du
• Bộ Cánh úp
• Bộ Cánh lông
• Luận Án Tiến sĩ ngành Sinh thái học
• Hệ sinh thái hồ Tây
• Sự chu chuyển của asen
• Luận Án Tiến sĩ ngành Hóa hữu cơ
• Loài thực vật thuộc họ rau răm
• Phương trình sai phân phi tuyến
• Tóm tắt dự thảo Luận án Tiến sĩ
• Luận án Tiến sĩ ngành Hóa môi trường
• Phương pháp vi chiết mao quản hở
• Luận án Tiến sĩ Vật lý
• Luận án Tiến sĩ ngành Vật lý địa cầu
• Spread F xích đạo
• Nghiên cứu giám định gen
• Nghiên cứu dân tộc học
• Luận án Tiến sĩ ngành Vi sinh vật
• Nghiên cứu sản xuất vaccine
• Dịch tễ học bệnh than
• Loài thực vật thuộc họ thầu dầu
• Loài thực vật thuộc chi ba bét
• Chất lượng xơ ở cây bông
• Phương pháp lắng đọng hơi hóa học
• Màng mỏng oxit bán dẫn
• Nguyên tố đất hiếm
• Luận án Tiến sĩ ngành Vật lý chất rắn
• Công nghệ chế tạo microlaser
• Tóm tắt Luận án Tiến sĩ Luận án Tiến sĩ
• Luận án Tiến sĩ Địa lí
• Cảnh quan lưu vực sông Lại Giang
• Tính đa dạng thực vậ
• Hệ sinh thái vườn quốc gia Phú Quốc
• Luận án Tiến sĩ Cơ học
• Luận án Tiến sĩ ngành Cơ học vật rắn
• Vật liệu cơ tính biến thiên
• Phi tuyến ổn định tĩnh