-
公开(公告)号:CN115454590B
公开(公告)日:2025-02-28
申请号:CN202210948239.6
申请日:2022-08-09
Applicant: 北京机电工程研究所
Abstract: 本发明提出一种面向活动图的仿真调度方法和系统,属于仿真调度技术领域。所述活动图为UML活动图或者SysML活动图,所述方法从所述活动图中解析出若干可执行对象,并基于所述可执行对象确定下一个可执行任务以及所需的仿真数据,以执行仿真过程,同时利用调度器对所述仿真过程中的各个任务进行调度。
-
公开(公告)号:CN119937985A
公开(公告)日:2025-05-06
申请号:CN202411799202.7
申请日:2024-12-09
Applicant: 北京机电工程研究所
Abstract: 本发明提供了一种转换基于UML规范异构模型文件的方法及系统,包括:解析当前工程文件;分析当前工程文件;判断当前工程文件是否存在未开始转换的引用工程;判断当前工程是否完成转换,若未完成,转下一步;若已完成,判断是否是主工程,若是,则结束文件转换;若不是,则将当前工程的之前转换中工程设置为当前工程,转步骤三;对当前工程文件进行模型校验;创建空的目标工程文件;从当前工程文件提取数据创建目标工程文件资源对象及模型数据;验证和优化目标工程及模型;记录转换日志,转至步骤四。应用本发明的技术方案,以解决现有技术中不同的建模工具之间实现数据和模型的互操作性和标准化传递较差,影响整个设计过程的效率和质量的技术问题。
-
公开(公告)号:CN119670855A
公开(公告)日:2025-03-21
申请号:CN202411529984.2
申请日:2024-10-30
Applicant: 北京机电工程研究所
IPC: G06N5/01 , G06F8/71 , G06Q10/047
Abstract: 本发明提供了一种基于最优公共祖先的复杂模型分支合并方法,该方法包括:根据各版本的信息变更历史构建版本树;根据源版本与目标版本在版本树上的路径关系判断两个版本是否存在公共祖先,如果是,则从所有公共祖先中选定最优公共祖先,分别计算源版本与最优公共祖先之间的第一变更数据以及目标版本与最优公共祖先之间的第二变更数据,将第一变更数据和第二变更数据与最优公共祖先进行合并以得到合并版本;如果否,则计算源版本与目标版本之间的第三变更数据,将第三变更数据与目标版本合并以得到合并版本。应用本发明的技术方案,以解决现有技术中分支合并方法存在潜在冲突处理导致不适用于复杂模型的多次分支合并的技术问题。
-
公开(公告)号:CN114373030B
公开(公告)日:2025-02-25
申请号:CN202111555066.3
申请日:2021-12-17
Applicant: 北京机电工程研究所
IPC: G06F30/00
Abstract: 本发明提出一种基于直线折角路径的自动避障方法和系统。方法包括:步骤S1、获取活动区域中的源矩形表示、目标矩形表示、障碍物矩形表示以及目标矩形表示上的目标点;步骤S2、构建源矩形框在上、下、左、右四个方向的M个通道,以执行第一层遍历;步骤S3、生成从源矩形表示的中心点到目标点的直角折线路径,并结束步骤。在第一层遍历未命中目标点的情况下,方法还包括:步骤S4、执行下一层遍历,并以下一层遍历作为当前层遍历,将在当前层遍历的前一层遍历中构建的各个通道作为当前层遍历的父通道,构建父通道的子通道;步骤S5、在当前层遍历未命中目标点的情况下,跳至步骤S4,重复执行步骤S4直到命中目标点,跳至步骤S3。
-
公开(公告)号:CN114417080B
公开(公告)日:2025-03-04
申请号:CN202111591177.X
申请日:2021-12-23
Applicant: 北京机电工程研究所
IPC: G06F16/903
Abstract: 本发明提供一种基于uml模型的图索引系统、电子设备及存储介质,其中,系统包括:uml模型、索引模型、绘图模型、图模型监听器和索引维护引擎;所述uml模型记录系统要表达的语义对象;所述索引模型保存记录图中出现了哪些uml对象和图的相关信息;所述绘图模型记录用户在图中绘制的图形元素并针对用户的修改发出相应修改的通知;所述图模型监听器收集用户在图中的修改的通知;所述索引维护引擎根据所述图模型监听器收集的修改的通知跟新更新所述索引模型。本发明提出的方案,通过图索引能快速查找出uml对象在哪些图中表达了。
-
公开(公告)号:CN115454590A
公开(公告)日:2022-12-09
申请号:CN202210948239.6
申请日:2022-08-09
Applicant: 北京机电工程研究所
Abstract: 本发明提出一种面向活动图的仿真调度方法和系统,属于仿真调度技术领域。所述活动图为UML活动图或者SysML活动图,所述方法从所述活动图中解析出若干可执行对象,并基于所述可执行对象确定下一个可执行任务以及所需的仿真数据,以执行仿真过程,同时利用调度器对所述仿真过程中的各个任务进行调度。
-
公开(公告)号:CN114417080A
公开(公告)日:2022-04-29
申请号:CN202111591177.X
申请日:2021-12-23
Applicant: 北京机电工程研究所
IPC: G06F16/903
Abstract: 本发明提供一种基于uml模型的图索引系统、电子设备及存储介质,其中,系统包括:uml模型、索引模型、绘图模型、图模型监听器和索引维护引擎;所述uml模型记录系统要表达的语义对象;所述索引模型保存记录图中出现了哪些uml对象和图的相关信息;所述绘图模型记录用户在图中绘制的图形元素并针对用户的修改发出相应修改的通知;所述图模型监听器收集用户在图中的修改的通知;所述索引维护引擎根据所述图模型监听器收集的修改的通知跟新更新所述索引模型。本发明提出的方案,通过图索引能快速查找出uml对象在哪些图中表达了。
-
公开(公告)号:CN114416048A
公开(公告)日:2022-04-29
申请号:CN202111551600.3
申请日:2021-12-17
Applicant: 北京机电工程研究所
Abstract: 本发明提出一种确定UML模型的运行逻辑的方法和装置。所述方法包括:步骤S1、利用UML模型解析器解析输入的UML模型,以获取所述UML模型的仿真模型,其中所述UML模型为基于统一建模语言构建的模型;步骤S2、利用仿真虚拟机执行所述仿真模型,以可视化执行所述仿真模型时的执行逻辑,从而验证所述UML模型的运行逻辑。所述方法根据UML模型自动解析出仿真模型并进行仿真计算和逻辑推理,使得设计人员能够轻松验证使用UML设计的复杂系统的行为是否符合预期,提前发现设计的模型问题。
-
公开(公告)号:CN114373030A
公开(公告)日:2022-04-19
申请号:CN202111555066.3
申请日:2021-12-17
Applicant: 北京机电工程研究所
IPC: G06T11/20
Abstract: 本发明提出一种基于直线折角路径的自动避障方法和系统。方法包括:步骤S1、获取活动区域中的源矩形表示、目标矩形表示、障碍物矩形表示以及目标矩形表示上的目标点;步骤S2、构建源矩形框在上、下、左、右四个方向的M个通道,以执行第一层遍历;步骤S3、生成从源矩形表示的中心点到目标点的直角折线路径,并结束步骤。在第一层遍历未命中目标点的情况下,方法还包括:步骤S4、执行下一层遍历,并以下一层遍历作为当前层遍历,将在当前层遍历的前一层遍历中构建的各个通道作为当前层遍历的父通道,构建父通道的子通道;步骤S5、在当前层遍历未命中目标点的情况下,跳至步骤S4,重复执行步骤S4直到命中目标点,跳至步骤S3。
-
-
-
-
-
-
-
-