定理

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

This paper sets up the fixed point theorems for cone stretching or compression and more extensive fixed point theorems for cone stretching or compression in their normal forms on the condensing mapping.

本文建立凝聚映象的锥拉、压不动点定理和更为广泛的范数形式凝聚映象的锥拉、压不动点定理以及对非锥映象的表现形式，然后利用所得的结果来研究凝聚算子的固有值的全局特征和算子方程的非零解并用到YpbIcoH算子上。

Presenting a theorem of one dimensional time multiplying ,also a demonstration to the theorem which says that Any point in 3 dimensional spaces of the universe at an certain universal moment possesses equivalent physical quantities of one dimensional time that is equal to total amounts of one dimensional time of the universe at same universal moment; Any point in 3 dimensional spaces of the universe at an certain universal moment , its possessed physical quantities of one dimensional time has an constant ratio with respect to one dimensional space , which is universally equal to space time impedance.

给出了一维时间增殖定理及其证明。该定理指出：在任意宇宙时刻，宇宙三维空间中任意一点具有的一维时间物理量量值均相等并等于在该宇宙时刻宇宙具有的一维时间物理量总量；在任意宇宙时刻，宇宙三维空间中任意一点的一维时间物理量的一维空间变化率均相等且恒等于时空阻抗。

We establish a one to one correspondence between the set of risks and the set of stop loss transformations.

应用停止损失限额变换的性质证明了停止损失限额分离定理，并修正了AlfredMuller在此定理证明中的一个错误。

The main results are as following: A A new demonstration to optical theorem is constructed B The scattering amplitude function for small particles, which is more accurate than that in classical RGB, is gained using electrostatics approximation, C Through a δ transform to the high frequent oscillation function, a concise deduction of the EG-type scattering amplitude function has been achieved.

主要结果如下： A给出了光学定理的一个新证法； B利用静场近似，得到了比经典RGB更精确的小粒子散射振幅函数； C通过一个高频振荡函数的δ变换，给出了一种EG散射振幅表达式的简明推导，并做了小角度散射简化，参照ADT，对EG近似又做了相位修正； D定义了一个新的函数—消光函数，并得到了组合散射体消光函数的平均定理。

The robust CNN template was designed, which provided a group of parameter inequality to satisfy its parametric change interval.

设计细胞神经网络模板参数的鲁棒性定理，该定理提供了一组参数不等式以确定满足该功能的参数变化区间。

Therefore the problems of stable margin and parameter working space of 2-D discrete systems can be solved.

我们在第二章提出的定理15-1至定理16-3，可直接确定二维离散系统参数稳定工作空间的边界。

Population Genetic Model;Hardy Weinberg gene Balance Theorem;Perron Frobenius Theorem;error precision

群体遗传模型；哈迪·威恩伯格基因平衡定理；Perron Frobenius定理；误差精度

Introduce the principle of light absorption and scattering, which is the theoretical basis of turbidimeter works and understand the basis of photology further.

本文介绍了光的吸收定理和散射定理——这是浊度仪之所以能够分析并检测浊度的理论基础，通过分析进一步加深对浊度仪工作原理的了解。

At last of the paper, it's studied the relationship between the resistance of the pins of the pincushion 2D PSD and Gear theorem, and find the way to get the boundary resistance and square resistance of sensitive area from the resistance of the pins which can get the position nonlinearity rapidly.

最后，研究了枕型二维PSD的极间电阻与Gear定理之间的关系，可由具体器件的极间电阻确定其单位长度的边界电阻与光敏区方块电阻，从而可以用Gear定理来判别器件的位置线性度，克服了试片法以一概全的缺点。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