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

【Abstract】 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 description and solution. Then,the neutral model representation is mapped to a solvable model representation 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 mathemat-ical knowledge representations and reduces the dependence of mathematical knowledge management on solving software.更多还原