退出
我的积分:
中文文献批量获取
外文文献批量获取
李倩; 郁文生;
华东师范大学上海高可信计算重点实验室 上海200062;
混成系统; 生命支持系统; VCCR系统; 形式化验证; KeYmaera工具;
机译:动态人体水和电解质平衡模型,用于验证和优化太空飞行应用中的生命支持系统
机译:用于空间生命支持系统中密闭食品生产的甘薯藤蔓管理
机译:将藻类光生物反应器集成到空间站的环境控制和生命支持系统中
机译:从国际空间站(ISS)环境控制和生命支持系统(ECLS)水子系统中汲取的经验教训
机译:扩展了生命周期分析,以优化航天器生命支持系统设计。
机译:成人集成便携式体外生命支持系统的性能和安全性
机译:国际空间站环境控制和生命支持系统:加压配合适配器的验证
机译:空间站自由环境控制和生命支持系统(ECLss)第3阶段简化了集成测试跟踪污染物控制子系统的性能
机译:具有集成脐带管线的生命支持系统,用于天然气,数据通信采集/记录,附件电源以及在恶劣环境中为用户提供的安全性
机译:交易验证支持系统,在交易验证支持系统中,该系统再现了示出为了进行验证而实际完成的交易状态的范围。
机译:生命信号验证装置,生命信号测量装置和生命信号验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。