AI na Matatizo Magumu ya Ulimwengu · Sayansi ya Dunia na hali ya hewa · arXiv · 2026-10-23
Uthibitishaji wa Ustahimilivu wa Kichambuzi cha Planktoni Kinachotegemea Gari la Chini ya Maji Linalojiendesha
Kichwa asilia: Robustness Verification of an Autonomous Underwater Vehicle-based Plankton Classifier
Vichambuzi vya planktoni kwenye magari ya chini ya maji yanayojiendesha mara nyingi hukosea kuainisha picha kunapokuwa na kelele za mazingira au uchafu usio wa kibiolojia, hivyo wanabiolojia wa baharini lazima wakague matokeo kwa mkono. Waandishi wanapendekeza mfumo wa uthibitishaji wa ustahimilivu unaotegemea uchambuzi wa kufikika (reachability analysis) na kuutumia kwa kichambuzi cha neural ODE cha muda endelevu kinachotumia picha kutoka kwa kifaa cha kupiga picha chembe cha SilCam. Uthibitishaji rasmi dhidi ya usumbufu wa mazingira umeripotiwa kufanya kazi kama kichujio cha kiotomatiki kinachotoa uhakikisho rasmi wa uthabiti wa modeli kwenye data tata, na hivyo kupunguza kazi ya baada ya usindikaji.