有限弱力迫的布尔值模型表示

给出模型论中弱力迫概念的一个语法特征。然后在此基础上引入弱力迫的一种布尔值模型表示,并给出这种表示对f-伴随理论的一些应用。     

公理集合论中的ZFC系统是不协调的

本文用模型论方法证明：集合论公理系统ZFC是不协调的．     

并发模型的范畴论方法

范畴论是一种通用概念框架，可作为软件工程的理论基础.介绍范畴论不同于集合论的独特思维方式，并探讨将这些概念与思想作为数学工具应用到语义模型研究中的一般方法，最后给出利用范畴论研究并发模型以及模型间关系的应用实例.     

域上无限方阵的弱对角化

用非标准分析中的技巧给出复数域上无限方阵可弱对角化的一个充分条件。借助于模型论中特殊模型，证明了－饱和的域上无限方阵的可弱对角化的一个充分条件。     

关于Fermat素数的Goldbach猜想及其它

用模型论方法证明一种加强形式的Goldbach猜想(加强在:只用Fermat素数,不用其它素数);并证明关于素数的一些结果.     

紧致性定理的纯语义证明

紧致性是一阶模型论的重要性质之一,本文给出紧致性定理的一个比较完整的纯语义证明。     

关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

一般原型——模型论的理论体系（Ⅰ）

通过一般原理－模型论的同型公理（及模型公理）对该理论的内容体系作了大致的概括和描述，从而可以显示出一般原型－模型论的广阔研究范围与普适范围。     

几乎一切Mersenne数与Fermat数都是素数

在本文中,我们用模型论方法证明:几乎一切Mersenne数与Fermat数都是素数.     

一般原型——模型论的理论体系（Ⅴ）

通过一般原型－模型论的原－模关系公理（同型公理；模型公理）对该理论的内容体系作了大致的概括和描述，从而可以显示出一般原－模型论的广阔研究范围与普通范围。     

可靠的计算机网络信息理论模型

根据可诊断系统的分析和设计理论 ,确定计算机网络可靠性的衡量办法 .在第一部分列出信息理论的初步 ,而相应的信息理论模型被列在第二部分 .在第三部分 ,对此模型的分析建立一个根本的事实 :在一个可靠的计算机网络中任意一个计算机系统 vi 中的计算机故障概率 pi 必须满足 pi <1 /2 .否则 ,这个网络不可诊断 ,因此也就不可靠 .     

运用模型论证明微积分中的两个定理

本文运用模型理论证明了微积分中的“中间值定理”和“最大值最小值定理”从另一角度解决了微积分中上述两定理的理论证明。参2。     

图尔敏的论证域和论坛

图尔敏是逻辑学实践转向的重要理论先驱之一。他所倡导的论证逻辑理论或实质逻辑既从法律论辩实践中来,又到法律论辩实践中去。《论证的使用》(1958)虽然发起了对符号逻辑范式统治的挑战,但主要是从理论上论证逻辑(形式证明)和修辞学(不诚实的说服)之外的第三条道路——分析实质论证的中介方法。叙述了体现图尔敏逻辑思想的一般论证理论的论证域或论坛。     

Dust direct radiative effects on the earth-atmosphere system over east Asia: Early spring cooling and late spring warming

Focusing on three dust storms occurring in spring 2001,we developed a detailed aerosol parameterization scheme and integrated it in a radiative transfer model to characterize possible impacts of solar altitude angle on dust direct radiative effects over China desert regions and the North Pacific,using actual daily solar altitude angles.Increasing solar altitude angle from early spring (or winter) to late spring (or summer) leads to increase of positive clear sky radiative forcing,and decrease of negative radiative forcing due to dust aerosols at the top of the atmosphere.Because solar altitude angle increases from early to late spring,dust-clear sky radiative forcing may change from negative to positive at the top of atmosphere,showing a change from cooling to heating of the earth-atmosphere system over high-albedo deserts and nearby regions.Over low-albedo ocean negative clear sky radiative forcing by dust may decrease,suggesting a change from strong to weak cooling on the earth-atmosphere system.The impacts of solar altitude angle on cloudy sky radiative forcing due to dust are similar to those of clear sky.Impacts of low cloud on dust radiative forcing are the same as increasing surface albedo.This causes the transition of dust cooling effects into heating effects over deserts to occur earlier,and causes decrease of negative radiative forcing over the ocean and even cause a change from weak negative radiative forcing to weak positive forcing over local areas.Even in the same East Asian desert regions and nearby areas,the strength and sign of the radiative forcings depend on storm dates and thus solar altitude angle.The nearer to early spring (or winter) a dust storm occurs,the easier it leads to negative radiative forcing at the top of atmosphere,which indicates cooling effects on the earth-atmosphere system.In contrast,the nearer to late spring (or summer) a dust storm occurs,the easier it leads to positive radiative forcing at the top of atmosphere,showing heating effects.Over East Asian deserts and nearby regions,dust layers may be regarded as cooling sources in early spring (winter) and warming sources in late spring (summer).     

并发计算的元模型Ⅰ.图模型

借鉴证明论中的一些思想 ,提出了并发计算的一个图模型 .在此模型中 ,计算对象表示为图 ,计算过程表示为图重写 ,重写规则将通信过程视为证明的等价变换过程 .为便于形式化研究图模型 ,提出了模型的形式对应物——图演算 ,该演算类似于进程代数演算 ,与其他进程代数演算的不同之处在于本演算是对称的 .文中用证明论方法研究并行理论 ,为进程代数演算开辟了一条新的研究途径     

图尔敏模型在当代法律论证中的应用

图尔敏的法律论证理论与他的一般论证理论水乳交融。图尔敏不仅是法律论证理论的开拓者,而且其法律论证理论对新兴的人工智能和法律研究领域产生了重大影响,尤其是图尔敏模型,不仅被扩展为刻画复杂法律论证的基本模型,而且也被诠释为包括法律解释过程的动态模型。     

关于“对Thomas＆Wollan定理的R．Diestel证明方法”的一个注记

指出了Diestel关于图论的研究生教材中Thomas＆Wollan定理的一个弱形式证明中存在的一个错误（第76页式（3））,并提供了一种改正方式。     

关于共形映射的一个注记

指出Ｂｅｃｋｅｒ等人的文献中对一个重要定理证明中的错误,给出了正确证明,并用反例说明原证法不能成立。     

图谱理论中一些定理的新证明

利用非负矩阵理论并结合图论性质,给出图谱理论中3个重要定理的证明,给出的证明方法比之前文献的证明更为简洁、易懂.