This paper presents a recovery algorithm for self-stabilizing communication protocols. It first describes some concepts and a formal description method for the algorithm. Then it proposes the algorithm procedures, pro...This paper presents a recovery algorithm for self-stabilizing communication protocols. It first describes some concepts and a formal description method for the algorithm. Then it proposes the algorithm procedures, proves its correctness and analyses its complexity. Finally, it also verifies the availability and efficiency of the algorithm by illustrating an example protocol with multi-processes.展开更多
To deeply exploit the mechanisms of ant colony optimization （ACO） applied to develop routing in mobile ad hoe networks （MANETS）,some existing representative ant colony routing protocols were analyzed and compared....To deeply exploit the mechanisms of ant colony optimization （ACO） applied to develop routing in mobile ad hoe networks （MANETS）,some existing representative ant colony routing protocols were analyzed and compared.The analysis results show that every routing protocol has its own characteristics and competitive environment.No routing protocol is better than others in all aspects.Therefore,based on no free lunch theory,ant routing protocols were decomposed into three key components：route discovery,route maintenance （including route refreshing and route failure handling） and data forwarding.Moreover,component based ant routing protocol （CBAR） was proposed.For purpose of analysis,it only maintained basic ant routing process,and it was simple and efficient with a low overhead.Subsequently,different mechanisms used in every component and their effect on performance were analyzed and tested by simulations.Finally,future research strategies and trends were also summarized.展开更多
The prerequisite for the existing protocols' correctness is that protocols can be normally operated under the normal conditions, rather than dealing with abnormal conditions. In other words, protocols with the fau...The prerequisite for the existing protocols' correctness is that protocols can be normally operated under the normal conditions, rather than dealing with abnormal conditions. In other words, protocols with the fault-tolerance can not be provided when some fault occurs. This paper discusses the self fault-tolerance of protocols. It describes some concepts and methods for achieving self fault-tolerance of protocols. Meanwhile, it provides a case study, investigates a typical protocol that does not satisfy the self fault-tolerance, and gives a new redesign version of this existing protocol using the proposed approach.展开更多
This paper discusses the algorithms for achieving global states and self-stabilizationfor communication protocols. It first describes a primary algorithm including its suitability forachieving global states and limita...This paper discusses the algorithms for achieving global states and self-stabilizationfor communication protocols. It first describes a primary algorithm including its suitability forachieving global states and limitation of self-stabilization for communication protocols, and thenpresents an improved algorithm that can be suitable to achieve global states and can be also usedto self-stabilizing communication protocols. Filially, it gives the proof of correctness and analysis ofcomplexity of the improved algorithm, and verifies its availability and efficiency by illustrating anexample protocol.展开更多
针对目前起垄覆膜机作业中由于地面不平以及机身晃动会导致机具行走定位不准,垄体直线度偏差较大、稳定性差等问题,提出基于ExpressLRS(Express long range system)的自主导航控制方法,设计了轻简化电动履带式自主导航起垄覆膜一体机,...针对目前起垄覆膜机作业中由于地面不平以及机身晃动会导致机具行走定位不准,垄体直线度偏差较大、稳定性差等问题,提出基于ExpressLRS(Express long range system)的自主导航控制方法,设计了轻简化电动履带式自主导航起垄覆膜一体机,实现起垄、覆膜、覆土功能,并提升作业的直线度。对起垄机构关键参数进行设计和计算,并利用卡尔曼滤波算法搭建基于ExpressLRS的自主导航控制系统。利用Wit-Motion公司的单轴角度测量传感器HWT101CT进行样机测试,测试结果表明样机行走的偏航角度波动范围在-2.5°~3.5°之间,横向位置偏差均值在3 cm以内,满足设计要求,速度在0.1~0.2 m/s区间导航效果最优,证明该系统具有可行性和有效性。样机田间试验表明垄高170 mm起垄效果最优,作业后垄高合格率86.67%,垄顶宽合格率93.33%,垄底宽合格率86.67%。变异系数均小于6%,表明垄体的均匀性较高。垄体直线度为2.21 cm,垄顶平整度为1.22 cm,表明自主导航直线行驶功能合格,各项评价指标满足起垄覆膜机的设计要求。展开更多
基金National Natural Science Foundation of China and NSF of Hubei Province.
文摘This paper presents a recovery algorithm for self-stabilizing communication protocols. It first describes some concepts and a formal description method for the algorithm. Then it proposes the algorithm procedures, proves its correctness and analyses its complexity. Finally, it also verifies the availability and efficiency of the algorithm by illustrating an example protocol with multi-processes.
基金Project(61225012)supported by the National Science Foundation for Distinguished Young Scholars of ChinaProjects(61070162,71071028,70931001)supported by the National Natural Science Foundation of China+4 种基金Project(20120042130003)supported by the Specialized Research Fund of the Doctoral Program of Higher Education for the Priority Development Areas,ChinaProjects(20100042110025,20110042110024)supported by the Specialized Research Fund for the Doctoral Program of Higher Education,ChinaProject(2012)supported by the Specialized Development Fund for the Internet of Things from the Ministry of Industry and Information Technology of ChinaProject(N110204003)supported by the Fundamental Research Funds for the Central Universities of ChinaProject(L2013001)supported by the Scientific Research Fund of Liaoning Provincial Education Department,China
文摘To deeply exploit the mechanisms of ant colony optimization （ACO） applied to develop routing in mobile ad hoe networks （MANETS）,some existing representative ant colony routing protocols were analyzed and compared.The analysis results show that every routing protocol has its own characteristics and competitive environment.No routing protocol is better than others in all aspects.Therefore,based on no free lunch theory,ant routing protocols were decomposed into three key components：route discovery,route maintenance （including route refreshing and route failure handling） and data forwarding.Moreover,component based ant routing protocol （CBAR） was proposed.For purpose of analysis,it only maintained basic ant routing process,and it was simple and efficient with a low overhead.Subsequently,different mechanisms used in every component and their effect on performance were analyzed and tested by simulations.Finally,future research strategies and trends were also summarized.
基金This project was supported by the National Natural Science Foundation of China and the Natural Science Foundation of Hubei Prov
文摘The prerequisite for the existing protocols' correctness is that protocols can be normally operated under the normal conditions, rather than dealing with abnormal conditions. In other words, protocols with the fault-tolerance can not be provided when some fault occurs. This paper discusses the self fault-tolerance of protocols. It describes some concepts and methods for achieving self fault-tolerance of protocols. Meanwhile, it provides a case study, investigates a typical protocol that does not satisfy the self fault-tolerance, and gives a new redesign version of this existing protocol using the proposed approach.
文摘This paper discusses the algorithms for achieving global states and self-stabilizationfor communication protocols. It first describes a primary algorithm including its suitability forachieving global states and limitation of self-stabilization for communication protocols, and thenpresents an improved algorithm that can be suitable to achieve global states and can be also usedto self-stabilizing communication protocols. Filially, it gives the proof of correctness and analysis ofcomplexity of the improved algorithm, and verifies its availability and efficiency by illustrating anexample protocol.
文摘针对目前起垄覆膜机作业中由于地面不平以及机身晃动会导致机具行走定位不准,垄体直线度偏差较大、稳定性差等问题,提出基于ExpressLRS(Express long range system)的自主导航控制方法,设计了轻简化电动履带式自主导航起垄覆膜一体机,实现起垄、覆膜、覆土功能,并提升作业的直线度。对起垄机构关键参数进行设计和计算,并利用卡尔曼滤波算法搭建基于ExpressLRS的自主导航控制系统。利用Wit-Motion公司的单轴角度测量传感器HWT101CT进行样机测试,测试结果表明样机行走的偏航角度波动范围在-2.5°~3.5°之间,横向位置偏差均值在3 cm以内,满足设计要求,速度在0.1~0.2 m/s区间导航效果最优,证明该系统具有可行性和有效性。样机田间试验表明垄高170 mm起垄效果最优,作业后垄高合格率86.67%,垄顶宽合格率93.33%,垄底宽合格率86.67%。变异系数均小于6%,表明垄体的均匀性较高。垄体直线度为2.21 cm,垄顶平整度为1.22 cm,表明自主导航直线行驶功能合格,各项评价指标满足起垄覆膜机的设计要求。
