定向毫米波网络邻居发现协议

针对定向毫米波网络各节点间无波束方向先验信息导致邻居发现困难的问题,提出了一种基于盲交汇算法的邻居发现协议,推导了邻居发现过程中时隙长度、波束个数与邻居发现时间之间的理论关系。进一步,为了缩短邻居发现的时间,在盲交汇算法的邻居发现协议的基础上,提出了基于位置预测的邻居发现协议。仿真结果表明,基于盲交汇算法的邻居发现协议的最长邻居发现时间小于无协调的定向邻居发现协议,波束个数N接近2n(2n－1n,n>1,n∈Z)时,平均邻居发现时间低于无协调的定向邻居发现算法。此外,基于位置预测的邻居发现协议可以有效缩短邻居发现时间。     

基于算子空间的公式发现算法研究

在FDD提出的人工智能技术与曲线拟合技术结合的公式发现系统的基础上 ,提出了新的基于算子空间的公式发现算法 ,并在算法研究的基础上设计实现基于算子空间的可视化公式发现系统 ,该系统通过算子空间概念的引入 ,简化了算子空间的规则 ,同时引入导数规则、误差规则以及终止规则 ,丰富了知识库内容。通过以上改进 ,和BACON和FDD相比 ,公式发现的形式更广 ,复杂度更高。文章最后给出了应用实例以及公式发现的结果。     

军事网络拓扑搜索

叙述了军用网络拓扑发现的特点和存在问题,军用网络拓扑发现的算法分两步:第一步,主干网络级,以路由器为主的网络主构架拓扑发现,给出了实现算法的数据结构和流程图;第二步,子网内拓扑发现,子网发现利用网桥管理对象组的信息,给出以交换机为骨架的子网拓扑,给出了子网拓扑发现算法。对开发网络拓扑发现软件有参考价值。     

混合模糊测试中混合符号执行优化策略评估与分析

针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。     

The graph association problem: Mathematical models and a lagrangian heuristic

Graph association is the problem of merging many graphs that collectively describe a set of possibly repetitive entities and relationships into a single graph that contains unique entities and relationships. As a form of data association, graph association can be used to identify when two sensors are observing the same object so information from both sensors can be combined and analyzed in a meaningful and consistent way. Graph association between two graphs is related to the problem of graph matching, and between multiple graphs it is related to the common labeling of a graph set (also known as multiple graph matching) problem. This article contribution is to formulate graph association as a binary linear program and introduce a heuristic for solving multiple graph association using a Lagrangian relaxation approach to address issues with between‐graph transitivity requirements. The algorithms are tested on a representative dataset. The developed model formulation was found to accurately solve the graph association problem. Furthermore, the Lagrangian heuristic was found to solve the developed model within 3% of optimal on many problem instances, and found better solutions to large problems than is possible by directly using CPLEX. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

想定驱动的仿真资源发现方法

为解决在云间共享架构的仿真环境下资源的自动发现问题,研究了仿真资源请求的描述方法及相应的资源发现算法,提出了想定驱动的仿真资源发现方法.方法通过扩展的军事想定描述语言表示仿真资源请求,使用双映射三过滤算法实现仿真资源的自动发现.分析表明,仿真想定驱动的资源发现方法可以实现在云间共享架构下仿真运行所需的大量资源的自动发现,并对发现结果具有语用校验功能,对于仿真环境的快速部署具有积极意义.     

基于装备演化规律的C4ISR需求生成模式研究

针对C4ISR需求生成的系统性问题,提出基于武器装备演化规律的C4ISR需求生成模式。根据武器装备在作战、系统、技术三个层面的演变规律,从任务模糊性、结构复杂性、技术不确定性三个维度划分目标武器装备,提出与演变规律对应的、逐层递进的C4ISR需求研究模式——复制、发现和创造,提供了解决C4ISR需求精确性问题、正确性问题和前瞻性问题的途径。实例表明,采用该模式能够系统地生成C4ISR需求。     

JXTA网络短链路由改进算法

JXTA为构建对等网络提供了标准化计算平台,制定一些协议和服务专门解决构建P2P网络所遇见的问题.为了改进JXTA路由查询效率低下问题,提出一种路由短链改进算法.在端点路由协议的基础上,根据小世界短链现象采用物理邻居策略将网络划分簇,簇内采用Pastry算法,簇间运用freePastry算法进行资源搜索,使长跳路由减少短链路由增加.通过仿真实验说明,算法可有效增加检索效率,减少节点间的通讯时延.     

基于代理群的军事自组网拓扑搜索算法

分析现有网络管理模式的基础上,针对军事移动自组网的特点,提出了一种基于动态代理群的网络管理模式,并实现了动态代理群网络管理模式的网络拓扑结构搜索算法,最后对该拓扑搜索算法的有效性、正确性及复杂度进行分析论证.实验证明该算法可以很好地解决节点频繁移动带来的需要实时反映网络拓扑结构的问题.     

准最优增量搜索效率分析

在对极限搜索圆进行特殊分割的条件下,导出准最优增量搜索和准最优总量搜索发现目标概率的计算公式,并通过对搜索力变化时两种发现概率的比较,得出了准最优增量搜索优于准最优总量搜索的重要结论.