三组元复合材料的有效电导率研究

研究带有壳层的金属球颗粒杂质与基质无规混合的有效电导率,对于带有壳层的同心球可以等效成一个实心球杂质与同一基质无规混合,其实心球的半径等于原壳层的半径,利用倒易定理（ＲＴ）,其结果与有效介质近似（ＥＭＡ）进行比较发现两者基本一致。     

带漂移扩散过程的一个比较定理

本文得到了带漂移的一致椭圆扩散过程与带漂移的布朗运动间的一个比较定理，推广了［２］中的结果，并且所用的证明方法与［２］有本质的不同。     

Berry相因子与主纤维丛的关系及其拓扑性质

用纤维丛理论描述Ｂｅｒｒｙ相因子。将Ｂｅｒｒｙ相位作为联络１－形式及相应参数空间的曲率２－形式。利用Ａｔｉｙａｈ－Ｓｉｎｇｅｒ指数定理。讨论了Ｂｅｒｒｙ相因子的拓扑性质及其与反常之间的关系。     

IMPROVEMENT FOR FERRO''''S MINIMAX THEOREM

ＩＭＰＲＯＶＥＭＥＮＴＦＯＲＦＥＲＲＯ＇ＳＭＩＮＩＭＡＸＴＨＥＯＲＥＭ￥ＣＨＥＮＧｕａｎｇｙａ（ＩｎｓｔｉｔｕｔｅｏｆＳｙｓｔｅｍｓＳｃｉｅｎｃｅ，ＡｃａｄｅｍｉａＳｉｎｉｃａ，Ｂｅｉｊｉｎｇ１０００８０，Ｃｈｉｎａ）Ａｂｓｔｒａｃｔ：Ｔｈｉｓｎｏｔ...     

求解非线性网络的一个新算法

本文对非线性电阻性网络多值问题的求解作了新的探讨，在给出若干定理的基础上提出了一种能保证找到分段线性电阻性网络所有解的新算法。     

基于PVS的UML类图和序列图的一致性检验

针对UML类图和序列图的一致性问题,在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影响的基础上,给出了判定类图和序列图一致性的必要条件和PVS元理论,提出了一种基于定理证明器PVS的一致性检验方法.在检验UML模型一致性时,把一致性检验问题转化为逻辑定理证明问题.实践表明,该方法对于提高UML模型的可信度,减少系统实现阶段的错误起到了一定作用.     

积分中值定理“中间点”的分析性质

讨论了积分中值定理中间点的单调性、连续性、可导性,给出了一组充分条件,并证明了三个相关定理．进一步完善了积分中值定理“中间点”的分析性质．     

LROTH''''S THEOREM IN DIFFERENTIAL FIELDS

In this paper, we present a constructive proof of Luroth's theorem in differential case. We also give a method to find the inversion maps for general differential rational parametric equations. As a consequence, we prove that a differential rational curve always has a set of proper parametric equations.     

贝尔定理与电子自旋

本文证明,在贝尔定理的证明过程中,实际上用到电子自旋（或其他费米子的自旋）的任意两个分量的联合概率,而这一联合概率却并不存在,因此,贝尔定理言之无物。贝尔的工作的意义是通过“自旋相关函数”的“隐变量表达式”或其他公式,在这种纯属子虚的联合概率与现实的跃迁概率之间建立一种人为的关系,并引出一个矛盾,从而证明这两种概率各自遵循不同的规律。这一工作既不涉及定域性原理也与经典概率论无关。     

关于积分中值定理"中间点"的渐近性

给出了并证明了减弱条件的积分中值定理"中间点"的渐近性.