分布式操作系统形式化系统模型DOSFS主要由文法DOSFSG和语义DOSFSS两部分组成。
Distributed Operating System Formal System Model (DOSFS) consists of the grammar DOSFSG and the semantics DOSFSS.
RDF是一个具有WebXML序列化的元数据系统，即用于描述Web资源形式化陈述集合的模型。
RDF is a metadata system with an XML serialization for the Web, a model for describing collections of formalized statements about a Web resource.
这一论断很重要，模型不是系统本身，而是系统的形式化表示。
This statement is crucial; the model is not the system itself but a formalized representation of the system.
业务与系统模型间形式化跟踪的引入可以让我们理解业务所需的改变对系统的影响。
The introduction of the formal traces between the business and the system models allow development to understand the impact on the system (s) caused by a change in the business needs.
然后，您可以在形式化的分析、模拟和原型设计中使用这些模型，以研究预期的系统行为，并且可以在编写文档或总结时使用这些模型，以便就系统的性能和外观进行交流。
You can then use these models in formal analysis, simulation, and prototyping to explore predicted system behavior and in documentation or reviews to communicate the system's capabilities and feel.
因此，我们利用UML和形式化方法来设计面向方面程序，并建立相应的面向方面软件设计模型来设计实时系统。
So we express the AOP using UML and formal methods, and establish the Aspect-Oriented Software Design Model correspondingly to model real-time systems.
本文通过对网络协议形式化描述和验证问题的研究，针对网络协议的特性，给出了一种基于时态逻辑的模型系统。
After the study on the problems of formal specification and verification for network protocols, this paper gives out a general model system based on the temporal logic.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
有限元模型比知识的获取和形式化是有限元模型化专家系统建立的核心。
The knowledge acquisition is the 'bottleneck 'in the development of finite element modeling expert system.
该模型采用有向图对企业应用系统间的协调关系进行形式化描述。
In this model, the coordination relationships among application systems were described formally through directed graphs.
语言是一种描述转换系统相关数据特征的形式化语言，然而不适合建立动态行为的模型。
The Z language is a formal language for specifying data-related characteristics of transformational systems. however, it is not designed to model behaviour.
结合模型形式化地分析了层次迭代模型中的资源名称、资源地址、访问规则和寻址系统等概念。
It analyzed the concepts of resource names, resource addresses, access rules, and addressing system formally in layered iteration model.
针对目前自然语言形式化研究中存在的问题，就歧义性、形式化与系统模型等几个基本问题做了进一步的分析与讨论。
Seeing that problem is present in natural language formalization research, this paper tries to make analysis and discuss for few basic problem on ambiguity and formalization and system model.
安全模型是安全系统开发的基石，而形式化方法则为准确理解安全模型提供了高保障依据。
The security model is the cornerstone for developing the security operating system, while the formal method provides high level assurance for the understanding of the security model accurately.
通过形式化描述和分析CSCM机制的系统模型和运行模型，证明了CSCM具有一阶线性的消息复杂度和收敛时间。
By formalizing description of system model and running model of CSCM mechanism, the usability and extensibility of the system is given, and the message complexity and convergence time is proved.
本文提出了时序有限自动机，用它建立数据融合系统的形式化模型，并且给出了时序有限自动机模型的可达性分析方法，用于分析数据融合系统的性能和行为。
We extend finite automata with time sequence and define temporal finite automata, then we propose using temporal finite automat to build formal model for data fusion system.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed.
本文走从语言文字描述至符号化再到形式化的崭新道路，首先为一般性的智能控制系统提出并建造了结构模型，然后利用形式语言理论将结构模型推导成了一种上下文无关文法。
First, a structural model has been put forward and constructed for general ICS ', then by utilization of formal language theory, the structural model formulated as a kind of context-free grammar.
以数学方法给出了工作流过程定义模型的形式化描述，并提出一种工作流自动化的实现模型，包括系统体系结构和数据库的设计。
The paper gives mathematical definitions of process defining model and an implementing model of workflow automation, including the system architecture and database design.
文章给出了ASD的形式化定义，并在此基础上介绍了工作流系统的动态过程修改策略和工作流模型执行算法。
The formalized definition of the ASD is introduced. The method of the dynamic processes changes based on the ASD and the implementation algorithm of the ASD is also described in this pa…
提出了一种基于多领域本体的智能查询系统的形式化模型，并且对系统及其特点进行了详细分析。
A model of intelligent query answering system based on multi-domain ontology is presented. Then the running process and the properties of the system are discussed.
在以上工作的基础上，给出了系统中副词处理模型，从而实现对含有副词概念的句子进行形式化的理解。
Based on the work done, the processing flowchart of adverb is given, which can understand the sentence with the words that represent adverbs.
在以上工作的基础上，给出了系统中副词处理模型，从而实现对含有副词概念的句子进行形式化的理解。
Based on the work done, the processing flowchart of adverb is given, which can understand the sentence with the words that represent adverbs.
应用推荐