1) DSL semantics
特定域语言语义
1.
DSL semantics is analyzed and decomposed into Domain Specific Semantics and Domain Independent Semantics,and then objects are employed to encapsulate the former.
针对特定域语言(DSL)的定义问题,提出了一种基于对象的语言构造方法,该方法将特定域语言语义划分为领域相关语义和领域无关语义,针对领域相关语义,采用对象将其封装,并通过视图对象和模型对象分别完成领域相关语义的定义与解释;针对领域无关语义,利用现有语言开发工具,直接定义并生成语言基本特性的解释模块,最后将对象和语言基本特性相集成,从而完成DSL的定义与实现。
2) domain specific language
特定域语言
1.
Research on a domain specific language constructing method based on objects;
基于对象的特定域语言构造方法
3) PDDL
规划域定义语言
1.
The domain and problem of risk process was described in PDDL language,and the system information,vulnerabilities,threats and defenders were modeled based on intelligent planning,a modified planner engine was used to reason all exploit paths using relative algorithms and draw the planning exploit graph with Graphviz Tootkit.
提出了一个可应用于信息安全风险过程建模的规划渗透图模型:采用形式化的规划域定义语言PDDL(Planning Domain Definition Language)对风险过程的领域和问题进行了描述,基于智能规划方法中的动作、状态等概念对风险过程的系统信息、脆弱性、威胁主体及防御主体之间的关联进行建模,提出了规划渗透图构建的关键算法,并用一个修改后的规划引擎应用相关构建算法推导出所有渗透路径,最后调用Graphviz Tootkit的接口绘制出规划渗透图。
4) FDL Feature Definition Language
特性定义语言
补充资料：超导电性的局域和非局域理论（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是非局域性的。为此，超导电性需由非局域性理论来描绘，称超导电性的非局域理论。皮帕德非局域理论就是典型的超导电性非局域唯象理论。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条