形式化
- 与 形式化 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
As a graphical framework for formally describing interactive system, basic graph can represent processes and the interaction between processes in two ways: one is graphical representation, where a graph corresponds to a process and reduction in a graph corresponds to interaction between processes; the other is using term algebra consisting a set of terms and an equational theory on terms.
基本图是一种描述并发交互系统的形式化方法，它具有描述简洁、清晰和直观的特点。在基本图中，进程以及进程间的交互行为，既可以用图表示方法(其中一个图对应一个进程，图之间的归约对应进程之间的交互行为)，又可以用项代数来表示。
-
The main feature of the thesis is the integration of intentional and extensional properties of distributed object behavior.
论文工作选定系统动态行为模型和形式语义为具体研究对象，研究涉及分布对象计算和形式化方法。
-
This paper also proved that the formal representation is faithful to RBAC model.
用描述逻辑的符号给出了RBAC中主要的元素和关系的形式化定义，并证明了这种描述逻辑表示对于RBAC模型的忠实性。
-
In Bazin believes that the film is an ontological position first, and then is an aesthetic stance, the body is the point where the lens and the depth of field long lens, but also point to formal aesthetic montage.
在巴赞认为，电影首先是一种本体论立场，然后才是一种美学立场，这里的本体就是指向长镜头与景深镜头，而美学亦是指向形式化的蒙太奇。
-
In this paper the application of wireless sensor network in coal-mine safety system is introduced, the model of the system is designed with the model-driven method and is formalized for automatic analysis with the finite state automaton.
介绍了无线传感器网络在煤矿安全监控中的应用，并引入模型驱动开发方法进行设计，对建立的系统模型进行形式化描述，使用有限状态机技术进行自动分析。
-
Formal school education is the process that there is a specific limit.
学校教育这一形式化的过程是有特定的限制的。
-
These research and the creation of formal logic as a science in the development is an important stage.
这些形式化的创立和研究在逻辑作为一门科学的发展中是一个重要的阶段。
-
Description logic is the formal tool of knowledge representation and reasoning.
描述逻辑是知识表示和推理的形式化工具，它提供了可判定的和可靠的推理服务。
-
The formal definition of this model was given, and the security was also analyzed with proof.
形式化描述了模型，并对模型的安全性进行相应的分析和证明。
-
This paper also gives formal definition for the model.
给出了模型的形式化描述。
- 推荐网络例句
-
Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.
在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。
-
In fact,I've got him on the satellite mobile right now.
实际上 我们已接通卫星可视电话了
-
The enrich the peopling of Deng Xiaoping of century great person thought, it is the main component in system of theory of Deng Xiaoping economy, it is a when our country economy builds basic task important facet.
世纪伟人邓小平的富民思想，是邓小平经济理论体系中的重要组成部分，是我国经济建设根本任务的一个重要方面。