摘要：为解决海上编队协同防空作战中多任务多平台的协同决策问题,提出基于遗传模糊逻辑树的协同防空作战规则反演方法。设计面向威胁判断、目标分配、火力控制等指控决策的级联式模糊推理系统,采用演化学习从博弈对抗中学习和反演协同作战规则。作战仿真测试表明,该方法能够适应战场的动态变化且决策时延低于1 s。基于遗传模糊逻辑树的作战规则反演缓解了深度强化学习等面临的可解释性问题和作战仿真中的奖励稀疏问题,同时反演生成的作战规则也为剖析战场规律提供了新的知识来源。

摘要：[目的/意义]为满足科研人员对科技文献内部细粒度语义信息进行高效查询的迫切需求,前期研究提出了面向科技文献的多维语义索引体系,然而基于HashMap的常见倒排索引会导致查询效率低下。本文旨在通过面向不同维度语义特征建立混合倒排索引,以改进语义查询性能。[方法/过程]本文以Treap、B+树等多种数据结构探索适合不同语义维度的倒排索引构建方法,并将其组合形成多种适用于科技文献多维语义组织的混合倒排索引构建方法,并通过对比实验,在排序查询和布尔查询条件下分析验证不同类型倒排索引构建方法的查询性能。[结果/结论]实验结果表明,组合形成的8种混合倒排索引构建方法中,表2所示的C3(HHHB)被证明在排序查询条件下具有最高的效率,而C4(TTTB)则在布尔查询条件下被证明最为高效。本文的方法能有效解决单一索引结构导致的查询效率问题。

摘要：与非图模型是一种表示电路设计的通用基础形式,同时也是模型检查器的一种通用输入格式.介绍了一种基于与非图结构编码的特征提取方法,并基于该方法实现了一种快速的组合模型检查器Liquid.所提出的结构编码的核心思想:首先罗列出与非图中所有可能的子结构,再将每个子结构出现的次数编码成向量,该向量即作为与非图的特征向量参与之后的机器学习过程.由于各种模型检查算法的性能在不同的与非图上参差不齐, Liquid的设计目标是组合多种模型检查算法,针对不同的与非图使用机器学习模型挑选出合适的算法.收集了目前所有的模型检查器基准测试集作为实验数据集并进行了实验.实验结果表明,Liquid在实验数据集上的表现优于所有组合中的独立模型检查算法,并有着不错的预测准确率.同时,还从多个维度分析了Liquid有效的原因.

摘要：以卫星遥感为代表的地表信息空天获取手段是支撑新时期智慧水利建设的重要途径。当前,遥感数据获取能力与处理服务能力之间出现了失衡,大量的对地观测卫星遥感数据被获取,而能够支撑水利业务的遥感数据产品即时服务能力和动态更新频次仍然存在瓶颈,“卫星数据量大、处理流程复杂、产品服务不足”的现状长期存在,制约着水利行业遥感应用的质量和效率。本文通过调研当前国内外遥感大数据加工处理进展,分析了面向智慧水利建设的水利遥感数据处理平台需求,设计了一种水利遥感数据规模化加工处理平台的框架,用于海量卫星遥感数据产品全链路自动化处理,以提升水利遥感数据产品处理质量和服务效率。该平台可以实现超过30种多源高分遥感数据全流程处理,通过动态分配GPU和CPU计算缓存,实现卫星遥感数据正射校正、融合、镶嵌、质检以及水利遥感专题信息提取等流程规模化、并行化和自动化处理,生产满足数字孪生流域建设的卫星遥感专题产品,支撑新时期智慧水利建设的遥感深度应用。

摘要：在实际的工业生产环境中,常常需要监控机器相关指标的运行状况,对于一个多变量的无监督异常检测任务,由于缺乏带标签的数据,并且同一个检测算法在不同数据集上的性能表现不同,模型设计依赖于人工调整,所以如何高效选择一个异常检测模型并完成超参数调整成为了一个亟待解决的问题。在这篇文章中,我们建立了一个异常检测模型自动选择机制,称为AutoAD (Auto Anomaly Detector)。AutoAD利用了历史数据上异常检测模型的表现和数据集本身的特征,基于元学习的想法,通过深度神经网络自动选择一个有效的异常检测模型并调优,用于新的数据集的异常检测。实验结果表明了在开源数据集上AutoAD在异常检测模型自动选择方面具有有效性。

