Цитата:
Сообщение от Yura
модели строятся на основе гипотез, приближений, упрощений
в основном чисто на здравом смысле
вся суть заключается в том, чтобы подобрать модель более удачно, более точную чем предшественники.
|
Матмодели строятся на основе выделения значимых свойств объекта, исходя из цели моделирования. Верификация модели происходит с помощью модельных экспериментов, результаты которых должны быть получены с заданной точностью.
Добавлено через 8 минут
Цитата:
Сообщение от donantonio
Например, верификация компьютерных программ, анализ производительности, статический анализ программ. Есть ли что-то о моделях для этой области?
|
Ждите PavelAR. Он наверняка может что-то подсказать в этой области.
Цитата:
Сообщение от donantonio
Книжка интересная, но она в основном жутко математическая.
|
В основе работы любой компьютерной программы и расчёта её производительности так или иначе лежат математические алгоритмы. "Чистой" computer science без математической основы не бывает.