Що таке формалізація? Метод формалізації. Поняття, суть, етапи, результат, прикладом, види формалізації

Відео: Week 1

Сьогодні очень часто можна зустріті багатьох незрозумілій срок «формалізація», причому в самих різніх областях науки и техніки. Тім, хто хоче розшіріті горизонти своих знань, бажано зрозуміті, що таке формалізація. У статті буде Розглянуто суть цього терміна и практичне! Застосування процесса.

Що таке формалізація з Наукової точки зору в загально розумінні?

Торкнемося немного науковий аспект. Будемо відштовхуватіся від того, что слово формалізація походити від слова "формальність", Тобто є умовно, а іноді даже абстрактним Поняття, что дозволяє поясніті природу неіснуючого об`єкта чи явіща и спрогнозуваті его Властивості в Певної середовіщі при завданні початкових условиях.

Лінгвістика будь-которого сучасного мови зовсім не збігається з виразі логічніх форм або природою мислення. Таким чином, логіка сама по Собі змушена використовуват якісь абстрактні Поняття, щоб описати ті чи інше явіще. Так і з`являється відносне Поняття формальності, что відбувається.

Як уже неважко здогадатіся, суть формалізації зводу до того, щоб описати або візначіті деякі характеристики об`єкта або процесса (даже НЕ існуючого на Сейчас) и спрогнозуваті его! Застосування в разі з`явиться в реальному мире. Альо це загальне уявлення. Саме Поняття формалізації значний ширший. Для качана Зупинимо на комп`ютерних технологіях, розглянемо, як в мире електроніки застосовується данє Поняття.

Комп`ютерна формалізація

Если торкати тими комп`ютерів, метод формалізації такого типу є, скоріше, обробка початково завдань умів, Які дозволяють з й достатньо високим ступенів точності візначіті подалі поведение об`єкта або процесса.

За таким принципом Працюють практично всі метеослужби. Маючі комп`ютерну модель циклону, можна спрогнозуваті его цикл и Потужність над сушею або над водним простором.

Згадаю фільм «Післязавтра», в якому вчений передбача глобальне потепління, віходячі сортаменту з подобной методики. У него булу розроблено комп`ютерна модель, яка давала можлівість з Певної частко ймовірності Передбачити подальші події.

Відео: Computational Thinking - Computer Science for Business Leaders 2016

Дані приклади є пояснюють, що таке формалізація.

Принципи моделювання об`єктів и процесів

Основні методи формалізації - це прогнозування та моделювання. Застосовуються Такі технології Виключно для Отримання кінцевіх Даних про об`єкти чи процеси, Які НЕ відомі, но їх можна пріпустіті и з скроню точністю розрахуваті.

Если подивитись на види формалізації, практично всі смороду зводяться лишь до логічніх умовіводів и Обчислення. Чітачеві НЕ Важко провести паралель между комп`ютерним моделювання, доказ теорем и т. Д На Основі аксіом и постулатів.

Подівіться, Аджея та ж теорія відносності Ейнштейна теж может буті трактована як метод формалізації, Аджея на практике перевіріті доказ НЕ представляється можливіть. Зокрема це стосується Константи Поширення світла, уповільнення часу на порозі ее Досягнення, Збільшення гравітаційної масі об`єкта и вікрівлення простору. Руками, як то кажуть, це НЕ помацаєш и очима НЕ побачиш.

Колись це були только сміліві Висновки вченого на основе найпростішіх дослідів. Сьогодні все це підтверджується офіційною наукою на основе все того ж комп`ютерного моделювання.

етапи формалізації

Если розглядаті комп`ютерні системи, то дере етапом формалізації є опис процесса. Альо тут не Використовують інструменти звичайна мови (букви, слова, словосполучень, Предложения). создать Певного математичну модель можна только з Використання якогось алгоритму на основе вібраної мови програмування, но только после постановки Загальної задачі.

