On-Orbit Event-Based Conformance Checking Using GPU
In the past few years, China's space science and application has entered the stage of the space station with large-scale space science experiments. The number of flight missions related to space science grows rapidly, meanwhile, the corresponding payloads from various fields of science become m...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2019-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/8691400/ |
| _version_ | 1818914580010631168 |
|---|---|
| author | Nan Li |
| author_facet | Nan Li |
| author_sort | Nan Li |
| collection | DOAJ |
| description | In the past few years, China's space science and application has entered the stage of the space station with large-scale space science experiments. The number of flight missions related to space science grows rapidly, meanwhile, the corresponding payloads from various fields of science become more complicated. This paper breaks through the traditional management mode in which the payloads of space science are usually monitored by space-ground telemetry links and proposes an approach to utilize workflow net models to monitor the experimental processes of on-orbit payloads in real time. This approach can effectively offload the pressure of space-ground communication as well as the pressure of ground monitor stations. In this approach, spectral graph clustering is used in decomposing a workflow net model when the model is too huge to be processed in parallel on one single GPU (graphic processing units) device, and hybrid parallel computing algorithms are designed to carry out conformance checking operations based on observed events from on-orbit payloads in real time. The algorithms are implemented with a gather-apply-scatter model in CUDA 9.0 (compute unified device architecture) on Jetson TX2i module and are benchmarked. The performance of the algorithms is acceptable for practical use on orbit. |
| first_indexed | 2024-12-19T23:48:38Z |
| format | Article |
| id | doaj.art-82931dfc6438458a9dcee85d618d9783 |
| institution | Directory Open Access Journal |
| issn | 2169-3536 |
| language | English |
| last_indexed | 2024-12-19T23:48:38Z |
| publishDate | 2019-01-01 |
| publisher | IEEE |
| record_format | Article |
| series | IEEE Access |
| spelling | doaj.art-82931dfc6438458a9dcee85d618d97832022-12-21T20:01:14ZengIEEEIEEE Access2169-35362019-01-017526895271110.1109/ACCESS.2019.29111258691400On-Orbit Event-Based Conformance Checking Using GPUNan Li0https://orcid.org/0000-0002-6028-707XUniversity of Chinese Academy of Sciences, Beijing, ChinaIn the past few years, China's space science and application has entered the stage of the space station with large-scale space science experiments. The number of flight missions related to space science grows rapidly, meanwhile, the corresponding payloads from various fields of science become more complicated. This paper breaks through the traditional management mode in which the payloads of space science are usually monitored by space-ground telemetry links and proposes an approach to utilize workflow net models to monitor the experimental processes of on-orbit payloads in real time. This approach can effectively offload the pressure of space-ground communication as well as the pressure of ground monitor stations. In this approach, spectral graph clustering is used in decomposing a workflow net model when the model is too huge to be processed in parallel on one single GPU (graphic processing units) device, and hybrid parallel computing algorithms are designed to carry out conformance checking operations based on observed events from on-orbit payloads in real time. The algorithms are implemented with a gather-apply-scatter model in CUDA 9.0 (compute unified device architecture) on Jetson TX2i module and are benchmarked. The performance of the algorithms is acceptable for practical use on orbit.https://ieeexplore.ieee.org/document/8691400/Petri netsparallel processingparallel algorithmspartitioning algorithmsnetwork theory (graphs) |
| spellingShingle | Nan Li On-Orbit Event-Based Conformance Checking Using GPU IEEE Access Petri nets parallel processing parallel algorithms partitioning algorithms network theory (graphs) |
| title | On-Orbit Event-Based Conformance Checking Using GPU |
| title_full | On-Orbit Event-Based Conformance Checking Using GPU |
| title_fullStr | On-Orbit Event-Based Conformance Checking Using GPU |
| title_full_unstemmed | On-Orbit Event-Based Conformance Checking Using GPU |
| title_short | On-Orbit Event-Based Conformance Checking Using GPU |
| title_sort | on orbit event based conformance checking using gpu |
| topic | Petri nets parallel processing parallel algorithms partitioning algorithms network theory (graphs) |
| url | https://ieeexplore.ieee.org/document/8691400/ |
| work_keys_str_mv | AT nanli onorbiteventbasedconformancecheckingusinggpu |