发明名称 一种基于数据配置工具的模型验证分析方法
摘要 本发明属于计算机系统软件专业技术领域,具体涉及一种基于数据配置工具的模型验证分析方法。该方法包括:1、创建数据配置工具;2、采用导入导出模块新建模型;3、采用模型编辑模块对新建模型进行元素配置;4、采用数据检查和验证模块对模型元素进行检查;5、采用数据检查和验证模块对模型元素进行验证;6、将检查和验证通过的模型转化为二进制格式的数据。通过使用该方法能够全面的对模型进行检查分析,系统实时将检查分析结果反馈给用户,便于用户检查配置错误,从而确保配置模型数据的正确性。
申请公布号 CN105446883A 申请公布日期 2016.03.30
申请号 CN201510902224.6 申请日期 2015.12.08
申请人 中国航空工业集团公司西安航空计算技术研究所 发明人 高原;田丹;张旻;叶宏;李运喜;胡宁
分类号 G06F11/36(2006.01)I 主分类号 G06F11/36(2006.01)I
代理机构 西安智邦专利商标代理有限公司 61211 代理人 倪金荣
主权项 一种基于数据配置工具的模型验证分析方法,其特征在于,包括以下步骤:1)创建数据配置工具;所述数据配置工具包括导入导出模块、模型编辑模块、数据检查和验证模块以及数据生成模块;所述导入导出模块用于创建模型和模型数据的导出;所述模型编辑模块对新建模型进行元素配置;元素包括元素逻辑、分区、端口通道、故障过滤表、资源部署以及健康监控表;元素配置的动作包括增加、删除、修改、查看;所述数据检查和验证模块用于对创建的模型进行检查和验证;所述数据生成模块将配置完成的模型转化为二进制格式的数据;2)采用导入导出模块新建模型;3)采用模型编辑模块对新建模型进行元素配置;4)采用数据检查和验证模块对模型元素进行检查;若检查通过,则进行步骤5,若检查不通过,则进行步骤3);所述检查包括对导入已有项目进行检查以及对模型的元素配置过程进行检查;5)采用数据检查和验证模块对模型元素进行验证;若验证通过,则进行步骤6,若验证不通过,则进行步骤3);所述验证包括自上而下依次对模型框架结构、模型元素逻辑关系、模型元素间引用存在性进行验证;6)将检查和验证通过的模型转化为二进制格式的数据。
地址 710065 陕西省西安市锦业二路15号