查询词典 structural formula

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 academic significance and the applied value of research into Yi structural auxiliary words include the following: 1. The structural auxiliary words play an important role in Yi grammar. Many problems in Yi syntax could be solved if the special features of Yi structural auxiliary words were understood. 2. The study of Yi structural auxiliary words may provide a foundation for a theoretical framework of function words and clarify the rules for the development of Tibeto-Burman languages. 3. The study of Yi structural auxiliary words may help in the study of Chinese grammatical history. It can supply some useful clues in the study of Chinese structural auxiliary words and the historical evolution of Chinese grammar.

彝语结构助词研究的学术意义和应用价值在于：1、结构助词在彝语语法中占有重要的地位，认清了彝语的结构助词特点也就解决了彝语句法的大部分问题。2、彝语结构助词的研究有助于建立藏缅语族语言虚词理论框架，弄清藏缅语族语法手段的发展规律。3、彝语结构助词的研究有助于汉语史的研究，可以对汉语结构助词和汉语语法历史演变的研究提供许多有用的线索。4、彝语结构助词的研究还会对彝语文的规范和教学、双语教育、翻译出版等起到有益的作用，具有实际应用的价值。

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个月；趋避性的影响因素是主要喂母乳和母乳与奶粉等量；注意分散的影响因素是主要喂奶粉。

Based on investigating the short and intermittent structural plane, surrounding rockmass of the huge underground powerhouse in Three Gorge has been divided into five statistical similar areas according to its characteristic of rockmass structure by applying structure plane network simulation. Distributed characteristic of structural plane has been studied and based on it mechanics macrocharacteristic has been studied:(1) It is the first time that based on the result of structural plane network simulation rockmass quality of every structure area has been studied with applying blurred information optimum seeking technique and be compared with and RQD method. The result indicated that it has better effect to evaluate rock quality with blurred information optimum seeking technique.(2) It is the first time that the interrelated relationship of the result of in-suit rockmass deformation test and fractal characteristic of structure on test point has been applied to determine rockmass deformation parameter. The question of evaluating deformation parameters of engineering rockmass has been solved.(3) Anisotropy strength parameters have been determined by applying shear zones simulating method. The result indicated that there are different strength parameters in every structural area, after comparing the result of Fast Lagranian Analysis in continua number simulation method with that of method of weighted mean according to continuity. The result indicated that when a suitable reduction coefficient is been considered rockmass strength parameters can be simply and fast determined with method of weighted mean according to continuity where there is not enough test result.(4) Damage characteristic has been studied based on analysis fractal characteristic of structural plane network by applying fractal-damage coupling method. It is the first time that the concept of damage degree has been set up to evaluate rockmass quality according to the biggest principal damage.

通过对短小、断续性结构面统计特征的研究，将地下厂房区划分为五个岩体结构统计均质区，应用结构面网络模拟技术研究了各个岩体结构均质区结构面的发育分布特征，并以此为基础对岩体宏观力学特性进行了深入研究：(1)首次通过在结构面网络模拟计算结果的基础上，应用模糊信息优化技术研究了厂房区各个岩体结构分区的岩体质量并与岩体基本质量指标研究法、岩体质量指标RQD值研究法作了对比，结果表明以结构面网络模拟结果为基础，应用模糊信息优化技术进行岩体质量评价能够取得很好的效果，解决了工程岩体质量的定量评价问题；(2)首次通过对已有的现场大型岩体变形试验结果的分析及相应试验点岩体结构分形特征的研究，建立了结构面分布的分形维数和岩体变形指标间的相关关系，并首次应用这种相关关系根据结构面网络模拟及分形维数计算结果确定了缺少试验结果的地下厂房各工程部位的岩体变形指标而且应用于围岩稳定性计算，解决了工程岩体宏观变形参数的评价问题；(3)应用在结构面模拟网络图上模拟岩体剪切破坏带的方法，得出了岩体在不同方向上的强度参数，结果表明岩体的强度特性与结构面的发育方向和程度有着明显的关系，各个岩体结构均质区具有不同的强度参数；同时还通过应用拉格朗日差分法对岩体强度指标的数值分析并与按连通率加权平均计算法对比表明，按连通率加权平均计算法在考虑合理的折减系数情况下，可以简单快速地对缺少现场大型试验结果的具体工程部位实现岩体强度指标的估计，通过以上研究解决了工程岩体抗剪强度参数的评价问题；(4)通过结构面网络分形维数的研究，应用分形损伤耦合分析方法，研究了厂房区岩体的损伤特征，并首次引入"损伤度"的概念，建立了应用最大主损伤评价岩体质量的指标体系。

On the basis of plan form and crosscutting relationship of the faults, two kinds of tectonic systems were developed in Wu-Xia area, one was strike north-east, and another was strike east-west, the first was developed early and control the structural framework of Wu-Xia area, after that three times longitudinal compress action was happed. According to the intensity of tectonic deformation, The Wu-xia faulted zone from north to south can be divided into the thrust faulted belt, the fault fold belt and the monocline belt. from east to west have three regulatory faults, Wuerhe fault fold belt, Wuxia thrust faulted belt and Xiahong fault fold belt. Base on that 9 secondary structural unit can be divided.Structural accommodation zone and the distribution of reservoir strata have intimate business connection. Usually, Structural accommodation zone was the source zone of arenaceous sediment. The Wu-xia faulted zone have 3 kinds of structural accommodation, concordant approach, concordant overlap and concordant colinearity.

