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

龙图腾网获悉南京航空航天大学申请的专利基于SysML的民机自动飞控系统模式转换建模与验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119596897B 。

龙图腾网通过国家知识产权局官网在2025-11-11发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411527660.5，技术领域涉及：G05B23/02；该发明授权基于SysML的民机自动飞控系统模式转换建模与验证方法是由黄志球;范佳乐;胡军设计研发完成，并于2024-10-30向国家知识产权局提交的专利申请。

本基于SysML的民机自动飞控系统模式转换建模与验证方法在说明书摘要公布了：本发明公开了一种基于SysML语言对民机自动飞行系统模式转换进行建模和验证方法，首先详细分析了面向该领域进行形式化建模中存在的高层级抽象、层次化设计、模式转换逻辑和优先级特征的关键问题，构建飞控模式设计和转换的元模型；其次，基于提出的元模型对形式化建模语言SysML进行扩展，并将其编码为领域特定的SysMLprofile文件；随后在某型民用飞机的自动飞行系统模式转换建模项目中使用扩展的SysMLprofile进行设计，并采用NUSMV对该模型的安全性和正确性进行了验证。本发明提供了自动飞行系统相关领域较为完整且统一的模型搭建思想，可有效保证系统设计质量并提高系统开发效率和安全性。

本发明授权基于SysML的民机自动飞控系统模式转换建模与验证方法在权利要求书中公布了：1.一种基于SysML的民机自动飞控系统模式转换建模与验证方法，其特征在于，包括以下步骤： 1分析自动飞控领域形式化建模中存在的高层级抽象、层次化设计、模式转换逻辑和优先级特征问题，构建基于AFCS模式转换领域化元模型； 2基于提出的元模型对形式化建模语言SysML进行扩展，并将其编码为SysMLprofile文件； 3对自动飞控系统模式转换领域进行分层建模：模式转换的结构建模、模式转换建模及事件优先级建模； 4结合半形式化SysML模型的结构信息，从模型中提取FSM文本描述，结合提取的系统安全需求生成对应CTL规范，采用NUSMV对该模型的安全性和正确性进行了验证； 所述步骤2实现过程如下： 对领域化元模型的基本语义元素定义规范语法形式，在扩展自UML定义的SysMLprofile基础上构建新的建模元素构造型，包括：Flight_Modes_Atomic和Flight_Modes_Coupled扩展自SysML的block；构造型Event描述模式转换领域事件信息扩展自SysML的Attribute；构造型Process描述模式内部状态转移扩展自Statemachine；采用profilerelationship和标记属性为领域profile元素扩展附加特性； 步骤3所述模式转换的结构建模实现过程如下： 根据功能需求分析，采用块定义图描述系统静态结构信息；在飞行进近着陆阶段的模式层次上，根据维度信息分为横向、纵向；近着陆阶段的模式层次飞行模式通过隶属关系构建和层次下具体模式之间的联系；高层次的飞行模式通过整合和协调多个低层次的具体飞行模式以实现飞行目标，通过SysML的部分联系进行连接，形成图示层次化的飞行模式模型结构；进近期间，飞行模式与外部航空电子设备和飞行人员之间存在复杂的交互关系，采用构造型模块构建与飞行模式相交互的子系统，并通过扩展的交互关系进行连接； 步骤3所述模式转换建模实现过程如下： 模式转换定义在各自飞行模式内部块图中，构造型模式航向选择模式的ibd中搭建纵向可分三层的“过程”结构，包括两个输入过程、三个封装过程和三个输出过程；在执行序列上，总体可见存在输入过程-封装过程-输出过程的执行方向；功能之间的信息交互通过流，并维护执行顺序及层级关系；不同层次的过程只能获取上一层级或当前层级的变量和事件； 模块在执行顺序和属性处理上与模式管理和控制层保持一致； 建立模式间以及模式和模块间的模式状态信息和飞行事件的交互通道，以实现耦合兼容的多维度静态结构；在模式和模块结构边界定义扩展的输入和输出。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人南京航空航天大学，其通讯地址为：213300 江苏省常州市溧阳市滨河东路29号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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