用于军事态势估计的协作知识模型

分布式人工智能（ＤＡＩ）是ＡＩ领域的一个新分支。ＤＡＩ研究的主要目的在于分析和设计大型复杂的协作智能系统。本文以军事智能决策过程中的重要环节──态势估计任务为背景,提出了用于实现分布式协作求解的知识表示框架ＤＥＳＷ系统。文章简要分析了军事态势估计领域背景,然后从系统设计的三个方面依次介绍了ＤＥＳＷ的系统组织模型、主体概念模型和分布式协作推理模型。     

后勤管理信息系统生成系统的设计与实现

本文论述了一个后勤管理信息系统生成系统(LMIS-GS)的设计与实现,本系统综合采用了数据库模式自动生成技术、软件可重用技术、操作对象、控制信息与程序相分离的模块编码技术,系统中通过引入部件的概念,把庞大复杂的LMIS系统划分为若干个可独立研制开发的部件实体。LMIS的生成就是部件的组装,部件的生成就是数据基的组装与填写。系统还提供了数据库生成的两种方式,即可自动生成3NF的关系数据库模式。     

试论军事刑事司法专属管辖的根据

军事刑事司法专属管辖划分的根据在军事法学界存在着争议,在法律规范的规定中也是非常原则,缺乏可操作性。本文从军事法学界对军事刑事司法专属管辖根据的不同学术观点入手,依据我国现行法律规范的零散性规定,以军事司法权的内在属性为理论依托,论证了我国军事刑事司法专属管辖根据的原则与例外。     

推进剂利用系统装订参数计算及软件集成方法

在大型航天软件中,推进剂利用系统装订参数计算对提高推进剂利用率具有重要意义。给出了利用系统装订参数的计算方法,并在基于CORBA的分布式大型软件系统中对软件集成方法进行了研究。     

基于假设检验的软件可靠性模型预测精度比较

提出一种基于假设检验的软件可靠性模型预测精度比较方法,该方法将模型预测值与真实值的RE(相对误差)看作随机变量,利用假设检验思想度量模型预测精度,并给出多个模型之间预测精度的比较标准.     

电子对抗装备软件的测试策略与方法

在阐述了电子对抗装备软件特点的基础上,对研制电子对抗装备软件过程中的测试策略与方法进行了初步的研究,并对在实施测试过程中的几个问题进行了探讨.     

气象水文软件测评系统建设研究

介绍了气象水文软件测评系统建设和研究情况,重点分析了测评系统的网络环境、硬件环境、软件环境、测试技术能力、测试流程管理等方面的建设和研究情况.     

软件测试工具的问题及解决方法

讨论了当前软件测试工具的关键技术,并指出了其弱点,介绍了如何基于.NET技术对这些弱点进行相应的改善.     

军队会计流程存在的问题及优化策略

在新军事变革的背景下,军队会计流程存在不适应新管理体制需要、信息技术应用对会计流程再造力度不够、军队会计科目设置影响流程等问题。本文从界定军队会计流程的含义入手,提出了优化军队会计流程、建立智能化军队会计信息系统的四项策略,即重塑军队会计流程体系、重构军队会计信息系统、调整军队会计科目体系以及完善各流程会计处理方法。优化军队会计流程、建设智能化军队会计信息系统,不仅能够反映军事经济活动的历史信息,还能为不同类型的信息使用者提供预测、决策等支持,并有利于改善军队会计核算质量,准确反映各类资产负债的价值信息和单位的真实财务状况,对于提高军队会计信息质量具有一定的借鉴意义。     

美军实行战时合同商保障的做法与启示

通过与地方企业签订合同来满足部队保障需求是中外军队的普遍做法,但军队社会化保障仍主要限于平时。本文通过回溯美军合同保障相关文献,从供求矛盾、外部条件、军事效益三个方面对美军战时合同商保障的兴起原因进行剖析,归纳其经验做法和存在问题,并结合实际,从组织架构、法规体系、管理机制、运用战时合同商保障程序等四个方面给出了军队战时合同商保障的对策建议。随着我国军民融合发展战略的深入推进,中国特色社会主义市场经济优势更加突出,我国地方企业涉及的领域进一步拓展,军地技术运用隔阂逐渐被打破,加之疫情后中国经济展现出更强韧性,总体呈现向上向好的良好态势。以上这些因素将为军队在战时推行合同保障提供有利条件,同时为探索军队战时合同商保障模式提供一定参考。