The formal representation and scheduling algorithm of LBAC are illustrated.
文章给出了LBAC的形式化表示及其调度算法。
An approach to a formal representation of user interfaces linked with system analysis has been described as well.
还介绍了把系统分析与形式化的用户界面表示联系在一起的方法。
The articles have also discussed an approach to a formal representation of user interfaces linked with system analysis.
本文还讨论了一种用户接口同系统分析相链接的正式的表示法。
The service specification is a formal representation of a "service" that is both a concrete and physical representation.
服务规范是 “服务”的形式化表示，是具体的物理的表示。
Therefore, a new formal representation of a Persona's goals, skills, and duties is introduced using the following UML artifacts.
因此，我们应该使用以下的UML 工件来介绍角色目标、技能和责任的新的形式化表示。
Finally, a suggestion for establishing a formal representation standard system for Chinese KOS is put forward. 1 TAB. 9 refs.
最后提出建立中文KOS形式化表示标准体系的建议。表1。参考文献9。
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.
结果证明，这种本体建模方法和形式化表达机制，能够较好表达应急领域的知识结构，是可行的。
Davidson's theory of meaning has given the schema of formal representation and the mode of empirical interpretation for the theory of meaning of a natural language.
戴维森意义理论为一种自然语言意义理论提供了形式表征模式和经验解释模式。
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.
结果表明，所提出的模型既能正确、直观地表达工程计划问题，又能形式化描述、计算工程计划关键路径问题。
The lack of a formal representation for concepts also results in an inadequate ability to make decisions at the level of systems in the product, such as during feasibility studies.
对于概念缺乏正规化的描述也会导致产品在系统级别缺乏足够的作出决定的能力，比如在可行性研究阶段。
This paper aims to establish a domain independent representation formalism for feature based design in three aspects: formal representation, design process model and design algorithm.
从三个方面研究了基于特征设计的形式化描述方法：基于特征设计的基本定义、设计过程模型及设计算法。
Having a formal representation of the target solution also enables me to apply common design patterns, essentially reusing accepted and validated ways to express components and their interactions.
有了目标解决方案的正式表示形式，还让我能够应用通用设计模式，实际上就是重用各种用于表示组件及其交互的得到认可和验证的方法。
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.
在许多情况下，两者都产生外部元数据：从单调的英语到结构化或非结构化数据，到更形式化rdf表达方法，但所有数据都参考使用了URI。
In more formal contexts, "service" refers to the abstract or logical representation of a business task.
在比较正式的上下文中，“服务”指业务任务的抽象或逻辑表示。
To achieve this, a formal UML representation of the Personas is desirable, and is described below.
要做到这点，角色的形式化的UML表示是值得使用的，并且在下面进行了描述。
In this paper, finite representation module in ring of formal triangle matrix is studied.
本文对形式三角矩阵环上的有限表示模进行了一些探讨。
In the research on indirect anaphora, the current focus is not the formal ties in traditional grammar, but the mental representation and mental coherence of the text.
在间接回指的研究中，当前焦点不在于发现传统语法中的形式纽带，而是在于从语篇的心理表征和心理连贯角度进行阐释。
In this paper, we propose a reduced linear representation of such distribution based on the formal power series on free monoid which can be easily used to calculate the probability distribution.
该文利用自由幺半群上的有理形式幂级数理论，构造出该概率分布的约化线性表示，从而完全解决了噪声变量的概率分布计算问题。
A formal definition for the net is given and its representation power is discussed.
对该网进行了形式定义，并讨论了它的表示能力。
Firstly the method of knowledge representation by owl ontologies is researched, then the formal and semantic description is introduced, and finally knowledge is represented by an instance.
本文在研究owl本体进行知识表示的机制后，阐述形式化表示及语义说明方法，并结合实例说明知识的表示。
Then the formal definition of extension knowledge representation is proposed and compared with several original methods of knowledge representation.
由此，提出了可拓知识表示方法的形式化定义，并且将它与原有的几种知识表示方法进行了详细的比较。
The formal contexts and concept lattices in formal concept analysis are good methods of knowledge representation.
形式概念分析中的形式背景及概念格是一种较好的知识表示方法；
Concept lattice is a newly prosperous knowledge representation model and is the core data structure of Formal Concept Analysis.
概念格是一种新兴的基于概念的知识表示模型，是形式概念分析的核心数据结构。
In this paper, a formal tool of knowledge representation, i. e. hierarchical logic ia presented.
本文提出了一个知识表示形式工具——层次逻辑。
In this paper, a formal tool of knowledge representation, i. e. hierarchical logic ia presented.
本文提出了一个知识表示形式工具——层次逻辑。
应用推荐