1) un-quoting domain BDD
无引用计数域
1.
The dissertation introduces the basic concept, advantages and development directions of BDD, summarize the design algorithm, advantages and behaviors of un-quoting domain BDD, also improve the structure s function.
本文介绍了BDD的基本概念、优势及发展方向，总结了无引用计数域的BDD包的设计思路、优势和特点，并对其中一些没有完成的功能进行设计完善。
3) referencing rule
引用计数规则
4) reference counter technique
引用计数器技术
5) ineffectively citing
无效引用
补充资料：超导电性的局域和非局域理论（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是非局域性的。为此，超导电性需由非局域性理论来描绘，称超导电性的非局域理论。皮帕德非局域理论就是典型的超导电性非局域唯象理论。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条