MARTE

作品数：30被引量：56H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黄志球朱梅霞胡军程桢李宣东更多>>
相关机构：南京航空航天大学南京大学华东师范大学北京大学更多>>
相关期刊：《计算机技术与发展》《计算机与现代化》《东方电影》《今日中国（西文版）》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划中央高校基本科研业务费专项资金中国航空科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
China mira hacia la Tierra desde Marte
《今日中国（西文版）》2021年第7期38-39,共2页
China triunfa en el primer aterrizaje en Marte
《今日中国（西文版）》2021年第6期12-13,共2页
增程型“马特”(Marte ER)反舰导弹进行发射试验
《兵器知识》2020年第3期6-6,共1页
欧洲MBDA公司2020年2月12日宣布,其研制的增程型"马特"反舰导弹已经完成了第二次发射试验。这次试验检验了导弹的总体设计和性能,测试了综合导航系统、近炸引信、控制系统等。导弹重315千克,弹长3.60米,弹径316毫米;导弹飞行速度为高亚...
关键词：发射试验 最大射程 近炸引信 反舰导弹 马特 综合导航系统 弹径 飞行速度 
卢奎西亚·马特尔Lucrecia Marte:柔韧地与世界分享
《东方电影》2019年第8期88-95,共8页甘琳 
每天世界各地的电影舞台都充斥着新浪潮运动的回响,新浪潮电影运动的先驱或大胆前卫或严谨缜密,但风格的多元并没有蔓延到性别的分立,本来就少的女性导演很少成为某个运动或风格的先行者。然而,2019年威尼斯国际电影节主竞赛单元的评委...
关键词：西亚 新浪潮电影 界分 柔韧 女性导演 国际电影节 运动 先行者 
一种基于SysML/MARTE/pCCSL的信息物理融合系统协同建模方法被引量：3
《华东师范大学学报（自然科学版）》2019年第1期48-57,共10页黄平 杜德慧 
国家自然科学基金(61472140);上海市自然科学基金(14ZR1412500)
信息物理融合系统(Cyber-Physical Systems, CPS)是一个综合计算、网络和物理环境的多维复杂系统.针对这种异构系统的建模问题一直是人们研究的重点,但是,缺乏系统性的方法来建模CPS的特性,如异构性、不确定性、软硬协同和非功能属性(No...
关键词：信息物理融合系统 SysML/MARTE/pCCSL 协同建模 元模型 智能建筑 
基于模型的IMA时间资源配置验证方法研究被引量：6
《计算机技术与发展》2018年第5期32-37,共6页王明明 胡军 张维珺 李宛倩 
国家"973"重点基础研究发展计划项目(2014CB744903);中央高校基本科研业务费专项资金;江苏省研究生培养创新工程(SJZZ16_0062)
综合模块化航空电子系统(IMA)在飞机机载航空电子系统领域应用广泛,已经成为飞机机载系统的重要的系统结构和发展趋势。IMA具有高安全性,资源共享和高度模块化综合化的特征,模块或组件间以AFDX网络连接。在IMA系统开发的过程中,为确保...
关键词：综合航电系统 模型驱动工程 MARTE 系统资源配置 MAST 
从UML到GSPN的转换和性能分析方法被引量：1
《计算机科学》2016年第11期49-54,共6页胡翔 焦莉 柴叶生 
UML模型一般不能直接进行性能分析,需要利用模型转换的方法将其转换成其他分析模型,比如排队论、随机进程代数或者随机Petri网等模型。利用Eclipse平台上的Papyrus建立3种类型的UML模型(用例图、部署图和活动图)来对系统进行建模,并利用...
关键词：模型驱动工程 UML PETRI网 模型转换 MARTE 
基于模型驱动的嵌入式软件测试技术研究被引量：2
《网络空间安全》2016年第8期75-83,共9页雷海申 王轶辰 
航空基金--基于模型的时间触发飞控系统测试技术研究支持
软件测试是保证软件可靠性的一种最重要的手段,而软件自动化测试又是保证软件测试效率的一种十分有效的方式。基于模型驱动的软件测试是一种自动化程度较高的测试方法。论文对模型驱动测试技术进行了综述,对测试需求建模、PIM转换到测...
关键词：模型驱动测试 测试需求建模 UML MARTE 
基于MARTE的IMA系统时间资源可调度配置验证
《电子世界》2016年第4期183-184,共2页程桢 
目前综合模块化航空电子系统(IMA)在资源配置方面有非常高的安全可靠性需求,其中时间资源的可调度性配置验证也显得至关重要。本文在AFDX网络架构下提出了一种IMA系统时间相关概念的MARTE建模和时间资源可调度配置的正确性验证方法。建...
关键词：综合航电系统 模型驱动工程 MARTE 系统资源配置 
基于UML MARTE处理AADL的端到端流延迟
《软件工程师》2015年第11期24-26,共3页杨夏 
湖南省教育厅科学研究项目(No.14C0063)
AADL和MARTE都支持对实时嵌入式系统形式化建模的分析。利用MARTE的时间模型设备,研究MARTE是如何对实时嵌入式系统的建模和分析的,能够比较准确的通过事件或者数据端口的端到端流延迟分析,表达AADL周期性或非周期性任务。
关键词：AADL MARTE 流延迟 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部