The Ozone Mapping and Profiler Suite (OMPS) consisting of three instruments, a Nadir Mapper (OMPS-NM), a Nadir Profiler (OMPS-NP) and a limb Profiler (OMPS-LP) was launched aboard Suomi NPP satellite in 2011. The inst...
详细信息
ISBN:
(纸本)9781479979301
The Ozone Mapping and Profiler Suite (OMPS) consisting of three instruments, a Nadir Mapper (OMPS-NM), a Nadir Profiler (OMPS-NP) and a limb Profiler (OMPS-LP) was launched aboard Suomi NPP satellite in 2011. The instrument is also planned to be aboard JPSS satellite. The data from this instrument is processed at Interface Data Processing Segment (IDPS) built by Raytheon. The main products from OMPS include Total Column Ozone and Ozone Profile. algorithm Development Library (ADL) framework mimics IDPS system and is used to test, troubleshoot and integrate algorithm updates. The algorithm integration team (AIT) at NOAA STAR is tasked to integrate the algorithm updates in ADL that could be simply plugged in the operational system. In this paper we will present the process in detail and will discuss the results of the latest update of V8 algorithm from V6 algorithm for OMPS Nadir Profile instrument.
Many efficient algorithms have been developed for satisfiability testing. They complement rather than exclude each other by being effective for particular problem instances. In this research, we give a Multi-SAT algor...
详细信息
Many efficient algorithms have been developed for satisfiability testing. They complement rather than exclude each other by being effective for particular problem instances. In this research, we give a Multi-SAT algorithm for the SAT problem. The Multi-SAT algorithm integrates several efficient SAT algorithms. It makes use of different algorithmic niches for satisfiability testing. Based on cost-effective cluster computing, Multi-SAT can perform simultaneous satisfiability testing, using several "stones" to shoot one "bird". The software architecture for Multi-SAT has been designed. A number of software tools have been developed. This software tool kit can support efficient satisfiability testing with uncertain problem structure, facilitating multiple tracking of an algorithm structure, and allow a detailed study of the entire problem spectrum. It provides a cost-effective multi-tool kit for practical satisfiability testing. (C) 1999 Elsevier Science B.V. All rights reserved.
暂无评论