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 83 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 26 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

  • Trong kiểm tra mô hình, bùng nổ không gian trạng thái gây trở ngại đến việc kiểm chứng các hệ thống lớn vì quá trình tìm kiếm lỗi có thể không hoàn thành. Vấn đề càng trở nên nghiêm trọng hơn khi kích thước và sự phức tạp của hệ thống cần kiểm tra đang liên tục lớn dần lên.

    pdf6p impossible_1 19-11-2013 14 2   Download

  • Đề tài hệ thống hóa các cơ sở lý thuyết của mô hình 3 nhân tố Fama-French; giới thiệu sự hình thành và phát triển TTCK từ trước đến nay; kiểm định mô hình 3 nhân tố Fama-French; giới thiệu thêm một công cụ cho các NĐT có thể đưa ra quyết định kinh doanh một cách hiệu quả nhất.

    pdf82p bautroibinhyen2 02-11-2016 1 1   Download

  • Đề tài nhằm phân tích sự ảnh hưởng của số lượng dữ liệu quá khứ đến sự chính xác của mô hình VaR khi áp dụng mô hình này tại thị trường chứng khoán Việt Nam. Mời các bạn cùng tham khảo nội dung chi tiết.

    pdf126p thangnamvoiva30 02-11-2016 1 0   Download

  • Đề tài hệ thống hóa lại cơ sở lý thuyết của mô hình định giá tài sản vốn – CAPM; đưa ra cái nhìn tổng quan về sự hình thành và phát triển TTCK từ trước đến nay; sử dụng các kiến thức về kinh tế lượng để kiểm định sự phù hợp của mô hình CAPM với các cổ phiếu trên TTCK Việt Nam.

    pdf85p bautroibinhyen2 02-11-2016 0 0   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 185 92   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 101 32   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 55 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 36 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 27 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 524 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 341 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 202 88   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 238 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 247 73   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 132 58   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 228 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 83 42   Download

Đồng bộ tài khoản