本文详细讨论了域数据模型的形式化表达和抽象结构。
We firstly talk about what is domain and data model, and define their use range.
解决了与可再生能源发电有关的知识的形式化表达问题。
The problem of knowledge formal expression of the renewable energy power was resolved.
引入进化超图网络对全生命周期中产品过程信息进行形式化表达。
Evolution hypergraph net was introduced to formalize product process information for life cycle.
同时详细描述了信任模型的行为信任和身份信任，形式化表达了信任关系网络。
This trust model describes behavior trust and identity trust in detail and formalizes representation of trust relationship network.
为满足联锁软件黑箱测试的要求，对联锁软件安全性需求进行了分级形式化表达。
To meet the requirements for black box testing of CISS (Computer Interlocking safety critical Software), the safety requirements of CISS are denoted hierarchically and formally.
实验表明，这种本体的形式化表达机制是可行的，能够有效地表达地理本体的空间特征。
The tests prove that the formal representation mechanism is feasible and can describe spatial properties of geographic ontology effectively.
结果证明，这种本体建模方法和形式化表达机制，能够较好表达应急领域的知识结构，是可行的。
It proved that the method of ontology modeling and formal representation mechanism can better express the knowledge structure of emergency field. It is available.
当你在应用层中不能形式化的跟踪两种基本的规格工件(业务过程与业务目标)时，这种表达形式的缺乏变得非常明显。
This is really evident when you consider the inability to formally trace two fundamental specification artifacts (business processes and business goals) against the application layer.
在许多情况下，两者都产生外部元数据：从单调的英语到结构化或非结构化数据，到更形式化rdf表达方法，但所有数据都参考使用了URI。
In many cases, these both leverage externally generated metadata, ranging from English prose to structured or unstructured data to a more formal representation in RDF, but all referenced using URIs.
XML Query Use cases[开发中]在其数据模型的基础上，给出了XPath 2.0和XQuery 1.0规范中每种表达式精确的、形式化的含义。
XQuery 1.0 and XPath 2.0 formal Semantics [in development] gives a precise formal meaning to each of the expressions of the XPath 2.0 and XQuery 1.0 specification in terms of their data model.
为了解决这个问题，给出了直接分类模式、树分类模式、分类法则和科目约束表达式等概念和形式化定义。
To solve the problem, the concepts and formal definitions including direct classification schema, tree classification schema, classification rule, and family constraining expression were presented.
在形式化方法下，经典逻辑通过严格概念推演表达正确推理形式的直观概念。
Under the formal method, the notion of deduction in the classical logics captures the intuitively correct forms of reasoning.
结果表明，所提出的模型既能正确、直观地表达工程计划问题，又能形式化描述、计算工程计划关键路径问题。
The conclusion is drawn that FTPN can not only be used to express the project planning properly and clearly, but also give a formal representation and computation easily.
这些知识大多是主观的，直观的，因此很难形式化的去清晰地表达。
Much of this knowledge is subjective and intuitive, and therefore difficult to articulate in a formal way.
提出的方法是完全形式化的，具有较强的语义表达能力，便于工作流的执行、推理和仿真等。
The method is complete formalizations, and it has a strong capability of semantics express. The formalizations can be used as a foundation for workflow execution, reasoning, and simulation.
形式化定义自适应过程中的界面模式及其转换函数，并提出重构、替代、几何变换、过滤和推送等具体可视化表达形式。
Interface modes and their transition functions are defined, and the related visualization presentations styles are described, such as reconstruction, replacement, geometry transition, filter and push.
形式化定义自适应过程中的界面模式及其转换函数，并提出重构、替代、几何变换、过滤和推送等具体可视化表达形式。
Interface modes and their transition functions are defined, and the related visualization presentations styles are described, such as reconstruction, replacement, geometry transition, filter and push.
应用推荐