点状区域的多预警机协同探测航线规划北大核心

点状区域的探测是预警机面临的主要探测任务之一。针对点状区域的多预警机协同探测航线规划问题,首先根据点状区域的特点分析该类探测任务的多预警机协同探测的航线模式,为了获得更大的预警距离以及发挥预警机装备最大效费比,确定点状区域的多预警机协同探测航线模式,并对航线半径的选择进行了讨论;然后,根据点状区域半径大小,分平时和战时2种情况分别对点状区域的多预警机协同探测航线进行规划,并对其探测性能进行了分析;最后,通过仿真实验验证了该方法的有效性。     

卫星对地观测任务全周期规划模型

为解决应急条件下卫星对地观测任务时间紧迫的问题,从卫星执行对地观测任务的全过程出发,提出了卫星对地观测任务全周期规划模型,综合考虑卫星完成任务的各个阶段,缩短整个任务的执行时间,使其满足应急条件下的时间需求。采用启发式算法求解,并研究了基于冲突队列的解的调整优化策略。实验验证所提的模型和算法能够较好地解决卫星对地观测任务规划问题,在时间紧迫的条件下与传统的各阶段的独立任务规划相比,能够提高任务的完成率,具有实际的应用价值。     

一种结构化的编译型 PROLOG数据库及其管理策略

PROLOG数据库存放着构成PROLOG程序的子句以及表示成子句的全局数据,它的组织与管理是实用PROLOG系统的关键,这一点在提高执行效率的编译型PROLOG系统中尤为如此。本文以YH-SIM——一个扩充了的WAM模型为基础,提出一种新颖的编译型PROLOG数据库结构形式,其中·过程中的子句索引与子句彼此分离; ·子句索引块分成多个专门的子索引块; ·一个子句按两种形式存放,子句代码和子句项(源子句形式)。二者分离且共享同一索引,因此代码库和项库的管理是一体化的。这些结构化的特征,有力地支持PROLOG数据库的操作及管理(子句的插入删除,以及空间分配与回收)。文中还介绍了一种简明有效的管理方法。     

一种用于UAV辅助蜂窝网络的基站对无人机群的安全认证协议

由于采用无线通信,基于无人机应用易受安全攻击。与蜂窝基站建立信任是增强无人机网络抵御安全攻击的有效措施。由于无人机的资源受限,传统的信任机制并不适用。提出基于最优路径的可扩展安全认证协议（scalable security authentication protocol based on optimal path,SCOP）。SCOP协议利用Christofides算法构建最优路径,基站再依据此路径传输组合的认证消息,降低认证开销。同时,SCOP引用物理不可克函数和简易加密操作,确保物理层安全,降低无人机端的计算开销。通过BAN逻辑证明了SCOP协议的正确性。性能分析表明,相比于同类的认证协议,提出的SCOP协议降低了认证开销,减少了无人机端的运算时间。     

构筑与农村发展相适应的消防安全屏障

回顾总结农村少数民族聚居地防火工作的经验教训,提出着眼长远、科学规划、抓根治本、规范建设是构筑与农村发展相适应的消防安全屏障的根本措施,是保障农村社会长治久安、人民生活安居乐业和保证农村经济持续健康安全发展的固本措施.     

英语课教学的直观性

从教学的直观性入手,阐述了板书设计与课堂语言组织直观性的内容,指出了二者的结合在传统教学中的重要作用。     

英语课堂教学的直观性

从教学的直观性入手 ,阐述了板书设计与课堂语言组织直观性的内容 ,指出了二者的结合在传统教学中的重要作用     

“论证逻辑”的突破

5 0年代以来在英语国家的逻辑研究、大学教学和一般社会教育中逐渐流行起来的批判思维教育、论辩研究、谬误分析、新修辞学和非形式逻辑 ,都是从不同角度对论证结构、评估问题的研究。对具体问题深究之细 ,前所未有 ;其专著之丰富与再版之快令人吃惊。然而 ,我国学术界对此所知甚少。只是最近才逐渐知道有“非形式(论证 )逻辑”这回事。因此 ,向国内学人介绍近年来的论证逻辑著作不无意义。     

专用字符集译码逻辑的程序优化设计

提出了一种组合逻辑译码电路优化设计的基本原则 ,给出了基于该优化设计原则的程序设计所涉及的关键数据结构和算法 ,并利用现有中小规模译码驱动电路 744 8系列芯片和门电路等实现了工程实践中需要的特殊字符集译码优化设计的参考电路 .     

台军新编联兵旅作战能力分析

台军自1997年7月,开始实施《国军军事组织及兵力调整规划案》(简称“精实案”),以应对形势变化,适应新的世界军事潮流,走质量建军之路。所谓”精实案”的核心是针对其地面作战指挥层次多、联合作战能力弱、不适应岛屿作战需求等现状。将基本作战单位由师改编为“联兵旅”,其作战、指挥、保障等能力都有了新变化