1) engage
[英][ɪn'ɡeɪdʒ] [美][ɪn'gedʒ]
从事约束预约接合
2) engagement
[英][ɪn'ɡeɪdʒmənt] [美][ɪn'gedʒmənt]
约束,接合
3) potential accident restraint
预想事故约束
6) event sequencing constraints
事件约束
1.
A formal description method about event sequencing constraints is introduced in this paper.
本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE(extended constraints on succeeding and preceding events)对事件排斥约束和后决约束的定义,更全面地描述了前后事件的依赖关系,并给出了基于此方法的确定性测试和非确定性测试规则。
2.
JDPT defines events based on the runtime environments, records execution processes of the distributed program as event sequences, and defines event sequencing constraints to check the v.
JDPT基于运行环境定义事件,通过事件序列记录分布式程序的运行过程,并定义事件约束检测可行事件序列集的有效性。
3.
When a distributed program is under test, event sequencing constraints should be defined to check the event sequences generated after the program was executed.
测试分布式程序需要定义事件约束来检测程序执行产生的事件序列。
补充资料：约束
| 约束 constraint 对质点系各质点的位置和速度预先施加的几何学或运动学的限制。只限制系统位置的约束称几何约束；若还限制运动速度，而且这个限制不能化为位置的有限形式，则称为运动约束或微分约束。约束的数学表达式称为约束方程。力学系统同其包含约束方程类型的关系如下表：
约束还可分成单面约束和双面约束。受单面完整约束的质点可从约束面的一侧脱离；受双面完整约束的质点不能从约束面的任一侧脱离。常见的约束有柔性绳索或链条约束、光滑接触面约束、圆柱形铰链和球形铰链约束、铰链支座约束等。约束限制质点系中各质点的自由运动，故约束对质点系有作用力，称约束反力，简称约束力。掌握约束特性，写出约束方程，确定系统的受力状态，是研究系统运动或静止状态的重要依据。 只包含有限约束(包括几何约束和含时几何约束)的动力系统称完整系统。拉格朗日方程就是用于完整系统的最著名的动力学方程。至少包含一个不可积微分约束的动力系统称非完整系统。对非完整系统，要用更复杂的微分方程来描述。带有滚动轮子的系统(如自行车、汽车、飞机起落架等)大都是非完整系统。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条