mô hình hóa và kiểm chứng các hệ thống cảm ngữ cảnh

Phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện

... quan dáa trờn mụ hỡnh quan gia cỏc ậi tềng v cỏc quan hê, hnh ẻng cho thao tỏc d liêu v tonton vàn d liêu Cỏc thậng CSDL quan hiên Đi s dng cỏc lut hoĐt ẻng nh trigger CSDL ỏp ng lĐi cỏc sá kiên...

27
485
0

Methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện

Danh mục: Tổng hợp

...

155
389
0

Luận án tiến sĩ phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện

Danh mục: Tiến sĩ

... ĐẠ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 Chuyên ngành: Kỹ thuật phần mềm Mã số: 62.48.01.03 LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN NGƯỜI ... ĐẠ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 Chuyên ngành: Kỹ thuật phần mềm Mã số: 62.48.01.03 LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN NGƯỜI ... ĐẠ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 Chuyên ngành: Kỹ thuật phần mềm Mã số: 62.48.01.03 LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN NGƯỜI...

174
605
0

Luận án tiến sĩ phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện (TT)

Danh mục: Tiến sĩ

... pháp mô hình hóa kiểm chứng hệ thống CSDL Chương tập trung vào vấn đề mô hình hóa kiểm chứng hệ thống cảm ngữ cảnh Trong Chương 5, luận án đề xuất phương pháp mô hình hóa kiểm chứng hệ thống ... Chương Mô hình hóa kiểm chứng hệ thống cảm ngữ cảnh 13 án đề xuất sử dụng Event-B để mô hình hóa kiểm chứng hệ thống cảm ngữ cảnh Các đóng góp đề xuất (1) Biểu diễn tự nhiên hệ thống cảm ngữ cảnh ... 4.2.1 Hình thức hóa tính chất cảm ngữ cảnh Mô hình hóa hệ thống cảm ngữ cảnh Các luật chuyển đổi hệ thống cảm ngữ cảnh mô hình Event-B trình bày Bảng 4.1 Chuyển đổi thành phần cảm ngữ cảnh Event-B...

27
530
0

Phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện

Danh mục: Quản trị kinh doanh

... ĐẠ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 Chuyên ngành: Kỹ thuật phần mềm Mã số: 62.48.01.03 LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN NGƯỜI ... ĐẠ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 Chuyên ngành: Kỹ thuật phần mềm Mã số: 62.48.01.03 LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN NGƯỜI ... ĐẠ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 Chuyên ngành: Kỹ thuật phần mềm Mã số: 62.48.01.03 LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN NGƯỜI...

174
510
0

Mô hình hóa và kiểm chứng các chương trình phần mềm hướng khía cạnh

Danh mục: Công nghệ thông tin

... đầu bằng cách cụ thể hóa yêu cầu hệ thống sau lọc chúng qua bước để mô tả hệ thống cách chi tiết mà dịch thành code Sự thống mô hình mối quan hệ mô hình trừu tượng lọc chúng bằng bằng chứng Công ... cảnh mô tả phần tĩnh mô hình, chứa tập hợp, hằng, tiên đề định lý [19] Hình 8: Cấu trúc máy ngữ cảnh Một mô hình gồm có máy ngữ cảnh kết hợp máy ngữ cảnh Một máy không tham chiếu vài ngữ cảnh ... Event–B xong đưa đặc tả vào công cụ Rodin để kiểm tra chứng minh 37 Hình 14: Phương pháp mô hình hóa kiểm chứng chương trình hướng khía cạnh Áp dụng phương pháp mô hình hóa kiểm chứng chương trình...

54
571
0

Mô hình hóa và kiểm chứng các chương trình phần mềm hướng khía cạnh (TT)

Danh mục: Công nghệ thông tin

... 3: MÔ HÌNH HÓA VÀ KIỂM CHỨNG CÁC PHẦN MỀM HƯỚNG KHÍA CẠNH Tập trung vào việc mô hình hóa kiểm chứng chương trình phần mềm hướng khía cạnh đưa cách định nghĩa hướng khía cạnh hệ thống ... platform Hình 14: Mô hình kiến trúc Rodin 13 CHƯƠNG 3: MÔ HÌNH HÓA VÀ KIỂM CHỨNG CÁC PHÂN MỀM LẬP TRÌNH HƯỚNG KHÍA CẠNH 3.1 Trình bày lập trình hướng khía cạnh hệ thống hướng kiện EventB ... kiện Event-B Mô hình hóa hệ thống lập trình hướng khía cạnh sử dụng Event-B Kiểm chứng hệ thống CHƯƠNG 4: ÁP DỤNG BÀI TOÁN Áp dụng phương pháp đã trình bày ở để mô hình hóa kiểm...

