查询词典 rectangular 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 progress levels of symptoms after pathogen infection showed that interaction of gray leaf spot pathogen and host has differentiation or polymorphism. The progress levels of symptoms is different.The aggressively has polymorphism. The pathogenicity of different isolates in same cultivar has polymorphism, or the host reaction type of same isolate in different cultivars has polymorphism.The host reaction type has differentiation. There are seven types of host reaction in cultivar and inbred after infected by GLS pathogen:Rectangular lesion without chlorotic halo, Rectangular lesion with chlorotic halo,Irregular lesion without chlorotic halo,Irregular lesion with chlorotic halo, Spot lesion with chlorotic halo,Rectangular and irregular lesionand Rectangular and spot lesion. The host reaction type is coalesced lesion when disease severely. Frequency of each reaction types is different.

通过对玉米灰斑病菌侵染后的显症过程的系统观察，可在组织水平上说明该病菌与寄主互作反应存在分化或多样性：玉米灰斑病菌不同菌株侵染后显症过程表现出明显的差异；玉米灰斑病菌在侵袭力上存在多样性，菌株间对同一种品种的致病性表现多样化，或者同一菌株对不同品种侵染引起的寄主反应表现为多样性；病斑反应型的分化，玉米灰斑病菌侵染玉米品种或自交系后，主要有7种病斑反应类型，即RH型、RN型、IRH型(不规则形具褪绿晕圈病斑)、IRN型(不规则形无褪绿晕圈病斑)、SH型、RI型(长矩形与不规则形混合病斑)和RS型(长矩形与斑点形混合病斑)，若发病严重，病斑连成片，而且这些反应类型出现的频率也不同。

Four-port network with partial height cylindrical objects in rectangular waveguide junctions (i.e., Four-port rectangular junctions), multiple-stepped rectangular waveguide bend and T-septum rectangular waveguide junction are modeled by full-wave mode matching method in order to quickly design the combline cross-coupled filter, corner waveguide diplexer, generalized chebysheve waveguide filters and diplexers with high efficiency in this paper.

本文将它运用于矩形波导接头中带通用圆柱杆的四口网络、多阶梯矩形波导弯头和T—septum矩形波导接头的全波建模，有助于快速高效设计梳状广义切比雪夫滤波器、拐弯波导双工器、广义切比雪夫波导滤波器和双工器。

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

Theequivalence percolation resistance law is accurate enough to be used in productivitycalculation of horizontal well pattern.(3) Productivity of mixed well pattern of horizontalwell or multilateral horizontal well and vertical well is constructed and formulae are simpleenough to be used in the oilfield. The patterns include 5-spot pattern,7-spot pattern and9-spot pattern.(4) Productivity formula of united rectangular well pattern of horizontaland vertical wells is constructed. By this formula, the calculation results show that fora horizontal well length, there is a shape factor at which the productivity of the patternis biggest. So optimum method of the well pattern is proposed.(5) A new concept ofdimensionless length of horizontal well is advanced and the relationship of optimum shapefactor of the rectangular well pattern against dimensionless length of horizontal well ispresented. The influences of length of the horizontal well, area of the well pattern unitand the thickness of reservior are concerned.

利用该公式计算表明：当水平井长度一定时，存在一个最优井网形状，使得水平井的产能最大，在此基础上提出了水平井井网的优化方法；(5)提出了水平井无因次长度的概念，给出了联合井网最优井网形状因子与水平井无因次长度的关系式，并对水平井长度、油层厚度及井网面积对产能的影响进行了分析；(6)推导出了一无限水平井井排在XY 平面内势的解析解，为不同水平井整体开发井网或水平井和直井井网整体开发渗流理论的研究奠定了理论基础；(7)建立了交错式水平井与直井整体开发渗流理论，给出了拟三维条件下井网产能的精确解析解及该井网最优井网形状因子与水平井无因次长度的关系，并对产能的影响因素进行了分析；(8)建立了水平井与水平井正排列井网、交错排列井网条件下渗流理论及井网产能在拟三维条件下的精确解析解，给出了交错井网条件下最优井网形状因子与水平井无因次长度的关系，通过与正方形井网对比，说明优化井网可大幅度提高开采效果；(9)建立了分支水平井和直井面积井网水油两相非活塞驱替条件下渗流问题的解析解，给出了见水前后无因次产量与无因次时间的关系式以及见水时间等。

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.

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

Take the goose meat as raw materials, make three different flavor goose sausages. Firstly, confirm the optimal formula of goose sausage of primary flavor through the single factor experiment. Then according to the above formula to develop cumin goose sausage and corn goose sausage. Finally we came to the conclusions that the best formula of goose sausage of primary flavor is 100kg goose muscle+2% soy protein+supplementary, the best formula of cumin goose sausage is 100kg goose muscle+2% soy protein+0.3% cumin+supplementary, the best formula of corn goose sausage is 100kg muscle+2% soy protein+12% sweet corn+supplementary.

研究利用鹅肉制作了3种不同风味的火腿肠，首先通过单因素试验确定原味鹅肉火腿肠的最优配方，然后根据原味鹅肉火腿肠的配方进一步开发研制孜然鹅肉火腿肠和玉米鹅肉火腿肠，最后得到原味鹅肉火腿肠的最佳配方为鹅瘦肉100kg+2%大豆蛋白+辅料、孜然鹅肉火腿肠的最佳配方为鹅瘦肉100kg+2%大豆蛋白+0.3%孜然粉+辅料、玉米鹅肉火腿肠的最佳配方为鹅瘦肉100kg+2%大豆蛋白+12%甜玉米+辅料。

Using the relations between Hermite and Laguerre-Gaussian modes and expanding the window function of two-dimensional rectangular hard-edged apertures into a finite sum of complex Gaussian functions, the propagation of complex- argument Laguerre-Gaussian beams through a paraxial optical ABCD system with a rectangular hard-edged aperture is studied. An analytical propagation equation is derived and used to study the diffraction at the rectangular hard-edged aperture and the focusing properties of complex-argument LG beams.

利用拉盖尔－高斯模和厄米－高斯模的变换公式，并使用将二维矩孔光阑窗口函数展开为有限个复高斯函数之和的方法，得到了复宗量拉盖尔－高斯光束通过含矩形硬边光阑近轴ABCD光学系统的变换的解析传输公式，并对复宗量LG光束通过矩形硬边光阑的衍射和聚焦特性进行了研究。

We are in a good position to meet your requirements.

我们完全可以满足你方的需求。

We are all pervade d with a sense of disaster.

我们普遍有大祸降临的感觉。