We base our formal transformation on the architectonic of a "vertical folded-plate."
我们的正式转型是建立在一个建筑学上的“垂直折板式”体系。
This transformation grammar can be used to describe the formal transformation between programming languages.
使用这种转换文法，可以描述程序语言之间的形式转换。
On the IT side, there is no formal transformation mechanism to convert requirements and their evolving changes into executable structured programs.
在IT方面，没有正式的转换机制将需求及其不断的更改转换为可执行的结构化程序。
Software refinement is an important technology with respect to transformation from formal specification language to executable code.
软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。
English metaphor can be reproduced in Chinese by literal translation, literal translation with annotation, image transformation and free translation for formal, functional or cultural equivalence.
在翻译成汉语时，可采用直译，直译加注，形象转换及意译等处理方法，以求得在功能、形式、文化上的等同。
By applying formal asymptotic analysis and Laplace transformation, we obtain two-dimensional model system of linearly viscoelastic "flexural" shell from three-dimensional equations.
应用形式渐近分析和拉普拉斯变换，我们从三维线性粘弹性方程组得到二维线性粘弹性弯壳的数学模型。
Entity grammar system is a kind of formalized grammar system, which can be used to describe the component parts, organization patterns and transformation rules of complex systems in a formal way.
实体语法系统是一种形式化语法系统，可用于形式化地描述复杂系统的组成单位、组织方式、变化规律。
The transformation from static, formal structure to dynamic, substantial structure is a span of diverse and selective course structure about understanding the course structure;
从静态、形式结构向动态、实质结构转向是多样化、选择性的课程结构在课程结构理解上的一次跨跃；
The transformation from static, formal structure to dynamic, substantial structure is a span of diverse and selective course structure about understanding the course structure;
从静态、形式结构向动态、实质结构转向是多样化、选择性的课程结构在课程结构理解上的一次跨跃；
应用推荐