... 约束态响应应变 constrained responsive strain 约束相变 constraint transformation 云母 mica ...
基于6个网页-相关网页
discrete event systems,supervisory control,Petri nets,controller,inequality constraint,constraint transformation,OR logic, hierarchical control,Synthesis,colored Petri nets,finite capacity place,inhibitor arc,enabling arc
离散事件系统,监控,Petri网,控制器,不等式约束,约束转化,或逻辑,层次控制、综合,有色Petri网,有限容量库所,抑制弧,使能弧。
参考来源 - 离散事件系统的Petri网控制器综合·2,447,543篇论文数据,部分数据来源于NoteExpress
The actual NIEM-generated and imported sub-schema files are not actually used in the constraint to XForms transformation process.
在约束到X Forms的转换过程中,实际上并不使用NIEM生成和导入的子模式文件。
Transformation rules at the attribute level, documented using Object Constraint Language (OCL).
属性级的转换规则,用目标约束语言(Object Constraint language,OCL)编制而成。
The equivalent transformation approach is put forward for the probability constraint.
提出了概率约束的确定性等价转换方法。
应用推荐