首页> 中国专利> 演绎最弱前置条件的模型和算法

演绎最弱前置条件的模型和算法

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明公开了一种演绎最弱前置条件的模型和算法,属于软件可靠性技术。该演绎最弱前置条件的模型和算法,包括以下技术方案：（1）改进最弱前置条件的表述；（2）提出了最弱前置条件的演绎模型——路径扩展模型、最内层连接模型和条件跳越模型；（3）给出了算法表述的统一定义；（4）以演绎模型为依据，统一定义为表述手段，设计了三个演绎算法。以MATLAB线性赋值程序为研究对象和编程语言，本发明有效地实现了演绎基本结构程序的最弱前置条件，能够对软件可靠性评价、故障诊断和测试提供参考依据，进而为软件故障树分析评估软件提供一定的模型化、标准化、实用化技术。

著录项

公开/公告号CN107291606A

专利类型发明专利
公开/公告日2017-10-24

原文格式PDF
申请/专利权人四川大学;
展开▼

申请/专利号CN201610194102.0
发明设计人罗航;
展开▼

申请日2016-03-31
分类号G06F11/36(20060101);
代理机构
代理人
地址 610065 四川省成都市武侯区一环路南一段24号
入库时间 2023-06-19 03:34:25

法律信息

法律状态公告日

法律状态信息

法律状态
2017-11-24

实质审查的生效 IPC(主分类):G06F11/36 申请日:20160331

实质审查的生效
2017-10-24

公开

公开

相似文献

专利
中文文献
外文文献

1. 演绎最弱前置条件的模型和算法 [P] . 中国专利： CN107291606A . 2017-10-24
2. 基于贝叶斯模型平均方法的地表组分温度多算法集成算法 [P] . 中国专利： CN112199634B . 2021.05.11
3. DEDUCTION DEVICE, LEARNING MODEL, LEARNING MODEL GENERATION METHOD, AND COMPUTER PROGRAM [P] . 世界知识产权组织专利： WO2020153471A1 . 2020-07-30

机译：演绎设备，学习模型，学习模型生成方法和计算机程序
4. DEDUCTION DEVICE, LEARNING MODEL, LEARNING MODEL GENERATION METHOD, AND COMPUTER PROGRAM [P] . 世界知识产权组织专利： WO2020152815A1 . 2020-07-30

机译：演绎设备，学习模型，学习模型生成方法和计算机程序
5. ACTIVITY RECOGNITION METHOD BASED ON A SEMI MARKOV CONDITIONAL RANDOM FIELD MODEL, PARTICULARLY FOR SIMULTANEOUSLY PROGRESSING TRAINING AND DEDUCTION IN A SEMI MARKOV CONDITIONAL RANDOM FIELD MODEL [P] . 韩国专利： KR20110034828A . 2011-04-06

机译：基于半马尔可夫条件随机场模型的活动识别方法，特别是在半马尔可夫条件随机场模型中同时进行训练和演绎的方法