支持分布式大数据应用建模的模型理论-哈尔滨工程大学学报.PDF

第３６卷第５期 哈　 尔　 滨　 工　 程　 大　 学　 学　 报 Ｖｏｌ．３６ №．５ ２０１５年５月 Ｊｏｕｒｎａｌ ｏｆ Ｈａｒｂｉｎ Ｅｎｇｉｎｅｅｒｉｎｇ Ｕｎｉｖｅｒｓｉｔｙ Ｍａｙ ２０１５ 支持分布式大数据应用建模的模型理论 １ ２ １ 张文燚 ，项连志 ，王小芳 （１． 哈尔滨工程大学 电子政务建模仿真国家工程实验室，北京 １０００３７；２．哈尔滨工程大学计算机科学与技术学院，黑龙江哈 尔滨 １５０００１） 摘　 要：针对当前尚无面向分布式大数据应用、支持多组件协作应用建模的一般实用模型理论的问题。 首先，给出了分 布式大数据应用问题的形式化定义和问题求解的一般表达形式；然后，引入包含多结构化状态关系代数、协议代数和交 互计算总线格代数的交互式计算范畴，并由此建立了交互式计算模型ＭＩＣ，作为分布式大数据应用建模的模型理论基 础。 目前，ＭＩＣ已在住房和城乡建设部的信息资源统一规划和国家住房信息系统建设中取得了成功的应用。 关键词：分布式大数据应用建模；模型理论；范畴；求解算子 ｄｏｉ：１０．３９６９／ ｊ．ｉｓｓｎ．１００６⁃７０４３． ２０１４０３０３８ 网络出版地址：ｈｔｔｐ：／ ／ ｗｗｗ．ｃｎｋｉ．ｎｅｔ／ ｋｃｍｓ／ ｄｅｔａｉｌ／ ２３．１３９０．Ｕ１５４８．００５．ｈｔｍｌ 中图分类号：ＴＰ３１１．５　 文献标志码：Ａ　 文章编号：（２０１５）０５⁃０６７１⁃０７ Ａ ｍｏｄｅｌ ｔｈｅｏｒｙ ｆｏｒ ｄｉｓｔｒｉｂｕｔｅｄ ａｐｐｌｉｃａｔｉｏｎ ｍｏｄｅｌｉｎｇ ｏｎ ｂｉｇ ｄａｔａ １ １ １ ＺＨＡＮＧ Ｗｅｎｙｉ ，ＸＩＡＮＧ Ｌｉａｎｚｈｉ ，ＷＡＮＧ Ｘｉａｏｆａｎｇ （１． Ｍｏｄｅｌｉｎｇ ａｎｄ Ｅｍｕｌａｔｉｏｎ ｉｎ Ｅ⁃ｇｏｖｅｒｎｍｅｎｔ Ｎａｔｉｏｎａｌ Ｅｎｇｉｎｅｅｒｉｎｇ Ｌａｂｏｒａｔｏｒｙ， Ｈａｒｂｉｎ Ｅｎｇｉｎｅｅｒｉｎｇ Ｕｎｉｖｅｒｓｉｔｙ， Ｂｅｉｊｉｎｇ １０００３７， Ｃｈｉｎａ；２． Ｃｏｌｌｅｇｅ ｏｆ Ｃｏｍｐｕｔｅｒ Ｓｃｉｅｎｃｅ ａｎｄ Ｔｅｃｈｎｏｌｏｇｙ，Ｈａｒｂｉｎ Ｅｎｇｉｎｅｅｒｉｎｇ Ｕｎｉｖｅｒｓｉｔｙ，Ｈａｒｂｉｎ １５０００１，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｔｈｅｒｅ ｉｓ ｎｏｔ ａ ｕｎｉｖｅｒｓａｌｌｙ ａｐｐｌｉｃａｂｌｅ ｄｉｓｔｒｉｂｕｔｅｄ ｂｉｇ ｄａｔａ ａｐｐｌｉｃａｔｉｏｎ⁃ｏｒｉｅｎｔｅｄ ｍｏｄｅｌ ｔｈｅｏｒｙ ｃｕｒｒｅｎｔｌｙ ｆｏｒ ｓｕｐｐｏｒｔｉｎｇ ｍｕｌｔｉ⁃ｃｏｍｐｏｎｅｎｔ ｃｏｌｌａｂｏｒａｔｉｖｅ ａｐｐｌｉｃａｔｉｏｎ ｍｏｄｅｌｉｎｇ． Ｔｈｉｓ ｐａｐｅｒ ｇｉｖｅｓ ｔｈｅ ｆｏｒｍａｌｉｚｅｄ ｄｅｆｉｎｉｔｉｏｎ ｏｆ ｔｈｅ ｐｒｏｂｌｅｍ ｏｆ ｄｉｓｔｒｉｂｕｔｅｄ ａｐｐｌｉｃａｔｉｏｎ ｏｎ ｂｉｇ ｄａｔａ ａｎｄ ｔｈｅ ｇｅｎｅｒａｌ ｅｘｐｒｅｓｓｉｏｎ ｆｏｒｍ ｆｏｒ ｓｏｌｖｉｎｇ ｉｔ． Ｎｅｘｔ，ｔｈｅ ｉｎｔｅｒａｃｔｉｖｅ ｃｏｍｐｕｔｉｎｇ ｃａｔｅｇｏｒｙ ｃｏｎｓｉｓｔｅｄ ｏｆ ｍｕｌｔｉ⁃ｓｔｒｕｃｔｕｒａｌ ｓｔａｔｅ ｒｅｌａｔｉｏｎａｌ ａｌｇｅｂｒａ，ｐｒｏｔｏｃｏｌ ａｌｇｅｂｒａ ａｎｄ ｉｎｔｅｒａｃｔｉｖｅ ｃｏｍｐｕｔｉｎｇ ｂｕｓｌａｔｔｉｃｅａｌｇｅｂｒａｉｓｉｎｔｒｏｄｕｃｅｄ，ｔｈｅｒｅｂｙ ｔｈｅｍｏｄｅｌ ｏｆ ｉｎｔｅｒａｃｔｉｖｅｃｏｍｐｕｔｉｎｇ （ＭＩＣ）ｉｓｓｅｔｕｐ，ｗｈｉｃｈ ｉｓｕｓｅｄａｓｔｈｅ ｍｏｄｅｌ ｔｈｅｏｒｙｂａｓｉｓｏｆ ｄｉｓｔｒｉｂｕｔｅｄａｐｐｌｉｃａｔｉｏｎｍｏｄｅｌｉｎｇｏｎｂｉｇｄａｔａ．Ｓｏｆａｒ，ｔｈｅＭＩＣｈａｓａｃｈｉｅｖｅｄｓｕｃｃｅｓｓｉｎｔｈｅｕｎｉ⁃ ｆｉｅｄ ｉｎｆｏｒｍａｔｉｏｎ ｒｅｓｏｕｒｃｅ ｐｌａｎｎｉｎｇ ａｎｄ ｎａｔｉｏｎａｌ ｈｏｕｓ