public string TimeFormat { get; set; }

当时态数据播放时，地图窗口可以显示当前播放帧的时间范围，例如当前播放帧的起止时间为：2018/6/1 13:30:10 到 2018/6/1 14:00:10，可以通过设置使地图窗口显示出：时间：2018年6月1日 13时30分10 秒 到 2018年6月1日 14时00分10秒，从而展示每一帧所显示数据的时间范围。关于窗口所显示的时间的格式，可以由用户自定义，如：2018/6/1 13:30:10、2018-6-1、2018年6月1日、13时30分，下文将详细介绍时间格式字符串如何构造。

1. 地图窗口仅显示日期。

日期中的年份使用“YYYY”或者“YY”作为格式化字符，系统遍历该属性指定的时间格式字符串，如果含有“YYYY”或者“YY”，在显示时间时，将使用当前帧时间范围中的年份去替换这两个字符串，其中：“YYYY”替换为四位数的年份，而“YY”则取年份的后两位数替换。

同理，日期中的月份使用“MM”作为格式化字符，为两位数的月份；日期中的日使用“DD”作为格式化字符，为两位数的日。

2. 地图窗口仅显示时间。

时间中的小时使用“hh”作为格式化字符串，系统遍历该属性指定的时间格式字符串，如果含有“hh”，在显示时间时，将使用当前帧时间范围中的小时数去替换该字符串，小时数的表达采用24小时制。

同理，时间中的分钟使用“mm”作为格式化字符；时间中的秒使用“ss”作为格式化字符。

3. 地图窗口同时显示日期和时间，使用上述格式化字符构造日期和时间的组合方式。

【注意】时间格式化字符的大小写必须严格遵守上述的内容。

上述描述了如何格式化时间，其实质就是：系统对于该属性指定的时间格式字符串，除了将上述的时间格式化字符替换为相应的时间数值外，所有非时间格式化字符都将直接显示。

【注意】时间格式字符串中不支持添加“%”和“\”特殊字符。