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

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

... 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 xÊy bờn v bờn ngoi ca CSDL Trigger l mẻt oĐn mó tá ẻng thác thi cú mẻt sá kiên xỏc nh xÊy CSDL ... tụi xột n hai ng dng ú l cỏc thậng CSDL v cÊm ng cÊnh CÊ hai thậng ny u s dng cỏc lut dĐng ECA biu 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 ... phẽng phỏp mụ hỡnh húa v kim chng cỏc thậng CSDL cú thnh phản trigger s dng Event-B Phẽng phỏp ny giểi thiêu cỏc bểc chi tit chuyn i cỏc khỏi niêm CSDL sang cỏc k hiêu Event-B Quỏ trỡnh chuyn...

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ứ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 thường ... án tổ chức Hình 1.1 Chương cung cấp kiến thức tảng cho luận án Chương giới thiệu phương 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 ... dựa làm mịn để mô hình hóa kiểm chứng số tính chất quan trọng hệ thống mô tả yêu cầu không xác 1.3 Các đóng góp luận án Luận án đề xuất phương pháp mô hình hóa kiểm chứng hệ thống CSDL có thành...

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 ... 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 33 3.1 Trình bày EAOP Event-B 33 3.2 Mô hình hóa hệ thống EAOP sử dụng Event-B 34 3.3 Kiểm chứng ... 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 ... 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 33 3.1 Trình bày EAOP Event-B 33 3.2 Mô hình hóa hệ thống EAOP sử dụng Event-B 34 3.3 Kiểm chứng ... định concern hệ thống, tập trung vào concern cách độc lập giảm độ phức tạp hệ thống Các concern đan xen mô đun, kỹ thuật thi công trộn chúng vào mô đun Hình [13] minh họa: Với mô hình biển diễn...

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

... 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 3-3 b mô hình tín hiệu lớn DC Để có mô hình tín hiệu ... 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 ... 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

... đổ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 ... vi hệ thống Vậy phải mô hình hóa? Để trả lời câu hỏi này, xin giới thiệu mô hình mô hình hóa máy hữu hạn trạng thái FSM cho việc kiểm thử hệ thống máy rút tiền ATM Việc kiểm thử dựa mô hình hóa...

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 ... minh họa cho việc kiểm chứng tiến trình BPEL với công cụ tự động LTSA Từ khóa: BPEL, FSP,LTSA, kiểm chứng dịch vụ Web iii LỜI CAM ĐOAN Tôi xin cam đoan phần nghiên cứu mô hình hóa kiểm tra tiế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