Солоп С.А. Математическое моделирование систем и процессов. 2017
.pdf
РОСЖЕЛДОР Федеральное государственное бюджетное образовательное учреждение
высшего образования «Ростовский государственный университет путей сообщения»
(ФГБОУ ВО РГУПС)
С.А. Солоп, А.Г. Кулькин
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ СИСТЕМ И ПРОЦЕССОВ
Учебное пособие
Утверждено учебно-методическим советом университета
Ростов-на-Дону
2017
УДК 517(07) + 06
Рецензенты: доктор физико-математических наук, профессор В.В. Ларченко (ДГТУ); доктор физико-математических наук, профессор А.Н. Хопёрский (РГУПС)
Солоп, С.А.
Математическое моделирование систем и процессов: учеб. пособие / С.А. Солоп, А.Г. Кулькин; ФГБОУ ВО РГУПС. – Ростов н/Д, 2017. – 172 с.: ил. – Библиогр.: с. 171.
ISBN 978-5-88814-588-3
В пособии рассмотрены понятия систем и моделирования, приведены средства моделирования систем и процессов в виде понятий и теорий математики. Показаны способы моделирования в естественных науках на основе понятия предел и моделирование потоков платежей в области финансов. Конкретные математические модели приведены на примерах моделирования процессов движения и математического программирования.
Понятия разбираются на примерах. В главах приведены термины, тесты. Пособие предназначено для студентов очной и заочной формы обучения специальности «Эксплуатация железных дорог» для выполнения контрольной и самостоятельной работы. Также пособие может быть использовано для более углубленного изучения дисциплины «Математическое моделирование систем и процессов».
Одобрено к изданию кафедрой «Высшая математика».
ISBN 978-5-88814-588-3 |
Солоп С.А., Кулькин А.Г., 2017 |
|
ФГБОУ ВО РГУПС, 2017 |
2
|
Оглавление |
|
Указатель обозначений……………………….……………………….. |
4 |
|
Глава |
1. Понятия математического моделирования систем |
|
и процессов ……………………………………………………………. |
5 |
|
1.1 |
Основные понятия систем ……………..………...…………… |
5 |
Тесты……………………………………………………………….... |
18 |
|
1.2 |
Основные понятия моделирования …………………………... |
24 |
Тесты………………………………………………………………... |
26 |
|
Глава |
2. Средства моделирования систем и процессов ……………. |
29 |
2.1 |
Используемые понятия математики …………………….…… |
29 |
Тесты………………………………………………………………... |
34 |
|
2.2 |
Используемые теории .……………………………………..…. |
44 |
Тесты………………………………………………………………... |
46 |
|
Глава |
3. Моделирование ………………….…………….……………. |
51 |
3.1 |
Моделирование в естественных науках |
|
|
на основе понятия предел……..……...………………………. |
51 |
Тесты………….……………………………………………………... |
56 |
|
3.2 |
Моделирование финансов – потоки платежей………………. |
65 |
Тесты………………………………………………………………... |
117 |
|
Глава |
4. Математические модели…………….……..……….….…… |
127 |
4.1 |
Моделирование процессов движения.………...……………… |
128 |
Тесты……………………………………………………….………... 135 |
||
4.2 |
Модели математического программирования….……………. |
145 |
Тесты………………………………………………………………... |
166 |
|
Библиографический список………………………………………... |
171 |
|
3
Указатель обозначений
1
1.1
1 |
|
2 |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
,... |
, |
|
|
|||
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
т.к. т.е. т.о. О.
П.1.,…
З-е.
Т.1.,…
Сл.1
Номера глав 1,… .
Номера параграфов 1, … главы 1. Начало доказательства.
Начало доказательства. Конец связного текста.
Обозначения первого, второго, … равенств в последовательности рассуждений, справедливость выполнения которых нужно обосновать.
Влечёт, следует, следовательно. Эквивалентно.
Стремится.
Существует (существуют).
Не существует (не существуют). Такой, что (такие, что).
Для всех, для произвольного, для каждого. Принадлежит.
Равно по определению. Приближённое равенство. Так как.
То есть.
Таким образом. Определение. Пример 1, … . Замечание. Теорема 1, …
Случай (Следствие) 1, …
4
Г л а в а 1 . П О Н Я Т И Я М А Т Е М А Т И Ч Е С К О Г О М О Д Е Л И Р О В А Н И Я С И С Т Е М
ИП Р О Ц Е С С О В
1.1Основные понятия систем
О. М а т е м а т и к а (греч. знание, наука) – наука о количественных отношениях и пространственных формах действительного мира.
О. К а т е г о р и я (греч. kategoria – высказывание, суждение) –предельно широкое п о н я т и е , в котором отображены наиболее общие и существенные:
1)свойства;
2)признаки;
3)связи;
4)отношения
предметов, явлений объективного мира.
П.1. Категории: материя, движение, пространство, время, качество, количество, противоречие и т. д.
З-е. Каждая наука имеет систему своих категорий.
П.2. В логике основные категории: мышление, суждение, умозаключение, понятие, определение, силлогизм, индукция, дедукция, анализ, синтез, гипотеза, тождество, различие, утверждение, отрицание, отношение, метод, доказательство, опровержение, истинность и т. д.
П.3. В математике основные категории: число, равенство, сложение, вычитание, умножение, деление, дробь, корень, множество, функция, предел, производная, интеграл, ряд, вектор, матрица, евклидово пространство и т.д.
П.4. Существуют общенаучные категории: симметрия, асимметрия, модель, упорядоченность и т.д.
Познание начинается с ощущений, восприятий, представлений, переходит к суждениям и понятиям, которые рассматриваются с помощью имеющихся категорий. Категории исторически и логически развиваются.
О. В е щ ь – целостная и относительно устойчивая ч а с т ь материального мира:
1)существующая вне и независимо от нас;
2)отражающаяся в нашем сознании.
5
П.5. Академия, стол, книга, библиотека и т.д.
О. П р е д м е т – всякая материальная в е щ ь .
Вне и независимо от сознания существуют свойства и отношения вещей, поэтому свойства и отношения также могут рассматриваться как предметы – а б с т р а к т н ы е п р е д м е т ы .
В логике предметом называется все то, на что направлена мысль; всё то, что может быть воспринято, названо и т. д.
Поэтому предметом также считают: суждение, понятие, умозаключение.
О. О б ъ е к т ( лат. objectum – предмет):
1)существующий вне и независимо внешний мир, являющийся предметом познания, практического воздействия субъекта;
2)предмет, явление, на который направлена какая-либо деятельность;
3)предприятие, учреждение, а также все то, что является местом ка- кой-либо деятельности.
П.6. Экономический объект – объект производственный, строительный, социальный, собственности, финансирования, создания, ликвидации, кредитования, страхования и т.д.
О. С у ж д е н и е – ф о р м а мысли:
1)в которой утверждается или отрицается что-либо относительно предметов и явлений, их свойств, связей и отношений;
2)которая обладает свойством выражать либо истину, либо ложь.
О. |
С у б ъ е к т |
(лат. subjectum) – та ч а с т ь с у ж д е н и я , которая |
|
отображает предмет мысли. |
|
О. |
С у б ъ е к т |
– это индивид либо группа лиц, которые взаимодей- |
|
ствуют с объектом. |
|
З-е. Отличие объекта от субъекта проявляется в направленности действия:
-субъект преобразует реальность, действие направлено от него;
-объект принимает эти изменения либо сохраняет изначальную форму, действие всегда направлено к нему.
З-е. Отличие объекта от субъекта проявляется в способности к действию: субъект может принимать самостоятельное решение относительно дальнейшего развития событий; объект подчиняется данным решениям и действиям, преобразуясь и изменяясь.
6
З-е. Отличие объекта от субъекта состоит в проявлении:
-субъект проявляется через активное действие, вычленяя себя из реальности;
-объект проявляется через пассивное принятие действий субъекта.
З-е. Отличие объекта от субъекта состоит в одушевлённости:
-объект, как правило, является неодушевлённым;
-субъект всегда наделяется разумом и волей.
О. |
П р е д и к а т (лат. praedicatum) – та ч а с т ь с у ж д е н и я , которая |
|
отображает то, что утверждается (или отрицается) о предмете мысли. |
О. |
С в я з к а – с л о в о есть (или суть, когда речь идет о многих предме- |
|
тах). |
О. |
У м о з а к л ю ч е н и е – ф о р м а мышления или логическое д е й - |
|
с т в и е , в результате которого из одного или нескольких связанных |
|
суждений получается новое суждение, в котором содержится новое |
|
знание. |
О. |
П о н я т и е – целостная с о в о к у п н о с т ь с у ж д е н и й , в кото- |
|
рых что-либо утверждается об отличительных признаках исследуемого |
|
объекта, ядром которой являются суждения о наиболее общих и в то |
|
же время существенных признаках этого объекта. |
З-е. Сходство суждения и понятия – в присутствии и субъекта, и предиката. Но понятие – качественно новая форма мысли по сравнению с суждением в силу того, что человеческий мозг в форме понятия диалектически синтезирует в целостный образ отображенные в мысли отличительные и существенные признаки предмета, явления.
З-е. Понятия о предметах изменяются, уточняются, углубляются, совершенствуются. Поэтому когда в процессе исследования того или иного объекта обнаруживается новая, более глубокая сущность, старое понятие может стать всего лишь суждением.
О. О п р е д е л е н и е понятия (лат. definitio) – логическая о п е р а ц и я , в
процессе которой раскрывается содержание понятия.
З-е. Для того, чтобы определить понятие, т. е. найти предел (границу), отделяющую предметы, охватываемые данным понятием, от всех сходных с ними предметов, не надо перечислять все признаки, а достаточно указать лишь на отличительные существенные признаки предметов, отображенных в данном понятии, что является главным требованием к определению.
7
З-е. В тех случаях, когда существенные признаки еще недостаточно изучены или в этом нет особой необходимости, тогда прибегают к приемам, дополняющим определение: указанию, объяснению, описанию, характеристике, сравнению, различению.
О. Т е р м и н (лат. terminus – предел, конец, граница) – с л о в о , обозначающее понятие какой-нибудь области науки, техники, экономики, общественных отношений.
О. Т е о р е м а (греч. theorema – рассматриваю, исследую):
1)положение, у т в е р ж д е н и е , устанавливаемое при помощи доказательства, основывающегося или на аксиомах, или на доказанных уже положениях;
2)в математической логике – предложение, формула аксиоматической теории, выведенная из аксиом на основе применения правил данной теории;
3)формула, для которой существует доказательство.
О. Д о к а з а т е л ь с т в о – логическое д е й с т в и е , в процессе кото-
рого истинность какой-либо мысли обосновывается с помощью других мыслей.
Доказательство и его приемы стояли в центре внимания Аристотеля, который считал умение доказывать самой характерной чертой человека, «так как пользование словом более свойственно человеческой природе, чем пользование телом».
Древнеиндийские логики (IV–V вв.) обстоятельно изучали процесс доказательства. Они вычленили в нем: предложение (тезис), основание, пример, сходство, разнородность, заключение.
Многовековой опыт убедил людей в том, что обоснованность, доказательность – важное свойство правильного мышления.
В процессе доказательства важно решить две задачи:
1)точно определить и правильно классифицировать формы отношений между мыслью доказываемой и мыслями, с помощью которых обосновывается истинность доказываемой мысли;
2)установить, какого рода мысли уже не нуждаются в доказательстве.
Правила доказательства состоят:
1)из структуры;
2)способов;
3)требований в отношении доказываемой мысли;
4)требований в отношении мыслей, с помощью которых обосновывается доказываемое положение.
8
|
Доказательство состоит: |
1) |
из тезиса; |
2) |
доводов; |
3) |
демонстрации. |
|
Доказательства бывают: |
1) |
прямые и косвенные (по способу ведения); |
2) |
индуктивные и дедуктивные (по форме умозаключения). |
|
Правила доказательства: |
1Тезис и аргументы должны быть суждениями ясными и точно определенными.
2Тезис должен оставаться одним и тем же на протяжении всего доказательства.
3Тезис не должен содержать в себе логическое противоречие.
4Тезис, который требуется доказать, не должен находиться в логическом противоречии с высказанными ранее суждениями по данному вопросу.
5Доводы, приводимые в подтверждение тезиса, не должны противоречить друг другу.
6Истинность тезиса может быть обоснована посредством опровержения истинности противоречащего тезиса.
7Тезис и доводы должны быть обоснованы фактами.
8Доказательство должно быть полным.
9Доводы, приводимые в подтверждение истинности тезиса, должны являться достаточным основанием для данного тезиса.
10Доводы, приводимые в подтверждение истинности тезиса, сами должны быть истинными.
11Доводы должны быть суждениями, истинность которых доказана самостоятельно, независимо от тезиса.
О. М е т о д (греч. methodos – путь, способ исследования, обучения, изложения):
1) с и с т е м а п р а в и л и п р и ё м о в изучения явлений и закономерностей природы, общества и мышления;
2)п у т ь , с п о с о б достижения определенных результатов в познании и практике;
3) п р и ё м теоретического исследования или практического осуществления чего-нибудь, исходящий из знания закономерностей развития объективной действительности и исследуемого предмета, явления, процесса.
О. Т е о р и я (греч. theoria – наблюдение, рассмотрение, исследование) – о б о б щ е н и е опыта, практики общественно-производственной и научной деятельности людей, вскрывающее основные закономерности
9
развития материального мира и психики, направленное на дальнейшее преобразование объективной действительности и человека.
О. А н а л и з (греч. analysis – разложение, расчленение, разбор) – прием, метод исследования, состоящий в том, что изучаемый предмет мысленно или практически расчленяется на составные элементы (признаки, свойства, отношения), каждый из которых затем исследуется в отдельности как часть расчлененного целого.
О. С и н т е з (греч. synthesis – соединение, составление, сочетание):
1)мысленное соединение частей предмета, расчленённого в процессе анализа;
2)установление взаимодействия и связей частей;
3)познание этого предмета как единого целого.
О. С и с т е м а (греч. systema – целое, составленное из частей):
1)совокупность, объединение взаимосвязанных и расположенных в определенном порядке элементов (частей) целого;
2)совокупность принципов, лежащих в основе какой-либо теории;
3)совокупность органов, связанных общей функцией, например, сигнальная система человека;
4)система аксиом и др.
О. С и с т е м а в математической логике – непустое множество, класс или область объектов, между которыми установлены некоторые соотношения.
О. С и с т е м а а б с т р а к т н а я – система, для которой:
1)известны структура и соотношения между входящими в неё объектами;
2)неизвестна природа объектов.
О. |
С т р у к т у р а |
(лат. structure – строение, |
связь) – прочная относи- |
|
тельно устойчивая с в я з ь (отношение) |
и взаимодействие э л е - |
|
|
м е н т о в , сторон, частей предмета, явления, процесса как целого. |
||
О. |
С т р у к т у р а |
(лат. structura – строение, |
расположение) м а т е м а - |
т и ч е с к а я – родовое название, объединяющее понятия, общей чертой которых является то, что они применимы к множествам, природа элементов которых не определена. Чтобы определить структуру, задают: отношения, в которых находятся элементы множества, а затем постулируют, что данные отношения удовлетворяют условиям – аксиомам.
Эра систем, век синтеза, открытые системы, кибернетика, правила принятия решений, обратная связь, автоматическое управление, построе-
10
