检索结果-南通市图书馆

燕山大学学报 2008年第6期32卷 497-502页

作者：陆洁苏州大学计算机科学与技术学院江苏苏州215006 江苏教育学院宿迁分院宿迁高等师范学校江苏宿迁223800

针对CAN总线协议栈结构,利用确定与随机petri网(DSPN)对其进行建模,得出CAN总线的DSPN紧缩模型。通过软件DSPNexpress-NG得出吞吐量、平均延迟及消息成功传输概率等性能参数,揭示了CAN总线工作的统计规律。

关键词： CAN总线确定与随机petri网紧缩模型 DSPNexpress-NG

基于DSPN的航天测控系统任务可靠性仿真建模

在线全文

学校读者我要写书评

暂无评论

航空动力学报 2014年第1期29卷 233-240页

作者：杨晓松武小悦国防科学技术大学信息系统与管理学院长沙410073

提出了基于确定与随机petri网(deterministic and stochastic petri nets,DSPN)的航天测控系统(tracking,telemetry and command,TT&C)任务可靠性定量分析方法,旨在对相关航天测控方案进行可靠性预计.通过对TT&C系统任务剖面进行时序弧... 详细信息

提出了基于确定与随机petri网(deterministic and stochastic petri nets,DSPN)的航天测控系统(tracking,telemetry and command,TT&C)任务可靠性定量分析方法,旨在对相关航天测控方案进行可靠性预计.通过对TT&C系统任务剖面进行时序弧段划分,考虑实际系统中测控单元阶段依赖、单元故障可修以及各单元参与任务起止时间不同等其他建模方法难以处理的复杂因素,建立了"单元层-系统逻辑层-阶段层"3层相互关联的TT&C系统任务可靠性DSPN模型.通过对模型仿真运行,实现了对给定测控方案下TT&C系统任务可靠性定量化评估.分析表明:仿真结果随着仿真次数增加逐渐收敛,与Markov解析方法求得的精确值对比误差控制在1%以内.

关键词：任务可靠性测控方案仿真确定与随机petri网航天测控系统

基于DSPN的多阶段任务系统测试性需求建模与分析

在线全文

学校读者我要写书评

暂无评论

系统工程理论与实践 2010年第7期30卷 1272-1278页

作者：苏永定刘冠军邱静国防科技大学机电工程与自动化学院长沙410073

针对多阶段任务系统(PMS)的测试性需求分析问题,提出了一种基于确定与随机petri网(DSPN)的系统级测试性需求模型(PMS-DSPN)和指标确定方法.PMS-DSPN模型包括系统网(SN)和阶段网(PhN)两部分,每个SN对应于各个子阶段任务的GSPN测试性需求... 详细信息

针对多阶段任务系统(PMS)的测试性需求分析问题,提出了一种基于确定与随机petri网(DSPN)的系统级测试性需求模型(PMS-DSPN)和指标确定方法.PMS-DSPN模型包括系统网(SN)和阶段网(PhN)两部分,每个SN对应于各个子阶段任务的GSPN测试性需求模型;PhN对应于各个阶段任务间的转换过程,并通过关联矩阵进行描述.基于该模型得到PMS任务成功率计算方法,并结合PMS维修代价、测试性设计代价计算方法,构造了系统级测试性指标优化分析模型,进而确定PMS系统级测试性指标.最后通过实例验证该方法的有效性.

关键词：多阶段任务系统确定与随机petri网任务成功率测试性需求指标确定

基于交换式以太网的列车通信网络建模与性能分析

在线全文

学校读者我要写书评

暂无评论

通信学报 2015年第9期36卷 181-187页

作者：张玉琢曹源闻映红北京交通大学电子信息工程学院北京100044 北京交通大学轨道交通运行控制系统国家工程研究中心北京100044

