Jaký je formalizace? Způsob formalizace. Koncepční, esence, etapy, výsledky příklady, typy formalizace

Dnes velmi často můžete potkat spoustu podivné pojmu „formalizace“, a v různých oblastech vědy a techniky. Pro ty, kteří chtějí rozšířit obzory jejich znalostí, je vhodné si uvědomit, že tento formalizace. Tento článek bude považován za podstatu pojmu a praktické využití tohoto procesu.

Jaký je formalizace vědeckého pohledu v obecném smyslu?

Trochu dotek na vědeckých aspekt. Začněme od skutečnosti, že slovo je odvozeno od formalizace slovo „formální“, to znamená, že je podmíněn, a někdy dokonce i abstraktní pojem, který umožňuje vysvětlit podstatu neexistující objekt nebo jev a předvídat jeho vlastnosti v určitém prostředí s danými počátečními podmínkami.

Lingvistika jakýkoliv současný cizí jazyk, se neshoduje s vyjádřením logické formy nebo povahy myšlení. To znamená, že logika sama nucena používat několik abstraktních pojmů popisovat určitý jev. A tam je relativní pojem o tom, co se děje formality.

Jak to uhodli, podstata formalizace přijde až k popisu nebo předem stanovit určité vlastnosti objektu nebo procesu (a to ani neexistuje v současnosti) a predikovat její použití v případě výskytu v reálném světě. Ale to je obecná představa. Samotný pojem formalizace je mnohem širší. Chcete-li začít se zaměřením na výpočetní techniku, zvažte, jak ve světě elektroniky, tento termín je používán.

počítačová formalizace

Je-li objekt vliv počítače formalizace Způsob tohoto typu je poměrně dané počáteční podmínky léčby, které umožňují dostatečně vysoký stupeň přesnosti určení následného chování objektu nebo procesu.

Podle tohoto principu funguje prakticky všechny meteorologické služby. Mající počítačový model cyklón může předvídat jeho napájecí cyklus a nad zemí nebo nad vodou.

Vzpomeňte si na film „The Day After Tomorrow“, ve kterém vědec předpovídané globální oteplování, vycházeje z této techniky. Jeho počítač byl vyvinut model, který umožnil určitý stupeň pravděpodobnosti předpovědět budoucí události.

Tyto příklady jsou k dispozici vysvětlit, že tento formalizace.

objekty a procesy zásady modelování

Hlavní metody formalizace - předvídání a modelování. Aplikovat takové technologie výlučně pro konečné údaje o objektech nebo procesech, které nejsou známy, ale dá se předpokládat, s počtem vysokou přesností.

Podíváte-li se na utváření druhů, téměř všechny z nich omezuje na logické závěry a výpočtů. Čtenář nebude obtížné učinit paralelu mezi počítačového modelování, teorie důkazu, a tak dále. E. Na základě axiomů a postulátů.

Podívejte se, za stejnou Einsteinova teorie relativity by také mohla být interpretována jako formalizace postupu, protože v praxi kontrolovat důkaz není možné. Zejména to platí pro šíření světla konstant, je doba zpomalení pro dosažení prahové hodnoty, čímž se zvyšuje gravitační hmotnost objektu a zakřivení prostoru. Ručičky, jak se říká, že necítí a oči nevidí.

Kdysi to bylo jen statečný úvaha vědec na základě jednoduchých pokusů. V současné době, to vše je potvrzeno oficiální věda na základě stejné počítačové simulace.

etapy formalizace

Pokud vezmeme v úvahu počítačový systém, je prvním krokem k formalizaci popisu procesu. Ale nevyužívá obvyklé nástroje jazyka (písmena, slova, fráze, věty). Vytvořit konkrétní matematický model je možné pouze pomocí určitého algoritmu na základě vybrané programovací jazyk, ale pouze po prohlášení o obecný problém.

Jinými slovy, při modelování chování objektu nebo procesu události podstatě je třeba popsat čistě matematické symboly, za použití matematického algoritmu.

Výsledkem je získání formalizace skutečné analýzy předvídatelné události, které následovaly po zkoumány technologie budou použity v praxi nebo některé přírodní proces vstoupí do skutečné existenci kroku.

Vkládá je pojímání problému. Existují dvě varianty: v prvním případě se jedná o specifický přístup ve formě za použití atributy a vlastnosti; Druhá možnost spočívá v použití kognitivní analýzy, nemluvě o formulaci problému, počáteční sběr dat používá, podmínky, a tak dále. d.

Podle definice a počátečních podmínek studoval existující vztah mezi objekty a procesů, stejně jako takzvané sémantické vztahy, což znamená využití místních technik zastoupení.

Pak následuje zpracování výchozích dat na základě zvoleného algoritmu, a vrátí výsledek, který poukazuje procento chyby. Obvykle to není vyšší než 5%, a ve většině případů důsledkem pravděpodobností dosáhne 99%. Každá osoba nebo stroj bude i nadále ponechat „bezpečnostní rezervu“ pro nepředvídané okolnosti, protože všechno, co nelze brát v úvahu.

Proč je to všechno nutné?

Pokud jste pochopili tyto zásady umožňují analýzu chování objektů a procesů. Jinými slovy, je možné předpovědět, kdo bude vyvíjet určitý proces.

Nyní je jasné, že takové formalizace. Podívejme se na jednoduchý příklad.

Aplikace formalizace v praxi, nejjednodušší příklady

Řekněme, že někteří odborníci vyvinuli novou konstrukci letadla. Vzhledem k vysoké náklady na projekt na stavbu modelu původní velikosti bez předchozího prognózy jeho chování ve vzduchu je to naprosto nevhodné pro daný úkol. Kromě toho, že testy ve stejném aerodynamickém tunelu letadla o velikosti Boeing je naprosto nemožný úkol.

Umožňuje formalizace předem stanovených charakteristik budoucího letadla (odpor vzduchu, boční vítr, výšku, a většina parametrů v aerodynamickém tunelu a dalších charakteristik) Model letadla letící bez vestavěného modelu.

Dalším příkladem je testování nových strojů, které se konalo automobilových společností. Základní metodou formalizace, v tomto případě spočívá v tom, že na první pohled se drželi virtuální test a po obdržení pozitivní výsledky zkušebních vzorků jsou provozovány ve výrobě testovat v reálných podmínkách.

Hlavní výsledky

Výsledkem matematického modelování v mnoha (ne-li sto procent, pak se s pravděpodobností 95%) může být mocným argumentem pro výrobu moderních technologií pomůže předpovídat počasí dokonce předvídat sociální chování jako reakce na události ve světě.

Ano, ano! Formování veřejného mínění ve světě, také podléhá svých vlastních zákonů. Dost ho ovlivňovat nuzhnoi směru. Dnes to vytvořilo mnoho programů pro predikci reakce veřejnosti na té či oné události. A to není všechny instance formalizace. Budeme-li hlouběji, narážíme na stejný problém každý den.

Jedním z nejnápadnějších příkladů lze uvést formalizace a detekce Higgsův boson v srážkách elementárních částic v urychlovače LHC. Ale dříve to bylo věřil, že existence této částice - čistá teorie, a rozhodně to není prokazatelný real-svět zkušeností.

závěr

Jak vidíme, pojem formalizace, navzdory složitosti vědecké podstaty procesu, to je snadné pochopit příklady. Ve většině případů jde o to, aby pomocí některé logické řetězy, předurčovat výsledek.