编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

Prolog 对象系统 GKD-POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。     

内置谓词函数依赖及其推理规则

研究内置谓词函数依赖及其推理规则.首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用.     

基于本体技术的分布式模拟训练系统操作监控平台

针对分布式模拟训练系统操作训练特点,在基于HLA（High Level Architecture）的模拟训练系统中,提出并建立了基于本体技术的操作训练监控平台,解决了训练系统和监控平台中操作消息的语义异构问题,实现了操作训练情况的动态实时显示。在平台实现中,采用RTI（Run-Time Infrastructure）提供的服务实现了联邦数据收发;建立了操作信息领域本体,采用计算语义相似度的方法实现操作信息由分布交互层向语义层映射;通过专家知识库和操作监控引擎判断操作逻辑合理性;利用View Graph以图形化的方式展示出操作训练情况。最后,通过一个炮车操作训练监控实例,验证了该平台的可行性和有效性。     

Tri-Designer:一种面向片内云架构的IC设计平台

庞大的内部资源使集成电路(IC,Integrated Circuit)设计日益复杂,云计算作为一种网络上资源管理模式,可以引入到IC内部形成片内云架构。首先确立片内云IC架构的3个基本要素:构件化的IP核、片内网络和可定制的语义流程。然后建立了一种"概念+逻辑+物理"的3层设计平台Tri-Designer,专门用于片内云架构的IC设计。其中,概念建模定义一个应用的外延与内涵,输出应用场景的业务文档;逻辑建模将业务文档映射为片内云架构的语义流程,定义了一种应用层语言来描述语义流程;语义流程每一个步骤都需要映射到构件执行,构件对应着IC内部实际的半导体面积,是对传统IP核的封装,物理建摸实现这种封装。最后基于Tri-Designer平台设计了一个片内云架构的遗传算法模块,其加速比超过了10~4。     

逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

顺序推理机研究中的几个重要问题

文章论述了顺序推理机的发展经验和困难,包括数据结构的表示方法,机器指令系统的设计、编译问题、共享与复制问题、存储管理问题以及内部谓词的实现等等,文章还分析了研究顺序推理机在新一代机研究中重要作用,以及在我国研究顺序推理机的必要性和可行性。     

真谓宾动词及其主语分布

真谓宾动词是只能带真谓词性宾语的及物动词.真谓宾动词内在的复杂性,映射为对主语强烈的选择性.本文试图通过对真谓宾动词句主语的考察,进一步探讨真谓宾动词的下位功能及其语义特征.     

真谓宾动词及其宾语的类

真谓宾动词是只能带真谓词性宾语的及物动词.真谓宾动词内在的复杂性,决定了所带宾语类型的差异性.本文试图通过对大量语言事实的考察,以宾语类型为切入点,对真谓宾动词的下位功能及其语义特征进行研究.     

分布式智能防御系统

分布式智能防御系统是由IBM公司开发的一种原型研究试验台,以研究用于航空电子设备的实时多路通讯专家系统。至今实现的具体应用是模拟一种直升飞机防御系统。正在进行的有几种形式,其中之一是基于 Prolog语言,在PC机互相连接的局部网络中实现。本文论述该项应用,各种试验台的实现,结果评估,结论和未来的工作计划。     

基于能力的指挥信息系统需求获取方法

一体化联合作战是信息化条件下的新的作战形式,为满足一体化联合作战的需要,作战能力与联合作战概念的结合已成为大势所趋.目前国内常用的指挥信息系统需求获取方法缺乏顶层作战概念和目标的指导,没有考虑联合作战的要求.通过分析,将指挥信息系统需求划分为作战需求、用户需求和系统需求3个层次,总结了指挥信息系统在一体化联合作战的要求下应当具备的能力,参考美军JCIDS系统方法和流程,提出了基于能力的指挥信息系统需求获取方法.     

基于改进信息熵的综合反隐身作战效能评估

首先提出了改进信息熵的作战效能评估方法，将作战过程划分为若干作战节点，节点的效能发挥受若干因素影响，并用不确定性自信息量来描述影响的不确定程度。在影响因素选取上，引入了未知因素，有效解决了具体作战中难以全面考虑节点效能发挥的所有影响因素问题。其次基于综合反隐身作战中的信息流关系建立了信息流图，并构建了对应的作战效能评估指标体系，最后计算了不同传感器组合和不同作战方式组合下的作战效能，并得出了结论：反隐身作战中，越多样化的传感器组合和越综合化的作战方式，作战的不确定性自信息量越小，作战效能越大。     

