L模型

作品数：377被引量：1526H指数：16
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：杨志斌董云卫黄滟鸿桂盛霖周勇更多>>
相关机构：南京航空航天大学华东师范大学西北工业大学华中师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金国家高技术研究发展计划国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机技术与发展x
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于实时视频流的3D人体姿势和形状估计
《计算机技术与发展》2024年第4期42-47,共6页朱越 黄海于 罗学义 
应急管理部消防救援局科技创新项目(2020XFCX29)。
为满足元宇宙、游戏及虚拟现实等应用场景中对实时视频流3D人体姿势和形状估计准确性和真实性的要求,提出了一种基于时间注意力机制的3D人体姿势和形状估计方法。首先,提取图像特征,并将其输入运动连续注意力模块以更好地校准需要注意...
关键词：三维人体重建 SMPL模型 实时特征注意力集成 图卷积神经网络 机器学习 
基于AADL模型航空安全软件可信性度量方法
《计算机技术与发展》2023年第8期81-87,94,共8页刘歆宁 康玲 
辽宁省教育厅高等学校基本科研项目(LJKMZ20222007);大连市青年科技之星项目(2021RQ068)。
航空嵌入式实时系统越来越复杂,AADL(Architecture Analysis&Design Language)是基于模型驱动的嵌入式实时系统的设计与实现的基础,未解决基于AADL模型的软件可信性度量与分析方面研究内容还不完善的问题,针对航空电子系统实例,对基于A...
关键词：AADL 航空软件可信性度量 Markov分析方法 模型转换规则 模糊综合评价法 
一种AADL故障模型到动态故障树的转换方法被引量：4
《计算机技术与发展》2017年第11期110-114,共5页张晓策 燕雪峰 周勇 
"十三五"重点基础科研项目(JCKY2016206B001)
在基于模型驱动的嵌入式软件开发中,需要使用工程技术和工具保证其安全性和可靠性。在设计阶段确定系统的可靠性是非常重要的,因其可为设计决策提供重要信息,以减少系统的开发成本。应用AADL建立嵌入式系统模型时,存在着AADL对时序故障...
关键词：AADL模型 动态故障树 转换方法 错误附件 
基于Z-AADL模型的形式化转换被引量：2
《计算机技术与发展》2017年第3期23-28,共6页高正 曹子宁 
国家"973"重点基础研究发展计划项目(2014CB744900)
结构分析与设计语言(Architecture Analysis and Design Language,AADL)是针对嵌入式实时系统领域中的软件开发复杂度问题而提出的一种基于模型驱动开发的体系结构建模语言,可用于设计和分析一些安全关键嵌入式实时系统的软硬件体系结...
关键词：Z-AADL ZIA CT-ZIA 模型转换 
基于XML的UML模型向AADL模型的自动转换被引量：4
《计算机技术与发展》2014年第3期71-73,78,共4页万小平 李蜀瑜 
中央高校基本科研业务费项目(GK201002011)
UML已经成为复杂系统建模的工业标准,并可借助代码自动生成工具实现从分析到编码的开发过程自动化;AADL具有精确的语义和严格的语法规范,可用于描述嵌入式实时系统的软、硬件体系结构,并能分析系统的功能及非功能属性。UML和AADL模型的...
关键词：统一建模语言 架构分析与设计语言 模型转换 实时系统 嵌入式 
基于时间Petri网的AADL模型被引量：3
《计算机技术与发展》2014年第2期88-91,共4页吴育春 李蜀瑜 
教育部博士点基金项目(200807180005)
随着嵌入式系统设计日益复杂,对系统的描述也提出了越来越高的要求,特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中,线程的时间属性影响着系统的实时性,因此在设计早期利用AADL描述线程,但是AADL只是一种半形式化...
关键词：AADL 时间PETRI网 转化规则 
基于AADL模型的静态故障树的自动生成被引量：5
《计算机技术与发展》2013年第10期99-102,106,共5页刘玮 李蜀瑜 
中央高校基本科研业务费专项资金(GK2010002011);教育部科学教育重点项目(107106)
在基于模型驱动的嵌入式软件开发中,为了避免安全问题可能产生的损失,需要对系统的安全性进行分析,找出可能发生错误的地方。在基于AADL系统模型的安全性分析上,利用AADL错误模型附件为系统故障和传播进行建模,通过追踪对象的可能故障...
关键词：结构化分析和设计语言 错误模型 有向图 故障树 
AADL模型的形式化研究被引量：3
《计算机技术与发展》2013年第9期43-45,50,共4页刘玮 李蜀瑜 
中央高校基本科研业务费专项资金(GK2010002011);教育部科学教育重点项目(107106)
在嵌入式系统建模领域,AADL以其软硬件协同建模的特点已经逐渐成为业界的标准。围绕AADL的形式化特点,国内外众多学者展开了热烈的讨论。为了帮助系统开发人员深入了解AADL,指导软件开发进程,提高基于AADL模型的软件开发效率,分别从AAD...
关键词：模型驱动 结构化分析和设计语言 形式化研究 开发平台 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部