面向无人机电力巡检的语义实体构建及航迹控制方法

航迹的合理控制是影响无人机（UAV）智能决策重要因素。考虑UAV巡检的局部观测性和任务环境的高空复杂性，以电力巡检领域知识为背景，提出面向UAV电力巡检的语义实体构建及航迹控制方法。首先，基于电力巡检领域的实体知识构建空间拓扑网络，并生成关于位置节点的语义航迹序列网络及其语义接口；然后，根据空间拓扑结构相似性度量的结果集，提出安全许可机制和基于强化学习的航迹控制策略，实现UAV电力巡检在统一的概念内涵和位置结构上的轨迹控制。实验结果表明：作为UAV巡检的实例，所提方法得到的最优策略能获得最大化的鲁棒性能；同时，该方法通过强化学习方法使目标网络的适应度稳定收敛且实体区域覆盖率高于95%，为UAV电力巡检任务决策提供了飞行依据。     

P2P模拟器的比较研究

通过对15个有代表性的P2P模拟器在模式、支持P2P结构、触发方式、适用范围以及开发语言等基本特性的比较,和对P2P模拟器在体系结构、易用性、功能的可扩展性以及规模的可扩展性等评价标准的比较,分别就上述参数给出了两个对照表,从而极大地方便了P2P研究者对P2P模拟器的选用.     

基于AUC的分类器评价和设计综述

尽管精度(或总体错分率)普遍用作分类算法的性能评价指标,但存在诸如敏感于类先验分布和错分代价,忽略分类算法所得的后验概率或排序信息等不足。而接收者操作特性(ROC)曲线下面积则能度量算法在整个类先验分布及错分代价范围内的总体分类性能、后验概率和排序性能,因此在分类学习中受到越来越多的关注,由此涌现出众多研究成果。文章旨在对此作相对全面的回顾和总结,包括AUC作为性能评价指标的优势所在,基于AUC优化的算法设计,基于精度优化和AUC优化的算法间的关系以及AUC存在的不足及改进。     

基于双向搜索差分进化的多目标优化算法

针对差分进化算法求解多目标优化问题时易陷入局部最优的问题,设计了双向搜索机制以增强DE(Differential Evolution,DE)算法的局部搜索能力。一方面降低了算法陷入局部最优的风险,另一方面可增强Pareto解集的多样性,使Pareto前沿面的解集分布更为均匀。实验结果表明,相比于NSGA-II等同类算法,提出的方法在搜索Pareto最优解时效率更高,并且Pareto最优解集的精度及分布程度比前者更好。     

一种面向负载平衡的主动复制技术

针对主动复制容错技术中存在资源浪费及请求响应时间长的问题,提出了一种适用于请求-状态相关及请求-状态无关的系统模型、面向负载平衡的主动复制技术。容错组成员都能根据当前的负载信息列表决定是否执行接收到的请求,只有负载最轻的成员执行当前请求。组中各成员同时执行不同的请求,并直接返回请求响应结果,从而在充分利用主动复制技术中,在引入冗余资源的基础上缩短了请求的平均响应时间。实验结果显示,该技术能缩短请求的平均响应时间,提高系统运行效率;在请求-状态相关的系统模型下,请求的平均响应时间跟与状态相关的请求数目成正比。     

SysML状态图合理性验证研究与实现

给SysML赋予形式化语义,可在目标系统生成前,对系统的模型进行合理性验证。模型在实现前就被验证,可减少目标系统的测试周期。文中用SysML状态图表示系统的行为模型,通过体系结构和业务需求两方面对行为模型进行验证。按照语义规范和性能需求的标准验证状态图的体系结构。另一方面,在体系结构正确性的基础上,执行带有动作规约语言的状态图,可得到状态图对象的行为过程。并通过判断该行为过程与人们所期望的是否一致,再对业务需求进行验证。最终通过实验验证了该方法的有效性和可行性。     

基于DE的WSN能量空洞问题最优发射半径选取

针对无线传感器网络能量空洞问题,通过对具有节点均匀且呈环状分布的WSN相关模型进行了分析。并在此基础上,将能量空洞问题转化为不同发射半径下,能量消耗值最大节点的问题,从而确定了具有不连续、不可导、多峰值特点的优化目标函数。最终采用CoDE算法求解该优化问题,并通过仿真实例验证了,该方法的正确性与可行性。     

民航业务系统的安全性分析与验证

民航业务系统正确处理民航业务逻辑是民航企业运行的必要条件,因此民航业务系统的安全性十分重要,形式化验证方法是保障系统安全性的重要技术手段。本文结合故障树分析技术提取民航业务逻辑的安全性验证需求,并用新〖JP2〗提出的ABPD业务流程模型为民航业务系统建模,进一步分析并定义出6种安全性性质。最后,采用图搜索方法对ABPD〖JP〗模型进行安全性验证并给出具体算法实现。实验结果表明了算法和程序的有效性。      

针对LBS中非可信用户协作构建匿名域的研究

基于位置的服务作为一种不断发展的新型服务模式,为人们的生活带来了极大的便利。但另一方面,用户的位置隐私也受到了很大的威胁。从LBS位置隐私保护的实际应用出发,根据现有的位置隐私保护模型,分析了在用户协作构建匿名域的方式下,用户非完全可信时,位置隐私面临的威胁,提出了User-Cooperation Security（UCA）匿名算法,在P2P空间匿名算法的基础上引入数字签名技术,实现用户之间的身份认证,并且在通信过程中,用接收方的私钥加密位置信息,避免了攻击者窃取他们的位置信息。算法中还加入了用户可以容忍的最大等待时间这一参数,通过等待一段时间重新进行节点发现,有效地提高了匿名成功率。通过实验验证,该算法可以更好地保护用户的位置隐私。     

基于中间件的桌面云网格结构

 桌面云是一种新的桌面使用模式,提供了远程桌面服务。桌面云中间件是桌面云的关键组件之一,它在合理利用基础设施资源、提高用户体验和保障系统健壮性起着关键性作用。为了满足桌面云的动态需求,本文提出基于中间件的桌面云网格结构,详细说明桌面云中间件的功能和设计要素,设计解决桌面生成的基于动态反馈机制的调度算法和虚拟桌面动态分配算法,通过多节点测试验证该网格结构和算法的合理性与有效性。