Java随机数生成、时间格式转化方法总结