与Schrodinger散射问题相关的非线性发展方程

本文给出由Ｓｃｈｒｏｄｉｎｇｅｒ散射问题导出可解非线性发展方程的一般递归公式，半讨论一些特殊情况。     

具有离散核的Bochner-Martinelli公式

周知,在一般有界域上至今尚未建立具有全纯核的多复变数整体积分公式.本文的目的是要在一般有界域上建立一类具有离散全纯核的Bochner-Martinelli整体积分公式,并能在(?)方程和奇异积分方程等研究中得到重要的应用.设D是C~n中具有C~1光滑边界(?)D的有界域,(?)={B_n|n∈N}是D的一个σ局部有限开覆盖,B_j ∈(?),J是N的有限子集}是(?)的一个σ局部有限加细,记为(?).(?)表示C~n中的欧氏拓扑,(?)表示(?)在D中的相对拓扑.1 构造单位分解和离散核定义1.1 设Ψ是拓补空间(C~n,(?))的子空间(D,(?))中一可数可积函数族,若对每一点z∈D,存在z的邻域U,使得除了Ψ的有限个成员之外在点z或U上均为零,而这有限个成员在U中是全纯的,则称Ψ是D上的一个σ点有限局部全纯的函数族.定义1.2 设(?)是域D的一个开覆盖,Ψ={f_n:n∈N}是D上的一个σ点有限局部全纯的函数族,若对每一点z∈D,满足,并且对每一f_n∈Ψ,存在一个U∈(?)使得{z∈D|f_n(z)≠0}=U,则称Ψ是D上的一个从属于(?)的σ点有限局部全纯的单位分解我们容易验证下面的引理.     

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

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

地壳变形时空参数动态模型的建立

本文将地壳变形系统看成一时变的线性动态系统，建立了时变位移分析模型，并详细讨论了其参数模型──时空参数动态模型，最终建立起了变形与时间，点位及外界环境因子之间的完整数学模型。在时空参数动态模型的讨论中，采用了Ｂ──样条函数和动态最小二乘法。     

若干数据线性拟合方法分析

对等分三组平均法、分段最佳斜率平均法和线性最小二乘法这三种线性拟合方法所具有的共性和个性进行了探讨。通过一计算实例，分析了这三种方法所具有的拟合精度。研究表明，线性最小二乘法的精度高于其它两种方法，因此。在工程数据线性拟合时，宜选用线性最小二乘法。     

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

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

利用泰勒公式实现样条曲线的拟合

用泰勒展开式求得分段样条曲线函数，可由用户控制的端点条件，求得通用的拟合算法，并用实例验证了拟合的曲线图形效果。     

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

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

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

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

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

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