顺序PROLOG机KD-PP的系统结构和硬件实现技术

本文提出的KD-PP系统是一种基于编译技术的顺序PROLOG推理系统,该系统的设计为逻辑型程序语言PROLOG的实现提供了硬件支持,因而能高效地执行PROLOG程序。本文从数据表示、存储系统、机器状态和指令系统等方面全面地介绍了顺序PROLOG机KD-PP的系统结构和硬件实现技术。     

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

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

顺序PROLOG机存储组织研究

YH-SIM是一种正在研制中的顺序PROLOG机。本文介绍该机存储组织的设计考虑。根据PROLOG过程执行的具体特点,文中提出了一种多专用Cache的存储子系统结构,旨在支持深度优先加回溯的顺序PROLOG求解机制。即按照不同的访问方式,设立常规Cache和栈式Cache,分别支持存储空间中的随机访问区域和栈式访问区域。作为一个典型的子部分,文中详细讨论了选择点Cache的控制和调度策略。     

TURBO PROLOG 2.0开发环境的汉化

本文讨论了目前广泛使用的编译型逻辑程序设计语言TURBO PROLOG2.0开发环境的汉化问题。文中分析了TURBO PROLOG 2.0显示程序的一些特点以及目前使用的汉化版本存在的几个主要问题和汉化时应注意的几个问题,最后给出了2个典型程序段汉化的例子。     

一种顺序PROLOG机系统结构的研究

文中概述顺序执行PROLOG程序的计算机的一种系统结构的研究和实现情况,主要包括一个扩充的顺序PROLOG的抽象执行模型、机器指令系统、编译型PROLOG数据库的研究与实现算法、实验系统YH-SIM-ES的设计与实现、以及一种支持快速回顾的PROLOG机硬件组织的研究。     

智能工具机的性能分析

本文论述了提高智能工具机性能所采取的技术措施,并对其性能进行了模拟。模拟结果表明,智能工具机的平均推理速度可达500KLIPS 左右,比日本的PSI—Ⅰ约快一倍,比美国加州大学Berkeley 分校研制的PLM 约快两倍。     

一种基于Lorentzian函数的变步长LMS自适应滤波算法

为了改善传统的LMS类算法存在的缺点,提高算法的收敛速度和跟踪性能,提出了一种基于Lorentzian函数的变步长LMS自适应滤波算法.该算法采用Lorentzian函数来建立估计误差e(n)和步长因子μ(n)之间的非线性关系,以达到提高收敛速度和改善跟踪性能的目的.计算机仿真表明,算法与其他LMS类自适应滤波算法相比,在收敛速度和跟踪性能上都有较大的提升.     

坦克交流全电式炮控系统低速性能研究

采用状态变量法和分段线性法分析了非线性摩擦力矩对坦克全电式炮控系统低速性能的影响.结合分析结果,在实际系统中,引入速度微分负反馈的方法,试验表明该方法能有效提高系统的低速性能.     

基于RBF网络的滑模变结构控制在无刷直流电机伺服系统中的应用

无刷直流电动机的参数强耦合、高度非线性特性增加了对其速度控制的难度,针对这一特点,设计了一种神经网络滑模变结构速度控制器。将无刷直流电机速度伺服系统分成名义模型和不确定模型,采用状态反馈方法对名义模型进行控制,以RBF神经网络为滑模动态补偿器对不确定系统进行控制。该方法不仪具有变结构控制的抗参数摄动、抗干扰以及速度快等优点,神经网络控制的加入还有效地减弱了单纯滑模变结构控制所带来的“抖振”现象。Matlab仿真结果表明,该控制器具有良好的控制性能和鲁棒性能。     

空降车-气囊系统着地缓冲过程仿真分析

为了给空降车及其气囊的优化设计提供技术支持,采用有限元方法对空降车气囊缓冲过程进行仿真分析。计算了正常着地工况下的气囊缓冲过程,得到速度、加速度以及气囊内压等时间特性曲线。结果表明:空降车在该工况下着地速度小于3m/s,该气囊符合空降车着地的缓冲性能要求。车体加速度和冲击应力在误差许可范围内,验证了采用此种方法进行空降车气囊缓冲过程的虚拟测试是可行的。     

装备作战试验概念设计框架

提出了装备作战试验目标、内容、流程和方法、组织指挥、评估的5维概念设计框架。从提高装备综合战技性能、确定装备编配运用原则、检验优化装备体系结构3个方面,明确了装备作战试验的目标定位;对装备作战适用性试验和装备作战效能试验2项主要内容进行了论释;提出了装备作战试验的组织实施流程,列出了外场实装、内场仿真、等效推算和一体化试验方法;构建了基于信息系统的装备作战试验组织指挥能力的构成框架;给出了装备作战试验评估的基本思路和主要步骤。可为装备作战试验顶层设计和创新研究提供新的手段。     

