- •А.Ф. Хрусталев основы математического моделирования
- •Хрусталев Александр Федорович
- •Предисловие
- •Введение
- •§1. Математическое моделирование как метод познания
- •1.1. Понятие математической модели
- •1.2. О гуманитарной значимости математических моделей
- •1.3. О сущности аксиоматического метода
- •1.4. Пример построения и исследования математической
- •1.5. А были ли американские астронавты на Луне?
- •§2. Общая схема применения математики. Множественность и единство моделей
- •2.1. Общая схема применения математики
- •Множественность и единство моделей
- •§3. Требования, предъявляемые к математической модели
- •3.1. Об адекватности математической модели
- •О полноте математической модели
- •3.3. О непротиворечивости модели
- •3.4. О других требованиях
- •§4. Приближенные числа и действия с ними
- •4.1. Десятичная запись приближенных чисел
- •4.2. О приближенных числах и значащих цифрах
- •4.3. О правилах действий с приближенными числами
- •4.4. Об оценке точности решения
- •§5. Система линейных уравнений как математическая модель
- •5.1. О решении переопределенных систем
- •5.2. Об устойчивости решений относительно погрешностей
- •§6. О построении математических моделей, описывающих результаты экспериментов
- •6.1. Математическая модель прямых измерений
- •6.2. О построении математических моделей косвенных измерений
- •§7. Оптимизационные модели
- •7.1. Примеры простейших задач на экстремум
- •7.2. О типах задач математического программирования
- •7.3. Конкретная транспортная задача
- •8.2. Простейшие задачи
- •8.3. Основная теорема о функциональной зависимости размерных величин
- •8.4. О необходимости соблюдения правила размерностей
- •9.1.О геометрическом подобии
- •На основании подобия треугольников можно решать различные задачи, связанные с определением расстояний, измерить которые непосредственно либо сложно, либо невозможно.
- •9.2. О физическом подобии
- •9.3. Измерение силы тяжести на луне с помощью телевизора
- •§10. Конечные уравнения как математические модели
- •10.1. Химическая задача
- •10.2. Физическая задача
- •10.3. Математическая задача №1151 [20]
- •§ 11. Предел и производная как математические модели
- •11.1. Предел как математическая модель
- •Определение длины окружности
- •Определение числа е
- •3. Определение площади поверхности шара
- •4. Определение вероятности события
- •5. Определение скорости свободного падения тела
- •6. Определение суммы ряда
- •11.2. Производная как математическая модель
- •§ 12. Интеграл как математическая модель
- •12.1. Задачи, приводящие к понятию интеграла
- •Задача об определении площади криволинейной трапеции
- •12.2. Две схемы приложения определённого интеграла
- •§13. О математических моделях, описываемых дифференциальными уравнениями
- •13.1. Задача о росте населения
- •13.2. Задача о колебаниях пружинного маятника
- •13.3. Задача о форме зеркала прожектора
- •§14. Вычислительный эксперимент
- •14.1. Вычислительный эксперимент как метод познания
- •14.2. Приложения метода к решению химических задач
- •14.3. Приложения метода к решению математических задач
- •Н. Винер § 15. Вероятность события как математическая модель
- •15.1. О понятии «вероятность события»
- •15.2. Вероятностные модели конкретных задач
- •Случай всегда приходит на помощь
- •§ 16. Математическая модель опыта. Случайная величина как математическая модель
- •16.1. Математическая модель опыта
- •16.2. Случайная величина (св) как математическая модель
- •16.3. Механическая модель св
- •§ 17. Схема бернулли. Цепь а.А. Маркова
- •17.1. Схема Бернулли
- •17.2. Цепь событий как математическая модель
- •17.3. Простейшая цепь а.А. Маркова
- •§ 18. Понятие о методе монте – карло
- •18.1. Общее представление о методе
- •Вероятностная задача:
- •18.2. Применения метода к решению невероятностных задач
- •18.3. О применении метода к проверке статистических гипотез
- •18.4. О сущности метода
- •§ 19. Простейшие теоремы математической химии и их приложения к построению математических моделей
- •19.1. Взаимно простые числа в химии
- •19.2. Критерии алканов
- •19.3. Теоремы гомологии
- •19.4. Теорема о молекулярной формуле соединения
- •§20. О математических моделях географии
- •20.1. О математических моделях Земли
- •20.2. Об измерениях диаметра Земли
- •20.3. О расширении горизонта в зависимости от высоты
- •20.4. О математических моделях холмов и впадин Земли
- •§21. О математических моделях логических связок
- •21.1. Высказывания
- •Отрицание
- •Конъюнкция – математическая модель логической
- •Дизъюнкция – математическая модель логической связки «или»
- •21.5. Импликация – математическая модель логической связки «если…, то»
- •21.6. Об определении модуля
- •21.7. О задании функции разными формулами
- •21.8. Высказывания и контактные схемы
- •21.9. Алгебра правды и лжи
- •§ 22. Понятие об имитационном моделировании
- •§ 23. Применение эвм к анализу математических моделей
- •23.1. Применение к совершенствованию учебных задач и их
- •23.2. Применение к анализу устойчивости решений
- •§ 24. Упрощение моделей
- •24.1. Химические задачи
- •24.2. Математические задачи
- •Другие задачи
- •§ 25. Вариант расчетно - графической работы
- •Заключение
- •Библиографический список
- •Содержание
- •Основи математичного моделювання
- •Основы математического моделирования
21.9. Алгебра правды и лжи
Эта
алгебра позволяет иногда выявлять
истину из сведений, содержащих правду
и ложь. Эквивалентом всякого верного
высказывания в ней будем считать число
1, а ложного – число 0. Тогда имеющуюся
информацию можно закодировать буквами
и составить из них и чисел 0 и 1
соответствующие алгебраические выражения
и равенства. Если буквами
и
обозначены два верных высказывания,
т.е. каждая буква имеет значение 1, то
и
+
=1. Если же
или
имеет значение 0, то
.
Задача [Детская энциклопедия, Т. 2. – М.: Просвещение, 1965.– С. 386]. Однажды в семье произошёл такой разговор:
Мама. Вчера мне сказали, что Саша, сын Николая Ивановича, уже окончил институт, а ему ещё только двадцать один год.
Папа. Ты что - то напутала, дорогая. Сына Николая Ивановича зовут Костя, и ему ещё только недавно исполнилось восемнадцать.
Дочь. Я не знаю семьи Николая Ивановича, но помню, подруга утверждала, что его сыну 25 лет, и при этом называла она его другим именем, не Сашей.
При помощи вычислений определите имя и возраст сына Николая Ивановича, полагая, что в каждой из полученных информаций содержатся верные сведения либо только о возрасте, либо только об имени.
Решение
[там же, с. 471]. Введём обозначения:
– Саша,
– Костя,
– не Саша,
– 18 лет,
– 21 год,
– 25 лет. Тогда мама сказала
,
папа сказал
,
а дочь сказала
.
Так как часть каждой информации неверна
(имеет значение 0), то
и
,
,
.
Сын Николая Ивановича не может иметь сразу два имени и два возраста; следовательно,
.
Перемножим
суммы
и
,
тогда
;
после выбрасывания нулевых членов
останется равенство:
.
Перемножим эту сумму и сумму
,
что после выбрасывания нулевых членов
даёт равенство:
,
откуда следует, что
,
,
(верная информация). Значит, сына Николая
Ивановича зовут не Саша (
),
а Костя (
)
и возраст его 21 год (
).
Этот ответ является следствием преобразований над логическими уравнениями. Проверим его по тексту задачи.
Он удовлетворяет высказыванию мамы, так как вторая часть в нём верна (сыну Н.И. – 21 год), а первая неверна, поскольку сына Н.И. зовут не Саша, а Костя.
Проверяемый ответ удовлетворяет высказыванию папы, так как первая часть в нём верна, а вторая неверна.
Приведённый выше ответ удовлетворяет и информации дочери, поскольку в ней первая часть верна, а вторая нет.
Итак, полученный выше ответ удовлетворяет всем условиям задачи, и потому сына Николая Ивановича действительно зовут Костя и ему 21 год.
Задача
из журнала «Техника молодёжи» № 5, 1960.
При решении одной задачи ученики дали
три ответа: 1)
есть
иррациональное число, равное площади
правильного треугольника, у которого
сторона
.
2) – число кратное 4 и равно радиусу окружности, длина которой равна 2.
3)
и равно диагонали квадрата, сторона
которого равна 2.
В каждом ответе одна часть верна, другая неверна. Чему равно ?
После упрощения условий, ответы учеников можно записать так:
– число иррациональное, равное
.
– кратно 4 и равно
.
и
равно
.
Решение этой задачи приведено в брошюре И.Я. Депмана «Первое знакомство с математической логикой», изданной Ленинградской организацией общества «ЗНАНИЕ» в 1965 году. В нём предполагается, но не обосновывается, что – иррациональное число.
Сначала
рассмотрим решение без применения
логических уравнений, для чего вначале
убедимся в том, что
– иррациональное число. Предположим
противное, т.е.
– число рациональное. Тогда, из первого
ответа, приведённого в тексте задачи,
следует, что утверждение «
есть число иррациональное» - ложно,
следовательно, второе высказывание о
том, что это число равно площади
правильного треугольника, сторона
которого равна 2, истинно по условию
задачи. Но указанная площадь равна
,
т.е.
,
что противоречит предположению:
– число рациональное. Итак,
– иррациональное число.
Поскольку
во втором ответе учеников первая часть
«
кратно 4» неверна, так как
иррационально, то верна вторая часть
ответа
.
Проверкой по тексту задачи убеждаемся,
что это значение удовлетворяет всем её
условиям. Значит,
.
Теперь приведем решение с применением логических уравнений. В этой связи отметим, что, если задача сведена к решению уравнения или системы, то мы представляем, к какому множеству чисел (в более общем случае – объектов) должно принадлежать решение. Поскольку ответы учеников: « кратно 4» и « меньше 3» не исключают того, что может быть и рациональным, под следует понимать вещественное число.
Итак, обозначим через неизвестное вещественное число, с помощью которого введём обозначения для ответов:
–
число
иррациональное,
–
равно
,
–
кратно
4 (
– натуральное число),
–
равно
,
–
меньше
3,
–
равно
.
Теперь на основании трёх ответов учеников составим систему трёх уравнений:
,
,
+
.
Перемножая почленно первые два уравнения, получаем:
+ + +
+ = 1. (*)
=0,
так как число не может быть иррациональным и рациональным (в рассматриваемом случае – целым).
= 0
по той же причине.
=0, так как ≠ .
Следовательно, уравнение (*) принимает вид
=
1. Значит,
.
Непосредственной проверкой убеждаемся, что это значение удовлетворяет и третьему уравнению системы. (Проверку можно сделать и по тексту задачи).
Итак, ответ: .
Таким образом, задача может быть решена как с применением логических уравнений, так и с помощью дедуктивных рассуждений, активно используемых при арифметическом решении задач. В этой связи приведём один эпизод из биографии Альберта Эйнштейна, который, будучи гимназистом первого класса, услышал, что старшие ученики говорят об алгебре. Придя, домой, он спросил у дяди, что это за алгебра? Дядя ответил: «Алгебра – это арифметика лентяев. Им лень думать, поэтому они обозначают искомое число какой-нибудь буквой, делают механические преобразования и получают ответ».
Конечно, бывают задачи, которые алгебраически решаются проще, чем арифметические, но бывает и наоборот.
В таких случаях целесообразно приводить рациональные и даже оптимальные решения.
Суть метода имитационного моделирования состоит
в том, что процесс функционирования сложной
системы представляется в виде определенного
алгоритма, который и реализуется на ЭВМ.
А.Б. Горстко
