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

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

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

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

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

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

TURBO PROLOG 2.0开发环境的汉化

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

《情报指挥控制系统与仿真技术》2001年1——12期总目录

! 第一期 .系统总体与·-l-sir,备机动式c,I系统的功能与系统结构…………………………………………………··五继石(1)新型攻击型潜艇C3I系统体系结构分析………………………………………··赵莲芳(10)分布式C,I系统中的协同··…………”……………………………………··周建国 李政(23) 数学模蚕已与软件可解性、可观测性及其它....·……………………………………………·董志荣(26)自调整交互多模型…………………………………………………··张永胜嵇成新编译(29)结构弯曲对精确跟踪的影响………………………………………………     

C—d BABEⅢ使用小经验

本人在IBM—PC/XT及其兼容机上使用C—dBASEⅢ时发现以下两个问题,一些参考书上没有说明,虽无技巧可言,但搞清楚可以方便使用者。 1.C—d BASEⅢ中提供的“@〈行,列〉[SAY〈表达式〉PICTURE〈子句〉]··”命令,是较强的屏幕显示、表格打印格式设计命令。但是在设计屏幕显示时,因为在低分辨率显示器的汉字操作系统中,C—d BASEⅢ的行坐标是0—9,最多显示10行,因第0行又被C—d BASEⅢ内部做提示行,一般不能用,所以如需要在屏幕上按指定行、列坐标格式显     

《火控技术》一九八二年总目录

题目期数火控原理与火控总体 解命中问题系统的状态空间分析(续)一关于解命中问题系统的稳定性分析···……1982一1 利用平面系数法克服系统谐振···························……1982一1 “射瞄一7”计算陀螺非线性探讨····················.……1982一1 大闭环火控系统·········……1982一2 追赶协调法—一种迅速完成协调跟踪的轰炸瞄准方法·························,·,··……1982一2 角速度袭炸系统·········……1982一2 论隐蔽攻击4·…     

国防科技大学学报总目录(1989年)

Vol.ll No.编译型rROLOG系统的若千优化实现技术············································…….张晨曦(l)数据沉模型机吕D吕一1约实现·····················································……吴涛李勇(8)知识库系统及关系知识库机系统结构的研究······························……王志英慈云桂(17)一种顺序卫ROLOG机系统结构的研究··························…     

单片微型计算机的高级语言开发技术(三)

4 目标程序块的连接用 PL/M 语言编写的应用程序,可以由一个模块或者多个模块组成,通过编辑程序PLM96·EXE(或 PLM51.EXE)生成与每个源程序模块对应的目标模块,下一步工作,就是把这些独立的目标模块连接起来,并重新定位,生成一个能在 MCS-96(或 MCS-51)环境中运行的模块。这个工作称为目标程序块的连接。目标程序块的连接,采用连接程序 RL96·EXE(或 RL51·EXE)。连接定位程序 RL     

《军事历史研究》1992年总目录

(题后所注数字,前者为期数,后者为页数) ·毛泽东军事思想研究·关于新时期坚持和发展毛泽东军事思想的几个问题··················……尚金锁(1.1一6)毛泽东军队管理教育理论是新时期部队管理工作的基本指导思想···……刘顺尧聂德广王进奇0.7一12)毛泽东军事思想与老一辈无产阶级军事家军事理论研究综述····一张家裕(乌.1,12)毛泽东积极防御战略思想与我国,“近海防御”的海军战略··…,...张晓林(2.13一19)论毛泽东人民战争思想的胜利与发展......·.·········……,·……“张国清(3.1一9)毛泽东军事…     

顺序PROLOG机存储组织研究

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

从属连词引导条件状语从句细说

在英语中,复合句是大量出现的语言现象,从句种类之多,表达形式各具特点.其中,本文列举了属连词引导条件状语从句一直是英语学习中的重点之一.从不同从属连词引导的条件从句,对从属关联词的词性、词义、主从句的时态、搭配、词序、辨义、译法以详尽说明,目的在于更好地理解和应用英语的复合句.     

逻辑程序并行执行模型及其体系结构的研究

一、引言1.1 研究目标、方式和结果目标:并行推理机系统结构。方式:自顶向下。     

Client/Server 模式的智能语言集成框架

将ＡＩ技术集成到主流信息技术之中是提高信息系统智能化水平的一项十分重要的基础性工作。本文讨论一种Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ计算环境（简称ＣＳＥ）,它将Ｐｒｏｌｏｇ系统和Ｃｌｉｐｓ系统作为两种特殊的数据服务系统集成其中。ＣＳＥ支持客户应用使用确定的ＡＰＩ,以规范的Ｐｒｏｌｏｇ语言（或Ｃｌｉｐｓ语言）形式请求Ｐｒｏｌｏｇ服务器（或Ｃｌｉｐｓ服务器）提供问题求解服务。文章阐述了这一设计的合理性,讨论了ＣＳＥ的体系结构和实现技术,说明了与特殊数据服务无关的通信机制、ＡＩ语言服务器的挂接技术以及ＣＳＥ应用。     

混编防空导弹火力群目标分配模型仿真

针对混合配置和部属不同类型的防空导弹武器构成全空域的防空系统中多目标的优化分配问题,介绍了混编防空导弹系统的关键要素和武器系统目标分配方法的现状,研究了防空自动化指挥系统中作战单元的的目标分配的原则、要素和约束条件,根据实际的防空导弹的数据处理特点,设计了一种实用可行的目标分配优化算法,并用VB进行了模型的作战仿真。     

AMENDMENT TO THE AFRICAN UNION'S RIGHT TO INTERVENE

Heads of State and Government passed the first amendments to the Constitutive Act of the African Union within seven months of the launch of the organization. This article provides a legal analysis of the broadening of Article 4(h) of the Act, the right of intervention, to prevent a “serious threat to legitimate order”. It argues that this clause is inconsistent with the other grounds for intervention, which aim to protect African peoples from grave violations of human rights when their governments are unable or unwilling to do so. The amendment, by contrast, aims to uphold state security, rather than human security. The context in which this and other amendments were adapted from proposals by Libya in Durban 2002 is considered in terms of political implications for the African Union.