We can study program transformation, program optimization and investigate general theorems of program properties with help of it.
它享有优美的代数性质，有助于程序的转换、优化和探求有关程序性质的一般定理。
In this paper, a gerenal designing method for the patterns of recursive program transformation is presented, and some related examples are given.
本文提出递归程序变换模式的一般设计方法，并以具体示例说明之。
According to this transformation grammar, a program transformation algorithm can transform source language programs into object language programs.
程序转换算法根据转换文法，可把源语言程序转换为目标语言程序。
Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.
最后还给出了时间化RSL的一些代数定律。这些定律可以从其指称语义证明，并用于程序的转化和优化。
The DMS language used to accomplish transformations is called the "(DMS) rule Specification language", or RSL, and is used to specify (program transformation) rules.
用于完成转换的DMS语言被称为“(DMS)规则规范语言”，或rsl，和用于指定(程序变换)的规则。
The polyhedral representation technique provides a generic way to express program transformations and their composition, which facilitates the search of optimal program transformation.
多面体表示技术提供一种统一化的方式来表示程序变换和程序变换组合，有利于最优程序变换的搜索。
After you get executive support for the transformation initiative, you establish a program plan for SOA.
您获取主管对转换活动的支持后，可以为SOA建立程序计划。
Adding a new transformation rule is as easy as dropping an XSL program into a directory.
添加一个新的转换规则与将XSL程序放入目录中一样简单。
The sub-procedure performs the transformation logic before calling the corresponding RPG SQL service program sub-procedure.
子过程在调用对应的RPGSQL服务程序子过程之前执行转换逻辑。
The three complementary techniques can be used in a single project, or for enterprise-wide transformation, or in a hybrid where enterprise goals are sought under a program that has multiple projects.
这三个互补的技术既可用于单个项目，可用于企业级的战略转型中，可也用于混合环境中，比如某些企业目标是通过一个包含多个项目的项目集实现的。
Don't do the 3 year "transformation program" because you'll fail.
别做那种为期三年的“转型项目”，因为你会失败。
Another related program is dacstransform, a utility for rule-based document transformation.
另一个相关程序是dacstransform，此实用程序用于执行基于规则的文档转换。
Work is done on auto transformation from the program Description chart (HCP chart) to the program code. Some new schemes, "Graphic Guided Coding" and "Domain Knowledge Aided Coding", are introduced.
本文介绍了笔者做的从程序描述图形(HCP图)到代码(程序)自动变换的工作。本文引入了“图形制导编码”和“专门知识辅助”的自动代码生成的新方法。
On the base of the program pre-reading and the smooth algorithm between lines for micro-beeline machining of CNC milling, the arc smooth algorithm with linear transformation is brought forward.
在数控铣微直线加工程序预读、直线段间平滑算法的基础上，提出了线性变换圆弧平滑算法。
Using matrix to process stereoscopy transformation, the program will be more laconic and the simulation system will be more reliable, and its efficiency is higher.
采用体视变换矩阵的方法进行体视变换，可使程序变得更加简洁，提高了模拟系统的效率和可靠性。
Code transformation program is programmed in popular FOXPRO command language based on the abovementioned analysis, and implementing procedures are described.
在简要分析的基础上，采用流行的FOXPRO命令语言编写码表转换程序，并叙述了实现步骤。
Transgenes should be with single copy and without accessory sequence, and with consistence to express and stable genetic in various transgenic plants in a new gene transformation program.
新的转化程序要求把基因导入农艺性状优良的品种中，呈单拷贝、不带有辅助序列，并在不同的转化体中表达一致，稳定遗传。
In this paper, a computer program is introduced which can generate the coordinate system transformation matrix and geometric equation.
本文介绍了一个计算机程序，它用于推导坐标转换矩阵，或几何关系方程。
It means the consolidation of a process of transformation of public Spaces in Montevideo under the "Commitment to Accessibility" program of the City of Montevideo.
这意味着将在蒙得维的亚市“无障碍坏境承诺”规定下，对这个城市的公共空间进行景观设计的巩固。
It realized the transformation of solid model into midplane model in injection molding simulation by means of alternative algorithm of mat and developed corresponding program module.
本文采用一种中轴变换的替代算法，实现了注塑模拟分析中实体模型向中面模型的转化，建立了相应程序模块。
Research the transformation method between well-defined medical data format in the thesis with other medical data format, then design and implement the data transformation program.
对本文所定义的医疗数据格式和其它医疗数据格式的转换进行研究，设计并实现了数据转换程序。
A study was performed on the PIV algorithm based on fast Fourier transformation (FFT), and the PIV program was compiled and verified.
在粒子图像测速原理的基础上研究了基于快速傅立叶变换的粒子图像测速算法，并编制算法程序进行验证。
Transgenes should be genes with single copy and without marker gene, and be able to express and stable inheritable in various transgenic plants in a new gene transformation program.
新的基因转化程序要求转基因为单拷贝，不带有标记基因，并在不同的转化体中表达一致，稳定遗传。
The paper probes into the solution, by means of the matrix elementary transformation, of the non-elementary feasible base of linear program.
对用矩阵的初等变换求线性规划的无初始可行基问题进行了探讨。
Main advances in the program "Production, transformation and transport mechanism of methane in the rice ecosystem" which won the first prize of CAS Natural Science Award are introduced in this paper.
本文介绍了获得中科院自然科学一等奖的“稻田生态系统甲烷产生、转化及传输机理研究”的主要内容和取得的主要进展。
The third chapter explores the transformation of public housing in more detail, HOPE VI program.
第六希望计划是改造公共住房的重要方案。
In this paper a method of proving the correctness of a computer program based on a transformation relation of the loop body is presented.
本文提出了利用循环体转换关系式的程序证明方法。
Control transformation can increase program's complexities and make the program less readable so as to protect software from reverse engineering and the person who wants to read the source codes.
控制流转换可以加大程序的复杂度，降低程序的可读性，从而克制反汇编工具和攻击者对程序的解读。
The data transform program has been compiled with MATLAB, which sequentially finishes transformation of part curvature radius into control coordinate of machine tool.
用MATLAB编写了数据转化程序，完成了变曲率零件从型值点的曲率半径到机床控制坐标的转换。
We have implemented a series of algorithm, which includes rule adornment, logic program adornment and factorization, magic transformation, factorizing magic transformation.
处理器中实现了本文中用到的一系列算法，其中包括：规则修饰、逻辑程序的修饰、魔集转换、逻辑程序的分解、分解的魔集转换。
应用推荐