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

龙图腾网获悉哈尔滨工业大学申请的专利面向公理设计的飞行器系统的需求系统及构建方法、分析同步方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115758584B 。

龙图腾网通过国家知识产权局官网在2025-08-05发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211475474.2，技术领域涉及：G06F30/15；该发明授权面向公理设计的飞行器系统的需求系统及构建方法、分析同步方法是由魏承;张玉彤;岳程斐;曹喜滨设计研发完成，并于2022-11-23向国家知识产权局提交的专利申请。

本面向公理设计的飞行器系统的需求系统及构建方法、分析同步方法在说明书摘要公布了：面向公理设计的飞行器系统的需求系统及构建方法、分析同步方法，涉及系统工程技术领域。解决现有技术基于自然语言构建的需求模式，存在不精确性会影响计划进度和成本的问题。本发明提供需求系统的构建方法，根据各领域术语及对应解释和具有数学关系的术语及对应的数学解释，得到术语表；根据普适需求、事件驱动的需求、状态驱动的需求、不期望的需求、可选特征需求和条件关键词，获得可选条件，根据需求主语、需求模态、功能需求或设计约束，得到需求主句；根据不明显的需求原因，得到可选的需求原因；根据可选条件、需求主句和需求原因，得到结构化需求模板；根据术语表和结构化需求模板，得到需求系统。本发明适用于系统工程的领域。

本发明授权面向公理设计的飞行器系统的需求系统及构建方法、分析同步方法在权利要求书中公布了：1.一种面向公理设计的飞行器系统的需求系统构建方法，其特征在于，所述构建方法为： S1、根据各领域术语及对应解释和具有数学关系的术语及对应的数学解释，得到术语表； S2、根据所述术语表定义飞行器的需求，得到需求模板，所述需求模板中至少包括：普适需求、事件驱动的需求、状态驱动的需求、不期望的需求、可选特征需求、不明显的需求原因、条件关键词、需求主语、需求模态、功能需求和设计约束； 所述步骤S2中的普适需求没有预设条件，表示总是满足的需求； 所述事件驱动的需求表示由触发事件启动的需求，所述事件驱动的需求的句式为：WHEN+先决条件+触发； 所述状态驱动的需求表示在一个确定的状态下满足的需求，所述状态驱动的需求的句式为：WHILE+主语+处于特定条件； 所述不期望的需求表示表达不期望的情况下的需求，所述不期望的需求的句式为：IF+先决条件+触发； 所述可选特征需求表示当某些可选特征出现时需要满足的需求，所述可选特征需求的句式为：WHERE+包括一个特征； S3、根据所述普适需求、事件驱动的需求、状态驱动的需求、不期望的需求、可选特征需求和每个需求的条件关键词，获得可选条件； S4、需求主句由两种方式得到： 方式一：根据所述需求主语、需求模态和功能需求，得到需求主句； 方式二：根据所述需求主语、需求模态和设计约束，得到需求主句； S5、根据所述不明显的需求原因，得到可选的需求原因； S6、根据所述可选条件、所述需求主句和所述需求原因，得到结构化需求模板； S7、根据所述术语表和所述结构化需求模板，得到需求系统。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人哈尔滨工业大学，其通讯地址为：150001 黑龙江省哈尔滨市南岗区西大直街92号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。