复函数微分中值公式中间点渐近性定理的简单证明

陈新一在《数学的实践与认识》(95年第3期)证明了复函数微分中值公式的“中间点”渐近性的一些结果,但其证明过程比较复杂,本文给出这些定理的简单证明。     

成层弹性介质的二维基本解

成层碾压混凝土结构的内部应力和位移对其设计十分重要。根据刚度矩阵法的基本原理提出了一个建立成层弹性介质二维基本解的一般方法，基于这一方法可以建立用于进行有限尺寸成层结构体应力分析的半解析数值方法。另外，用叠加法解决了在层体内部力作用点附近Ｆｏｕｒｉｅｒ积分收敛性不好的问题。在对叠加法进行数值检验中，还得到了具有刚性边界的无限长条形介质在内部集中力作用下的解。     

字块码汉字输入法的技术特征

字块码汉字输入法,用汉字的点、撇、横、竖、折、钩六类基本笔画的基本笔形作为其代码,揭示笔画构成字块,字块构成汉字的规律性,汉字字块有序且不可易.取字块首笔画及笔画数的特征,建立字块码及健码的符号体系＄n(＄=、,),一.丨,(?),(?);n=1,2,3,4,5),配合指法,建立字块码键盘,实现了字与码、码与键、键与指三对应,汉字编码直观,输入简易,省时省力.     

求解椭圆型微分方程边值问题的虚边界元-最小二乘法

针对求解椭圆型偏微分方程的边值问题，采用了虚边界元－最小二乘法．该法简单直观、物理意义清晰、解析性强．与区域型方法相比，具有存储少、数据准备方便、节省机时、精度高；与传统边界元法相比，具有无奇异积分、边界附近精度高等优点     

新建铁路线路基本走向和接轨点选择辅助决策系统的研究

介绍了新建铁路线路基本走向和接轨点选择辅助决策系统的研制和开发情况，阐述了方案比选评价指标体系的确定，评价优选方法的数学模型和该辅助决策系统的基本结构、功能及应用．     

结构力学中结点不平衡力矩分配传递的极限公式

结构力学的力矩分配法是将结点不平衡力矩进行多次分配和传递而得到杆端弯矩的近似值，当分配及传递的次数ｎ趋于无穷大时，杆端弯矩就趋近于它的极限值－精确解，本文导得了该极限的表达式并给出了算例，文中所得公式能方便手算，然而在计算机已十分普及的今天，就显不出其重要悸了，但本文新的发现能给人们以新的启迪。     

一类代数上的逻辑学（Ⅱ）

Ｚａｄｅｈ的复合命题演算方法（简称ＣＲＩ方法）虽然已被广泛采纳并在应用上取得了很大成功，然而ＣＲＩ方法至今尚未有严格的理论基础．本文在一类模糊公式代数Ｆ（Ｓ）上通过特殊的赋值方法为模糊取式（ＦｕｚｙＭｏｄｕｓＰｏｎｅｎｓ）与模糊拒取式（ＦｕｚｙＭｏｄｕｓＴｏｌｅｎｓ）建立了严格的逻辑基础．其中关于ＦＭＰ的一个结果不只是Ｚａｄｅｈ的ＣＲＩ方法相应结果的改进，而且也是首次把ＣＲＩ方法纳入了模糊逻辑的框架之中，沿此途径，进一步提出并研究了前提与结论之间的支持度与相似度的理论．     

一类代数上的逻辑淡（Ⅰ）

引入了一种代数，称为模糊公式代数，在这种代数上建立了一个准形式演绎系统，证明了相应的可行性定理与相容性定理，提出了程度化的Ｍｏｄｕｓ Ｐｏｎｅｎｓ规则和Ｈｙｐｏｔｈｅｔｉｃａｌ Ｓｙｌｌｏｇｉｓｍ规则。     

测地坐标计算椭球面上凸多边形面积的算法

推导出用三顶点的测地坐标计算地球椭球面上三角形面积的公式．公式表明，主项的表示式与按平面坐标求面积的计算式完全一致，而附加项的表示式亦有规律可循．因此，该公式的适用范围可由椭球面三角形推广至椭球面上任意凸多边形．与高斯平面上计算的面积相比，由于不受投影变形的影响，因而更接近于实际面积．这就为至今较难实施的椭球面的面积计算开拓了一个新的途径，有利于做出更客观的GIS空间量度与分析．实际数据的验算充分证实了该算法的正确性和有效性．     

简单迹极限的基本可比性

引进了简单迹极限的相关概念，简单介绍了与C^＊代数SP性质密切相关的F性质，并且得到了非基本的单的具有SP性质的C^＊代数具有F性质．在此基础上得出简单迹极限的基本可比性．其主要结果：设A为具有F性质的带单位元1的C^＊代数，且A的迹态空间T（A）为非空集，如果对每个自然数n，An具有基本可比性，则An的简单迹极限A也具有基本可比性。