模型检验相关论文
近年来,盈余管理在经济学与会计学的领域一直是热门话题,社会各界对它的关注度也非常高。另外,鉴于计提和转回资产减值准备存在操......
[目的 /意义]建立大学生数字素养框架,对于推动落实《提升全民数字素养与技能行动纲要》、有效开展数字素养教育具有重要意义。[方......
如何对安全关键混成系统进行形式化建模及验证方法是一项重要的科学问题。在现有的工程实践中,作为验证对象的安全属性缺乏规范化......
航空发动机的起动过程是复杂、非线性的过程,部件法仿真得到的起动模型与真实过程存在较大差异,论文研究从起动供油到发动机转速到......
文章提出了一种面向任务基于能力的武器装备体系需求分析框架,阐述了作战任务需求分析、作战能力需求分析和体系化武器装备需求分......
合理、可靠的有限元模型直接影响到结构动态分析结果。检验计算模型中的不确定参数不仅具有一定的理论意义,更具有重要的工程价值。......
可编程逻辑控制器(PLC)是一种被广泛应用于工业控制领域的嵌入式设备。它常被用于实现安全攸关系统的控制逻辑,例如核电、交通、医疗......
增强飞行视景系统(EFVS)作为机载复杂电子系统,其常规失效分析复杂易出错.基于此,引入形式化建模概念,提出了一种基于故障耦合模型......
期刊
随着软件系统规模地增大和复杂度不断提高,软件需求的分析和描述变得越来越困难,如何利用有效的技术,工程化的方法进行需求描述分......
随着计算机性能和通信技术的快速发展,我们在工业生产、生物医学及现代计量经济学等诸多领域都会遇到各种各样复杂且高维的数据.为......
随着软件规模和复杂度的不断提高,软件缺陷问题不断出现。如何提高软件的可靠性已经成为软件工程领域的一个重要研究问题。程序验......
目的研究舱室空气微生物浓度检测数据分布的有效统计学分析模型,为获取舱室空气微生物污染容许浓度理论限值提供手段。方法应用数学......
固件作为一种固化在ROM中的特殊软件程序,主要负责加电自检,硬件设备初始化,引导操作系统等基础功能,运行级别和安全等级较高,亟需......
形式化软件方法采用数学的方法对软件进行建模和验证,可提高软件安全性.本章讨论了软件的形式化开发方法,讨论了形式化验证的问题,......
本文给出一种基于SAT的C语言缓冲区溢出检测方法。该方法利用源代码变换技术,在程序源码中加入缓冲区属性刻画语句,使用断言刻画缓......
催化裂化装置是一个高度非线性、时变和长时延、强耦合、分布参数和不确定性的复杂系统,在研究其过程机理的基础上,定义了一种模糊......
迁移关系的构建是基于BDD模型检验中一个重要环节,而建立一个占内存尽可能小的关系一直是一个挑战,通常的做法是对迁移关系进行分......
基于可满足性(SAT)的模型检验技术已逐渐成为主流的形式验证技术.在RTL,SAT问题的复杂性表现在位(bit)和字(word)数据类型并存和多......
本文应用模型检验方法对软件进行验证要解决软件的无穷状态空间问题,提出的谓词抽象方法将软件无穷的状态空间抽象为基于一组谓词表......
催化裂化装置是一个高度非线性、时变和长时延、强耦合、分布参数和不确定性的复杂系统,在研究其过程机理的基础上,定义了一种模糊......
2010年6月初广西强降雨过程造成桂中和桂东南出现严重洪涝,地质灾害频发,人员伤亡重.利用整理收集到地质灾害事件,分析广西此次强......
成都市作为四川省省会城市,近十多年来经济得到了迅速的发展,综合实力在全国范围内一路上升.其商品房价格在近年来也波动巨大,这与......
随着VLSI技术的不断发展,尤其是Dennard缩放定律的终结,单核已经不能满足硬件发展的需求,多核已成为主流的体系结构。多线程技术的提......
自2015年证监会颁布实施《公司债券发行与交易管理办法》以来,公司债券发行全面提速,公司债市场逐渐成为股票市场以外另一个重要的直......
针对目前装配线仿真研究缺少模型检验步骤而导致仿真结果不可信的问题,在总结目前装配线仿真研究的基础上,引入两次仿真模型有效性......
对于实时系统,消息顺序图(Message Sequence Chart,以下简称MSC)描述了系统中各部件间的交互活动.消息顺序图规范(MSC Specificati......
城镇化与工业化发展之间既相互联系,又相制约,如何正确认识新型城镇化和新型工业化的关系,理顺二者间相互影响的机制,协调好二者间......
Web应用导航行为的建模和验证是可信Web工程研究的重点和难点.在深入分析用户和Web浏览器交互行为的基础上,文中引入On-the-fly策......
尤金·法玛由于其在资产定价方面的贡献获得了2015年度诺贝尔奖。本文主要介绍了尤金·法玛在资产定价方面的贡献,分别是市......
对用生产函数测度铁路技术进步时的变量取值进行研究,并将其应用于C-D生产函数;通过数据分析和模型检验,研究C-D生产函数对铁路技术进步测度......
在讨论月球及行星起源的会议上,与会者对一组论述月球起源的论文表示了极大的兴趣。近来,该领域因新提出的撞击触发假说而受到鼓舞......
凝析气藏是一类型特殊油气藏,对其类型的早期识别是制定合理的开发方案的前提。本文将人工神经网络引入,通过BP算法的学习,建立了凝析气......
潜油电泵机组的生产能力不仅与机组本身运行可靠性有关,而且还与油井内的工作条件、所抽吸液体的物理特性、油层地质条件以及管理......
本文依据长江上游金沙江屏山站实测资料,用统计试验方法探讨了年、月输沙量的时序变化特性,并在此基础上选取表征年、月输沙量变化特......
本文根据广义层间多次波压制方法,回顾了其原理和理论推导过程,通过理论模型检验了该方法的正确性和有效性。将该方法应用于塔里......
半物理实时仿真技术可以为系统开发节约成本,缩短开发周期,减小风险,提高可靠性,在系统设计阶段特别是复杂的大型控制系统的设计阶......
随着“后PC”时代的到来,人类生活越来越依赖于嵌入式实时系统的应用,而应用的范围也从一些安全关键系统逐步涉及到人类生活的诸多方......
该文立足于安全关键系统,选择铁路车站信号控制系统作为具体的应用对象,对安全关键系统的形式化开发方法进行了下述主要研究和探索......
学位
在混合系统中,离散事件和连续动态行为相互作用的特性使得系统开发的正确性难以保证,尤其对于安全悠关的系统,如电力系统和化工系......
系统辨识是高性能自动化技术(如模型预测控制)中的重要内容。随着人们生活水平和工业生产水平的提高,人们对工业产品质量的要求越......
随着航天科学技术的飞速发展,航天软件的规模更大,更复杂,安全问题也日益突出。而数值型运行时错误(Run-time Errors)在实际应用中是......
随着计算机系统规模和复杂度的不断增加,应用范围的不断扩大,人们对系统正确性的要求也日益提高。模型检验是一种形式验证技术,它的主......