检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:王西超[1] 曹云峰[1] 丁萌[1] 庄丽葵[1] 王彪[1] 杨斌[2]
机构地区:[1]南京航空航天大学自动化学院,南京210016 [2]南华大学电气工程学院,湖南衡阳421001
出 处:《电子科技大学学报》2012年第4期482-490,共9页Journal of University of Electronic Science and Technology of China
基 金:国家自然科学基金(61102108);航空基金(20110752005)
摘 要:为了在复杂系统开发过程的不同阶段,以及在不同建模工具和设计部门之间更加准确地描述系统的顶层模型,提出了一种新的面向复杂系统开放式顶层建模方法。基于元对象机制的元建模框架,对SysML进行基本衍型扩展和Simulink衍型扩展;在顶层建模中,把复杂系统划分为静态结构模型、动态行为模型以及两种模型间的交互关系;并对各抽象层次模型进行形式化定义,实现多种异构模型的有效集成。最后,在某无人机飞控系统顶层建模实例中,对基于顶层模型进行了飞控系统的统一建模描述,实现了复杂系统中多种异构模型的高层次抽象,验证了该方法对复杂系统顶层建模的有效性。In order to describe top-level model in different development stages, tools and departments for the development of complex system more accurately, a novel openended top-level modeling method for complex system is proposed. Based on the facility of Meta modeling framework, SysML is profiled by basic stereotype and Simulink stereotype. In top-level modeling, the complex system is divided into static structure model, dynamic behavior model and the interaction between them. The formal definition of each abstract model is discussed and the integration of various structure models is realized. Take a flight control system of unmanned aerial vehicle as an example, the system is modeled uniformly based on top-level model and the higher-level abstraction of those isomerous models in complex system is implemented. The experimental results validate the effectiveness of the proposed modeling method.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.13