को formalization के हो? formalization विधि। अवधारणा, सार, चरणमा, परिणाम, उदाहरणहरू formalization को प्रकार

आज, धेरै अक्सर तपाईं, र विज्ञान र प्रविधिको विभिन्न क्षेत्रहरू अनौठो शब्द "formalization" को धेरै पूरा गर्न सक्छन्। आफ्नो ज्ञान को क्षितिज विस्तार गर्न चाहने ती लागि, यो formalization भनेर बुझ्न उचित छ। लेख शब्द को सार र प्रक्रियाको व्यावहारिक आवेदन छलफल गरिनेछ।

एक सामान्य अर्थमा दृश्य को एक वैज्ञानिक बिन्दु को formalization के हो?

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

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

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

कम्प्युटर formalization

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

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

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

यी उदाहरणहरू यस formalization कि व्याख्या गर्न उपलब्ध छन्।

वस्तुहरु र प्रक्रियाहरू मोडेलिंग सिद्धान्तहरू

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

तपाईं प्रजाति को formalization हेर्न भने, लगभग सबै तिनीहरूलाई को तार्किक निष्कर्ष र गणना गर्न सीमित। पाठक axioms र postulates को आधार मा त मा कम्प्युटर मोडेलिंग, प्रमाण सिद्धान्त बीचको समानता आकर्षित गर्न कठिन हुनेछ, र। ई।

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

एक पटक एक समय मा यो केवल साहसी तर्क सरल प्रयोग आधारमा वैज्ञानिक थियो। आज यो सबै एउटै कम्प्युटर अनुकार को आधार मा आधिकारिक विज्ञान पुष्टि भएको छ।

formalization चरणमा

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

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

परिणाम एक formalization वास्तविक विश्लेषण छानबीन प्रविधी व्यवहार मा प्रयोग गरेपछि वा हुनेछ केही प्राकृतिक प्रक्रिया चरण को असली अस्तित्व प्रवेश पछि भनेर पूर्वानुमान घटनाहरू प्राप्त छ।

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

को परिभाषा र प्रारम्भिक अवस्था निम्न वस्तुहरू र प्रक्रियाहरू बीच अवस्थित सम्बन्ध, साथै तथाकथित जनक सम्बन्ध, स्थानीय प्रतिनिधित्व प्रविधी प्रयोग implying अध्ययन।

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

यो सबै किन आवश्यक छ?

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

यसलाई अब यस्तो formalization कि स्पष्ट छ। का एक सरल उदाहरण हेरौं।

व्यवहार मा आवेदन formalization, सरल उदाहरण

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

यो एक निर्माण मोडेल बिना उडान गर्ने विमान मोडेल भविष्य विमान (हावा प्रतिरोध, पक्ष हावा, उचाई, र सबै भन्दा हावा टनेल मापदण्डहरु र अन्य विशेषताहरु) को predetermined रूपको formalization लागि अनुमति दिन्छ।

अर्को उदाहरण नयाँ मिसिन, आयोजित मोटर वाहन कम्पनीहरु को परीक्षण छ। formalization आधारभूत विधि, यो मामला मा सुरुमा तिनीहरू भर्चुअल परीक्षण आयोजित, र परीक्षण नमूनाहरू को सकारात्मक परिणाम प्राप्त गरेपछि वास्तविक अवस्थामा परीक्षण गर्न उत्पादन चल्न छन् भन्ने तथ्यलाई मा निहित।

मुख्य परिणाम

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

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

सबैभन्दा हडताली उदाहरण को एक उल्लेख हुन सक्छ formalization र पत्ता लगाउने Higgs ठूलो hadron collider मा प्राथमिक कण को टक्कर मा। शुद्ध सिद्धान्त, र यो बिल्कुल छैन demonstrable वास्तविक संसार अनुभव छ - तर पहिले यो कण को अस्तित्व कि विश्वास थियो।

निष्कर्षमा

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