非公式的

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

First, theoretical analysis methods were used for the static analysis of the suspension bridge. The formulas for endogen force of the asymmetry suspension bridge through elastic theory were deduced and they were contrasted with those of the normal suspension bridge. The basic differential equation of deflection theory was deduced and the method of getting the roots of the equation was offered, and some simplified methods for deflection theory were presented.

推导了非对称式悬索桥弹性理论的内力计算公式，并对比了其与对称式悬索桥弹性理论的内力计算公式的异同；推导了非对称式悬索桥挠度理论的基本微分方程，并且给出了部分均布荷载作用下基本微分方程的试算方法；提出了挠度理论的几种简化计算方法。

The main content of this thesis is to find and prove some summation and transformation formulae of basic hypergeometric series by the modified Cauchy method,operator method and inversion techniques,which include many well-known results as special cases,for example,q-Saalschiitz summation formula,Baileys _6ψ_6 summation formula,non-terminating Watson transformation formula and Rogers-Ramanujan identities etc.

本文的主要内容是利用修正的Cauchy方法、算子方法和组合反演技巧来发现和证明一些基本超几何级数求和公式和变换公式，其中包含一些著名的公式，如q-Saalschüz求和公式、Bailey的_6ψ_6求和公式和非终止的Watson变换公式等作为其特殊情况。

Using the infinite product of unevenly distributed probability space with potential of 3, the concept of formula truth degree was introduced into the Gdel 3-valued propositional logic system. Moreover, it was proved that in the 3-value (1/4, 1/2, 1/4), measure the set of truth of degree of propositions was dense in [0, 1], and a general expression of truth degree was obtained, providing a basis for further developing approximate reasoning of 3-valued propositional logic system.

利用势为3的非均匀概率空间的无穷乘积，在Gdel三值命题逻辑系统中引入公式的真度概念，在三值逻辑(四分之一，二分之一，四分之一)测度下证明G3中全体公式的真度值之集在[0， 1]上是稠密的，并给出公式真度的表达通式，为进一步在三值命题逻辑系统中展开近似推理奠定基础。

In this paper, we present five sorts of methods for finding the particular solutions of the n-th-order inhomogeneous linear differential equation with constant coefficients.

本文给出了五种求n阶常系数线性非齐次微分方程待解的方法。这些方法只需计算特征函数A及其各阶导数在某点的值，方法简单，两种递推公式适合计算饥计算，本文还简化了文［1］中递推公式的证明

Posing condiction in which the formula can be used is discussed. It is proved that it is only useful for zero-friction quasl-state process, non-quiet isometic or isobaric process.

本文较严格地导出了计算准静态过程功的公式，并讨论了该公式的适应条件，指出该公式只对无摩擦的准静态过程，以及等压或等容的非静态过程适用。

Via generalizing the Cauchy method we obtain a new method,called the modified Cauchy method.By means of this method we establish two bilateral _3ψ_3 and _4ψ_4 series summation formulae,two four-term summation and transformation formulae for unilateral _3φ_2-series and bilateral _3ψ_3-series,and two five-term summation and transformation formulae for unilateral _3φ_2-series and bilateral _3φ_3-series,which contain many known results as their special cases,such as non-terminating q-Saalschütz summation formula,Bilateral _6ψ_6 series summation formula of Bailey,non-terminating Watson transformation formula and some transformations of _3φ_2-series etc.

通过对Cauchy方法的推广，我们得到修正的Cauchy方法，采用这个方法分别得到两个双边的_3ψ_3和_4ψ_4基本超几何级数的求和公式、单边_3φ_~(2-)级数和双边_3ψ_(3~-)级数的两个四项求和变换公式和两个五项求和变换公式，它们包括许多已有的结果为特例，如非终止的q-Saalschütz求和公式、Bailey的very-well-poised双边级数_6ψ_6求和公式、非终止的Watson变换公式和一些关于单边_3φ_(2~-)级数的变换公式等。

The paper's formula is fit to determine the thickness of the concrete mattress under wave in the bottom protection engineering. The Netherlandish formula and the formula in code are fit to confirm the thickness in the revetment.

研究结果表明，三个公式的工作状态并不相同，对于淹没海滩护底一类工程，半理论半经验公式较为合适；对于非淹没的斜坡护坡，荷兰或水利部公式较为适用。

On the base of analyzing the principle of two-point nonuniformity correction method of IRFPA, sequently the formula in the fix-point form is deduced, and its error is analysed.

在分析红外焦平面非均匀性校正两点法基本原理的基础上，推导出了两点校正的定点公式，并分析了该定点公式的误差。

Considering non-spherical particles, starting from particle size distribution, the concept of the number of equivalent spherical particles was put forward, and the theory formula to calculate mass concentration of non spherical panicles was derived. The validity of the formula for non-spherical particles was verified. On this basis, aerosol mass concen-trations algorithm baaed on the number of equivalent spherical particles was proposed.

考虑非球形颗粒，从颗粒群粒度分布概念出发，提出了统计意义上的等效球形颗粒数概念，给出了非球形颗粒物质量浓度的理论公式，并利用该理论公式阐明了OPC测量非球形颗粒物质量浓度计算公式的合理性，进而给出了基于等效球形颗粒数的悬浮颗粒物的质量浓度算法。

Plunder melds and run with this jewel!

掠夺melds和运行与此宝石！

My dream is to be a crazy growing tree and extend at the edge between the city and the forest.

此刻，也许正是在通往天国的路上，我体验着这白色的晕旋。