Формализация

Естественные языки служат для создания описательных информационных моделей. С помощью формальных языков строятся формальные информационные модели (математические, логические и др.). Процесс построения информационных моделей с помощью формальных языков называется формализацией.

Одним из наиболее широко распространенных формальных языков является математический. Модели, сформированные с использованием математических понятий и формул, называются математическими моделями.

Язык алгебры логики (алгебры высказываний) дает возможность строить формальные логические модели. С помощью алгебры высказываний формализуются (записываются в виде логических выражений) простые и сложные высказывания, выраженные на естественном языке. Путем построения логических моделей удается решать логические задачи, создавать логические модели устройств компьютера (сумматора, триггера) и т. д.

Формализация — это сведение некоторого содержания (содержания текста, смысла научной теории, воспринимаемых сигналов и пр.) к выбранной форме.

Например, оглавление книги — это формализация ее содержательных частей, а сам текст можно рассматривать как формализацию посредством языковых конструкций мыслей, идей, размышлений автора.

Возможность формализации опирается на фундаментальное положение, которое называют основным тезисом формализации: существует принципиальная возможность разделения объекта и его обозначения.

Суть объекта не меняется от того, как мы его назовем. Это значит, что мы можем назвать его так, чтобы это имя наилучшим образом соответствовало (с нашей точки зрения) данному объекту. Отрицание основного тезиса формализации означает, что имя объекта выражает его суть. В этом случае каждому объекту должно быть поставлено в соответствие только одно имя.

Из основного тезиса формализации следует сама идея моделирования.

Для обозначения объекта вводится некоторый набор знаков.

Знак — это элемент конечного множества отличных друг от друга элементов.

Основные черты знака:

1. Способность выступать в качестве заместителя объекта;

2. Неотождественность знака и объекта — знак никогда не может полностью заменить обозначаемое;

Многозначность соответствия «знак — объект».

Компьютерное моделирование

Язык — это знаковая система, используемая для целей коммуникации и познания.

Языки можно разделить на естественные и искусственные.

Естественные (обычные, разговорные) языки складываются стихийно и в течение долгого времени. Искусственные языки создаются людьми для специальных целей или для определенных групп людей (язык математики, морской язык, языки программирования и т. д.). Характерной их особенностью является однозначная определенность их словаря, правил образования выражений и конструкций (строго формализованы). В естественных языках они частично формализованы. Каждый язык характеризуется: набором используемых знаков;

• правилом образования из этих знаков языковых конструкций;

• набором синтаксических, семантических и прагматических правил использования языковых конструкций.

Алфавит — это упорядоченный набор знаков, используемых в языке.

В информатике нас прежде всего интересуют модели, которые можно создавать и исследовать с помощью компьютера. С помощью компьютера можно создавать и исследовать множество объектов: тексты, графики, таблицы, диаграммы и пр. Компьютерные технологии накладывают все больший отпечаток на процесс моделирования, поэтому компьютерное моделирование можно рассматривать как особый вид информационного моделирования.

В последние годы благодаря развитию графического интерфейса и графических пакетов широкое развитие получило компьютерное, структурно-функциональное моделирование. Суть имитационного компьютерного моделирования заключена в получении количественных и качественных результатов функционирования моделируемой системы по имеющейся модели. Качественные выводы, получаемые по результатам анализа модели, позволяют обнаружить неизвестные ранее свойства сложной системы: ее структуру, динамику развития, устойчивость, целостность и пр. Количественные выводы в основном носят характер прогноза некоторых будущих или объяснение прошлых значений параметров, характеризующих систему.

Предметом компьютерного моделирования могут быть: экономическая деятельность фирмы или банка, промышленное предприятие, информационно-вычислительная сеть, технологический процесс, процесс инфляции и т. д.

Цели компьютерного моделирования могут быть различными, но чаще всего это получение данных, которые могут быть использованы для подготовки и принятия решений экономического, социального, организационного или технического характера. Положено начало использованию компьютера даже при концептуальном моделировании, где он используется, например, при построении систем искусственного интеллекта. Таким образом, мы видим, что понятие «компьютерное моделирование» значительно шире традиционного понятия «моделирование на ЭВМ» и нуждается в уточнении, учитывающем сегодняшние реалии.

Начнем с термина «компьютерная модель». В настоящее время под компьютерной моделью чаще всего понимают:

• условный образ объекта или некоторой системы объектов (или процессов), описанный с помощью взаимосвязанных компьютерных таблиц, блок-схем, диаграмм, графиков, рисунков, анимационных фрагментов, гипертекстов и т. д. и отображающий структуру и взаимосвязи между элементами объекта. Компьютерные модели такого вида мы будем называть структурно-функциональными;

• отдельную программу, совокупность программ, программный комплекс, позволяющий с помощью последовательности вычислений и графического отображения их результатов воспроизводить (имитировать) процессы функционирования объекта, системы объектов при условии воздействия на объект различных (как правило, случайных) факторов. Такие модели мы будем далее называть имитационными моделями.

Компьютерное моделирование — метод решения задачи анализа или синтеза сложной системы на основе использования ее компьютерной модели.

Суть компьютерного моделирования заключена в получении количественных и качественных результатов по имеющейся модели. Качественные выводы, получаемые по результатам анализа, позволяют обнаружить неизвестные ранее свойства сложной системы: ее структуру, динамику развития, устойчивость, целостность и др. Количественные выводы в основном носят характер прогноза некоторых будущих или объяснения прошлых значений переменных, характеризующих систему.

Компьютерное моделирование для рождения новой информации использует любую информацию, которую можно актуализировать с помощью ЭВМ.

Процесс исследования поведения какого-либо объекта или системы объектов на компьютере можно разбить на следующие этапы:

• построение содержательной модели;

• построение математической модели;

• построение информационной модели и алгоритма;

• кодирование алгоритма на языке программирования;

• компьютерный эксперимент.

Контрольные вопросы

1. Что такое модель?

2. Для чего используются модели?

3. Что такое моделирование?

4. Как классифицируются модели?

5. Какие этапы проходит процесс создания модели?

6. Какие виды моделирования различают?

7. Какие модели характеризуют информационное моделирование?

8. Что такое формализация?

9. Какими чертами должен обладать знак?

10. В чем заключается цель компьютерного моделирования?

11. Что понимается под компьютерной моделью?

12. Каковы основные функции и этапы компьютерного моделирования?