分类: 计算机科学 >> 计算机科学技术其他学科 提交时间: 2025-03-26
摘要: [目的】为运用数理逻辑模型论及推理方法来研究模型构建而提出一种模型组合方法。[方法】在数理逻辑模型论基础上,提出了模型受限并运算的方法,实现了模型在一定约束条件下的并运算,并进一步论述了子模型链、子模型树以及子模型网络的组建原理。[结果」论述了由小模型组建成大规模模型的新的可行途径和方法。即由较小的、成熟的的模型构建更大规模模型,或将较大规模模型分解为较小规模模型来实现。[局限] 现只从数理逻辑模型论角度对模型构建提出了研究思路, 进行了理论论述, 尚未在具体模型实现中进行研究。[结论] 为利用数理逻辑的知识表达和推理方法来研究模型构建给出了一种新的思路。