23
570
0

Mô hình hóa và kiểm chứng các chương trình phần mềm hướng khía cạnh

Danh mục: Quản trị kinh doanh

... I H C QU C GIA HÀ N I TR NGă I H C CÔNG NGH PH MăNH ăUY N MÔ HÌNH HÓA VÀ KI M CH NG CÁCăCH NGăTRÌNHăPH N M MăH NG KHÍA C NH Ngành: Công ngh Thông tin Chuyên ngành: K thu ... khoa h c Các ngu n tài li u tham kh o, t ng h p đ u có ngu n g c rõ ràng trích d n theo quy đ nh Tôi xin ch u hoàn toàn trách nhi m v l i cam đoan c a N u có u sai trái, xin ch u m i hình th c ... 2016 Ng i cam đoan Ph m Nh Uy n L I C Mă N u tiên xin g i l i c m n sâu s c t i th y PGS.TS Tr B môn Công ngh Ph n m m, Khoa Công ngh Thông tin, tr Ngh , i h c Qu c Gia Hà N i – ng i đư đ nh h...

14
230
0

MÔ HÌNH HÓA VÀ KIỂM CHỨNG CÁC CHƯƠNG TRÌNH PHẦN MỀM HƯỚNG KHÍA CẠNH

Danh mục: Quản trị kinh doanh

... đầu bằng cách cụ thể hóa yêu cầu hệ thống sau lọc chúng qua bước để mô tả hệ thống cách chi tiết mà dịch thành code Sự thống mô hình mối quan hệ mô hình trừu tượng lọc chúng bằng bằng chứng Công ... không tham chiếu vài ngữ cảnh Các máy ngữ cảnh mô hình làm mịn bằng cách bổ sung hằng, biến, bất biến, định lý, kiên Mối quan hệ thành phần máy ngữ cảnh minh họa hình [2] Hình 9: Mối quan hệ ... tương tác với môi trường Ngữ cảnh mô tả phần tĩnh mô hình, chứa tập hợp, hằng, tiên đề định lý [19] Hình 8: Cấu trúc máy ngữ cảnh Một mô hình gồm có máy ngữ cảnh kết hợp máy ngữ cảnh Một máy...

54
254
0

Mô hình hóa và định lượng các luồng thông tin chính của kiểm toán nhà nước

Danh mục: Báo cáo khoa học

...

80
400
0

Mô hình hóa và điều khiển một hệ thống tích hợp năng lượng gió và năng lượng mặt trời

Danh mục: Thạc sĩ - Cao học

... 2.2 Tổng quan hệ thống chuyển đổi lƣợng gió 2.2.1 Các thành phần hệ thống chuyển đổi lượng gió 2.2.2 Các loại hệ thống chuyển đổi lượng gió 10 2.2.2.1 Hệ thống turbine gió tốc ... khiển PI) x DANH SÁCH CÁC HÌNH HÌNH TRANG Chƣơng 2: Hình 2.1: Công nghệ điều khiển kết nối lưới điện Singapore Hoa kỳ Hình 2.2: Hệ thống chuyển đổi lượng gió Hình 2.3: Hệ thống turbine gió tốc ... máy biến áp cách ly .19 Hình 2.13: Mô hình kết nối lưới sử dụng biến đổi DC/DC ,DC/AC 19 Hình 2.14: Mô hình kết nối lưới sử dụng biến đổi DC/AC .20 Hình 2.15: Mô hình kết nối...

22
562
3

Nghiên cứu và ứng dụng VDM++ cho mô hình hóa và kiểm thử hệ thống IMP tại NTTDATA việt nam

Danh mục: Công nghệ thông tin

