逍遥学能 2018-10-09 11:43
17. In this paper, the descriptive semantics of class diagrams, interaction diagrams and state machine diagrams are defined by first order logic formulas. A translation tool is implemented and integrated with the theorem prover SPASS to enable automated reasoning about models.
本文用一阶逻辑定义了UML的类图、交互图和状态图的描述语义，并介绍我们实现的将UML模型转换成逻辑系统的软件工具LAMBDES，该工具集成了定理证明器SPASS，可以对模型进行自动推理。
18. Two general categories of dislocations are spiral and line, the terms being aptly descriptive of their shape.
位错一般分为两种形式，螺形和线形位错。其术语恰当地表征了它们的形状。
19. Two general categories of dislocation s are spiral and line, the terms being aptly descriptive of their shape
位错一般分为两种形式，螺形和线形位错。其术语恰当地表征了它们的形状。
20. There is some excellent descriptive writing in his novel.
在他的小说里有些极好的描写。
1. descriptive的反义词
1. 描述的;描写的;叙述的;说明的
Descriptive language or writing indicates what someone or something is like.
e.g. ...his descriptive way of writing.
他的描写性写作手法
1. It's also another breakthrough for the artist in his creative style and descriptive method.
2.
2. It is believed Suarez told the panel this was a descriptive expression and not deemed offensive in his home country.
3.
3. One would be wrong to assume from its length that this masterpiece is totally descriptive in style.
4. The list offers hundreds of descriptive English names to help Beijing's Olympic guests better understand what it is they are ordering.
5. Each of them was named after a poetic and descriptive phrase, interpreting the formation they took.
adj
1. describing the structure of a language
e.g. descriptive grammar
2.
2. serving to describe or inform or characterized by description
e.g. the descriptive variable
a descriptive passage