-
公开(公告)号:CN118778945A
公开(公告)日:2024-10-15
申请号:CN202410827506.3
申请日:2024-06-25
Applicant: 北京理工大学
Abstract: 本发明公开了一种支持复杂系统指标关联融合与验证的方法及系统,包括对卫星通信系统指标按照使命任务‑体系‑系统进行逐层分解,构建多层级指标模型来统一描述各层级指标的构成与分解关系;根据已构建的系统多层级指标模型,梳理多层级指标之间的相互关联关系,得到指标关联谱系,构建指标追溯矩阵,实现多层级指标关联关系的表达;通过将已构建的系统多层级指标模型以及指标关联追溯模型转化为本体知识模型,实现系统指标的关联融合。本发明采用上述的一种支持复杂系统指标关联融合与验证的方法及系统,能够解决难于实现复杂系统多层级异构指标模型的构建、多层级异构指标模型要素间关联关系的表达以及对多层级异构指标进行追溯验证的技术问题。
-
公开(公告)号:CN119397683A
公开(公告)日:2025-02-07
申请号:CN202411478680.8
申请日:2024-10-22
Applicant: 北京理工大学
Abstract: 本发明属于复杂系统设计、基于模型的系统工程技术领域,具体涉及一种基于MBSE的汽车自动驾驶系统建模方法。该方法具体过程为:步骤一:子系统级需求分析,步骤二:子系统级功能架构分析,步骤三:组件级功能分析,步骤四:组件级逻辑架构设计,步骤五:子系统级逻辑架构设计,步骤六:组件级物理架构设计,步骤七:子系统级物理架构设计。该方法支持自动驾驶系统全流程建模,确保模型在各个层次上的一致性和完整性。
-
公开(公告)号:CN119166868A
公开(公告)日:2024-12-20
申请号:CN202411376988.1
申请日:2024-09-30
Applicant: 北京理工大学
IPC: G06F16/9032 , G06F16/903 , G06F40/186
Abstract: 本发明公开了一种支持复杂系统需求完整性建模和评估的方法,涉及复杂系统设计、基于模型的系统工程、需求管理技术领域,本发明包括以下步骤;步骤一:构建中文通用需求模板;步骤二:将中文通用需求模板与需求建模标准Req I F结合;步骤三:基于中文通用需求模板对需求条目属性内容进行约束;步骤四:构建需求模型;步骤五:构建需求完整性评估准则;步骤六:对需求条目属性内容的完整性进行评估;步骤七:将不符合需求的内容修改至符合需求模板,本发明基于EARS模板,扩展提出通用的中文需求模板,适应中文需求的表达方式和习惯,通过该模板,支持对中文需求内容进行结构化约束,从而实现中文需求的完整表达。
-
公开(公告)号:CN118036242A
公开(公告)日:2024-05-14
申请号:CN202311785415.X
申请日:2023-12-22
Applicant: 北京理工大学 , 中国兵器装备集团兵器装备研究所
IPC: G06F30/20
Abstract: 本发明公开了一种支持系统多层级建模及仿真验证的方法及装置,所述方法包括:对卫星通信系统按照使命‑体系‑系统进行逐层级分解;基于多层级建模及仿真验证系统构建卫星通信系统使命任务层级元模型、体系层级元模型、系统层级元模型,形成卫星通信系统使命任务‑体系‑系统元模型库;分别构建卫星通信系统使命任务模型、体系层级模型、系统层级模型,构建卫星通信系统使命任务‑体系‑系统统一模型;由所述多层级建模及仿真验证系统对所述统一模型进行一致性检查、仿真和验证。本方法构建复杂系统多层级/多领域模型库,支持多层级/多领域建模语言的统一描述以及定制化构建领域模型。
-
公开(公告)号:CN119989700A
公开(公告)日:2025-05-13
申请号:CN202510094013.8
申请日:2025-01-21
Applicant: 北京理工大学
IPC: G06F30/20 , G06F9/445 , G06F111/20 , G06F119/20
Abstract: 本公开提供了一种MBSE系统模型与AMESim仿真模型的自动生成方法,该方法基于GOPPRR‑E方法设计AMESim仿真模型中的元模型,确保MBSE系统模型与AMESim仿真模型在结构和语义上的一致性。通过定义详细的本体映射规则,实现AMESim系统模型与AMESim仿真模型的无缝转换。同时开发专用的自动化插件,能够依据已定义的映射规则和AMESim元模型,实现从MBSE系统模型到AMESim仿真模型的自动生成。
-
公开(公告)号:CN119989699A
公开(公告)日:2025-05-13
申请号:CN202510093948.4
申请日:2025-01-21
Applicant: 北京理工大学
IPC: G06F30/20 , G06F40/166 , G06F40/18
Abstract: 本公开提供了一种支持MBSE系统模型与设计文档的自动生成方法。读取MBSE系统模型项目信息,自动生成设计文档基本信息;生成设计文档结构:读取MBSE系统模型项目中构建的方法论模型的系统设计流程信息,根据流程设计内容C生成对应的文档章节,根据设计流程顺序A确定文档章节的顺序,根据设计流程层级B中的层级关系确定各章节在设计文档中的大纲级别;基于生成的所述设计文档结构以及读取的所述设计流程对应模型D,为各章节自动填充模型内容;并进行设计文档内容的动态更新。使用本发明能够解决现有技术中基于模板和规则的设计文档生成方法灵活性差、文档与模型难以动态同步等问题,保证系统模型与设计文档的一致性。
-
公开(公告)号:CN119129279A
公开(公告)日:2024-12-13
申请号:CN202411336152.9
申请日:2024-09-24
Applicant: 北京理工大学
IPC: G06F30/20 , G06Q30/018
Abstract: 本本发明属于复杂系统设计、需求管理技术领域,具体涉及一种基于本体的复杂系统设计过程需求追溯方法。该方法具体过程为:构建包含需求本体和架构本体的集成本体框架;针对复杂系统,采集不同来源、不同层级、不同类型的需求,基于ReqIF需求交换格式设计需求本体;针对复杂系统,基于GOPPRR‑E元建模方法设计架构本体;确定需求模型与需求本体映射规则,将不同来源、不同层级、不同类型的需求模型映射为基于统一框架的需求本体;确定架构模型与架构本体的映射规则,将架构模型映射为基于统一框架的架构本体;建立需求与其上级需求之间的追溯关系,建立需求与架构设计元素之间的追溯关系。
-
公开(公告)号:CN119106602A
公开(公告)日:2024-12-10
申请号:CN202411073366.1
申请日:2024-08-06
Applicant: 北京理工大学
IPC: G06F30/27 , G06F8/20 , G06N5/025 , G06F111/20
Abstract: 本公开提供了一种支持REQIF需求模型转换的方法和装置。该方法设计REQIF需求模型的元模型,其对象元模型用于描述需求条目的层级和属性,关系元模型用于描述需求条目的上下级关系;构建转换目标模型的元模型库;然后配置转换过程,其中转换来源配置了源元模型;转换目标配置了目标元模型以及转换规则,转换规则规定了源元模型和目标元模型之间的信息传递。解析待转换REQIF需求模型,通过实例化REQIF需求模型元模型获得对象实例和关系实例。根据转换配置,将REQIF需求模型中的对象实例和关系实例转换为目标元模型实例,同时进行元模型实例信息的传递。本发明支持REQIF需求模型到不同建模语言描述系统架构模型的转换,提高了需求分析与架构设计的数据一致性。
-
-
-
-
-
-
-