2) propulsion module
推进装置模块
3) modular reasoning
模块推理
1.
Owing to the characteristics of quantification and obliviousness of aspect-oriented language, it is more likely to cause the problems of behavioral interference, and program verification and modular reasoning of aspect-oriented programs are more difficult than that of traditional paradigms.
由于面向方面语言(Aspect-Oriented Language,AOL)的不知觉性和多量化特点,面向方面程序设计更容易引起行为干扰问题,使得面向方面程序的程序验证和模块推理比传统程序方法学复杂的多。
4) propulsive model
推进模型
1.
This paper is concerned with the design, construction, and control of a novel biomimetic robotic dolphin equipped with mechanical flippers based on an engineered propulsive model.
根据海豚典型的背腹式推进的特点,提出一种工程化的推进模型。
5) Development Mode
推进模式
1.
Development Mode and Development Background of Population Modernization;
人口现代化的生成背景和推进模式——基于人口转变论的阐释
补充资料：固液混合火箭推进剂(见火箭推进剂)
固液混合火箭推进剂(见火箭推进剂)
solid-liguid hybrid rocket propellant
guye hunhe huoiian tui)in)i固液混合火箭推进剂(s olid一Iiguid hy-brid rocket proPellant)见火箭推讲齐，}_
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条