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