... bước mô hình hóa VDM++ cải tiến sau: Hình 12 Mô hình chữ V thêm giai đoạn mô hình hóa VDM++ 48 Hình 13 Chi tiết công việc bao gồm việc mô hình hóa VDM++ Trong hình trên, quy trình phát triển hệ thống ... Hình 12 Mô hình chữ V thêm giai đoạn mô hình hóa VDM++ 47 Hình 13 Chi tiết công việc bao gồm việc mô hình hóa VDM++ 48 Hình 14 Phạm vi công việc nhóm vai trò dự án .50 Hình Mô hình hóa ... QUY TRÌNH MỚI VÀO DỰ ÁN IMP 52 3.1 Mô hình hóa thực thể liệu 52 3.1.1 Mô hình hóa kiểu liệu SQL 52 3.1.2 Mô hình hóa cấu trúc bảng .53 3.1.3 Mô hình hóa bảng liệu...

71
742
0

Chương 1 Mô hình hóa và khảo sát các đặc tính của động cơ điện một chiều

Danh mục: Điện - Điện tử - Viễn thông

...

40
1,264
4

THIẾT KẾ ĐIỀU KHIỂN CHO CÁC BỘ BIẾN ĐỔI ĐIỆN TỬ CÔNG SUẤT MÔ HÌNH HÓA VÀ THIẾT KẾ CÁC MẠCH VÒNG ĐIỀU CHỈNH

Danh mục: Điện - Điện tử - Viễn thông

