模态一元算子,modal like unary operators,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 模态一元算子

1) modal like unary operators 点击朗读

模态一元算子

For any element a in distributive BZ lattices, the rough approximation ( ν(a),μ(a ))of a is obtained by using two modal like unary operators ν and μ ( ν for necessity and μ for possibility).

对于分配BZ 格中任一元素a ,利用刻画必然性测度和可能性测度的模态一元算子ν和 μ ,可以得到a的粗糙近似 (ν(a) ,μ(a) ) 。

2) monadic operator 点击朗读

一元算子

3) unary operator 点击朗读

一元运算子

4) modal operator 点击朗读

模态算子

This paper optimizes the encoding of verifying G(p) and G(p→F(q)) which are two important and frequently used modal operators in optimization of encoding for bounded model checking (BMC).

G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子。

It is proved that if the function y=□x has n discontinuous points in the R0-type modal unit interval,then there are 2n kinds of modal operators □ making([0,1]R0,□)to be modal R0-algebras.

进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠,F是上集(即当a∈F,b≥a时,b∈F),且当a、b∈F时,□(a*b)∈F。

5) unary operator 点击朗读

一元运算符，一元算子

6) unary operator; monadic operator 点击朗读

一元算符(算子)

补充资料：基于Pro/MECHANICA的机床拖板有限元模态分析

本文介绍了基于Pro/MECHANICA的机床工作台拖板的有限元建模和分析过程，并将分析结果与常用的通用有限元分析软件ANSYS的分析结果进行了比较。通过比较得出结论：有限元工程师完全可以利用Pro/MECHANICA软件实现实体建模和有限元计算的无缝集成，并且能够保证有限元分析的计算精度，提高设计工程师的工作效率。

一、引言

机床支承件（如床身、立柱、拖板等）是机床的基础部件，起着承受力和容纳各种零部件作用。支承件的动态性能直接影响到加工工件的精度和生产效率，所以要求设计出的机床支承件必须具有足够的动、静态刚度。

长期以来，国内外机床支承件一般采用经验设计，但为了保证机床具有良好的动、静态性能，并尽可能减轻其重量，就要进行精密的理论计算。机床支承件结构复杂，至今尚未找到一种精确的方法来计算其动态性能。但随着计算技术和计算机技术的发展和广泛应用，工程师可以依靠数值方法给出近似的、较令人满意的答案。目前，在诸多方法中，用有限元建立机械系统动力分析的数学模型已成为其理论建模中最重要的方法。尽管有限元法还属于一种近似计算方法，对于一些结构复杂、受力情况和阻尼情况复杂的支承件来说计算精度并不是很高，但它对于计算支承件动态性能仍是一种最有效的方法。目前，用它来计算一般复杂程度的支承件的动态性能，完全可以得到较为满意的计算结果。

这里将利用美国PTC开发的有限元软件，Pro/MECHANICA对机床支承件中的拖板进行有限元分析，计算出该零件的固有频率和振型，为分析拖板的表面振动响应作必要的准备，也为机床拖板、床身、立柱等支承件的设计提供了一定的理论依据。

二、当前常用的有限元分析软件及其特点

目前对机械零件进行有限元分析一般采用通用有限元分析软件，如ANSYS、MARC等。它们拥有丰富完善的单元库、材料模型库和求解器，并且具有相对独立的前、后处理模块，可以独立完成多学科、多领域的工程分析问题。其缺点是前处理模块中的几何建模功能不强，无法完成复杂模型的建模，因此降低了结构分析结果的可信度。一些流行的三维设计软件却具有极强的几何模型的建模功能，如Pro/ENGINEER、UG和CATIA等。这些三维设计软件可以完成一些复杂的几何模型的建模工作。为了克服通用有限元分析软件建模功能较弱的缺点，当前普遍采用软件间的数据转换，即采用三维设计软件进行精确的三维建模，通过标准数据接口将模型以IGES、DXF或STEP格式读入到通用有限元分析软件中，然后通过该软件进行精确的计算。

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

参考词条

一元函子一元模式二元算子三元算子一元运算符秩一算子一秩算子

