公理化局部有限空间中映射连续性的扩展

用公理化方法研究了局部有限空间中的连续映射及其扩张问题。给出了局部有限空间的公理化定义方法;利用邻近关系研究了局部有限空间中的连续映射、同胚和局部同胚等问题;通过对局部有限空间变形的研究,定义了局部有限空间的一种特殊收缩核,有效地解决了局部有限空间中连续映射的扩张问题。     

一个关于抽象经济的均衡存在定理

在抽象经济的均衡存在定理中，一般都假设偏好对应具有开图像。用一个较弱的条件代替关于偏好对应的开图像假设，证明了均衡的存在性。所得结果是Ｙａｎｎｅｌｉｓ（１９８７）均衡存在定理的一个推广．     

隐藏的数学--谈数学抽象思维的不完全性

文章从隐藏的数学这一角度对数学的抽象化进行了分析，指出了数学抽象思维不完全性的意义，同时点明了数学普及的迫切需要——走近数学。     

汽轮机仿真系统的面向对象分析

运用面向对象分析方法,描述了汽轮机仿真系统的软、硬件构成.然后,在面向对象分析的五个层面上逐层抽象,建立系统软件模型.     

科技论文英文文摘的常见句型

目前我国出版的学术性期刊 ,文章大都附有英文文摘 ,其编写质量直接影响科技信息的交流与传播。通过对科技文摘常见句型的归纳 ,分析了句型特点并给出应用实例     

自然指数函数展开式的多重分割法（六）：应用部分

以自然对数函数展开式的另一多重分割法作为抽象三角函数的应用．     

关于在Banach空间中取值的绝对连续函数

讨论了取值于Ｂａｎａｃｈ空间中的弱（强）囿变强弱（强）绝对连续函数的某些性质，并把某些结论用于经典实分析。     

变型算子与半群

Ｊ．Ａ．Ｇｏｌｄｓｔｅｉｎ讨论了线性半群与ｃｏｓｉｎｅ算子的关系，导出了ｃｏｓｉｎｅ算子用半群表示的积分关系．该文利用屈超纯所提出变型算子方法，在抽象正则函数类定义变型算子，导出ｃｏｓｉｎｅ算子用半群的积分表示式     

基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

论辩证法和形而上学的根本区别

从与形而上学相对立的角度来看,辩证法指的是思维方式及本体观;形而上学指抽象的思维方式及所得出的事物观,辩证法指的是具体的思维方式及得出的事物观。黑格尔辩证的具体事物观是一个运动联系整体。辩证法和形而上学物质观区别的关键就在于表象性事物观还是运动联系整体的区别。这一观点可以从三个角度加以证明:目前对辩证法理解存在误区导致的自相矛盾;马克思和费尔巴哈的人学观的差异;马克思和黑格尔对形而上学物质观的批判。