结合逻辑和面向对象范例的一种新模型（SCKE)

逻辑语言和面向对象语言是两种引人注目的知识程序设计语言。如何结合它们各自的优点以支持复杂的知识处理,已成为许多研究者关注的问题。本文首先提出了结合逻辑和面向对象范例的一种新模型SCKE,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征和面向对象语言的结构化、信息隐藏、继承等性质。本文推广了逻辑语言的Herbrand解释,并由此探讨了SCKE模型的形式语义。文中讨论了实现该模型的基于预编译的元级扩充方法,并论述了SCKE模型的主要特点。     

刊为媒

我是山东惠民县姜楼乡的基干民兵,今年28岁。乡亲们都说,是《中国民兵》帮我致富,找了个好媳妇。《中国民兵》1991年第2期“群星灿烂”栏目刊登一篇《5只母鸡创家业》文章,我读后萌生了孵小鸡致富的念头,并决定试一下。我贷款2000元,按文章讲的“捣鼓”了起来,去年共出售小鸡5500多只,     

长期储存的密封包装弹药防潮管理研究

本文从理论上详细分析了影响密封包装弹药内部湿度的可能因素,提出了密封包装弹药在长期储存过程中应该采取的防潮管理措施及对策。     

一个基于面向对象模型的并行系统

为了开发分布式系统中的计算资源,我们设计了一个基于面向对象大粒度数据流模型的并行Ｃ＋＋系统ＯＯＣＰＣＳ．该系统的底层计算模型是面向对象范式和数据流模型的结合体。它将状态对象引入到数据流模型中,并且支持面向对象的特性。本文讨论了此模型在ＯＯＣＰＣＳ系统中的实现;并行化编译器;ＰＯＣ程序设计语言;面向对象网络文件Ｉ／Ｏ和虚拟ＯＯＬＧＤＦＭ机     

民兵支前要实现“三个转变”

为适应高技术条件下局部战争的新要求,民兵参战支前必须实现以下“三个转变”:一是民兵支前的成员要由数量型向质量型转变。平时要本着“调整精简,突出重点”的原则,缩小普通民兵规模,扩大技术民兵特别是高技术民兵队伍,同时加强教育训练,不断提高其技术含量。二是民兵支前的内容要由以物资支援为主向以技术支援为主转     

迈向21世纪的俄罗斯新型歼击教练机

近年来,俄罗斯在研制高技术、高性能作战飞机的同时,加紧研制能适应未来战斗机要求的21世纪歼击教练机,以满足航空兵部队作战训练的需要,同时,又能向国际市场销售。目前,俄已经研制成功 Yak-130和 MiG-AT 教练机,并被俄罗斯空军、防空军选中,预计21世纪前装备部队。     

贯标认证 立足扎实有效

我厂的质量体系认证准备工作,从1994年开始,到1997年获取质量体系认证证书,历时3年多。总的体会是:按照质量管理和质量保证系列标准建立和实施质量体系,虽然不是高不可攀的事,但也绝非易事,必须经过     

卫星网络组网关键技术

随着科学技术的发展,卫星网络在通信技术方面发挥的作用越来越重要,卫星网络组网关键技术的研究越来越受到学术界与工业界的重点关注.从卫星网络研究的背景与意义出发,比较了卫星网络包括同步卫星网络与低轨卫星网络的优缺点,详细介绍了几种典型的低轨卫星星座网络,分别从卫星切换、路由、卫星网络虚拟化三个方面分析了卫星网络组网的研究现...