查询词典 e-boat

Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.

本项目研究旨在根据XYZ系统的特性，在时序逻辑语言XYZ/E的基础上，提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

Applying the Whitney-Riley model to the soil-root complex, calculating formulas, which were related to modulus of elasticity E in direction of plant roots growth, modulus of elasticity E to be vertical to direction of plant roots growth and shearing modulus G in plane of plant roots growth, were established.

运用Whitney-Riley模型，推导出土壤—根系复合体根系生长方向的弹性模量E、垂直于根系生长方向的弹性模量E和根系生长平面的剪切模量G等工程常数的理论计算公式，为进一步研究土壤—根系复合体工程特性提供了一种方法，具有一定的参考价值。

Assume β=1, and confidence level is 0.95, the length of normal confidence interval is compared to the length of shortest confidence interval, the results show: both absolute difference d and relative difference e are decreased by the increasing sample number n, when n≤9, e≥10%.

在假设参数β=1，置信水平为0.95的条件下，比较了常用置信区间与最短置信区间的长度，结果表明：两者长度的绝对差d和相对差e均随样本容量n的增大而减小，当n≤9时，e≥10%。

Design the Parametric Modeling of automatic feeding systems with Pro/E,and the virtual assembly process is carried out. In the Mechanism module of Pro/E,the motion simulat...

利用Pro/E对自动送料系统进行参数化造型和虚拟装配，在Pro/E的机构模块中，对自动送料系统的上料过程进行运动仿真，仿真结果表明自动送料系统设计合理、不存在干涉，满足了棉麻纤维液氨改性过程上、下料自动化的要求。

Mixed monotone operator; Singular two-point boundary value problem; Generalized e-concave operator; Generalized e-convex operator; Mixed monotone multivalued operator; Fixed point

基础科学，数学，数学分析混合单调算子；奇异两点边值问题；广义e-凹算子；广义e-凸算子；混合单调多值算子；不动点

As the trough of D, E and the slot F (it belongs to the other end of spiral) of the sealing surface of convergence, there is a triangle similar to a positive gap a'b'c ', so D, F, E will also be connected.

由于在槽D、E与槽F相衔接的密封面上，也存在着类似于正面的三角形缺口a'b'c'，所以D、F、E也将相通。

As the slot D, E and slot F (it belongs to the other end of spiral) converging sealing surface, there are also similar to the front of the triangle gap a'b'c ', so D, F, E will be connected.

由于在槽D、E与槽F相衔接的密封面上，也存在着类似于正面的三角形缺口a'b'c'，所以D、F、E也将相通。

Heat treatment technique of forged grade E steel coupler yoke has been studied in this paper, in which the real-time temperature measuring method is utilized to determine the reasonable heat treatment regulation for mass production of forge.

本文研究了锻造E级钢钩尾框的热处理技术，采用实时测温技术确定了锻造E级钢钩尾框批量生产的合理的热处理工艺规范，并通过计算机模拟优化方法确定了E级钢材料的最佳热处理工艺参数。

When the electric field is weak, it is reasonable to neglect the heat flow vector and the stress tensor parallel to E × B and E , respectively.

在电场比较弱的情况下，沿着 E × B 和 E 的方向上，热流矢量项和黏滞张量项是可以分别忽略掉的。

Vitamin E has a wide range of positive effects in cancer particularly vitamin E succinate.

维生素E具有广泛的积极影响癌症特别是维生素E琥珀。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。