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

龙图腾网获悉北京理工大学;北京中科蜂巢科技有限公司申请的专利一种支持模型属性量化评估的指标验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114896755B 。

龙图腾网通过国家知识产权局官网在2025-10-17发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210329226.0，技术领域涉及：G06F30/20；该发明授权一种支持模型属性量化评估的指标验证方法是由王国新;鲁金直;陈婧琦设计研发完成，并于2022-03-30向国家知识产权局提交的专利申请。

本一种支持模型属性量化评估的指标验证方法在说明书摘要公布了：本发明公开了系统工程技术领域的一种支持模型属性量化评估的指标验证方法，包括以下步骤：采用面向基于模型的系统工程方法，构建解决问题的系统工程模型；根据模型的需求和约束，采用KARMA语言指标验证部分语法定义包含系统模型中不随时间变化约束条件的验证脚本；指标验证编译器编译KARMA语言指标验证文本，调用基于可满足性模理论的求解器；该方法基于GOPPRR建模理论的基础上开发的，能够支持多架构模型的建立，不用局限于某一领域的模型，采用结合可满足性模理论和GOPPRR建模理论的方式实现模型关系、约束条件和验证对象的表达，采用可满足性模理论扩展统一建模语言，支持建模数据和求解数据的交互，并且降低工程人员学习成本。

本发明授权一种支持模型属性量化评估的指标验证方法在权利要求书中公布了：1.一种支持模型属性量化评估的指标验证方法，其特征在于，包括以下步骤： S1：采用面向基于模型的系统工程方法，构建解决问题的系统工程模型；在MetaGraph工具中，根据基于模型的系统工程方法中常用的“需求架构——功能架构——逻辑架构——物理架构”建模流程，构建领域的系统架构模型；多架构统一建模工具MetaGraph支持统一多架构建模语言KARMA表达基于模型的系统工程模型，实现不同通用建模语言及框架的模型库开发及建模； S2：根据模型的需求和约束，采用KARMA语言指标验证部分语法定义包含系统模型中不随时间变化约束条件的验证脚本；具体步骤为： a：采用KARMA指标验证语法定义指标验证模块和使用的验证求解器； b：根据模型定义约束中所需变量并进行赋值； c：构建基于模型信息的约束并将约束添加进求解器； 完成了变量的声明和赋值后，需要对这些基于模型信息的变量进行量化操作，形成和模型及需求相关的约束；约束的构建遵循可满足性模理论，通用约束可以形式化地表达为： CBool＝⊙Property,SizeotherType,R CBool是综合模型属性、除属性外模型元素的数量和实数以及各类运算符的表达式；其中，Bool表示表达式返回类型为布尔表达式,约束的表达必须为返回布尔的表达式；符号⊙被定义为可满足性模理论中的数学符号集合，包含算术运算符、布尔运算符、数组运算符和比较运算符；Size表示计算其余物种模型元素的数量，otherType指除了属性以外类型的模型元素，R是指实数；不同的数据类型支持不同的运算，但最后返回的表达式类型是布尔类型； 完成约束的创建后，需要将约束添加进求解器，才能够对约束进行评估；添加约束通过关键字“add”通用求解器或“Add”优化求解器声明；添加组件和整体之间的相等关系约束，添加整体质量不大于360kg的约束，各个组件之间的质量约束； d：在优化求解器内添加软约束及优化目标； e:评估约束并得出满足约束的解； S3：指标验证编译器编译KARMA语言指标验证文本，调用基于可满足性模理论的求解器；具体步骤为： 指标验证引擎对输入的验证脚本进行处理，内置语法分析器对验证脚本进行词法分析和语法分析，遍历语言的抽象语法树，分别执行各条语句，获取模型元素的信息；根据指标验证脚本，调用基于可满足性模理论的求解器，并执行脚本中的语言，添加相应的约束，对添加的约束进行求解。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京理工大学;北京中科蜂巢科技有限公司，其通讯地址为：100081 北京市海淀区中关村5号院北京理工大学；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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