የ formalization ምንድን ነው? formalization ዘዴ. formalization ጽንሰ-ሐሳብ, ማንነት, ደረጃዎች, ውጤቶች, ምሳሌዎች, አይነቶች

ዛሬ በጣም ብዙ ጊዜ እናንተ, እና ሳይንስ እና ቴክኖሎጂ በተለያዩ መስኮች "formalization" እንግዳ ቃል ብዙ ማሟላት ይችላሉ. ከዕውቀት በአጽናፎቹ ለማስፋፋት የሚፈልጉ ሰዎች, ለዚህ formalization መሆኑን መረዳት ማውራቱስ ነው. ወደ ርዕስ የሚለው ማንነት እና ሂደት ተግባራዊ ግምት ይሆናል.

አጠቃላይ ስሜት ውስጥ አመለካከት አንድ ሳይንሳዊ ነጥብ formalization ምንድን ነው?

ሳይንሳዊ ገጽታ ላይ ጥቂት ንካ. የአምላክ ያልሆነ-ሕላዌ ነገር ወይም ክስተት ተፈጥሮ ለማብራራት እና የተሰጠው የመጀመሪያ ሁኔታዎች ጋር በአንድ በተወሰነ አካባቢ ውስጥ ንብረቶችን ለመተንበይ የሚያስችል ቃል ይህ ሁኔታዊ ነው ማለትም, "መደበኛ" የሚለው ቃል ያለውን formalization የተገኘ ሲሆን አንዳንድ ጊዜ እንኳ አንድ ረቂቅ ጽንሰ መሆኑን እውነታ ጀምሮ እንጀምር.

የቋንቋ ጥናት በማንኛውም በዘመናዊ ቋንቋ ምክንያታዊ ቅጽ ወይም አስተሳሰብ ተፈጥሮ አገላለጽ ጋር እንዲገጣጠም አይደለም. በመሆኑም ሎጂክ ራሱ አንድ ክስተት ለመግለጽ አንዳንድ ረቂቅ ጽንሰ ለመጠቀም ተገደዋል. እና ከባሕሉ ምን እየተከሰተ እንዳለ ዘመድ ጽንሰ-ሐሳብ ነው.

አስቀድመው ቢገመት እንደ formalization ማንነት ለመግለጽ ወይም ነገር ወይም ሂደት አንዳንድ ባህሪያት የማይወስነው ዘንድ (እንኳን ለጊዜው የለም) እና በእውነተኛው ዓለም ውስጥ ክስተት ቢፈጠር አጠቃቀሙ ለመተንበይ, ታች ድረስ ይመጣል. ነገር ግን ይህ አጠቃላይ ሃሳብ ነው. formalization የሚለው አስተሳሰብ በጣም ሰፋ ያለ ነው. የኮምፒውተር ቴክኖሎጂ ላይ ትኩረት ጋር ለመጀመር, በኤሌክትሮኒክስ ዓለም ውስጥ, ይህ ቃል እንዴት ጥቅም ላይ ነው እንመልከት.

ኮምፒውተር formalization

ርዕሰ ተጽዕኖ ከሆነ የዚህ ዓይነት ኮምፒውተሮች formalization ዘዴ ይልቅ ያለውን ነገር ወይም ሂደት በቀጣይ ባህሪ ለማወቅ ትክክለኛ የሆነ በበቂ ከፍተኛ ደረጃ የሚፈቅዱ የመጀመሪያ ህክምና ሁኔታ, ይሰጠዋል.

በዚህ መርህ መሠረት በተግባር ሁሉ የአየር አገልግሎት ይሰራል. መኖሩ አውሎ ንፋስ የኮምፒውተር ሞዴል መሬት ላይ ወይም ውኃ ላይ እና ኃይል ዑደት መተንበይ ይችላል.

የ ሳይንቲስት ከዚህ ቴክኒክ መቀጠልን, ሙቀት መጨመር ተንብዮ ውስጥ ያለውን ፊልም "ነገ በኋላ ያለው ቀን" አስታውስ. የእሱን ኮምፒውተር ሞዴል የመሆን የተወሰነ ደረጃ የወደፊት ክስተቶች ለመተንበይ የተፈቀደላቸው መሆኑን የተገነባ ነበር.

እነዚህ ምሳሌዎች በዚህ formalization መሆኑን ለማስረዳት ይገኛሉ.

ቁሳቁሶችን እና ሂደቶች ሞዴሊንግ መርሆዎች

formalization ዋና ዘዴዎች - አንድ ትንበያ እና ሞዴሊንግ. ብቻ የሚታወቅ አይደለም ያሉት ነገሮች ወይም ሂደቶች ስለ የመጨረሻ ውሂብ ያሉ ቴክኖሎጂዎችን ማመልከት, ነገር ግን ከፍተኛ ትክክለኝነት ብዛት ጋር አስባ ሊሆን ይችላል.

