Algorithmic Verification of Energy Conservation in Discrete Cyber Physical Fluid Networks Using Mathematical Induction

आधुनिक शहर और कारखाने पानी ले जाने, डेटा केंद्रों को ठंडा करने और गर्मी वितरित करने के लिए पाइपों के अदृश्य नेटवर्क पर निर्भर करते हैं। ये प्रणालियाँ भौतिक हैं, लेकिन इन्हें तेजी से बढ़ते कंप्यूटरों द्वारा प्रबंधित किया जा रहा है जो सेंसरों पर नज़र रखते हैं और निर्णय लेते हैं। भौतिक मशीनरी और डिजिटल तर्क के इस मिलन को साइबर-फिजिकल सिस्टम (cyber-physical system) कहा जाता है। इन नेटवर्कों को सुरक्षित रूप से काम करने के लिए, उन्हें भौतिकी के मूलभूत नियमों का पालन करना होगा, विशेष रूप से इस नियम का कि ऊर्जा बस कहीं से गायब नहीं हो सकती या अचानक प्रकट नहीं हो सकती। यदि एक कंप्यूटर सोचता है कि एक पाइप में गर्मी की एक निश्चित मात्रा बह रही है, लेकिन वास्तविक सेंसर कुछ अलग मात्रा दिखाते हैं, तो कुछ गलत है। यह एक रिसाव, एक टूटा हुआ सेंसर, या सिस्टम को धोखा देने की कोशिश कर रहा कोई हैकर हो सकता है। इंजीनियरों के लिए चुनौती हमेशा यह रही है कि इन विशाल, जटिल नेटवर्कों की जांच इतनी जल्दी कैसे की जाए कि नुकसान होने से पहले ही समस्याओं को पकड़ा जा सके।

द दशकों से, इन प्रणालियों की जांच करने का मानक तरीका तरल पदार्थों के प्रवाह का अनुकरण (simulate) करने के लिए शक्तिशाली कंप्यूटरों का उपयोग करना रहा है। ये सिमुलेशन उन जटिल समीकरणों को हल करने का प्रयास करते हैं जो बताते हैं कि पानी कैसे चलता है और तापमान कैसे बदलता है। हालांकि यह एक नई प्रणाली को डिजाइन करने के लिए अच्छा काम करता है, लेकिन यह मौजूदा प्रणाली की वास्तविक समय (real time) में निगरानी करने के लिए बहुत धीमा है। जैसे-जैसे नेटवर्क बड़ा होता जाता है, इन गणनाओं को चलाने में लगने वाला समय विस्फोटक रूप से बढ़ता जाता है, जिससे एक विशाल शहर के जल ग्रिड की तुरंत जांच करना असंभव हो जाता है। डिब्रूगढ़ विश्वविद्यालय, भारत के सैयद इरफान अत्थर द्वारा किया गया एक नया अध्ययन एक अलग दृष्टिकोण का प्रस्ताव देता है। भौतिकी के समीकरणों को हल करके यह अनुमान लगाने के बजाय कि सिस्टम को क्या करना चाहिए, शोधकर्ता यह सुझाव देते हैं कि केवल यह जांचना पर्याप्त है कि हमारे पास पहले से मौजूद माप समझ में आ रहे हैं या नहीं। नेटवर्क को एक तरल पहेली के बजाय एक तार्किक संरचना के रूप में मानकर, अध्ययन दिखाता है कि हम बहुत बड़े नेटवर्कों के लिए भी लगभग तुरंत अपनी प्रणाली की अखंडता को सत्यापित कर सकते हैं।

इसका मूल विचार एक सरल तार्किक सिद्धांत पर आधारित है: यदि आप यह सिद्ध कर सकते हैं कि सिस्टम का एक हिस्सा सही ढंग से काम कर रहा है, और आप यह सिद्ध कर सकते हैं कि एक काम करने वाले सिस्टम में एक और हिस्सा जोड़ने से पूरा सिस्टम काम करता रहता है, तो पूरा सिस्टम सही होना चाहिए। शोधकर्ता ने इस तर्क को, जिसे गणितीय आगमन (mathematical induction) कहा जाता है, तरल नेटवर्कों पर लागू किया। सबसे पहले, पाइपों में पानी के निरंतर प्रवाह को रेखाओं से जुड़े बिंदुओं या नोड्स (nodes) की एक श्रृंखला में विभाजित किया जाता है। अध्ययन उन नेटवर्कों पर ध्यान केंद्रित करता है जो बिना किसी लूप के एक दिशा में बहते हैं, जैसे कि एक तने से फैलती शाखाओं वाला पेड़, न कि एक बंद घेरा। इस नेटवर्क के प्रत्येक बिंदु के लिए, कंप्यूटर यह जांचता है कि आने वाली ऊर्जा बाहर जाने वाली ऊर्जा के बराबर है या नहीं, जिसमें अपूर्ण सेंसरों के कारण होने वाली त्रुटि की एक बहुत छोटी गुंजाइश दी जाती है।

