检索结果-维普期刊中文期刊服务平台

基于TLA+的AFDX冗余管理算法的改进被引量：1: 1; 作者库恒龙士工罗昊《计算机工程与设计》 CSCD 北大核心 2013年第3期837-840,853,共5页; 为了在航空应用中得到更加安全可靠的通讯系统,就目前普遍应用的标准以太网可能会出现的问题,提出了用行为时序逻辑TLA对AFDX冗余管理算法进行形式化分析。在适当的环境中,根据安全性、活性、可用性3个性质,得到两个冗余管理的推论,根... 展开更多; 关键词 afdx冗余管理算法帧行为时序逻辑 TLA+语言模型检测; 在线阅读下载PDF 职称材料

航空全双工交换以太网冗余管理机制研究被引量：10: 2; 作者陈昕杨杰周拥军《计算机工程与应用》 CSCD 北大核心 2009年第2期102-105,共4页; 围绕AFDX系统中的冗余管理问题,针对冗余帧发送时间间隔SkewMax,进行了较为深入地分析与研究,利用Network Calculus对AFDX网络进行建模,并定量分析其数据包的延迟抖动,提出了较为有效的冗余管理算法SKRM。然后,运用时序自动机模型的验... 展开更多; 关键词航空全双工交换以太网最大偏移冗余管理算法仿真验证; 在线阅读下载PDF 职称材料

基于PROPHET路由算法的缓冲区管理被引量：3: 3; 作者王艳玲秦拯陶勇《计算机工程》 CAS CSCD 2012年第14期76-78,共3页; DTN网络一般采用基于消息复制的随机路由策略,由于网络中存在大量的消息副本,因此会导致中间节点缓冲区占用大,出现拥塞。为此,从冗余控制角度出发,基于PROPHET路由算法,设计用于缓冲区管理的3种机制,包括消息副本数量的控制、数据包生... 展开更多; 关键词 PROPHET路由算法拥塞控制负载均衡缓冲区管理冗余控制; 在线阅读下载PDF 职称材料

Gnutella网络的连接管理被引量：16: 4; 作者庄雷潘春建 +1 位作者郭永强王从银《软件学报》 EI CSCD 北大核心 2005年第1期158-164,共7页; Gnutella是完全分布式、无结构的对等网络.它采用洪泛式的消息广播机制,使网络具有高鲁棒性和高动态性的同时,也使网络产生了呈指数级增长的冗余消息.在解析Gnutella网络消息广播机制的基础上,指出了Gnutella网络丢弃某些连接的必要性... 展开更多; 关键词连接管理消息冗余网络算法优先级鲁棒性广播搜索引擎机制; 在线阅读下载PDF 职称材料

基于IEC 62439-3的智能变电站通信网络冗余设计被引量：42: 5; 作者李俊刚宋小会 +1 位作者狄军峰魏勇《电力系统自动化》 EI CSCD 北大核心 2011年第10期70-73,共4页; 针对智能变电站的网络冗余问题,分析了IEC 62439-3中的并行冗余协议(PRP),研究了基于PRP的网络拓扑结构及故障恢复时间。阐述了双连接节点(DANP)结构和冗余实现的原理,对冗余采取的丢弃算法和冗余软件构架进行了分析。为了更好地实现冗... 展开更多; 关键词网络冗余 IEC62439 并行冗余协议丢弃算法冗余管理变电站自动化; 在线阅读下载PDF 职称材料

