L模型

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

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机软件与理论x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于AADL模型航空安全软件可信性度量方法
《计算机技术与发展》2023年第8期81-87,94,共8页刘歆宁 康玲 
辽宁省教育厅高等学校基本科研项目(LJKMZ20222007);大连市青年科技之星项目(2021RQ068)。
航空嵌入式实时系统越来越复杂,AADL(Architecture Analysis&Design Language)是基于模型驱动的嵌入式实时系统的设计与实现的基础,未解决基于AADL模型的软件可信性度量与分析方面研究内容还不完善的问题,针对航空电子系统实例,对基于A...
关键词：AADL 航空软件可信性度量 Markov分析方法 模型转换规则 模糊综合评价法 
基于SMPL的视频人物动作迁移研究
《计算机应用文摘》2023年第16期91-93,共3页叶柯 麻福旦 陈相余 
国家级大学生创新创业训练项目(202210336020)。
作为3D视觉领域最热门的方向之一,三维视觉重建在近几年正飞速发展,并在未来的数字人、元宇宙等方面展现出巨大的潜力。作为计算机视觉的重要技术之一,基于视觉的三维重建技术通过深度数据获取、预处理、点云配准与融合、生成物体表面等...
关键词：三维视觉 三维重建 SMPL模型 动作迁移 
一种基于B方法的需求描述转化为AADL模型的研究
《企业科技与发展》2023年第1期58-60,89,共4页王日磊 陈奎 史岩 
目前,航空、航天等领域对系统的可靠性有着极高的要求,业界也在研究和探讨通过构建系统的体系结构模型保证后续验证、开发等阶段的一致性,从而提升系统的可靠性。首先需要确保构建的系统模型满足系统的原始需求,只有这样,才能保证后续...
关键词：B方法 AADL 模型驱动 
一种面向ATL模型转换程序的自动化缺陷修复方法
《软件工程与应用》2022年第6期1297-1309,共13页谭泽理 杜柯柯 江明月 
模型转换是模型驱动架构(Model Driven Architecture, MDA)的核心活动,它的质量直接影响到基于MDA的软件产品的质量。因此,基于模型转换开展的测试、错误定位以及缺陷修复对于基于MDA的软件开发来说至关重要。然而,由于模型转换程序自...
关键词：缺陷修复 ATL模型转换 蜕变测试 变异操作 补丁生成 
IFML模型至服务内容模型的映射研究
《软件导刊》2022年第9期57-62,共6页李宗花 
国家自然科学基金项目(61902141);教育部人文社会科学研究青年基金项目(19YJCZH095)。
为缩小应用前端与系统结构模型之间的鸿沟,提出将交互流建模语言模型(IFML)直接映射为服务内容模型(SCM)的方法。首先,分析IFML和SCM元模型元素的特点,设计IFML模型元素至SCM模型元素的映射规则;然后,利用查询视图转换操作语言(QVTo)描...
关键词：交互流建模语言 模型映射 服务内容模型 查询视图转换操作 
安全关键软件的AADL模型自动逆向构造方法被引量：2
《小型微型计算机系统》2022年第7期1553-1561,共9页邱志凯 杨志斌 谢健 周勇 程高辉 陈俊文 
国家自然科学基金项目(62072233)资助;航空科学基金项目(201919052002)资助;中央高校基本科研业务费专项资金项目(NP2017205)资助.
近年来,采用模型驱动(Model-Driven)尤其是形式化模型驱动的安全关键软件设计与开发方法逐渐受到重视,并被工业界认为是切实可行的重要手段.AADL(Architecture Analysis and Design Language)是一种广泛应用于安全关键领域的形式化建模...
关键词：安全关键软件 模型驱动工程 模型驱动逆向工程 AADL 
基于NuSMV的AADL模型形式化验证技术被引量：6
《航空学报》2022年第3期443-458,共16页刘畅 蒋永平 马春燕 张涛 
航空科学基金(20175553028,20185853038,201907053004)。
结构分析描述语言(AADL)是一种描述任务关键嵌入式系统架构和行为的建模语言,在航空航天领域广泛被应用。为验证AADL模型的任务关键属性和系统行为的正确性,提出基于NuSMV(新符号模型检查器)的AADL模型形式化验证方法。首先,覆盖AADL模...
关键词：AADL模型 NUSMV 形式化验证 模型转换 飞行控制系统 
基于范畴论的业务目标模型形式化
《计算机应用研究》2020年第5期1445-1449,共5页李宗花 李必信 
江苏省高校自然科学研究面上项目(18KJB520006);国家自然科学基金资助项目(61902141,41471425);教育部人文社会科学研究青年基金项目(19YJCZH095);淮安市科技计划资助项目(HABZ201701)。
面向目标需求语言(goal-oriented requirement language,GRL)模型聚焦于待定的需求,被广泛地应用于业务系统的初始需求建模,其模型的正确性影响到业务系统的开发质量。鉴于业务目标模型的形式化可以验证模型的正确性,提出了一种利用范...
关键词：GRL模型 范畴论 模型形式化 模型正确性验证 
一种SysML模型到AADL模型的自动转换方法被引量：5
《计算机工程与科学》2020年第3期456-466,共11页马燕燕 杨志斌 江国华 
国家自然科学基金(61502231);GF基础科研重点项目(JCKY2016203B011)。
安全关键系统的实现需要通过需求、设计、集成、验证和测试等多个阶段。近年来,模型驱动开发方法逐渐成为安全关键系统设计与开发的重要手段。由于还没有一个建模语言能够支持整个安全关键系统开发生命周期,因此选择集成使用2种广泛使...
关键词：安全关键系统 模型驱动开发方法 SYSML AADL 模型转换 
数据仓库中数据结构设计方法分析
《花炮科技与市场》2020年第1期220-221,共2页兰玉 
伴随着大数据时代的到来,异构源数据日渐增多,给数据仓库的数据结构设计带来了一定困难。基于此,文章在对数据仓库中的数据结构概念展开分析的基础上,对传统数据结构设计方法及问题进行了探讨,并提出了ETL模型实现数据结构优化设计,以...
关键词：数据仓库 数据结构 ETL模型 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部