Hvað er formlegt? Aðferð við formalization. Hugtak, kjarni, stig, niðurstaðan, dæmi, tegundir af formalization

Í dag er mjög oft mögulegt að mæta mörgum óskiljanlegum hugtökum "formalization" og á ýmsum sviðum vísinda og tækni. Þeir sem vilja auka sjóndeildarhringinn um þekkingu sína, er æskilegt að skilja hvaða formsatriði er. Greinin mun fjalla um kjarna þessa tíma og hagnýta beitingu ferlisins.

Hvað er formlegt úr vísindalegum sjónarmiðum í almennum skilningi?

Við snerum smá vísindalegan þátt. Við skulum halda áfram frá þeirri staðreynd að orðformalizationin kemur frá orðinu "formality", þ.e. það er skilyrt og stundum jafnvel abstrakt hugtak sem gerir kleift að útskýra eðli óefnis hlutar eða fyrirbæra og að spá fyrir um eiginleika þess í tilteknu umhverfi við tiltekna upphafsskilyrði.

Málfræði hvers nútíma tungumál er algerlega ekki í samræmi við tjáningu rökréttra mynda eða eðli hugsunarinnar. Þannig er rökfræði sjálft neydd til að nota ákveðnar hugmyndir til að lýsa tilteknu fyrirbæri. Svo er það ættingja hugtakið formlega hvað er að gerast.

Eins og það er nú þegar auðvelt að giska á er kjarna formunar minnkað til að lýsa eða fyrirfram ákveðna eiginleika hlutar eða ferla (sem ekki eru til staðar í augnablikinu) og að spá fyrir um umsókn þess ef fram kemur í hinum raunverulega heimi. En þetta er almenn hugmynd. Sú hugmynd að formalization er miklu breiðari. Í upphafi leggjum áherslu á tölvutækni, við munum sjá hvernig þetta hugtak er beitt í rafeindatækniheiminum.

Computer formalization

Ef þú snertir efni tölvunnar er formleg aðferð af þessari tegund frekar vinnsla upphaflegra skilyrða sem gerir þér kleift að ákvarða með hve mikla nákvæmni frekari hegðun hlutar eða ferla.

Næstum allar veðurþjónustur vinna að þessari reglu. Ef þú ert með tölvulíkan af hringrás er hægt að spá fyrir um hringrás þess og vald yfir landinu eða yfir vatnsrýmið.

Mundu eftir myndinni "Dagurinn eftir morguninn", þar sem vísindamaðurinn spáði hlýnun jarðar, sem fer nákvæmlega frá slíkri tækni. Hann þróaði tölvuform sem leyfði að spá fyrir um ákveðnar líkur á frekari atburðum.

Þessar dæmi eru tiltækar til að útskýra hvaða formsatriði er.

Meginreglur um að mótmæla hlutum og ferlum

Helstu aðferðir við formalization eru spá og líkan. Þessi tækni er eingöngu notuð til að fá endanlegar upplýsingar um hluti eða ferli sem ekki eru þekkt, en hægt er að gera ráð fyrir og reikna með mikilli nákvæmni.

Ef þú lítur á hvers konar formsatriði eru næstum allir minnkaðir aðeins til rökréttar afleiðingar og útreikninga. Lesandinn getur auðveldlega teiknað samhliða tölvuformgerð, sönnun á orðum, osfrv. Byggt á axioms og postulates.

Horfðu, vegna þess að sömu kenningar um relativity Einsteins geta einnig verið meðhöndluð sem formleg aðferð, því í raun er ekki hægt að staðfesta sönnunina. Einkum vísar þetta til ljósmótaþyrpingarinnar, tímatöfluna við þröskuldinn á árangri hennar, hækkun á þyngdarmassa hlutarins og kyrrstöðu rýmisins. Hendur, eins og þeir segja, muntu ekki líða það og þú munt ekki sjá augun þín.

Einu sinni voru þetta aðeins djörf ályktanir vísindamannsins á grundvelli einfaldasta tilrauna. Í dag er allt þetta staðfest af opinberum vísindum byggðar á sömu tölvuleik.

Stig formalization

Ef við teljum tölvukerfi, þá er fyrsta áfanga formalization lýsingu á ferlinu. En hér eru verkfæri venjulegs tungumál (bréf, orð, orðasambönd, setningar) ekki notuð. Til að búa til ákveðna stærðfræðilega líkan getur þú aðeins notað reiknirit byggt á valið forritunarmál, en aðeins eftir að þú hefur sett sameiginlegt verkefni.

