检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:鲁金直 王国新[3] 阎艳[3] 冯雷 张旸旸[5] 唐锡晋[6] 唐剑 张会生[8] 王坚[9] 郑晓晨 马君达 吴绶玄 陈金伟 温跃杰[10] Lu Jinzhi;Wang Guoxin;Yan Yan(ICT4SM Lab,EPFL,Lausanne 1020,Switzerland;School of Aeronautical Science and Engineering,Beihang University,Beijing 100191,China;School of Mechanical and Vehicular Engineering,Beijing Institute of Technology,Beijing 100811,China)
机构地区:[1]洛桑联邦理工学院ICT4SM实验室,瑞士洛桑1020 [2]北京航空航天大学航空科学与工程学院,北京100191 [3]北京理工大学机械与车辆学院,北京100811 [4]瑞典皇家理工学院工业信息及管理学院 [5]中国电子技术标准化研究院,北京100176 [6]中国科学院数学与系统科学研究院,北京100190 [7]北京民用飞机技术研究中心,北京102211 [8]上海交通大学叶轮机械研究所,上海200240 [9]电子科技大学,四川成都611731 [10]中国空间技术研究院,北京100084
出 处:《系统工程学报》2023年第2期146-160,共15页Journal of Systems Engineering
基 金:2021年度全国学会期刊出版能力提升计划资助项目。
摘 要:随着系统工程建模技术的进步,复杂装备生命周期所涉及的建模工具多样,模型数据异构为模型集成带来了重大技术挑战.因此,系统工程社区提出了语义建模规范并将其用于解决建模工具之间的模型数据集成难题,提升各工具建模语言的数据互用性.提出一个新的语义式系统工程建模语言KARMA,采用双语义机制支持复杂装备研发过程中的架构建模,并提出了该语言的技术发展路线.最后,通过工程验证案例,从定性及定量角度对语言进行技术验证,结果表明KARMA语言可支持多种复杂装备的体系及系统的架构设计.With the development of modeling technology,various modeling tools are involved in the life cycle of complex equipments.As a result,the heterogeneity of model and data brings new technical challenges to model integration.The system engineering community has proposed semantic modeling specifications to solve the model and data integration among modeling tools and to improve data interoperability across modeling languages and tools.A new semantic system engineering modeling language(KARMA)is proposed to support architecture modeling of RD for complex equipments using two core semantic mechanisms.Moreover,the technical development roadmap of the language is proposed based on the language specification.Finally,the language is validated through engineering cases,from both the qualitative and quantitative perspectives.The results show that KARMA language can support both the system composed of complex equipments and the system architecture design.
关 键 词:多架构建模语言 基于模型的系统工程 系统工程 架构设计 建模语言
分 类 号:TP399[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.22.194.5