中国航发商用航空发动机有限责任公司赵旭东获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉中国航发商用航空发动机有限责任公司申请的专利发动机的控制软件的形式化处理方法和装置获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114579084B 。
龙图腾网通过国家知识产权局官网在2026-03-27发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202011373919.7，技术领域涉及：G06F8/10；该发明授权发动机的控制软件的形式化处理方法和装置是由赵旭东;徐静设计研发完成，并于2020-11-30向国家知识产权局提交的专利申请。
本发动机的控制软件的形式化处理方法和装置在说明书摘要公布了：本公开提供了一种发动机的控制软件的形式化处理方法和装置，涉及形式化技术领域，所述方法包括：接收用户输入的所述控制软件的半形式化的控制需求；根据定义的形式化语言，将所述半形式化的控制需求形成为形式化的控制需求；根据所述发动机的控制安全规则，对所述形式化的控制需求进行验证；将验证后的所述形式化的控制需求转换为建模脚本，其中，所述建模脚本被配置为在被建模软件执行后生成所述控制软件的仿真模型。
本发明授权发动机的控制软件的形式化处理方法和装置在权利要求书中公布了：1.一种发动机的控制软件的形式化处理方法，包括： 接收用户输入的所述控制软件的半形式化的控制需求； 根据定义的形式化语言，将所述半形式化的控制需求形成为形式化的控制需求； 根据所述发动机的控制安全规则，对所述形式化的控制需求进行验证； 将验证后的所述形式化的控制需求转换为建模脚本，其中，所述建模脚本被配置为在被建模软件执行后生成所述控制软件的仿真模型； 将验证后的所述形式化的控制需求转换为建模脚本包括： 将用户输入的多个变量转换为第一脚本； 利用所述形式化语言与所述建模软件的脚本语言之间的转换引擎，将用户输入的多个功能任务中的每个功能任务转换为第二脚本； 将用户输入的多个控制状态的调用逻辑中的每个调用逻辑转换为第三脚本； 利用所述转换引擎将用户输入的状态迁移逻辑和时序控制逻辑转换为第四脚本，所述状态迁移逻辑包括所述控制软件需要的不同控制状态之间的迁移顺序，所述时序控制逻辑包括所述控制软件需要的每个控制状态调用的每个功能任务的持续时间； 所述建模脚本包括所述第一脚本、所述第二脚本、所述第三脚本和所述第四脚本。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国航发商用航空发动机有限责任公司，其通讯地址为：200241 上海市闵行区莲花南路3998号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励