data a ;
input dt datetime.;
time=timepart(dt);
format time time.;
cards;
01JAN15:00:01:00
;
run;

使用timepart取出时间部分， 然后进行格式化输出。