复调和函数的Cauchy积分公式

建立了复调和函数积分,得出了其Ｃａｕｃｈｙ积分定理与Ｃａｕｃｈｙ积分公式,并讨论了单位圆上复调和函数Ｃａｕｃｈｙ积分公式的特征。     

一种特殊光学系统基点位置的三种解法

由有平面镜组成的折反光学系统,如图1所示,一般实验和研究领域内无不经常碰到。本文根据光学系统的等效理论,试用三种方法求出这种系统的主点和焦点位置。设折射系统的物像空间的介质折射率分别为ll和12,其焦距分别为人和f'1,折射系统与平面镜的距离为d,符号法则与文献［1］相同。图11作图法如图2所示,任作一条平行于主轴的人射线①,此光线经折射系统折射后,出射线②经过F"l点;光线②经平面镜反射时,遵从反射定律;再作一条与反射光线③平行且过F＇1点的辅助光线,此辅助光线经折射系统折射后成为平行于主轴的光线,连接它与折…     

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

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

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

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

基于距离分类准则的雷达目标识别方法

雷达目标信号是非平稳信号，对于这样的非平稳信号，用于分类的特征往往包含在局部的时一频信息中，用一般的变换提取有效的特征比较困难。利用小波包基的性质，提出了一种雷达目标识别方法。首先，对雷达回波信号进行小波分解，利用距离准则，选择最优小波包基，从被识别的信号中提取具有最大可分性的特征，得到目标识别的特征向量，由此进行目标识别。仿真实验结果表明，该方法具有高的识别率。     

n次积分C-半群的表示定理

利用指数有界的n次积分C-半群的基本性质，用两种不同的方法证明了它的指数公式。     

网络系统中的公式表达方法研究

为了探讨网络系统中的公式表达，提出了一种基于XML(eXtensible Markup Language)的公式标记语言FML(Formula Markup Language)．首先分析了FML与网络系统的关系以及FML与MathML的联系和区别，阐述了、ML和MathML并不适合于网络上的传输应用，而且不能作为成熟的规范指导实际应用；然后描述了FML语法，阐述了用FML来表达公式的实现技术，提出了在网络系统中解析和再现FML的工具FML Viewer．探讨FML及其应用，对于XML的研究，具有一定的理论和应用价值．     

量子计算中的六个组合恒等式的证明

证明了量子计算中出现的六个组合恒等式。     

应用Bernouli序列求sum from i=1 to n(i~k)的一种方法

采用初等数学方法 ,直接定义Bernouli序列 ,用数学归纳法证明了Bk (n +1) -Bk (n) =knk-1,并用此式得到∑ni=1 ik 的求和公式