Іншімі словами, при моделюванні поведінкі об`єкта або процесса суть того, что відбувається нужно описати чисто математичних символами, застосувались математичний алгоритм.

Результатом формалізації є Отримання АНАЛІЗУ дійсного передбачуваності події, Пожалуйста послідує после того, як досліджувана технологія буде застосована на практике або Певний природний процес увійде в стадію реального прояви.

Далі слід концептуалізація поставленого завдання. Тут є два варіанти: у Першому випадка це визначення підходу у виде использование атрібутів и ознак- другий варіант має на увазі! Застосування когнітівного АНАЛІЗУ, Не кажучи Вже про постановку задачі, збору початково вікорістовуваніх Даних, умів и т. Д

После визначення понять и початкових умов вівчаються існуючі взаємозв`язку между об`єктами и процесами, а такоже так звані семантичні отношения, Які передбачають использование методики локального уявлення.

Далі слід обробка початкових Даних на основе обраних алгоритму, после чего Видається результат Із зазначену відсотка похібкі. Як правило, вона НЕ перевіщує 5%, а в більшості віпадків результат ймовірності доходити до 99%. Будь-яка людина або машина все одно залішають «запас міцності» на непередбачені обставинам, Аджея абсолютно всі врахуваті Неможливо.

Навіщо все це потрібно?

Если розібратіся, Такі принципи дозволяють Проводити аналіз поведінкі об`єктів и процесів. Іншімі словами, можна Передбачити, як буде розвіватіся тієї чи Інший процес.

Відео: Олена Ярська-Смирнова, Олександра Горяйнова - "Як вімірюваті інклюзію"

Тепер уже зрозуміло, що таке формалізація. Давайте розглянемо найпростішій приклад.

! Застосування формалізації на практике, найпростіші приклади

Пріпустімо, Якийсь фахівець розроб нову конструкцію літака. З урахуванням дорожнечі проекту будуваті модель оригінального розміру без попередня прогнозом ее поведінкі в повітрі є завдання абсолютно недоцільною. Більш того, проведення випробувань в тій же аеродінамічній трубі літака розміром з Boeing є абсолютно нереальним завдання.

Формалізація дозволяє при заздалегідь завдання характеристик майбутнього літального апарату (опору Повітря, бічного вітру, висоти и параметрів самой аеродінамічної труби та других характеристик) змоделюваті політ без побудова моделі літака.

Ще одним прикладом можна назваті тестування Нових машин, что проводитися автомобільнімі концернами. Основний метод формалізації в даного випадка Полягає в тому, что спочатку всі смороду проходять віртуальний тест, а после Отримання позитивних результатів дослідні зразки запускаються у виробництво для тестування в реальних условиях.

Основні результати

Результат математичного моделювання много в чому (если не так на всі сто відсотків, то з ймовірністю до 95%) может стать Вагомий аргументом на Користь випуску сучасної техніки, поможет Передбачити погоду, даже спрогнозуваті суспільну поведение як реакцію на події в мире.

Так Так! Формування Громадської думки в мире теж підпорядковується своим власним законам. Досить впліваті на него в найбільш прідатну напрямку. Сьогодні Вже Створено Чимаев програм, что дозволяють спрогнозуваті реакцію Суспільства на ту чи іншу подію. І це далеко не всі приклади формалізації. Если копнути глибші, ми з ЦІМ стікаємося Щодня.

Одним з найяскравішіх примеров формалізації можна назваті и Виявлення бозона Хіггса при зіткненні елементарних частінок у Великому адронному колайдері. А Аджея Ранее вважать, что Існування цієї частинка - чистої води теорія, причому зовсім НЕ доказова реально дослідамі.

Висновок

Як бачим, в понятті формалізації, незважаючі на наукову складність суті процесса, легко розібратіся на прикладах. Вона в більшості віпадків зводу до использование Деяк логічніх ланцюжків, Які зумовлюють кінцевій результат.