Jaki jest formalizacja? Sposób formalizacją. Na pojęcie, istota, etapy, wyniki, przykłady, rodzaje formalizacji

Dzisiaj bardzo często można spotkać wiele dziwnych terminu „formalizacji”, w różnych dziedzinach nauki i technologii. Dla tych, którzy chcą poszerzyć horyzonty swojej wiedzy, wskazane jest, aby zrozumieć, że to formalizacji. W artykule zostaną uznane istota pojęcia i praktyczne zastosowanie procesu.

Jaki jest formalizacja naukowego punktu widzenia w sensie ogólnym?

Trochę akcent na aspekcie naukowym. Zacznijmy od tego, że słowo pochodzi od formalizacji słowem „formalny”, czyli jest warunkowa, a czasem nawet pojęciem abstrakcyjnym, który pozwala wyjaśnić naturę nieistniejącego obiektu lub zjawiska i przewidzieć jego właściwości w danym środowisku z podanymi warunkami początkowymi.

Językoznawstwo każdy nowoczesny język nie pokrywa się z ekspresją formy logicznej lub charakteru myślenia. Zatem sama logika zmuszeni do korzystania z niektórych pojęć abstrakcyjnych do opisania pewnego zjawiska. I nie jest pojęciem względnym, co dzieje się formalności.

Jak już zgadliście, istota sprowadza się do formalizacji, by opisać lub przesądza pewne właściwości obiektu lub procesu (nawet nie istnieje w tej chwili) i przewidzieć jego stosowanie w przypadku zaistnienia w świecie rzeczywistym. Ale to jest ogólna idea. Samo pojęcie formalizacji jest znacznie szerszy. Aby rozpocząć z naciskiem na technologii komputerowej, zastanowić się, jak w świecie elektroniki, termin ten jest używany.

komputer formalizacja

Jeśli przedmiotem wpływu na sposób komputery formalizacją tego rodzaju jest natomiast podawane początkowe warunki przetwarzania, które pozwalają na dostatecznie dużą dokładnością określić następnie zachowanie obiektu lub procesu.

Zgodnie z tą zasadą działa praktycznie cały serwis pogodowy. Mając cyklon modelu komputer może przewidzieć, że cykl wyłączania i nad lądem lub nad wodą.

Pamiętacie film „The Day After Tomorrow”, w którym naukowiec przewidział globalnego ocieplenia, wychodząc z tej techniki. Jego model komputerowy został opracowany, który pozwalał pewien stopień prawdopodobieństwa przewidywać przyszłe wydarzenia.

Przykłady te są dostępne, aby wyjaśnić, że to formalizacji.

cele i zasady modelowania procesów

Główne metody formalizacji – prognozowanie i modelowanie. Zastosowanie takich technologii wyłącznie dla ostatecznych danych na temat obiektów lub procesów, które nie są znane, ale można założyć, ze liczby wysokiej dokładności.

Jeśli spojrzeć na sformalizowanie gatunku, prawie wszystkie z nich ogranicza się do wniosków i obliczeń logicznych. Czytelnik nie będzie trudne do paraleli między modelowania komputerowego, teoria dowodu, i tak dalej. E. Na podstawie aksjomatów i postulatów.

Spójrz, dla tego samego Einsteina teorii względności może być również interpretowana jako sformalizowanie tej metody, ponieważ w praktyce sprawdzić dowód nie jest możliwe. W szczególności odnosi się to do stałych propagacyjnych światła, czas opóźnienia do osiągnięcia progu, zwiększenie masy grawitacyjne obiektu i krzywizna powierzchni. Ręce, jak mówią, nie czuje, a oczy nie widzą.

Dawno, dawno temu było tylko odważny rozumowanie naukowiec na podstawie prostych eksperymentów. Dziś to wszystko jest potwierdzone przez oficjalną naukę na podstawie tej samej symulacji komputerowej.

Etapy formalizacji

Jeśli weźmiemy pod uwagę system komputerowy pierwszy krok w formalizacji opisu procesu. Ale to nie używać zwykłych narzędzi języka (litery, słowa, zwroty, zdań). Tworzenie konkretny model matematyczny jest możliwe tylko za pomocą pewnego algorytmu opartego na wybranym języku programowania, ale dopiero po zestawieniu ogólnym problemie.

