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

作     者：张文燚 项连志 王小芳 ZHANG Wenyi;XIANG Lianzhi;WANG Xiaofang

作者机构：哈尔滨工程大学电子政务建模仿真国家工程实验室北京100037 哈尔滨工程大学计算机科学与技术学院黑龙江哈尔滨150001 

出 版 物：《哈尔滨工程大学学报》 (Journal of Harbin Engineering University)

年 卷 期：2015年第36卷第5期

页      面：671-677页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：电子政务建模仿真国家工程实验室基金资助项目(发改办高技2685号) 住房和城乡建设部信息资源规划和电子政务顶层设计基金资助项目((2009)01号) 政府信息化顶层设计研究 民政部中长期政务信息化建设顶层设计和"全民社会保障信息化工程(民政部分)"项目立项论证基金资助项目(GWKY-1330425) 

主　　题：分布式大数据应用建模 模型理论 范畴 求解算子 

摘      要：针对当前尚无面向分布式大数据应用、支持多组件协作应用建模的一般实用模型理论的问题。首先,给出了分布式大数据应用问题的形式化定义和问题求解的一般表达形式;然后,引入包含多结构化状态关系代数、协议代数和交互计算总线格代数的交互式计算范畴,并由此建立了交互式计算模型MIC,作为分布式大数据应用建模的模型理论基础。目前,MIC已在住房和城乡建设部的信息资源统一规划和国家住房信息系统建设中取得了成功的应用。