符号轨迹评价方法,symbolic trajectory evaluation,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 符号轨迹评价方法

1) symbolic trajectory evaluation 点击朗读

符号轨迹评价方法

The two techniques,approximate value method and parametric method,which are used to eliminate the BDD blowup problem,and symbolic trajectory evaluation(STE) is also introduced.

介绍了具有一定自动机处理能力的符号轨迹评价方法。

2) trajectory reversing method 点击朗读

逆轨迹方法

In this paper the trajectory reversing method is adopted to estimate and visualize the stability regions for simple power systems.

基于逆轨迹方法实现了对简单(2阶和3阶)电力系统稳定域的准确估计和可视化研究。

3) symbol approach 点击朗读

符号方法

The formal methods of security protocol was categorized as two classes: the symbol approach,and the computatio￣nal approach.

安全协议形式化分析方法分为两种,即符号方法和计算方法。

The symbol approach and the computational approach are two different approaches in security protocols formal analysis, but the former is quite alien to the latter.

在安全协议的形式化分析中,有两种完全不同的观点:符号方法和计算方法,两者各有优缺点。

更多例句>>

4) generalized symbolic trajectory evaluation 点击朗读

推广化符号轨迹赋值

The paper introduced a strong model checking(SMC)algorithm in generalized symbolic trajectory evaluation(GSTE)and analyzed the reason leading to false negative,proposed the improved SMC algorithm to reduce the false negative.

介绍了推广化符号轨迹赋值中常用的模型检验强可满足性算法,分析了产生伪报错的原因,提出了一种降低伪报错的改进算法。

5) Symbolic Methods 点击朗读

符号化方法

例句>>

6) semiotic approach 点击朗读

符号学方法

例句>>

补充资料：NC刀具轨迹生成的方法研究

数控编程的核心工作是生成刀具轨迹，然后将其离散成刀位点，经后置处理产生数控加工程序。下面是刀具轨迹产生方法的简单介绍。

    基于点、线、面和体的NC刀轨生成方法

    CAD技术从二维绘图起步，经历了三维线框、曲面和实体造型发展阶段，一直到现在的参数化特征造型。在二维绘图与三维线框阶段，数控加工主要以点、线为驱动对象，如孔加工，轮廓加工，平面区域加工等。这种加工要求操作人员的水平较高，交互复杂。在曲面和实体造型发展阶段，出现了基于实体的加工。实体加工的加工对象是一个实体（一般为CSG和B-REP混合表示的），它由一些基本体素经集合运算（并、交、差运算）而得。实体加工不仅可用于零件的粗加工和半精加工，大面积切削掉余量，提高加工效率，而且可用于基于特征的数控编程系统的研究与开发，是特征加工的基础。

基于特征的NC刀轨生成方法

参数化特征造型已有了一定的发展时期，但基于特征的刀具轨迹生成方法的研究才刚刚开始。特征加工使数控编程人员不在对那些低层次的几何信息（如：点、线、面、实体）进行操作，而转变为直接对符合工程技术人员习惯的特征进行数控编程，大大提高了编程效率。

W.R.Mail和A.J.Mcleod在他们的研究中给出了一个基于特征的NC代码生成子系统，这个系统的工作原理是：零件的每个加工过程都可以看成对组成该零件的形状特征组进行加工的总和。那么对整个形状特征或形状特征组分别加工后即完成了零件的加工。而每一形状特征或形状特征组的NC代码可自动生成。目前开发的系统只适用于2.5D零件的加工。

Lee and Chang开发了一种用虚拟边界的方法自动产生凸自由曲面特征刀具轨迹的系统。这个系统的工作原理是：在凸自由曲面内嵌入一个最小的长方块，这样凸自由曲面特征就被转换成一个凹特征。最小的长方块与最终产品模型的合并就构成了被称为虚拟模型的一种间接产品模型。刀具轨迹的生成方法分成三步完成：（1）、切削多面体特征；（2）、切削自由曲面特征；（3）、切削相交特征。

Jong-Yun Jung研究了基于特征的非切削刀具轨迹生成问题。文章把基于特征的加工轨迹分成轮廓加工和内区域加工两类，并定义了这两类加工的切削方向，通过减少切削刀具轨迹达到整体优化刀具轨迹的目的。文章主要针对几种基本特征（孔、内凹、台阶、槽），讨论了这些基本特征的典型走刀路径、刀具选择和加工顺序等，并通过IP（Inter Programming）技术避免重复走刀，以优化非切削刀具轨迹。另外，Jong-Yun Jong还在他1991年的博士论文中研究了制造特征提取和基于特征的刀具及刀具路径。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

