查询词典 theory of automata

The information security of national defence is discussed from some aspects such as the trend, station and action, challenge and countermeasure, reference and innovation of history and development, which is on the basis of up-to-date production of information security theory and from the purpose of strategy and integration of information security of national defence. It is a systematic and pointed attempt on the study of information security theory of national defence.

本文在充分吸纳当今信息安全理论的最新成果的基础上，站在国防信息安全的战略性和整体性的高度，力求从历史与发展的趋势、地位与作用、挑战与对策、借鉴与创新等多个方面对国防信息安全问题进行探讨，是系统性、有针对性地研究国防信息安全理论的一次尝试。

Combining the database and graph theory put the theory of acyclic database schema forward.

数据库理论与图论的结合产生了无环数据库模式设计理论。

From the theory, the algorithm for determination of the degree of implicit polynomials is followed: detecting the stationary points in the object boundary based on its features, and then calculating the minimum degree according to the formula derived from the theorem. In addition, the theory can be extended to three-dimensional object.

该方法首先由给定物体边界的轮廓检测出其驻点数，然后根据驻点数得到拟合隐含多项式曲线方程次数的下界，进而推广到三维物体的隐含多项式曲面拟合次数的确定。

Based on the theory of shrinkage, capillary force theory, the influence of road concrete additives in common use on surface tension of water is studied, and the results show that the influence of water reducer is very small whereas shrinkage-reducing agent and air entrainer can reduce surface tension of solution significantly. The relation between surface tension and additive dosage are non-linear relation. Each additive has an obvious critical micelle concentration.

从混凝土收缩的基本理论——毛细管张力理论出发，通过道路混凝土外加剂对水的表面张力的影响研究发现，减水剂对水的表面张力的影响很小，而减缩剂和引气剂可以大幅度降低溶液的表面张力，溶液的表面张力随外加剂的掺量呈非线性形式降低，而且都存在临界胶束浓度。

This paper introduces the micro-scale elastic theory of adhesive contact, which can be used to calculate the adhesive force, and the application of the JKR theory in the synthetic seta.

文中对微尺度粘着弹性理论及其在人工合成壁虎刚毛设计中的应用进行了比较全面的阐述和分析。

The spectral graph theory is one of the main branches in algebraic graph theory, it is mainly concerned with the adjacency spectrum and the Laplacian spectrum.

图的谱理论是代数图论中的一个重要课题，主要涉及图的邻接谱与图的Laplacian谱的研究。

Chavent's research for matching the history of production in a field by use of optimal control theory and through the research for the space of the adjoint function, we have extended the theory of adjustment for the ease of a single-phase system to a double-phase one.

Chavent利用最优化理论研究油气藏生产动态拟合的基础上，通过对伴随函数空间的研究，将辨识理论由单重介质系统扩展至双重介质系统，并针对原方法多解，迭代中易发生逸出、振荡、仅收敛于局部极小等困难，重点研究和探讨了改善问题的适定性和加速算法的收敛性问题。

The thesis apply the theory of exchange expense and the theory of consign to credit activity. Credit market is deemed as an imperfect market, the paper analyzing the problem of Adverse Selection, Moral Hazard, Credit Admeasure that caused by information asymmetry, so to check the credit system arrangement at academic angle.

论文把制度经济学的委托代理、交易费用等理论应用于我国银行的信贷实践，将信贷市场视为一个不完全信息的市场，分析由此导致的逆向选择和道德风险、信贷配给等问题，从理论的角度考查了信贷制度安排。2、对我国不同阶段的信贷制度进行了一次全面彻底的梳理。

Adoptionism, in a broad sense, a christological theory according to which Christ, as man, is the adoptive Son of God; the precise import of the word varies with the successive stages and exponents of the theory.

adoptionism ，在广泛的意义上说，基督论的理论根据，以基督，作为男子，是领养上帝的儿子；确切进口的字不同，同历次阶段和指数的理论。

And use the prior and more consummate ways to carry through vaneaccidence design, These ways have own technology points and disadvantage, In this paperstressly discuss the momentum-element theory way, this way was developed in the basic ofthe two ahead ways, and it overcome their defect. It also use element theory to deal withvane design. In the vane designing and aerodynamical characteristic calculating they bothrelate with intervene gene, so the keystone is to carry through the intervene gene in twocase, thereout to do the vane design and aerodynamical characteristic calculating.

运用翼型的基本概念和风力机叶片的基础外型参数进行叶片设计的预研讨论，并分别运用了Glauert和Schmitz叶片设计方法叶片进行初步设计，这两种方法有其各自技术特点和缺点，文中还着重研究了动量—叶素理论方法，这种方法在前两种设计方法的基础上发展而成，并采用两者的叶素研究方法进行叶片设计，动量叶素理论方法在进行叶片外型设计和叶片气动特性计算都涉及到干涉因子，文中重点对设计和计算情况下的干涉因子进行处理，并由此来设计叶片的外型和进行气动特性的计算。

The dissecting of samples in group2 were difficult. The root of pulmonary artery and ascending aorta failed to be unfolded because fibrous tissue was tough, right and left fibrous trigone were too firm to be solved by hand. Cardiac muscle fibers couldn't be stripped along myofibrillar trajectory since they were prone to break because of their friability.

组2的心脏解剖困难，表现为纤维组织坚韧，游离肺动脉非常困难；徒手无法松解左、右纤维三角，肺动脉和主动脉根部的游离非常困难；心肌纤维坚硬、质脆，解剖时容易断离成碎块，无法沿纤维走行方向剥离。

We have battled against the odds in a province that has become increasingly violent.

我们对在一个争夺日益激烈省的可能性。