औपचारिक क्या है? औपचारिक विधि। अवधारणा, सार, चरणों, परिणाम, उदाहरण, औपचारिक के प्रकार

आज, बहुत बार आप "औपचारिक" अजीब अवधि का एक बहुत, और विज्ञान और प्रौद्योगिकी के विभिन्न क्षेत्रों में मिल सकते हैं। जो लोग अपने ज्ञान के क्षितिज का विस्तार करना चाहते के लिए, यह समझने के लिए इस औपचारिक कि सलाह दी जाती है। लेख अवधि का सार है और इस प्रक्रिया के व्यावहारिक अनुप्रयोग पर विचार किया जाएगा।

देखने के एक वैज्ञानिक बिंदु के औपचारिक एक सामान्य अर्थ में क्या है?

वैज्ञानिक पहलू पर एक छोटी सी स्पर्श। के तथ्य यह है कि शब्द, शब्द का औपचारिक से ली गई है "औपचारिक" यानी यह सशर्त है, और कभी कभी भी एक अमूर्त अवधारणा है कि एक न के बराबर वस्तु या घटना की प्रकृति की व्याख्या करने के लिए और दिए गए प्रारंभिक स्थितियों के साथ एक विशेष वातावरण में उसके गुण भविष्यवाणी करने के लिए अनुमति देता है से शुरू करते हैं।

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

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

कंप्यूटर औपचारिक

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

इस सिद्धांत के अनुसार व्यावहारिक रूप से सभी मौसम सेवा काम करता है। बीत रहा चक्रवात कंप्यूटर मॉडल और भूमि पर या पानी के ऊपर अपनी शक्ति चक्र भविष्यवाणी कर सकते हैं।

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

ये उदाहरण इस औपचारिक कि समझाने के लिए उपलब्ध हैं।

वस्तुओं और प्रक्रियाओं मॉडलिंग सिद्धांतों

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

आप प्रजातियों में से औपचारिक को देखें, तो लगभग सभी उनमें से तार्किक निष्कर्ष और गणना तक ही सीमित। पाठक कंप्यूटर मॉडलिंग, सबूत सिद्धांत के बीच एक समानांतर आकर्षित करने के लिए मुश्किल नहीं होगा, और इतने पर। ई सूक्तियों और तत्वों के आधार पर।

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

एक समय की बात यह सरल प्रयोगों के आधार पर केवल बहादुर तर्क वैज्ञानिक थे। आज, यह सब एक ही कंप्यूटर सिमुलेशन के आधार पर सरकारी विज्ञान द्वारा पुष्टि की है।

औपचारिक के चरणों

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

दूसरे शब्दों में, एक वस्तु या प्रक्रिया घटना सार के व्यवहार मॉडलिंग में आप विशुद्ध रूप से गणितीय प्रतीकों का वर्णन करने के लिए एक गणितीय कलन विधि का उपयोग की जरूरत है।

परिणाम एक औपचारिक वास्तविक विश्लेषण उम्मीद के मुताबिक घटनाओं के बाद जांच की प्रौद्योगिकी व्यवहार में उपयोग किया जाएगा या कुछ प्राकृतिक प्रक्रिया कदम की वास्तविक अस्तित्व में प्रवेश करती है पीछा प्राप्त करने के लिए है।

निम्नलिखित समस्या की अवधारणा है। वहाँ दो वेरिएंट हैं: पहले मामले में यह गुण और विशेषताओं का उपयोग कर के रूप में एक विशिष्ट दृष्टिकोण है, दूसरा विकल्प, डेटा की प्रारंभिक संग्रह इस्तेमाल किया, स्थिति, और इतने पर। घ एक संज्ञानात्मक विश्लेषण, का उल्लेख नहीं है समस्या के निर्माण का उपयोग शामिल है।

परिभाषा और प्रारंभिक स्थितियों के बाद वस्तुओं और प्रक्रियाओं के बीच मौजूदा संबंध है, साथ ही तथाकथित अर्थ संबंधों का अध्ययन किया, स्थानीय प्रतिनिधित्व तकनीकों के उपयोग जिसका अर्थ है।

ऐसा करने से चयनित एल्गोरिथ्म के आधार पर प्रारंभिक डेटा प्रसंस्करण द्वारा पीछा किया जाता है, और फिर परिणाम त्रुटि का प्रतिशत का संकेत देता है। आमतौर पर यह 5% से अधिक नहीं है, और ज्यादातर मामलों में संभावना का परिणाम 99% तक पहुँचता है। कोई भी व्यक्ति या मशीन अभी भी के लिए "सुरक्षा मार्जिन" छोड़ देंगे , अप्रत्याशित परिस्थितियों क्योंकि सब कुछ ध्यान में नहीं रखा जा सकता है।

क्यों यह सब जरूरी है?

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

अब यह है कि इस तरह औपचारिक स्पष्ट है। को एक सरल उदाहरण पर नजर डालते हैं।

व्यवहार में आवेदन औपचारिक, सबसे सरल उदाहरण

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

यह भविष्य विमान (हवा प्रतिरोध, ओर हवा है, ऊंचाई, और सबसे विंड टनल मानकों और अन्य विशेषताओं) की पूर्व निर्धारित विशेषताओं का औपचारिक के लिए अनुमति देता विमान एक निर्मित मॉडल के बिना उड़ान मॉडल।

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

मुख्य परिणाम

कई (नहीं करता है, तो एक सौ प्रतिशत है, तो साथ संभावना 95%) में गणितीय मॉडलिंग का परिणाम आधुनिक प्रौद्योगिकी के उत्पादन के पक्ष में एक शक्तिशाली तर्क हो सकता है, में मदद मिलेगी की भविष्यवाणी मौसम भी दुनिया में घटनाओं के लिए एक प्रतिक्रिया के रूप में सामाजिक व्यवहार की भविष्यवाणी।

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

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

निष्कर्ष

हम देखते हैं के रूप में, औपचारिक की धारणा, प्रक्रिया के वैज्ञानिक सार की जटिलता के बावजूद, यह उदाहरण समझने में आसान है। ज्यादातर मामलों में यह आता है नीचे कुछ तार्किक जंजीरों का उपयोग करने, परिणाम पहले से जाना।