... quan tâm mô hình thu gần với mô hình vật lý, mô tả phần tử gây tổn thất điện trở dẫn dòng van, sụt áp van, số mạch điện ký sinh (ví dụ 3.1 Phương pháp mô hình hóa biến đổi kiểu DC/DC 47 mô hình tụ ... 3.1 Phương pháp mô hình hóa biến đổi kiểu DC/DC Quá trình thiết kế hệ thống điều khiển thường thực theo bước sau: xây dựng mô hình toán học đối tượng điều khiển, phân tích hệ thống tìm điều khiển ... MOSFET, IGBT Hình 1.14 Ví dụ sơ đồ sử dụng driver HCPL316J mở IGBT công suất lớn 23 24 HỆ THỐNG ĐIỀU KHIỂN CÁC BỘ BIẾN ĐỔI PHỤ THUỘC HỆ THỐNG ĐIỀU KHIỂN CÁC BỘ BIẾN ĐỔI PHỤ THUỘC Các biến đổi...

142
1,672
5

CHƯƠNG I : MÔ HÌNH HÓA VÀ KHẢO SÁT CÁC ĐẶC TÍNH CỦA ĐỘNG CƠ ĐIỆN MỘT CHIỀU pptx

Danh mục: Điện - Điện tử - Viễn thông

... 2.3 MÔ PHỎNG HỆ THỐNG ĐIỀU CHỈNH TỐC ĐỘ ĐỘNG CƠ Dựa vào sơ đồ cấu trúc hệ thống hai vòng điều chỉnh hình 2.11 ta xây dựng mô hình mô hệ thống với hai vòng điều chỉnh Simulink hình 2.12 25 Hình ... TRÚC HỆ THỐNG TRUYỀN ĐỘNG ĐIỆN ĐIỀU KHIỂN SỐ Hệ thống điều khiển số hệ thống có tín hiệu truyền hệ thống tín hiệu số Trong hệ thống điều khiển hình 3.1, tín hiệu vào PID số tín hiệu dạng số Hệ ... vào cấu trúc điều khiển động điện chiều hình 1.4, ta xây dựng mô hình mô động điện chiều Simulink sau: Hình 1.5 Mô hình mô động điện chiều kích thích vĩnh cửu simulink Tiến hành khảo sát mô hình...

39
1,169
1

Chuyên đề Sự làm việc vấn đề mô hình hóa và thiết kế của hệ khung vách chịu cắt

Danh mục: Kiến trúc - Xây dựng

... Bài toán • Bài toán mô hình hoá phân tích – – – – Truyền tải trọng cho vách chịu cắt Mô hình hoá vách chịu cắt 2D Mô hình hoá vách chịu cắt 3D Tương tác vách chịu cắt hệ khung • Bài toán thiết ... ACECOMS Các dạng vách Shear Wall Behavior, Modeling, Analysis and Design AIT - Thailand ACECOMS Các dạng vách Shear Wall Behavior, Modeling, Analysis and Design AIT - Thailand ACECOMS Các tuỳ ... việc mô hình hoá vách cứng Sử dụng cấu kiện D Dầm đơn giản với nút cứng Dầm đơn giản Dầm dạng “dàn” H2 H1 t t L Shear Wall Behavior, Modeling, Analysis and Design L txh L AIT - Thailand ACECOMS Mô...

150
642
0

Mô hình hóa và thiết kế các mạch vòng điều chỉnh

Danh mục: Khoa học tự nhiên

... chiều lượng chiều 28 Hình 2-19 Mô hình trung bình mạng đóng cắt cho Boost Converter Hình 2-20 Mô hình trung bình cho Boost Converter Lắp mô hình mạng trung bình vào sơ đồ ta có mô hình trung bình ... 3-3 Mô hình trung bình cho mạng đóng cắt chế độ DCM Trên hình 3-3 phần khóa đóng cắt, hình 3-3 a, mô tả điện trở ảo Re(d1), phần điôt mô tả nguồn công suất phụ thuộc p(t), hình 3-3 b Mô hình hình ... hệ điện áp vào phụ thuộc vào tải, M(D,K), K hệ số phụ thuộc tải Như mô hình biến đổi phía đầu coi nguồn áp Phương pháp trung bình phần tử đóng cắt dùng để mô hình hóa biến đổi Từ mô hình trung...

111
1,010
4

Mô hình hóa và kiểm thử máy rút tiền ATM bằng kỹ thuật sinh ca kiểm thử từ máy trạng thái hữu hạn (FSM FINITE state machines testing)

Danh mục: Kỹ thuật

... cần ngôn ngữ để mô tả Ngôn ngữ sử dụng để mô tả mô hình gọi ngôn ngữ mô hình hóa Một ngôn ngữ mô hình hóa chứa đựng yếu tố cú pháp ngữ nghĩa mô hình Hầu hết ngôn ngữ mô hình hóa dựa yếu tố thông ... đổi mô hình dừng kiểm thử hệ thống Dưới mô hình mô tả bước thực quy trình kiểm thử dựa mô hình: Hình 2.6 Quy trình kiểm thử dựa mô hình4  Sinh mô hình dựa yêu cầu chức hệ thống Giáo trình kiểm ... MỤC HÌNH VẼ Hình 1.1 Qui trình phát triển mức kiểm thử mô hình chữ V 17 Hình 2.1 Hình ảnh hệ thống phần mềm 33 Hình 2.2 Tương tác hệ thống môi trường mô hình hóa FSM 34 Hình 2.3 Mô hình...

88
1,150
0

Nghiên cứu về mô hình hóa và kiểm tra tiến trình nghiệp vụ

Danh mục: Công nghệ thông tin

... Mô hình tổng quát toán mô tả hình 4.15 Hình 4.15 .Mô hình hoạt động toán Tiến trình mô tả chức tính diện tích phần hình giới hạn hình chữ nhật bên hình ellipse bên Tiến trình BPEL toán mô tả hình ... tập quan hệ chuyển trạng thái - s0∈ S trạng thái khởi đầu Ví dụ hệ thống chuyển trạng thái gán nhãn hình 2.2 Hình 2.2 Hệ thống chuyển trạng thái gán nhãn 17 Trong hình 2.2 ví dụ hệ thống chuyển ... tương đương với LTS Việc kiểm chứng BPEL lúc tương đương với việc kiểm chứng tính thỏa mãn LTS với thuộc tính p việc kiểm chứng thực thông qua công cụ kiểm chứng tự động LTSA Các phần lại luận văn...

55
495
0

Mô hình hóa và kiểm thử máy rút tiền ATM bằng kỹ thuật sinh ca kiểm thử từ máy trạng thái hữu hạn (FSM FINITE state machines testing)

Danh mục: Thạc sĩ - Cao học

... nên yếu cách tiếp cận xem xét hệ thống Mô hình hóa dạng thức trừu tượng hệ thống, hình thành để hiểu hệ thống trước xây dựng thay đổi hệ thống Mô hình hóa cung cấp phương tiện để quan niệm hóa vấn ... MỤC HÌNH VẼ Hình 1.1 Qui trình phát triển mức kiểm thử mô hình chữ V Error! Bookmark not defined Hình 2.1 Hình ảnh hệ thống phần mềm Error! Bookmark not defined Hình 2.2 Tương tác hệ thống môi ... Bookmark not defined Hình 2.6 Quy trình kiểm thử dựa mô hình Error! Bookmark not defined Hình 2.7 Mô hình kiểm thử với việc kiểm chứng trạng thái Error! Bookmark not defined Hình 2.8 FSM trình...

12
479
0