अमूर्तन (ओओपी प्रोग्रामिंग)

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

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

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

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

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

सत्यापन तकनीकों को मोटे तौर पर स्थैतिक या गतिशील में वर्गीकृत किया जाता है। स्थैतिक सत्यापन (या स्थैतिक विश्लेषण) में सिस्टम के कोड या डिज़ाइन की जांच उसे निष्पादित किए बिना की जाती है। उदाहरणों में कोड समीक्षा, निरीक्षण और स्वचालित स्थैतिक विश्लेषण उपकरण शामिल हैं। गतिशील सत्यापन (या परीक्षण) में सिस्टम को इनपुट के एक सेट के साथ निष्पादित करना और दोषों को खोजने के लिए उसके व्यवहार का अवलोकन करना शामिल है। व्यापक गुणवत्ता आश्वासन के लिए दोनों ही पूरक हैं।

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

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

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

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