You get a bonus - 1 coin for daily activity. Now you have 1 coin

Analytical way of presenting task 1 - The concept of

Lecture



Это окончание невероятной информации про понятие моделирования.

...

1.

Now that the pattern has been determined, we can solve the inverse problem and answer the question posed: how many cuts do you need to get 821 pieces? K = 821, K = 0.5 · p 2 + 0.5 · p + 1, p =?

We solve the quadratic equation 821 = 0.5 · p 2 + 0.5 · p + 1, we find the roots: p = 40.

To summarize (pay attention to this!).

Immediately guess the solution, we could not. It turned out to be difficult to experiment. I had to build a model, that is, to find a pattern between variables. The model turned out as an equation. Adding to the equation a question and an equation reflecting the well-known condition formed a problem. Since the task turned out to be of a type (canonical) type, it was solved by one of the known methods. Therefore, the problem was solved.

And it is also very important to note that the model reflects causal relationships. Between the variables of the constructed model there really is a strong connection. Changing one variable entails changing the other. We said earlier that “the model plays a system-forming and sense-forming role in scientific knowledge, allows us to understand the phenomenon, the structure of the object being studied, to establish the connection between cause and effect”. This means that the model allows you to determine the causes of phenomena, the nature of the interaction of its components. The model connects causes and effects through laws, that is, variables are interconnected through equations or expressions.

But!!! Mathematics itself does not make it possible to derive any laws or models from the results of experiments , as may seem after the example just considered. Mathematics is only a way to study an object, a phenomenon, and, moreover, one of several possible ways of thinking. There is, for example, a religious way or a way that artists use, emotionally-intuitive, through these methods they also know the world, nature, people, themselves.

So, the hypothesis about the relationship of variables A and B should be made to the researcher himself, from the outside, beyond that. And how does a person do it? It is easy to advise to make a hypothesis, but how to teach this, explain this action, and then, again, how to formalize it? We will show it in detail in the future course “Modeling artificial intelligence systems”.

And this is why it should be done from the outside, separately, additionally and beyond that, we explain now. This argument is the name of Gödel, who proved the incompleteness theorem - it is impossible to prove the correctness of a certain theory (model) within the framework of the same theory (model). Look again. 1.12. A higher level model converts the equivalent lower level model from one type to another. Or generates a lower-level model for its equivalent description again. But she herself can not convert. The model builds a model. And this pyramid of models (theories) is infinite.

In the meantime, in order to "not be blown up by nonsense," you need to be on your guard and check everything with common sense. Let us give an example, an old well-known joke from the folklore of physicists.

"On the dangers of cucumbers"

Cucumbers will destroy you! Each eaten cucumber brings you closer to death. It's amazing how thinking people still have not recognized the lethality of this plant product, and even resort to its name for comparison in a positive sense (“like a cucumber!”). And, in spite of everything, the production of canned cucumbers is growing.

With cucumbers associated with all bodily ailments and, in general, all human unhappiness.

  1. Almost all people suffering from chronic diseases, ate cucumbers.
  2. 99.9% of all people who died of cancer ate cucumbers during their lifetime.
  3. 100% of all soldiers ate cucumbers.
  4. 99.7% of all persons who were victims of automobile and aviation accidents consumed cucumbers during the two weeks preceding the accident.
  5. 93.1% of all juvenile delinquents come from families where they constantly consumed cucumbers.

There is evidence that the harmful effect of cucumbers affects a very long time: among people who were born in 1889 and who later ate cucumbers, the mortality rate is 100%. All faces of the birth of 1889-1909 have loose, wrinkled skin, almost all their teeth are lost, they are almost blind (if diseases caused by the consumption of cucumbers did not bring them to the grave for a long time).

An even more convincing result obtained by a well-known team of medical scientists: guinea pigs, which were forced to feed 20 pounds of cucumbers a day for a month, lost their appetite!

The only way to avoid the harmful effects of cucumbers is to change the diet. Eat marsh orchid soup. From him, as far as we know, no one has died yet.

Like this!

Moving on. The complexity of the problem often dictates the way the model is presented that will be used in its description. We show this on the example of the simplest problem.

Task 1. Let two objects (for example, a pedestrian and a cyclist) move towards each other (Fig. 1.17) with speeds V 1 and V 2, respectively. It is necessary to find out: when and where will these objects meet?

  The concept of modeling.  Ways to present models
Fig. 1.17. Meeting task

Analytical way of presenting task 1

Analytic explicit method

This model is very far from reality. It is problematic to study something on it, since from it one can find only time T and a meeting place S. Idealization lies in the fact that the road is considered to be perfectly straight, without inclines and rises, the speeds of objects are considered constant, the desires of objects do not change, the forces are unlimited, there are no obstacles for movement, the model does not depend on D , V 1 , V 2 arbitrarily large or small).

