检索结果-内蒙古大学图书馆

计算机工程 2008年第18期34卷 157-160页

作者：沈岚岚董荣胜桂林电子科技大学计算机与控制学院桂林541004

在MANET匿名通信中,使用加密等技术防止攻击者通过消息内容进行匿名攻击,并采用MIX输出策略防范攻击者根据通信模式进行的匿名攻击。基于概率模型检测方法,该文分析几种典型的MIX输出策略在MANET中的应用。结果显示,这几种策略无法防范... 详细信息

在MANET匿名通信中,使用加密等技术防止攻击者通过消息内容进行匿名攻击,并采用MIX输出策略防范攻击者根据通信模式进行的匿名攻击。基于概率模型检测方法,该文分析几种典型的MIX输出策略在MANET中的应用。结果显示,这几种策略无法防范统计暴露攻击等被动攻击,且防范攻击的能力、平均时延和开销等性能会受到移动性的影响。该文提出同步发送的MIX输出策略,能更好地防御匿名攻击,具有延迟低、受节点移动影响小的特点。

关键词：匿名通信概率模型检验 MIX策略

来源：评论

学校读者我要写书评

暂无评论

基于自主感知的列车完整性检测方法研究

基于自主感知的列车完整性检测方法研究

引用

作者：李四辉北京交通大学

学位级别：博士

铁路交通作为国民经济发展的“大动脉”,具有全天候、运量大、安全准时、单位运量价格及耗能低等诸多优点,目前在我国承担着重要的运输作用。为了保障列车在途运行安全,必须保证列车所有车厢在物理上通过车钩连接在一起,列车完整性检测... 详细信息

铁路交通作为国民经济发展的“大动脉”,具有全天候、运量大、安全准时、单位运量价格及耗能低等诸多优点,目前在我国承担着重要的运输作用。为了保障列车在途运行安全,必须保证列车所有车厢在物理上通过车钩连接在一起,列车完整性检测是在列车运行过程中确保列车的完整而进行的检查。列车完整性监测系统作为列车运行控制系统的重要组成部分,列车完整性检测手段从基于地面设备转变为基于车载设备的自主检测方式是面向中国中西部中低密度线路的列车运行控制系统和下一代列车运行控制系统的一致发展方向,也是目前亟待解决的问题。本文立足于列车完整性检测问题,结合列车完整性监测系统的不同应用背景首先进行了列车完整性检测的需求建模分析;针对用于列车完整性检测的列车列首及列尾的运行状态的自主感知问题,形成基于数字轨道地图的列车自主定位状态估计方法;在列首及列尾的自主感知信息基础上面向列车完整状态和分离状态下的列车运动状态模型建立列车完整性检测模型学习及决策方法:基于不确定性概率模型检验方法对自主感知信息用于列车完整性检测的安全风险进行了量化分析。基于论文的研究工作,主要取得了以下创新成果:(1)提出了基于自主感知的列车完整性检测需求模型。根据不同的系统应用背景,基于时序分析的列车安全接近的思想计算列车完整性检测时效性模型;根据列车完整性监测系统失效风险及其风险消减需求计算列车完整性检测风险分配模型。该模型为不同应用背景下的基于自主感知的列车完整性检测提出了性能要求。(2)提出了数字轨道地图辅助的列车运行状态估计算法。构建了数字轨道地图信息辅助列车运行状态概率估计模型,基于状态滤波的思想建立期望传播框架下的列车运行状态最优估计方法。该方法进一步提高了列车运动状态估计准确性,为列车完整性决策提供了更加准确的列车自主感知信息。(3)提出了基于混合贝叶斯学习的列车完整性决策方法。构建了列车列首及列尾相对运行状态的混合动态线性系统模型,基于混合贝叶斯学习分别进行系统模型参数的学习;计算列车完整性状态的后验概率最大似然解,实现列车完整性状态的准确决策,降低了列车完整性检测方法在列车实际运行环境中不确定性噪声下的误检率。(4)提出了列车完整性检测不确定性概率模型检验方法。针对自主感知信息的不确定性因素,提出不确定性概率模型检验方法对列车完整性检测中的系统部件及属性的功能安全特性进行分析及验证。该方法解决了系统设备设计研发阶段难以在系统运行中的随机故障条件下的安全风险分析及验证问题。论文利用列车实际现场运行数据并结合多层次状态迁移仿真分析手段,验证了本文提出的相关模型算法的有效性,其成果可为面向中国中西部中低密度线路的列车运行控制系统和下一代列车运行控制系统中的列车完整性自主检测设备的研发与设计提供较高的理论参考价值。

