摘要
以范畴论为指导,设计气象服务同构模型,构建基于软件重用的气象服务系统。首先对气象服务时间、空间、内容和协同四个共同特征进行尺度量化;进而定义四维尺度范畴(时间尺度范畴T、空间尺度范畴S、内容尺度范畴C及协同尺度范畴D);最终用函子连接范畴,从而完成了气象服务同构模型设计。基于此同构模型的气象服务系统被应用于四川省市县三级气象服务网,为260个不同级别的行政区域提供了公众气象、决策气象、专业气象的在线服务。
This paper designed an isomorphic meteorological services model based on category theory,and then built a meteorological service system upon the proposed model. According to meteorological services time,space,content and collaboration features,it first defined four-dimensional scale category( T. time scale category,S. space scale category,C. content scale category and D. synergistic scale category),then linked various categories with functors to complete the isomorphic meteorological services model. This system was utilized in Sichuan province meteorological service Website,which supported public,decision-making and professional meteorological service for 260 different-level administrative areas.
出处
《计算机应用研究》
CSCD
北大核心
2014年第8期2394-2398,共5页
Application Research of Computers
基金
中国气象局2012年业务专项经费资助项目
关键词
范畴论
气象服务
同构
category theory
meteorological services
isomorphism