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的一个元素.所以,有限性问题可看作有序对纵=
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条