Innymi słowy, w modelowaniu zachowania się obiektu lub zdarzenia proces istocie trzeba opisać symbole czysto matematycznych, stosując algorytm matematyczny.

Rezultatem jest uzyskanie formalizacji rzeczywistych analiz przewidywalnych wydarzeń, które nastąpiły po zbadane technologia zostanie wykorzystana w praktyce lub pewien naturalny proces wchodzi do realnego istnienia kroku.

Poniżej znajduje się konceptualizacja problemu. Istnieją dwa warianty: w pierwszym przypadku jest to specyficzne podejście w formie za pomocą atrybutów i właściwości; Druga możliwość polega na wykorzystaniu analizy poznawczych, nie wspominając o sformułowanie problemu początkowy zbiór danych stosowane warunki, itp. d.

Następujące definicje i warunki początkowe studiował istniejących relacji między obiektami i procesami, a także tak zwane relacje semantyczne, co oznacza wykorzystanie lokalnych technik reprezentacji.

Po tym następuje przetwarzanie wstępne danych na podstawie wybranego algorytmu i zwraca wynik wskazujący na procent błędu. Zwykle nie przekracza 5%, a w większości przypadków wynikiem prawdopodobieństwem osiągnie 99%. Każda osoba lub urządzenie będzie nadal opuszczają „margines bezpieczeństwa” dla nieprzewidzianych okoliczności, ponieważ wszystko, co nie może być brane pod uwagę.

Dlaczego to wszystko jest konieczne?

Jeśli rozumiesz zasady te pozwalają na analizę zachowań obiektów i procesów. Innymi słowy, jest to możliwe, aby przewidzieć, kto opracuje konkretny proces.

Jest teraz jasne, że takiej formalizacji. Spójrzmy na prosty przykład.

formalizacji zastosowanie w praktyce, najprostsze przykłady

Powiedzmy, niektórzy eksperci opracowali nową konstrukcję samolotów. Biorąc pod uwagę wysoki koszt projektu do zbudowania modelu oryginalnego rozmiaru bez wcześniejszej prognozy jego zachowanie w powietrzu jest całkowicie nieodpowiednie dla zadania. Ponadto, badania w tym samym tunelu aerodynamicznym samolocie wielkości z Boeingiem jest absolutnie niemożliwe.

Pozwala on na sformalizowanie góry określonych cech przyszłego samolotu (opór powietrza, wiatr boczny, wysokość, a większość parametrów tunelu aerodynamicznym i innych cech) Model samolotu lecącego bez zbudowanego modelu.

Innym przykładem jest testowanie nowych maszyn, firm posiadanych motoryzacyjnych. Podstawową metodą formalizacji, w tym przypadku polega na tym, że najpierw trzymali wirtualny test, a po uzyskaniu pozytywnych wyników badań próbek są uruchamiane w produkcji przetestować w realnych warunkach.

Główne wyniki

Wynikiem modelowania matematycznego w wielu (jeśli nie w stu procentach, a następnie z prawdopodobieństwem 95%) może być silnym argumentem na rzecz produkcji nowoczesnej technologii, pomogą przewidzieć pogodę nawet przewidzieć zachowań społecznych jako reakcja na wydarzenia na świecie.

Tak, tak! Formowanie opinii publicznej na całym świecie, również podlega własnymi prawami. Wystarczy, aby wpłynąć na niego w nuzhnoi kierunku. Dziś stworzył wiele programów do przewidywania reakcji publicznej na to czy tamto wydarzenie. I to nie wszystkie przypadki formalizacji. Jeśli będziemy kopać głębiej, mamy do czynienia z tym samym problemem co dzień.

Jednym z najbardziej charakterystycznych przykładów można wymienić formalizacyjnej i wykrywania Higgsa w zderzeniach cząstek podstawowych w dużym akceleratora hadronów. Ale wcześniej sądzono, że istnienie tej cząstki – czysta teoria, a to nie jest absolutnie udowodnić doświadczenie w świecie rzeczywistym.

wniosek

Jak widać, pojęcie formalizacji, pomimo złożoności istoty procesu naukowego, to jest łatwe do zrozumienia przykładów. W większości przypadków sprowadza się to do korzystania z niektórych sieci logicznych, wpływu na wynik.