关键词：自主感知列车完整性列车运行状态估计贝叶斯学习概率模型检验

来源：评论

学校读者我要写书评

暂无评论

Web服务计算组合流程QoS验证

引用

计算机科学 2015年第12期42卷 120-123,147页

作者：开金宇缪淮扣高洪皓上海大学计算机工程与科学学院上海200444 上海市计算机软件评测重点实验室上海201114 上海大学计算中心上海200444

在满足功能需求的前提下,Web服务能否赢得市场,主要取决于其服务质量(Quality of Services,QoS)。采用概率模型检验的方法判断Web服务计算组合流程的服务质量是否满足系统质量需求。依据用户访问Web服务产生的访问日志,采用聚类的方法,... 详细信息

在满足功能需求的前提下,Web服务能否赢得市场,主要取决于其服务质量(Quality of Services,QoS)。采用概率模型检验的方法判断Web服务计算组合流程的服务质量是否满足系统质量需求。依据用户访问Web服务产生的访问日志,采用聚类的方法,构建面向用户群组的Web服务流程的使用行为QoS模型。采用QoS扩展的状态图描述Web服务流程的QoS需求。然后,利用概率模型验证工具PRISM判断Web服务流程的QoS是否满足系统质量需求。验证面向用户群组的Web服务流程的使用行为质量模型是否满足系统质量需求,为服务流程结构的调整提供了依据。

关键词： Web服务质量需求面向用户群组的服务流程QoS模型概率模型检验

来源：评论

学校读者我要写书评

暂无评论

Ad Hoc网络的可生存性分析及路由协议设计

Ad Hoc网络的可生存性分析及路由协议设计

引用

作者：张慧敏桂林电子科技大学

学位级别：硕士

Ad Hoc网络终端的电池能量有限、网络拓扑结构动态变化、通信使用无线信道及分布式控制技术等,这些因素使得确保正常的网络通信变得比较困难。而网络可生存性研究旨在保证系统在攻击、故障或意外事件发生后仍然能够及时完成任务。所以,... 详细信息

Ad Hoc网络终端的电池能量有限、网络拓扑结构动态变化、通信使用无线信道及分布式控制技术等,这些因素使得确保正常的网络通信变得比较困难。而网络可生存性研究旨在保证系统在攻击、故障或意外事件发生后仍然能够及时完成任务。所以,可生存性研究是确保Ad Hoc网络能正常通信的重要手段之一。\n 本文对目前存在的一些网络可生存性建模及分析技术进行了总结分类,并对Ad Hoc网络的可生存性建模分析、设计提高可生存性的路由协议等方面进行了深入研究,取得的成果主要有:\n (1)基于Ad Hoc网络动态拓扑结构难以用模型精确描述的特性,建立了可以表示网络中任意两个结点之间动态数据传输关系的Petri网模型,通过计算两个结点连通的概率,以及在规定时间内成功传输给定长度数据的概率,对网络的可生存性进行了研究,同时举例分析了结点传输范围和平均邻居结点数目两个网络因素对可生存性的影响。实验结果可以指导用户对网络可生存性进行度量,或根据实际的可生存性需求,调整相应的网络参数。\n (2)在Ad Hoc网络路由协议研究中,一般都采用网络仿真方法。但仿真方法采用不同的仿真模型和仿真参数时得到的结果会有很大不同。基于此,本文通过建立DSR协议中发送节点、中间节点和目标节点的状态转移关系模型,对节点的能量损耗、发送率及发送延迟进行了分析,并归纳了使用概率模型检验技术分析类似DSR协议的一般方法。\n (3)为了节省Ad Hoc网络中节点有限的电池能源,在局部能量感知路由(LEAR)协议的基础上,提出了一种全局能量感知路由(GEAR)协议。概率模型检验分析表明,GEA R协议通过保持网络连通性提高了网络的可生存性,且GEAR协议比LEAR协议的发送延迟小,发送率大,进一步说明了其在增强网络可生存性方面的有效性。

