本选题从形式化方法的角度, 对流式数据挖掘进行理论建模, 给出流式数据挖掘平台的建模方法, 并阐述流式数据挖掘在云计算中的应用。