您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. Model Checking Programs

  2. 以SPIN为例介绍模型检验的程序验证方法
  3. 所属分类:专业指导

    • 发布日期:2007-09-08
    • 文件大小:204800
    • 提供者:loststone
  1. ARMA模型(自回归滑动平均模型)

  2. 可以用来做时间序列分析哦,包括模式判别,模型检验,大家共同学习啊
  3. 所属分类:硬件开发

    • 发布日期:2009-07-15
    • 文件大小:4096
    • 提供者:shengdong1979
  1. Model Checking

  2. 卡耐基梅隆大学的 E Clarke 教授写的模式检验的材料; 做模型检验和形式化方法的同行可以下载阅读 英文资料
  3. 所属分类:专业指导

    • 发布日期:2009-09-13
    • 文件大小:1048576
    • 提供者:mwgmarker
  1. 基于自动机理论的UML活动图模型检验方法

  2. UML 活动图被认为是最合适的软件过程描述语言,研究UML 活动图的模型检验方法是很 有必要的
  3. 所属分类:专业指导

    • 发布日期:2009-09-19
    • 文件大小:868352
    • 提供者:wkkys
  1. 在数字电路验证中使用模型检验

  2. 在数字电路验证中使用模型检验对形式化方法做了比较透彻的讲解
  3. 所属分类:专业指导

    • 发布日期:2009-11-22
    • 文件大小:581632
    • 提供者:wangruiqq6
  1. 论文__灰色预测模型在可行性研究中的应用

  2. 灰色预测模型GM(1,1)是项目可行性研究中对市场进行定量预测的一种方法.具体的实施步骤为:确定预测目的;收集整理资料和数据;建立模型;进行模型检验.在对GM(1,1)进行讨论的基础上,给出了具体的应用实例
  3. 所属分类:专业指导

    • 发布日期:2010-07-29
    • 文件大小:135168
    • 提供者:hualiu163
  1. 模型检验中科院邀请世界大牛的培训教程

  2. 这个是中科院软件所邀请世界上模型检验和程序验证的学术界和工业界大牛来举办的一次培训讲义。里面包括了传统的模型检验常识、概率模型检验、时间自动机、软件模型检验、形式化方法常识等内容。非常经典!
  3. 所属分类:专业指导

    • 发布日期:2010-10-19
    • 文件大小:15728640
    • 提供者:wenruimeng
  1. amos 中文教程 模型检验 输出解释

  2. amos 中文教程 sem 基础 sem 假设 ag建模和模型检验 amos输出解释
  3. 所属分类:专业指导

    • 发布日期:2010-11-27
    • 文件大小:2097152
    • 提供者:self2000
  1. 形式化建模验证SMV模型检验器

  2. 使用UML等建模工具建立模型,再将模型转换为形式的语句,编写SMV程序,输入SMV模型检验器进行验证。用于实现形式化方法模型检验
  3. 所属分类:专业指导

    • 发布日期:2011-05-24
    • 文件大小:3145728
    • 提供者:tangwumei
  1. 模型检验技术的ppt

  2. 一个模型检验技术的入门资料,大家可以参考一下。
  3. 所属分类:软件测试

    • 发布日期:2011-06-27
    • 文件大小:4194304
    • 提供者:plutohb
  1. UMLStatecharts的模型检验方法

  2. UMLStatecharts的模型检验方法 摘 要: 统一建模语言 UML 已广泛应用于软件开发中,验证 UML 模型是否满足某些关键性质成为一个重要 问题.提出了对 UML Statecharts 进行模型检验的方法.首先用扩展层次自动机结构化地表示 UML Statecharts,然 后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义 可以映射到一个 Büchi自动机.使用基于自动机理论的模型检验方法来验证 UML Statecharts 的
  3. 所属分类:专业指导

    • 发布日期:2008-12-25
    • 文件大小:285696
    • 提供者:w512577152
  1. 多尺度电路模型检验阈值研究

  2. 多尺度电路模型检验阈值研究,潘晓,韦卫,本电路设计模型检验是计算机领域广泛关注的问题,目前已有的基于SAT问题的无界模型检验等都存在着无法包含不同逻辑模块协调约束信
  3. 所属分类:其它

    • 发布日期:2020-03-01
    • 文件大小:351232
    • 提供者:weixin_38736018
  1. 线性与非线性回归模型检验方法研究

  2. 线性与非线性回归模型检验方法研究,李武选,,在进行回归分析建模时,模型的准确性是极其重要的,不恰当的模型,会歪曲所研究问题的事实真相,误导人们对问题的正确理解。在取
  3. 所属分类:其它

    • 发布日期:2019-12-29
    • 文件大小:245760
    • 提供者:weixin_38657835
  1. python 线性回归分析模型检验标准–拟合优度详解

  2. 建立完回归模型后,还需要验证咱们建立的模型是否合适,换句话说,就是咱们建立的模型是否真的能代表现有的因变量与自变量关系,这个验证标准一般就选用拟合优度。 拟合优度是指回归方程对观测值的拟合程度。度量拟合优度的统计量是判定系数R^2。R^2的取值范围是[0,1]。R^2的值越接近1,说明回归方程对观测值的拟合程度越好;反之,R^2的值越接近0,说明回归方程对观测值的拟合程度越差。 拟合优度问题目前还没有找到统一的标准说大于多少就代表模型准确,一般默认大于0.8即可 拟合优度的公式:R^2 = 1
  3. 所属分类:其它

    • 发布日期:2020-12-20
    • 文件大小:93184
    • 提供者:weixin_38551187
  1. 基于模型检验的切换模糊系统的稳定性分析

  2. 基于模型检验的切换模糊系统的稳定性分析
  3. 所属分类:其它

    • 发布日期:2021-03-10
    • 文件大小:1048576
    • 提供者:weixin_38743968
  1. 基于概率模型检验的Web服务系统可靠性分析

  2. 基于概率模型检验的Web服务系统可靠性分析
  3. 所属分类:其它

    • 发布日期:2021-03-08
    • 文件大小:1048576
    • 提供者:weixin_38548817
  1. 面向随机模型检验的模型抽象技术

  2. 面向随机模型检验的模型抽象技术
  3. 所属分类:其它

    • 发布日期:2021-03-07
    • 文件大小:1014784
    • 提供者:weixin_38617413
  1. 多元线性回归模型检验方法-附件资源

  2. 多元线性回归模型检验方法-附件资源
  3. 所属分类:互联网

  1. 多元线性回归模型检验方法-附件资源

  2. 多元线性回归模型检验方法-附件资源
  3. 所属分类:互联网

  1. 基于随机时间自动机和统计模型检验技术的无线传感网络协议建模与分析

  2. 近年来,传感器技术得到了长足而有效的提升,无线传感网络(WSN)以其开放、动态的特征获得了极大的关注,并成为了互联网计算的一个重要组成.WSN系统行为复杂,经常面临信息丢失、节点动态变化等不确定因素,且网络中的节点一旦部署将很难更改、维护.因此,为了保证相关应用的正常工作,在系统设计阶段对WSN中的底层协议进行质量保障就成为了一项非常重要的研究问题.系统设计人员不仅需要保证协议功能上的正确性,还应该评估协议在目标工作环境下的性能,以保证其可以胜任相应的工作需求.针对以上问题,本文提出了一种基于随
  3. 所属分类:其它

    • 发布日期:2021-02-08
    • 文件大小:1048576
    • 提供者:weixin_38554781
« 12 3 4 5 6 7 8 9 10 ... 50 »