T 1 : = D / (V 1 + V 2 )
S 1 : = V 1 · T 1

Reality usually has nothing to do with this formulation of the problem. But due to a large idealization (idealization of a large order), a very simple model is obtained, which can be resolved in a general form (analytically) by mathematical methods. This is how most often algorithmic models are formulated, where a chain of calculations is stretched from the source data to the output. Therefore, we used an assignment character (: =) in the record. After calculating the right side of the expression, its value is assigned to the variable on the left side. The value of this variable is then applied on the right side of the following expression. Schematically it looks like the picture. 1.18.

  The concept of modeling.  Ways to present models
Fig. 1.18. Meeting Problem Solving Scheme
(explicit analytical method)

Analytical implicit method

In this formulation, due to the use of the adjustment sign, the relationship between the variables f ( T , V 1 , V 2 , D , S ) = 0 is obtained in the form of a system of equations. By setting the “?” Sign to various variables, one can, if necessary, formulate a number of arbitrary tasks, for example:

T 1 · (V 1 + V 2 ) = D
S 1 = V 1 · T 1
T 1 =?

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

Имитационный способ представления задачи 1

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

Имитационный алгоритмический способ

Повторяя пошагово расчёт в цикле, на каждом этапе работы алгоритма будем имитировать течение процесса (рис. 1.19). Обратите внимание, что процесс берётся не в целом, а как бы в деталях, по шагам. Переменная t является координатой, а значит, отслеживается счётчиком с шагом h . Идея имитации — продвигать пешехода и велосипедиста на величину V · h на каждом такте, где h — достаточно малая величина. Поскольку мы рассматриваем множество актов движения по отдельности, можно по ходу менять все переменные модели, например, V . Если путь пройден большой ( S 1 ), то можно устроить привал ( V = 0) на некоторое время. Остановка процесса имитации определяется суммой путей, пройденных велосипедистом и пешеходом навстречу друг другу, и сравнением её с расстоянием D .

  The concept of modeling.  Ways to present models
Fig. 1.19. Блок-схема решения задачи о встрече
(имитационный алгоритмический способ)

На формально-математическом языке алгоритм выглядит так, как показано ниже.

t := t + h · e
S 1 := S 1 + V 1 · h · e
S 2 := S 2 + V 2 · h · e
e := ed(D – (S 1 + S 2 ))
f := not(e)
stop(f)
e — вспомогательный флаг;
f — флаг, показывающий, был ли пройден к текущему моменту t весь путь или нет;
ed(x) — единичная функция: ed(x) = 1 при x ≥ 0, иначе ed(x) = 0;
stop(z) — функция останова вычислений при z > 0.

Имитационный геометрический способ

Решение может быть найдено геометрически. Для этого в осях ( t , S ) схемой, показанной нарис. 1.20, строятся траектории движения объектов.

  The concept of modeling.  Ways to present models
Fig. 1.20. Схема решения задачи о встрече
(имитационный геометрический способ)

In fig. 1.21 вы видите картину, образованную двумя осциллограммами. Точка, в которой пересекаются осциллограммы, является предполагаемой точкой встречи двух объектов.

  The concept of modeling.  Ways to present models
Fig. 1.21. Вид решения задачи о встрече
(имитационный геометрический способ)

Имитационная статистическая постановка задачи

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

Усложним задачу 1, введя в неё дополнительное условие. Представим, что на пути первого и/или второго объекта встретится помеха — пусть это будет участок железной дороги со шлагбаумом, который работает по случайному закону. Если шлагбаум открыт, то объект может переходить железную дорогу, в противном случае он не имеет права этого делать.

Промоделировать случайную работу шлагбаума можно с помощью генератора случайных чисел (ГСЧ). В различные моменты времени ГСЧ будет выдавать случайное число r = 0 или r = 1, это будет означать, что шлагбаум закрыт или, соответственно, открыт (см. рис. 1.22).

  The concept of modeling.  Ways to present models
Fig. 1.22. Вид функции случайных помех
(к задаче о встрече)

Частоту открывания шлагбаума можно контролировать, увеличивая или, наоборот, уменьшая число q , пересчитав случайное число r в z по формуле: z := ed( qr ).

In fig. 1.23 дана иллюстрация усложнённой задачи 1.

  The concept of modeling.  Ways to present models
Fig. 1.23. Иллюстрация к усложнённой задаче о встрече

In fig. 1.24 представлена алгоритмическая схема задачи.

  The concept of modeling.  Ways to present models
Fig. 1.24. Схема решения задачи о встрече (имитационный статистический способ)

