电脑知识与技术
電腦知識與技術
전뇌지식여기술
COMPUTER KNOWLEDGE AND TECHNOLOGY
2009年
6期
1311-1313
,共3页
分布式系统%资源安全%指称语义
分佈式繫統%資源安全%指稱語義
분포식계통%자원안전%지칭어의
主要从理论上研究保证分布式计算中资源安全性的方法.抽象地将每个进程表示为一个数据对,由给定资源和分配给分布式计算的资源两部分组成.在此基础之上,定义了一系列基于指称语义的数学计算,进而将资源安全性问题抽象为数学上的运算.
主要從理論上研究保證分佈式計算中資源安全性的方法.抽象地將每箇進程錶示為一箇數據對,由給定資源和分配給分佈式計算的資源兩部分組成.在此基礎之上,定義瞭一繫列基于指稱語義的數學計算,進而將資源安全性問題抽象為數學上的運算.
주요종이론상연구보증분포식계산중자원안전성적방법.추상지장매개진정표시위일개수거대,유급정자원화분배급분포식계산적자원량부분조성.재차기출지상,정의료일계렬기우지칭어의적수학계산,진이장자원안전성문제추상위수학상적운산.
