说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 有限元验证
1)  finite element verification
有限元验证
2)  FEM simulation test
有限元仿真模拟试验
3)  Threshold verification
门限验证
1.
In this paper,a construction of threshold verification is introduced into genenal threshold signature scheme,through which the impartiality is assured and the problem of abusing signature verification rights and avoided.
在传统的(t,n)门限签名方案基础上引入了门限验证结构,这使得签名的验证过程更加公平、合理,避免了签名验证的权利滥用问题。
4)  authority verification
权限验证
1.
In SQL Server s security system structure, identity and authority verification are two important aspects of system security.
在SQLServer的安全体系结构中 ,身份验证和权限验证是系统安全的两个重要方面 。
5)  finite element method(FEM)
有限元法
1.
The large extrusion ratio forming of a complex thin-walled aluminum profile was simulated successfully in a new simulation system which was developed by integrated the Finite Element Method(FEM)and the multi-stage Finite Volume Method(FVM).
通过优化几何模型,采用有限元法与有限体积法相结合,并在有限体积模拟阶段进行分步计算模拟的方法,成功地进行了一薄壁大挤压比铝型材挤压过程的数值模拟,获得了型材挤压过程中的材料流动速度、应力、应变和温度分布图,并对其结果进行讨论。
2.
A new simulation system was developed by integrating finite element method(FEM) and finite volume method(FVM) based on the theories of large deformation elastic-plastic FEM and FVM,and the forming process of a complex hollow thin-walled aluminum profile 1633B of extrusion ratio λ=62.
通过将有限元法与有限体积法相结合,在MSC。
3.
According to rock mechanics, the finite element method(FEM) can be used to study the mechanical character of overburden and bedrock.
山区采动滑移是在山区复杂的地形、地质及采矿条件下多种影响因素的综合结果 ,用有限元法从岩石力学角度出发研究采动地表和岩层内部的移动与变形的力学机制。
6)  finite element
有限元
1.
Numerical simulation of temperature field in welding with trailing peening based on finite element;
基于有限元的随焊锤击焊接温度场数值模拟
2.
Finite Element Analysis and Optimum Design of the Failure of the Inlet Pipeline on the Smoke Gas Machine and its Flange Jointsin a Catalyst Cracking Plant;
催化裂化装置烟机入口管线及其法兰接头失效的有限元分析及优化设计
3.
Study of Finite Element-Topological Optimal Design for Platen of Injection Machine;
注塑机模板的有限元-拓扑优化设计研究
补充资料:有限可验证性

  
  有限可验证性
  finitary verifiabffity

  有限可验证性「俪加叮v州加恤吟;中.,,。。6川e3-业,“MoeT‘】 逻辑公式的非经典解释之一,旨在精确化由A.H.KoJIMoropoB提出的解释作为问题演算(血以d比ofprob】。招)的直觉主义逻辑断言的计划. Ko~。poB(【11)阐述了这样的想法,如传统逻辑系统化理论真值的证明模式一样,也可能有一种问题解的模式的逻辑系统化.没有问题概念的精确定义,仍可以看看下列具体的问题,例如 l)求四个自然数x,夕,z,n,使之满足扩+y”=:”,n>2; 2)证明R划.t大定理(民m坦t即ea ttl长幻rem)是错的; 3)假设笼可表示为二=m/n,其中m,n是正整数,求e的类似表达式. 也可以用自然的方式定义下面问题上的运算.如果跳和黔是问题,则跳%26忍表示“解决问题致和毋的问题”;AVB表示“解决至少纵和黔中之一”;级。刃表示“假设有鱿的解,找黔的解”(即归约马到班);,纵表示“假设有吸的解则得出矛盾.” 如果用问题代替由逻辑联结词%26,V,“,,,变量a,b,…构造的命题公式中的变量,则由其运算可得某个问题一个公式称为可琴呼的(w石nab七),如果存在一个一般的方法能够解决由给定公式以上述方式得到的任何问题.在直觉主义命题演算中可推导的公式在这种意义下是可验证的.同时公式AV二A,表示经典排中律(hw of the exd团司middk),是不可验证的,因为如果它可验证,则将存在一个一般的方法,使得对每个问题要么得到它的解,要么由假设存在它的解得出矛盾. 逻辑公式解释的这种描述不是充分严格的,像“问题’,“问题的解”和“一般方法”这样的概念需要精确化.精确化的一种方法是由幻.T.M切Be脚(〔2』)提出的有限可验证性概念. 有限性问题(俪扭口pro城油)是这样的一个问题,其解为某事先知道的允许可能性的非空有限集F的一个元素.所以,有限性问题可看作有序对纵=,其中F是跳的允许可能性的有限集,X是解集(X住F).如果纵一,记F=切(鱿),X=x(跳),设级1和钱为任意有限性间题且满足: 中(跳)=兀,x(钱)=戈,i二1,2. 有限性问题上的运算定义如下:对于合取吸=级.%26跳,设 毋(纸)=F,x凡,x(跳)”戈x凡,其中A xB表示A,B的D留。LrteS积,即所有有序对(a,b>,aeA,b任B的集合.对于析取贬=跳,V钱,设 中(鱿)=F,+凡,X(吸)=戈+戈,其中A十B表示A和B的不交和,即Ax{l}和Bx笼2}的集合论的并.对于蕴涵跳=级:。级2,设中(吸)二F夕,Fl到凡的所有映射的集合,x(纵)是可‘中满足f(戈)任戈的f的集合.吸的否定,级定义为问题跳“叽,其中氏是一个具有空解集的固定问题(从现在起所有构造独立于这样一个问题的具体选择). 用有限性问题狐,…,甄代替命题公式A(p、,二、p。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条