基于L~*系统的一种非单调推理系统

研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L ,在L 系统中定义了后承关系｜～:A｜～B当且仅当A2├B,证明了在L 系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这种后承关系不满足单调推理系统M的逆否律规则,从而在L 系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统.这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路.     

非单调推理与论辩系统

由于仅以一阶逻辑无法刻画出人类推理过程中的非单调性,因而逻辑学家尝试建立新的逻辑系统来解决这一问题。这些系统被称为非单调逻辑。它们传统上一般采用的是优先蕴含或者一致性和不可证明性方法;而从20世纪80年代末90年代初开始,越来越多的逻辑学家开始尝试基于一种新的方法实现推理的非单调性,称为论辩理论。为此,探讨论辩系统以及其后基于论辩系统而提出的论辩框架是如何刻画非单调推理的,并分析它们相互之间的联系。     

结合优先有和可信度的非单调真值维护系统

不精确推理和非单调推理是人工智能中两个重要的研究方向。分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ＡＴＭＳ,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法,它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性。     

结合优先级和可信度的非单调真值维护系统

不精确推理和非单调推理是人工智能中两个重要的研究方面．分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ＡＴＭＳ,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法．它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性．     

带优先级的基于论据的非单调逻辑

分析了常规非单调逻辑的局限性，通过介绍带优先级的非单调逻辑和累积缺省逻辑，指出非单调逻辑不仅需引入优先级而且须基于论据．提出了带优先级的基于论据的非单调逻辑，从而能更有效地处理非单调推理．     

L^＊系统中的模糊演绎定理的改进形式

研究了模糊命题演算的形式演绎系统L^*，对其中的演绎定理进行了详细讨论，得到了在一定条件下的L^*系统中的演绎定理：设A，B∈F(S)，若|-(q→p∨p)∨q→A，Γ包含于F(S)，则|-A→B当且仅当rU{A}|-B，将L^*系统中的模糊演绎定理进行了改进，进一步说明了L^*系统所具有的良好性质．同时，在本文定理的证明中进一步体现了L^*系统中的公理L10在模糊命题演算形式演绎系统中的作用，为模糊命题演算的形式演绎系统的研究，特别是L10的应用研究提供了一种新的思路和方法。     

解释非单调推理

本书是《逻辑进展丛书》的第4卷。在非单调和常识推理领域中的许多方法实际上是对相同基本概念与结构的不同表示。正如本书作者于2001年出版的前一本书那样，这本研究论文试图系统地回答“什么是非单调推理？”这个问题，它是对作者前一本书的补充，给出了非单调推理原始方法的逻辑形式化。非单调推理包括默认逻辑、自认识和模态、非单调逻辑以及编程。作者把这种方法称为解释非单调逻辑，这是因为解释的概念可以被看作为这些非单调形式方法背后的最终以及统一的基础。     

模糊缺省推理的理论和方法研究

在一种含有补余律的模糊抽象代数系统（即ＦｕｚｚｙＢｏｏｌｅ代数）上，利用模糊逻辑公式与布尔函数的相互转换性，构造了具有模糊非单调推理能力的推理机制；从可应用性出发对模糊缺省规则进行了深入的讨论。该推理机制不仅增加了在量的描述方面的知识表达能力，而且在一定程度上解决了扩张存在性问题，提高了推理的效率。     

一种不一致本体的可废止推理系统

利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.     

广义Hamilton系统与梯度系统

广义Hamilton系统-9梯度系统是两类不同的重要动力学系统．本文研究这两类系统的关系．首先,给出广义Hamilton系统,它是Hamilton系统的一种推广,而Birkhoff系统在一定条件下可成为广义Hamilton系统;其次,研究梯度系统及其意义;最后,研究两类系统的关系,并举例说明结果的应用．     

Musepower系统的不足及Gdlis系统解决方案

对两种图书馆文献集成管理系统Musepower与Gdlis系统功能进行了分析,重点就客户端操作系统进行比较,针对Musepower系统在实际利用过程中存在的问题及利用Gdlis系统提出解决方案。     

基于对象存储系统的对象文件系统设计

基于对象文件系统是建立在对象存储系统上的一种应用，它利用对象的特点对数据进行存储和管理．基于对象文件系统由客户端、元数据服务器和基于对象存储设备组成，通过对系统的各部分进行分析，设计并实现了基于对象文件系统．通过对不同文件大小、不同文件分块大小条件下文件系统的性能进行测试分析，找出系统的数据传输瓶颈，使用以对象属性为导向的缓存和预取技术以及聚合读写的方法对文件系统进行了优化．优化后读写吞吐率分别提高了60Mbyte／s和40Mbyte／s。     

一种对文件系统透明的网络存储系统

提出了一种基于TCP／IP协议的对文件系统透明的网络存储系统．其透明性体现在两个方面：a．对用户透明，用户象访问本地磁盘一样访问远程网络存储空间；b．文件系统对存储服务器透明，存储服务器只针对数据块进行处理，从而减轻了用户和服务器的存储管理负担．在实现单用户对多存储空间、多用户对同一存储空间技术的基础上，系统具有数据备份、共享存储的基本功能，为实现复杂的网络存储提供了一个开发平台。     

梁桥结构损伤系统识别

基于梁桥的静态试验数据,采用系统识别原理,提出了一种梁桥结构损伤的识别方法。结合一五跨连续梁桥结构,进行了数值分析,取得了满意的识别结果,表明该方法具有较好的收敛性和可靠性。     

基于嵌入式系统的家庭病床远程医疗服务系统

提出了一个由ARM系列微处理器S3C44B0X与MC35 GPRS模块构成的家庭病床远程医疗系统.介绍了S3C44B0X及MC35的性能特点、系统的组成原理,以及主要外围接口电路的设计和软件设计架构,给出了GPRS模块的软件配置方法.经过实验测试表明,系统在实际中取得了良好的效果.     

水印技术在社保网上办公中的应用

针对现存社会保险网上办公系统安全漏洞，提出了包括HASH要、数字签名及认证、信息隐藏在内的水印技术方案，并使用VC 实现了此方案，应用于社会保险网上办公系统中，解决了上报材料的身份验证和非否认性问题。     

创新人才创新力评估体系与激励制度研究

研究了创新人才的创新力评估体系和激励机制,为企业在严峻的竞争压力下构建创新评价体系和制定创新人才的激励制度提供了理论基础。同时提出人力资源管理实践中增强员工向心力的方法,为创收和员工创新力发展提供了方法和激励制度依据。     

基于嵌入式系统的音频点播系统

介绍一种基于嵌入式系统的C／S结构音频点播系统，它将MP3音频文件集中存储在网络服务器上，利用自主开发的MP3播放终端进行网络点播，并重点介绍基于uClinux的嵌入式MP3播放终端的设计。这种音频点播系统可以广泛应用在卡拉OK厅、语音教室和公共广播等许多场所。     

应用系统自动生成研究

结构化、面向对象、基于组件等都是比较成熟的程序设计方法.借助这些方法的实现机理以及原型和分层思想以应用领域的业务元数据为依据,自动生成符合规范的程序代码,将推动程序设计方法和程序代码自动生成技术的进一步发展.而以此为基础的软件开发方法可有效地缩短开发时间、降低开发成本以及提高产品质量,解决当前软件工程领域存在的特色问题.