首先研究本区的构造特征，根据断裂的平面形态及相互切割关系，乌夏地区发育两种构造体系：北东向构造体系和近东西向构造体系，前者形成早，控制了该区的构造格局，晚期有3次近南北向挤压作用叠加；乌夏地区南北根据构造变形的强度不同分为冲断带、断褶带、单斜带，东西由于横向调节断层的存在分为乌尔禾断褶区、乌-夏冲断区和夏-红断褶区，进一步划分为九个次级单元；构造调节带与储集层的分布关系密切，通常是大量富砂质沉积的源区，乌夏地区发育三种类型的构造调节带：同向接近型、同向叠覆型和同向共线型。

The two-dimensional structural units (such as silicon-oxygen tetrahedral sheet, octahedral sheet), interlayer space are assembled according to the sphere close packing manner, and the close packing layers parallel to {0001}. There are several mechanisms to release the difference in size while the silicon-oxygen tetrahedral sheet and octahedral sheet assemble the TO and TOT-type structural layers. The two types of structural layers with different interlayer space fitted together in six kinds of assembling modes and formed six kinds of crystal layers. The combinatorics analysis of the two-dimensional structural units revealed that there may be 28 kinds of TOT type interstradified minerals in six kinds of polysomatic assembling modes of interatradified structure. The structural layer is symmetrical for octahedron sheet in the structure of interstratified minerals and shows polarity characteristics.

结果表明，不同二维结构单元体（包括硅氧四面体片、八面体片、层间域的构筑基本符合球体紧密堆积原理，紧密堆积层平行{0001}；四面体片与八面体片构筑TO和TOT结构层时采取多种机制消除二者在二维尺寸上的差异；两种模式的结构层与不同类型的层间物组装形成六种组装模式的晶层；并通过二维结构单元体的组合规律的分析，计算出可能存在的28种TOT型间层结构，它们分属于6种间层结构多体性组装模式；间层结构中，结构层对于八面体片是不对称的，并在属性上表现出极性特征；间层矿物的晶层类型可用6种多体性组装模式加以表达。

The structural language is structural elements simplified out refined from the building and other specialized drawings of structural engineer, including foundation, wall, column, roof beam, board, stair, full-page proof detail picture, etc Then come to form the structural systems of the building or structures with these structural elements, including verticality and bearing and resist strength system of level, and then various load that situation produce in a most succinct way from transmission to foundation.

结构语言就是结构师从建筑及其它专业图纸中所提炼简化出来的结构元素，包括基础、墙、柱、梁、板、楼梯、大样细部图等等。

As research and extensive, gradually discovers that the seeastigmatism formula also have problems, that is, it has a data expression cannot and Visual feeling of one's eyes, so the match chromatology experts have implemented written by CMC (1 c) CIE94 seeastigmatism seeastigmatism formulas, the formulas as well as the latest CIEDE2000 seeastigmatism formula, where written by CMC (1 c) chromatic aberration formula in the textile industry is listed as a range of international and national standards. X-Rite ′?ˉs 528 integrates CIE LAB color difference equation, written by CMC (1 c) and the color difference formula, the formula CIE94 seeastigmatism seeastigmatism measurement shall be free to choose from.

随着查究的浮浅，忽然发掘该色差公式也有题目，即它的数据外达不克不及够和人眼的触觉感施相成婚，因此色彩教查究大师接踵推出了CMC(1∶c)色差公式、CIE94色差公式以及最新的CIEDE2000色差公式，其洋CMC(1∶c)色差公式在纺织行业被列为不国外和国度尺度。X-Rite 528集不败了CIE 1976 LAB色差公式、CMC(1∶c)色差公式和CIE94色差公式，在色差丈度时可以自由拔取。

In this paper, Newton iteration formula for computing normal depth and critical depth was put forward by mathematical transformation of uniform flow equation and critical flow equation of circular section tunnel. Then, the relationship between the corresponding central angle and the introduced parameters was analyzed. An approximate formula for angle was obtained according to optimal uniform approximation principle. Using this approximate formula as initial value of iteration formula, a direct formula for calculating normal depth and critical depth of circular section tunnel was established after its first iterative.

该文通过对圆形断面均匀流方程与临界流方程的数学变换，分别得到其正常水深与临界水深的牛顿迭代公式，同时，通过对正常水深与临界水深对应的中心角与引入参数之间关系的分析及数值计算，利用最优一致逼近原理分别得到了正常水深与临界水深对应中心角的近似计算式，并以此近似计算式为初值，用迭代方程进行一次迭代得到了圆形断面均匀流水深与临界流水深的直接计算公式。

The Total probability formula is an important formula in the probability theory , this text carries on several popularization to this formula, and until probability calculate, margin distribute calculate and foundation of recurrence formula application of carry on some discussions to formula this.

摘要全概率公式是概率论中的一个重要公式，本文对此公式进行若干推广，并对此公式在概率计算、边际分布计算以及递推公式的建立等方面的应用进行了一些探讨。

Don not attempt to do something which you can not to do.

不要企图做那些办不到的事情。

The expression of CTGF and TNF-αweredetected by immunochemistry and the number of Clara Cells was calculated.

光镜下观察肺组织的病理变化，采用免疫组化染色观察肺组织中结缔组织生长因子和肿瘤坏死因子-α的表达和Clara细胞的数量。