МОДЕЛИРОВАНИЕ НА ЯЗЫКЕ PROLOG ИСТОРИЧЕСКОЙ ТРАЕКТОРИИ РОССИИ

Дифференциальное уравнение m-значной логики для исторической траектории России [1,2] берётся в виде X + Dx = Y (1) , где Y = G (X , Dx ) - значение дискретной функции m-значной логики, изучавшейся в [1,2] ( здесь X, Dx, Y є L , L={l0 , . . ,l14 }, l0 : "Киевская Русь", . . . , l14: "Cоюзное государство"). Смена обозначений в (1) вызвана использованием языка Prolog [3], поскольку решения уравнения (1) можно записать в виде классического двузначного предиката difeq (X , Dx , Y): " Находясь в состоянии X, система под влиянием воздействия Dx переходит в состояние Y", что в виде формул m - значной логики запишется как difeq = 1, если X + Dx = Y и будет равно 0 в противном случае. Моделирование этого предиката осуществляет программа, приводимая ниже для формы публикаций языка Visual Prolog v.5.2:
predicates
difeq(symbol,symbol,symbol)-nondeterm(o,o,o)
/*предикат для дифференциального уравнения m-значной логики X + Dx = Y */
clauses
difeq(l0 , l1 , l2).
/*клауза для первого квази-цикла исторической траектории России */
difeq(l2 , l3 , l4).
/* клауза для второго квази-цикла */
difeq(l4 , l5 , l6).
difeq(l6 , l7 , l8 ).
difeq(l8, l9 , l10 ).
difeq(l10 , l11 , l12).
/* клауза для шестого квази-цикла */
goal
/* построение 6 решений дифференциального уравнения X + Dx = Y */
difeq(X, Dx , Y).
Приведенная программа получена из реальной программы (файла с расширением pro, пропускаемого с помощью проекта Test Goal [3], затем переведена в редактор Microsoft Word,где вместо комментариев и символических переменных на английском языке введены их эквиваленты на русском языке. Например, kiev_russia заменяется на "Киевская Русь". Некоторые однострочные комментарии стали двустрочными, которые иначе оформляются [3]). Решения:
X = Киевская Русь, Dx = татаро-монгольское нашествие, Y = Московская Русь
X= Московская Русь, Dx = борьба России за выход к морям, Y = Российская империя
X=Российская империя, Dx = первая мировая война,Y = Советская Россия
X = Советская Россия, Dx = индустриализация, Y = СССР
X = СССР, Dx = вторая мировая война_холодная война, Y = демократическая Россия в составе СНГ
X = демократическая Россия в составе СНГ, Dx = переход к рынку_локальные войны, Y = Россия в составе союзного государства.
СПИСОК ЛИТЕРАТУРЫ:
- Тарушкин В.Т., Тарушкин П.В.,Тарушкина Л.Т., Юрков А.В. Дифференциалы m - значной логики и их применение к исторической траектории России. Электронная конференция РАЕ "Фундаментальные исследования", январь 2008.
- Тарушкин В.Т., Тарушкин П.В., Тарушкина Л.Т. Дифференциальные уравнения m- значной логики. Научная конференция "Интеграция на-уки и образования" Сейшельские острова, о. Маэ , 23 февраля - 01 марта 2008.
- Адаменко А., Кучуков А. Логическое программирование и Visual Prolog: - "БХВ-Петербург", 2003. C.990.
Статья в формате PDF
313 KB...
20 01 2026 8:27:42
Статья в формате PDF
140 KB...
18 01 2026 6:57:46
Статья в формате PDF
100 KB...
17 01 2026 8:11:26
Статья в формате PDF
117 KB...
16 01 2026 9:58:48
Статья в формате PDF
100 KB...
15 01 2026 14:51:59
Статья в формате PDF
140 KB...
14 01 2026 4:45:12
Статья в формате PDF
123 KB...
12 01 2026 15:20:51
Статья в формате PDF
317 KB...
11 01 2026 17:18:49
Статья в формате PDF
118 KB...
09 01 2026 13:13:36
В серии стресс-тестов исследованы особенности поведенческих реакций крыс при действии 1,5-бензодиазепинона-2 и его производных в дозах 5, 25, 50 и 100 мг/кг. В результате сравненияэтих показателейс таковыми эталонного препарата диазепама (5 мг/кг), выявлено, что под влиянием 1,5-бензодиазепинона-2 и его трех производных (4-метил-1,5-бензодиазепинон-2, 3-метил-1,5-бензодиазепинон-2, 5-формил-3-метил-1,5-бензодиазепинон-2) поведение крыс в зависимости от уровня аверсивности теста существенно изменяется. В целом установлено, что тестируемые вещества в зависимости от дозы способны проявлять психотропные (антистрессорные, анксиолитические, седативные, антидепрессантные) свойства.
...
08 01 2026 19:38:20
Испытан способ стимуляции костномозгового гемопоэза при лечении острой лучевой болезни (ОЛБ) у животных, включающий остеоперфорацию эпифизов трубчатых костей, с использованием высокоинтенсивного инфpaкрасного диодного лазера.
После остеоперфорации проводится курс лечения церулоплазмином в суточной дозе 1,5-2,5 мг/кг.
Проведенные экспериментальные исследования и наблюдения показывают, что на фоне лазерной остеоперфорации и применения церулоплазмина у собак отмечено интенсивное увеличение содержания в периферической крови эритроцитов, гемоглобина, лейкоцитов, а также концентрации гемоглобина в одном эритроците.
Эффективность при лечении острой лучевой болезни составила 100%.
...
07 01 2026 23:23:51
Статья в формате PDF
111 KB...
06 01 2026 14:20:18
Статья в формате PDF
307 KB...
05 01 2026 23:22:54
04 01 2026 10:14:15
Статья в формате PDF
169 KB...
03 01 2026 12:34:33
Статья в формате PDF
268 KB...
01 01 2026 14:10:56
Статья в формате PDF
307 KB...
31 12 2025 2:52:18
Предложен новый подход к изучению земного магнетизма. В центре Земли монополь µ, шаровая молния возникает в пучностях стоячих волн монополя. Гравитация – квадрупольное излучение µ.
...
30 12 2025 15:19:14
Статья в формате PDF
132 KB...
28 12 2025 5:32:21
Статья в формате PDF
114 KB...
27 12 2025 9:55:57
Статья в формате PDF
103 KB...
26 12 2025 13:15:25
Исследована активность каталазы в митохондриях, супернатанте сердца и печени свиней пород крупной белой, кемеровской и ландрас. В эксперименте установлено, что по активности каталазы в митохондриях лучшими являются свиньи кемеровской породы.
...
25 12 2025 16:53:43
Статья в формате PDF
250 KB...
24 12 2025 6:20:50
Статья в формате PDF
103 KB...
22 12 2025 18:52:46
Статья в формате PDF
123 KB...
21 12 2025 8:35:12
Статья в формате PDF
144 KB...
20 12 2025 7:28:14
Статья в формате PDF
120 KB...
19 12 2025 7:58:31
Статья в формате PDF
140 KB...
18 12 2025 12:54:24
Статья в формате PDF
114 KB...
17 12 2025 20:35:50
Статья в формате PDF
116 KB...
16 12 2025 5:40:16
Статья в формате PDF
100 KB...
15 12 2025 12:42:37
14 12 2025 16:33:55
Статья в формате PDF
124 KB...
13 12 2025 15:59:24
Статья в формате PDF
111 KB...
12 12 2025 23:33:59
Еще:
Поддержать себя -1 :: Поддержать себя -2 :: Поддержать себя -3 :: Поддержать себя -4 :: Поддержать себя -5 :: Поддержать себя -6 :: Поддержать себя -7 :: Поддержать себя -8 :: Поддержать себя -9 :: Поддержать себя -10 :: Поддержать себя -11 :: Поддержать себя -12 :: Поддержать себя -13 :: Поддержать себя -14 :: Поддержать себя -15 :: Поддержать себя -16 :: Поддержать себя -17 :: Поддержать себя -18 :: Поддержать себя -19 :: Поддержать себя -20 :: Поддержать себя -21 :: Поддержать себя -22 :: Поддержать себя -23 :: Поддержать себя -24 :: Поддержать себя -25 :: Поддержать себя -26 :: Поддержать себя -27 :: Поддержать себя -28 :: Поддержать себя -29 :: Поддержать себя -30 :: Поддержать себя -31 :: Поддержать себя -32 :: Поддержать себя -33 :: Поддержать себя -34 :: Поддержать себя -35 :: Поддержать себя -36 :: Поддержать себя -37 :: Поддержать себя -38 ::