摘要：《计算机系统应用》(CN 11-2854/TP,ISSN 1003-3254)创刊于1992年,是中国科学院主管、中国科学院软件研究所主办的、面向国内外公开发行的技术性、应用性科技核心期刊.本刊的办刊宗旨是宣传推广信息技术在各行各业的应用.重点是宣传介绍计算机应用系统的建设(包括系统的规划、设计与开发等方面)、信息技术的应用研究与开发成果以及相关技术的分析,探讨与应用.

摘要：《计算机系统应用》(CN 11-2854/TP,ISSN 1003-3254)创刊于1992年,是中国科学院主管、中国科学院软件研究所主办的、面向国内外公开发行的技术性、应用性科技核心期刊.本刊的办刊宗旨是宣传推广信息技术在各行各业的应用.重点是宣传介绍计算机应用系统的建设(包括系统的规划、设计与开发等方面)、信息技术的应用研究与开发成果以及相关技术的分析,探讨与应用.

摘要：在高功率光纤激光系统中,常会出现激光照射到目标处产生的回光被重新耦合到激光器内部并得到放大,从而损伤激光系统的现象.对于高功率光谱合成光纤激光系统等缺乏有效回光防护的高功率激光系统,该情况尤为严重.为了解决上述问题,有必要综合整个系统链路中的多种物理效应,评估和分析反射回光对系统运转状态的影响,在设计光纤激光器时优化光路布局和系统结构,以尽量避免不必要的损失.本文基于大气传输理论、光纤速率方程和介质热传导方程模型,分析了反向回光对高功率光纤激光器的影响.研究发现,在大气条件一定的情况下,回光功率与传输距离、光轴偏移角度、光束发散角和光束中心位置偏移量等因素有关,并且会影响光纤激光器输出功率、光束质量因子、热效应和受激拉曼散射光谱信噪比.研究结果对于优化高能光纤激光系统的外光路布局和激光器内部器件系统参数设计具有一定的指导意义.

摘要：针对传统6R机器人路径跟踪过程中存在的控制精度差、效率低等问题,提出一种基于改进神经网络的机器人路径跟踪控制算法。对机器人位置和速度等信息进行状态检测,利用神经网络对机器人的运动轨迹进行预测和修正,并根据实际误差对机器人控制指令进行优化。基于岭回归算法对经典神经网络进行改进和优化,提升算法的迭代效率和参数优化能力,更加准确地预测和修正机器人的运动轨迹。仿真结果表明:与传统的PID控制算法相比,基于改进神经网络的6R机器人路径跟踪控制算法有更好的控制精度和稳定性,且所耗用的时间被控制在10 s之内。

摘要：REST API已成为访问和使用Web服务的重要途径,为开发基于服务架构的应用系统提供了可复用接口.但是,REST API的设计质量参差不齐,因此有效、合理的设计指导规范对于规范和提高REST API设计质量具有现实意义和应用价值.首先,基于REST API的本质内涵,建立了一个多维度、两层次的REST API设计指导规范分类体系RADRC(REST API design rule catalog),并对当前主流的25条设计指导规范进行分类.其次,针对已有规范提出相应的检测方法,并实现了REST API设计指导规范遵循情况的分析与检测工具RESTer.最后,使用RESTer开展REST API设计实证研究,分析了***收录的近2000个真实REST API的文档,从中分析提取相应的REST API信息,进一步检测并统计当前REST API的设计特征和设计指导规范遵循情况.研究发现不同应用类别的REST API在资源和操作模式上存在差异,使得不同类别REST API在设计规则和总体架构方面各有特点.实证研究结果有助于深入了解当前REST API及其设计规则的特征、现状和不足,对于提高REST API设计质量和改进设计指导规范具有实际意义.