Prolog是答案,问题是什么?

作为第五代机计划的关键,知识程序设计要求一些特殊的工具以帮助人们用计算机表示和处理知识。Pro1og系统提供了一部分这类工具。本文提出了一些问题,用以说明逻辑程序设计应该与面向函数,面向对象、面向规则和面向存取的程序设计范例结合起来,以方便知识程序设计的任务。本文的第二个目的是将这些程序设计范例如何彼此进行综合并综合到一种灵活的、便于用户使用的计算环境中。这样的环境应该提供以下几个功能:源级的调试和监控设施、协调分析和实现的工具以及一个扩展的用户通信程序集。     

不知不觉回到过去——古典女内衣的新魅力

1986年,在印弟安那州博物馆展出了E·茹泽威尔特设计的女式长衬裙,同时展出的还有美国早期妇女穿著的古典女内衣。无疑,这是许多参观展览的年轻人第一次目睹真正的女内衣——花边装饰的绚丽丝绸,白色的绣花裙边。在女装男性化的八十年代,女内衣逐渐不值一提,甚至也趋于男性化。但是,随着1987年春季外装复古趋势,内衣又开始     

崩落矿岩放矿特性的物理模拟

本文由导言、试验方法、单一放矿口的试验结果、多放矿口相互影响的放出试验结果、试验结果与崩落放矿的关系、结论等章节组成。文中较详细地讨论了模型试验方法、试验材料选择、所加外载荷的选择、有效数据的分析和处理、极限椭圆(即松动椭     

中等直径炮孔中炸药的爆炸特性

南非各采石场普遍采用直径为64毫米和80毫米的两种炮孔,使用的炸药为散装铵油炸药和包装代拿买特和浆状炸药。目前的法规要求是,露天矿超过3米的炮孔,要敷设导爆索。因此,中等直径的药包大多数都是侧面起爆。借助64毫米和80毫米两种直径的双钢管,试验研究了炸药在钢管中的爆炸特性。上部管为壁厚约3毫米的低碳钢蒸汽管。选     

SCO Management System Certification Research Class Opens in Beijing

The Shanghai Cooperation Organization (SCO) Management System Certification Research Class formally opened in Beijing on September 6, 2007. The research class was attended by government officials and experts in the fields of industry, commerce,environmental protection,statistics, standardization,metrology, detection and certification from Kazakhstan, Kyrgyzstan, Uzbekistan and Tajikistan.     

化学清洗对蒸汽发生器管性能的影响

对蒸汽发生器的新管、化学清洗过的管和积垢管进行沸腾试验，以确定各种管子的传热性能。试验发现：积垢管的传热性能最好，其次是化学清洗过的管，新管的传热性能最差。对沸腾表面进行了扫描电子显微（SEM）照片拍摄，以识别三种管子表面特征的差异。结果显示，积垢管表面显示存在大量多孔污物沉淀，为沸腾提供了充足的结晶点。化学清洗去除大部分沉淀物，因此清洗表面的沸腾传热性能有所降低。而SEM照片证实，新管的表面非常平滑，结晶点也相对较少。在给定的壁面过热值的情况下，采用可用关系式对热流密度进行了估算，并与试验数据进行了比较。     

SONY Clie PEG—NX70V初试

Clie PEG-NX70V是SONY因应微软Pocket PC 2002打压而推出的采用Palm5操作系统的新款PDA,属于Palm友非常熟悉的NR系列产品的改进型,可支持无线扩插、数码相机、数码录音和MPEG4录放等丰富功能。磨砂设计的外壳非常不错,手感比NR70V好,但比NR70V稍沉,3.8M″TFT屏幕可进行180°旋转。背后附加CF插槽的好处就是一些CF插件可以随意搭配,不再受MS插件限制。     

Effect of Mineral on Metallurgical Coke Solution Loss Reaction in Blast Furnace

Thecokesolutionlossreactionisoneofthemostimportanteffectsresultingincokepulverizinginblastfurnace .Thefactorswhichaffectreactionincludecokeporestructure ,micro crystalstructureonporewall ,thecontentandconstituentofminer als ,etc .Amongthesefactors ,theconstituentofmineralsisemphasizedallovertheworldinrecentyears .Buttheemphasisofmoststudieswasputontheeffectofalkalimetals (K ,Na)oncokesolutionlossreactionandtheeffectofotherelementswassel domreported[1-5] .Theeffectofthirteenmineralsoncokesolut…     

优化生产 提升品质/一锅法工艺探讨

Ross Enterprise是一套100％基于浏览器架构的企业资源规划解决方案．专注于食品、饮料、化工、生命科学（制药）等流程制造行业。在流程工业领域有着20多年的应用实践经验．积累了丰富的成功案例。Ross Enterprise将流程行业特点完全融入于系统的财务、生产制造、供应链、客户关系管理、绩效管理和行业规范管理等一系列应用模块中．具有深厚的行业适用性和快速的实施周期的特点．帮助企业从系统应用中尽快收益。[编者按]