题名基于TLA+的AFDX冗余管理算法的改进被引量：1: 1; 作者库恒龙士工罗昊; 机构贵州大学理学院贵州大学计算机科学与信息学院; 出处《计算机工程与设计》 CSCD 北大核心 2013年第3期837-840,853,共5页; 基金国家自然科学基金项目(61163001) 贵州省科学技术基金项目(黔科合J字[2012]2135号) 贵州大学自然科学青年科研基金项目(贵大自青基合字(2009)027号); 文摘为了在航空应用中得到更加安全可靠的通讯系统,就目前普遍应用的标准以太网可能会出现的问题,提出了用行为时序逻辑TLA对AFDX冗余管理算法进行形式化分析。在适当的环境中,根据安全性、活性、可用性3个性质,得到两个冗余管理的推论,根据这些性质和推论,提出了3个冗余管理算法,并用TLA+语言进行详细的描述。通过模型检测,表明出RMA13为最优算法。; 关键词 afdx冗余管理算法帧行为时序逻辑 TLA+语言模型检测; Keywords afdx redundancy management algorithms frames action temporal logic TLA＋ language model checking; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名航空全双工交换以太网冗余管理机制研究被引量：10: 2; 作者陈昕杨杰周拥军; 机构清华大学计算机科学与技术系北京信息科技大学信息安全系洛阳电光设备研究所电子部; 出处《计算机工程与应用》 CSCD 北大核心 2009年第2期102-105,共4页; 基金国家自然科学基金No.90104002 国家高技术研究发展计划(863)No.2001AA112080 +1 种基金北京市教委科技发展面上项目资助~~; 文摘围绕AFDX系统中的冗余管理问题,针对冗余帧发送时间间隔SkewMax,进行了较为深入地分析与研究,利用Network Calculus对AFDX网络进行建模,并定量分析其数据包的延迟抖动,提出了较为有效的冗余管理算法SKRM。然后,运用时序自动机模型的验证工具UPPAAL,对所提出的SKRM冗余管理算法进行仿真验证。结果证明,SKRM冗余管理算法是有效的,可以保证航电网络数据传输可靠性要求。; 关键词航空全双工交换以太网最大偏移冗余管理算法仿真验证; Keywords Avionics Full-Duplex Ethernet（afdx） SkewMax SkewMax Redundancy Management（SKRM） simulation verification; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于PROPHET路由算法的缓冲区管理被引量：3: 3; 作者王艳玲秦拯陶勇; 机构湖南大学软件学院; 出处《计算机工程》 CAS CSCD 2012年第14期76-78,共3页; 基金国家自然科学基金资助项目(61070194) 中央高校基本科研业务费专项基金资助项目(531107040202) 湖南省科技计划基金资助重点项目(2011FJ2003); 文摘 DTN网络一般采用基于消息复制的随机路由策略,由于网络中存在大量的消息副本,因此会导致中间节点缓冲区占用大,出现拥塞。为此,从冗余控制角度出发,基于PROPHET路由算法,设计用于缓冲区管理的3种机制,包括消息副本数量的控制、数据包生存期的动态设置以及已成功传输数据包的主动删除。通过限制消息副本数和删除多余消息,降低网络中消息副本总量,从而减轻节点负载。实验结果表明,在网络资源有限的情况下,上述3种机制能提高消息的成功传输率,降低网络开销。; 关键词 PROPHET路由算法拥塞控制负载均衡缓冲区管理冗余控制; Keywords PROPHET routing algorithm congestion control load balance buffer management redundant control; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名Gnutella网络的连接管理被引量：16: 4; 作者庄雷潘春建郭永强王从银; 机构郑州大学信息工程学院国家数字交换系统工程技术研究中心中国科学院声学研究所网络与数字信号处理技术研究中心; 出处《软件学报》 EI CSCD 北大核心 2005年第1期158-164,共7页; 基金国家高技术研究发展计划(863)~~; 文摘 Gnutella是完全分布式、无结构的对等网络.它采用洪泛式的消息广播机制,使网络具有高鲁棒性和高动态性的同时,也使网络产生了呈指数级增长的冗余消息.在解析Gnutella网络消息广播机制的基础上,指出了Gnutella网络丢弃某些连接的必要性和可行性,提出了根据传输带宽和机器处理各种消息时所耗费的时间和资源,来划分Gnutella网络中消息的优先级.把评价搜索引擎性能的F-Measure参数引入连接管理中,在保障消息可达率的同时,通过计算丢弃某些冗余连接.该解决方案由丢弃连接管理算法(discarding connection management algorithm,简称DCMA)实现,还给出了算法实例和对算法的讨论.; 关键词连接管理消息冗余网络算法优先级鲁棒性广播搜索引擎机制; Keywords Broadcasting Information management; 分类号 TP393 [自动化与计算机技术—计算机应用技术] G212 [文化科学—新闻学]; 在线阅读下载PDF 职称材料

题名基于IEC 62439-3的智能变电站通信网络冗余设计被引量：42: 5; 作者李俊刚宋小会狄军峰魏勇; 机构许继电气股份有限公司; 出处《电力系统自动化》 EI CSCD 北大核心 2011年第10期70-73,共4页; 文摘针对智能变电站的网络冗余问题,分析了IEC 62439-3中的并行冗余协议(PRP),研究了基于PRP的网络拓扑结构及故障恢复时间。阐述了双连接节点(DANP)结构和冗余实现的原理,对冗余采取的丢弃算法和冗余软件构架进行了分析。为了更好地实现冗余,软件设计引入了冗余网络的监测与管理方案。测试结果表明,在以PRP为基础的智能变电站网络中,网络的安全性和实时性能得到很好的保障。; 关键词网络冗余 IEC62439 并行冗余协议丢弃算法冗余管理变电站自动化; Keywords network redundancy IEC 62439 parallel redundancy protocol（PRP） discard algorithm redundancy management substation automation; 分类号 TM76 [电气工程—电力系统及自动化] TM63 [电气工程—电力系统及自动化]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于TLA+的AFDX冗余管理算法的改进	库恒龙士工罗昊	《计算机工程与设计》 CSCD 北大核心	2013	1	在线阅读下载PDF 职称材料
2	航空全双工交换以太网冗余管理机制研究	陈昕杨杰周拥军	《计算机工程与应用》 CSCD 北大核心	2009	10	在线阅读下载PDF 职称材料
3	基于PROPHET路由算法的缓冲区管理	王艳玲秦拯陶勇	《计算机工程》 CAS CSCD	2012	3	在线阅读下载PDF 职称材料
4	Gnutella网络的连接管理	庄雷潘春建郭永强王从银	《软件学报》 EI CSCD 北大核心	2005	16	在线阅读下载PDF 职称材料
5	基于IEC 62439-3的智能变电站通信网络冗余设计	李俊刚宋小会狄军峰魏勇	《电力系统自动化》 EI CSCD 北大核心	2011	42	在线阅读下载PDF 职称材料