1、

The encoding method and the method of realizing the parameters of genetic unit bounding box of part gene are given first.

首先给出了零件基因模型,并在此基础上给出了基于编码表示的体基因基因串,以及基于包围盒表示的基因单元参数的描述方法。

互联网摘选

2、

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

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

互联网摘选

3、

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

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

互联网摘选

4、

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

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

互联网摘选

5、

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

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

互联网摘选

6、

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.

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

互联网摘选

7、

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

互联网摘选

8、

Study of cartographic semantics model based on description logic

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

互联网摘选

9、

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

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

互联网摘选

10、

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

互联网摘选

11、

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自动推导求值。

互联网摘选

12、

Semantic Web-Oriented Specification of Logic Descriptive Primitives

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

互联网摘选

13、

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

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

互联网摘选

14、

The component description model contains function attributes, non-function attributes and QoS attributes.

提出包含功能属性,非功能属性和质量属性的构件描述模型。

互联网摘选

15、

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

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

互联网摘选

16、

This article described the system structure and mode function design.

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

互联网摘选

17、

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

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

互联网摘选

18、

The increase of the area of the inner surface can be considered as Heaviside step function, its derivative is Dirac delta function.

内表面的增加可以用Heaviside阶梯函数来描述,它的微分为Dirac函数。

互联网摘选

19、

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

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

互联网摘选

20、

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网。

互联网摘选

  • 今日热词
  • 热门搜索

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