模型的结构语义由类型范畴图表来指代,行为语义则由范畴附带的进程行为迹来表示,模型间的映射关系用范畴理论中的态射和函子来形式化描述。
来源:互联网摘选将层次分析法、语义差别隶属度法等集成,形成了质量竞争力评价工具集。
来源:互联网摘选由于Petri网具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点,被越来越广泛应用于工作流过程建模和流程优化。
来源:互联网摘选文章从对词、概念、理论的语义分析入手,讨论了语义结构分析的过程和方法,并阐述了语义分析对理解科学理论的意义及对科学理论发展的功能和作用。
来源:互联网摘选所以本文研究以XML为公共模型,通过关系数据库与XML的可逆双向转换,建立异构关系数据源的统一转换工具。转换过程保留关系数据库的完整性约束。
来源:互联网摘选转换过程可保留关系数据库的实体完整性约束、参照完整性约束和绝大部分的用户自定义完整性约束。
来源:互联网摘选在转换过程中保证了数据的实体完整性、域完整性以及引用完整性。
来源:互联网摘选Influence of machining process on surface integrity of the mechanical components
加工工艺对机械零件表面完整性的影响
来源:互联网摘选切削温度与刀具磨损 、 工件加工表面完整性及加工精度密切相关.
来源:互联网摘选The analysis of signal integrity runs through to the entire process of PCB design.
笔者将信号完整性分析贯穿于PCB设计的全过程.
来源:互联网摘选Therefore , cognitive linguistics offers a valuable explanation semantic shift process.
认知语言学理论为旧词如何获得新义提供了一种新的解释.
来源:互联网摘选The Improvement Methodology is a process to generate positive and sustainable change in a system.
BHW咨询的方法论是一套对企业产生积极,可持续变革的流程.
来源:互联网摘选在定积分计算中,常常可以利用一个结论来简化计算偶函数、奇函数在对称于原点的区间上的定积分,这个结论能否在重积分计算中使用?
来源:互联网摘选This machine can process each kind lf linear-shaped and outside curved-shaped edge function.
产品特点本机具有加工各种直线型边、曲线型边的功能。
来源:互联网摘选因此,本文中连续混炼过程的强化效果主要是由于超声波的作用所致,而非超声变幅杆的销钉作用。
来源:互联网摘选The emphasis here is on the rational development process in terms of non-function requirements.
从而强调了依据非功能需求,探索合理化的软件开发进程。
来源:互联网摘选它既不是数列极限,也不是函数极限,而是一段特殊的极限。变量的描述比较模糊,没有清晰的变化过程。
来源:互联网摘选DSP端程序主要实现数据的采集与处理、特征量的计算、各种波形的显示、数据通信以及键盘译码等功能;
来源:互联网摘选
简答网 · 英语词汇

简答网 · 双语新闻

简答网 · 英语词汇

简答网 · 英语词汇

简答网 · 英语词汇

简答网 · 英语词汇