Kiểm chứng mô hình

Xem 1-20 trên 529 kết quả Kiểm chứng mô hình
  • Kiểm chứng mô hình (model checking) là một hướng tiếp cận hiệu quả cho việc đảm bảo chất lượng phần mềm. Kĩ thuật này được áp dụng để chứng minh một cách tự động tính đúng đắn của phần mềm hoặc chỉ ra tại sao phần mềm không chạy đúng thông qua phản ví dụ.Hiện nay có rất nhiều công cụ kiểm chứng mô hình phần mềm như NuSMV, SPIN, KRONOS ...

    pdf45p truongnghen 30-08-2012 84 38   Download

  • Tóm tắt Luận văn Thạc sĩ Kỹ thuật: Nghiên cứu và ứng dụng kiểm chứng mô hình cho các hệ thống phát triển trên môi trường Lustre/SCADE hướng đến nghiên cứu kiểm chứng mô hình cho các hệ thống phát triển trên môi trường Lustre/SCADE nhằm tăng độ tin cậy, tính an toàn cho các hệ thống, giảm thời gian phát triển và lỗi xảy ra trong hệ thống phần mềm.

    pdf26p codon_05 04-12-2015 28 4   Download

  • Kiểm chứng mô hình (model checking) là một phương pháp hình thức dùng cho việc kiểm chứng hệ thống. Kiểm chứng mô hình khảo sát tất cả các trạng thái có thể của hệ thống và kiểm tra rằng chúng chứa sự đúng đắn đã được đặc tả. Việc sinh ra các trạng thái và kiểm tra có thể được thực hiện một cách tự động bằng phần mềm và Spin là một trong những bộ kiểm chứng (model checker) được sử dụng rộng rãi.

    pdf50p truongnghen 30-08-2012 83 41   Download

  • Một trong những công việc quan trọng nhất trong việc phân giải và thiết kế các hệ tự kiểm là mô hình hóa hệ thống. Ở những chương trước, ta đã đưa vào một số phương pháp mô hình hóa hệ thống thông dụng. Hai phương pháp chung nhất là hàm chuyển và phương trình trạng thái. Phương pháp hàm chuyển chỉ có giá trị đối với các hệ tuyến tính, không đổi theo thời gian.

    pdf20p ngochoa123 17-07-2010 192 93   Download

  • Từ số liệu thực tiễn của thị trường chứng khoán Việt Nam, với yêu cầu danh mục trên 24 chứng khoán và với ít nhất 40 kỳ quan sát, hãy thực hiện những yêu cầu sau: Xây dựng đường biên hiệu quả Markowitz trong trường hợp có bán khống và không có bán khống. Xây dựng đường đẳng dụng của nhà đầu tư với hệ số ngại rủi ro tự cho. Kiểm định mô hình CAPM và phân tích kết quả đạt được....

    doc1p hoangquoctrung1991 31-07-2012 102 33   Download

  • Hệ thống hoá các vấn đề lý luận và lý thuyết về đo lường rủi ro như các khái niệm cơ bản về rủi ro, phân loại rủi ro, cách đo lường rủi ro, mô hình chỉ số đơn, phương pháp ước lượng, kiểm định mô hình chỉ số đơn. Phân tích, đánh giá thực trạng rủi ro ngành bất động sản giai đoạn 2010-2012.

    pdf26p four_12 21-03-2014 56 12   Download

  • Trình bày về cơ sở lý thuyết của kiểm duyệt mô hình (Model checking): khái niệm và ý nghĩa của kiểm duyệt mô hình, quy trình hoạt động của kiểm duyệt mô hình, đặc trưng của kiểm duyệt mô hình, điểm mạnh và điểm yếu của kiểm duyệt dựa trên mô hình sử dụng logic thời gian (Temporal Logic) mô tả các thuộc tính cần kiểm chứng. Nghiên cứu về công cụ Spin, giao diện Xspin, và ngôn ngữ mô hình hóa Promela, máy trạng thái hữu hạn.

    pdf15p banhbeovodung 20-06-2013 39 10   Download

  •  Mô hình hóa qui trình là cách thức biểu diễn các qui trình trong hệ thống và các dòng dữ liệu đi qua chúng• Qui trình ở đây được hiểu là qui trình xử lý công 

    ppt54p anhvu_nhatrang 01-01-2014 28 6   Download

  • Giả thuyết, giả định của mô hình Solow: Mô hình tăng trưởng Solow chỉ ra ảnh hưởng của tiết kiệm, tỷ lệ tăng dân số và tiến bộ công nghệ đối với sự tăng trưởng theo thời gian của sản lượng. Mô hình Solow được nghiên cứu trong mô hình cổ điển về nền kinh tế. Đặc trưng cơ bản của mô hình cổ điển là chúng giả định giá cả linh hoạt.

    pdf5p tiennuhoiai 08-07-2010 536 166   Download

  • Theo lý thuyết kinh tế vĩ mô,lạm phát là sự gia tăng liên tục và kéo dài ở mức giá chung. Ở Việt Nam lạm phát được đo bằng chỉ số giá tiêu dùng CPI. Và mộ hình AD-AS để phân tích các biện pháp mà chính phủ Việt Nam đã sử dụng trong thời gian qua để kiềm chế lạm phát. Nguyên nhân xảy ra lạm phát :Do chi phí đầu vào ( nguyên vật liệu, vận tải, năng lượng, tiền lương…) gia tăng khiến cho giá bán hàng hóa đầu ra tăng cao......

    ppt55p 10d190066 15-12-2011 359 96   Download

  • Luận văn đã hoàn thành trong thời gian, mặc dù trong quá trình làm luận văn gặp r ất nhiều khó khăn trong việc tìm kiếm thông tin và tài liệu nghiên cứu nhưng được sự hướng dẫn, chỉ bảo tận tình của PGS. TSKH. Nguyễ n Phùng Quang đề tài đã đạt được một số kết quả s au: - Nghiên cứu tổng quan về Robot nói chung và Robot song song nói riêng.

    pdf101p orchid_1 05-09-2012 209 89   Download

  • Có thể kiểm chứng mô hình kinh tế bằng cách kiểm chứng tính thực tế của các giả thiết và kiểm chứng khả năng dự báo của mô hình...

    doc14p nguyennhudinh1211 12-11-2010 240 82   Download

  • Kiểm chứng (Validation): “Chúng ta đã xây dựng đúng hệ thống ?” Khai báo vấn đề đã thực sự nắm bắt được vấn đề thực tế? Hệ thống đã đáp ứng được nhu cầu của tất cả đối tác?  Kiểm tra (Verification): “Chúng ta đã xây dựng hệ thống đúng?” Thiết kế đáp ứng đặc tả? Cài đặc đáp ứng đặc tả? Hệ thống được phân phối sẽ thực hiện điều mà nó phải làm? Các mô hình yêu cầu thống nhất với những mô hình khác?...

    pdf17p cuong1024 06-01-2011 251 73   Download

  • Kinh tế lượng là một bộ phận của Kinh tế học, được hiểu theo nghĩa rộng là môn khoa học kinh tế giao thoa giữa thống kê học và toán kinh tế; hiểu theo nghĩa hẹp, là ứng dụng toán, đặc biệt là các phương pháp thống kế vào kinh tế. Hai mục đích chính của kinh tế lượng là: kiểm nghiệm lý thuyết kinh tế bằng cách xây dựng các mô hình kinh tế (mà có khả năng kiểm định được) và chạy mô hình để kiểm tra các mô hình đó xem chúng đưa ra kết quả chấp...

    pdf45p phamloc120893 27-08-2013 246 59   Download

  • Trước hết, cũng như nhưng môn học khác mà chúng em đều có bài thực hành nhóm, môn Kinh tế lượng cũng vậy. Nhận thấy đề tài nhóm môn Kinh tế lượng có liên quan đến lĩnh vực kinh tế,trong lúc tìm hiểu những giá trị có liên quan đến nền kinh tế sẽ giúp cho chúng em hiểu thấu đáo hơn những đại lượng ấy...

    doc19p mrhao217 31-01-2013 134 58   Download

  • Ngôn ngữ mô hình hóa UML được sử dụng phổ biến nhất trong công nghệ phần mềm nhưng lại không đủ chặt chẽ và chưa có công cụ hỗ trợ kiểm tra tính đúng đắn của đặc tả. Do vậy, chúng ta thường phải kết hợp với các ngôn ngữ đặc tả khác để thu được bản đặc tả hệ thống vừa trực quan, dễ hiểu vừa có ngữ nghĩa chặt chẽ, được kiểm tra tự động bởi các công cụ.

    pdf105p truongnghen 30-08-2012 86 42   Download

  • Từ trước đến nay, bảo mật thông tin luôn chiếm một vai trò rất quan trọng của một tổ chức, công ty hay quốc gia. Trong Công nghệ thông tin vấn đề bảo mật được chú trọng và quan tâm một cách nghiêm túc. Đã có rất nhiều cơ chế bảo mật được đưa ra và thích hợp cho từng lĩnh vực riêng.Khóa luận tập trung nghiên cứu các vấn đề liên quan đến kiểm chứng cơ chế bảo mật thông tin dựa trên RBAC. Nghiên cứu các mô hình RBAC, các ví dụ về các mô hình và ứng...

    pdf81p truongnghen 31-08-2012 85 31   Download

  • Một mô hình là sự đơn giản hóa thực tế, nó cho phép hiểu rõ hơn hệ thống cần phát triển. Ngoài ra, nó còn cho phép: Hiển thị hệ thống như nó vốn có hoặc nó cần đạt tới. Kiểm chứng hệ thống bởi khách hàng. Cung cấp những chỉ dẫn để xây dựng hệ thống tài liệu hóa hệ thống.

    pdf43p suatuoiconbo 29-07-2011 74 26   Download

  • Nội dung của chương này giúp cho các bạn hiểu các vấn đề trong khái niệm về các mô hình hóa, hiệu chỉnh mô hình.. và nguyên tắc cơ bản của lựa chọn mô hình .

    pdf61p camlaichanh 21-11-2011 59 19   Download

  • Bài báo cáo này giới thiệu hệ thống do chúng tôi phát triển với mục đích ứng dụng mô hình IDIC để thiết kế và cài đặt hệ thống thông tin hỗ trợ và chăm sóc khách hàng (CRM). Hệ thống sử dụng kết nối cổng Com, giao thức SMTP và giao thức Pop3 để thực hiện các chức năng của chương trình. Hệ thống có các chức năng chính là gửi và nhận mail, sms, điện thoại. Ngoài ra hệ thống còn có các chức năng nhắc lịch, nhắc việc, tìm kiếm thông tin khách hàng....

    pdf6p coxetuanloc 09-01-2013 57 17   Download

Đồng bộ tài khoản