1) order neighborhood semantics
有序邻域语义
1.
Secondly,we introduce the order neighborhood semantics,give the frame conditions of the character axioms and inference rules of AKC,prove the frame soundness of AKC with respect to the frame conditions.
其次,我们引入有序邻域语义,给出描述AKC的特征公理和推理规则的框架条件,证明AKC相对这些框架条件是框架可靠的。
2) semantic neighbor
语义邻域
1.
Application of semantic neighbor-based data dimension reduction method in 3D model retrieval;
基于语义邻域的数据降维方法在三维模型检索中的应用
3) neighborhood semantics
邻域语义学
1.
Based on Montague\'s and Scott\'s ideas,and on Segerber\'s,Gabby\'s and Mao Yi\'s studies of modal logic neighborhood semantics,the author proposes neighborhood semantics,which fits for common proposition logic.
笔者根据Montague、Scott等人的想法,在Segerber、Gabby和毛翊[1][2]等人在模态逻辑邻域语义学研究的基础上,提出了适合一般命题逻辑的邻域语义学[3][4]。
4) Layer-based neighborhood
层序邻域
5) sequential neighborhood
序列邻域
6) sequence of neighbourhoods
邻域序列
补充资料：超导电性的局域和非局域理论（localizedandnon-localizedtheoriesofsuperconductivity）
超导电性的局域和非局域理论（localizedandnon-localizedtheoriesofsuperconductivity）
伦敦第二个方程（见“伦敦规范”）表明，在伦敦理论中实际上假定了js(r)是正比于同一位置r的矢势A(r)，而与其他位置的A无牵连；换言之，局域的A(r)可确定该局域的js(r)，反之亦然，即理论具有局域性，所以伦敦理论是一种超导电性的局域理论。若r周围r'位置的A(r')与j(r)有牵连而影响j(r)的改变，则A(r)就为非局域性质的。由于`\nabla\timesbb{A}=\mu_0bb{H}`，所以也可以说磁场强度H是非局域性的。为此，超导电性需由非局域性理论来描绘，称超导电性的非局域理论。皮帕德非局域理论就是典型的超导电性非局域唯象理论。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条