OCL是一种声明式语言，也是一种形式化语言。
OCL is a declarative language, and also is a formal language.
通过隐式化的例子，验证了本文算法的准确性和有效性。
Finally, some examples are given which prove the effectiveness and accuracy of this method.
造型新潮、雅观！适合各种高级场所，在式化家中摆上一个更是美妙的选择！
Shape or fashion, regards! High places suit, the home was put on a wonderful choice.
而且一个rpc式的操作中，soap体被结构化来表示一个过程调用。
In an RPC-style operation, the SOAP body is structured to represent a procedure call.
楔形式——流行的基本式的3级窄化版。
对于交互式命令的自动化，Expect是当前可用的最好工具。
For automation of interactive commands, Expect is the best tool currently available.
然而，解决学校教育所带来的挑战注定是一个国际化的问题，就拿一种交互式数学教学系统“HeyMath!”
Already, some of the solutions to school-teaching challenges are as global as could be.
那么，它和其它自动化的手动式变速箱有何区别？
So, what's the difference between it and other automated manual gearbox?
例如，枚举成员的初始化式必须是常量表达式。
For example, the initializer of an enumerator must be a constant expression.
项目的简约设计支持预制模块化建筑构件移动式的传送方法。
The project's simple design supported the move to a prefabricated, modular construction delivery method.
提出了一种新的隐式曲面高质量三角化方法。
We present a new high quality tessellation method for implicit surfaces in this paper.
我们希望管理者将程序化程度高的技术与机械式组织匹配。
We should expect management to structure routine technologies with mechanistic organization.
当需要的时候，球应该自动化式地传给姚明。
When a basket is needed it should be automatic that Yao gets the ball.
拆装式家具；平板化包装；结构设计；计算。
KD furniture; flat packaging; structure design; calculation.
尤其是多式联运，运输链通常是集装箱化的。
Especially in multimodal transport, the transport chain is usually containerized.
分布式能源系统是迄今为止已商业化的天然气利用最佳方式。
So far, distributed energy system is the best utilization mode of gas as commodity.
而嵌入式软件是数字化产品的核心。
针对这种情况，本文研究了基于开放式数控系统的数字化采集技术。
Therefore the digitizing collection technology based on open CNC system is studied in this paper.
介绍一种网络化数字式高炉水温差检测系统。
Introducted a kind of network and digital system of furnace water temperature difference.
传统的螺栓式连接使琴颈和琴身的接触达到了最小化。
A typical bolt-on has minimal contact between the neck and body.
软件设计采用模块化积木式。
由理论、实验分离式教学变为理论实验一体化教学。
Theory teaching and experiment teaching combined together rather than separately.
参与式培训是公务员培训方式科学化的新选择。
Participative training is a new choice of the scientific training way of the civil servant.
中小商业银行国际化应采用渐进式的目标积聚战略。
The state-run commercial banks should adopt the progressive total cost leadership strategy.
当前卫星侦察信息军事应用还比较单一化，信息是被动式分发的。
The military application of satellite reconnaissance information is still simplified and passive.
同时此产品的在设计上定位为一个开放式、模块化的控制平台。
The design of the product aims at an open and modularized control panel.
嵌入式计算机是实现电子产品数字化、网络化的技术基础。
Embedded system is the technology base realizing the digital and network of electronic production.
整体结构采用“积木式”组合设计，部件标准化，无散件。
一种中国式的生存，在全球化的时代。
The survival of a Chinese-style, in this era of globalization.
一种中国式的生存，在全球化的时代。
The survival of a Chinese-style, in this era of globalization.
应用推荐