支持分布式大数据应用建模的模型理论.pdfVIP

第３６卷第５期 哈　 尔　 滨　 工　 程　 大　 学　 学　 报 Ｖｏｌ．３６ №．５ ２０１５年５月 Ｊｏｕｒｎａｌ ｏｆ Ｈａｒｂｉｎ Ｅｎｇｉｎｅｅｒｉｎｇ Ｕｎｉｖｅｒｓｉｔｙ Ｍａｙ ２０１５ 支持分布式大数据应用建模的模型理论 １ ２ １ 张文燚 ，项连志 ，王小芳 （１． 哈尔滨工程大学 电子政务建模仿真国家工程实验室，北京 １０００３７；２．哈尔滨工程大学计算机科学与技术学院，黑龙江哈 尔滨 １５０００１） 摘　 要：针对当前尚无面向分布式大数据应用、支持多组件协作应用建模的一般实用模型理论的问题。 首先，给出了分 布式大数据应用问题的形式化定义和问题求解的一般表达形式；然后，引入包含多结构化状态关系代数、协议代数和交 互计算总线格代数的交互式计算范畴，并由此建立了交互式计算模型ＭＩＣ，作为分布式大数据应用建模的模型理论基 础。 目前，ＭＩＣ已在住房和城