生命支持系统

作品数：244被引量：591H指数：11
导出分析报告
相关领域：环境科学与工程更多>>
相关作者：张永德姜金刚黄致远顾靖华孟兴菊更多>>
相关机构：三河科达实业有限公司哈尔滨理工大学中国人民解放军海军医学研究所中国科学院更多>>
相关期刊：更多>>
相关基金：国家高技术研究发展计划国家自然科学基金首都卫生发展科研专项上海市教育委员会重点学科基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划（2011CB302802）x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
空间生命支持系统中VCCR子系统的安全性验证
《计算机科学》2014年第6期193-198,共6页李倩 郁文生 
国家自然科学基金(61370176;61070048);国家自然科学基金委员会创新研究群体科学基金(61021004);国家"863"计划(2011AA010101);国家"973"计划(2011CB302802);上海市重点学科建设项目(B412);上海市教育委员会科研创新项目(11ZZ37)资助
基于动态微分逻辑的混成系统形式化验证理论,分析空间生命支持系统的一个子系统VCCR(Variable Configuration Carbon Dioxide Removal)的安全性。将VCCR系统基于混成程序建模,并给定需验证的安全性性质,使用KeYmaera混成系统形式化验证...
关键词：混成系统 生命支持系统 VCCR系统 形式化验证 KeYmaera工具 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部