关键词： Ad Hoc网络可生存性 Petri网概率模型检验路由协议

来源：评论

学校读者我要写书评

暂无评论

CTCS-3级列控系统地车安全信息传输子系统的建模与分析

CTCS-3级列控系统地车安全信息传输子系统的建模与分析

引用

作者：全宏宇北京交通大学

学位级别：硕士

摘要：为了满足铁路运输高速度、高密度的需求,需要列车运行控制系统(简称列控系统)来对列车进行速度和间隔控制,以保证行车安全和运营效率。由于无线通信具有实时、双向、大容量等优点,CTCS-3级列控系统采用GSM-R进行地面设备和车载设... 详细信息

摘要：为了满足铁路运输高速度、高密度的需求,需要列车运行控制系统(简称列控系统)来对列车进行速度和间隔控制,以保证行车安全和运营效率。由于无线通信具有实时、双向、大容量等优点,CTCS-3级列控系统采用GSM-R进行地面设备和车载设备之间的信息交互,实现了基于通信的列车控制。无线通信比有线通信的可靠性要低,而列控系统地车信息传输的性能影响行车安全和运营效率,因此很有必要对CTCS-3级地车安全信息传输系统进行建模和分析,为解决铁路安全通信的实际应用问题提供理论依据,从而有助于减少铁路信号安全事故和提高铁路运营效率。本文在深入了解CTCS-3级列控系统地车信息传输子系统结构和功能的基础上,针对其的分布式、随机性、实时性等特点,采用仿真与模型检验相结合的方法对地车通信系统进行建模和分析。仿真方法可以更好地模拟系统的行为,形式化方法可以严格地分析系统的性能,仿真与模型检验相结合的方法综合了仿真方法和形式化方法的优势。论文的主要工作如下： (1)介绍CTCS-3级地车通信系统的分层模型及通信流程,分析了地车通信系统对行车安全和运营效率的影响。 (2)综述了通信系统建模和分析方法,提出了仿真与模型检验相结合的地车通信系统进行建模和分析方法,比较并选取了仿真和形式化建模工具,介绍了离散事件仿真和概率模型检验的基础知识。 (3)利用matlab SimEvents对地车通信进行建模和分析,研究了地车通信系统SimEvents建模实现,清晰地模拟了地车通信系统的信息交互流程,并统计分析了通信协议的安全连接建立时间以及不同长度无线消息传输延迟时间。 (4)针对仿真方法不能严格地验证系统的性能,利用概率模型检验方法对地车通信进行建模,基于概率模型检验工具PRISM分析了通信协议的安全连接建立时间以及不同长度无线消息传输延迟时间概率分布,并与SimEvents方法进行比较。(5)在地车通信系统模型的基础上,采用SimEvents和PRISM分别对列控系统应变时间进行分析,得到了列控系统发送位置报告到接收MA的应变时间及其概率分布,表明了方法具有很好的扩展性和应用价值。基于SimEvents和PRISM的CTCS-3级地车通信系统的建模与分析,实现了地车通信系统的仿真和形式化验证分析,地车通信系统的建模与分析方法以及得到的结果可以进一步应用到列控系统性能分析。

关键词： CTCS-3级地车安全通信 SimEvents 概率模型检验安全连接建立传输延迟时间

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：