औपचारिकता काय आहे? औपचारिकरण करण्याची पद्धत संकल्पना, सार, पायऱ्या, परिणाम, उदाहरणे, औपचारिकता प्रकार

आज, अनेक अनाकलनीय शब्द "औपचारिकरण" पूर्ण करणे आणि विज्ञान व तंत्रविद्येच्या विविध क्षेत्रात खूप परिश्रम घेणे शक्य आहे. ज्यांना त्यांचे ज्ञान क्षितीज वाढवायचे आहे, ते औपचारिकता काय आहे हे समजून घेणे हिताचे आहे. लेख या मुदतीचा तंतोतंत आणि प्रक्रियेचे व्यावहारिक अनुप्रयोग यावर विचार करेल.

सर्वसाधारण अर्थाने वैज्ञानिक दृष्टिकोनातून औपचारिकरण काय आहे?

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

कोणत्याही आधुनिक भाषेतील भाषाशास्त्र पूर्णपणे तार्किक स्वरूपांच्या अभिव्यक्ती किंवा विचारांच्या स्वरूपाशी जुळत नाही. अशा प्रकारे एका विशिष्ट प्रसंगीचे वर्णन करण्यासाठी विशिष्ट तर्कशास्त्र वापरणे तर्कशास्त्राने स्वतःला भाग पाडले जाते. त्यामुळे काय घडत आहे त्या औपचारिकतेची एक सापेक्ष संकल्पना आहे.

अंदाजापूर्वी आधीच अंदाज करणे सोपे असल्याने, औपचारिकतेचे सार वस्तु किंवा प्रक्रियेचे काही गुणधर्माचे वर्णन किंवा पूर्वनिर्धारित केले जाते (अगदी याक्षणी अस्तित्वात नसून) आणि वास्तविक जगामध्ये दिसण्याच्या बाबतीत त्याच्या अर्जाची अनुमान काढण्यासाठी. पण ही एक सामान्य कल्पना आहे. औपचारिकता अत्यंत संकल्पना फार व्यापक आहे. सुरुवातीला, संगणकाच्या तंत्रज्ञानावर लक्ष केंद्रित करूया, आम्ही हे दृश्य इलेक्ट्रॉनिक्स जगात कसे लागू केले आहे ते पाहू.

संगणक औपचारिकता

आपण कॉम्प्यूटरच्या विषयावर स्पर्श केल्यास, या प्रकारच्या औपचारिकता पद्धतीचा प्रारंभिक अटींवर प्रक्रिया करणे म्हणजे आपल्याला उच्च दर्जाची अचूकता, ऑब्जेक्ट किंवा प्रक्रियेचे पुढील वर्तन म्हणून ओळखण्यात मदत करते.

जवळपास सर्व हवामान सेवा या तत्त्वावर कार्य करतात. चक्रीवादळाचा संगणक मॉडेल येत असल्याने, जमीन किंवा पाण्याच्या जागेवर त्याचा चक्र आणि शक्तीचा अंदाज लावणे शक्य आहे.

"डे फॉर टुमारो" या चित्रपटाला लक्षात ठेवा, ज्यामध्ये वैज्ञानिकाने ग्लोबल वॉर्मिंगचा अंदाज वर्तवला, अशा तंत्राने तंतोतंत पुढे जाणे. त्यांनी एक संगणक मॉडेल तयार केले जे पुढील काही संभाव्यतेच्या संभाव्यतेची अंदाज देण्यास अनुमती देते.

औपचारिकता काय आहे हे स्पष्ट करण्यासाठी ही उदाहरणे उपलब्ध आहेत.

मॉडेलिंग वस्तू आणि प्रक्रियांचे सिद्धांत

औपचारिकता ची मुख्य पद्धती अंदाज आणि मॉडेलिंग आहे. या तंत्रज्ञानाचा वापर केवळ ऑब्जेक्ट्स किंवा प्रक्रियांबद्दल अंतिम डेटा प्राप्त करण्यासाठी केला जातो जो ज्ञात नाहीत, परंतु ते गृहित धरले जाऊ शकतात आणि उच्च अचूकतेसह मोजले जाऊ शकतात.

