空间生命支持系统中VCCR子系统的安全性验证

来源 :计算机科学 | 被引量 : 0次 | 上传用户：basilmhb

【摘要】

：

基于动态微分逻辑的混成系统形式化验证理论,分析空间生命支持系统的一个子系统VCCR（Variable Configuration Carbon Dioxide Removal）的安全性.将VCCR系统基于混成程序建模,并

【作者】

：

李倩郁文生

【机构】

：

华东师范大学上海高可信计算重点实验室

【出处】

：

计算机科学

【发表日期】

：

2014年6期

【关键词】

：

混成系统生命支持系统 VCCR系统形式化验证 KeYmaera工具 Hybrid system Life support system VCCR sys

【基金项目】

：

国家自然科学基金（61370176,61070048）,国家自然科学基金委员会创新研究群体科学基金（61021004）,国家“863”计划（2011AA010101）,国家“973”计划（2011CB302802）,上海市重点学科建设项目（B412）,上海市教育委员会科研创新项目（11ZZ37）资助.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

基于动态微分逻辑的混成系统形式化验证理论,分析空间生命支持系统的一个子系统VCCR（Variable Configuration Carbon Dioxide Removal）的安全性.将VCCR系统基于混成程序建模,并给定需验证的安全性性质,使用KeYmaera混成系统形式化验证工具进行验证,证明了空间生命支持系统中VCCR子系统的安全性.

其他文献

也谈会计档案的管与用

随着科学技术的发展和生产力水平的不断提高,现代化管理对会计档案的要求也越来越高。为搞好会计档案工作,各单位加强领导,不断完善接收、利用等制度,明确专人保管,提高效率,

期刊

会计档案工作生产力水平现代化管理规范化管理科学技术

转制院所科研档案管理难点与思考

1999年，中央直属242家科研院所相继转制。转制十年来，在实现科技成果转化和经营管理的实践中取得了较大的成绩，调动了科技人员的积极性和创造性，为转制院所进入市场、了解市场需

期刊

转制科研院所科研档案管理档案管理工作科技成果转化市场需求经营管理科技人员经济效益

加强业务培训完善考核机制全面提升基层单位的档案管理水平

加强基层单位的档案管理，要在建立档案组织、健全档案规章制度、加强档案业务培训、完善档案考核机制等方面进行。做到基层领导重视、相关人员通力协作、及时收集、按时归档、

期刊

档案管理水平档案业务培训考核机制基层单位档案规章制度档案案卷质量基层档案工作档案组织

深入学习实践科学发展观促进档案事业现代化

科学发展观是对党的三代中央领导集体关于发展的重要思想的继承和发展，是马克思主义关于发展的世界观和方法论的集中体现，是同马克思列宁主义、毛泽东思想、邓小平理论和“三个

期刊

档案事业现代化科学发展观学习实践“三个代表”重要思想三代中央领导集体中国特色社会主义经济社会协调发展马克思列宁主义

中国机电兵船工业档案学会2009年学术研讨会在兰州召开

中国机械电子兵器船舶工业档案学会（以下简称学会）2009年学术研讨会于9月9日至12日在甘肃省兰州市召开。会议主题：知识产权文件形成的规律与加强知识产权档案管理的措施；档案存储

期刊

中国机电兵船工业档案学会学术研讨会兰州市知识产权档案管理数字化战略科学发展观船舶工业文件形成

超媒体技术在档案管理中的实现

一、引言“超媒体技术”是将“音频、视频、文字、图形、图像”等媒体数据与网络技术、WEB应用、流媒体技术，以及信息存储、处理、发布技术相结合，以尽可能多的便捷方式，向受众

期刊

超媒体技术档案管理WEB应用流媒体技术网络技术信息存储受众

空间生命支持系统中VCCR子系统的安全性验证

其他学术论文