基于MOSS和MFC的宇航任务周计划交互技术

以数控加工为主的生产车间为例,提出了一种基于MOSS和MFC的周计划交互技术。通过搭建项目网站和开发辅助应用程序等数字化技术,实现了周计划快速准确的编制、下达和反馈,构建了生产调度和操作者之间沟通的桥梁,使生产计划无纸化和透明化。     

决策表的逻辑表达式分析

用泛布尔代数系统作为逻辑工具,证明了条件属性完全决策表的两种逻辑表达式(蕴涵式和析取范式)是逻辑等价的,但是决策属性相容和不相容决策表的蕴涵式表达式有所不同。继而证明了不完全决策表在1型解释下,其析取范式表达式仍与完全决策表的析取范式表达式形式相同,但与其等价的蕴涵式表达式却比完全决策表的蕴涵式表达式多了一串乘积;而不完全决策表在2型解释下,其蕴涵式表达式仍与完全决策表的蕴涵式表达式形式相同,但与其等价的析取范式表达式却比完全决策表的析取范式表达式多了一串和式。     

有限语言下占先模型的赋值结构

占先语义是知识表示与推理中应用最广的语义结构，它有多种定义方式，其中以S.Kraus,D.Lehmann及M.Magidor提出的KLM占先结构最为著名。但是对KLM占先结构本身的模型论性质却缺少系统深入的研究。本文在有限语言框架下，对一般KLM占先模型的赋值结构性质进行了研究，给出了占先模型与其赋值结构逻辑等价的充分必要条件，证明了有限语言框加下，逻辑等价的单射模型在同构意义下的唯一性。这些结果说明，KLM赋值结构为证明有限语言下单可表示类后承的表示定理提供了一种充分的通用性方法。     

关于条件蕴涵的一个注记(英文)

非单调推理与条件蕴涵之间存在着紧密的联系 ,众多研究人员从不同角度对此进行了研究 ,其中 ,C.Boutili-er与 P.Lamarre证明了一些条件逻辑系统刻画的条件蕴涵可以作为非单调后承的对应物。本文基于 Friedman与Halpern提出的 PS(Plausibility space)概念 ,探讨了具有非单调特性的条件蕴涵的性质 ,刻画了可以充当非单调后承在对象语言层对应物的条件蕴涵的一般特征     

空间双机容错计算机系统研究

为在资源有限的条件下，最大限度地实现长寿命空间飞行器计算机系统的容错，同时又能达到所要求的性能，提出了一个模块化的双机容错设计方案。采用热冗余比较方式，软硬件组合实现系统的容错管理，可保证在某个资源或包含该资源的模块发生故障时，不会导致整个系统的失效，并具备模块级重构能力，从而实现系统的资源共享。不同冗余系统可靠性分析和有关测试结果表明，所设计的双机容错系统性能满足有关要求。     

中介关系数据库查询语言

给出了中介关系数据模型,在此基础上构造了两类不同的中介关系数据库查询语言,中介关系演算和中介关系代数,中介关系演算以中介谓词演算ＭＦ为基础,通过引入直值程度词〈对立否定词和模糊否定词～扩充了关系演算的表达能力,同样地,中介关系代数以中介集合论ＭＳ为基础,扩充了关系代数的功能,此外,证明了中介关系演算和中介关系代数的语言表达能力上的等价性,中介关系演算和中介关系代数可作为研究模糊数据库理论的工具。