【摘 要】
:
针对UML的半形式化的表达方式缺乏精确的语义,无法验证软件设计过程中正确性的问题,展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink/Statef
【机 构】
:
中航工业西安航空计算技术研究所,机载弹载计算机航空科技重点实验室,清华大学计算机科学系
【基金项目】
:
航空科学基金项目资助(2013ZC31005)
论文部分内容阅读
针对UML的半形式化的表达方式缺乏精确的语义,无法验证软件设计过程中正确性的问题,展开UML设计模型到Simulink仿真模型转换方法研究。提出了一种UML状态机到Simulink/Stateflow的模型转换方法,建立UML状态机元模型、Simulink/Stateflow元模型以及状态机元模型到Stateflow元模型的映射规则。选取自动飞控软件作为案例,验证该方法的正确性。方法实现UML设计模型和Simulink仿真模型的自动转换,提高嵌入式软件开发效率,丰富并且完善模型驱动开发,也为嵌入式软件开发
其他文献
抗战爆发后,鉴于港澳战略地位上升,国民党加强了在港澳特别是香港的报刊活动和宣传工作。国民党海外部港澳总支部、宣传部国际宣传处等党政机关在港澳布置了相当规模的宣传网
在资源调查的基础上,分析和总结出四川鼠尾草属野生观赏植物的地理分布、生境特点及观赏特征,并进一步探讨了该野生观赏植物在盆栽、营造花海与花境、布置花坛、营建芳香植物专
本文通过对我国现金投放、回笼的季节性特征及其对经济影响的详尽分析,揭示出现金流通的一般规律,以便为人民银行制定货币政策提供依据.
米兰·昆德拉受到存在主义的影响,对现代社会中人的存在处境及其本质进行探询与反思。在《生命的不能承受之轻》之中,他以现实的暴力、极权与虚伪的处境为背景,用艺术的形式
李春晓,冯浩妍,吕兴洋,李晓义."穷家富路"?非惯常环境下的价格感知研究孙晓东,林冰洁.谁是主角——全球邮轮航线布局特征及区域差异研究余传鹏,叶宝升,朱靓怡.知识交换能否提
俄罗斯的国家知识产权战略已取得巨大成就。虽然俄罗斯的专利申请量极少,但它却是世界科技大国。俄罗斯的国家知识产权战略是"民间导向型"战略,而且主要是个人的全球科技创业
中亚国家紧邻我国新疆,在经济上与我国有较强的互补性,在基础设施等方面已具备一定的条件。双方在贸易、投资及旅游等方面具有广阔的合作前景,需要寻求各种可能的合作途经。加强
我们做事情往往从一个极端走到另 外一个极端。先前视金钱如粪土,如今许多人却又成了我们曾经唾弃的拜金主义者,而且被荣以为“成功人士”。 传媒对金钱的依赖在我们国家乃至于
<正>本刊讯记者从山东渤海湾港口集团(以下简称"渤海湾集团")了解到,截至7月18日,东营、潍坊、滨州三市已依次履行了所辖港口总体规划调整报告报送省政府的程序,标志着东潍滨
为了解Fe2O3纳米粒子对土壤有机碳分解矿化能力的影响,本研究采用室内培养实验,探讨了Fe2O3纳米粒子对土壤呼吸作用的影响。结果表明,在土壤中添加Fe2O3纳米粒子能够增强土壤