Моделирование и формализация
TRANSCRIPT
![Page 1: Моделирование и формализация](https://reader036.vdocuments.site/reader036/viewer/2022082704/557ebd57d8b42a48588b50af/html5/thumbnails/1.jpg)
![Page 2: Моделирование и формализация](https://reader036.vdocuments.site/reader036/viewer/2022082704/557ebd57d8b42a48588b50af/html5/thumbnails/2.jpg)
Моделирование -Моделирование -
Это метод познания состоящий в Это метод познания состоящий в создании и исследовании моделейсоздании и исследовании моделей
МодельМодель – это некий новый объект, – это некий новый объект, которыйкоторый
отражает существенные особенностиотражает существенные особенности
изучаемого объекта, явления илиизучаемого объекта, явления или
процесса.процесса.
![Page 3: Моделирование и формализация](https://reader036.vdocuments.site/reader036/viewer/2022082704/557ebd57d8b42a48588b50af/html5/thumbnails/3.jpg)
Формы представления Формы представления моделеймоделей
МоделМоделии
материальнматериальныеые
информационинформационныеные
В В образной образной
формеформе
В В знаковой знаковой
формеформе
![Page 4: Моделирование и формализация](https://reader036.vdocuments.site/reader036/viewer/2022082704/557ebd57d8b42a48588b50af/html5/thumbnails/4.jpg)
Формализация -Формализация -
Это процесс построения информационных Это процесс построения информационных моделей с помощью формальных языков.моделей с помощью формальных языков.
![Page 5: Моделирование и формализация](https://reader036.vdocuments.site/reader036/viewer/2022082704/557ebd57d8b42a48588b50af/html5/thumbnails/5.jpg)
1)1) Описательные информационные модели Описательные информационные модели – формулируются естественными языками
Гелиоцентрическая модель мира Коперника
2)2) Формальные информационные моделиФормальные информационные модели – математические, логические и остальные в которых используется формальный язык.
![Page 6: Моделирование и формализация](https://reader036.vdocuments.site/reader036/viewer/2022082704/557ebd57d8b42a48588b50af/html5/thumbnails/6.jpg)
3)3) Формальные логические модели Формальные логические модели – используют язык
алгебры логики.
4)4) Статистические информационные моделиСтатистические информационные модели – модели, описывающие состояние системы в определённый момент времени.
![Page 7: Моделирование и формализация](https://reader036.vdocuments.site/reader036/viewer/2022082704/557ebd57d8b42a48588b50af/html5/thumbnails/7.jpg)
5)5) Динамические информационные моделиДинамические информационные модели – модели, – модели, описывающие процессы изменения и развития систем.описывающие процессы изменения и развития систем.
6)6) Табличные информационные моделиТабличные информационные модели – описание ряда объектов, обладающих одинаковым набором свойств
![Page 8: Моделирование и формализация](https://reader036.vdocuments.site/reader036/viewer/2022082704/557ebd57d8b42a48588b50af/html5/thumbnails/8.jpg)
7)7) Статистические иерархические моделиСтатистические иерархические модели – объекты – объекты распределены по уровню. Каждый элемент более высокого распределены по уровню. Каждый элемент более высокого уровня может состоять из элементов нижнего уровня, а уровня может состоять из элементов нижнего уровня, а элемент нижнего уровня может входить в состав только элемент нижнего уровня может входить в состав только одного элемента более высокого уровня.одного элемента более высокого уровня.
Компьютеры
СуперкомпьютерыСерверы
ПК
НастольныеПортативные
Карманные
![Page 9: Моделирование и формализация](https://reader036.vdocuments.site/reader036/viewer/2022082704/557ebd57d8b42a48588b50af/html5/thumbnails/9.jpg)
8)8) Динамические иерархические модели Динамические иерархические модели – –
используются в генеалогических деревах.используются в генеалогических деревах.
Святослав
Владимир Ярополк
БорисЯрослав Мудрый Глеб
![Page 10: Моделирование и формализация](https://reader036.vdocuments.site/reader036/viewer/2022082704/557ebd57d8b42a48588b50af/html5/thumbnails/10.jpg)
9)9) Сетевые информационные моделиСетевые информационные модели – отражают – отражают системы со сложной структурой, в которых связи системы со сложной структурой, в которых связи между элементами имеютмежду элементами имеют произвольный характер.произвольный характер.
![Page 11: Моделирование и формализация](https://reader036.vdocuments.site/reader036/viewer/2022082704/557ebd57d8b42a48588b50af/html5/thumbnails/11.jpg)
Основные этапы Основные этапы разработки и исследование разработки и исследование
модели на компьютеремодели на компьютереПервый этапПервый этап – строится описательная – строится описательная информационная модель.информационная модель.
Второй этапВторой этап – создается формализованная модель, т.е. – создается формализованная модель, т.е. описательная информационная модель записывается с описательная информационная модель записывается с помощью какого-либо формального языка.помощью какого-либо формального языка.
Третий этапТретий этап – преобразование в компьютерную – преобразование в компьютерную модель.модель.
а) построение алгоритмаа) построение алгоритма
б) построение компьютерной моделиб) построение компьютерной модели
Четвёртый этапЧетвёртый этап – компьютерный эксперимент. – компьютерный эксперимент.
Пятый этапПятый этап – анализ полученных результатов и – анализ полученных результатов и корректировка исследуемой модели.корректировка исследуемой модели.