Aký je formalizácie? Spôsob formalizácie. Koncepčné, esencie, etapy, výsledky príklady, typy formalizácie

Dnes veľmi často môžete stretnúť množstvo podivné pojmu "formalizácie", a v rôznych oblastiach vedy a techniky. Pre tých, ktorí chcú rozšíriť obzory ich vedomostí, je vhodné si uvedomiť, že tento formalizácia. Tento článok bude považovaný za podstatu pojmu a praktické využitie tohto procesu.

Aký je formalizácie vedeckého pohľadu vo všeobecnom zmysle?

Trochu dotyk na vedeckých aspekt. Začnime od skutočnosti, že slovo je odvodené od formalizácie slovo "formálne", to znamená, že je podmienený, a niekedy dokonca aj abstraktný pojem, ktorý umožňuje vysvetliť podstatu neexistujúce objekt alebo jav a predvídať jeho vlastnosti v určitom prostredí s danými počiatočnými podmienkami.

Lingvistika akýkoľvek súčasný cudzí jazyk, sa nezhoduje s vyjadrením logické formy alebo povahy myslenia. To znamená, že logika sama nútená používať niekoľko abstraktných pojmov popisovať určitý jav. A tam je relatívny pojem o tom, čo sa deje formality.

Ako to uhádli, podstata formalizácia príde až na opis alebo vopred stanoviť určité vlastnosti objektu alebo procesu (a to ani neexistuje v súčasnosti) a predikovať jej použitie v prípade výskytu v reálnom svete. Ale to je všeobecná predstava. Samotný pojem formalizácie je oveľa širší. Ak chcete začať so zameraním na výpočtovú techniku, zvážte, ako vo svete elektroniky, tento termín je používaný.

počítačová formalizácie

Ak sa objekt vplyv počítača formalizácie Spôsob tohto typu je pomerne dané počiatočné podmienky liečby, ktoré umožňujú dostatočne vysoký stupeň presnosti určenia následného správania objektu alebo procesu.

Podľa tohto princípu funguje prakticky všetky meteorologické služby. Majúce počítačový model cyklón môže predvídať jeho napájací cyklus a nad zemou alebo nad vodou.

Spomeňte si na film "The Day After Tomorrow", v ktorom vedec predpovedané globálne otepľovanie, vychádzajúc z tejto techniky. Jeho počítač bol vyvinutý model, ktorý umožnil určitý stupeň pravdepodobnosti predpovedať budúce udalosti.

Tieto príklady sú k dispozícii vysvetliť, že tento formalizácia.

objekty a procesy zásady modelovanie

Hlavné metódy formalizácie - predvídanie a modelovanie. Aplikovať takejto technológie len na konečné údaje o objektoch alebo procesoch, ktoré nie sú známe, ale dá sa predpokladať, s počtom vysokou presnosťou.

Pozriete Ak sa na utváraní druhov, takmer všetky z nich obmedzuje na logické závery a výpočtov. Čitateľ nebude ťažké urobiť paralelu medzi počítačového modelovania, teórie dôkazu, a tak ďalej. E. Na základe axióm a postulátov.

Pozrite sa, za rovnakú Einsteinova teória relativity by tiež mohla byť interpretovaná ako formalizácie postupu, pretože v praxi kontrolovať dôkaz nie je možné. Najmä to platí pre šírenie svetla konštánt, je doba spomalenie pre dosiahnutie prahové hodnoty, čím sa zvyšuje gravitačné hmotnosť objektu a zakrivenie priestoru. Ručičky, ako sa hovorí, že necíti a oči nevidia.

Kedysi to bolo len statočný úvaha vedec na základe jednoduchých pokusov. V súčasnej dobe, to všetko je potvrdené oficiálna veda na základe rovnakej počítačovej simulácie.

etapy formalizácie

Ak vezmeme do úvahy počítačový systém, je prvým krokom k formalizácii popisu procesu. Ale nevyužíva obvyklé nástroje jazyka (písmená, slová, frázy, vety). Vytvoriť konkrétny matematický model je možné len pomocou určitého algoritmu na základe vybrané programovací jazyk, ale iba po vyhlásení o všeobecný problém.

