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

第38卷 第3期 南京理工大学学报 Vol.38 No.3 2014年6月 Journal of Nanjing University of Science and Technology Jun.2014 基于中立模型表达的数学知识管理方法 1 2 2 1 荣 冈 ,肖 俊 ,胡云苹 ,冯毅萍 (浙江大学 1.工业控制技术国家重点实验室;2.智能系统与控制研究所,浙江 杭州310027) 摘 要:为了使石化企业中大量的数学知识得到有效管理,避免在软件更新方面浪费大量人力 资源和时间,提出了一种新的数学知识管理方法。 利用中立模型表达改进了基于本体的数学建 模知识管理OntoMODEL,将模型描述和模型解算分开,然后将该中立模型表达映射到具体可求 解的模型表达中,最后利用相应的求解器解算模型。 以石化企业为应用背景,设计了2 个案例 并将其转换为可求解的模型表达,验证了该方法的有效性。 与OntoMODEL相比,该方法支持更 多数学知识表达形式,降低了数学知识管理对求解软件的依赖。 关键词:模型表达;数学知识管理;石化企业;软件更新;基于本体的数学建模知识管理;模型描 述;模型解算;映射;求解器;案例 中图分类号:TP182 文章编号:1005-9830(2014)03-0342-07 Mathematical knowledge management method based on neutral model representation 1 2 2 1 Rong Gang ,Xiao Jun ,Hu Yunping ,Feng Yiping (1.State Key Laboratory of Industrial Control Technology; 2.Institute of Cyber-System and Control,Zhejiang University,Hangzhou 310027,China) 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 managementmethodisproposedhere.Theontologicalmathematicalmodelingknowledge management(OntoMODEL)isimprovedby a neutral modelrepresentation separatingthe 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.Comparedwiththe OntoMODEL,themethodproposedhere supportsmoreformatsof math-