基于线性误差断言的推理方法

武鹏; 吴尽昭

首页> 中文期刊> 《计算机应用》 >基于线性误差断言的推理方法

基于线性误差断言的推理方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

误差在系统中是普遍存在的.在安全关键系统中,对误差的定量分析是必要的,而以往的推理验证方法较少考虑误差.误差通常用区间数来刻画,从而推广了线性断言,并给出了线性误差断言的概念.此外,结合凸集的性质,提出了求解线性误差断言顶点的具体方法,并验证了该方法的正确性.通过分析相关概念及定理,将判断线性误差断言之间的蕴含关系的问题转化为前驱断言的顶点是否被包含在后驱断言的零点集的判断问题,从而给出了判断线性误差断言的蕴含关系的具体方法步骤,且该方法易于在计算机上编程实现.最后,给出该方法在火车加速状态上的应用,并且用大量随机实例测试了该方法的正确性.与不含误差语义的推理方法相比,该方法在含误差参数的系统的推理验证领域是有优势的.

著录项

来源
《计算机应用》 |2021年第8期|2199-2204|共6页
作者
武鹏; 吴尽昭;
展开▼
作者单位

北京交通大学计算机与信息技术学院北京100044;

北京交通大学计算机与信息技术学院北京100044;

中国科学院成都计算机应用研究所成都610041;

广西大学计算机与电子信息学院南宁530004;

广西民族大学人工智能学院南宁530006;

展开▼
原文格式 PDF
正文语种 chi
中图分类软件工程;
关键词
形式化方法; 定理证明; 推理方法; 蕴含关系; 误差理论;

相似文献

中文文献
外文文献
专利

1. 基于概率积分变换的似然比检验的预测误差推理方法 [J] . 陈彤生 ,李绍滋 ,郭锋 . 厦门大学学报（自然科学版） . 2010,第005期
2. 基于EFTPN不确定性时间信息的线性推理方法及在列车群分析中的应用 [J] . 杜彦华 ,刘春煌 . 小型微型计算机系统 . 2006,第010期
3. 一种基于泰勒级数的简化的Kóczy线性插值推理方法 [J] . 王宝文 ,李瑞华 ,刘文远 . 小型微型计算机系统 . 2005,第005期
4. 一种基于线性逻辑的时间Petri网推理方法 [J] . 高梅梅 ,吴智铭 . 计算机研究与发展 . 2000,第012期
5. 基于欧拉平台误差角的SINS非线性误差模型研究 [J] . 严恭敏 ,严卫生 ,徐德民 . 西北工业大学学报 . 2009,第004期
6. 非线性频响函数硬件幅值误差和硬件频率误差的DASP阵列处理及INV高精度数字校核专门技术 [C] . 应怀樵 ,刘进明 ,沈松 . 2010年全国振动工程及应用学术会议（暨第十二届全国设备故障诊断学术会议、第二十三届全国振动与噪声控制学术会议） . 2010
7. 基于线性规划松弛的概率图模型MAP推理方法研究 [A] . 张臻 . 2017

基于线性误差断言的推理方法

摘要

著录项

相似文献

相关主题

期刊订阅