1) A Study of Verb Structure "一V"
论"一V"结构
2) The structure"V One Temporary Quantifier N"
"V一临时量词N"结构
3) V structure
V形结构
1.
On the basis of V structure,through analyzing the press from the model of mechanics predigested,a relation between strength and transmutation was set up,and the formula of elasticity transmutation of W structure was obtained.
在V形结构的基础上,通过简化力学模型的受力分析,建立力与变形之间的关系,从而获得W形结构的弹性变形公式。
4) V-F structure
V-F结构
1.
In this paper an integrated vertexes algorithm of AVL tree is introduced based on the V-F structure to delete a large number of redundant vertexes and reduce the size of data file up to 18%～25% of the original one.
本文提出了基于V-F结构的平衡二叉树(AVL)顶点聚合算法,简化数据文件的存储容量至原来的18%~25%,并有效地去除了大量冗余数据点;采用虚AVL的快速邻边搜索优化算法,实现了相邻半边的快速搜索,高效地构建半边拓扑结构,最后通过各种零件重建速度的比较说明本文方法是高效的、可扩展的。
5) V-type structure
V型结构
6) the construct of "V+kai"
"V开"结构
补充资料：量词
量词
quantifier
盘词[印.以币er:拙aoTop] 一种逻辑运算的一般名称，该逻辑运算利用谓词尸(x)构造刻划尸(x)的有效域的语句.在数理逻辑中，最广泛使用的量词是全称量词(~玲al qUanti-fier)丫和存在量词(existential qUalltifier)日.语句丫x尸(劝意思是尸(x)的有效域与变元x的值域相同.语句日x尸(x)意思是尸(x)的有效域非空.如果只对尸(x)在由谓词R(x)挑选出的x的部分值域(而不是x的整个值域)上的行为感兴趣，通常使用琴制鼻娜(res‘ric‘ed quantifier)(日x);(，)和(丫x):(二).在这种情况下，语句(日x)只(芜)p(x)与日x(R(义)%26p(x))表示相同的意思，而(丫x)。(二)p(x)与丫x(R(x)D尸(x))表示相同的意思，其中%26是合取(conJ~tion)符号，。是蕴涵(implicat10n)符号.B.E.n几‘eKo撰【补注】当今量词的主题远比上述提及的多，因为有比上述讨沦的两(或四)种量词更多的量词(例如，对策量词，概率量词). 更一般地，任意量词Q(与丫和日有相同的语法行为)的模型论解释可以(据A， Mostowski)由一个映射给出，该映射把每个模型(A，二)映到A的一个子集类Q.然后规定Q的真假值定义，例如，语句Qx小(劝在(A，…)中为真，当且仅当集合{aoA:中(a)在(A，…)中为真}在Q中.因此，存在量词日对应于A的非空子集类，全称量词丫对应于类{A}然而，有很多可能的量词，例如分别由{B CA:B有限}，{B CA:B与A有同样的基数}(张(辰中)量词(Changq珑ult血r))，{B C=A:B不可数}等给出的量词.这种结构可以推广到约束出现在多个公式中的多个变元的量词(例如，等基数量词(eq山一cardin田jty ql笼l们t诵er)Q约束出现在两个公式。(x)和甲(x)中的两个变元x和y，产生公式Qx夕(。(x)，甲(夕))，由遭(B，C):刀和C有相同基数}解释).更一般的是Lindstr6m量词(L力ld-st~ql迢而玩r).每个量词都有自己的逻辑.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条