formula of computation

与formula of computation相关的网络例句 [注：此内容来源于网络，仅供参考]

After carries on the load computation and the component section estimate, selected a pin frame to carry on the computation, the computation content including the frame beam column section size selection and the line rigidity computation; Dead load, live load, under earthquake function Liang Duan, column end moment, shearing force computation; Frame endogenic force combination; The frame beam column matches the muscle computation; The staircase matches the muscle computation and the foundation matches the muscle computation.

在进行荷载计算和构件截面估算后，选取了一榀框架进行计算，计算内容包括框架梁柱截面尺寸的选取及线刚度的计算；恒载、活载、地震作用下梁端、柱端弯矩、剪力的计算；框架内力组合；框架梁柱配筋计算；楼梯配筋计算及基础配筋计算。

First introduced highway alignment's definition, the significance, the developing process and the CASIO series calculator in the highway surveying computation application; Using the traverse survey computation's two basic mathematical model (azimuth calculation, coordinate calculation), compile the corresponding procedure to solve echo the wire coordinate computation; With the aid in the mathematical model which three, four and so on leveling's field operations calculate, compiles the corresponding procedure to solve the road elevation survey computation; According to relaxes the circular curve principal point and the detail coordinate computation mathematical model, based on this programs the solution to relax the circular curve coordinate principal point and the detail coordinate computation, then further develops this procedure to use to calculate the circular curve principal point and the detail coordinate computation.

首先介绍了公路线路的定义、意义、发展过程和CASIO 系列计算器在公路测量计算的应用；利用导线测量计算的两种基本数学模型，编写相应的程序以解决附和导线坐标计算；借助于三、四等水准测量的外业计算的数学模型，编写相应的程序以解决公路高程测量的计算；根据缓和圆曲线主点及细部点的坐标计算的数学模型，在此基础上编程解决缓和圆曲线坐标主点及细部点坐标的计算，然后进一步开发此程序用以计算圆曲线主点及细部点的坐标计算。

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

与formula of computation相关的网络解释 [注：此内容来源于网络，仅供参考]

formula of computation：计算公式

formula language 公式语言 | formula of computation 计算公式 | formula of propositional logic 命题逻辑公式