基于中立模型表达的数学知识管理方法

Mathematical knowledge management method based on neutral model representation

为了使石化企业中大量的数学知识得到有效管理,避免在软件更新方面浪费大量人力资源和时间,提出了一种新的数学知识管理方法。利用中立模型表达改进了基于本体的数学建模知识管理OntoMODEL,将模型描述和模型解算分开,然后将该中立模型表达映射到具体可求解的模型表达中,最后利用相应的求解器解算模型。以石化企业为应用背景,设计了2个案例并将其转换为可求解的模型表达,验证了该方法的有效性。与OntoMODEL相比,该方法支持更多数学知识表达形式,降低了数学知识管理对求解软件的依赖。

In order to manage the mathematical knowledge of petrochemical enterprises effectively and avoid wasting human resources and time on software upgradation, a novel mathematical knowledge management method is proposed here. The ontological mathematical modeling knowledge management（OntoMODEL）is improved by a neutral model representation separating the model de-scription and solution. Then,the neutral model representation is mapped to a solvable model repre-sentation and calculated by a corresponding solver. Two cases of petrochemical enterprises are designed and converted to solvable model representations, which prove the effectiveness of this method. Compared with the OntoMODEL,the method proposed here supports more formats of math-ematical knowledge representations and reduces the dependence of mathematical knowledge management on solving software.