查询词典 description

Chapter 4 proposes the attributed context-free grammar description, transformation methods and framework of organization based on windows of visual languages in a human-computer interface, which provides a reasonable theoretical basis and methods for the description, expanding production and automatic erasion of visual languages and the design of a visual human-computer interface.

第四章提出了人机界面中可视语言的上下文无关属性文法描述、变换方法及基于窗口的组织结构，为可视语言的描述、扩展生成、自动擦消及构造可视人机界面提供了有力的理论依据及描述方法。

The Evolver software optimizes the broadest possible profile for the largest number of patients by trying a description of a typical patient, then testing how many fit that description, then tweaking the profile in a multitude of directions to see if more patients fit it, and then varying, selecting, and varying again, until a maximum number of patients fit the profile.

通过描述一名典型患者，然后检查有多少病例符合这份简介，再全方位修改简介，看看是否多数患者都与之相符，然后修改、选择、再修改，直至最大数量的患者符合这份简介，"进化者"软件为最大多数的患者优化了尽可能清楚的简介。

Automated geometric theorem proving, as a byproduct of the completion of geometric theorems, is further developed into automated quantitative description of geometric relations. The recovery of the geometric meaning of this quantitative description leads to a natural extension of the geometric theorem.

几何定理的机器证明作为几何定理完全化的副产品，被发展成几何定理的关系定量化，这种量化的几何还原就是几何定理的自然推广。

Configurations of substation structure,communication system and IED are explained,and that of substation IED is emphasized the examples in both function description and data description of feeder line protections.

阐述了对变电站结构、通信系统和IED进行配置所要做的工作，着重探讨了对变电站IED的配置。

According to the problems that are encountered in designing the mathematical knowledge representation language in NKI (national knowledge infrastructure) and after the discussion of ontological assumptions for mathematical objects, two kinds of formalisms for the representation of mathematical knowledge are provided. One is a description logic in which the range of an attribute can be a formula in some logical language; and another is a first order logic in which an ontology represented by the description logic is a part of the logical language.

根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题，并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法：一种是以一个逻辑语言上的公式为属性值域的描述逻辑；另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑。

The frontogenesis process involves in the interactions among the systems of multiple scales. Since the hardness of the nonlinear problem, it is difficult to study frontogenesis analytically. The introduction of the effects of orography, friction and diabatic processes generally makes impossible the analytical resolution of the problem and leads to the use of numerical models. Primitive equations are numerical integrated together with a detailed description of physical processes. The circulation obtained is then used to diagnose and test theoretical mechanisms. It should be noted, however, that a fully description of frontogenesis in explicitly resolving the of large-, meso- and micro-scale flow in the same framework is not yet possible because of the excessive computer capacity and the time required. In order to deal with the problem, the action of large-scale background has been simplified and taken into consideration through the addition of the forcing into the nonhydrostatic cloud model.

大气锋生是一种多尺度相互作用的过程，理论研究遇到非线性的困难，在考虑地形、摩擦、非绝热等物理过程之后，解析研究更加棘手，通过数值模拟搞清其中的物理机制是重要的研究手段，但是把大、中、小尺度甚至微尺度的系统及其相互作用过程在一个模式里同时模拟好仍然受计算机速度和容量的限制，本论文在非静力云模式中通过强迫方式加入大尺度变形场的作用，在考虑到大尺度背景作用的同时，可以充分利用云模式所提供的丰富物理过程、非静力和高分辨率特点，开展一些过去较难进行的研究工作。

The story of a beautiful grove of description, but more beautiful description of friendship.

故事中对小树林的描述很美，但对于友谊的描写更美。

In this paper, the description method and style of hardware description language and its development environment MAXPLUSII are detailed.

本论文对硬件描述语言的描述方法和风格做了一定的探讨，介绍了硬件描述语言的开发环境MAXPLUSII。

In this paper ; the description method and style of hardware description language and its development environment MAX+PLUS and QUARTUS are detailed.

在本文中对硬件描述语言的描述方法和风格做了一定的是说明。

Adopting generalized Jordan block and algebra equivalence transform method, all of the transfer functions at different load points can be transformed to state-space description with time variable. The steady robustness of three different mode of control systems were researched by mathematic analysis. It shows that: for the high order inertia controlled object with the characteristic of nonlinear and time-variable that described by the set of transfer functions, the Luenberger function observer established according to its any algebra equivalence state-space description, if some conditions can be met, there would be a matrix of T with n′n satisfied the Sylvester matrix equation TA- FT=GC.

采用广义约当块及代数等价变换方法，可将分段的传递函数描述转换为变参数的状态空间描述，对3种典型控制系统的稳定鲁棒性所进行的理论研究表明，对同一组传递函数描述的具有非线性和时变特性的高阶惯性受控对象，依据其任一代数等价的状态空间描述所构建的Luenberger函数观测器，在满足一定的条件时，存在n′n解阵T满足Sylvester矩阵方程TA- FT=GC。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。