Inými slovami, pri modelovaní správania objektu alebo procesu udalosti podstate je potrebné opísať čisto matematické symboly, za použitia matematického algoritmu.

Výsledkom je získanie formalizácie skutočnej analýzy predvídateľné udalosti, ktoré nasledovali po skúmané technológie budú použité v praxi alebo niektoré prírodné proces vstúpi do skutočnej existencii kroku.

Vkladá je ponímanie problému. Existujú dva varianty: v prvom prípade sa jedná o špecifický prístup vo forme za použitia atribúty a vlastnosti; Druhá možnosť spočíva v použití kognitívne analýzy, nehovoriac o formuláciu problému, počiatočné zber dát používa, podmienky, a tak ďalej. D.

Podľa definície a počiatočných podmienok študoval existujúci vzťah medzi objektmi a procesov, rovnako ako takzvané sémantické vzťahy, čo znamená využitie miestnych techník zastúpenie.

Potom nasleduje spracovanie východiskových dát na základe zvoleného algoritmu, a vráti výsledok, ktorý poukazuje percento chyby. Zvyčajne to nie je vyšší ako 5%, a vo väčšine prípadov dôsledkom pravdepodobnosťou dosiahne 99%. Každá osoba alebo stroj bude aj naďalej ponechať "bezpečnostnú rezervu" pre nepredvídané okolnosti, pretože všetko, čo nemožno brať do úvahy.

Prečo je to všetko potrebné?

Ak ste pochopili tieto zásady umožňujú analýzu správania objektov a procesov. Inými slovami, je možné predpovedať, kto bude vyvíjať určitý proces.

Teraz je jasné, že takéto formalizácia. Pozrime sa na jednoduchý príklad.

Aplikácia formalizácie v praxi, najjednoduchšie príklady

Povedzme, že niektorí odborníci vyvinuli novú konštrukciu lietadla. Vzhľadom k vysokej náklady na projekt na stavbu modelu pôvodnej veľkosti bez predchádzajúceho prognózy jeho správanie vo vzduchu je to úplne nevhodné pre danú úlohu. Okrem toho, že testy v rovnakom aerodynamickom tuneli lietadla o veľkosti Boeing je úplne nemožný úloha.

Umožňuje formalizácie vopred stanovených charakteristík budúceho lietadla (odpor vzduchu, bočný vietor, výšku, a väčšina parametrov v aerodynamickom tuneli a ďalších charakteristík) Model lietadla letiace bez vstavaného modelu.

Ďalším príkladom je testovanie nových strojov, ktoré sa konalo automobilových spoločností. Základnou metódou formalizácie, v tomto prípade spočíva v tom, že na prvý pohľad sa držali virtuálny test a po obdržaní pozitívne výsledky skúšobných vzoriek sú prevádzkované vo výrobe testovať v reálnych podmienkach.

hlavné výsledky

Výsledkom matematického modelovania v mnohých (ak nie sto percent, potom sa s pravdepodobnosťou 95%) môže byť silným argumentom pre výrobu moderných technológií pomôže predpovedať počasie dokonca predvídať sociálne správanie ako reakcia na udalosti vo svete.

Áno, áno! Formovanie verejnej mienky vo svete, tiež podlieha svojich vlastných zákonov. Dosť ho ovplyvňovať nuzhnoi smere. Dnes to vytvorilo mnoho programov pre predikciu reakcie verejnosti na tej či onej udalosti. A to nie je všetky inštancie formalizácie. Ak budeme hlbšie, narážame na rovnaký problém každý deň.

Jedným z najnápadnejších príkladov možno uviesť formalizácie a detekcie Higgsov bozón v zrážkach elementárnych častíc v urýchľovača LHC. Ale skôr to bolo veril, že existencia tejto častice - čistá teória, a rozhodne to nie je preukázateľný real-svet skúseností.

záver

Ako vidíme, pojem formalizácie, napriek zložitosti vedecké podstaty procesu, to je ľahké pochopiť príklady. Vo väčšine prípadov ide o to, aby pomocou niektorej logickej reťaze, predurčovať výsledok.