请问哪位知道如何在回放文件中输出毫秒级的时间戳？

b2wz

最近想将flightgear的输出数据和模拟飞行中通过其他途径测量的数据进行同步分析，其他的测量数据都有时间戳，但是flightgear的输出配置（playback.xml这个文件）中默认没有时间戳。
今天在网上搜索，发现可以在配置文件中加入下面语句，在飞行过程中实现对时间的记录：
<chunk>
    <name>timestamp:hh</name>
    <type>int</type>
    <format>B%d</format>
    <node>/sim/time/utc/hour</node>
   </chunk>

   <chunk>
    <name>timestamp:mm</name>
    <type>int</type>
    <format>%d</format>
    <node>/sim/time/utc/minute</node>
   </chunk>

   <chunk>
    <name>timestamp:ss</name>
    <type>int</type>
    <format>%d</format>
    <node>/sim/time/utc/second</node>
   </chunk>但是，问题又来了，由于我的其他数据采样频率都很高，所以我希望时间记录的时间能精确到毫秒。
今天试了一天，包括加入一些类似的语句，如：
<chunk>
    <name>timestamp:ms</name>
    <type>int</type>
    <format>%d</format>
    <node>/sim/time/utc/millisecond</node>
   </chunk>
可是没有效果。最终还是没能实现将时间精确到毫秒的问题，请问哪位知道这个问题怎样解决？？