-
公开(公告)号：CN118036242A
公开(公告)日：2024-05-14
申请号：CN202311785415.X
申请日：2023-12-22
Applicant: 北京理工大学 , 中国兵器装备集团兵器装备研究所
IPC: G06F30/20
Abstract: 本发明公开了一种支持系统多层级建模及仿真验证的方法及装置，所述方法包括：对卫星通信系统按照使命‑体系‑系统进行逐层级分解；基于多层级建模及仿真验证系统构建卫星通信系统使命任务层级元模型、体系层级元模型、系统层级元模型，形成卫星通信系统使命任务‑体系‑系统元模型库；分别构建卫星通信系统使命任务模型、体系层级模型、系统层级模型，构建卫星通信系统使命任务‑体系‑系统统一模型；由所述多层级建模及仿真验证系统对所述统一模型进行一致性检查、仿真和验证。本方法构建复杂系统多层级/多领域模型库，支持多层级/多领域建模语言的统一描述以及定制化构建领域模型。
-
公开(公告)号：CN120065778A
公开(公告)日：2025-05-30
申请号：CN202510248155.5
申请日：2025-03-04
Applicant: 北京理工大学
Abstract: 本发明公开了一种复杂装备系统状态机图模型的仿真验证方法及系统，属于复杂装备系统工程技术领域，包括：建立复杂装备系统的状态机图元模型，并扩展仿真语义描述状态中的连续行为以及状态转换中的触发事件、条件守卫、效果执行；分析复杂装备某个场景下状态转换的逻辑与行为，根据已构建的状态机图元模型建立对应的状态机图模型；在仿真前对已构建的状态机图模型进行检查，并根据转换规则，将状态机图模型转换为混合自动机模型；通过集成的混合自动机仿真求解器，对生成的混合自动机模型进行仿真求解。本发明采用上述方法，能够解决难于实现复杂系统状态机图模型的统一描述、建模到仿真验证自动化的技术问题。
-
公开(公告)号：CN118780051B
公开(公告)日：2025-03-28
申请号：CN202410827513.3
申请日：2024-06-25
Applicant: 北京理工大学
Abstract: 本发明属于系统工程和复杂系统设计技术领域，公开了一种支持运载火箭供配电系统设计的模型转换方法，包括以下步骤：分析运载火箭供配电系统设计过程中涉及到的模型信息传递阶段和步骤；构建供配电系统需求图和供配电系统上下文系统模块图；构建供配电系统用例分析图，构建供配电系统逻辑组成模块定义图，构建供配电系统物理组成模块定义图，编辑模型转换规则，并执行模型转换。本发明采用上述的一种支持运载火箭供配电系统设计的模型转换方法，支持供配电系统架构设计过程中部分阶段设计模型的自动/半自动构建，提高工程师的设计效率与设计信息传递的一致性和可追溯性。
-
公开(公告)号：CN118778945A
公开(公告)日：2024-10-15
申请号：CN202410827506.3
申请日：2024-06-25
Applicant: 北京理工大学
Abstract: 本发明公开了一种支持复杂系统指标关联融合与验证的方法及系统，包括对卫星通信系统指标按照使命任务‑体系‑系统进行逐层分解，构建多层级指标模型来统一描述各层级指标的构成与分解关系；根据已构建的系统多层级指标模型，梳理多层级指标之间的相互关联关系，得到指标关联谱系，构建指标追溯矩阵，实现多层级指标关联关系的表达；通过将已构建的系统多层级指标模型以及指标关联追溯模型转化为本体知识模型，实现系统指标的关联融合。本发明采用上述的一种支持复杂系统指标关联融合与验证的方法及系统，能够解决难于实现复杂系统多层级异构指标模型的构建、多层级异构指标模型要素间关联关系的表达以及对多层级异构指标进行追溯验证的技术问题。
-
公开(公告)号：CN119599405A
公开(公告)日：2025-03-11
申请号：CN202411055099.5
申请日：2024-08-02
Applicant: 北京理工大学
IPC: G06Q10/0633 , G06Q10/0631 , G06Q10/04 , G06Q10/067 , G06Q50/04 , G06F40/186 , G06F40/242 , G06N3/126
Abstract: 本公开提供了一种支持复杂产品制造流程模型重构的方法和装置。使用者可以按照制造流程重构模板规定的语言结构输入制造流程重构需求，包括生产单元、需增加的制造活动、制造目标和制造约束；该方法根据制造流程重构词典解析该重构需求，根据生产单元和需增加的制造活动在制造流程模型库中进行信息提取和要素匹配，得到初步制造流程模型方案，再根据制造目标和制造约束对初步制造流程模型方案进行优化，重构出最终的制造流程方案，实现模型驱动的自适应可重构制造流程功能。使用本发明能够实现复杂产品制造流程模型的快速生成，提高了产品设计的效率和质量。
-
Patent Agency Ranking
公开(公告)号：CN118780051A
公开(公告)日：2024-10-15
申请号：CN202410827513.3
申请日：2024-06-25
Applicant: 北京理工大学
Abstract: 本发明属于系统工程和复杂系统设计技术领域，公开了一种支持运载火箭供配电系统设计的模型转换方法，包括以下步骤：分析运载火箭供配电系统设计过程中涉及到的模型信息传递阶段和步骤；构建供配电系统需求图和供配电系统上下文系统模块图；构建供配电系统用例分析图，构建供配电系统逻辑组成模块定义图，构建供配电系统物理组成模块定义图，编辑模型转换规则，并执行模型转换。本发明采用上述的一种支持运载火箭供配电系统设计的模型转换方法，支持供配电系统架构设计过程中部分阶段设计模型的自动/半自动构建，提高工程师的设计效率与设计信息传递的一致性和可追溯性。
-
公开(公告)号：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需求模型到不同建模语言描述系统架构模型的转换，提高了需求分析与架构设计的数据一致性。
-
公开(公告)号：CN118778945B
公开(公告)日：2025-04-18
申请号：CN202410827506.3
申请日：2024-06-25
Applicant: 北京理工大学
Abstract: 本发明公开了一种支持复杂系统指标关联融合与验证的方法及系统，包括对卫星通信系统指标按照使命任务‑体系‑系统进行逐层分解，构建多层级指标模型来统一描述各层级指标的构成与分解关系；根据已构建的多层级指标模型，梳理多层级指标之间的相互关联关系，得到指标关联谱系，构建指标追溯矩阵，实现多层级指标关联关系的表达；通过将已构建的多层级指标模型以及指标关联追溯模型转化为本体知识模型，实现系统指标的关联融合。本发明采用上述的一种支持复杂系统指标关联融合与验证的方法及系统，能够解决难于实现复杂系统多层级异构指标模型的构建、多层级异构指标模型要素间关联关系的表达以及对多层级异构指标进行追溯验证的技术问题。
-
公开(公告)号：CN118036242B
公开(公告)日：2025-02-21
申请号：CN202311785415.X
申请日：2023-12-22
Applicant: 北京理工大学 , 中国兵器装备集团兵器装备研究所
IPC: G06F30/20
Abstract: 本发明公开了一种支持系统多层级建模及仿真验证的方法及装置，所述方法包括：对卫星通信系统按照使命‑体系‑系统进行逐层级分解；基于多层级建模及仿真验证系统构建卫星通信系统使命任务层级元模型、体系层级元模型、系统层级元模型，形成卫星通信系统使命任务‑体系‑系统元模型库；分别构建卫星通信系统使命任务模型、体系层级模型、系统层级模型，构建卫星通信系统使命任务‑体系‑系统统一模型；由所述多层级建模及仿真验证系统对所述统一模型进行一致性检查、仿真和验证。本方法构建复杂系统多层级/多领域模型库，支持多层级/多领域建模语言的统一描述以及定制化构建领域模型。
-
公开(公告)号：CN119047196A
公开(公告)日：2024-11-29
申请号：CN202411236753.2
申请日：2024-09-04
Applicant: 北京理工大学
IPC: G06F30/20
Abstract: 本公开提供了一种支持复杂装备体系设计与仿真贯通的方法和装置。该方法构建基于KARMA语言的复杂装备体系的元模型库并设计表单；基于复杂装备体系中的使命任务信息、体系装备组成信息、体系中各个装备的功能状态转换信息、体系仿真流程信息，利用元模型库和表单，构建复杂装备体系的各种源模型；使用者通过编写代码生成脚本来制定代码生成规则，根据代码生成规则，从源模型提取信息并填入配置文件模板中，生成仿真推演所需的配置文件代码；仿真配置文件代码导入仿真推演平台中，对设计的仿真场景进行推演评估。使用本发明能够支持体系设计与多种体系仿真平台的贯通，以及多种建模语言描述下的体系设计模型到仿真模型的转换。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.024 seconds)
