逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。     

鲁棒自适应雷达伺服系统

该文设计了一鲁棒自适应雷达伺服系统。所设计的自适应雷达伺服系统对于一类未建模型动态具有鲁棒性。针对雷达伺服系统中的摩擦扰动,引进了自适应摩擦补偿。仿真结果表明,同σ—修正法相比,具有更强的鲁棒性。     

论索绪尔语言理论的核心－－符号系统

费尔迪南·德·索绪尔是瑞士人,现代语言学的创始人。他的语言思想对当代的语言学、社会学、心理学以及美学产生了巨大的影响。本文以他的不朽之作《普通语言学教程》为指南,比较深入地探讨了索绪尔的语言理论,本文以两个关系,即能指与所指的关系和语言符号之间的关系为立足点,论述了任意性、相对可论证性、同一性和差别性、组合关系和联合关系等若干理论问题。     

侦察卫星将起双重作用

——美国的具有两种曾查和精密观测性能的空间飞行器的发射,并采用 新的一代技术—— 华盛顿消息,美国开始过渡到新的一代侦察卫星,它设计成能执行两种普查和精密观测任务,而以前是需耍分别使用两种不同的字宙飞行器。 这种新一代侦察卫星的第一个是由洛克希德公司研制的,并于1971年6月15日从西海岸靶场发射到近极的伍轨道上,试验仍在继续进行。 此卫星的非官方代号是“大鸟”(Big Brid),重约 8吨,大约是目前工作的型号重量的4—5倍。此卫星带有洛克希德公司改进的“阿吉纳”末级火箭,直径约3米,长度约15米,并使用美国空军/马丁、马利…     

关于ESA系统的研讨

对当今高档汽车上的点火提前系统ESA向读者作以介绍.ESA系统,其主体是由电脑主板与分布在发动机各部位的传感器构成.其工作原理类似于大脑通过神经网络采集信息,然后下达指令,是一个闭环可控可测系统.为便于理解,本文不采用较专业的公式与理论,旨在分析各部件的工作原理及结构特点.     

论市场经济条件下军工企业发展的战略调整

随着社会主义市场经济体制的建立与完善,我国军工企业必须实施发展的战略调整:摆脱依靠军工管理部门保护政策的习惯,逐步形成依靠国家产业政策的规范化机制,调整市场开发战略,由以往的一般技术开发向高技术开发转换;实施由价格竞争到非价格竞争的调整与转换。     

应用软件生成环境ASP的设计与实现

本文重点介绍了一个已实现的应用软件开发环境ASP,其特点是将一组应用软件工具集成到一个统一的框架中,从而支持DPS和MIS的原型开发。有关程序的描述是通过ASP描述语言完成,ASP提供对该语言的语法制导编辑、编译、链接生成和解释运行等操作,从而构成一个完整的第四代语言系统。     

第十集 走向21世纪

历史,由岁月的阶梯叠造。 世纪,由岁月的登跋联接。 大约5000年前.在东半球黄河和长江流经的广袤而古老的那片土地上,一个伟大的民族形成了。又过了几千年,人类才开始了公元纪年,以世纪来标志百年历史。     

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

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

生产力的本质和表现——兼论生产力和生产关系的关系

生产力的本质是人的劳动能力,也即是人的发展,它包括个人生产力及劳动协作中扩大了的社会生产力;机器的、科学的、自然的、资本的……生产力都是社会生产力、也即人的发展的不同方面、不同表现形式,生产力又可分为物质的和精神的两个基本方面.现实的生产力是由多种因素共同决定的一种整体的系统质与量,生产关系(协作的社会形式)是决定生产力的因素之一;而生产力决定生产关系的规律乃是整体决定部分的系统决定规律的表现.