公式语言

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自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

BR12. The surface syntax of the formula language can be rendered in a format that

公式语言的表面语法可用让所有使用者都看得懂的格式表达。

According to the problems that are encountered in designing the mathematical knowledge representation language in NKI (national knowledge infrastructure) and after the discussion of ontological assumptions for mathematical objects, two kinds of formalisms for the representation of mathematical knowledge are provided. One is a description logic in which the range of an attribute can be a formula in some logical language; and another is a first order logic in which an ontology represented by the description logic is a part of the logical language.

根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题，并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法：一种是以一个逻辑语言上的公式为属性值域的描述逻辑；另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑。

The maj or obj ect of this paper is the medium.small size concrete dams that have been used for many years.They have the characteristic that the alteration of water height of reservoirs is unobvious and the dams, displacements are affected mainly by temperature.With a case,the method of stepwise regression is used to analyze the vertical displacement prototyDe observed data.Then regression equation is established,the relation of dam,s displacement with hydraulic pressure、temperature、time effect is analyzed and the displacement change rule is obtained,the dam'S displacement onlv dependent to temperature is received.According to the theory of Finite Elements Method,the quasi-stationary temperature field formula and temperature stress formula are deduced.The QTP program and TFEM3D program are written with FORTRAN.The same case is calculated through QTP program to solve the quasi-stationary temperature and through TFEM3 D program to solve the dam'S displacement and find tlle dam,s deformation rule.This rule is accordant with the regression,S resuIt.

本文主要针对运行期间库水位变化很小、坝体的位移主要受温度变化影响的中小型混凝土坝，结合工程实例，采用逐步回归的方法对垂直位移原型观测资料进行分析，建立回归方程，分析坝体位移与水压、温度、时效之间的关系以及位移变化规律，分析结果坝体位移只与温度有关，而基本上不受库水位变化和时效的影响；根据有限元原理推求了混凝土坝准稳定温度场公式和温度应力公式，利用FORTRAN语言编制出QTP准稳定温度场程序和TFEM3D位移场程序，对大坝的温度场和位移场进行计算，求出坝体结点的变温值和坝体结点位移值以及单元应力分量，分析得到大坝的变形规律与实测资料以及回归统计变形规律一致，说明对坝体准稳定温度场的研究是正确的。

The formula was established about calculating design parameters and technological parameters of ideal strip and bent strip in the period of forming. The thesis presented how to calculate the deformed area length and contact are radius of contact deforming between two elastic bodies on condition of the friction. The calculating formula of pinch force about plate-strip pinch mill was given and the results were analyzed that friction coefficient and radius of pinch rolls are very important for determining pinch force. Moreover, the rule of deforming and stress distribution of different 〓 ratio were gained on condition that the deforming was considered to be non-uniform distribution in the gap. The differential equations were got that calculate the displacements of large deflection of elastic cantilever rectangle plate with fixed end and the formula of the Finite Strip Method was conducted to study the regularity of mid-plane displacements, deformation and stresses for elastic-plastic large deflection bend of cantilever parallelogram plate with fixed or slidable end by integrating Prandtl-Reuss equation.

建立了一套完整的设计参数计算公式和在成型过程中理想带钢或具有月牙弯带钢的工艺参数的调整公式；在考虑摩擦力的条件下，对两弹性体接触变形过程中的接触变形区长度和接触弧半径用位移解法进行了研究，推导了板带递送机的递送力计算公式，从而得知在递送机设计过程中，应选择适当摩擦系数和辊身直径；另外，还从辊缝内带钢实际变形出发，分析了对于不同的〓值，带钢的变形规律及应力分布状况；建立了固定端悬臂矩形板弹性大挠度弯曲变形的控制方程，并且在对Prandtl-Reuss方程的积分处理的基础上，导出了固定端和滑动端悬臂平行四边形薄板的弹塑性大挠度的中面伸展位移、变形和应力的有限条元法公式，编写了Fortran语言计算程序，在各种参数条件下，对螺旋焊管成型过程变形规律进行了全面的分析研究，从而为螺旋焊管的生产和进一步的改进提供了理论依据。

You have also learned that the XML Schema language is very rich.

你已经知道了 XML公式语言是很丰富的。

Finally, the given symbolic logic formula can prove the rationality of component model and validity of framework extension.

在分析了框架元模型组成元素的基础上，应用面向领域的特征模型的方法，对构件模型组织结构进行统一的抽象和描述，并用命题逻辑公式来表示构件之间的逻辑关系和语义约束；用UniCon语言给出了扩展点及其依赖关系的表示方式；最后通过给定的命题逻辑规则公式来验证构件模型的合理性、框架扩展的正确性。

A high-level programming language for problems that can be expressed algebraically, used mainly in mathematics, science, and engineering.

FORTRAN语言，公式转换语言：一种高级程序语言，针对能用代数方式表达的问题，主要用于数学、科学和工程

We propose two new aggregation operators called extended uncertain linguistic aggregation operator and interval linguistic aggregation operator, and then develop an EULA operator-based linguistic approach and an ILA operator-based linguistic approach, respectively, to multiple attribute decision making in uncertain linguistic setting.

介绍了不确定语言变量的运算法则，给出了不确定语言变量之间两两比较的可能度公式，提出了2种新的数据信息集成算子拓展的不确定语言集成算子和区间语言集成算子，并且分别提出了基於EULA算子和基於ILA算子的不确定语言环境下的多属性决策方法。

BR11. The surface syntax of the rules an d the form ula language used within them

规则的表面语法及其内所使用的公式语言，应可用无须人介入的自动化程序转

They weren't aggressive, but I yelled and threw a rock in their direction to get them off the trail and away from me, just in case.

他们没有侵略性，但我大喊，并在他们的方向扔石头让他们过的线索，远离我，以防万一。

In slot 2 in your bag put wrapping paper, quantity does not matter in this case.

在你的书包里槽2把包装纸、数量无关紧要。