-
公开(公告)号：CN117763820A
公开(公告)日：2024-03-26
申请号：CN202311744541.0
申请日：2023-12-18
Applicant: 北京理工大学
Abstract: 本发明公开了一种飞行器起落架模型的代码生成及设计验证方法及装置，所述方法包括：构建基于KARM语言的飞行器起落架的元模型实例；基于物理属性在建模工具中拖拽所述飞行器起落架的元模型实例，构建飞行器起落架模型；基于所述飞行器起落架模型及用于对所述飞行器起落架模型进行指标计算的脚本模板，生成对评估所述飞行器起落架模型的功能指标进行计算的计算代码；基于生成的所述飞行器起落架模型对应的计算代码，导入相关求解器中，对设计的所述飞行器起落架模型的功能指标进行计算验证。本方法可以实现从系统模型到其他异构数据文件的自动或半自动转换，从而提高设计过程中系统模型与其他数据文件之间数据的可追溯性和一致性。
-
公开(公告)号：CN119166868A
公开(公告)日：2024-12-20
申请号：CN202411376988.1
申请日：2024-09-30
Applicant: 北京理工大学
IPC: G06F16/9032 , G06F16/903 , G06F40/186
Abstract: 本发明公开了一种支持复杂系统需求完整性建模和评估的方法，涉及复杂系统设计、基于模型的系统工程、需求管理技术领域，本发明包括以下步骤；步骤一：构建中文通用需求模板；步骤二：将中文通用需求模板与需求建模标准Req I F结合；步骤三：基于中文通用需求模板对需求条目属性内容进行约束；步骤四：构建需求模型；步骤五：构建需求完整性评估准则；步骤六：对需求条目属性内容的完整性进行评估；步骤七：将不符合需求的内容修改至符合需求模板，本发明基于EARS模板，扩展提出通用的中文需求模板，适应中文需求的表达方式和习惯，通过该模板，支持对中文需求内容进行结构化约束，从而实现中文需求的完整表达。
-
Patent Agency Ranking
公开(公告)号：CN120065778A
公开(公告)日：2025-05-30
申请号：CN202510248155.5
申请日：2025-03-04
Applicant: 北京理工大学
Abstract: 本发明公开了一种复杂装备系统状态机图模型的仿真验证方法及系统，属于复杂装备系统工程技术领域，包括：建立复杂装备系统的状态机图元模型，并扩展仿真语义描述状态中的连续行为以及状态转换中的触发事件、条件守卫、效果执行；分析复杂装备某个场景下状态转换的逻辑与行为，根据已构建的状态机图元模型建立对应的状态机图模型；在仿真前对已构建的状态机图模型进行检查，并根据转换规则，将状态机图模型转换为混合自动机模型；通过集成的混合自动机仿真求解器，对生成的混合自动机模型进行仿真求解。本发明采用上述方法，能够解决难于实现复杂系统状态机图模型的统一描述、建模到仿真验证自动化的技术问题。
-
公开(公告)号：CN118780051B
公开(公告)日：2025-03-28
申请号：CN202410827513.3
申请日：2024-06-25
Applicant: 北京理工大学
Abstract: 本发明属于系统工程和复杂系统设计技术领域，公开了一种支持运载火箭供配电系统设计的模型转换方法，包括以下步骤：分析运载火箭供配电系统设计过程中涉及到的模型信息传递阶段和步骤；构建供配电系统需求图和供配电系统上下文系统模块图；构建供配电系统用例分析图，构建供配电系统逻辑组成模块定义图，构建供配电系统物理组成模块定义图，编辑模型转换规则，并执行模型转换。本发明采用上述的一种支持运载火箭供配电系统设计的模型转换方法，支持供配电系统架构设计过程中部分阶段设计模型的自动/半自动构建，提高工程师的设计效率与设计信息传递的一致性和可追溯性。
-
公开(公告)号：CN117763820B
公开(公告)日：2025-03-07
申请号：CN202311744541.0
申请日：2023-12-18
Applicant: 北京理工大学
Abstract: 本发明公开了一种飞行器起落架模型的代码生成及设计验证方法及装置，所述方法包括：构建基于KARM语言的飞行器起落架的元模型实例；基于物理属性在建模工具中拖拽所述飞行器起落架的元模型实例，构建飞行器起落架模型；基于所述飞行器起落架模型及用于对所述飞行器起落架模型进行指标计算的脚本模板，生成对评估所述飞行器起落架模型的功能指标进行计算的计算代码；基于生成的所述飞行器起落架模型对应的计算代码，导入相关求解器中，对设计的所述飞行器起落架模型的功能指标进行计算验证。本方法可以实现从系统模型到其他异构数据文件的自动或半自动转换，从而提高设计过程中系统模型与其他数据文件之间数据的可追溯性和一致性。
-
公开(公告)号：CN119475848A
公开(公告)日：2025-02-18
申请号：CN202411390756.1
申请日：2024-10-08
Applicant: 北京理工大学
Abstract: 本发明公开了一种支持复杂系统需求完整性建模和评估的装置，涉及系统工程技术领域，本发明包括需求建模、需求完整性评估、设计过程建模、需求和设计过程本体集成、需求可追溯性表达与评估；所述需求建模模块包括需求条目化模型构建和需求内容约束定义；所述需求建模模块主要功能是基于所提需求完整性表达规则和约束实现需求模型的创建，保证创建的需求模型中需求内容的完整性；在需求建模模块中，需求内容约束定义子模块向需求条目化模型构建子模块提供约束，本发明通过在需求建模模块中，需求工程师使用条目化模型构建技术将高层次的需求分解为具体、可操作的条目，此方法促进了对需求的深入理解，并确保了每个需求都被精确地定义和记录。
-
公开(公告)号：CN118780051A
公开(公告)日：2024-10-15
申请号：CN202410827513.3
申请日：2024-06-25
Applicant: 北京理工大学
Abstract: 本发明属于系统工程和复杂系统设计技术领域，公开了一种支持运载火箭供配电系统设计的模型转换方法，包括以下步骤：分析运载火箭供配电系统设计过程中涉及到的模型信息传递阶段和步骤；构建供配电系统需求图和供配电系统上下文系统模块图；构建供配电系统用例分析图，构建供配电系统逻辑组成模块定义图，构建供配电系统物理组成模块定义图，编辑模型转换规则，并执行模型转换。本发明采用上述的一种支持运载火箭供配电系统设计的模型转换方法，支持供配电系统架构设计过程中部分阶段设计模型的自动/半自动构建，提高工程师的设计效率与设计信息传递的一致性和可追溯性。
-
-
-
-
-
-
Search Results
7
records
(took 0.018 seconds)
