计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
6期
193-198
,共6页
混成系统%生命支持系统%VCCR系统%形式化验证%KeYmaera工具
混成繫統%生命支持繫統%VCCR繫統%形式化驗證%KeYmaera工具
혼성계통%생명지지계통%VCCR계통%형식화험증%KeYmaera공구
Hybrid system%Life support system%VCCR system%Formal verification%KeYmaera tool
基于动态微分逻辑的混成系统形式化验证理论,分析空间生命支持系统的一个子系统VCCR(Variable Configuration Carbon Dioxide Removal)的安全性.将VCCR系统基于混成程序建模,并给定需验证的安全性性质,使用KeYmaera混成系统形式化验证工具进行验证,证明了空间生命支持系统中VCCR子系统的安全性.
基于動態微分邏輯的混成繫統形式化驗證理論,分析空間生命支持繫統的一箇子繫統VCCR(Variable Configuration Carbon Dioxide Removal)的安全性.將VCCR繫統基于混成程序建模,併給定需驗證的安全性性質,使用KeYmaera混成繫統形式化驗證工具進行驗證,證明瞭空間生命支持繫統中VCCR子繫統的安全性.
기우동태미분라집적혼성계통형식화험증이론,분석공간생명지지계통적일개자계통VCCR(Variable Configuration Carbon Dioxide Removal)적안전성.장VCCR계통기우혼성정서건모,병급정수험증적안전성성질,사용KeYmaera혼성계통형식화험증공구진행험증,증명료공간생명지지계통중VCCR자계통적안전성.
