概率模型检测相关论文
区块链作为21世纪新兴技术,具备“不可伪造”和“去中心化”等特点,在信息技术和金融领域蕴藏巨大潜力。智能合约是区块链的重要技......
近些年来,随着系统设计复杂性的提高,各种系统错误在实际应用中层出不穷,其造成严重后果的事件也逐年增多。系统建模是如今众多系......
对具有随机性的网络协议进行验证是一个新的有价值的研究方向,该方向目前的研究方法主要有两种:一是使用概率进程代数的方法;另一......
近年来,无线传感器网络已经被应用在许多领域并成为一种重要的计算平台。无线传感器网络是由成百上千的传感器节点和-些基站组成。......
概率模型检测是一种形式化的验证方法，它首先将目标系统建模成一个概率模型，并用概率时序逻辑刻画要验证的属性，然后判定模型是否满足......
在服务质量(QoS)感知的Web服务组合研究中,衡量服务质量的标准通常是用户的非功能属性。然而,传统的Web服务组合方法难以恰当地处......
随着Web服务技术的不断发展,Internet上的服务的数量快速增长。一般来说,具有单一功能的原子服务往往不能灵活地应对复杂的要求,那......
随着科学技术的不断发展,人们的生活已经慢慢步入智能信息控制化时代,背后所依赖的是各种大型高可信系统。这类系统不断地向纵深发......
模型检测是一种有效的自动化验证技术,已成功应用于安全和通讯协议、随机分布式算法、生物系统和电源管理等领域对系统进行分析与......
仪表和控制系统(Instrumentation and Control System,I&C)是核电厂的神经中枢。数字化仪控系统已广泛应用于核电厂相关系统中,其......
数控机床作为工业制造的主要部分,其可靠性研究受到了更多用户的重视。由于数控机床机械传动结构及功能部件的可靠性设计和试验工......
列车完整性检测系统（Train Integrity Monitoring System，TIMS）对列车运行过程中列车完整性状态进行动态检测，并向司机及地面监控人员......
移动机器人的避障问题是机器人学的重要问题,实时避障是移动机器人安全导航的关键.针对移动机器人存在的制动机误差和传感器噪声等......
网络普遍存在于自然界和人类社会中,计算机病毒、传染疾病、森林火灾以及社会流言等在网络中的传播给经济、社会带来巨大挑战.寻找......
公平交换协议是一种重要的电子商务安全协议,已有的针对公平交换协议进行的形式化验证只能定性分析协议是否满足给定性质,本文提出......
SpaceWire是应用于航空航天领域的高速通信总线标准,保证其设计的可靠性和正确性至关重要.本文通过概率模型检测的方法对SpaceWire......
针对传统的失效模式及影响分析中依靠领域专家分析判断系统单元失效与系统故障之间的关系,分析烦琐、容易出错且难以计算故障概率......
传统的验证方法难以保证分布式K互斥算法的有效性和安全性。为解决这一问题,给出了进一步的研究,提出一种基于概率模型检测器PRISM......
在机器人路径规划的实际应用中,针对机器人移动行为可能会受到外界环境影响的难题,提出了一种采用概率模型检测技术进行路径规划的......
Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义。为了验证服务组合的有效性,提出了一种基于概率模型检测的Web服......
如何平衡嵌入式设备的能耗和性能表现,成为了一个热门话题。动态能耗管理是一种在保证系统性能的基础上降低其能耗的有效方法,其关......
提出了一种动态复杂环境下采用概率模型检测技术进行路径规划的新方法。考虑到实际应用中机器人其移动行为总是受到外界因素的影响......
提出了一种应用概率模型检测技术进行分布式任务关键系统生存性的量化分析研究方法。该方法对攻击者和系统的交互行为进行精简抽象......
应用概率模型检测技术，在Manhattan移动模型和街道单元移动模型的基础上，提出城市街道移动模型，将其建模成离散时间马尔可夫链DTMCs，然......
在节点不断移动、拓扑动态变化、带宽受到限制的Ad Hoc网络中，节点间的通信会受到收发节点间相邻概率、信道质量等因素的影响．本文应......
概率合同签订协议的公平性具有典型的概率性质.概率模型检测是一种验证存在随机行为系统的分析技术.基于概率模型检测技术,在原协......
基因调控网络是一类基本且重要的生物网络,通过对其进行控制可以实现生物系统功能的调节。在生物系统中,通过外部的干预控制构造关......
直接利用模型检测工具提供的形式化语言对系统进行形式化建模直观性较差、建模难度大,因此利用概率行为树对机电系统进行形式化建......
应用概率模型检测工具PRISM证实统计暴露攻击能够破坏ANODR协议的匿名性。为此改进ANODR协议的节点输出方式,提出全局同步发送策略......
S-ALOHA协议是物联网RFID中决定标签信息能否及时可靠的被阅读器识别的关键技术之一,也是提高物联网服务质量的关键。实验,仿真和......
将概率模型检测方法运用到机电系统可靠性评价中,可以有效提高可靠性分析特别是FMEA分析的准确性与效率。利用概率模型检测对机电......
随着航空发动机技术的不断发展,对其性能要求不断提高,使得航空发动机的安全性和可靠性变得愈发重要。然而,当前针对航空发动机的......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
在Ad Hoc网络中，广播有着相当广泛的应用，其算法的效率极大地影响着网络的性能．本文基于DP算法提出了BN—DP算法，考虑了节点分布、计数......
系统生物学期望对复杂生物系统建立一个真实的、可计算的模型，以便于以系统的角度去理解生物系统的演变过程。在系统生物学中，一个重......
在现实生活中,疾病,病毒和火情等在人群、计算机、森林等网络中的传播可以对社会造成严重的影响,可能大规模疫情的爆发,计算机的大......
针对系统建模语言（systems modeling language,SysML）活动图模型无法进行精确的形式化分析与验证的问题,在研究现有模型检测的基础上......
基因调控网络是一类基本且重要的生物网络,通过对其控制可以实现生物系统功能的调节。在系统生物学中,通过外部的干预控制构造关于......
为克服传统动态可靠性分析方法的不足,提出基于概率模型检测的机电系统动态可靠性评价方法。介绍了概率模型检测的概念及概率模型......
针对存在制动机误差和传感器噪声等因素的移动机器人,提出采用概率模型检测的方法对非确定性环境中移动机器人的避障策略进行验证......
车载无线自组织网络(VANET)是建立在移动车辆上的分布式移动通信和计算机网络相结合的自组织通信网络,有助于实现智能化的导航服务......
为研究移动应用缺陷发生概率对应用缺陷的修复选择、应用程序质量评估的影响,提出一种基于概率模型检测的移动应用程序缺陷评估研......
