概率模型检验相关论文
Ad Hoc网络终端的电池能量有限、网络拓扑结构动态变化、通信使用无线信道及分布式控制技术等,这些因素使得确保正常的网络通信变......
无线传感网通常是由具有感知、处理和无线通信功能的传感器节点自组织形成的网络。机会路由是可以应用于无线传感网的数据转发协议......
概率模型检验是一种针对概率模型的形式化验证技术,与传统的非概率模型检验相比,概率模型检验不仅能对系统进行定性的检验,即判断......
Ad Hoc网络具有组网灵活方便、设施投资小等特点,使其具有较高的应用价值,然而动态拓扑、无线传输、能量受限等特点又给安全技术的......
通信协议是CBTC系统重要的组成部分,它的正确性、稳定性和安全性对整个CBTC系统有重要影响.鉴于通信协议中某些参数具有随机特征,......
匿名通信技术是保护互联网用户隐私的最有力手段之一,但匿名通信协议的形式化验证仍是亟待解决的难题。对P2P匿名通信协议MACP进行......
在满足功能需求的前提下,Web服务能否赢得市场,主要取决于其服务质量(Quality of Services,QoS)。采用概率模型检验的方法判断Web......
民机平视显示系统(HUD)作为安全关键系统,由于其高度复杂且与其他机载系统结合使用,使得传统系统安全性评估方法难以满足定量安全......
为了实现对Web服务系统进行可靠性分析,采用概率模型检验技术对其行为模型进行形式化验证是一种有效方法.但该方法需要对服务系统......
概率模型检验建立在非概率模型检验技术的基础上，不仅能够对系统进行定性的验证，还能够定量判断系统满足相关性质的概率，具有广泛的适......
通信协议是CBTC系统重要的组成部分，它的正确性、稳定性和安全性对整个CBTC系统有重要影响．鉴于通信协议中某些参数具有随机特征，本文......
为了在列控系统的设计阶段和安全评估阶段对系统隐患进行把握,对系统的设计进行定量安全分析是至关重要的。定量分析的结果可以用......
云渲染技术已被广泛应用于影视和动漫等行业.与传统的渲染农场和租赁市场模式不同,云渲染系统依托云计算基础设施提供多种软件服务......
在MANET匿名通信中，使用加密等技术防止攻击者通过消息内容进行匿名攻击，并采用MIX输出策略防范攻击者根据通信模式进行的匿名攻击。......
以故障拓展模型和概率检验模型为基础,通过分析概率检验模型的语法语义、转移命令及逻辑关系,研究清晰、完整的转换规则,实现故障......
铁路交通作为国民经济发展的“大动脉”,具有全天候、运量大、安全准时、单位运量价格及耗能低等诸多优点,目前在我国承担着重要的......
CTCS3级列控系统的无线通信系统是一个复杂、随机的分布式系统,无线通信系统为列控系统车载和地面设备提供安全相关信息交互,因此......
期刊
微服务架构是当前最流行的软件架构,当开发者从微服务架构获得敏捷开发时,可靠性成为系统运行的最大的痛点。本文重点研究了面向可......
随着Web应用技术的迅速发展,Web应用已渗透到人们生活的各个领域。Web应用的失效不仅会给人们带来诸多的不便,其造成的严重经济损......
任务可靠性反映武器系统在规定的任务时间和维修保障条件下完成规定作战或训练任务的能力,因此对于评价武器系统的综合效能具有重......
摘要：为了满足铁路运输高速度、高密度的需求,需要列车运行控制系统(简称列控系统)来对列车进行速度和间隔控制,以保证行车安全和运......
在轨道电路发生故障或分路不良时,列控中心无法根据轨道电路继电器的状态准确判断区间列车占用情况,进而使得调度中心屏幕上出现所......
