Тема 1.3.1 Адекватность моделей. Формализация и моделирование

Основные понятия и термины по теме: размерный стиль, линейный размер, таблица, табличный редактор.

План изучения темы (перечень вопросов, обязательных к изучению):

5. Векторная и растровая графика.

6. Характеристика инженерной компьютерной графики.

7. Основной принцип построения графических объектов.

8. Форматы файлов инженерной компьютерной графики.

 

Лабораторные работы:

1. Нанесение размеров на чертеже;

2. Построение таблиц.

Задания для самостоятельного выполнения

1. Выполнение и сдача лабораторных работ.

Форма контроля самостоятельной работы:

- Защита лабораторных работ;

- Устный опрос.

Вопросы для самоконтроля по теме:

1. Что такое размерный стиль?

2. Как отредактировать текст линейных размеров?

3. Сколько существует способов создания таблиц в AutoCAD?

4. Какие команды нужны для построения таблицы примитивным способом?

5. Как создать таблицу с помощью настраиваемых стилей?

Краткое изложение теоретических вопросов:

 

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

Земля вращается вокруг своей оси и вокруг Солнца; орбиты всех планет проходят вокруг Солнца.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Адекватность модели

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

Адекватность означает, достаточно ли хорошо с точки зрения целей исследования результаты, полученные в ходе моделирования, отражают истинное положение дел. Термин происходит от латинского adaequatus - приравненный.

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

До тех пор, пока не решен вопрос, правильно ли отображает модель исследуемую систему (то есть адекватна ли она), ценность модели нулевая!

Термин " адекватность " как видно носит весьма расплывчатый смысл. Понятно, что результативность моделирования значительно возрастет, если при построении модели и переносе результатов с модели на систему-оригинал может воспользоваться некоторой теорией, уточняющей идею подобия, связанную с используемой процедурой моделирования.

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

Проверку адекватности проводят на всех этапах построения модели, начиная с самого первого этапа - концептуального анализа. Если описание системы будет составлено не адекватно реальной системе, то и модель, как бы точно она не отображала описание системы, не будет адекватной оригиналу. Здесь сказано "как бы точно", так как имеется в виду, что вообще не существуют математические модели, абсолютно точно отображающие процессы, существующие в реальности.

Если изучение системы проведено качественно и концептуальная модель достаточно точно отражает реальное положение дел, то далее перед разработчиками стоит лишь проблема эквивалентного преобразования одного описания в другое.

Итак, можно говорить об адекватности модели в любой ее форме и оригинала, если:

· описание поведения, созданное на каком-либо этапе, достаточно точно совпадает с поведением моделируемой системы в одинаковых ситуациях;

· описание убедительно представительно относительно свойств системы, которые должны прогнозироваться с помощью модели.

Предварительно исходный вариант математической модели подвергается следующим проверкам:

· все ли существенные параметры включены в модель;

· нет ли в модели несущественных параметров;

· правильно ли отражены функциональные связи между параметрами;

· правильно ли определены ограничения на значения параметров;

· не дает ли модель абсурдные ответы, если ее параметры принимают предельные значения.

Такая предварительная оценка адекватности модели позволяет выявить в ней наиболее грубые ошибки.

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

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

· воздействия на объект носят ограниченный характер из-за возможного разрушения объекта, недоступности к элементам системы и т. д.;

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

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

Две системы изоморфны, если существует взаимно однозначное соответствие между элементами и отношениями (связями) этих систем.

Изоморфны, например, множество действительных положительных чисел и множество их логарифмов. Каждому элементу одного множества - числу соответствует значение его логарифма в другом, умножению двух чисел в первом множестве - сложение их логарифмов в другом. C точки зрения пассажира план метрополитена, находящийся в каждом вагоне поезда метро, изоморфен реальному географическому расположению рельсовых путей и станций, хотя для рабочего, ремонтирующего рельсовые пути, этот план естественно не является изоморфным. Фотография является изоморфным отображением реального лица для милиционера, но не является таковым для художника.

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

Для оценки подобия в поведении (функционировании) систем существует понятие изофункционализма.

Две системы произвольной, а подчас неизвестной структуры изофункциональны, если при одинаковых воздействиях они проявляют одинаковые реакции. Такое моделирование называется функциональным или кибернетическим и в последние годы получает все большее распространение, например, при моделировании человеческого интеллекта (игра в шахматы, доказательство теорем, распознавание образов и т. д.). Функциональные модели не копируют структуры. Но, копируя поведение, исследователи последовательно "подбираются" к познанию структур объектов (человеческого мозга, Солнца, и др.).

 

Лабораторные работы – не предусмотрено.

Задания для самостоятельного выполнения

1. Подготовка конспектов.

Форма контроля самостоятельной работы:

- Устный опрос.

Вопросы для самоконтроля по теме:

1. Что относят к внешнему проектированию?

2. Какие мероприятия включают в себя предпроектные исследования?

3. Из чего состоит техническое задание?

4. Из чего состоит техническое предложение?

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

6. Что такое технический проект?

7. Что такое рабочий проект?

8. Какие существуют этапы ввода в действие САПР?