Með öðrum orðum, þegar að móta hegðun hlutar eða ferla, skal kjarni þess sem er að gerast lýst eingöngu með stærðfræðilegum táknum, með því að nota stærðfræðilega reiknirit.

Afleiðingin af formalization er að fá greiningu á raunverulegu fyrirsjáanlegri atburði sem mun fylgja eftir að tæknin sem verið er að rannsaka er beitt í reynd eða tiltekið náttúrulegt ferli kemur inn á svið raunverulegs birtingar.

Hugmyndafræðin á verkefninu fylgir. Það eru tveir valkostir: í fyrsta lagi, þessi skilgreining á nálguninni í formi notkun eiginleiki og eiginleika; Hin valkostur felur í sér notkun hugrænnar greinar, svo ekki sé minnst á samsetningu verkefnisins, söfnun upphafsgagna, skilyrða og svo framvegis.

Eftir skilgreiningu á hugtökum og upphaflegum skilyrðum er fjallað um núverandi sambönd milli hluta og ferla, svo og svokallaða merkingartengsl sem felur í sér notkun staðbundinnar kynningartækni.

Þá fer vinnsla upphafsgagna á grundvelli valda reikniritarinnar, en eftir það er niðurstaðan gefin með vísbending um villuhlutfallið. Að jafnaði fer það ekki yfir 5% og í flestum tilvikum nær líklegt niðurstaða 99%. Einhver einstaklingur eða vél skilur enn "öryggisöryggi" fyrir ófyrirséðar aðstæður, því að allt er ómögulegt að taka tillit til.

Af hverju er þetta nauðsynlegt?

Ef þú skilur, leyfa slíkar reglur þér að greina hegðun hluta og ferla. Með öðrum orðum má sjá hvernig þetta eða það ferli mun þróast.

Nú er ljóst hvaða formsatriði er. Skulum líta á einfaldasta dæmiið.

Umsókn um formsatriði í reynd, einföldustu dæmi

Segjum að sérfræðingur hafi þróað nýja hönnun loftfarsins. Að teknu tilliti til mikils kostnaðar við verkefnið er það algjörlega óraunhæft að byggja upp frumlegan líkan án þess að spá fyrir um hegðun sína í loftinu. Þar að auki, með því að framkvæma próf í sömu vindgöngum flugvélar er stærð Boeing algerlega óraunhæft verkefni.

Formalization gerir því kleift að líkja eftir flugi án byggingar flugvélarinnar með fyrirfram ákveðnum eiginleikum framtíðarvéla (loftþol, hliðvindur, hæð og breytur vindgöngunnar sjálfs og aðrar einkenni).

Annað dæmi er prófun nýrra véla með áhyggjum bíla. Helstu formleg formlegun í þessu tilfelli er sú að þeir fara allir framhjá sýndarprófum og eftir að hafa fengið jákvæðar niðurstöður eru frumgerðir gerðar í framleiðslu til prófunar í raunverulegum aðstæðum.

Helstu niðurstöður

Niðurstaðan af stærðfræðilegri líkanagerð á marga vegu (ef ekki 100%, þá með líkur á allt að 95%) getur orðið þungt rök í þágu losunar nútímatækni, hjálpað til við að spá fyrir um veður, jafnvel spá fyrir um félagslega hegðun sem viðbrögð við atburðum í heiminum.

Já, já! Myndun almenningsálitsins í heiminum er einnig háð eigin lögum. Það er nóg að vinna í því í rétta átt. Í dag hafa mörg forrit verið búin til sem gerir kleift að spá fyrir um viðbrögð samfélagsins við þetta eða þá atburð. Og þetta eru ekki öll dæmi um formalization. Ef við grófum dýpra, andlitum við þetta á hverjum degi.

Eitt af mest sláandi dæmum um formalization er uppgötvun Higgs bosonsins í árekstri grunnaldra í Large Hadron Collider. En í raun var það áður talið að tilvist þessa agna er hreint kenning, og algerlega ekki sannfærandi með alvöru tilraunum.

Niðurstaða

Eins og við sjáum, í hugmyndinni um formalization, þrátt fyrir vísindalegan flókið kjarni ferlisins, er auðvelt að skilja dæmiin. Í flestum tilfellum dregur það úr notkun tiltekinna rökréttra keðjna sem ákvarða endanlega niðurstöðu.