(19)国家知识产权局 (12)发明 专利申请 (10)申请公布号 (43)申请公布日 (21)申请 号 202210954124.8 (22)申请日 2022.08.10 (71)申请人 桂林电子科技大 学 地址 541004 广西壮 族自治区桂林市广西 桂林七星区金鸡路1号 (72)发明人 黄用华　梁子彦　庄未　骆泽众　 萧洪亮　刘夫云　黄美发　钟永全　 (51)Int.Cl. G06F 30/17(2020.01) G06F 30/20(2020.01) G06F 111/10(2020.01) G06F 119/14(2020.01) (54)发明名称 一种变量循环/递归定义的自动识别方法 (57)摘要 本发明公开了一种变量循环/递归定义的自 动识别方法， 用于解决建模 过程中因输出模型可 能存在变量循环定义及递归定义， 使后续重排序 不能有效处理， 从而导致模型递推计算无法持续 进行的问题。 本发明公开的算法基于机械化建模 输出的脚本文件， 通过计算机软硬件平台以自动 识别批处理方式准确识别存在循环定义或递归 定义的模型变量， 其核心算法是， 结合集合理论 及符号计算原理， 通过识别因变量与自变量之间 的集合逻辑关系， 可准确定位存在循环/递归定 义的模型变量， 并返回原始建模文档进行校正处 理， 其结果是模型变量可持续进行数值迭代计 算。 本发明有效解决因模型变量存在循环定义及 递归定义使得后续模型递推计算无法持续进行 的问题， 利用自动识别批处理方式替代人工检测 方式， 本算法准确高效且实施简单明了， 具有很 强的工程 意义。 权利要求书2页 说明书10页 附图1页 CN 115374558 A 2022.11.22 CN 115374558 A 1.一种变量循环/递归定义的自动识别方法， 如图1所示， 包括具体步骤如下： 步骤1、 导入建模输出的脚本文件， 读取内部因式 中的变量及表达式； 步骤2、 初始化： 设定有效变量序列， 有效变量表达式序列， 因变量集合SA， 自变量集合 SB， 识别次数i； 步骤3、 记有效变量序列的长度为 N， 并设置因变量 集合SA的初始维度D等于1； 步骤4、 识别次数i清零； 步骤5、 在有效变量序列中， 放回式不重复抽取D个 变量元素置于因变量 集合SA中； 步骤6、 遍历因变量集合SA中各变量对应表达式， 并将所有表达式中自变量的并集置于 自变量集合SB中； 步骤7、 符号计算： 取fA＝∑{集合SA各变量}， fB＝∑{集合SB各变量}； 步骤8、 令 Δ＝fB‑fA； 步骤9、 检测Δ内部各符号元 素是否存在符号 “‑”(负号)； 若存在符号 “‑”(负号)， 则说明因变量集合SA中的变量元素不存在循环/递归定义， 执行 步骤11； 若不存在符号 “‑”(负号)， 则说明因变量集合SA中的变量元素存在循环/递归定义， 执行 步骤10； 步骤10、 输 出因变量集合SA中的变量元素存在循环/递归定义， 并返回原始建模文档， 由 技术人员对其进行处 理， 使变量元 素消除循环/递归定义， 执 行步骤11； 步骤11、 识别次数i自加1； 步骤12、 检测识别次数i是否等于排列组合 若识别次数i等于 则说明在当前维度下已完成所有不同组合的变量抽样， 执行步 骤13； 若识别次数i不等于 则说明在当前维度下尚有未被检测到 的变量元素， 需返回步 骤5； 步骤13、 检测因变量 集合SA的维度D是否等于有效变量序列长度N； 若维度D等于序列长度N， 则说明已完成所有变量元 素的识别， 跳转至步骤15； 若维度D小于序列长度N， 则说明尚未完成所有维度下变量 集的识别检测， 执 行步骤14； 步骤14、 扩充因变量 集合SA的维度， 即因变量 集合SA的当前维度D自加1， 并返回步骤4； 步骤15、 识别完成后的有效变量及表达式以脚本文件的形式输出； 识别处理完成， 退 出程序。 2.根据权利要求1所述的一种变量循环/递归定义的自动识别方法， 其特征在于： 其核 心算法是， 在不同维度下放回式不重复抽取相 应个数的模型变量， 结合集合理论及符号计 算原理， 通过识别因变量与自变量之间的集合逻辑关系， 可准确定位存在循环/递归定义的 模型变量。 针对本发明提供的技术方案， 可通过第一数学归纳法给予有效证明， 即本算法可 准确自动识别存在递归定义及不同维度循环定义的模型变量。 3.根据权利要求1所述的一种变量循环/递归定义的自动识别方法， 其特征在于： 步骤3 中， 记有效变量序列的长度为N， 并设置 因变量集合SA的初始维度D等于1。 该步骤中， 所述因 变量集合SA的维度D为1时， 通过本发明提出的算法可识别各变量是否存在递归定义。权　利　要　求　书 1/2 页 2 CN 115374558 A 24.根据权利要求1、 3所述的一种变量循环/递归定义的自动识别方法， 其特征在于： 所 述设置因变量集合SA的初始维度D等于1， 并配 合后续步骤14 逐轮扩充因变 量集合SA的维度， 其目的是， 在保证各模型变量无递归定义的前提下， 进一步识别多维度变量的循环定义时， 可避免因模型变量存在递归定义的问题而降低识别循环定义的准确性。权　利　要　求　书 2/2 页 3 CN 115374558 A 3