mô hình hóa và kiểm chứng hệ thống triggers
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
Ngày tải lên :
27/04/2016, 07:37
... 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
Phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện
Ngày tải lên :
25/11/2014, 10:35
... din cỏc hnh vi 2.7.1 Hê thậng CSDL v triggers Mẻt thậng CSDL 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 ... cỏc triggers cú th dđn n cỏc vũng lp vụ hĐn khụng băng cỏch thác thi chỳng hoc iu tra tng bểc mẻt Vỡ nhng l ny, cỏc nghiờn cu v mẻt khung lm viêc hỡnh thc cho mụ hỡnh húa v kim chng cỏc triggers ... 3.2 Mụ hỡnh húa v kim chng thậng triggers 3.2.1 Mụ hỡnh húa thậng CSDL Mẻt thậng CSDL thèng ềc thit k bi cỏc phản t nh bÊng, khung nhỡn vểi cỏc rng buẻc v cỏc triggers Khi ngèi dựng thác thi cỏc...
- 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
Ngày tải lên :
05/07/2016, 10:51
... 3.3 Modeling and verifying database triggers system 3.3.1 Modeling database systems 3.3.2 Formalizing triggers 3.3.3 Verifying system properties ... value of an object’s attribute triggers some actions [6] In the thesis, we consider two later kinds of event-driven systems: context-aware systems and database triggers systems 2.7.1 Event-driven ... database system performs actions Database triggers can be mainly classified by two kinds: Data Manipulation Language(DML) and Data Definition Language (DDL) triggers The former is executed when data...
- 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
Ngày tải lên :
14/09/2016, 23:11
... ĐẠ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)
Ngày tải lên :
14/09/2016, 23:12
... độ phức tạp mô hình hóa phương pháp hình thức khiến chúng trở nên khó áp dụng phát triển phần mềm 3.2 3.2.1 Mô hình hóa kiểm chứng hệ thống triggers Mô hình hóa hệ thống CSDL Một hệ thống CSDL ... khác mô hình hóa vai trò đối tượng, mô hình hóa dựa ontology, mô hình hóa dựa logic Một số nghiên cứu khung làm việc cho mô hình hóa ngữ cảnh Trong chương này, luận 12 Chương Mô hình hóa kiểm chứng ... trợ mô hình hóa kiểm chứng hệ thống CSDL có trigger Công cụ sinh file định dạng XML để sử dụng làm đầu vào cho chứng minh công cụ hỗ trợ khác Event-B (Rodin) Chương Mô hình hóa kiểm chứng hệ thống...
- 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
Ngày tải lên :
25/03/2017, 21:29
... ĐẠ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à nhận dạng hệ thống - Chương 1
Ngày tải lên :
16/10/2012, 09:08
... Hệ thống động mô hình Mô hình hóa Nhận dạng hệ thống 27 October 2009 © H T Hồng - ÐHBK TPHCM Hệ thống động mô hình ng ng 27 October 2009 © H T Hồng - ÐHBK TPHCM Hệ thống ng Hệ thống đối tượng ... Tối ưu hóa 27 October 2009 © H T Hồng - ÐHBK TPHCM 12 Mô hình hóa 27 October 2009 © H T Hồng - ÐHBK TPHCM 13 Mô hình hóa Mô hình hóa phương pháp xây dựng mô hình toán hệ thống cách dựa vào qui ... khảo sát môn học hệ thống động 27 October 2009 © H T Hồng - ÐHBK TPHCM Mô hình Mô hình (model) hệ thống quan hệ giả thiết (assumed relationship) tín hiệu quan sát hệ thống Mô hình toán học (các)...
- 24
- 842
- 3
Mô hình hóa và nhận dạng hệ thống - Chương 2
Ngày tải lên :
16/10/2012, 09:08
... TPHCM Mơ hình hóa Mơ hình hóa phương pháp xây dựng mơ hình tốn hệ thống cách dựa vào qui luật vật lý chi phối hoạt động hệ thống Phương pháp mơ hình hóa áp dụng ta biết rõ cấu trúc hệ thống qui ... mơ hình hóa Mơ hình hóa Phân tích chức Phân tích vật lý Phân tích tốn học Cơ lập hệ thống Lý tưởng hóa phần tử vật lý Xây dựng hệ PT mơ tả hệ thống Phân tích HT Quan hệ đại lượng Tuyến tính hóa ... mơ hình hóa Mơ hình hóa Phân tích chức Phân tích vật lý Phân tích tốn học Cơ lập hệ thống Lý tưởng hóa phần tử vật lý Xây dựng hệ PT mơ tả hệ thống Phân tích HT Quan hệ đại lượng Tuyến tính hóa...
- 93
- 676
- 5
Mô hình hóa và nhận dạng hệ thống - Chương 3
Ngày tải lên :
16/10/2012, 09:08
... v(t) u(t) y(t) Hệ thống y(k) u(k) Hệ thống có nhiễu: Mọi hệ thống thực bị ảnh hưởng nhiễu (nhiễu đo lường, nhiễu tín hiệu vào không kiểm soát được,…) Giả thiết nhiễu tác động vào hệ thống nhiễu ... dạng hệ thống điều khiển (chương 2) 24 November 2009 © H T Hoàng - ÐHBK TPHCM Giới thiệu 24 November 2009 © H T Hoàng - ÐHBK TPHCM Bài toán nhận dạng hệ thống Nhận dạng hệ thống xây dựng mô hình ... Nhiều hệ thống vật lý không cho phép xung tín hiệu vào có biên độ đủ lớn để v(k)/α đủ nhỏ Ngoài tín hiệu vào có biên độ lớn làm gây ảnh hưởng phi tuyến làm méo dạng mô hình tuyến tính hệ thống...
- 85
- 784
- 5
Mô hình hóa và nhận dạng hệ thống - Chương 6
Ngày tải lên :
16/10/2012, 09:08
... December 2009 © H T Hồng - ÐHBK TPHCM Giả thiết S1: Giả thiết hệ thống cần nhận dạng 29 December 2009 © H T Hồng - ÐHBK TPHCM 10 Mơ hình 29 December 2009 © H T Hồng - ÐHBK TPHCM 11 Bổ đ ề 29 December ... December 2009 © H T Hồng - ÐHBK TPHCM Sơ đồ thu thập liệu tổng qt e0(k) r(k) y0=const Chỉnh đònh u(k) Hệ thống cần nhận dạng y(k) Dữ liệu tạo từ thí nghiệm thu thập liệu vòng hở vòng kín Chú ý thí nghiệm ... Chương TÍNH HỘI TỤ VÀ PHÂN BỐ TIỆM CẬN CỦA THAM SỐ ƯỚC LƯỢNG 29 December 2009 © H T Hồng - ÐHBK TPHCM Nội dung chương...
- 21
- 637
- 3
Mô hình hóa và nhận dạng hệ thống - Chương 7
Ngày tải lên :
16/10/2012, 09:08
... lý bên hệ thống, sau ước lượng tham số mơ hình dựa vào liệu thực nghiệm Mơ hình hộp đen: (blackbox model) tuyến tính hay phi tuyến? Hệ thống mơ tả mơ hình tuyến tính nếu: Quan hệ vào hệ thống ... thống phụ thuộc vào tần số mà khơng phụ thuộc vào biên độ tín hiệu Khi tín hiệu vào tín hiệu hình sin, trạng thái xác lập tín hiệu tín hiệu hình sin tần số với tín hiệu vào Hệ thống làm việc phạm ... lượng mơ hình: có cực trị hay nhiều cực trị 29 December 2009 © H T Hồng - ÐHBK TPHCM 35 Chọn loại mơ hình Mơ hình hộp xám (gray-box model): Xây dựng mơ hình tham số vật lý hệ thống cách dựa vào hiểu...
- 49
- 588
- 2
Mô hình hóa và nhận dạng hệ thống - P2
Ngày tải lên :
16/10/2012, 09:09
... thống cần mô hình hóa, cắt kết nối hệ thống khảo sát với môi trường ngoài, kết nối bò cắt thay cổng để mô tả tương tác hệ thống môi trường biên hệ thống U Hệ thống Môi trường Y Hình 2.1: Hệ thống ... quan hệ nhân (causality) thành phần bên hệ thống • Ba bước phân tích chức năng: Cô lập hệ thống Phân tích hệ thống Xác đònh quan hệ nhân 2.2.2 Cô lập hệ thống - Liên kết • Xác đònh giới hạn hệ thống ... tất hệ phương trình mô tả đặc tính động phận chức để hệ phương trình mô tả hệ thống • Tuyến tính hóa quan hệ phi tuyến để mô tả toán học tuyến tính Xét hệ phi tuyến bậc n có p ngõ vào, q ngõ mô...
- 38
- 568
- 3
Mô hình hóa và nhận dạng hệ thống - P3
Ngày tải lên :
16/10/2012, 09:09
... liệu vào mơ hình tuyến tính Hình 3.25: Dữ liệu vào hệ tay máy với tín hiệu vào hình sin tần số 0.5 Hz Hình 3.12 trình bày đồ thị đáp ứng hệ thống tín hiệu vào hình sin có tần số 0.5 Hz Dựa vào ... (3.21) ta có quan hệ: Hệ thống có nhiễu v(t) u(t) Hệ thống u(k) y(t) y(k) Hình 3.2: Hệ thống có nhiễu • Mọi hệ thống thực bị ảnh hưởng nhiễu (nhiễu đo lường, nhiễu tín hiệu vào khơng kiểm sốt được,…) ... hiệu vào hàm dirac (U(z)=1) tín hiệu là: Y ( z) = G( z) y (k ) = g (k ) = Z −1{G ( z )} g(k) gọi đáp ứng xung hệ thống (3.7) (3.8) Đáp ứng xung đáp ứng hệ thống tín hiệu vào hàm dirac • Hệ thống...
- 33
- 695
- 2
Mô hình hóa và nhận dạng hệ thống - P4
Ngày tải lên :
16/10/2012, 09:09
... Hammerstein (b) Mơ hình Wiener Trong nhiều trường hợp hệ thống mơ tả mơ hình tuyến tính ghép nối tiếp với khâu phi tuyến tĩnh đầu vào và/ hoặc đầu Mơ hình có khâu phi tuyến tĩnh đầu vào gọi mơ hình Hammerstein, ... hình hóa bán vật lý (semi-physical modeling) ♦ Mơ hình Wiener mơ hình Hammerstein u(k) f f(u(k)) Mơ hình tuyến tính y(k) (a) u(k) Mơ hình tuyến tính z(k) f y(k)=f(z(k)) (b) Hình 4.2: (a) Mơ hình ... hợp để mơ hình hóa hệ tuyến tính có đáp ứng xung suy giảm chậm có dao động (hệ thống cần nhận dạng có cực phức) ♦Biểu thức dự báo mơ hình chuỗi hàm sở trực giao: Tổng quát (đúng cho mô hình chuỗi...
- 19
- 816
- 6
Mô hình hóa và nhận dạng hệ thống - P5
Ngày tải lên :
16/10/2012, 09:09
... Cần xác định mơ hình hệ thống hệ thống hoạt động Mơ hình cần phải xác định dựa vào liệu quan sát đến thời điểm − Hệ thống điều khiển có sử dụng mơ hình cập nhật trực tuyến gọi hệ thống điều khiển ... việc giải tốn nhận dạng hệ thống xây dựng mơ hình tốn học hệ thống để thiết kế điều khiển − Tham số hệ thống thực biến đổi theo thời gian → Điều khiển hệ thống dựa mơ hình tham số cố định khơng ... số hệ thống động Mơ hình xác suất hệ thống động: ˆ y (k ,θ ) = g (k , Z k −1 ;θ ) ˆ ε (k ,θ ) = y (k ) − y (k ,θ ) độc lập có hàm mật độ xác suất f e ( x, k ;θ ) (5.44) Hàm hợp lý cho mơ hình...
- 22
- 542
- 2
Mô hình hóa và nhận dạng hệ thống - P6
Ngày tải lên :
16/10/2012, 09:09
... (k ) (6.39) ⎣ ⎦⎭ ⎩ Giả thiết: • hệ thống hoạt động vòng kín, có trì hoãn hệ thống mô hình (nghóa G0 (q) G (q,θ ) có trể) chỉnh đònh (sao cho u (k ) phụ thuộc vào y ( k − l ) , l ≥ ) • hàm truyền ... trường hợp tập hợp mô hình mô tả xác hàm truyền G, mô tả xác lọc H tiêu chuẩn ước lượng dạng toàn phương Giả thiết: • tập liệu Z ∞ thỏa mãn giả thiết D1 S1, • M cấu trúc mô hình tuyến tính ổn ... ước lượng trường hợp cấu trúc mô hình tuyến tính bất biến tiêu chuẩn ước lượng dạng toàn phương Cho θˆN xác đònh (6.23) (6.24), ε (k ,θ ) đònh nghóa từ cấu trúc mô hình tuyến tính bất biến ổn đònh...
- 18
- 468
- 1
Mô hình hóa và nhận dạng hệ thống - P7
Ngày tải lên :
16/10/2012, 09:09
... lý bên hệ thống (tức cách mô hình hóa học chương 2), sau ước lượng tham số mô hình dựa vào liệu thực nghiệm • Mô hình hộp đen: (blackbox model) tuyến tính hay phi tuyến? Hệ thống mô tả mô hình ... dạng hệ thống dùng cấu trúc mô hình phi tuyến 7.4.2 Chọn bậc mô hình Một nguyên tắc lý thuyết nhận dạng hệ thống xây dựng mô hình toán đơn giản tốt Khi bậc mô hình tăng, số thông số nhiều mô hình ... thống dùng mô hình để dự báo đáp ứng hệ thống: Mô hình u(k) Tính ϕ(k) vector hồi qui ŷ(k,θ) g(ϕ(k),θ ) Hình 7.6: Mô đáp ứng hệ thống u(k) Tính ϕ(k) vector hồi qui Mô hình g(ϕ(k),θ ) Hệ thống ŷ(k,θ)...
- 19
- 534
- 1