描述

It makes full use of the advantages, including that algebraic semantics describes the abstract data types, Hoare logic describes the software functions and UNYFY logic describes the properties of parallel programs.

其目的在于充分发挥并集成代数语义描述抽象数据类型、Hoars逻辑描述功能、UNITY逻辑描述并行程序性质的优点。

The book follows four characters, loosely based on my uncles.

该书描述了4个角色，大致上以我的几个叔叔为原型。

Description: This is a still life painting depicts some florid flowers.

描述: 这幅画描述描述一瓶绚丽的花朵的静物画.

Moreover, we have presented and proved a 4I framework used to describe temporal topological relationships completely and uniquely, listed a set of predicates describing temporal topological relationships, distinguished the intention and the predicate description form of temporal topological relationships and time direction relationships.

同时，提出并证明了完备、唯一的描述时态拓扑关系的4I框架，列出了时态拓扑关系描述的谓词集，区别了时态拓扑关系和时间方向关系的内涵和谓词描述形式。

Several conclusions could be drawn from the results described above.

从上文描述的结果中可以得出几个结论。

Plainly, a more objective method of description must be adopted.

显而易见，必须采用更为客观的描述方法。

This study is described under "General Diseases of the Eye"

“普通眼科疾病”这一部分里对该项研究作了描述。

Finally, taking one virtual equipment as the UUT, we describe it standardly using this Test Description Language and give the test program applying the describing document.

最后，以某虚拟装备为被测对象，利用该流程描述语言进行了标准化描述，并给出了应用该描述文档开发的测试程序。

This description didn't seem to tally with what we saw.

这一描述似乎与我们目睹的情况不符。

The persons and events portrayed in this production are fictitious.

这部作品中描述的人物和事件均属虚构。

When the component is described, a novel method is presented on three fects of basic information, function information and nonfunction information and the details of those fects are also given in this paper.

对可撤除掌纹构件的描述，提出了从基本信息，功能信息和非功能信息三个刻面对构件进行描述的方法，并给出了这几个刻面需要描述的详细信息。

Anticline and syncline, geometrical elements of fold, description and recognition of fold in the field.

背斜和向斜 、 褶皱的几何要素、褶皱的描述和褶皱的野外描述.

The judge described the offences as nauseating and unspeakable.

法官将这些犯罪行为描述为“令人作呕、说不出口”。

He gave a detailed account of what happened on the fateful night.

他详细描述了那个灾难性夜晚所发生的事。

Two men answer-ing the description of the suspects tried to enter Switzerland.

与描述的疑犯样子相符的两名男子试图进入瑞士。

He described the difficulties of surviving for four months as a captive.

他描述了被俘4个月里挣扎求生的艰难岁月。

By extending ordinary factors to fuzzy factors in the logic rule description language, it defines a generalized logic rule description language and a generalized hierarchical rule-based model which can be used to model DES and FDES.

通过将原有逻辑规则描述语言中的普通因子延伸为广义因子，定义了一种兼顾清晰离散事件系统和模糊离散事件系统建模要求的广义逻辑规则描述语言及由其描述的广义分层规则化模型。

Both a free volume approach for Helmholtz free energy and a theoretically-based fitted formula for radial distribution function ( rdf) of hard sphere solid were employed to describe the Helmholtz free energy of Lennard-Jones ( LJ) solid in the framework of first order thermodynamic perturbation theory.

结合描述硬球固体Helmholtz自由能的自由体积方法与描述硬球固体径向分布函数的拟合的分析表达式与一阶热力学摄动理论，用于描述Lennard Jones（LJ）固体的Helmholtz自由能。

He described the situation as very dangerous and called for resolute action.

他将形势描述得非常危险，并号召采取果断行动。

Adobe System Inc.'s PostScript language is a page description language with powerful text and graphics capabilities, which is designed to deal with the raster output devices. Postscript language has become a "de facts" standard of the output description for high quality hard copy.

Adobe System公司研制的Postscript语言是一种广泛应用于光栅设备、具有极强的正文、图形描述能力的页描述语言，现已成为高质量硬拷贝输出描述的事事上工业标准。

After a brief introduction to the formal description technique LOTOS and ISO/ OSI session layer standard, this paper specifies the OSI session layer in detail and an architectural model and some important models are given.

本文通过对形式化描述技术LOTOS语言和ISO/OSI会话层标准的简要介绍，较详细地讨论了用LOTOS语言对OSI会话层的形式化规范描述，给出了其结构模型及一些重要的模块结构描述。

Recall that files in the standard library are described by file pointers rather than file descriptors.

我们回忆一下,标准库中的文件不是通过文件描述符描述的,而是使用文件指针描述的.

The myth of Narcissus is described in Ovid's work.

有关那喀索斯的神话故事在奥维德的作品中有过描述。

The historian Yakut described it picturesquely as a "mother of castles".

历史学家雅库特把它形象地描述为“城堡之母”。

We know them as inaccurate and misleading property descriptions.

我们认为对性状的这些描述是不准确的，且会使人产生误解。

It is showed that the classical limit of the double wave description could have the same results as those of pure classical mechanics.

讨论含时外电场中带电谐振子的双波描述，给出相关物理量的时间演化方程，得到双波描述的经典极限与纯经典描述相一致的结论。

Currently the main description method of software architecture is Architecture Description Languages ( ADLs), but the description capability of ADLs is obviously deficient.

当前对软件体系结构的描述通常都采用体系结构描述语言（ADLs），但ADLs在对软件体系结构的动态、可进化和可扩充特征方面的描述能力明显不足。

These descriptors are invariant under translation, rotation, and scale, but variant under affine and projective transformation. Five-point invariant descriptor is a contour presentation method and consists of a series of five-point invariants.

这些描述子在相似变换下，能够保持平移、旋转、尺度不变，但在仿射投影变换情况下则不再保持不变性。五点不变量描述子也是一种描述轮廓的方法。

Her description of the nature and action of poisons is amazingly accurate.

他对一些毒药的性质和作用的描述惊人地准确。

It describes complex configuration process and usage and diagnosis methods of complex device and represents device characteristics in graphics mode base on software module and extended XDDL with self-define tags.

并针对XDDL在描述复杂设备的复杂配置、诊断过程和使用方法描述以及可视化描述等方面的不足，提出了一种扩展基于XDDL的设备描述的方法。