Haar小波对时间序列的有效相似性搜索:有和没有时间规整