两类一阶复系数复微分方程的求解公式

本文在［１］的启示下，给出了两类一阶复系数复微分方程的求解公式，所得公式是文［２］、［２］相应习题的推广，并指出了它的某些应用。     

与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空间量度与分析．实际数据的验算充分证实了该算法的正确性和有效性．     

Gauss-Legendre求积公式的收敛性

1问题现阶段∫abf(x)dx两点、三点Gauss-Legendre求积公式只给出了其求积公式而并没有求积余项,其复化公式也同样如此.但有时在计算过程中往往要用到它们的求积余项及其复化公式高阶收敛的性质,因此有必要计算出它们的求积公式余项,并证明较其他形式复化公式而言复化Gauss-Lege     

自重构自修复机械系统的模块设计与描述

设计开发了一种新型的点阵晶格型雌雄同体的自重构自修复模块化机械系统.该系统每个模块(第I代)由1个中心体和6个可独立旋转的带有2个孔和2个可自由伸缩轴的面组成,相邻两模块的轴插入对应孔中,完成对接动作.每个模块由1个电动机通过减速器、锥形齿轮、同步带轮、离合装置驱动6个面转动和每个面上轴的伸缩.仿真结果表明,该模块结构设计紧凑,能快速对接、脱离,可实现系统的自重构.