Optimal search for a moving target with the option to wait

We investigate the problem in which an agent has to find an object that moves between two locations according to a discrete Markov process (Pollock, Operat Res 18 (1970) 883–903). At every period, the agent has three options: searching left, searching right, and waiting. We assume that waiting is costless whereas searching is costly. Moreover, when the agent searches the location that contains the object, he finds it with probability 1 (i.e. there is no overlooking). Waiting can be useful because it could induce a more favorable probability distribution over the two locations next period. We find an essentially unique (nearly) optimal strategy, and prove that it is characterized by two thresholds (as conjectured by Weber, J Appl Probab 23 (1986) 708–717). We show, moreover, that it can never be optimal to search the location with the lower probability of containing the object. The latter result is far from obvious and is in clear contrast with the example in Ross (1983) for the model without waiting. © 2009 Wiley Periodicals, Inc. Naval Research Logistics 2009     

一种基于模型的系统设计方法

提出一种面向功能需求,基于模型的"V"型系统设计方法,通过图形化行为建模技术对系统功能进行分解,运用多种仿真和验证技术,在设计过程中实现对系统功能、行为以及与需求规范的一致性和完整性进行实时验证,及时发现并纠正错误,从而避免在产品的物理原型阶段或测试阶段才发现系统设计的错误.     

北斗卫星导航系统在抗击新冠肺炎中的应用和发展前景【专题】

2020年初,新型冠状病毒肺炎给我国人民的生命安全造成巨大威胁,科技抗疫成为战胜疫情的关键。本文介绍了在疫情防控全国“一盘棋”中,北斗卫星导航系统跨界融合新一代信息技术、加速创新应用的新模式：智能监测把控抗疫主阵地,精准引导全程护航物资投送,巡防结合阻断疫情传播,做到了冲锋在一线、征战在途中、守护在后方。此外,还对北斗卫星导航系统在地理测绘、交通运输和智慧城市建设等领域中展现出的广阔发展前景进行了描述。     

论颠覆性技术与军事理论创新的辩证法

技术决定战术,军事技术历来是战争领域最活跃、最具有生命力的因素。当前,以军事智能为特征的颠覆性技术已成为推动新一轮军事革命的强力引擎,它改变了原有战争样式和形态,使战争制胜机理发生复杂而深刻的变化。军事理论作为战争实践的先导,必须首先把握、科学预测和有效评判新技术对战争带来的影响,才能发挥出理论的牵引作用。古往今来的历次战争实践表明,军事理论与技术之间往往不是并行发展的,而是相互错位、交替向前的。谁能在错位的当口抢占先机,缩短错位周期,谁就能提前形成代际优势或代差,赢得战争主动。因此,必须充分认清军事理论创新与颠覆性技术之间的关系,找准军事理论与颠覆性技术错位的原因,运用科学方法,加强理技结合,把颠覆性技术内化于军事理论,达成超越对手的“理论突袭”。     

无人作战的人机融合：挑战与出路

无人作战对于人和机器两个要素的融合提出了巨大的挑战。一方面,无人作战独特的作战模式和作战环境对于自然人的能力素质构成严峻挑战,高度智能化的作战系统运行速度、海量的数据信息日益挑战人类的反应能力和决策能力,虚拟的、远程的、与现实战场隔绝的作战环境日益挑战人类的心理素质。另一方面,机器的高度智能化虽然有利于更好地发挥潜在的作战能力,但也不可避免地带来战争失控和道德沦丧的风险。破解人机两个维度的挑战,实现人与机器的深度融合,一方面要利用增强技术从物理、生理、心理三个层面加速提高人类的能力素质,另一方面是强化机器人的伦理安全设计,坚守人类对机器人的控制底线,规避机器人失控和战争“非人化”的道德风险。     

交互式Pareto前沿可视化决策

针对现有高维多目标可视化技术不能有效显示决策偏好信息这一难题,提出一种基于径向轴图的交互式Pareto前沿可视化决策方法。进行标准化适应度函数处理,消除量纲差距;根据交互更新的轴向量矩阵建立最小二乘问题模型,通过Moore-Penrose广义逆矩阵方法求解投影点,从而获得Pareto前沿分布图。该方法能够有效显示目标各维度信息,直观呈现决策偏好,动态表现目标性能趋势。通过实验与传统可视化技术对比分析,验证了该方法的有效性和实用性。     

JPEG2000遥感图像实时压缩系统中基于并行机制的“零时间”数据搬移策略

为了满足JPEG2000遥感图像实时压缩设备的实时性要求,提出了一种基于并行机制的“零时间”数据搬移策略。通过对EBC算法结构进行拆分,并采用EDMA方式进行数据搬移,使得算法运算与数据搬移过程完全并行,搬移时间等效为零。实验结果表明,采用新的数据搬移策略后,编码效率可以提升到100％,EBC算法实现的总时间可缩短46％以上。该搬移机制已成功应用于JPEG2000星载遥感图像实时压缩系统中,系统的实时性达到了设计要求。     

卫星隐身技术研究进展及发展趋势

卫星隐身技术在空间攻防系统中占有独特的地位,与在地面装甲车辆、舰船、飞机上应用的隐身技术有一定的相似之处,但由于卫星研制条件以及所处的太空环境不同,卫星隐身技术的研究及应用更具有挑战性.基于卫星工程应用,归纳了卫星隐身需求、应用环境等,重点介绍了国际前沿隐身技术,包括雷达隐身手段、红外及可见光隐身手段,同时探讨卫星隐身...     

网络舆论斗争系统模型与应对策略

装备技术已成为制约网络舆论斗争作战效能的关键性问题。论文突破传统的网络舆论斗争研究定式,根据网络舆论斗争的作战流程,建立了网络舆论斗争系统结构模型,分析了装备技术组成,给出了应对策略。论文的研究成果,对于发展网络舆论斗争装备技术,占领网络舆论制高点,具有重要理论意义和参考价值。     

基于支持向量机的多目标分类和识别

支持向量机(SVM)算法广泛应用于模式识别等领域,但是SVM最初是针对二类别分类提出,在多分类识别中稍显逊色。对将SVM由二分类扩展到多分类的算法进行了研究,发现有向无环图(DAG-SVM)是其中用的最多的算法之一。因此,针对军事领域图像的多目标分类,选择有向无环图算法来实现军事图像中单兵、装甲、低空等多目标的分类识别。