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

The main contents are as follows: the basic knowledge of reinforcement and concrete; the principle of ferroconcrete in structural design and computation; the computation of bearing capacity in the normal and oblique section of flexural member; the computation method of member in torsion, tension and compression; the computation of distortion and crack width in members of the ferroconcrete in the design principle, stress analysis and the computation of the bearing capacity in the pre-stressed concrete structure and give an outline of the tier building and multistoried building.

主要内容有：钢筋和混凝土材料的基本知识；钢筋混凝土机构设计计算原理、设计方法；受弯构件正截面、斜截面承载力计算；受弯受扭受拉构件的承载力计算方法；钢筋混凝土构件的变形和裂缝宽度计算；预应力混凝土结构设计原理、应力分析及承载力计算；并简要介绍多层及高层建筑物结构。

After rectifying the family structure, and educational level of parents, the influencing factor of adaptability was formula mainly; intensity of reaction was breastfeeding duration for 4-6 months and breast milk mainly; rhythmicity was breastfeeding duration for 7-9 months and formula only; activity level was both breast milk an formula milk equally and breastfeeding duration for 7-9 months; quality of mood was formula only and duration of breastfeeding for 7-9 months; approach-withdrawal was breast milk mainly and both breast milk and formula milk equally; distractibility was formula milk mainly.

校正家庭结构、父母亲受教育水平等因素后，适应度的影响因素是主要喂奶粉；反应强度的影响因素是母乳喂养持续时间4~6个月和主要喂母乳；规律性的影响因素是母乳喂养持续时间7~9个月和只喂奶粉；活动水平的影响因素是母乳与奶粉等量和母乳喂养持续时间7~9个月；情绪本质的影响因素是只喂奶粉和母乳喂养持续时间7~9个月；趋避性的影响因素是主要喂母乳和母乳与奶粉等量；注意分散的影响因素是主要喂奶粉。

This thesis combined the riverbed section and plane form, from the two side of hydraulic computation and model test, put forward the method to realized the automatic computation for river closure gap hydraulic parameters and comparison and verification. And through carrying on the secondary development to AutoCAD, realized the common software of automation drawing the topographical section of model test. Based on hydraulics computation technology, finished developing the common application software for one berm-dam vertical closure hydraulic computation.

本文结合河床断面与平面形状，从水力计算与模型试验两个角度出发，提出了实现龙口水力参数计算自动化并进行验证比较的方法；并且通过对AutoCAD进行二次开发，实现了模型试验地形断面绘制自动化的通用软件；同时以水力学计算方法为基础，完成了隧洞导流条件下单戗堤立堵截流水力计算通用应用软件的开发。

The structural design is carries on the design calculation after the plan comparison and appraisal recommendation plan, this stage design primary mission is: The design material analysis and the structure arrangement, the king post endogenic force computation, the pre-stressed steel ties the estimate and the arrangement, the computation king post section geometry characteristic, the steel tie the loss of prestress computation, the king post section intensity checking calculation, the king post nose partial bearing strength checking calculation, the king post distortion checking calculation and part compositions and so on lane board computation.

结构设计是根据方案评比后的推荐方案进行设计计算，这一阶段的设计主要任务是：设计资料分析及构造布置、主梁内力计算、预应力钢束的估算及其布置、计算主梁截面几何特性、钢束预应力损失计算、主梁截面强度验算、主梁端部的局部承压强度验算、主梁变形验算和行车道板计算等部分组成。

The boundary condition of small scope is provided by the computation result of large scope, and the computation is also stable after two periods. The computation of temperature field begins and it is stable after six periods. The computation is conducted at three different tide levels, including spring tide, still tide and neap tide.

大范围的流场计算在两个周期后达到稳定，开始计算小范围的流场，小范围的边界条件由大范围计算结果提供，小范围的流场在计算后两个周期后达到稳定，开始计算小范围的温度场，温度场的计算在六个周期后达到稳定。

The boundary condition of small scope is provided by the computation result of large scope, and the computation is also stable after two periods. The computation of temperature field begins and it is stable after six periods. The computation is conducted at three different tide levels, including spring tide, still tideand neap tide.

大范围的流场计算在两个周期后达到稳定，开始计算小范围的流场，小范围的边界条件由大范围计算结果提供，小范围的流场在计算后两个周期后达到稳定，开始计算小范围的温度场，温度场的计算在六个周期后达到稳定。

In this design introduced the transmission covers the punch holes the ramming craft analysis, the craft plan formulation, arranges the specimen map design, the always ramming strength computation and the center of pressure computation, the cutting edge size computation, the spring, the rubber computation and selects, the raised mold, the concave mold or the convex-concave mold structural design and all that die the components structural design, draws up the mold assembly drawing and the work detail drawing, the compilation design instruction booklet, fills in the ramming craft card and the work components machine-finishing technological process card, raised pays attention to, the concave mold coordinate processing.

本设计中介绍了传动盖冲孔的冲压工艺分析，工艺方案的分析和制定，排样图的设计，总的冲压力计算及压力中心的计算，刃口尺寸的计算，弹簧的计算和选用，凸模、凹模或凸凹模结构设计以及其他冲模零件的结构设计，绘制模具装配图和工作零件图，编写设计说明书，填写冲压工艺卡和工作零件机械加工工艺过程卡，注意凸、凹模的配合加工。

Putt your way through 36 fun-filled holes of minigolf on 3D designed courses with elevated greens, bunkers, bridges and water hazards, among other crazy obstacles.

您的推杆方式，通过36个有趣的填孔迷你的三维设计的课程，以提升绿党，掩体，桥梁和水的危害，除其他疯狂的障碍。

Some participles can be used either as attributes or as predicatives.

有些分词既可当定语用，也可当表语用。