ट्यूरिंग पूर्णता

विचरण विश्लेषण (ANOVA) एक सांख्यिकीय विधि है जो डेटा सेट में देखी गई कुल परिवर्तनशीलता को विभिन्न स्रोतों से उत्पन्न घटकों में विभाजित करती है। इसका मूल विचार विभिन्न समूहों के माध्यों के बीच के विचरण की तुलना उन समूहों के भीतर के विचरण से करना है। यदि समूहों के बीच का विचरण काफी अधिक है, तो यह दर्शाता है कि समूहों के माध्य वास्तव में भिन्न हैं।

कौरेंट-फ्रेडरिक्स-लेवी (सीएफएल) शर्त, स्पष्ट समय-एकीकरण योजनाओं का उपयोग करके अतिपरवलयिक आंशिक अवकल समीकरणों के संख्यात्मक समाधानों के लिए एक आवश्यक स्थिरता मानदंड है। यह निर्धारित करता है कि समय चरण का आकार इतना छोटा होना चाहिए कि सूचना प्रति समय चरण एक स्थानिक ग्रिड सेल से आगे न बढ़े। 1D मामले के लिए, [latex]C = u frac{Delta t}{Delta x} le C_{max}[/latex], संख्यात्मक स्थिरता सुनिश्चित करता है।

एनोवा (ANOVA) के परिणामों को वैध मानने के लिए, डेटा के संबंध में कई प्रमुख मान्यताओं का पूरा होना आवश्यक है। ये मान्यताएँ इस प्रकार हैं: (1) प्रेक्षणों की स्वतंत्रता, जिसका अर्थ है कि त्रुटियाँ असंबद्ध हैं। (2) सामान्य वितरण, जहाँ प्रत्येक समूह के अवशिष्ट लगभग सामान्य रूप से वितरित होते हैं। (3) समरूपता, या प्रसरणों की एकरूपता, जिसका अर्थ है कि सभी समूहों में अवशिष्टों का प्रसरण समान है।

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

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

इंटरपोलेशन एक सीएनसी कंट्रोलर के भीतर की जाने वाली गणना प्रक्रिया है जो प्रोग्राम किए गए अंतिम बिंदुओं के बीच एक सुगम पथ बनाने के लिए मध्यवर्ती निर्देशांक बिंदुओं का एक क्रम उत्पन्न करती है। इसके सबसे मूलभूत प्रकार हैं सीधी रेखाओं के लिए रैखिक इंटरपोलेशन (G01) और चापों के लिए वृत्ताकार इंटरपोलेशन (G02/G03)। यह जी-कोड प्रोग्राम में सरल ज्यामितीय आदेशों से जटिल प्रोफाइल की मशीनिंग करने की अनुमति देता है।

एसपीसी में समय के साथ किसी प्रक्रिया चर की निगरानी के लिए उपयोग किया जाने वाला एक ग्राफिकल टूल। यह प्रक्रिया औसत का प्रतिनिधित्व करने वाली केंद्रीय रेखा (सीएल) और ऊपरी (यूसीएल) और निचली (एलसीएल) नियंत्रण सीमाओं के बीच डेटा बिंदुओं को प्लॉट करता है। ये सीमाएँ आमतौर पर माध्य से तीन मानक विचलन (μ ± 3 σ) पर निर्धारित की जाती हैं, जो अपेक्षित सामान्य कारण भिन्नता की सीमा को परिभाषित करती हैं।

वन-वे एनोवा का उपयोग तीन या दो से अधिक स्वतंत्र समूहों के माध्यों के बीच सांख्यिकीय रूप से महत्वपूर्ण अंतर हैं या नहीं, यह निर्धारित करने के लिए किया जाता है। यह एक सतत आश्रित चर पर एक एकल श्रेणीबद्ध स्वतंत्र चर (जिसे कारक कहा जाता है) के प्रभाव का विश्लेषण करता है। शून्य परिकल्पना यह बताती है कि सभी समूह माध्य बराबर हैं, [latex]H_0: mu_1 = mu_2 = dots = mu_k[/latex]।

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

बेयस फैक्टर दो प्रतिस्पर्धी परिकल्पनाओं (अक्सर एक शून्य परिकल्पना (M1) और एक वैकल्पिक परिकल्पना (M2)) की सीमांत संभावनाओं का अनुपात होता है। यह प्रेक्षित डेटा D को देखते हुए, एक परिकल्पना के समर्थन को दूसरी परिकल्पना के समर्थन से अधिक मापता है। इसका सूत्र K = P(D|M1)/P(D|M2) है। K > 1 का मान यह दर्शाता है कि डेटा M2 की तुलना में M1 का पक्षधर है।

क्रेडिबल इंटरवल, फ्रीक्वेंटिस्ट कॉन्फिडेंस इंटरवल का बायेसियन समकक्ष है। यह मानों की एक ऐसी सीमा है जिसमें एक पैरामीटर एक विशेष प्रायिकता के साथ समाहित होता है, जो पश्च प्रायिकता वितरण पर आधारित होती है। उदाहरण के लिए, पैरामीटर [latex]theta[/latex] के लिए 95% क्रेडिबल इंटरवल का अर्थ है कि डेटा और मॉडल को देखते हुए, [latex]theta[/latex] का वास्तविक मान उस इंटरवल के भीतर होने की 95% प्रायिकता है।

विश्वसनीयता फलन, R(t), किसी प्रणाली या घटक द्वारा निर्दिष्ट समय 't' तक बिना किसी विफलता के अपना अपेक्षित कार्य करने की प्रायिकता को परिभाषित करता है। स्थिर विफलता दर (λ) वाली प्रणालियों के लिए, इसे घातीय वितरण द्वारा दर्शाया जाता है: [latex]R(t) = e^{-lambda t}[/latex]। यह फलन किसी उत्पाद की दीर्घायु और प्रदर्शन की भविष्यवाणी करने के लिए मूलभूत है।

मोंटे कार्लो विधि का एक उत्कृष्ट उदाहरण पाई (π) के मान का अनुमान लगाना है। 2r भुजा वाले वर्ग के भीतर r त्रिज्या का एक वृत्त बनाने पर, उनके क्षेत्रफलों का अनुपात πr² = π/4 होता है। वर्ग के भीतर यादृच्छिक रूप से बिंदु बिखेरने और वृत्त के भीतर गिरने वाले बिंदुओं के अंश p की गणना करने पर एक अनुमान प्राप्त होता है: π लगभग 4p।