买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉中国航空工业集团公司西安飞行自动控制研究所申请的专利一种基于需求矩阵的状态机模型自动生成方法及装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119829900B 。

龙图腾网通过国家知识产权局官网在2026-04-28发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411913345.6，技术领域涉及：G06F17/16；该发明授权一种基于需求矩阵的状态机模型自动生成方法及装置是由张馨洋;张丹涛;苗伟涛;任阳阳;苏媚设计研发完成，并于2024-12-24向国家知识产权局提交的专利申请。

本一种基于需求矩阵的状态机模型自动生成方法及装置在说明书摘要公布了：本申请提供一种基于需求矩阵的状态机模型自动生成方法及装置，方法包括：步骤1：根据所述需求信息构建需求矩阵，并在需求矩阵中进行公式化描述；需求矩阵包括接口信息列表、状态行为列表、状态迁移条件矩阵和优先级矩阵；步骤2：生成空白模型文件，然后提取需求矩阵中的接口信息，并将接口信息转换为状态机模型接口框架并自动注入空白模型文件；步骤3：提取状态行为列表中的状态信息，根据每个状态的类型和状态行为，为每个状态按照预先设定的建模标准注入模型元素并写入相应的内容；步骤4：提取状态迁移条件矩阵中的迁移信息和优先级矩阵中的每个状态迁移的优先级信息，按照预先设定的建模标准，为每个状态迁移和迁移条件注入模型元素。

本发明授权一种基于需求矩阵的状态机模型自动生成方法及装置在权利要求书中公布了：1.一种基于需求矩阵的状态机模型自动生成方法，其特征在于，方法包括： 步骤1：基于状态机模型的使用场景和要求，获得状态机模型的需求信息；根据所述需求信息构建需求矩阵，并在需求矩阵中进行公式化描述；需求矩阵包括接口信息列表、状态行为列表、状态迁移条件矩阵和优先级矩阵； 步骤2：生成空白模型文件，然后提取需求矩阵中的接口信息，并将接口信息转换为状态机模型接口框架并自动注入空白模型文件； 步骤3：提取状态行为列表中的状态信息，根据每个状态的类型和状态行为，为每个状态按照预先设定的建模标准注入模型元素并写入相应的内容； 步骤4：提取状态迁移条件矩阵中的迁移信息和优先级矩阵中的每个状态迁移的优先级信息，按照预先设定的建模标准，为每个状态迁移和迁移条件注入模型元素； 步骤3包括： 如果状态行为列表中的状态信息存在状态行为，则向状态机模型中注入同名状态元素图形，并在状态机模型的状态元素图形中写入状态行为和状态编号； 如果状态行为列表中的状态信息不存在状态行为且不为节点，则向状态机模型中注入同名状态元素图形，并在该状态元素图形中写入状态编号； 如果状态行为列表中的状态信息为节点，则向状态机模型中注入一个节点元素图形； 步骤4包括： 如果需求矩阵中存在优先级矩阵，则按照优先级矩阵中的优先级顺序，将状态迁移条件矩阵中的迁移信息转换为模型元素，按照预先设定的建模标准注入模型，模型迁移元素也遵循优先级顺序； 如果需求矩阵中不存在优先级矩阵，状态迁移条件矩阵中存在无条件迁移，则按照状态迁移条件矩阵中从左到右、无条件迁移在最后的顺序，将迁移信息转换为模型元素，按照预先设定的建模标准注入模型，模型迁移元素也遵循状态迁移条件矩阵中从左到右、无条件迁移在最后的顺序； 如果不存在无条件迁移，则按照状态迁移条件矩阵中从左到右的顺序，将迁移信息转换为模型元素，按照预先设定的建模标准注入模型，模型迁移元素也遵循状态迁移条件矩阵中从左到右的优先级顺序。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国航空工业集团公司西安飞行自动控制研究所，其通讯地址为：710076 陕西省西安市雁塔区锦业路129号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。