国家自然科学基金(60773196)
- 作品数：3 被引量：2H指数：1
- 相关作者：谷德权秦兴国宋亮亮何岳李荣清更多>>
- 相关机构：汕头大学桂林电子科技大学中国科学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于PtolemyⅡ的自主飞行器控制系统代码生成及应用被引量：1
- 2012年
- 为解决自主飞行器控制系统设计中存在的复杂的代码制造问题,引入基于计算模型的设计方法,使用适合于控制系统建模的同步数据流计算模型来指导模型中各个模块之间的交互通讯,通过进行静态分析决定模块的执行顺序并能以此产生相应代码。在Ptolemy II图形语言开发环境下,以同步数据流计算模型对自主飞行器实时控制系统进行有效建模,并在此计算模型指导下自动生成代码,而所生成的代码能实施在实时分布式计算平台上,实现自主飞行器单机自主飞行的硬件在环仿真。
- 何岳秦兴国陈俊伟宋亮亮谷德权
- 关键词：飞行器控制系统代码生成硬件在环仿真
- 基于混合系统的飞机控制系统建模和分析被引量：1
- 2008年
- 利用基于模型的系统科学研究方法,提出了适用于飞机控制系统的混合系统模型和分析方法,以支持研发高效率的混合系统计算方法和软件工具,达到对离散和连续成分强相关的飞机控制系统进行基于模型的自动分析、设计和软件合成,从而提高飞机控制系统的安全性和可信度。
- 谷德权李荣清杨世伟
- 关键词：飞机控制系统可达性分析
- 面向自主飞行器的嵌入式计算平台
- 2012年
- 基于模型的设计方法是目前嵌入式控制系统开发与设计的主流方法,而对嵌入式控制系统模型及其代码正确性的检验是亟待解决的问题。基于平台的设计理论,提出一种面向自主飞行器的嵌入式计算平台,该平台以基于模型的设计方法实现对复杂实时控制系统建模,并且在同一框架下完成模型到代码的自动生成以及对实时控制系统进行不同粒度的检验,即X在环仿真,包括模型在环仿真、软件在环仿真、硬件在环仿真。该平台的提出为嵌入式实时控制系统的开发与设计提供了建模及模型检验的一体化环境,提高嵌入式实时控制系统的开发效率。
- 邹雅琴秦兴国王陟谷德权
- 关键词：嵌入式系统