እናንተ ዝርያዎች መካከል formalization ላይ መመልከት ከሆነ, ከሞላ ጎደል ሁሉም ከእነርሱ በሎጂክ እና ስሌቶች ተወስኖ. አንባቢው በጣም ላይ ያለውን ኮምፒውተር ሞዴሊንግ, ማስረጃ ንድፈ መካከል ትይዩአዊ መሳል አስቸጋሪ ይሆናል, እና አይሆንም. ሠ axioms እና postulates መሠረት ላይ.

በተመሳሳይ ለ: እነሆ relativity ስለ አንስታይን ንድፈ ሐሳብ በተግባር, የ ማስረጃ አይቻልም ምልክት ምክንያቱም ደግሞ ዘዴ አንድ formalization ሆኖ ሊተረጎም ይችላል. ይህ ብርሃን propagation constants የሚመለከት በተለይ መቀነሻው ጊዜ ዕቃ የስበት ክብደት እና ቦታ ጎበጥ በመጨመር, ደፍ ለማሳካት. እጅ, እነሱ እንደሚሉት, ይህ ስሜት አይደለም እና ዓይኖች ማየት አይችልም.

ከዕለታት አንድ ቀላል ሙከራዎች መሠረት ላይ ብቻ ነው ደፋር አሳማኝ ሳይንቲስት ነበር. ዛሬ, ይህ ሁሉ አንድ ዓይነት ኮምፒውተር ማስመሰል መሠረት ላይ ይፋዊ ሳይንስ ተረጋግጧል.

formalization ደረጃዎች

እኛ የኮምፒውተር ሥርዓት, ሂደት መግለጫ formalizing የመጀመሪያ ደረጃ ከግምት ከሆነ. ነገር ግን ቋንቋ (ፊደላት, ቃላት, ሐረጎች, ዓረፍተ ነገሮች) መካከል ከተለመደው መሣሪያዎችን መጠቀም አይደለም. አንድ የተወሰነ ፍጠር የሂሳብ ሞዴል ብቻ የተመረጠው የፕሮግራም ቋንቋ ላይ የተመሠረተ አንድ ስልተቀመር በመጠቀም ሊሰራ ነው, ነገር ግን ብቻ አጠቃላይ ችግር መግለጫ በኋላ.

በሌላ አነጋገር, አንድ ነገር ወይም ሂደት ክስተት ማንነት ባህሪ ሞዴል ውስጥ አንድ የሂሳብ ስልተቀመር በመጠቀም, ሙሉ በሙሉ የሒሳብ ምልክቶች ለመግለጽ ያስፈልገናል.

ውጤቱም ምርመራ ቴክኖሎጂ ልምምድ ውስጥ ይውላል ወይም አንዳንድ ተፈጥሯዊ ሂደት እርምጃ ትክክለኛ ሕልውና የሚገባ በኋላ የተከተሉት አንድ formalization ትክክለኛው ትንተና የሚጠበቅ ክስተቶች ለማግኘት ነው.

የሚከተለው የችግሩ conceptualization ነው. ሁለት ተለዋጮች አሉ: በመጀመሪያው ጉዳይ ውስጥ ባህሪያት እና ባህሪያት በመጠቀም መልክ የተወሰነ አቀራረብ ነው; ሁለተኛ አማራጭ, ውሂብ የመጀመሪያ ስብስብ እንዲሁ ላይ, ሁኔታዎች ላይ ይውላል, እና. መ የሆነ የግንዛቤ ትንተና ሳይሆን ወደ መጥቀስ ችግር መቀረፃቸውን መጠቀምን ያካትታል.

ትርጉም እና የመጀመሪያ ሁኔታዎች ተከትሎ በአካባቢው ውክልና ዘዴዎች መጠቀምን መከተልን, ነገሮችን እና ሂደቶች መካከል ያለውን ግንኙነት, እንዲሁም እንዲሁ-ተብሎ የፍቺ ግንኙነት አጠና.

ይህ በተመረጠው ስልተ ላይ የተመሠረተ የመጀመሪያ ውሂብ በማስኬድ ተከትሎ, ከዚያም ስህተት መቶኛ የሚጠቁሙ ውጤት ይመልሳል ነው. አብዛኛውን ጊዜ 5% ሊበልጥ አይችልም, እና አብዛኛውን ጊዜ ውስጥ ይሁንታን ውጤት 99% ይደርሳል. ማንኛውም ሰው ወይም ማሽን አሁንም የ "ደህንነት ህዳግ" ይተዋል , ያልተጠበቁ ሁኔታዎች ሁሉ ከግምት ሊወሰድ አይችልም; ምክንያቱም.

