模块验证
- 与 模块验证 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
Associative
关联的
(2)关联的(Associative)通过创建零件、装配、绘图等方式,可利用Proe/ENGINEER验证模型. 由于各功能模块之间是相互关联的,如果改变装配中的某一零件,系统将会自动地在该装配中的其他零件与绘图上反映该变化. (3)参数化(Parametric) Pro/ENGINEER为一参数化系统,
-
conformance
符合性
何谓 ECMAScript 符合性在 ECMA-262 中,ECMAScript 符合性(conformance)有明确的定义. 一个脚本语言必须满足以下四项基本原则:符合的实现必须支持 Unicode 字符标准(UCS)DOM 遍历和范围 - 描述遍历和操作文档树的接口 DOM Level 3 引入了以统一的方式载入和保持文档的方法(包含在新模块 DOM Load and Save)以及验证文档(DOM
-
correctness proof
正确性证明
Kodosky介绍了一个名为"自动程序框图验证"的研究,以期能将"正确性证明(correctness proof)"加入到虚拟仪器程序框图源代码之中. 用户可以通过名为定理模块的图形结构用正确性断言(correctness assertion)来评注他的程序框图. 用LabVIEW编译程序框图时,
-
modified workweek
变动的工作周
modified replication 修改型验证实验 | modified workweek 变动的工作周 | modularity 模块化
- 推荐网络解释
-
Jaycee：房祖名
房祖名(Jaycee)投资六位数字代理薄荷糖,前晚於中环某酒吧举行庆祝派对,成龙大哥现身撑爱子场,引起一阵混乱,可惜成龙大哥一到场即急步进场,之后又走后门离去,整晚显得十分低调.
-
basement complex：基盘岩群;基盘杂岩
"基盘","basement" | "基盘岩群;基盘杂岩","basement complex" | "基盘岩石","basement rock"
-
trilateral foramen：三边孔
腋窝 axillary fossa | 三边孔 trilateral foramen | 四边孔 quadrilateral foramen