जर आपण औपचारिक स्वरुपाचे प्रकार पाहत असाल तर त्यातील सर्वच केवळ तार्किक निष्कर्ष आणि आकडेमोड करण्यासाठी कमी होतात. वाचक सहजपणे संगणकीय मॉडेलिंग, प्रमेयोंचा पुरावा इत्यादींवर आधारित समांतर काढू शकतात.

हे पहा, कारण आइंस्टाइनच्या सापेक्षतावादाचा सिद्धांत एक औपचारिकता पद्धतीने मानला जाऊ शकतो, कारण सरावाने पुराव्याची खात्री करणे शक्य नाही. विशेषतः, याचा अर्थ प्रकाश प्रचाराला सतत संदर्भतो, त्याची कामगिरीच्या थ्रेशोल्डवर वेळ विलंब, ऑब्जेक्टच्या गुरुत्वाकर्षणाची वस्तुमान वाढणे आणि स्पेसची वक्रता. हात, ते म्हणतात म्हणून, आपण हे जाणणार नाही आणि आपण आपले डोळे पाहू शकणार नाही

एके काळी हे सगळ्यात सोप्या प्रयोगांच्या आधारावर शास्त्रज्ञांचे फक्त ठळक निष्कर्ष होते. आज, या सर्व गोष्टी एकाच कॉम्पुटर सिम्युलेशनवर आधारित अधिकृत सायन्सने केल्या आहेत.

औपचारिकरण टप्प्यात

आम्ही संगणक प्रणाली विचार केल्यास, नंतर औपचारिकरण पहिल्या टप्प्यात प्रक्रिया वर्णन आहे. पण इथे नेहमीच्या भाषेतील साधने (अक्षरे, शब्द, वाक्ये, वाक्य) वापरली जात नाहीत. विशिष्ट गणितीय मॉडेल तयार करण्यासाठी , आपण निवडलेल्या प्रोग्रामिंग भाषेवर आधारित केवळ अल्गोरिदम वापरू शकता, परंतु सामान्य कार्य सेट केल्यानंतर.

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

औपचारिकरणाचे निष्कर्ष वास्तविक संशोधनाचे इव्हेंटचे विश्लेषण प्राप्त करणे हा आहे ज्याचा शोध घेणार्या तंत्रज्ञानाच्या मागे लागून ते सरावाने लागू केलेले असेल किंवा विशिष्ट नैसर्गिक प्रक्रिया वास्तविक अभिव्यक्तीच्या स्तरात प्रवेश करते.

कार्य संकल्पना खालीलप्रमाणे. दोन पर्याय आहेत: पहिल्या प्रकरणात, गुणधर्मांचा व गुणधर्मांच्या वापराच्या स्वरूपात दृष्टीकोनची ही व्याख्या; दुसरा पर्याय म्हणजे संज्ञानात्मक विश्लेषणाचा वापर करणे, कामाचे नियोजन, प्रारंभिक डेटा संग्रह, अटी इत्यादींचा उल्लेख करणे.

संकल्पना आणि प्रारंभिक परिस्थितीची व्याख्या केल्यानंतर, वस्तु आणि प्रक्रिया यांच्यातील विद्यमान नातेसंबंध अभ्यासले जातात, तसेच तथाकथित अर्थिक संबंध स्थानिक प्रेझेंटेशन तंत्रज्ञानाचा वापर करतात.

नंतर, प्रारंभिक डेटाची प्रक्रिया निवडलेल्या अल्गोरिदमच्या आधारावर होते, ज्यानंतर परिणाम त्रुटी टक्केवारीचे संकेत दिले जाते. नियमानुसार, हे 5% पेक्षा जास्त नसते आणि बहुतेक बाबतीत संभाव्यता परिणाम 99% पर्यंत पोहोचतो. कोणतीही व्यक्ती किंवा मशीन अद्याप अनपेक्षित परिस्थितीसाठी "सुरक्षिततेचा मार्जिन" सोडते , कारण प्रत्येक गोष्ट पूर्णपणे लक्षात घेणे अशक्य आहे.

