Курс лекций по дисциплине «Компьютерное моделирование». Рассмотрены основные понятия курса, этапы построения

взаимно-однозначное соответствие: каждому элементу одной системы 
соответствует элемент другой и наоборот. 
Две системы называются гомоморфными, если между ними существует 
однозначное соответствие: каждому элементу одной системы соответствует 
элемент другой, но не наоборот. 
В общем случае обеспечение изоморфизма модели и объекта 
исследования по всем аспектам моделирования может быть не только 
трудновыполнимым, но и излишним, поскольку сложность модели при этом 
может оказаться настолько значительной, что не будет возможным никакое 
упрощение решаемой задачи. 
ПРИМЕР 1.1 
Смоделировать работу такого элементарного устройства компьютера, как 
полусумматор двоичных кодов, можно с помощью таблицы истинности, 
6 

---

структурных формул или функциональной схемы (рис. 1.1). Все эти модели 
изоморфны по отношению друг к другу. Различаются лишь языки 
представления моделей. 
X 
Y 
P 
S 
0 
0 
0 
0 
0 
1 
0 
1 
1 
0 
0 
1 
1 
1 
1 
0 
P= X & Y 
S = (X & Y) & (X V Y) 
Рис. 1.1. Таблица истинности, структурные формулы и
функциональная схема полусумматора 
ПРИМЕР 1.2 
При решении уравнения вы можете получить, например, значение корня, 
равное 5,256 или 5,311, или 5,299, или 5,3001, или 5,345. При округлении с 
точностью до одного знака после запятой все они преобразуются к числу 5,3. 
Восстановить по округленному значению, каким же было исходное число до 
округления, невозможно. Это пример гомоморфных моделей.
5,256 
5,311 
5,299
5,3 
5,3001 
5,345 
Рис. 1.2. Округление чисел