![情态命题公式4、E和B上E和B的布尔值]()
一、关于模态命题公式4、E和B的布尔值（论文文献综述）张维珺[1]（2019）在《基于形式化方法的系统需求建模与安全性分析研究》文中认为随着计算机的诞生及快速发展,其在各行业、...
![绩效评价形式化方法的现状与发展]()
一、性能评价形式化方法的现状和发展（论文文献综述）刘嘉欣[1]（2021）在《面向质量保障的移动群智感知任务分配与评价方法研究》文中提出随着智能移动设备的普及和5G通信技术的发...
![一种航空电子系统安全性需求验证方法]()
论文摘要针对航空电子系统安全性评估过程中正确性难以保证的问题,在研究系统安全性模型的基础上,提出了一种基于模型的系统安全性需求描述和验证方法。该方法首先针对系统功能需求、安全性...
![符合民机适航标准的形式化方法研究]()
论文摘要描述了形式化方法的定义、目的、作用和软件开发流程。以发动机仪表盘显示布局风格需求为例,通过四变量形式化方法对需求进行形式化建模,通过形式化分析证明模型的完备性和一致性。...
![三类组合数学问题算法形式化推导策略的研究]()
论文摘要组合数学是研究离散对象的科学,而计算机处理的对象主要是离散数据,因此,关于组合数学问题算法的研究一直以来都是计算机科学的重要研究领域之一。然而在许多相关文献中,对于组合...
![基于形式化方法的道口控制系统规范建模与验证]()
论文摘要为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证.基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用UML图方法并结合精化策略建...
![基于SDRT的汉语语篇连贯的形式化研究]()
论文摘要近几十年来汉语语篇连贯研究取得了丰硕的成果,但缺乏形式化的研究。分段式话语表征理论(SDRT)是用形式化的方法逐步实现篇章语义的动态语义学理论,但以往的SDRT视角下汉...
![基于时间自动机的实时系统规范验证研究]()
许丹[1]2007年在《基于时间自动机的实时系统形式化建模与验证》文中指出实时系统是一种带有时间约束的计算机系统,这些系统的许多动作的完成是与时间相关的,即要满足一定的时间限制。为了确保实时系统的正确性和可靠性,需要对其进行严格的分析和验证。实时系统的验证不仅要求逻辑上是正确的,而且要求时间上也是正...
![复杂安全协议的形式化分析、设计与验证研究]()
陈铁明[1]2004年在《复杂安全协议的形式化分析、设计与验证研究》文中研究说明保障网络通信安全的一个极其重要的环节是安全协议，安全协议的形式化分析方法已成为近年来安全领域研究的热点之一。同时，PKI体系作为一个强有力的网络安全保障系统已被广泛地应用于各种商业网络环境，各种基于PKI应用的复杂安全协...
