退出
我的积分:
中文文献批量获取
外文文献批量获取
刘航; 王志先; 郭旭东;
中广核工程有限公司;
北京广利核系统工程有限公司;
核电; 分布式控制系统; 软件组态; 验证与确认; 逻辑功能; 工厂测试; 现场调试; 设计变更;
机译:验证总体规划(VMP),第2部分:站点和功能验证总体规划
机译:核电改进技术研究和评价的结果:“核电改进技术研究和评价”特别专家委员会的最后报告
机译:核电站控制逻辑的设计验证
机译:核电厂运行DCS总体测试策略的优化研究
机译:用于DC-DC转换器的模糊逻辑控制器的分析和设计的新方法。
机译:导波模式选择的核电站安全壳衬板定量层析成像SHM技术研究
机译:验证航空电子系统中的实时系统,采用Cotre方法11Cotre(“共性临时工”)是一项为期两年的项目,始于2002年1月,由国家逻辑技术研究所(RNTL)支持。该财团由空客,TNI-Valiosys,ENST-布列塔尼和FéRIA的三个实验室(LAAS,IRIT,CERT。)组成。项目主页:http://www.laas.fr/COTRE
机译:工业控制系统(ICs)安全指南。监控和数据采集(sCaDa)系统,分布式控制系统(DCs)和其他控制系统配置,如可编程逻辑控制器(pLC)。国家标准与技术研究所的建议
机译:逻辑功能验证装置及逻辑功能验证方法
机译:具有不确定值监控功能的逻辑电路验证装置及逻辑电路验证方法
机译:具有路径延迟检查功能的逻辑验证装置及其逻辑验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。