Условия b1 и b2 контролируют, находится ли первый и/или второй объект менее чем за 5 метров от шлагбаума, когда тот закрыт. b1 = 1 ( b2 = 1) — это условие «не двигаться», если объект находится в зоне шлагбаума и шлагбаум закрыт; a — место нахождения шлагбаума, расстояние до шлагбаума от нуля; f — флаг встречи. Если f = 0, то встреча произошла и моделирование начинается снова с t = 0, S1 = 0, S2 = 0, а к статистическим счётчикам необходимо прибавить итоги эксперимента — номер эксперимента, время встречи, место встречи.

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

Имитационный критериальный способ

Этот способ — ещё один шаг к усложнению модели и приближению её к реальным условиям. Если во всех предыдущих случаях скорость V была известна, то теперь она — непредсказуема, даже статистически, что чаще всего и наблюдается в реальных условиях. Скорость V объекта принимается из некоторых дополнительных моделей. Причём эти модели могут быть с обратными связями. Например, скорость может зависеть от обстановки, степени достижения цели, плана, целесообразности поведения, знания местности, желания двигаться (психологический мотив). Такая постановка ведёт к адаптивным системам и системам искусственного интеллекта.

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


Итак, подведём итог.

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

Examples Поскольку исследование Луны небезопасно для человека, для этой цели используют луноход как модель исследователя; поскольку реальные эксперименты над экономикой страны дороги по своим последствиям, то используют математические модели экономики для изучения последствий управляющих решений; поскольку процесс обработки металлов взрывом скоротечен во времени, то его изучают на модели в увеличенном масштабе времени, а процесс коррозии — в уменьшенном; атом изучается в увеличенном масштабе пространства, а космогонические процессы — в уменьшенном масштабе пространства; поскольку при проектировании объекта его попросту не существует, то исследование будущих свойств объекта ведётся на модели.

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

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

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

Таким образом, модели — это основа разумной мыслительной деятельности; модели играют роль базиса, а моделирование — роль инструмента для прогнозирования.

Процесс моделирования состоит из трёх стадий: формализации (переход от реального объекта к модели), моделирования (исследование и преобразования модели), интерпретации (перевод результатов моделирования в область реальности).

Модель есть зависимость F между входом X и выходом Y . Модель отражает закономерность Y = F ( X ). Часто модель является законом. Модель верна в рамках допущенных при её построении гипотез. Поэтому модель ограничена некоторой областью и адекватна в ней.

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

Объект может быть представлен в виде аналитической или имитационной модели.

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

Имитационное моделирование позволяет разлагать большую модель на части (объекты, «кусочки»), которыми можно оперировать по отдельности, создавая другие, более простые или, наоборот, более сложные модели. Таким образом, имитационное моделирование тяготеет к объектно-ориентированному представлению, которое естественным образом описывает объекты, их состояние, поведение, а также взаимодействие между ними. Имитационную модель можно постепенно усложнять и усложнять; аналитический способ этого не допускает или допускает, но с большими ограничениями.

Модель может быть соединена с другими моделями. Математически это означает совместное решение моделей (пересечение) и наложение тождеств на связываемые переменные. При связывании модели образуют систему, которая имеет определённую структуру (вложенную, параллельную, последовательную, смешанную, с обратными связями и т. д.)

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

Повторим:

модель + вопрос + дополнительные условия = задача.

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

В виде вопроса может служить одна (или несколько) из неизвестных переменных.

Задача доопределяет свободные переменные модели, сужает область возможных решений.

Задачи, решаемые на модели, делятся на прямые и обратные. Прямые задачи по заданному X находят Y путём подстановки X в уравнение Y = F ( X ). Обычно такие задачи называют задачами анализа. Обратные задачи по заданному Y находят X путём нахождения обратной функции F –1 и подстановки X = F –1 ( Y ). Обычно их называют задачами синтеза. Если найти обратную функцию F –1 в явном виде затруднительно, то составляют вычислительные схемы для численного определения X . Часто к этому виду приводятся задачи управления объектами.

Ещё одной специфической задачей является нахождение по заданным X и Y зависимости F или её коэффициентов. Это задача построения (или настройки) модели.

Роль модели

Построив модель, исследователь может:

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

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

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

The objectives of this course include the study of techniques and methods necessary for the formalization, study and interpretation of systems.

Modeling - applied engineering science class technological. Modeling is a discipline that aims to build models and study them by means of their own universal methods, as well as specific methods of the sciences related to it (mathematics, operations research, programming).

Продолжение:


Часть 1 The concept of modeling. Ways to present models
Часть 2 Analytical way of presenting task 1 - The concept of


Comments


To leave a comment
If you have any suggestion, idea, thanks or comment, feel free to write. We really value feedback and are glad to hear your opinion.
To reply

System modeling

Terms: System modeling