具有离散核的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期)证明了复函数微分中值公式的“中间点”渐近性的一些结果,但其证明过程比较复杂,本文给出这些定理的简单证明。     

综合采样数字地籍测量的探讨

在介绍和分析数字地籍测量的基础上，主要探讨了综合采样的方法和优势，认为综合采样是一种适合我国国情、实现地籍测量数字化的最有效的手段     

一种提取曲面加工可行刀具方向的方法

着眼于自由曲面五轴ＣＮＣ加工中无干涉刀具接近方向集合的自动获取算法的研究，给出了一种基于凸包和适应性离散的采样算法，使得在干涉检查过程中，采样点的选取能适应曲面几何特征．在刀具路径的每个ＣＣ位置，自动给出可行方向的集合，减少干涉检查的人工交互，提高计算效率．该算法可以作为模具加工的并行工程框架中自动无干涉路径规划的支持工具．     

A／D转换器MC14433实际应用中若干问题的探讨

本文以一个实际的多点温度采集系统为例，对双积分型Ａ／Ｄ转换器ＭＣ１４４３３在对多点温度．循环转换过程中易出现的问题进行了分析，并结合ＭＣＳ—５１单片机系统，从软件角度提出了应注意的问题．     

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

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

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

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

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

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

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

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