为了满足未来大容量、高速率、硬实时性的信息传输需求,将交换式以太网技术引入列车通信网络(TCN,train communication network)。针对不同优先级消息,根据其通信调度方式对传输过程建立了TCN的确定与随机petri网(DSPN,determined and s... 详细信息

为了满足未来大容量、高速率、硬实时性的信息传输需求,将交换式以太网技术引入列车通信网络(TCN,train communication network)。针对不同优先级消息,根据其通信调度方式对传输过程建立了TCN的确定与随机petri网(DSPN,determined and stochastic petri nets)模型,比较了交换机不同调度算法对时延的影响,并分析了消息数目和产生周期,以及消息数目和吞吐量的关系。实验结果表明,采用优先级调度算法能在牺牲非实时数据时延的条件下降低实时数据的时延,验证了采用交换式以太网的TCN吞吐量远超过现有的TCN,并且能够为今后的设计和优化提供理论依据。

关键词：列车通信网络交换式以太网确定与随机petri网调度吞吐量延时

CTCS-3级GSM-R车地通信数据丢失概率及其影响的研究

在线全文

学校读者我要写书评

暂无评论

通信学报 2014年第12期35卷 203-209页

作者：张霞马连川曹源张玉琢北京交通大学轨道交通控制与安全国家重点实验室北京100044 北京交通大学轨道交通运行控制系统国家工程研究中心北京100044 北京交通大学电子信息工程学院北京100044

为了解决CTCS-3级列控系统GSM-R车地数据传输接口(Euroradio)安全功能模块没有提供时间相关风险防护措施的问题,建立基于DSPN的数据传输过程中故障恢复模型和通信模型。结合这2种模型并利用Time NET4.0对数据丢失概率进行仿真,发现即使... 详细信息

为了解决CTCS-3级列控系统GSM-R车地数据传输接口(Euroradio)安全功能模块没有提供时间相关风险防护措施的问题,建立基于DSPN的数据传输过程中故障恢复模型和通信模型。结合这2种模型并利用Time NET4.0对数据丢失概率进行仿真,发现即使只考虑数据丢失才会造成列控系统危险输出的极端情况,仍不满足相关规范对于CTCS-3级列控系统数据传输SIL4级要求。

关键词： CTCS-3级列控系统 GSM-R 安全通信协议确定与随机petri网

在线全文

学校读者我要写书评

暂无评论

时间触发CAN总线系统的建模与性能分析

电子科技大学学报 2007年第3期36卷 632-635页

作者：刘鲁源王晓欣马津艳天津大学电气与自动化工程学院天津南开区300072

时间触发机制的引入提高了CAN总线对实时周期性消息的处理能力,然而系统中的非周期性消息具有迸发性、不可预知性和类型复杂的特点,对其传输性能的分析较为困难。该文利用确定随机petri网理论建立了时间触发CAN总线系统的模型,通过仿真... 详细信息

时间触发机制的引入提高了CAN总线对实时周期性消息的处理能力,然而系统中的非周期性消息具有迸发性、不可预知性和类型复杂的特点,对其传输性能的分析较为困难。该文利用确定随机petri网理论建立了时间触发CAN总线系统的模型,通过仿真对异步相中非周期性消息传输进行吞吐量和平均延时等性能分析,得出了相应的量化规律,其结论对时间触发CAN总线系统的分析与设计具有指导意义。

关键词： CAN总线事件触发确定与随机petri网时间触发

基于DSPN的高速磁浮运控系统越区切换模型

在线全文

学校读者我要写书评

暂无评论

交通运输工程学报 2014年第2期14卷 90-96页

作者：曹源张玉琢马连川孙雅晴穆建成北京交通大学轨道交通运行控制系统国家工程研究中心北京100044 北京交通大学电子信息工程学院北京100044 上海自仪泰雷兹交通自动化系统有限公司上海201206 国家铁路局科技与法制司北京100891

考虑38GHz毫米波通信中断与信道占用因素,依据磁浮运控系统越区切换流程建立了确定与随机petri网(DSPN)模型,对单一移动终端(MT)和冗余MT两种结构进行了比较,研究了基站间距和列车运行速度对单一MT和冗余MT两种结构越区切换可靠性的影... 详细信息

考虑38GHz毫米波通信中断与信道占用因素,依据磁浮运控系统越区切换流程建立了确定与随机petri网(DSPN)模型,对单一移动终端(MT)和冗余MT两种结构进行了比较,研究了基站间距和列车运行速度对单一MT和冗余MT两种结构越区切换可靠性的影响。研究结果表明:冗余MT越区切换性能明显优于单一MT,后者的停车概率约为前者的3×104倍;越区切换成功率随列车运行速度的提高而降低,随基站间距的减小而降低;在极端情况下,即列车以500km·h-1运行,且相邻基站间距为500m,冗余MT和单一MT越区切换成功率只有98.50%和97.85%。研究结论为磁浮运控系统车地通信子系统的服务质量优化与移动小区设置提供了依据。

关键词：列车运行控制系统越区切换确定与随机petri网高速磁浮车地通信可靠性

基于petri网理论的FC-AE-1553性能分析

在线全文

学校读者我要写书评

暂无评论

西北工业大学学报 2010年第3期28卷 388-392页

作者：张建东时洋洋田海宝史国庆西北工业大学电子信息学院陕西西安710072

随着综合航电系统的发展,1553B总线已经不能满足发展需要,FC-AE-1553协议作为新一代的高性能网络通信协议被引入到航电系统中,其性能指标与整个航电系统的总体指标有着密切的关系。文中给出了一套完整的基于确定与随机petri网的FC-AE-1... 详细信息

随着综合航电系统的发展,1553B总线已经不能满足发展需要,FC-AE-1553协议作为新一代的高性能网络通信协议被引入到航电系统中,其性能指标与整个航电系统的总体指标有着密切的关系。文中给出了一套完整的基于确定与随机petri网的FC-AE-1553性能评价模型和算法。通过对模型的求解,得到了网络系统的2个重要性能指标总线负载、延迟时间随消息数变化的规律,通过对性能曲线的分析,可对综合航电系统的设计和完善提供重要的理论依据。

关键词：航空电子综合系统确定与随机petri网 FC-AE-1553 性能评价

在线全文

学校读者我要写书评

暂无评论

基于DSPN的浮标布阵系统建模与仿真

系统仿真学报 2011年第B7期23卷 258-261页

作者：许家俊姚淑珍谭火彬北京航空航天大学软件学院北京100191 北京航空航天大学计算机学院北京100191

浮标布阵系统是航空电子系统中典型的实时嵌入式系统,系统性能评价是其发展的重要理论基础和支撑技术。以浮标布阵系统为应用背景,研究了航空电子系统原理和特点,并对航空电子系统周期性消息进行了研究。给出了一套完整的基于确定与随机... 详细信息

浮标布阵系统是航空电子系统中典型的实时嵌入式系统,系统性能评价是其发展的重要理论基础和支撑技术。以浮标布阵系统为应用背景,研究了航空电子系统原理和特点,并对航空电子系统周期性消息进行了研究。给出了一套完整的基于确定与随机petri网的性能评价模型。通过对模型的仿真,得到了系统的性能指标总线利用率随系统运行时间变化的规律,通过对性能曲线分析,可对航空电子系统的设计和完善提供重要的理论依据。

关键词：浮标布阵系统确定与随机petri网 1553B 仿真性能评价

在线全文

学校读者我要写书评

暂无评论

基于DSPN的SIP协议行为模型

计算机工程与应用 2004年第35期40卷 142-144页

作者：严晓东杜继宏清华大学自动化系北京100084

会话启动协议SIP作为推荐的Internet会议和VoIP信令控制协议,在RFC中没有严格地给出其行为的形式化模型。论文利用确定与随机petri网(deterministicandstochasticpetrinets,DSPN)给出了SIP核心事务的形式化模型,为进一步的协议分析和实... 详细信息

会话启动协议SIP作为推荐的Internet会议和VoIP信令控制协议,在RFC中没有严格地给出其行为的形式化模型。论文利用确定与随机petri网(deterministicandstochasticpetrinets,DSPN)给出了SIP核心事务的形式化模型,为进一步的协议分析和实现奠定了基础。

关键词： SIP 协议行为模型 petri-net DSPN 确定与随机petri网会话启动协议