面向符号对象模型的版本管理系统设计方法

复杂对象版本管理,即为DBMS提供一个定义、描述和操作同一对象的多个表示或一致性状态、能支持工程设计反复性和试探性过程的控制机制是工程数据库研究方面的一个重要的课题。本文首先给出了版本化的复杂列象模型的语义说明和形式化定义,接着引入VCOHOR符号对象模型的概念,最后讨论了工程数据库管理系统(DATFEA)的对象标识器和版本服务器的设计和实现等问题。     

基于对象模型的全腕式电动假肢的控制和诊断专家系统

我们研制了一个基于对象模型的全腕式电动假肢专家系统。在该系统里，我们通过对假肢进行模型化建立了假肢对象的知识库，并根据控制目标和故障诊断目的设计了推理程序，因此，系统能控制假肢各个关节协调动作，使完成目标作业，并能诊断出假肢的故障。本文介绍对象模型的概念，有关假肢对象模型的阶层构造，知识表示方法，知识库的建立方法以及控制和诊断假肢的推理。     

井矿盐水溶开采实时故障诊断专家系统的建立

本文介绍了在岩盐水溶开采实时故障诊断专家系统建立过程中，应用符号处理和人工神经网络相结合的方法，对故障概念知识的表达以及诊断模型的确立。该系统已在四川长山盐矿初步运用并取得满意效果，增加了井盐开采过程中故障判断的及时性和准确性，延长了卤井生产安全期，提高了经济效益。     

工程设计数据库管理中版本模型的研究

版本管理是工程数据库管理中的重要部分,也是保证设计数据一致的手段。文中提出了设计对象的概念,以设计对象为基础组织和描述完整的产品设计信息,建立了设计对象之间的组合联系、等价联系以及版本联系,提出了设计对象的层次模型表示方法。针对工程数据管理的特点建立了其版本机制,提出了设计对版本历史、对象版本之间的联系等概念,研究了设计对象的版本操作－检入／检出、当前版本的选择以及版本的动态配置等主要内容。     

数据库对象和型的广义结构模型：第一部分：对象结构的数学模型

本文提出关于复杂对象模拟的形式化理论.文中给出对象和型的广义数据模型以及型的重构定义,并将其概念从数据组织扩展到对象演算;讨论广义对象代数;提出符号对象模型以统一面向对象数据库系统对于对象的标识、管理和操作,以至于由多层次对象演算到一阶逻辑的映射.这一工作将为有关复杂对象的数学模型、操作代数和演绎推理的各种概念和方法构成具有连贯性和一致性的统一理论体系奠定了一定的基础.     

软件企业知识管理的思考

首先介绍了知识管理和组织学习的概念，从它们在软件过程改进中的应用－能力成熟度模型开始，对知识与知识技术和软件知识技术进行了述评，包括知识转换模型，知识与知识技术，软件工程知识体系，对象技术等，指出了中国软件企业面临的挑战，最后，举例说明软件企业如何进行知识管理。     

产品数据管理中的工程变更管理的建模与实现

建立在产品数据管理系统基础上的工程变更管理是指管理处于预发布和发布生命周期状态的产品数据。本文在Windchill的基础上建立了面向对象的工程变更管理模型，实现了基于产品数据之间关联关系的配套更改检查，提出了变更对象间的同步机制，并给出了在某大型制造企业的应用实例。     

工程专家系统中多种知识表示的一种集成方法及其实现

在分析现有知识表示方法的基础上，本文结合工程领域知识的特点，提出了一种集成知识表示方法。利用列表概念描述，概念层次和属性约束等要素，能有效地表示列法、框架、村、规则等形式的知识，从而较好地处理了工程领域专家系统中多种知脚注是的转换问题。     

面向内容的工程图识别与理解综述

对工程图识别与理解研究现状进行深入和系统的综述。工程图识别与理解 的核心在于利用知识表示、图形匹配、符号识别、几何推理、语义提取等技术,自动获取工 程图中各种显式描述（如几何图元、工程符号、工程对象等）及隐式信息（如设计语义等）。 分别对工程图矢量化、工程符号识别及工程对象识别进行了系统分析。在此基础上对工程图 识别性能评测、基准库等进行总结。最后对现有研究的难点及进一步研究方向进行了展望。     

面向智能设计的知识描述形式

本文针对智能设计发展的需要，从认识角度，将知识定义的为人类对于客观事物的规律性认识，阐述了它与数据，信息概念之间的联系和区别。对知识的多种描述形式给予了分析说明，特别是对面向智能设计的三种知识主要描述形式－数学模型，符号模型，人工神经网络逐一进行了研究探讨。     

Hybrid

Combining higher-order abstract syntax and (co)-induction in a logical framework is well known to be problematic. We describe the theory and the practice of a tool called Hybrid, within Isabelle/HOL and Coq, which aims to address many of these difficulties. It allows object logics to be represented using higher-order abstract syntax, and reasoned about using tactical theorem proving and principles of (co)induction. Moreover, it is definitional, which guarantees consistency within a classical type theory. The idea is to have a de Bruijn representation of λ-terms providing a definitional layer that allows the user to represent object languages using higher-order abstract syntax, while offering tools for reasoning about them at the higher level. In this paper we describe how to use Hybrid in a multi-level reasoning fashion, similar in spirit to other systems such as Twelf and Abella. By explicitly referencing provability in a middle layer called a specification logic, we solve the problem of reasoning by (co)induction in the presence of non-stratifiable hypothetical judgments, which allow very elegant and succinct specifications of object logic inference rules. We first demonstrate the method on a simple example, formally proving type soundness (subject reduction) for a fragment of a pure functional language, using a minimal intuitionistic logic as the specification logic. We then prove an analogous result for a continuation-machine presentation of the operational semantics of the same language, encoded this time in an ordered linear logic that serves as the specification layer. This example demonstrates the ease with which we can incorporate new specification logics, and also illustrates a significantly more complex object logic whose encoding is elegantly expressed using features of the new specification logic.     