评价方法方法评价经典轨迹方法轨迹分析方法双项轨迹方差法

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 符号轨迹评价方法 1) symbolic trajectory evaluation 符号轨迹评价方法 1. The two techniques,approximate value method and parametric method,which are used to eliminate the BDD blowup problem,and symbolic trajectory evaluation(STE) is also introduced. 介绍了具有一定自动机处理能力的符号轨迹评价方法。 2) trajectory reversing method 逆轨迹方法 1. In this paper the trajectory reversing method is adopted to estimate and visualize the stability regions for simple power systems. 基于逆轨迹方法实现了对简单(2阶和3阶)电力系统稳定域的准确估计和可视化研究。 3) symbol approach 符号方法 1. The formal methods of security protocol was categorized as two classes: the symbol approach,and the computatio￣nal approach. 安全协议形式化分析方法分为两种,即符号方法和计算方法。 2. The symbol approach and the computational approach are two different approaches in security protocols formal analysis, but the former is quite alien to the latter. 在安全协议的形式化分析中,有两种完全不同的观点:符号方法和计算方法,两者各有优缺点。更多例句>> 4) generalized symbolic trajectory evaluation 推广化符号轨迹赋值 1. The paper introduced a strong model checking(SMC)algorithm in generalized symbolic trajectory evaluation(GSTE)and analyzed the reason leading to false negative,proposed the improved SMC algorithm to reduce the false negative. 介绍了推广化符号轨迹赋值中常用的模型检验强可满足性算法,分析了产生伪报错的原因,提出了一种降低伪报错的改进算法。 5) Symbolic Methods 符号化方法例句>> 6) semiotic approach 符号学方法例句>> 补充资料：NC刀具轨迹生成的方法研究数控编程的核心工作是生成刀具轨迹，然后将其离散成刀位点，经后置处理产生数控加工程序。下面是刀具轨迹产生方法的简单介绍。基于点、线、面和体的NC刀轨生成方法 CAD技术从二维绘图起步，经历了三维线框、曲面和实体造型发展阶段，一直到现在的参数化特征造型。在二维绘图与三维线框阶段，数控加工主要以点、线为驱动对象，如孔加工，轮廓加工，平面区域加工等。这种加工要求操作人员的水平较高，交互复杂。在曲面和实体造型发展阶段，出现了基于实体的加工。实体加工的加工对象是一个实体（一般为CSG和B-REP混合表示的），它由一些基本体素经集合运算（并、交、差运算）而得。实体加工不仅可用于零件的粗加工和半精加工，大面积切削掉余量，提高加工效率，而且可用于基于特征的数控编程系统的研究与开发，是特征加工的基础。基于特征的NC刀轨生成方法参数化特征造型已有了一定的发展时期，但基于特征的刀具轨迹生成方法的研究才刚刚开始。特征加工使数控编程人员不在对那些低层次的几何信息（如：点、线、面、实体）进行操作，而转变为直接对符合工程技术人员习惯的特征进行数控编程，大大提高了编程效率。 W.R.Mail和A.J.Mcleod在他们的研究中给出了一个基于特征的NC代码生成子系统，这个系统的工作原理是：零件的每个加工过程都可以看成对组成该零件的形状特征组进行加工的总和。那么对整个形状特征或形状特征组分别加工后即完成了零件的加工。而每一形状特征或形状特征组的NC代码可自动生成。目前开发的系统只适用于2.5D零件的加工。 Lee and Chang开发了一种用虚拟边界的方法自动产生凸自由曲面特征刀具轨迹的系统。这个系统的工作原理是：在凸自由曲面内嵌入一个最小的长方块，这样凸自由曲面特征就被转换成一个凹特征。最小的长方块与最终产品模型的合并就构成了被称为虚拟模型的一种间接产品模型。刀具轨迹的生成方法分成三步完成：（1）、切削多面体特征；（2）、切削自由曲面特征；（3）、切削相交特征。 Jong-Yun Jung研究了基于特征的非切削刀具轨迹生成问题。文章把基于特征的加工轨迹分成轮廓加工和内区域加工两类，并定义了这两类加工的切削方向，通过减少切削刀具轨迹达到整体优化刀具轨迹的目的。文章主要针对几种基本特征（孔、内凹、台阶、槽），讨论了这些基本特征的典型走刀路径、刀具选择和加工顺序等，并通过IP（Inter Programming）技术避免重复走刀，以优化非切削刀具轨迹。另外，Jong-Yun Jong还在他1991年的博士论文中研究了制造特征提取和基于特征的刀具及刀具路径。说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条

©2011 dictall.com