हे सर्व आवश्यक का आहे?

आपण समजत असल्यास, अशा तत्त्वे आपल्याला ऑब्जेक्ट्स आणि प्रक्रियांच्या वर्तनाचे विश्लेषण करण्याची परवानगी देतात. दुस-या शब्दात सांगायचे तर, हे कसे कळेल की हे किंवा ती प्रक्रिया कशा प्रकारे विकसित होईल.

आता हे औपचारिकता काय आहे हे स्पष्ट आहे. चला सर्वात सोपा उदाहरण बघूया.

सराव मध्ये औपचारिकता अर्ज, सोपा उदाहरण

समजा एक विशेषज्ञाने विमानाचे एक नवीन डिझाइन विकसित केले आहे. प्रकल्पाची उच्च किंमत विचारात घेणे, हवेत त्याच्या वर्तनाचे प्राथमिक अंदाज न करता मूळ मॉडेल तयार करणे पूर्णपणे अवास्तव आहे. याव्यतिरिक्त, विमानाच्या एकाच पवन सुरंगात परीक्षेत बोइंगचे आकार एक अवास्तव कार्य आहे.

फॉर्मलाइझेशन भविष्यातील विमानाची पूर्वनिश्चित वैशिष्ट्ये (हवा प्रतिरोध, साइड वारा, उंची आणि पवन सुरंग स्वतः आणि अन्य वैशिष्ट्यांच्या पॅरामीटर्स) वर विमान मॉडेलच्या निर्माणाशिवाय फ्लाइटचे अनुकरण करण्यास अनुमती देते.

दुसरे उदाहरण ऑटोमोटिव्ह ची चिंता करून नवीन यंत्रांची चाचणी आहे. या प्रकरणात औपचारिकरण करण्याची मुख्य पद्धत म्हणजे सर्वप्रथम व्हर्च्युअल चाचणी उत्तीर्ण होतात आणि सकारात्मक परिणाम मिळवल्यानंतर वास्तविक परिस्थितीमध्ये चाचणीसाठी प्रोटोटाइपचे उत्पादन सुरू केले जाते.

मुख्य परिणाम

अनेक बाबतीत गणिती मॉडेलचे परिणाम (जर नाही तर 100%, तर 95% पर्यंत संभाव्यता) आधुनिक तंत्रज्ञानाच्या सोडण्याच्या बाजूने तीव्र वाद उद्भवू शकते, हवामानाचा अंदाज लावू शकण्यास मदत करू शकतो, तसेच जगात घडणार्या घटनांच्या प्रतिक्रिया म्हणून सामाजिक वर्तणूकदेखील काढू शकतो.

होय, होय! जगातील जनतेची निर्मिती ही स्वतःच्या कायद्यांच्या अधीन आहे. योग्य दिशेने काम करणे पुरेसे आहे. आज, खूप कार्यक्रम तयार केले गेले आहेत जे या किंवा त्या घटनेसाठी समाजाच्या प्रतिसादाची सांगण्याची परवानगी देतात. आणि ही सर्व औपचारिकतांचे उदाहरण नाही. जर आपण खोलवर खणले तर आपण दररोज याचा सामना करतो.

औपचारिकता ची सर्वात उल्लेखनीय उदाहरणे म्हणजे लार्ज हॅड्रॉन कोलायडरमधील प्राथमिक कणांच्या विघटनानंतर हिग्ज बोसॉनचा शोध. पण खरं तर हे समजलं जातं की या कणाचे अस्तित्व शुद्ध सिद्धान्त आहे आणि वास्तविक प्रयोगांद्वारे तो सिद्ध झालेला नाही.

निष्कर्ष

प्रक्रियेच्या सणाचा वैज्ञानिक अवघडपणा असूनही, औपचारिकतेच्या संकल्पनेमध्ये आपण पाहतो त्याप्रमाणेच, उदाहरणे समजून घेणे सोपे आहे. बहुतेक प्रकरणांमध्ये, काही ठराविक लॉनिकल चेन वापरणे कमी होते जे अंतिम परिणाम ठरवते.