Mechanizing CSP trace theory in higher order logic

How a mechanized tool for reasoning about CSP (communicating sequential processes) can be developed by customizing an existing general-purpose theorem prover based on higher-order logic is described. How the trace semantics of CSP operators can be mechanized in higher-order logic is investigated, and how the laws associated with these operators can be proved from their semantic definitions is shown. The resulting system is one in which natural-deduction style proofs can be conducted using the standard CSP laws     

基于描述逻辑的模糊ER模型

分析了描述逻辑ALNUI与ER模型的关系,特别是如何将ER模型转化为ALNUI的知识库,从而利用ALNUI的推理机制对ER模型进行自动推理的有效性,在此基础上,进一步研究了基于描述逻辑的模糊ER模型.针对模糊ER模型的特点和需求,在描述逻辑ALNUI的基础上,对描述逻辑ALNUI进行了模糊化推广,提出了一种新的描述逻辑,即模糊描述逻辑FALNUI.研究了基于FALNUI的模糊ER模型,即研究了如何将模糊ER模型转化为FALNUI的知识库,并利用FALNUI的推理机制研究了模糊ER模型的可满足性、冗余性和包含关系等自动推理问题,证明了这些推理问题的正确性.     

模糊描述逻辑FALNUI的tableaux推理

分析了模糊描述逻辑FALNUI与模糊ER模型的关系,即模糊ER模型可以转化为FALNUI的知识库,并且模糊ER模型的可满足性、冗余性和包含关系等推理问题可以转化为FALNUI的包含推理问题,但FALNUI缺乏相应的推理算法.提出了一种基于描述逻辑tableaux的FALNUI的可满足性推理算法,证明了该推理算法的正确性,以及提出了FALNUI的Tbox扩展和去除方法,证明了FALNUI的包含推理问题可以转化为可满足性推理问题,并给出了FALNUI的包含推理算法.FALNUI的tableaux推理算法为模糊ER模型的可满足性、冗余性和包含关系等自动推理的实现提供了理论基础.     

Embedding and automating conditional logics in classical higher-order logic

A sound and complete embedding of conditional logics into classical higher-order logic is presented. This embedding enables the application of off-the-shelf higher-order automated theorem provers and model finders for reasoning within and about conditional logics.     

Fuzzy concepts in an object oriented expert system shell

Fuzzy logic is one of the methods to model the vagueness and imprecision of human knowledge. Some rule-based expert system shells have been successfully developed and have demonstrated the power of fuzzy logic in dealing with inexact reasoning and rule inferences. However, using rules for knowledge representation is not structured enough. In addition, knowledge cannot be easily represented in an abstracted (hierarchical) from. In this article the introduction of fuzzy concepts into object oriented knowledge representation (OOKR), which is a structured knowledge representation scheme, is presented. A framework for handling all the possible fuzzy concepts in OOKR at both the dynamic and static levels is proposed. In order to handle the inheritance mechanism and to model the relations among classes, instances, and attributes, some new fuzzy concepts and operations are introduced. These concepts and operations are developed from the semantic meaning rather than by an ad hoc approach. A prototype of the expert system shell. System FX-I, has been successfully developed based on the above framework, showing the feasibility of handling inexact knowledge in a structural way.     

A semantic knowledge management system for laminated composites

The engineering of laminated composite structures is a complex task for design engineers and manufacturers, requiring significant management of manufacturing process and materials information. Ontologies are becoming increasingly commonplace for semantically representing knowledge in a formal manner that facilitates sharing of rich information between people and applications. Moreover, ontologies can support first-order logic and reasoning by rule engines that enhance automation. To support the engineering of laminated composite structures, this work developed a novel Semantic LAminated Composites Knowledge management System (SLACKS) that is based on a suite of ontologies for laminated composites materials and design for manufacturing (DFM) and their integration into a previously developed engineering design framework. By leveraging information from CAD/FEA tools and materials data from online public databases, SLACKS uniquely enables software tools and people to interoperate, to improve communication and automate reasoning during the design process. With SLACKS, this paper shows the power of integrating relevant domains of the product life cycle, such as design, analysis, manufacturing and materials selection through the engineering case study of a wind turbine blade. The integration reveals a usable product-life-cycle knowledge tool that can facilitate efficient knowledge creation, retrieval and reuse from design inception to manufacturing of the product.     

基于动态描述逻辑DDL的动作理论

基于一阶谓词逻辑或高阶逻辑的动作理论与采用命题语言的动作理论之间存在一个关于描述和推理能力的鸿沟;作为描述逻辑的动态扩展,动态描述逻辑DDL为基于描述逻辑的动作刻画和推理提供了一种途径.系统地研究了基于DDL的动作表示和推理问题.首先,在应用描述逻辑对静态领域知识进行刻画的基础上,引入带参数的原子动作定义式和带参数的复...     

基于描述逻辑的OntoUML模型的推理研究

作为语义网的逻辑基础,描述逻辑在知识表示与知识推理方面发挥着重要作用。基于描述逻辑的推理系统保证了其推理的合理性和有效性。本文概要介绍基于UFO本体的OntoUML,并探讨OntoUML模型到描述逻辑的形式化表示及推理方法。