面向语义的作战命令形式化描述及本体构建

作战命令是联系C2系统与M&S系统之间的重要纽带。为保证进行联合作战训练的C2系统与M&S系统对作战命令具备一致的理解和认识,需要对作战命令进行统一的描述。首先从作战命令的形式化描述入手,在描述的基础上形成了作战命令本体,然后介绍作战命令本体构建方法九步法。最后,对作战命令本体进行了构建,为下一步利用基于本体的作战命令驱动仿真模型的研究打下良好的基础。     

末段多层反导作战的任务分解

任务分解是末段多层反导任务规划的基础和前提。为有效提高任务的执行效率,界定了作战任务分解的基本概念,改进了任务分解的方法,提出了任务分解的基本原则,建立了作战任务属性数据表,明确了子任务的结构关系、优先顺序和资源需求。任务分解进一步明晰和细化了反导作战任务,可降低决策的复杂性,提高作战资源的利用效率。     

防空导弹网络化作战C4ISR系统体系结构研究

网络中心战是信息化战争中一种新的作战概念.按照网络中心战的概念,研究防空导弹网络化作战的C4ISR体系结构.提出了以火力单元的功能系统为基本单元,建立跟踪制导网、指挥控制网和拦截兵器网三层逻辑网结构,并定义各逻辑层的主要功能和基本组成.该结构对实现防空导弹网络中心战有指导意义.     

分布式虚拟操作训练系统误操作数据采集方法

介绍了某型武器系统分布式虚拟操作训练系统的功能、构成,并在此基础上研究分布式系统误操作数据采集方法。根据虚拟训练的需求,确定了采集数据的类型,包括2项1级指标、5项2级指标和6项3级指标,全面反映了操作过程中的各种误操作情况;在主仿真流程的基础上,设计了误操作数据采集流程,并将结果写入相关数据库。在系统开发过程中对误操作数据采集方法进行了验证。     

导弹潜艇超视距作战能力评估指标体系

导弹潜艇超视距作战是现代装备发展的需要,也是未来海战的需要.明确了导弹潜艇超视距作战能力的概念,分析了导弹潜艇超视距作战能力指标的要素,重点介绍了影响导弹潜艇超视距作战能力的三个指标,即生存能力、信息保障能力和潜射导弹系统作战能力,并建立评估指标体系,为下一步能力评估奠定基础,也为导弹潜艇超视距作战的训练提供参考.     

基于QFD的陆军电子对抗装备作战需求应用

以陆军电子对抗装备为研究对象,指出了该类型装备作战需求确定过程中所存在的难点问题,阐述了工业设计中运用较为成熟的质量功能展开基本原理及方法,并将其引用到装备作战需求论证过程之中,在一定程度上改善了当前需求论证方法不足,提高了作战用户在需求论证中的主动地位,实现了用户提出的作战需求向装备特征的转化目的.     

基于回合制对抗推演的探索性仿真实验兵力行动序列生成

信息时代的战役、战斗越来越呈现出复杂系统的特性,而探索性仿真实验正是一种研究复杂系统的有效手段。为向探索性仿真实验提供符合人类决策过程的兵力行动序列,基于人机结合的思想,采用回合制对抗推演方法来生成决策序列并加以优化,并对决策向兵力行动转化的模型进行分析,将决策序列转化为兵力行动序列,为后续仿真实验提供了仿真输入。研究成果对军事专家如何参与探索性仿真实验具有一定的借鉴意义。     

作战资源规划方案生成时间分析

资源规划是联合作战中一项重要环节,资源规划方案对提升联合作战的效率,达到更好的作战效果具有重要意义。现代战争的速度越来越快,如何在最短时间内能够生成较优的资源规划方案,提高决策反应速度,是联合作战中需考虑的关键问题。本文在基于MDLS算法的基础上,通过计算机仿真,分析了平台数量和平台优先权对资源规划方案生成时间的影响,得出了相关结论。