小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2005年
9期
1514-1519
,共6页
动态系统%安全%一致安全%同余安全
動態繫統%安全%一緻安全%同餘安全
동태계통%안전%일치안전%동여안전
研究动态系统的安全问题.针对动态系统运行时间配置的可变特性,引入了动态系统的进程代数模型和复杂动态系统概念,定义了动态系统的一致安全性质和一致同余安全性质.基于观察同余等价,构造了一类一致同余安全模型.本文证明,动态系统的安全性质是一致安全性质,而对于复杂动态系统,其安全性质是一致同余安全性质.
研究動態繫統的安全問題.針對動態繫統運行時間配置的可變特性,引入瞭動態繫統的進程代數模型和複雜動態繫統概唸,定義瞭動態繫統的一緻安全性質和一緻同餘安全性質.基于觀察同餘等價,構造瞭一類一緻同餘安全模型.本文證明,動態繫統的安全性質是一緻安全性質,而對于複雜動態繫統,其安全性質是一緻同餘安全性質.
연구동태계통적안전문제.침대동태계통운행시간배치적가변특성,인입료동태계통적진정대수모형화복잡동태계통개념,정의료동태계통적일치안전성질화일치동여안전성질.기우관찰동여등개,구조료일류일치동여안전모형.본문증명,동태계통적안전성질시일치안전성질,이대우복잡동태계통,기안전성질시일치동여안전성질.
