-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=MARTE模型 "
共 条 记 录，以下是1-4

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
基于MARTE的面向混成系统的模型形式化转换
《计算机与现代化》2015年第6期64-68,共5页李国拯 曹子宁 
航空科学基金资助项目(20128052064);中央高校基本科研业务费专项资金资助项目(NZ2013306);国家重点基础研究发展计划项目(2014CB744903)
混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,形式化建模与验证是确保混成系统正确性和可靠性的重要途径。首先介绍一种混成ZIA形式规范;然后,基于建模语言MARTE建立扩展Object-Z的规范,即OZMARTE,该规范弥补了MARTE...
关键词：混成系统 混成ZIA MARTE模型 Object-Z语言 模型转换 
基于吸收态马尔可夫链的智能无人车系统实时性能分析
《计算机科学》2021年第S02期147-153,共7页吴培培 吴兆贤 唐文兵 
国家自然科学基金项目(61210004,61170015)。
随着人工智能技术的进步和人机物融合系统的发展,智能无人车系统成为了新一代人工智能研究的前沿。智能无人车系统根据车辆和环境数据进行实时决策以控制无人车运行,因而该系统具有较高的实时性能要求,对系统实时性的分析是保障系统安...
关键词：智能无人车系统 MARTE模型 吸收态马尔可夫链 实时性能分析 
基于MARTE模型的系统可靠性预测被引量：2
《计算机科学》2015年第12期82-86,91,共6页柴叶生 朱雪阳 晏荣杰 张广泉 
江苏省自然科学基金(BK2011281);苏州市应用基础研究计划(SYG201241)资助
系统的可靠性是系统的重要非功能属性之一。传统的可靠性分析在系统开发结束后进行,可能会发现由于系统开发早期的架构设计不合理而导致的问题,这时再修改系统架构并重做后继开发步骤,将会浪费大量人力和物力。如果能在开发的早期阶段,...
关键词：系统可靠性 UML MARTE模型 马尔可夫决策过程 
基于MDA的MARTE模型形式化转换被引量：2
《指挥控制与仿真》2012年第6期128-133,共6页王立杰 刘昌禄 俞烈彬 
总装备部"十二五"基金项目
非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MD...
关键词：模型驱动 MARTE模型 Object-Z规约 元模型 模型转换 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部