|
|
|
说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
|
|
|
1) Symbolic formulation
符号建模
2) architectural sign
建筑符号
3) construction symbol
建造符号
4) BPMN
业务流程建模符号
1.
ORG) made three norms and standards: Business Process Modeling Notation(BPMN), Business Process Modeling Language (BPML) and Business Process Query Language (BPQL).
ORG)制定了三个规范和标准：业务流程建模符号(BPMN：Business Process Modeling Notation)和业务流程建模语言(BPML：Business Process Modeling Language)以及业务流程查询语言(BPQL：Business Process Query Language)。
5) Business Process Modeling Notation(BPMN)
业务过程建模符号
1.
This paper presents a novel solution method based on structured theorem, which shifts the unstructured programs to structured ones for Business Process Modeling Notation(BPMN).
该文提出一种新的基于结构化定理的解决方法,把业务过程建模符号的非结构化程序转化为结构化程序,并通过一个实际案例说明其可行性。
6) symbolic simulation
符号模拟
1.
To solve the problem that SAT solvers usually has excessive backtraces during assigning binary values to an unassigned variables,a new SAT solver based on symbolic simulation and variable partition,which lower not only the number of backtrack but the memory blow-up,was presented.
针对SAT算法中回溯次数较多的问题,采用基于符号模拟和变量划分的方法来解决其不足。
2.
The paper introduces the history,basic technology,and the drawback of BDD blowup of symbolic simulation.
符号模拟将模拟验证从布尔值扩展到符号领域,是集成电路验证行业中的重要分支。
3.
We propose a method of implementing a symbolic simulation system which uses symbolic simulation and BDD.
通过运用符号模拟的方法和二叉决策图技术,给出了一个RTL级的符号模拟系统的实现方法。
补充资料：Imageware完善的自由形状建模和检测技术
新闻摘要:Imageware完善的自由形状建模和检测技术 Imageware产品在以下领域提供建模和应用驱动的解决方案： 自由形状产品设计、快速曲面、高质量曲面、逆向工程、计算机辅助校验、多边形建模、快速原型等，使客户能够在很短的时间内精确地设计建立和全面检验高质量的自由形状产品。 5天 基本模块Imageware Surfacing是一个功能强大的、
Imageware完善的自由形状建模和检测技术 → Imageware产品在以下领域提供建模和应用驱动的解决方案： 自由形状产品设计、快速曲面、高质量曲面、逆向工程、计算机辅助校验、多边形建模、快速原型等，使客户能够在很短的时间内精确地设计建立和全面检验高质量的自由形状产品。  Avalon Engineering设计的运动沙龙概念车模型，数字曲面初始设计用时1.5天 基本模块Imageware Surfacing是一个功能强大的、直观的曲面创建工具,可以直接创建由测量点、曲线、曲面形成的的自由曲面。柔性设计环境支持Bezier和NURBS曲面。动态曲面修改工具能够交互检测和变更设计，实时表现设计的含义和美感。建立工具提供从快速到高质量曲面的任意形状的功能，包括汽车Class A需要的高精确和平滑的曲面。有效的连续和约束管理工具使曲面到曲面连接的曲率连续。
实时诊断提供全面的质量分析工具，这些工具是鉴别表面曲率的仪器，加亮显示检测到的曲面瑕疵、偏离和不完整。Imageware数字检验工具包括加工性检查、分离线和曲面间隙，能够在数据提供给后续过程之前鉴别出设计缺陷。 
Modality Design的Ski binding从概念到分析 第2个基本模块Imageware Inspection是一个通用和容易使用的3D测量系统，用于比较物理零件和相应的理想CAD模型。偏离检查用图形和文字报告方式表现结果，报告可以用PDF格式在企业web网页上共享。此外，还提供工具处理光学检测点和离散的CMM测量数据。点处理使用户可以清除、采样、过滤、合并、交叉截面、偏置、投影点集、提取点和计算临界特征及边的尺寸。这在目前通过光学扫描仪采集的数百万点数据的处理时非常有效。 使用Imageware多边形建模工具从概念到制造的Jaguar X type hood
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条
|