描述的例句大全

The Research on Description Method of Computer Operational Geographic Information in Wargame

计算机兵棋推演中作战地理信息的描述方法研究

Chayes depicts a secret CIA agenda "enabling the very summit of Afghanistan's kleptocracy."

蔡斯描述了中情局（CIA）的一个秘密议程，这个议程“帮助阿富汗盗贼统治到达巅峰”。

Rational Rose defines a set of properties for UML elements that describe their attributes.

Rational Rose为UML元素定义了一组描述它们的属性（attribute）的属性（propertie）。

If I asked you to describe Scala in a sentence, how would that sentence look like?

如果要您用一句话来描述Scala，您会怎么说？

The structural semantics of architecture models are described within typed category diagrams, and the behavioral semantics are represented by process traces affiliated to the categorical framework, and the mapping relations between component models are formally described by morphisms and functors of category theory.

模型的结构语义由类型范畴图表来指代，行为语义则由范畴附带的进程行为迹来表示，模型间的映射关系用范畴理论中的态射和函子来形式化描述。

Diamant introduces session management, credential management, environment evaluation and authorization engine with declarative semantics into authorization management architecture, using policy language to define inter-domain security policies.

Diamant将会话管理、凭证管理、环境评估和具有说明性语义的授权引擎等核心机制引入授权体系结构中，基于策略语言描述域间安全策略。

Study of cartographic semantics model based on description logic

基于描述逻辑的地图语义模型初步研究

Theory of Description, Direct Denotational Semantics and Two-Dimensional Semantics

传统描述、直接指称与二维语义理论

As a formal development tool, Petri net has strict mathematical semantics and can be used to analyze and validate a system conveniently to address the problems of lacking of formal description and validation in object-oriented technology.

Petri网作为一种形式化的开发工具，具有严格的数学语义，可以方便的对系统进行分析和验证，以解决面向对象技术缺乏形式化的描述和分析验证问题。

The method, which describes software specification in XYZ/ E, can assure semantic consistency between specification and software. On the other hand, the output expectation of test cases can be automatically evaluated from the specification as a Prolog program.

该方法采用XYZ/E描述，首先确保规范与被测软件的语义一致，其次，利用XYZ/E规范的逻辑程序属性，实现了对测试用例中输出期望的Prolog自动推导求值。

Semantic Web-Oriented Specification of Logic Descriptive Primitives

面向语义Web的逻辑描述原语扩展

Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.

由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。

At the final blowing stage, the relation between carbon content and decarbonization rate can be described by cubic function;

吹炼末期，碳含量和脱碳速率的关系可用三次方函数描述；

A three-layer structure module based on network, physical node layer and function node is discussed, it is designed on object-oriented software method.

描述了分布式测控系统基于网络、物理层节点和功能节点的三层结构模型。

This article described the system structure and mode function design.

文章同时描述了增值业务平台架构设计、模块功能设计。

By employing the pole-null representation, we demonstrate that the lateral shift is closely related to the null of the reflection function.

利应用极点-零点描述理论，我们发现光束的位移与光束在该结构中的反射系数函数的零点密切相关。

The researches show that the Fermi function can be used to describe the refractive-index profiles of the ion-exchanged planar waveguides.

研究表明，采用Fermi函数可以很好地描述离子交换平面光波导折射率分布情况。

Because biological processes are very complex, it is difficult to express them intuitively and some typical processes are reused frequently, so the thesis proposes object-oriented Hybrid Functional Petri net.

针对生物过程本身非常复杂、描述起来难度大，一些典型过程重用率高等特点，本论文提出了面向对象混合函数Petri网。

A Method of Describing Color Texture with Noise Function

基于噪声函数描述颜色纹理的方法

Advancing the method of disposal the correlated data with fuzzy function;

提出了利用模糊数学预处理史料中的相关数据的方法：对战争描述语言先进行规范化，然后再进行数据转换；