1) Nonmonotone Transition Layer
非单调过渡层
2) transition layer element
过渡层单元
3) transition metal monolayer
过渡金属原子单层
1.
Magnetism of 3d transition metal monolayers on Pd(001) surface: density functional theory study;
3d过渡金属原子单层在Pd(001)表面磁性的第一性原理研究
4) transition element
过渡单元
1.
An automatic FEM mesh refining algorithms for the hatch corner is presented,by which the sparse mesh and refined mesh can transit smoothly with transition element,several kings of filleted corners and holes can be created automatically according to the criterion of CCS,and the specified bar elements can be replaced by shell elements.
提出针对舱口角隅处网格的自动有限元精细划分方法,粗细网格使用过渡单元平滑过渡,自动创建规范要求的几种导角和开孔,并对部分筋单元进行板元化。
2.
In the mesh generation of the finite element computation, the transition elements connecting the dense and sparse meshes have great effect on the precision of the computational results.
连接密网格与疏网格的过渡单元对有限元计算结果的精度有较大的影响。
3.
The Williams generalized parametric element and the transition element are developed for mode Ⅱ crack problems.
结合Ⅱ型断裂问题,研究建立了裂尖区应力强度因子计算的Williams广义参数单元和过渡单元。
5) transitional element
过渡单元
1.
A bilinear10-node and12-node transitional element model and a multi-layer element model are proposed in order to simulate the temperature field of concrete with multi-layer and multi-block.
为模拟施工期混凝土分段成层浇筑的温度场,提出12结点与10结点双线性过渡单元和层合单元模型,运用双线性过渡单元可以解决在网格浮动过程中混凝土段与段之间单元交界面的温度和位移的协调性,运用层合单元可以在不降低计算精度的前提下使计算规模显著降低,大大提高了计算效率,甚至使某些复杂超大规模的水工结构问题的仿真求解大为简单。
2.
In order to eliminate the displacement dis- crepancy between enriched elements and isoparametric elements,some transitional elements were also in- troduced.
本文基于钝裂纹端部位移场的渐近解和等参元构造方法,开发了一种新的适合钝裂纹端部应力场计算的扩展单元法,为了消除不同单元间的位移不协调又在扩展单元的基础上提出过渡单元。
6) transitional unit
过渡单位
补充资料:非单调推理
非单调推理
non-monotonic reasoning
fei dQndiQO tUI 11非单调推理(non.川.如tonic有非单调特征的推理,是常识推理和人工智能应用系统中的一种重要的推理方式。 经典逻辑,诸如命厄逻辑和一阶逻辑等,具有如下的重要性质:设尸是推理的前提集合,C是由尸导出的结论集合,在向P增加了新的前提P之后,设由pU}P}导出的结论集合是Cl,则C必是Cl的子集。换句话说,在向前提集合增加了新的前提后,只可能导出更多的结论,决不能取消或修改原先得到的结论。经典逻辑中推理的这种性质称为推理的单调性。数学中的推理是典型的具有单调性的推理。但是,基于经典逻辑的推理是人们推理的理想化模型,在日常生活中或是在某些人工智能应用系统中,人们经常要依据某些一般来说是正确的但并非绝对正确的规则进行推理,或者在信息不完全的情况下进行推理,这种推理所得的结论是暂时的,可能会修改的,因而不具有单调性,因此人们称之为非单调推理。 对非单调推理作深人的研究是十分必要的。在一阶逻辑中,我们用Vx尸(x)二1表示“所有x都具有性质尸”这一事实。可是实际生活中,这类句子都是近于真实而不是绝对正确的,即大多数x具有性质尸,但偶然也可能会遇见某些例外。例如,所有的鸟儿都能飞,但企鹅和鸵鸟等例外。所有的枯子是黄的,但未熟的和变异的品种例外。由于这类综合性概括语句不是绝对正确的,采用这些语句进行的推理也不可避免地要产生错误。解决这个问题的一种办法是完全抛弃这类语句,这样虽然不会产生错误,但同时也失去了近于真实的东西和许多本来可以得到的结论。另一种办法是修改这类语句,待它完全正确时再使用,可是这种修改相当困难,即使修改好了,句子的结构已变得相当复杂,无法灵活地使用。一种简便而又妥善的处理办法就是先极定这类语句是正确的,并依据它们进行推理,如果在获取了新的事实后发现原来的结论有间题,再取消或修改这些结论,这样一来,推理就具有了非单调性。 为了使非单调推理得到强有力的逻辑支持,人们开始对非单调推理的形式化方法加以认真的研究,提出了各种不同的非单调逻辑。其中较为著名的工作有R.Reiter的默认逻辑,J.M试兔rt场的限制逻辑以及R.C侧b艾e的自认知逻辑等等。作为非单调推理的例子,以下我们着重介绍它的一种重要形式—获认推班。 歇认推理与传统推理的根本区别是在推理的前提中增加了如下形式的歌认规则:。(汤):哪1(劲,…,州帆月(劝r(至)(1)其中。(至),夕l任),一,凡(王)和:(王)是一阶逻辑公式,公式中的变元是妥二(xl,…,几)。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条