一种高性能的医学专家系统开发工具KBGML语言

介绍ＫＢＧＭＬ语言的设计思想，它包括ＫＢＧＭＬ各语句功能和格式的设计，特别是知识处理语句的设计，ＫＢＧＭＬ的解释系统的结构和工作原理的设计以及应用实例等。ＫＢＧＭＬ语言以知识处理为核心，具有第四代语言的特征，它有很强的知识处理能力，能自动构造和管理知识库。它具有较高的软件设计水平，能满足不同水平用户的需要，它还具有自然性、灵活性和领域通用性。ＫＢＧＭＬ语言是知识工程、语言编译和数据库管理等技术的集成体，它是一个在理论上和实用上很有研究价值的课题。     

星机长有话说之空中颠簸

谈到颠簸,先解释一个问题～为啥飞机能够飞翔?简而言之,就是迎面而来的气流流过飞机独特的外形,使飞机所受的力在空间各个方向取得一个平衡。     

观察宇宙现象

很久以前，我们的祖先是通过肉眼观察遥远星星的方位变化来认知宇宙，世界上最早用科学和数学解释自然的是古希腊人，他们曾用星体的映射关系，测量出地球的尺寸是如此惊人地准确。     

神秘的“寂静之地”

在墨西哥北部杜兰戈州的木马皮米盆地国家生态保护区里,有一块神秘的"寂静之地"。"寂静之地"位于北纬27°,与百慕大魔鬼三角和埃及金字塔处于同一纬度。不过,这似乎并不能诠释它的神秘,但这里出现的一些奇怪现象至今仍无法解释:电磁波到了这里便消     

和睦相处等于不说真话吗

在这次飞沈阳前的飞行例会上,小洋见到了我们的新乘务长。她个头不算很高,金色的头发盘了起来,戴着小制服帽子,大大的眼睛。丰腴的身材……开会时她向全体机组人员提了一个问题,在飞机上工作时,最重要的是什么?德国同事们都七嘴八舌地回答:及时沟通最重要……面带微笑最重要……     

一个一阶逻辑公理系统独立性的证明

独立性是公理系统的重要性质之一。给出了一个一阶逻辑的公理系统，采用语义解释和公式变换的方法，证明了它的独立性。     

爱与性的实验报告

《爱与性的实验报告》小庄把爱情放进实验室,会出现什么结果?让科学家当你的闺蜜,会发生什么样的变化?听多了那些泛泛的情感建议,又不想看那些枯燥的理论分析,那么可以来听听松鼠会最有文艺气质的科学女青年——小庄怎么说,一起聊一聊她和她女朋友们的故事。这群人化身为小说人物,轻松而又有趣地解读着,关于爱与性的那些科学实验报告。     

大飞机发动机自主研制影响因素分析

研制拥有自主知识产权的大飞机是国家的既定战略,发动机是大飞机的心脏,发动机的自主研制关系到具有自主知识产权大飞机的实现。通过对飞机企业、发动机企业的调查和相关文献的搜集,找出大飞机发动机自主研制的影响因素,利用解释结构模型法建立发动机自主研制影响因素的解释结构模型,再利用层次分析法计算出各个影响因素的权重,在此基础上分析了各因素的重要作用,并提出了提高这些制约因素的对策。     

军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

一个具有双层推理模型的医学专家系统

介绍一个成功的、具有双层推理模型的医学专家系统及其双层模型的构造、因果关系模型深层知识的获取、推理策略以及解释功能的设计技术。双层推理模型是经验推理和致因分析深层推理相结合的联合推理模型，它克服了第一代专家系统经验推理的局限性和脆弱性以及求解策略的单一性，增强了系统求解能力，提高了系统解释功能的深度，它是第二代专家系统设计技术的一次成功的研究和探索。最后给出了具有双层推理模型的医学专家系统运行时的一个诊断实例。