公式的

Equidistance point and difference theory in theory of function approximation are studied. Meanwhile, the relation among difference, difference quotient and derivate is revealed. By drawing Lagrange's and Cauchy's theorem of mean on difference and Taylor's formula into difference function, four theorems, such as Lagrange's theorem of mean on difference, are concluded in simple way. On the basis of these conclusions, the asymptotic property of middle point is studied, a series of new conclusions are drawn and the discussions on the asymptotic property of middle point in differential mid-value are summarized.

对函数逼近论中等距节点和差分理论进行了研究，揭示了差分、差商与导数之间的联系；将Lagrange中值定理、Cauchy中值定理、Taylor公式引入到差分函数中，简明地推导出Lagrange差分中值定理等4个定理，并在此基础上对"中间点"的渐近性进行了研究，得出了一系列"中间点"的渐近性的结果，概括了有关文献对微分中值公式的"中间点"的渐近性的讨论；给出的引理改进了函数逼近论的证明方法，精简了函数逼近论中的一些内容。

Examples are given to prove the conclusion that conditional entropy never increases is not absolute, thus the representation that information is to decrease uncertainty in the definition of information is not absolutely correct, so Shannon's definition of information is not fit.

从多个角度分析了条件熵的定义和计算公式的问题，对条件熵的计算公式进行了纠正，并且举例证明了熵不增并不是绝对的，进而指出香农信息定义中的不确定性的减少也不是绝对的，从而信息的定义名不副实。

Through a discussion on the suffix features of miniterm and maxiterm ,this paper offers a suffix calculating approach to miniterm and maxiterm in principal disjunctive normal form,principal conjunctive normal form determined by disjunctive normal form,and conjunctive normal form of propositional formula.

通过极小项和极大项的下标特征的讨论，给出了由命题公式的析取范式、合取范式而确定的主析取范式、主合取范式中的极小项、极大项的下标计算方法，从而简化了由繁杂的命题公式推演或真值计算求主范式的计算过程。

The mutual inductance of the equivalent circuit, coupling coefficient, quality factor of the DR and microstrip coupling model have been discussed.

本文分析了振荡器的基本原理，介绍了振荡器的两种基本模型；给出了应用广泛的环路增益公式的推导过程，并提出了新的环路增益公式；讨论了振荡器相位噪声的线性化模型；介绍了锁相环的基本原理，分析了锁相环各部分电路相位噪声的传递函数。

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命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

Therefore, it is necessary to study these parallel problems. For the linear register systems, this paper presents a (1, N) parallel method with uniform calculating formulas by using the method of matrix equations, and studies to simplify XOR circuits. Comparing with the existing parallel methods for linear shift registers, this method for linear register systems doesn't need to expand the transition matrix, and has the same calculations for arbitrary N, which reduces the complexity.

对一般的线性寄存器系统，本文应用向量矩阵方程的研究方法提出了一种通用的、具有统一计算公式的(1， N)并行方法，研究了其中异或电路的化简，相对于已有的线性移位寄存器的并行方法而言，本文提出的方法不需要扩展矩阵，对任意的N计算公式均是统一的形式，减少了问题复杂性，具有更广泛的应用范围。

The central studied content is: the studying for the C and R in the distance measurement, the study for standard deviation of distance measurement of the total station instrument, the study and calculation of illustration for the formula of periodic error of the total station instrument, the checking of horizontal angle.

主要的研究内容有：全站仪测距加乘常数的分析，全站仪测距标准偏差的研究，全站仪周期误差公式的分析及其实例计算，全站仪水平角的检定(多齿分度台法和多目标平行光管法)，一测回水平方向标准偏差计算公式的分析，一测回竖直角标准偏差的合理性分析及其实例计算。

Simple design formula on the ultimate compressive strength of gusset plate connections to slotted tubes is presented basing on the results of finite-element study. It has bigness significance to perfect design formula of gusset plate connections to

本文根据有限元分析的结果，提出管板节点计算的简化公式，为管板节点极限承载力设计计算公式的进一步完善提供了有意义的参考，同时对实际工程也有一定的参考价值。

Under the operation and standard condition, the performance of Roots blower in sewage treatment plant is changed with inlet temperature and pressure, aiming at this problem, the method to determine volume flow and outlet pressure of blower are discussed. Combining with thermodynamics and the operation principle of blower, the calculation formula of flow is derived, and the using method of the calculation formula is explained through example of selection and design in actual engineering.

针对污水处理厂罗茨鼓风机在使用状态与标准状态下，进口温度、压力等条件发生变化时，导致风机的性能也发生变化这种情况，探讨了设计选型时，鼓风机容积流量、出口压力等的确定方法，结合工程热力学原理及罗茨鼓风机的工作原理，推导了流量的计算公式，并通过实际工程中选型设计的计算范例，说明了计算公式的使用方法。

Under the operation and standard con2dition , the performance of Root s blower insewage t reatment plant is changed with inlet tem2perature and pressure , aiming at this problem ,he method to determine volume flow and outlet pressure of blower are discussed. Combining with thermodynamics and the operation principle of blower , the calculation formula of flow is de2 rived , and the using method of the calculation formula is explained through example of selection and design in actual engineering.

针对污水处理厂罗茨鼓风机在使用状态与标准状态下，进口温度、压力等条件发生变化时，导致风机的性能也发生变化这种情况，探讨了设计选型时，鼓风机容积流量、出口压力等的确定方法，结合工程热力学原理及罗茨鼓风机的工作原理，推导了流量的计算公式，并通过实际工程中选型设计的计算范例，说明了计算公式的使用方法。

Finally, according to market conditions and market products this article paper analyzes the trends in the development of camera technology, and designs a color night vision camera.

最后根据市场情况和市面上产品的情况分析了摄像机技术的发展趋势，并设计了一款彩色夜视摄像机。

Only person height weeds and the fierce looks stone idles were there.

只有半人深的荒草和龇牙咧嘴的神像。