离散作战模型的连续化兰切斯特模型研究

通过兰切斯特方程的分析,定义了作战力量变换系数概念,推导出作战力量变换系数的兰切斯特方程,得到了衡量交战双方作战力量等效值,而作战力量变换系数的兰切斯特方程正是适用于离散型作战的兰切斯特作战模型,使具有深刻影响力的兰切斯特方程适用范围扩大到了交战双方离散数量型的作战领域,从而赋予兰切斯特方程新的生命,为复杂的格斗作战分析提供了新的工具。     

舰艇编队信息作战视图描述

舰艇编队信息作战视图是该系统体系结构设计的重要组成部分。通过对舰艇编队信息作战任务的需求分析,提出了该作战系统的整体构想,采用基于UML的设计方法,完成舰艇编队作战使命所需完成的任务和行动、作战节点描述,并给出了作战视图的模型产品,为进一步描述整个舰艇编队信息作战系统的体系结构奠定基础。     

作战模拟系统中可视化想定编辑器的设计与实现

在回顾以往作战模拟软件某些弊病(如"想定独立性"差,不便于模型重构和模拟软件复用等)的基础上,提出了想定编辑器的概念;从用户需求和模拟软件需求两方面出发,采用面向对象的思想以及计算机战术标图技术、数据库技术,设计并实现了一套操作简便、适应多层次用户使用的战术想定编辑系统,为作战模拟推演及多方案作战效能分析对比,奠定了基础.     

DEA方法在防空作战方案优选中的应用

针对现代防空作战对决策速度和准确性的要求,运用DEA方法研究了防空作战方案优选问题。根据防空作战方案构成的主要要素,建立了防空作战方案的C2R评估模型,从“技术有效”和“规模有效”两个方面对备选方案的有效性进行综合分析,得出各方案评估结果,为指挥员优选方案提供了科学准确的依据。与传统的方法相比,该方法不仅具有内在的客观性,避免了方案中投入和产出指标间的相互制约,而且易于实现计算机处理,有效保障指挥员在防空作战中快速准确选定作战方案。     

对美国“忠诚僚机”的思考及对策建议

用无人机担任僚机已成为战斗机编组作战领域技战术研究的新热点。本文通过跟踪美国“忠诚僚机”项目的试验进展,了解所用无人僚机和战斗机平台的性能及特点,把握长僚机编组作战对无人僚机的基本指标需求。在此基础上,结合美军分布式作战概念的演变、智能空战技术研究和现有装备改装趋势等因素,分析了“忠诚僚机”项目在推进空中分布式作战概念实用化、提高长僚机编组作战效能以及形成规模化无人僚机装备方面可能产生的影响。基于上述分析,得出无人僚机与有人战斗机编组作战是军队需要面对的新型作战样式这一结论,并结合国内空战理论研究、军用无人机制造能力以及反无人机装备的发展情况,给出整合资源发展优势无人机、以硬杀伤和软杀伤多种形式构建有效反制体系的对策建议。     

信息时代陆军谋求非对称优势作战的制胜机理探析

非对称作战优势是信息时代陆军作战谋求制胜的关键所在,对创新陆军作战理论和提高军种制胜能力有着至关重要的作用。其制胜的机理主要包括基于体系支撑,谋求非对称势差优势;基于信息主导,谋求非对称控制优势;基于联动释能,谋求非对称毁歼优势。     

军队院校人才培养质量保证体系运行研究

基于ISO9000族质量标准的军队院校人才培养质量保证体系,是提高军队院校人才培养质量的重要保证。军队院校人才培养质量保证体系的运行准备、运行机制、运行评价是军队院校人才培养质量保证体系高效运行的关键环节,也是军队院校人才培养质量保证体系发挥作用的重要依托。     

舰空导弹超视距协同反导装备体系结构设计方法

以网络化舰空导弹超视距协同反导作战装备发展需求为牵引,基于 DoDAF （ Department of Defense Architecture Framework）1?5体系结构框架,利用体系结构设计软件SA（ System Architect）,对协同反导作战装备体系结构进行了初步探索性和概念性设计,提出了体系结构框架裁减、作战视图设计、系统视图设计和体系结构评估等方法,对实现整个装备体系互连、互通、互操作,以及避免重复建设具有重要指导意义。     

基于信息技术的装备保障业务流程再造研究

将业务流程再造理论应用到装备保障领域,结合装备保障的相关概念进行研究。阐述了装备保障业务流程再造的本质,系统分析了业务流程再造和信息技术之间相互依存、相互促进的关系,在此基础上,提出了装备保障业务流程再造的要求和步骤,通过器材请领流程再造的实例进行了验证。