直觉主义的数学观与计算机科学

剖析了直觉主义学派的数学观、无穷观和逻辑观 ,从而论证了构造性是直觉主义学派在数学工作中的最基本出发点 ,同时叙述了构造性观点于计算机科学中的体现和对计算机科学的影响。

关于无穷集合概念的不相容性问题的研究

文中证明古典集合论与近代公理集合论中的任何一个无穷集合都是自相矛盾的非集。

数学科学与现代文明(上)

本文基于历史事实的分析,阐述了数学与文明,不仅自古并存,而且一直同步发展;简要地论述了“数学科学”的真实含义;主要从近现代科技发展、文化素质教育、宇宙观的演变、头脑编程的研究和美学原则等5个方面,阐明了数学科学在现代物质文明与精神文明的建设和发展中所起到的重要作用。

数学科学与现代文明(下)

本文基于历史事实的分析,阐述了数学与文明不仅自古并存,而且一直同步发展;简要地论述了“数学科学”的真实含义;主要从近现代科技发展、文化素质教育、宇宙观的演变、头脑编程的研究和美学原则等五个方面,阐明了数学科学在现代物质文明与精神文明的建设和发展中所起到的重要作用。

数理逻辑之研究对象、学科归属、定义及研究领域

鉴于对数理逻辑这一学科的定义、研究对象、研究领域与学科归属等问题,尚无一个一致的说法,有的已不符合历史发展的现状.例如,就学科归属而言,就有两种说法:其一说数理逻辑是数学的一个分支;其二说数理逻辑是逻辑学的一个分支,如此等等.有的数理逻辑著作中完全不论及这类问题.为此,本文从数理逻辑历史发展的几个侧面加以分析,并综合各家之长对数理逻辑的定义、研究对象、研究领域与学科归属等问题进行了探讨.

XML语法检查的实现

XML是可扩展标记语言,开发者可根据需要定义合适的标记。由于其灵活性,已被广泛应用于各个领域。主要讨论XML语法检查的两种方法,着重分析其中的一种,并给出具体的实现算法、对XML语法进行检查包括两部分,XML的有效性检查和XML的结构良好性检查。首先对表示XML文档类型定义（DTD）的局部树语法进行改进,然后在DTD构造的语法基础上,对XML进行有效性检查,针对语法检查的两个部分分别构造了检查算法。实验结果表明,该语法检查算法是切实可行的。

略论近现代数学系统对两种无穷观的兼容性

通常都认为,康托策墨罗(CantorZermelo)在古典与近代集合论中完全贯彻了实无穷观点,而柯西外尔斯特拉斯(Cauchy-Weierstrass)却在极限论中完全贯彻潜无穷观点。当我们深入分析潜无限与实无限的本质内涵,并充分认识了两者之间的区别与联系之后,再去研究近现代数学系统中贯彻无穷观的实际情况时,发现不仅在集合论中没有能将实无穷观点贯彻始终,而且在极限论中也没有能将潜无穷观点贯彻到底。对于近现代数学系统中的那些涉及无穷观的子系统而言,往往都是兼容潜无限和实无限的系统。

XML形式数据模型及其查询代数

提出了XML的形式教据模型及其查询代数,主要包括以下几个方面:构造先后序关系、引入带根连通有向 图、建立XML形式数据模型(XFDM)和XML查询代数(XFQA)。它形成了一个较为完整的XML数据库管理系统的 理论基础,可以作为XML以及其它半结构化数据库管理系统查询存储、查询分解、查询优化和查询实现的形式化基础。

信念修正与开放逻辑之间的关系

基于全序划分结构给出了信念修正理论中的信念修正操作、信念基修正操作及开放逻辑中的重构操作的统一定义，分析了三者之间的内在联系及本质差别，证明了在原知识库为逻辑封闭语句集且忽视操作结果的逻辑封闭性的情形下，３种运算的操作结果一致。

单可表示类的特征

择优模型是目前常识推理领域中最常用的语义结构之一 .在择优模型中有一类重要的模型——单射择优模型 ,近年来 ,众多的学者对该模型类从各种角度进行了研究 ,但一个重要而基本的问题 ,即何种类型的择优后承具有单射择优模型 ,虽经多位学者的研究到现在仍然悬而未解 .目前 ,最好的结果是 Freund在有限语言限制下证明了“择优后承具有单射择优模型当且仅当它满足弱析取合理性”.文中提出择优模型的一种转换 ,将此转换应用于 Kraus,L ehm an及 Magidor提出的 KL M模型上 ,在一般语言框架下证明了“满足弱析取合理性的择优后承必具有单射择优模型”。

