Gps 如何将GPX转换为Rinex格式进行后期处理？

我正在研究实现后处理DGP的方法。 我使用安卓手机作为gps接收器

现在，我已经使用android应用程序gps记录器生成了GPX或KML文件。我需要将其转换为Rinex格式，以便进行后期处理。在搜索网络时，我找不到任何用于此的转换工具

---

有没有其他方法可以实现这一点？

最简单的方法是使用XSLT，因为gpx和kml文件都是xml

不可能。RINEX需要比GPX更多的细节