CAJ | 학술논문

针对当前尚无面向分布式大数据应用、支持多组件协作应用建模的一般实用模型理论的问题。首先，给出了分布式大数据应用问题的形式化定义和问题求解的一般表达形式；然后，引入包含多结构化状态关系代数、协议代数和交互计算总线格代数的交互式计算范畴，并由此建立了交互式计算模型MIC，作为分布式大数据应用建模的模型理论基础。目前，MIC已在住房和城乡建设部的信息资源统一规划和国家住房信息系统建设中取得了成功的应用。
침대당전상무면향분포식대수거응용、지지다조건협작응용건모적일반실용모형이론적문제。수선，급출료분포식대수거응용문제적형식화정의화문제구해적일반표체형식；연후，인입포함다결구화상태관계대수、협의대수화교호계산총선격대수적교호식계산범주，병유차건립료교호식계산모형MIC，작위분포식대수거응용건모적모형이론기출。목전，MIC이재주방화성향건설부적신식자원통일규화화국가주방신식계통건설중취득료성공적응용。
There is not a universally applicable distributed big data application?oriented model theory currently for supporting multi?component collaborative application modeling. This paper gives the formalized definition of the problem of distributed application on big data and the general expression form for solving it. Next, the interactive computing category consisted of multi?structural state relational algebra, protocol algebra and interactive computing bus lattice algebra is introduced, thereby the model of interactive computing ( MIC) is set up, which is used as the model theory basis of distributed application modeling on big data. So far, the MIC has achieved success in the uni?fied information resource planning and national housing information system construction of the Ministry of Housing and Urban?Rural Development of the People's Republic of China ( MOHURD) .