यदि ऊर्जा का संतुलन पहले बिंदु के लिए सही है, तो तर्क अगले बिंदु की ओर बढ़ता है। क्योंकि नेटवर्क में कोई लूप नहीं है, इसलिए कंप्यूटर एक विशिष्ट क्रम में एक नोड से दूसरे नोड पर जा सकता है, और प्रत्येक की व्यक्तिगत रूप से जांच कर सकता है। यदि प्रत्येक बिंदु जांच में सफल रहता है, तो पूरे नेटवर्क को सुरक्षित माना जाता है। यह विधि पारंपरिक तरल सिमुलेशन में उपयोग किए जाने वाले भारी, धीमे गणनाओं को दरकिनार कर देती है। एक विशाल पहेली को हल करने के बजाय जहाँ हर टुकड़ा दूसरे पर निर्भर करता है, यह नई विधि टुकड़ों की एक-एक करके जांच करती है। परिणाम यह है कि सत्यापन प्रक्रिया न केवल तेज़ है, बल्कि गणितीय रूप से भी सही होने की गारंटी देती है, बशर्ते कि सेंसर सटीक हों और नेटवर्क एक दिशा में बहता हो।

इस विचार का परीक्षण करने के लिए, शोधकर्ता ने सौ नोड्स वाले एक नेटवर्क का कंप्यूटर सिमुलेशन बनाया, जो एक नगरपालिका शीतलन प्रणाली (municipal cooling system) का प्रतिनिधित्व करता है। इस सिस्टम को वास्तविक डेटा दिया गया, जिसमें वह यादृच्छिक शोर (random noise) भी शामिल था जो वास्तविक सेंसर हमेशा उत्पन्न करते हैं। शोधकर्ता ने जानबूझकर त्रुटियां भी डालीं, जैसे कि एक रिसाव का अनुकरण करना जहाँ पानी का पांच प्रतिशत प्रवाह गायब हो गया, या सिस्टम को धोखा देने के लिए गलत डेटा डालना। एल्गोरिदम, जिसे अध्ययन में AVEC कहा गया है, इन समस्याओं को सफलतापूर्वक पहचानने में सफल रहा। इसने सामान्य बैकग्राउंड शोर को अनदेखा करते हुए लीकेज और फर्जी डेटा को उच्च सटीकता के साथ पकड़ा। अध्ययन में पाया गया कि एल्गोरिदम एक गतिशील थ्रेशोल्ड (dynamic threshold) का उपयोग करके वास्तविक समस्या और सेंसर की गड़बड़ी के बीच अंतर कर सकता है, जो इस आधार पर बदलता है कि सेंसर आमतौर पर कितना उतार-चढ़ाव करते हैं।

अध्ययन का सबसे उल्लेखनीय परिणाम गति का अंतर है। जब शोधकर्ता ने पारंपरिक सिमुलेशन उपकरणों के मुकाबले नई विधि की तुलना की, तो अंतर नाटकीय था। दस नोड्स के छोटे नेटवर्क के लिए, पारंपरिक विधि को जांच करने में लगभग दो मिलीसेकंड लगे, जबकि नए तरीके को इसमें लगने वाले समय का एक छोटा सा हिस्सा लगा। लेकिन जैसे-जैसे नेटवर्क बढ़ा, पारंपरिक विधि काफी धीमी हो गई। एक हजार नोड्स के नेटवर्क की जांच करने में पारंपरिक विधि को तैंतीस सेकंड से अधिक समय लगा, और पांच हजार नोड्स के नेटवर्क के लिए पांच मिनट से अधिक समय लगा। इसके विपरीत, नए तरीके ने पांच हजार नोड्स के नेटवर्क की जांच केवल चौबीस मिलीसेकंड में कर दी। मिनटों से मिलीसेकंड तक का यह बदलाव यह दर्शाता है कि एक कंप्यूटर सैद्धांतिक रूप से एक विशाल औद्योगिक नेटवर्क की वास्तविक समय में निगरानी कर सकता है, और लीक या साइबर हमले के होते ही उसे पकड़ सकता है, बजाय इसके कि वह गणना पूरी होने का इंतजार करे।

अध्ययन अपनी सीमाओं के बारे में स्पष्ट है। यह उन प्रणालियों की समस्याओं को हल करने का दावा नहीं करता है जिनमें लूप होते हैं, जहाँ पानी वापस घूमकर आता है, न ही यह उन प्रणालियों के लिए काम करता है जहाँ प्रवाह समय के साथ तेजी से बदलता है। यह विशेष रूप से स्थिर, एक-तरफा प्रवाह वाले नेटवर्कों के लिए डिज़ाइन किया गया है जहाँ सिस्टम के हर हिस्से को सेंसरों द्वारा पूरी तरह से देखा जा सकता है। यदि कोई सेंसर गायब है या डेटा अधूरा है, तो यह विधि काम नहीं कर सकती क्योंकि यह पूर्ण चित्र होने पर निर्भर करती है। हालाँकि, जिस प्रकार के नेटवर्क को यह लक्षित करता है, उसके लिए अनुसंधान यह प्रदर्शित करता है कि सुरक्षा के कठोर, गणितीय प्रमाण को एक तेज़, कुशल कंप्यूटर प्रोग्राम में बदला जा सकता है। यह दृष्टिकोण भारी कम्प्यूटेशनल लागत के बिना महत्वपूर्ण बुनियादी ढांचे को सुरक्षित करने का एक तरीका प्रदान करता है, जो लंबे समय से वास्तविक समय की निगरानी को सीमित करता रहा है। हर एक कदम पर भौतिकी के नियमों के सत्य होने को सिद्ध करके, यह प्रणाली सुनिश्चित करती है कि पूरा नेटवर्क सुरक्षित है, जिससे एक जटिल भौतिक समस्या एक सरल तार्किक जांच में बदल जाती है।