ለምንድን ነው ይህ ሁሉ አስፈላጊ ነው?

እናንተ መረዳት ከሆነ እነዚህን መሠረታዊ ቁሳቁሶችን እና ሂደቶች ጠባይ ትንተና ለማግኘት ይፈቅዳል. በሌላ አነጋገር, አንድ የተወሰነ ሂደት ማዳበር ማን መተንበይ ይቻላል.

ለምሳሌ formalization አሁን ግልጽ ነው. ዎቹ አንድ ቀላል ምሳሌ እንመልከት.

በተግባር የመተግበሪያ formalization, ቀላሉ ምሳሌ

የአምላክ ይላሉ እንመልከት, አንዳንድ ባለሙያዎች አዲስ የአውሮፕላን ንድፍ አዳብረዋል. ይህ ተግባር ፈጽሞ ተገቢ አይደለም በአየር ውስጥ ምግባር ቀዳሚ ትንበያ ያለ የመጀመሪያውን መጠን ያለው ሞዴል ለመገንባት የሚያስችል ፕሮጀክት ከፍተኛ ወጪ ይሰጠዋል. ከዚህም በላይ, ተመሳሳይ ነፋስ መሿለኪያ አውሮፕላን አንድ ቦይንግ መጠን ውስጥ ፈተናዎች በፍጹም የማይቻል ተግባር ነው.

አንድ አብሮ ሞዴል ያለ በራሪ አውሮፕላን ሞዴል ወደፊት አውሮፕላኖች (አየር የመቋቋም, ጎን ነፋስ, ቁመት, እና አብዛኞቹ ነፋስ መሿለኪያ ግቤቶች እና ሌሎች ባህርያት) መካከል ወስኗል ባህሪያቸው formalization ለማግኘት ያስችላል.

ሌላ ምሳሌ አዳዲስ ማሽኖች, ተካሄደ አውቶሞቲቭ ኩባንያዎች መፈተን ነው. በዚህ ሁኔታ ውስጥ formalization መሠረታዊ ዘዴ, መጀመሪያ ላይ አንድ ምናባዊ ፈተና ተካሄደ እና የሙከራ ናሙናዎችን አዎንታዊ ውጤት መቀበል በኋላ በእውነተኛ ሁኔታ ውስጥ ለመፈተን ምርት ላይ አሂድ እውነታ ውስጥ ተያዘ.

ዋና ዋና ውጤቶች

ብዙዎች (ከዚያም ዕድል 95% ጋር መቶ አንድ አይደለም ከሆነ በመቶ,) ውስጥ የሂሳብ ሞዴል ውጤት የአየር እንኳ በዓለም ላይ ክስተቶች አንድ ምላሽ እንደ ማህበራዊ ባህሪ ለመተንበይ ለመተንበይ ይረዳቸዋል: ዘመናዊ ቴክኖሎጂ ምርት የሚደግፍ ኃይለኛ ጭቅጭቅ ሊሆን ይችላል.

አዎ, አዎ! በዓለም ውስጥ የሕዝብ አመለካከት ምስረታ, በጣም, የራሱን ህጎች ተገዢ ነው. nuzhnoi አቅጣጫ እሱን ተጽዕኖ በቂ. ዛሬ, ይህን ወይም ያን ክስተት ለሕዝብ ምላሽ መተንበይ ፕሮግራሞች ብዙ ፈጥሯል. ይህ formalization ሁሉ አጋጣሚዎች አይደለም. እኛ በጥልቀት ለመቆፈር ከሆነ, እኛ በየቀኑ ተመሳሳይ ችግር ያጋጥማቸዋል.

በጣም አስገራሚ ምሳሌዎች አንዱ formalization እና ማወቅን ሊጠቀሱ ይችላሉ Higgs ትልቅ hadron collider ውስጥ ንደኛ ቅንጣቶች ግጭቶች ውስጥ. ንጹህ ጽንሰ, እና ፍጹም demonstrable በገሃዱ ዓለም ተሞክሮ አይደለም - ነገር ግን ቀደም ሲል በዚህ ቅንጣት ሕልውና እንደሆነ ያምኑ ነበር.

መደምደሚያ

ብለን እንደምንመለከተው, formalization ያለውን ሐሳብ, ሂደት ውስጥ ሳይንሳዊ ማንነት ያለውን ውስብስብነት ቢኖሩም, ይህ ምሳሌ ለመረዳት ቀላል ነው. አብዛኛውን ጊዜ አንዳንድ ምክንያታዊ ሰንሰለት በመጠቀም ወደ ውጤት የማይወስነው ታች ይመጣል.