基于非均匀分簇的无线传感网络路由协议

无线传感器网络是一种自组织网络,其自组织性以及节点能量受限的特点,使得如何设计路由协议以达到既保证数据传输的完整性又最大限度延长网络寿命变得至关重要。该文提出了一种新的路由机制来延长网络寿命,适合于静态的网络。最后通过模拟仿真说明了改进的路由协议比LEACH协议在延长网络寿命上有很大的改进。     

无线传感器网络中带惩罚因子的路由协议

该文针对路由协议在实际中的应用及存在的问题,进一步提出了带惩罚函数的最短路由协议。分析对比证明PSPRP算法与一般最短路由算法相比,具有能量均衡且低延时的特点,实验表明,该算法能使网络均衡,从而有效的延长网络寿命,获得更好的性能。     

基于时延和能量优化的WSNs路由协议

最小费用路由算法考虑了传输路径所要消耗的能量,最小跳数最小费用路由算法在最小时延的基础上考虑了能耗,但跳数小能耗相对大的节点容易失效。该文提出了一种基于时延和能量优化的加权跳数路由算法,有效缓解上述两种算法共同存在的瓶颈问题,并通过了数值算例对算法加以说明。     

基于概率的能量均衡无线传感器网络路由协议

该文讨论了路由协议在实际中的应用及存在的问题,并进一步提出了基于概率的能量均衡路由协议.分析对比证明基于概率的能量均衡路由算法与一般最短路由算法相比,具有能量均衡且低能耗的特点,实验表明,该算法能使网络均衡,从而有效的延长网络寿命,获得更好的性能.     

分级论辩系统的逻辑研究

近年来,形式论证已逐渐成为人工智能领域的研究热点之一。自Dung于1995年提出抽象辩论框架起,学术界普遍认为论辩的核心任务是在各种基于外延的语义下对论点集进行评估,以确定其辩护状态。分级论辩系统(Graded Argumentation System,GAS)是对经典Dung型论辩系统(Dung-style Argumentation System,DAS)的推广,通过一般化DAS语义的两个核心性质,即无冲突性和可接受性,来提供更细化的论点状态概念。当前的论辩系统语义等效性研究主要集中在框架和论点层次上,可为其结构约简提供有力的保证。针对两个不同分级论辩系统中论点的语义等效问题,首先运用分级模态逻辑(Graded Modal Logic,GML)形式化分级论辩系统的片段,然后建立并证明了分级论辩系统基于外延的语义和GML公式之间的一一对应关系,最后定义分级互模拟关系并证明其蕴含分级论辩系统的4个重要的语义等价性。