रिकवरी ब्लॉक योजना

OOP में एब्स्ट्रैक्शन जटिल कार्यान्वयन विवरणों को छिपाकर ऑब्जेक्ट की केवल आवश्यक विशेषताओं को प्रदर्शित करने की अवधारणा है। यह इस बात पर ध्यान केंद्रित करता है कि ऑब्जेक्ट क्या करता है, न कि वह कैसे करता है। यह एब्स्ट्रैक्ट क्लास और इंटरफेस के माध्यम से प्राप्त किया जाता है, जो पूर्ण कार्यान्वयन प्रदान किए बिना अन्य क्लास के लिए एक ब्लूप्रिंट परिभाषित करते हैं, जिससे जटिल सिस्टम सरल हो जाते हैं।

गुणवत्ता के सात बुनियादी उपकरण, काओरू इशीकावा द्वारा गुणवत्ता संबंधी समस्याओं के निवारण के लिए पहचाने गए ग्राफ़िकल तकनीकों का एक समूह हैं। ये उपकरण हैं: कारण-प्रभाव आरेख (फिशबोन), चेक शीट, नियंत्रण चार्ट, हिस्टोग्राम, पैरेटो चार्ट, स्कैटर आरेख और स्तरीकरण (अक्सर फ़्लोचार्ट के रूप में प्रस्तुत)। इन्हें 'बुनियादी' माना जाता है क्योंकि इनका उपयोग सरल है और इसके लिए बहुत कम औपचारिक सांख्यिकीय प्रशिक्षण की आवश्यकता होती है।

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

सत्यापन और प्रमाणीकरण (V&V) अलग-अलग प्रक्रियाएं हैं। सत्यापन यह सुनिश्चित करता है कि उत्पाद अपनी निर्धारित आवश्यकताओं को पूरा करता है ("क्या आप इसे सही ढंग से बना रहे हैं?")। प्रमाणीकरण यह सुनिश्चित करता है कि उत्पाद उपयोगकर्ता की वास्तविक आवश्यकताओं और इच्छित उपयोग को पूरा करता है ("क्या आप सही उत्पाद बना रहे हैं?")। ये गुणवत्ता प्रबंधन के अंतर्गत पूरक गतिविधियां हैं, जिन्हें अक्सर शुद्धता और उपयोगिता दोनों को सुनिश्चित करने के लिए क्रमिक रूप से या समानांतर रूप से किया जाता है।

पुनरावर्तनीयता सीमा, r, पुनरावर्तनीयता मानक विचलन (s_r) से प्राप्त एक महत्वपूर्ण मान है। यह पुनरावर्तनीयता की स्थितियों में 95% प्रायिकता के साथ प्राप्त दो एकल परीक्षण परिणामों के बीच अधिकतम अपेक्षित निरपेक्ष अंतर को दर्शाता है। इसकी गणना आमतौर पर r = 2.8 × s_r के रूप में की जाती है। यदि अंतर r से अधिक हो जाता है, तो परिणाम संदिग्ध माने जाते हैं।

जोखिम प्राथमिकता संख्या (आरपीएन) एफएमईए में जोखिमों को प्राथमिकता देने के लिए उपयोग किया जाने वाला एक मात्रात्मक माप है। इसकी गणना तीन क्रमबद्ध कारकों के गुणनफल के रूप में की जाती है: गंभीरता (एस), घटना (ओ) और पहचान (डी)। सूत्र है: [latex]आरपीएन = एस गुना ओ गुना डी[/latex]। प्रत्येक कारक को आमतौर पर 1 से 10 के पैमाने पर रेट किया जाता है, जिससे टीमें सबसे अधिक स्कोर वाले जोखिमों पर पहले ध्यान केंद्रित कर सकें।

समय सीमा चूकने के परिणाम के आधार पर रीयल-टाइम सिस्टम को "हार्ड" या "सॉफ्ट" में वर्गीकृत किया जाता है। हार्ड रीयल-टाइम सिस्टम में, समय सीमा चूकने पर सिस्टम पूरी तरह से विफल हो जाता है, जैसे कि एंटी-लॉक ब्रेकिंग सिस्टम में। सॉफ्ट रीयल-टाइम सिस्टम में, समय सीमा चूकने पर प्रदर्शन में गिरावट आती है, लेकिन सिस्टम पूरी तरह से विफल नहीं होता है, जैसे कि लाइव ऑडियो-वीडियो स्ट्रीमिंग में।

रेट-मोनोटोनिक शेड्यूलिंग (RMS) एक स्थिर-प्राथमिकता शेड्यूलिंग एल्गोरिदम है जो वास्तविक समय प्रणाली में आवधिक कार्यों के लिए उपयोग किया जाता है। यह कार्यों की आवृत्ति के आधार पर प्राथमिकता निर्धारित करता है: कार्य की अवधि जितनी कम होगी (उसकी दर जितनी अधिक होगी), उसकी प्राथमिकता उतनी ही अधिक होगी। RMS एक इष्टतम स्थिर-प्राथमिकता एल्गोरिदम है, जिसका अर्थ है कि यदि कोई भी स्थिर-प्राथमिकता एल्गोरिदम किसी कार्य समूह को शेड्यूल कर सकता है, तो RMS भी उसे शेड्यूल कर सकता है। शेड्यूल करने की क्षमता की जांच उपयोग-आधारित परीक्षण द्वारा की जा सकती है।

परिमित आयतन विधि (FVM) आंशिक अवकल समीकरणों को हल करने के लिए सीएफडी में एक प्रमुख संख्यात्मक तकनीक है। यह डोमेन को नियंत्रण आयतनों के जाल में विभाजित करती है और प्रत्येक आयतन पर शासी समीकरणों को उनके समाकल रूप में लागू करती है। अपसरण प्रमेय का उपयोग करके आयतन समाकलों को सतह समाकलों में परिवर्तित करके, यह कोशिका फलकों के पार संरक्षित गुणों के प्रवाह की गणना पर केंद्रित होती है।

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

A statistical measure of a process's ability to produce output within customer-defined specification limits. Unlike control charts, which track stability, Cpk quantifies capability. It measures how centered the process is between the specification limits and accounts for process variation. A higher Cpk value indicates a more capable process. The formula is [latex]C_{pk} = \min\left[\frac{USL - \mu}{3\sigma}, \frac{\mu - LSL}{3\sigma}\right][/latex].