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

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

智能工具机系统结构

本文提出了一种面向PROLOG 的计算机系统,它采用传统计算机做为主机,后端机采用通用OPU 芯片和支持PROLOG 高速执行的专用硬件。该系统结构简单,性能高。性能模拟表明,该系统具有500KLPS 的逻辑推理速度和17MPS 的数值计算速度。     

顺序PROLOG机存储组织研究

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

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

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

C~3I仿真演示系统的分析与设计

本文以现代战争的需要为出发点,详细分析了C~3I系统的特点和C~3I系统仿真技术及系统试验床技术,探讨了交互分布式的C~3I仿真系统的理论,并在这些理论和技术的基础上,提出了一个C~3I系统的仿真系统的总体方案,并详细地论述了仿真系统的结构,运行的软件、硬件环境和应用软件的设置,而且基于“面向对象”的观点,综合Petri网建模技术,探讨了仿真系统建模的实现过程。     

C^3I仿真演示系统的分析与设计

本文以现代战争的需要为出发点,详细分析了Ｃ＾３Ｉ系统的特点和Ｃ＾３Ｉ系统仿真技术及系统试验床技术,探讨了交互分布式的Ｃ＾３Ｉ仿真系统的理论,并在这些理论和技术的基础上,提出了一个Ｃ＾３Ｉ系统的仿真系统的总体方案,并详细地论述了仿真系统的结构,运行的软件、硬件环境和应用软件的设置,而且基于“面向对象”的观点,综合Ｐｅｔｒｉ网建模技术,探讨了仿具系统建模的实现过程。     

数据采集系统中的计算机共享存贮技术

本文介绍在AST386微型计算机上实现数据采集系统中的计算机共享存贮技术,详细分析数据采集系统中的计算机共享存贮技术的硬件实现过程.     

无线寻呼系统及其编码软件设计

本文主要介绍无线寻呼系统的硬件结构、软件实现的技术方法及基本功能.     

TURBO PROLOG 2.0开发环境的汉化

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

基于USB技术的温度采集系统的设计与实现

介绍了一种基于USB技术的温度采集系统的设计方案及实现方法，该系统综合运用了USB技术、单片机技术以及数据采集技术，整个设计由温度采集模块、数据传输模块、PC机应用程序3部分组成。阐述了系统硬件设计中温度采集模块和数据传输模块的组成结构及硬件的实现方法；对系统软件设计中的设计思想及编程方法进行了详细分析，并给出了USB固件编程和驱动程序的开发工具及流程。该系统实现了通过USB总线对温度采集设备的数据采集与控制。实验表明该系统具有高速、实时、性价比高等特点。     

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

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

基于FPGA的BOC调制信号捕获处理器设计

通过对BOC调制信号的相关特性进行分析,结合带通欠采样技术,提出了一种BOC调制信号的直接捕获方法,并进行基于FPGA的BOC调制信号捕获处理器的设计与实现.仿真结果表明,基于FPGA的BOC调制信号捕获处理器实现了对BOC信号的正确捕获,为BOC信号接收机的研制提供了技术基础.     

数字交流全电炮控系统研究

通过对比分析国内外坦克炮控系统技术，提出炮控系统技术发展方向，并提出数字交流全电炮控技术控制方案，即一种基于以数字信号处理器（ＤＳＰ）为主控芯片的永磁同步电机双环控制系统，控制方法采用正弦波脉冲宽度调制（ＳＰＷＭ）的控制方案。文中还就一些关键技术，如双模双环控制技术、变参数寻优控制方法、非线性反馈和非线性给定等进行了研究分析。     

一种导引头信号处理器通用硬件平台方案

导引头信号处理器是导引头的核心装置,随着技术的迅速进步,信号处理器的功能也越来越复杂。如何缩短信号处理器的开发周期、降低开发成本,对于信号处理器的设计师来说是非常重要的。提取了不同型号、不同体制导引头对信号处理要求的共同特征,提出了一种导引头信号处理器通用硬件平台方案。在新产品模样开发阶段,可以在这种硬件平台上进行系统验证和软件开发;基于面向对象的概念,在试样设计阶段可以继承通用平台中的部分或全部属性,快速构建适合于新产品电气性能和结构要求的硬件平台。     

反导指控系统处理器与操作系统选用研究

反导火力单元指控系统对计算机性能的要求很高,以往单核心串行处理的模式已经不能满足其数据处理速度要求。因此,针对反导新的需求,对反导火力单元指控系统处理器与操作系统的选用进行了研究,通过对仿真试验结果数据的分析,给出了选用建议。     

稳像式火控系统实车训练装置的研制

该训练装置可以在安装稳像式火控系统的坦克上完成射击基础练习的训练与考核.它以单片机为核心,在射击操作与实车相同的条件下,具有自动检靶,自动记录发射数、命中数,自动变换目标,自动报警,自动评定和显示成绩等功能.射手可独自在坦克内操作,自行开始练习,自我检查操作结果.