概率计算树逻辑相关论文
概率模型检查在分析系统的可靠性、可用性等方面有非常重要的作用。在一些嵌入式控制系统或自适应系统中，运行环境是经常变化的。这......
随着信息时代的来临，物联网早已成为信息化发展中不可或缺的一部分。为了使物联网更加智能化，将语义引入物联网中，形成语义物联网。将......
由于设备、资源和传输等不能保证具有绝对的可靠运行性,所以理论上满足用户需求的模型在实际运行中也会出现一些偏差.为了定量地衡......
带数据约束的概率系统是指一种既带有概率约束,又带有数据变量约束的计算系统,应用非常广泛.对这类系统而言,确保其正确性和可靠性......
针对智能合约对安全性方面的相关性质的极高要求,有必要改进已有的建模算法,提出将智能合约函数的函数体语句建模为DTMC的算法,并......
在机器人路径规划的实际应用中,针对机器人移动行为可能会受到外界环境影响的难题,提出了一种采用概率模型检测技术进行路径规划的......
提出了一种动态复杂环境下采用概率模型检测技术进行路径规划的新方法。考虑到实际应用中机器人其移动行为总是受到外界因素的影响......
研究移动网络的适变业务流程的建模和模型分析对于部署和执行Web服务应用有着重要的意义。该文通过定义业务流程的相似性及数据类......
由于设备、资源和传输等不能保证具有绝对的可靠运行性,所以理论上满足用户需求的模型在实际运行中也会出现一些偏差。为了定量地......
对于信息系统而言，数据信息的安全性是十分重要的，数据的完整性是数据安全最重要的表现形式。为了确保系统中数据信息的安全性，提高系......
根据带有随机特征的复杂信息系统性质验证的需求，针对离散概率回报模型的分层直到公式，提出一种性质验证分析方法。在综合各种离散随......
限界模型检测避免了符号模型检测反应式系统中构建二叉图时出现的空间快速增长,已经被证明是缓解状态空间爆炸问题的有力技术.文中......
提出一种采用模型检测进行系统生存性分析的形式化方法。给出系统所处环境及主要提供的服务,引入灾难和错误等因素,建立系统生存性......
为了缓解概率计算树逻辑模型检测中的状态空间爆炸问题,提出了概率计算树逻辑的限界模型检测技术.该技术首先定义概率计算树逻辑的......
虽然AADL已经被广泛应用于嵌入式软件体系结构的建模与分析,但其作为一种半形式化建模语言,不能满足严格分析评估软件可靠性的要求......
