Как научиться строить математические модели?

[Yura]

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

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

[Aspirant_Cat]

Сообщение от Yura

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

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

Добавлено через 8 минут

Сообщение от donantonio

Например, верификация компьютерных программ, анализ производительности, статический анализ программ. Есть ли что-то о моделях для этой области?

Ждите PavelAR. Он наверняка может что-то подсказать в этой области.

Сообщение от donantonio

Книжка интересная, но она в основном жутко математическая.

В основе работы любой компьютерной программы и расчёта её производительности так или иначе лежат математические алгоритмы. "Чистой" computer science без математической основы не бывает.

[Степан Капуста]

Сообщение от donantonio

Но с другой встал вопрос как это формализовать и хотелось бы что-то на этот счет почитать.

Вот за это «формализовать» степень и дают...

[Yura]

Сообщение от Aspirant_Cat

Матмодели строятся на основе выделения значимых свойств объекта, исходя из цели моделирования.

Все верно, только само это выделение значимых свойств объекта делается субъективно-объективными методами, происходящими в голове разработчика

[Aspirant_Cat]

Сообщение от Yura

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

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

Сообщение от Степан Капуста

Вот за это «формализовать» степень и дают...

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

[kravets]

Сообщение от donantonio

PS: Про теорию автоматов немного представляю. Тот же model checking, например. Но меня больше интересует то, как самому научиться строить грамотные модели.

В http://ru.arxiv.org/ посмотрите работы следующего автора:
Bob Diertens

и вот этого: David Griffioen

Кроме того, обзор, который оказался полезным мне, присоединил (архив на самом деле rar, я zip не использую, а форум иначе не позволяет).

[kravets]

Сообщение от Aspirant_Cat

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

Как формализуете - приходите. Посмотрим на соответствие 05.13.01 или 05.13.18. Но, извините, технические науки.

[Yura]

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

[Aspirant_Cat]

Yura, ну да, цель-то ставит человек...

[donantonio]

Сообщение от Степан Капуста

Вот за это «формализовать» степень и дают...

Мне кажется, формализация интересна в т.ч. и сама по себе. Я вот в процессе формализации еще раз взглянул на свою работу под другим углом, а раньше смотрел только с практической точки зрения. Обнаружил интересные аналогии с релационными моделями. Значит, можно позаимствовать часть формализации от туда. :-) Но все еще интересно как можно научить себя строить модели в computer science и формализовать? Может быть есть что-нибудь на эту тему?

Добавлено через 34 секунды

Сообщение от kravets

Кроме того, обзор, который оказался полезным мне, присоединил (архив на самом деле rar, я zip не использую, а форум иначе не позволяет).

Спасибо, действительно хороший и интересный обзор!

Добавлено через 17 минут

Сообщение от Yura

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

На ум сразу приходит пример с ТРИЗ, хотя это и не алгоритм, а грубо говоря набор советов, и совсем не про формализацию. Что касается формализации то нужен также не алгоритм, а какая-нибудь работа (если зарубежная - еще лучше, т.к. местами может быть проще с терминами), где обучали бы формализации в computer science.