process algebra中文是什么意思

發(fā)音:

中文翻譯
造句

處理代數(shù)

algebra n. 代數(shù)學。
algebra algebra 代數(shù)(學)
aeussere algebra exterior algebra 外代數(shù)
boolesche algebra boolean algebra 布爾代數(shù)
lie-algebra lie algebra 李代數(shù)
lineare algebra linear algebra 線性代數(shù)
null algebra; zero algebra 零代數(shù)
abelian algebra 阿貝耳代數(shù)
abstract algebra 抽象代數(shù); 傳動概論; 近世代數(shù)
action algebra 作用代數(shù)
adic algebra 進代數(shù)
advanced algebra 大代數(shù); 高等代數(shù)
algebra addition 代數(shù)加法
algebra and logic 代數(shù)與邏輯
algebra colloquium 代數(shù)集刊（英文版）
algebra dictionary 歷史詞典
algebra homomorphism 代數(shù)同態(tài)
algebra isomorphism 代數(shù)同構(gòu)
algebra of events 事件場
algebra of fraction 分式代數(shù)
algebra of logic 邏輯代數(shù)
algebra of matrices 矩陣代數(shù)
algebra of matrix 矩陣代數(shù)
algebra of program 程序代數(shù)
algebra of proposition 命題代數(shù)

"查查詞典"手機版

千萬人都在用的超大詞匯詞典翻譯APP

例句與用法

Information flow models based on security process algebra
網(wǎng)絡信息系統(tǒng)的安全性及安全模型
Modeling and implementing of dss model system based on process algebra
模型系統(tǒng)建模與實現(xiàn)
Application research of process algebras on performance evaluation
進程代數(shù)在性能評價中的應用研究
process algebras are widely used in describing and analyzing concurrent systems
進程代數(shù)在對并發(fā)系統(tǒng)的分析和驗證等方面獲得了廣泛應用。
Following the development of process algebra, many different bisimulations are introduced
隨著進程代數(shù)的發(fā)展,許多不同的互模擬概念相繼被提出。
The-calculus is a kind of mobile process algebra which can be used to model concurrent and dynamic systems
演算是一種移動進程代數(shù)，可用于對并發(fā)和動態(tài)變化的系統(tǒng)進行建模。
Timed bundle event structures, is used as the system model and a real-time lotos-like process algebra is used as the specification language
動作精化是在并發(fā)理論當中一種很重要的層次化設計和刻畫方法。
process algebra, as one of the important tools for describing and analyzing concurrent and distributed systems, became an central branch of research in concurrency theory
進程代數(shù)作為描述和分析并發(fā)與分布式系統(tǒng)的重要工具之一是并發(fā)理論的主流研究方向。
19 goltz u, gorrieri r, rensink a . on syntactic and semantic action refinement . lecture notes in computer science 789, 1994, pp . 385-404.20 aceto l, action refinement in process algebra . cambridge univ
即精化后的系統(tǒng)行為可以由精化前的系統(tǒng)行為和用于替換原系統(tǒng)動作的子系統(tǒng)的行為組合推導出來2同余性。
University of twente, 1996.5 fecher h, majster-cederbaum m, wu j . bundle event structures : a revised cpo approach . information processing letters, 2002, 83 : 7-12.6 katoen j-p, langerak r, brinksma e, latella d, bolognesi t . a consistent causality based view on a timed process algebra including urgent interactions
基于此，本文擴展了傳統(tǒng)的動作精化理論，研究具有時間指標的并發(fā)系統(tǒng)的動作精化理論，在我們研究的并發(fā)系統(tǒng)中，時間指標是系統(tǒng)的一個重要參數(shù)，動作的執(zhí)行也是需要消耗時間的，并且緊急事件也被擴充到可以是任何事件，而不僅僅是超時事件。

更多例句： 1 2

其他語種釋義

process algebraとは意味：プロセス代數(shù)｛だいすう｝

推薦英語閱讀

process algebra的中文翻譯，process algebra是什么意思，怎么用漢語翻譯process algebra，process algebra的中文意思，process algebra的中文，process algebra in Chinese，process algebra的中文，process algebra怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。