FC-空间内的极小极大定理

在不具有任何凸性结构和线性结构的有限连续空间(简称FC-空间)中给出了数值函数与向量值函数的极小极大定理,推广了近期文献中的一些相关的结果.     

Z-空间上的有界线性泛函的性质

文章在次范整线性空间中利用Hahn-Banach扩张定理给出泛函存在定理,分隔性定理,这些定理推广赋范线性空间的泛函存在定理、分隔性定理.     

FC-空间内的截口定理及其应用

本文主要在FC-空间内讨论一类截口定理,得到一些存在性定理,这些结果推广和改进了最近一些成果.     

轴测投影基本定理的计算理论和方法

波克－许华尔兹定理是轴测投影的基本定理。本文研究了轴测投影基本定理的计算问题，给出了从投影图形计算空间四面体位置及运动参数的计算方法和公式；同时给出了从空间四面体计算投影图形位置及运动参数的计算方法和公式，据此建立了新的、含有定量关系的轴测投影基本定理。     

FC-度量空间中的广义R-KKM型定理及其应用

文章定义了一个新的空间--FC-度量空间,并在FC-度量空间中,得到一些非空交定理.这些结果统一和推广了近期的许多结果.     

Menger PM-空间上复合映射不动点定理的推广

设（X，F，△）和（Y，－↑F，△）是两个完备的MengerPM－空间，△是连续的H型t－范数，函数Φ（t）满足条件（Φ1)，本文在映射T：X→Y和S：Y→X满意更一般的条件下给出了关于复合映射TS和ST的不动点定理。这一定量进一步推广了Fisher,Sehgal和Bharucha-Reid等的有关结果，也是作者“MengerPM－空间上复合映射的不动点定理”一文的一般推广，最后给出了几个有用的结果作为本文主要定理的推广论。     

有效推理的真度关系与度量空间的近似推理

在模糊命题逻辑系统中,运用命题公式的随机真度概念,给出了有效推理前提和结论的随机真度关系定理。运用随机真度关系定理,给出了命题公式间距离的定义,从而构建了随机逻辑度量空间,在该空间中提出了三种近似推理模式,讨论了这三种近似推理模式的关系,从而实现了模糊命题逻辑系统的计量化。     

积分型Cauchy中值定理的逆问题

主要讨论了积分型Cauchy中值定理的逆问题.推广了文献[3]的部分结果,并在文献[3]的基础上进一步研究了在不同条件下积分型Cauchy中值定理的逆问题的成立情况.     

象征型拟微分算子的L~2－有界性

证明了象征型拟微分算子的一个Ｌ２有界性定理，其中象征ａ（ｘ，ξ）关于ｘ的正则性条件被进一步减弱了。在某种意义下，该结果给出了定理Ａ与定理Ｂ之间的联系。     

广义非阿基米德概率度量空间中一个不动点定理

本文给出广义非阿基米德概率度量空间中一个新的不动点定理,推进了Achari在文[1]中的结果。     

关于Caristi不动点定理的一点注记

本文利用半序方法给出了一个新的Caristi型不动点定理，与原有结果不同的是：在我们的定理中，不动点可以用迭代方法求出。     

高线三角形有向面积的定值定理及其应用

给出圆内接 2n +1边形中高线三角形有向面积的定值定理及其推论 ,其中包括著名的三角形的高线定理     

达布定理的推广与柯西中值定理的一个新证明

本文推广了达布定理,並用它给出了柯西中值定理的一个新证明。     

椭圆外切2n+1边形中切顶线三角形有向面积的定值定理及其应用

本文给出椭圆外切2n 1边形中一类切顶线三角形有向面积的一个定值定理及其若干推论，其中包括射影几何中著名的Brisanchon定理在椭圆外切三角形中的情形。     

区间模糊集理论及其运算法则(英文)

在区间模糊集概念及其性质的基础上,针对区间模糊集的3个理论尚未得到有效证明的现状,首先对区间模糊集的知识表示及其运算法则进行了研究,然后提出了基于区间模糊集的截集概念。并在此基础之上进一步研究了基于区间模糊集的分解定理、表现定理和扩展定理,并通过实例说明了传统模糊集是区间模糊集的一个特例,区间模糊集是传统模糊集的有效扩展。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

变上限定积分的应用

本文应用变上限定积分的基本性质,给出了定积分中值定理的新证明,並改进了有关结果,还指出了积分中值定理与微分中值定理、积分第一中值定理与积分第二中值定理之间的联系。最后还通过几个实例,给出了一个化有字母限的积分问题为微分学问题的有效方法。     

Thermal Stresses and Theorem on Decomposition

The thermal expansion strain is considered as a special case of eigenstrain. The authors proved the theo- rem on decomposition of eigenstrain existing in a body into two constituents： Impotent eigenstrain （not causing stress in any point of a body） and nilpotent eigenstrain （not causing strain in any point of a body）. According to this theorem, the thermal stress can be easily found through the nilpotent eigenstrain. If the eigenstrain is an im- potent one, the thermal stress vanishes. In this case, the eigenstrain must be compatible. The authors suggest a new approach to measure of eigenstrain incompatibility and hence to estimate of thermal stresses.