用格林函数叠加法求解椭圆型微分方程边值问题

本文提出了一种求解椭圆型微分方程边值问题的数值方法——格林函数叠加法.根据椭圆型微分方程的格林函数,分别采用直接求解和最小二乘法推导了其求解方程和离散求解方程.算例表明了本文方法的可靠性.     

用回转变换张量法求解FANUC S—5机器人的运动学问题

本文就一台六轴通用机器人ＦＡＮＵＣ Ｓ－５，建立了它的运动学模型，利用回转变换张量法求解出运动学正逆问题的封闭式解。在求解逆问题的过程中，根据ＦＡＮＵＣ Ｓ－５的结构特点分析了其可能的所有解，从而为机器人的运动空间分析、轨迹规划以及在此基础上开发应用系统提供了运动学理论依据。     

ORACLESQL* FORMS触发器运行分析

对ＯＲＡＣＬＥＳＱＬ＊ＦＯＲＭＳ触发器运行的分析，表明触发器的运行机制与普通的程序设计技术既有相似之处，又有区别，正确掌握触发器的运行机制是触发器设计过程的重要一环。     

球面中子流形的余维数减少定理

研究了Ｓ＾ｎ＋ｐ（１）中具有平行平均曲率向量且法丛可分离的子流形，得到了一个关于第二基本形式模式的平方的Ｐｉｎｃｈｉｎｇ定理，在增加一个条件时，改进了Ｓ，Ｔ，Ｙｏｕ的结果。     

增量式模糊控制与模糊系统的稳定性

本文介绍了增量式模糊控制（ＩＦＣ）的原理与设计思想，指出ＩＦＣ是ＦＣ系统实现渐近稳定控制的有效方法。文中运用模糊增量、隶属度增量及模糊目标的可达性概念，给出一种模糊变量的动态描述，并且给出了能与传统李雅普诺夫稳定性定义相一致的ＦＣ系统稳定性的统一定义     

计算等谱可积方族Lax表示的新框架

建立了计算等谱可积方程族的Ｌａｘ表示的一个新框架．作为例子，分别求出了ＫｄＶ型ＴＣ型等谱方程族Ｌａｘ表示的统一显式．     

船舶兴波阻力计算的Panel方法及流场的可视化实现

采用Ｐａｎｅｌ（面源）法，在微机上实现了船舶兴波阻力和可视化流场计算。在对一系列船舶进行数值计算后，将计算结果与采用Ｍｉｃｈｅｌｌ积分的兴波阻力计算结果以及实验测试结果进行比较，在中低Ｆｒ时，Ｐａｎｅｌ法比Ｍｉｃｈｅｌｌ积分法有更好的计算准确性和稳定性。     

Finsler几何中Cartan联络的存在性

用纤维丛理论证明Ｃａｒｔａｎ联络的存在性。先利用对偶原理，指出Ｆｉｎｓｌｅｒ联络（Ｔ，Ｎ）可改由一次微分式ω＾ａ ｂ，（θ＾ｕ）＾ａ确定，然后提出ω＾ａ ｂ（θ＾ｖ）＾ａ的系数Γ＾ｉ ｊｋ，Ｃ＾ｉ ｊｋ及Ｎ＾ｉ ｊ应满足的充要条件，最后验证了由Ｃａｒｔａｎ联络的５条公理得出的函数组Γ＾ｉ ｊｋ，Ｃ＾ｉ ｊｋ，Ｎ＾ｉ ｊ满足这些条件，从而证明了Ｃａｒｔａｎ联络的存在性。     

无穷级整函数对数级与对数型的一些性质

本文是研究整函数的增长性.应用无穷级整函数的对数级与对数型的定义,以及参考文献[2]中的一些结果,进一步得到了关于无穷级整函数对数级与对数型的一些重要性制裁.现将主要结果叙述于下:定理1:设整函数f(Z)=sum from n=0 to ∞ a_nZ~n的对数级为ρ1,则有ρ1=（?）定理2:设整函数f(Z)=sum from n=0 to∞(a_nZ~n)的对数级为ρ_1,并且0<ρ_1<+∞,其对数型为σ_1,则有定理3:设整函数f(z)=sum from n=0 to∞( a_nZ~n),存在,并且0<ρ<十∞,则当0<ν<+∞时,ρ必为f(Z)的对数级,进而ν为f(Z)的对数型.定理4:设f(Z)=sum from n=0 to∞(a_nZ~n)为无穷级整函数,则f(Z)与它的导函数f’(z)具有相同的对数级与对数型.     

规范场,引力场反常与Chern—Simons链

将规范场和引力场作为两个子流形从构成一个大的流形，利用Ｃｈｅｒｎ－Ｓｉｍｏｎｓ链自然地得到规模场反常，各种引力反常以及规范场和引力场之间的相互作用对反常所作的贡献，其表达形式简洁明了。