Information processing systems becoming large and complex, Formal description methods are needed for specification of systems and their efficient and reliable designs.
信息处理系统的大规模化和复杂化，需要有效设计高可靠性系统的形式化的规格描述方法。
Reliable and accurate exposure assessment depends on a lot of reliable data. However, data sources, acquisition methods, data transfer, data processing and so on all have no systematical way.
而准确可靠的暴露评估取决于大量的可靠数据，而数据的数据源、采集方式、数据传递、数据处理等都没有形成系统的方法。
GPS monitoring system is not only with access to sensitive and reliable of slope monitoring equipment obtaining data, but also with the data processing methods.
GPS边坡监测系统不但与监测设备是否能灵敏可靠地取得变形监测数据有关，而且还与数据处理方法有关。
GPS monitoring system is not only with access to sensitive and reliable of slope monitoring equipment obtaining data, but also with the data processing methods.
GPS边坡监测系统不但与监测设备是否能灵敏可靠地取得变形监测数据有关，而且还与数据处理方法有关。
应用推荐