一元运算子;一元操作符怀疑模态算子模糊形态学算子一元算符

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 模态一元算子 1) modal like unary operators 模态一元算子 1. For any element a in distributive BZ lattices, the rough approximation ( ν(a),μ(a ))of a is obtained by using two modal like unary operators ν and μ ( ν for necessity and μ for possibility). 对于分配BZ 格中任一元素a ,利用刻画必然性测度和可能性测度的模态一元算子ν和 μ ,可以得到a的粗糙近似 (ν(a) ,μ(a) ) 。 2) monadic operator 一元算子 3) unary operator 一元运算子 4) modal operator 模态算子 1. This paper optimizes the encoding of verifying G(p) and G(p→F(q)) which are two important and frequently used modal operators in optimization of encoding for bounded model checking (BMC). G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子。 2. It is proved that if the function y=□x has n discontinuous points in the R0-type modal unit interval,then there are 2n kinds of modal operators □ making([0,1]R0,□)to be modal R0-algebras. 进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠,F是上集(即当a∈F,b≥a时,b∈F),且当a、b∈F时,□(ab)∈F。 5) unary operator 一元运算符，一元算子 6) unary operator; monadic operator 一元算符(算子) 补充资料：基于Pro/MECHANICA的机床拖板有限元模态分析本文介绍了基于Pro/MECHANICA的机床工作台拖板的有限元建模和分析过程，并将分析结果与常用的通用有限元分析软件ANSYS的分析结果进行了比较。通过比较得出结论：有限元工程师完全可以利用Pro/MECHANICA软件实现实体建模和有限元计算的无缝集成，并且能够保证有限元分析的计算精度，提高设计工程师的工作效率。一、引言* 机床支承件（如床身、立柱、拖板等）是机床的基础部件，起着承受力和容纳各种零部件作用。支承件的动态性能直接影响到加工工件的精度和生产效率，所以要求设计出的机床支承件必须具有足够的动、静态刚度。长期以来，国内外机床支承件一般采用经验设计，但为了保证机床具有良好的动、静态性能，并尽可能减轻其重量，就要进行精密的理论计算。机床支承件结构复杂，至今尚未找到一种精确的方法来计算其动态性能。但随着计算技术和计算机技术的发展和广泛应用，工程师可以依靠数值方法给出近似的、较令人满意的答案。目前，在诸多方法中，用有限元建立机械系统动力分析的数学模型已成为其理论建模中最重要的方法。尽管有限元法还属于一种近似计算方法，对于一些结构复杂、受力情况和阻尼情况复杂的支承件来说计算精度并不是很高，但它对于计算支承件动态性能仍是一种最有效的方法。目前，用它来计算一般复杂程度的支承件的动态性能，完全可以得到较为满意的计算结果。这里将利用美国PTC开发的有限元软件，Pro/MECHANICA对机床支承件中的拖板进行有限元分析，计算出该零件的固有频率和振型，为分析拖板的表面振动响应作必要的准备，也为机床拖板、床身、立柱等支承件的设计提供了一定的理论依据。二、当前常用的有限元分析软件及其特点目前对机械零件进行有限元分析一般采用通用有限元分析软件，如ANSYS、MARC等。它们拥有丰富完善的单元库、材料模型库和求解器，并且具有相对独立的前、后处理模块，可以独立完成多学科、多领域的工程分析问题。其缺点是前处理模块中的几何建模功能不强，无法完成复杂模型的建模，因此降低了结构分析结果的可信度。一些流行的三维设计软件却具有极强的几何模型的建模功能，如Pro/ENGINEER、UG和CATIA等。这些三维设计软件可以完成一些复杂的几何模型的建模工作。为了克服通用有限元分析软件建模功能较弱的缺点，当前普遍采用软件间的数据转换，即采用三维设计软件进行精确的三维建模，通过标准数据接口将模型以IGES、DXF或STEP格式读入到通用有限元分析软件中，然后通过该软件进行精确的计算。说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条一元函子一元模式二元算子三元算子一元运算符秩一算子一秩算子

©2011 dictall.com