进程代数；
Security Process Algebra forms a basis for secure information flow theory.
安全进程代数可以作为信息流安全的基础理论框架。
Then, by analyzing the process algebra, the evaluation criterions and the approach of BPR are made;
接着，分析过程代数式，提出流程的评价指标；
When using process algebra to model workflow, we only consider its formal semantics and its control flow.
在用进程代数建模工作流时，只是考虑了模型的形式化语义以及模型中的各种控制流关系。
FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.
FSP是一类描述并发程序形式化规约的进程代数记法。
Secondly, formal modeling method of system survivability based on performance evaluation process algebra is studied.
其次，研究基于性能评估进程代数的系统生存性形式化建模方法。
In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.
本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。
Event structures are important true concurrent models and are well-suited to provide a true concurrent semantics for process algebra in a compositional way.
事件结构是一种十分重要的真并发模型，非常适合于为进程代数提供一种具有可组合性的真并发语义。
On the base of translating process transition graph into process Algebra expression by hand, this paper puts forward the idea of translating between them automatically.
在手工转换进程迁移图到进程表达式的基础上，提出了自动转换的进一步研究思路。
For developing concurrent distributed system, process algebra based model checking is widely considered as a feasible and important approach to reducing errors and increasing system reliability.
在分布式并发系统构造过程中，基于进程代数的并发系统模型检测是一种行之有效的减少设计错误、提高系统可靠性的重要途径。
The reasoning process called for by Boolean algebra are implemented through switches acting as electronics logic circuits.
布尔代数所需的推理过程是通过开关来实现的，这些开关起着逻辑电路的作用。
The math model is used to image the essential relation of every variable in the process, maybe the model is algebra equation, or differential equation, or geometry curve.
数学模型用来反映过程本身各有关变量之间本质关系，它可能是代数方程、微分方程或几何曲线。
Blind image restoration has a strong background of mathematics, including estimation theory, ill-posed problem solution method, linear algebra, stochastic process, numerical analysis, and so on.
图像盲复原具有很强的数学背景，同估计理论、病态逆问题求解理论、线性代数、随机过程和数值分析等都有着密切的联系。
The integration of knowledge model is based on ontology algebra and the process of knowledge model is based on ontology inference and query.
研究了基于本体代数的知识模型集成和基于本体推理、查询的知识模型处理。
The article took two units in the algebra and the geometry as the example to implement how to use this kind of appraisal in teaching process.
以代数和几何两个单元为例，阐述了如何在教学过程中实施这种评价。
The definition of work suggests a third process of vector algebra, namely, scalar multiplication of two vectors.
功的定义用到矢量代数的第三种运算，即两个矢量的标积。
ASQL is a query language based on object algebra. Also we discuss the rules of equivalence transform and can use these rules to process query optimization.
ASQL是基于对象代数的查询语言，本文讨论了对象代数表达式的等价变换规则，利用这些规则进行查询优化。
Involves the membership function specifically, the operations research, and so on linear algebra, as well as mathematical model of analytic hierarchy process, matrix representation and so on.
具体涉及隶属函数，运筹学，线性代数等数学知识，以及层次分析法，矩阵计算等数学模型。
He has been working on the teaching of Higher Mathematics, Linear Algebra, Probability Statistics, Higher Algebra, Matrix Theory, Mathematical Statistics, and Stochastic Process, etc.
从事高等数学、线性代数、概率统计、高等代数、矩阵理论、数理统计、随机过程等课程。
He has been working on the teaching of Higher Mathematics, Linear Algebra, Probability Statistics, Higher Algebra, Matrix Theory, Mathematical Statistics, and Stochastic Process, etc.
从事高等数学、线性代数、概率统计、高等代数、矩阵理论、数理统计、随机过程等课程。
应用推荐