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

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

3COM以太网的二次开发

3 COM 公司以太网是目前应用较广、评价较高的一种局部网络,但该网络没有汉字信息处理功能,站点之间的数据通信缺乏实时性。本文在详细分析以太网和初步实验的基础上,主要讨论了以太网二次开发的几个技术难题,指出了以太网络操作系统和网络系统软件汉化的几个关键点。在实现点对点实时通信时,采用网络板硬中断响应方式,利用并发进程调度算法基本解决了“第三方”插入问题。     

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

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

西文软件的汉化

随着计算机在我国的推广、应用,西文软件的汉化越来越具有重要的地位和意义。西文软件的汉化包含二个方面:1.操作系统的汉化,2.高层软件的汉化。本文就上述问题阐述西文软件汉化的思想、原则和方法。     

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

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

顺序PROLOG机存储组织研究

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

智能工具机系统结构

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

程序设计语言发展过程中应注意的问题

针对目前程序设计语言发展过程中出现的语言种类过杂、语言数量过多、语言结构过于复杂、语言间重复性大以及语言功能求全问题进行讨论,从语言功能分离、符号与内容分离及语言统一的角度初步提出了解决问题的途径,同时对程序设计语言的汉化问题做了简要讨论。     

文本处理实用程序VAXTPU的编辑功能及其汉化

VAXTPU 是美国 DEC 公司推出的一种高效能、可编程的文本处理实用程序,汉化后的 CTPU 为国内用户提供了方使灵活的、强化的汉字文本编辑工具。本文简要介绍了 VAXTPU 的基本组成与编辑功能特点,分析了 VAXTPU 汉化的基本目标和要求,概述了 VAXTPU 汉化的实现。     

当前财务管理中容易出现的问题及对策

加强财务管理,最大限度地提高经费使用效益,努力保障军队现代化建设和未来军事斗争的需要,是各级财务部门的长期战略任务。研究财务管理中容易出现的问题,并提出相应对策,对提高经费使用效益,实现保障有力具有重要的现实意义。一、财务管理中容易出现的问题从目前部队的财务管理现状看,主要容易出现以下几个方面的问题:     

一个报表生成器的原理与实现

本文介绍了一个基于数据库文件的报表生成器的原理与实现,该生成器具有两种制表机制,它不但能快速简单地生成二维格式通用报表,而且能生成任意格式报表、空表、固定表等,从而为用户提供了一个简便、实用、高效的制表软件开发工具.本生成器采用TURBO C语言在长城系列微机上实现,生成DBASEIII报表打印源程度。     

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

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

航空电子综合系统作战飞行程序的研究

本文研究了作战飞行程序的开发及开发环境的基本原理,并对开发环境的基本软件组成、硬件结构及其应用进行了讨论。     

在Vs．net集成环境下创建带卸载的安装程序

创建安装程序是一件很简单的事,Vs.net提供了创建安装程序的向导,开发人员能够轻松地创建一个便于用户使用的安装程序。而按向导创建的安装程序没有为用户提供相应的卸载程序或快捷方式,为用户带来许多不便。以示例的形式详细介绍如何在Vs.net集成环境下创建带卸载的安装程序。     

Transforming the Spanish military

The article analyses the Spanish military transformation. This process started in 2004 as a means to adapt the force structure, organization and capabilities of the Spanish military to meet present and future threats in compliance with NATO’s initiatives, thus ensuring the continuity of the equipment modernization, professionalization and the adjustment of the country’s defence architecture to the post-cold war environment. A decade later, although transformation is still a priority for the Ministry of Defence, limited political will, a lack of strategic guidance, poor resource management and the effects of the economic crisis are compromising its development. This article describes the Spanish military transformation and assesses its value in adapting the country’s armed forces to the current and prospective security environment.     

俄罗斯太空安全政策探析

后苏联时代的俄罗斯未能维持其在太空安全领域的优势,已不再是太空军事强国。本文首先梳理了俄罗斯太空安全政策的发展历程,其次,讨论了俄罗斯在太空安全治理和防止太空武器化方面的外交倡议,最后总结了俄罗斯太空安全政策的特征。本研究认为,自21世纪初起,俄罗斯逐渐开始复兴其太空军事力量,力图使其太空安全政策适应新的地缘政治格局,不仅积极调整其航天计划,对其航天工业体系、航天机构和航天资产进行简化、整合和现代化建设,还谋求“非对称”反制策略,并在联合国框架内积极开展“太空外交倡议”,以应对美国太空武器化所带来的威胁和挑战,同时推动禁止太空武器化进程。