SCADE

作品数：96被引量：141H指数：8
导出分析报告
相关领域：自动化与计算机技术交通运输工程更多>>
相关作者：杨志斌吴成富刘文学周勇李耀更多>>
相关机构：南京航空航天大学西南交通大学中国航空无线电电子研究所西安航空计算技术研究所更多>>
相关期刊：更多>>
相关基金：中国航空科学基金国家自然科学基金中央高校基本科研业务费专项资金铁道部科技研究开发计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=测控技术x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于C8051F040的智能型电接点水位探头二次仪表设计被引量：1
《测控技术》2018年第11期82-85,共4页吕鑫 朱毖微 吴茜 
电接点水位探头是一种工业上常用的液位开关,二次仪表是影响电接点水位探头使用寿命的重要因素,为延长电接点水位探头寿命,提出了一种智能型电接点水位探头二次仪表的设计。二次仪表以C8051F040微控制器为核心并辅以激励电源产生电路、...
关键词：电接点水位探头 二次仪表 C8051F040 SCADE 
基于SCADE的航空发动机FADEC软件开发被引量：10
《测控技术》2018年第1期110-115,共6页周彰毅 黄浩 方伟 朱理化 
机载软件开发面临复杂性、安全性和成本等方面的巨大挑战。针对某航空发动机数控系统的研制,结合FADEC软件的开发特点和目标,探索SCADE基于模型开发在FADEC软件开发中的应用。探索了两种不同的SCADE基于模型开发解决方案,基于这两种方...
关键词：FADEC 基于模型开发 SCADE 模型覆盖率 DO-331 
基于SCADE的形式化验证技术研究被引量：10
《测控技术》2011年第12期71-74,共4页林枫 
针对软件开发中的一种软件验证技术———形式化验证技术进行研究,分析这种方法的原理和应用情况,并使用一个实例来说明这种方法在基于模型的软件开发中的使用方式,由这个过程可以看出,这种基于模型的形式化验证技术对于传统的软件验证...
关键词：综合航电 基于模型 SCADE 形式化验证 
基于SCADE的无人机三余度飞控系统设计及实现被引量：7
《测控技术》2007年第4期52-54,共3页王群伟 吴成富 陈怀民 徐克 
利用一种嵌入式软件开发的新方法——嵌入式代码自动生成软件SACDE研究了无人机三余度飞控系统的开发。通过与传统三余度飞控系统开发方法进行了对比,说明了使用SCADE开发的无人机三余度飞控系统具有成本低、周期短、安全性高、交互界...
关键词：SCADE 三余度 飞控系统 高安全性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部