mô hình hóa và kiểm chứng các hệ thống với yêu cầu không chính xác
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
... nghiên c˘u vĨi nhi∑u cách tiªp c™n khác nh˜ 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 [5] MỴt sË nghiên c˘u cÙng ˜Ịc khung làm viªc cho mơ hình hóa ng˙ c£nh Tuy ... phẽng phỏp mơ hình hóa phù hỊp cho qui trình phát tri∫n ti∏n hóa Hình 4.1 mơ t£ mỴt ph˜Ïng pháp mơ hình hóa ti∏n hóa d¸a ph˜Ïng pháp ã ∑ xußt Mˆc 4.2.1 CÏ ch∏ làm m‡n cho phép mơ hình hóa hª thËng ... t™p mÌ Nó cách ti∏p c™n ∫ phân tích u c¶u khơng xác cıa hª thËng Ta th˜Ìng s˚ dˆng lu™t ∫ mơ t£ hành vi cıa hª thËng vĨi u c¶u khơng xác 2.4 Các ph˜Ïng pháp hình th˘c Các ph˜Ïng phác hình th˘c...
- 27
- 485
- 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
... trung vào phân tích hệ thống với mơ tả xác Chính lý trên, phương pháp mơ hình hóa kiểm chứng phù hợp cho hệ thống hướng kiện cụ thể hệ thống CSDL cảm ngữ cảnh hay hệ thống với yêu cầu khơng xác ... ct/INV Chương Mơ hình hóa kiểm chứng hệ thống với u cầu khơng xác 5.1 Giới thiệu Các phương pháp hình thức đưa khung làm việc để đặc tả kiểm chứng tính đắn hệ thống nói chung hệ thống hướng kiện ... 12 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ữ...
- 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à kiểm chứng các chương trình phần mềm hướng khía cạnh
Ngày tải lên :
14/09/2016, 22:59
... đầ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 ... quan hệ ràng buộc mô đun hệ thống Các concern phục vụ cho vài mơ đun Ví dụ, logging tác động tới tất mô đun hệ thống, authencication tác động tới mơ đun có yêu cầu kiểm soát truy cập Việc xác ... đị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
- 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)
Ngày tải lên :
14/09/2016, 23:07
... 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 trình phần mềm hướng khía cạnh đưa cách định nghĩa hướng khía cạnh hệ thống ... tại của mô đun Concern đan xen: thể các quan hệ ràng buộc giữa các mô đun hệ thống Việc xác định được các concern hệ thống, chúng ta sẽ tập trung vào các concern mô t cách ... concern mức hệ thống thì OOP không đáp ứng được yêu cầu Hình sau minh họa ví dụ thiết kế dùng phương pháp truyền thống Ngay cả bạn có mô t bản thiết kế tốt của logging mô đun như:...
- 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
Ngày tải lên :
11/02/2017, 19:45
... 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 hồn tồn trách nhi m v l i cam đoan c a N u có u sai trái, tơi xin ch u m i hình th ... 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
Ngày tải lên :
25/03/2017, 10:32
... đầ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 ... Header Page of 113 DANH SÁCH CÁC HÌNH VẼ Hình 1: Mơ hình ánh xạ từ concern hệ thống sang phương pháp lập trình truyền thống 16 Hình 2: Các mô đun yêu cầu logging phải nhúng đoạn ... quan hệ ràng buộc mô đun hệ thống Các concern phục vụ cho vài mơ đun Ví dụ, logging tác động tới tất mô đun hệ thống, authencication tác động tới mơ đun có u cầu kiểm sốt truy cập Việc xác định...
- 54
- 254
- 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
Ngày tải lên :
08/06/2016, 09:50
... 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 HÌ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 ... Hình 2.4: Hệ thống turbine gió tốc độ thay đổi 11 Hình 2.5: Hệ thống turbine gió thay đổi tốc độ với biến đổi phía roto .13 Hình 2.6: Cấu tạo turbine gió trục đứng trục ngang 13 Hình...
- 22
- 562
- 3
Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal
Ngày tải lên :
11/01/2018, 12:20
... phần của) mô tả hệ thống hay chi tiết kỹ thuật yêu cầu tạo UPPAAL Các mục có sẵn là: New System (hệ thống mới): tạo hệ thống Open System (mở hệ thống) : tải hệ thống có từ tập tin ,các yêu cầu đặc ... biểu diễn thuộc tính cần kiểm tra cảu hệ thống Cùng với ta mơ hình hóa hệ thống, công cụ kiểm chứng sinh tất trạng thái hệ thống kiểm tra hệ thống có thỏa mãn thuộc tính cần kiểm tra hay khơng, khơng ... 7 Yêu cầu (Requirements) Hệ thống (System) Mơ hình hóa (Modeling) Hình thức hóa (Formalizing) Thuộc tính cần kiểm chứng (Property specification) Mơ hình hệ thống (System model) Kiểm chứng mơ hình...
- 63
- 112
- 0
Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal (tt)
Ngày tải lên :
16/01/2018, 16:48
... ứng yêu cầu đó, cơng cụ giúp ta kiểm định hệ thống mơ hình hóa thành hệ thống automata thời gian với nhứng biến số nguyên, cấu trúc liệu, hàm người dùng đồng kênh Với việc đặc tả kiểm chứng hệ thống ... Từ xác định biến toàn cục biến địa phương hệ thống Bước 3: Vẽ mơ hình: 2.4 Kiểm chứng Uppaal 2.4.1 Kiểm chứng qua mô hoạt động hệ thống Sau biên tập hệ thống phần soạn thảo, Uppaal cho phép kiểm ... phần thông tin hệ thống: Mô (Simulator): Mô việc thực thi hệ thống cách ngẫu nhiên, (thông qua mô này, bước đầu ta kiểm tra hệ thống có vận hành khơng, có xung đột khơng) Kiểm chứng (Verifier):...
- 24
- 188
- 0
Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng uppaal
Ngày tải lên :
16/01/2018, 16:48
... phương pháp kiểm tra mô hình, để kiểm chứng tính chất hệ thống cách duyệt mơ hình tất trạng thái mà thời gian chạy hệ thống rơi vào trạng thái 3.4.1 Mô hoạt động hệ thống Sau biên tập hệ thống phần ... mơ hình thể sơ đồ hoạt động phương pháp kiểm tra mơ hình (xem hình 2.2) Theo để kiểm chứng hệ thống ta xuất phát từ yêu cầu hệ thống ta đặc tả hình thức hệ thống, biểu diễn thuộc tính cần kiểm ... phần của) mô tả hệ thống hay chi tiết kỹ thuật yêu cầu tạo UPPAAL Các mục có sẵn là: New System (hệ thống mới): tạo hệ thống Open System (mở hệ thống) : tải hệ thống có từ tập tin, yêu cầu đặc điểm...
- 63
- 229
- 0
Đặc tả và kiểm chứng các hệ thống thời gian thực sử dụng Uppaal (Luận văn thạc sĩ)
Ngày tải lên :
19/01/2018, 10:07
... quan trọng hệ thống mà việc kiểm thử không kiểm tra hết mà chủ yếu tập chung khâu kiểm chứng [10] Việc kiểm chứng tính đắn hệ thống nhằm kiểm tra xem hệ thống có vận hành yêu cầu không, muốn cần ... gian hệ thống thời gian nên việc kiểm tra tính đắn hệ thống cần thiết Việc kiểm tra tính đắn hệ thống thực khâu kiểm thử kiểm chứng Tuy nhiên, với hệ thống có ràng buộc thời gian tầm quan trọng hệ ... có việc mô vận hành hệ thống thời gian thực kiểm chứng vận hành hệ thống câu lệnh đơn giản Công cụ giúp ta kiểm chứng hệ thống mơ hình hóa thành hệ thống ơ-tơ-mát thời gian với nhứng biến số nguyên,...
- 63
- 171
- 0
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
... mục: kiểm tra, vị trí, điểm kiểm tra, phân loại lỗi Khi thực kiểm tra nhóm IMP dựa vào kế hoạch phê duyệt dựa vào danh mục cần kiểm tra để thực Hình 2 Tổng quan yêu cầu chức hệ thống 2.2 Hệ thống ... 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 ... chức phi chức hệ thống Xác định sơ đồ cấu trúc hệ thống Đặc tả yêu cầu Tạo tài liệu luồng nghiệp vụ hệ thống dựa thực tế sử dụng từ người dùng Tạo tài liệu định nghĩa hình báo cáo hệ thống dựa luồng...
- 71
- 742
- 0
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
Ngày tải lên :
15/05/2014, 11:51
... hệ thống điều khiển biến đổi điện tử cơng suất Hình 4.16 Vị trí vector chuẩn hệ tọa độ tĩnh αβ 109 Hình 4.17 Mối quan hệ sector điện áp tức thời usa, usb, usc 109 Hình 4.18 Thuật tốn xác ... dq 121 Hình 5.1 Hê thống điều khiển số 126 Hình 5.2 Biểu diễn liệu vào ADC 126 10 GIỚI THIỆU HỆ THỐNG ĐIỀU KHIỂN BỘ BIẾN ĐỔI ĐIỆN TỬ CÔNG SUẤT 1.1 Giới thiệu hệ thống điều ... có nhiệm vụ tạo hệ thống điện áp tựa, đồng với điện áp lưới, nghĩa cho phép xác định giá trị đầu góc điều khiển α Hình 2.1 Cấu trúc hệ thống driver cho biến đổi phụ thuộc Đối với chỉnh lưu có...
- 142
- 1.7K
- 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
Ngày tải lên :
06/08/2014, 10:22
... 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ệ ... k p2 = kT2 a với k = k M Φ kω ki J 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 ... khoảng 1,5 giây hệ thống vào ổn định Khi điều chỉnh tốc độ động cơ, hệ thống sau giây ổn định Để xét ảnh hưởng phụ tải động cơ, ta đặt trị mômen tải vào mô hình với giá trị định mức Hình 1.7 thể...
- 39
- 1.2K
- 1