|
|
|
说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
|
|
|
1) Component-level reduction rules
组件级化简规则
2) simplification rules
简化规则
1.
Petri nets simplification rules based on FMS;
基于柔性制造系统的Petri网模型简化规则
2.
And the simplification rules of the four basic workflow pattern based on FTCPN and their.
针对传统的Petri网不能对工作流系统的不同事件和事件的时间性能进行分析和优化的问题,给出了模糊时间着色Petri网(Fuzzy-timing colored PetriNet,FTCPN)的形式化定义,并给出了基于FTCPN的工作流网四种基本组件模型的简化规则及其线性推理。
3) reducing rules
化简规则
1.
gives reducing rules of work- flow logic net that based on Petri nets.
给出了基于Petri网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规则,进而用一个具体的实例进行了验证。
2.
This paper generalizes the classical Davis-putnam pure literal rules to propositional modallogic D and presents some reducing rules that describe the characters of the deducing procedure inmodal logic D.
以分析模态逻辑中文字公式的极性为基础，将经典逻辑的Ｄａｖｉｓ－ｐｕｔｎａｍ纯文字化简规则推广到了命题模态逻辑Ｄ系统的自动演绎中，并给出了一些刻划Ｄ逻辑自动演绎特征的化简规则，这些化简规则通过对公式、子公式和公式集的有效性（或不可满足性）的有条件的判断，进行证明过程的剪枝和化简，以提高Ｄ逻辑自动演绎的效率；这些化简规则都是依据公式（集）本身的结构特征，可用于Ｄ逻辑的任意一种推理实现系统，在机器上是容易实现的。
4) reduction rules
化简规则
1.
The research concentrates on the aspects related to reduction rules for Petri Net based Representation for Embedded Systems (PRES+).
为了提高基于Petri网表示的嵌入式模型(PRES+)验证的效率,对模型进行了保性变换,给出了一组关于PRES+模型的化简规则,这些化简规则在原模型和简化模型之间保持完全等价关系。
5) Rule simplification
规则简化
6) rule bases reduction
规则库简化
补充资料：虚拟机床加工系统的组件化设计
摘 要：虚拟机床加工系统的组件化设计使我们建立了一个多总线的、并行的虚拟系统。这个系统能够完成虚拟加工，实现优化加工工艺、预报和检测加工质量的目标。本文对该系统体系结构的一些基本问题进行了研究。由于运用了组件技术，使系统的开放性、可扩展性更强，结构更加灵活。并使虚拟机床加工系统与其他虚拟系统以及CAD/CAM系统、制造网络上加工地之间的协作更加默契。同时也为今后工作的开展奠定了良好的基础。 关键词：组件技术；虚拟机床加工系统；总线 1、 概论 如何缩短产品开发周期、消除废品生产、降低产品成本以提高产品的综合竞争能力，是现代制造企业所面临的决定其是否继续生存的新要素。为适应这种状况，敏捷制造的概念被提出。并行工程和虚拟制造技术成为敏捷制造的最为重要的使能技术。面对经济的全球化和工业环境的竞争要求，虚拟制造技术应该以广域的制造资源为出发点，以在虚拟的环境中描述加工过程及加工质量为其最终目的。为此开展了虚拟机床加工系统(VMT Virtual machine Tool )的研究，提出了虚拟机床加工系统的基本体系结构。通过虚拟机床加工系统可以优化加工工艺、预报和检测加工质量，可以在分布制造网络中很好地利用广域的制造资源迅速而快捷地实现生产制造，为敏捷制造的实施奠定坚实的基础。 2、虚拟机床加工系统的概念及基本要求 虚拟机床加工系统主要是针对虚拟制造系统中的虚拟加工单元而言的。机床—刀具—夹具—工件所组成的加工系统是加工单元的物理实体的重要组成部分。一个或多个这样的系统的组合便构成一个加工单元的物理结构。通过这个组合并在信息系统的支持下，加工单元便可完成预定的加工任务。虚拟机床加工系统便是这个重要组成部分在虚拟空间的映射。它同样也是虚拟加工单元的重要组成部分。它是由虚拟的机床—刀具—夹具—工件所组成的虚拟系统所构成的。这一虚拟机床加工系统的扩充和集成将发挥虚拟加工单元的功能，完成所规划的虚拟加工单元所要完成的虚拟生产任务。
虚拟机床加工系统与现实中的机床加工系统是一一对应的，具备现实机床加工系统的全部功能、特征和行为。能够完成现实机床加工系统同样的生产任务，它的内涵是非常丰富的。试图用一个准确的定义来说明它是很困难的，但我们知道它是一个软件工具、一个计算机系统。也就是说虚拟机床加工系统是在计算机上建立的一套能够描述真实加工过程、允许使用者测试和优化加工工艺(机床的选择及加工过程等)以及预测加工质量的软件工具。它可以根据实际加工机床或加工中心的状况进行初始化，然后用数控代码驱动虚拟机床进行切削加工，它除可描述刀具的真实运动轨迹，完成诸如碰撞、干涉检验等功能外，还可逼真地描述加工后工件的形状误差、位置误差、几何尺寸误差和表面粗糙度等属性。它生产的是数字产品。它最大的好处是不消耗实际的资源和能量。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条
|