广义粗集的公理化

粗集理论在数据挖掘等领域得到了广泛的应用 ,对粗集理论进行推广可得到各种广义粗集。该文研究了广义粗集的多个公理组 ,证明了公理组中各公理的独立性 ,并给出了普通粗集理论的另一个公理组 ,它有

面向行动的信念更新

基于可能模型方法 ( possible m odel approach,简称 PMA) ,提出了面向行动的信念更新的概念 ,证明了在信息完备的情境演算系统中 ,一个一阶公式在情境 s下成立当且仅当它属于情境 s下的信念集 .这一结果为有效避免情境演算推理中二阶归纳公理的使用提供了一条可行的途径 ,也为基于意向驱动的 agent模型的建立以及面向 agent的程序设计语言 AOPL ID( agent-oriented programm ing language with intention driver)的提出提供了必要的理论基础 .

Cbase查询优化的重写机制及其实现

Cbase是南京大学计算机系与南大谷元石油软件研究所有限公司研制的新一代商用关系数据库管理系统。为了提高查询效率,作者开发了Cbase数据库的查询优化器。文章详细论述了Cbase查询优化器中重写模块的设计思想与实现技术,并讨论了基于执行引擎特点引入的一组基于等价谓词的简单语句的重写规则。测试结果表明,所设计的重写器能够显著提高系统的查询效率。

面向AGENT的程序设计语言AOPLID

AOPLID语言是以现有的情境演算理论和基于意向驱动方式的agent模型为理论框架而建立的一种面向agent的程序设计语言.介绍了该语言的程序组成及程序的运行方式。

近现代数学及其理论基础中的若干隐性思想规定

文献[1]所论表明:兼容两种无穷观的内涵与方法为近现代数学及其理论基础自身所固有,从而给出了在近现代数学系统中运用兼容两种无穷观的分析方法的合理性依据。本文就是运用兼容潜无限与实无限的分析方法,对近现代数学的逻辑与非逻辑公理系统地进行疏理,疏理的结果显示:近现代数学及其理论基础中,有一部分公理隐性地反映了“潜无限等于实无限”的思想规定,而另有一些公理却隐性地反映了“潜无限不等于实无限”的思想规定。

赋值层化占先模型

Bezzazi,Makinson及 Pino最近系统地研究了一些非 Horn型推理规则 (它们强于 RM规则或者与 RM规则不可比 ) ,给出了 P+ RM+ WD与 P+ RM+ RC非单调后承的表示定理 ,并将另两个非单调后承 P+ WD及 P+RC的表示定理作为开问题提出来 .文中提出两个新的占先模型类——赋值层化占先模型与 PRC模型 ,在有限语言情形下 ,利用这两个模型类分别建立了 P+ WD及 P+ RC后承的表示定理 .并用 P+ WD的表示定理对他们提出的另一开问题给出否定的答案 ,即证明了 P+ WD / NR在单射占先模型类中不成立 .

全收缩及其与广义收缩之间的关系

首先给出全信念收缩运算的一个反例，证明全收缩运算之附加假设与基本假设不协调，从而说明全收缩假设系统的不协调性；其次通过对全收缩运算假设系统的修改，消除了导致原系统不协调的直接因素，证明若一个全收缩函数满足修改后的各条假设，则该函数一定为最大选择收缩函数，并证明了在非平凡的情形下其假设系统仍不协调；最后给出满足基本假设的广义收缩函数与全收缩函数之间的互可定义性。

可数集合的无穷观问题

久远以来普遍认为，近代公理集合论的建立和发展，已经给出了罗素悖论的解释方法；另一方面。虽然至今未能在理论上证明，近代公理集合论今后一定不出新的悖论，但将近一个世纪以来，人们确也未曾发现有什么新的悖论在近代公理集合论中出现。然而，当我们在兼容两种无穷观的思维方式下重新分析问题时，竟然发现在近代公理集合论中广为使用的种种可数无穷集合（以下简称为可数集合）都是些似是而非的非集。

Cbase数据库查询重写模块的设计与实现

本文详细讨论了重写模块的设计思想与实现技术 ,并讨论了利用执行引擎特点引入的一组基于等价谓词的简单语句重写规则 .测试结果表明 。

公文流转系统中工作流分析及其数据库实现

根据WMFC给出公文流转系统中工作流的定义 ,描述了UML中活动图分析工作流的方法 ,结合UML对公文流转系统中的工作流进行动态建模 ,在这基础上给出了公文流转系统一个通用关系数据库模型 。