МОДЕЛИРОВАНИЕ НА ЯЗЫКЕ 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
120 KB...
14 04 2026 13:57:25
В работе показаны причины возникновения профессиональных заболеваний в результате воздействия на организм человека асбестовой пыли. Клинические проявления и специфические симптомы, вызванные длительным контактом с асбестовой пылью. Рекомендуется новая технология пневмообогащения асбестового минерального сырья на базе ранее разработанных Тувинским институтом комплексного освоения природных ресурсов СО РАН способов и устройств по переработке минерального сырья, содержащего тяжелые минералы и металлы.
...
13 04 2026 14:49:36
Статья в формате PDF
110 KB...
11 04 2026 15:27:19
Статья в формате PDF
256 KB...
10 04 2026 19:32:17
Статья в формате PDF
249 KB...
09 04 2026 8:23:52
Статья в формате PDF
331 KB...
07 04 2026 2:21:52
Статья в формате PDF
111 KB...
06 04 2026 13:11:30
Статья в формате PDF
340 KB...
05 04 2026 21:49:11
Статья в формате PDF
127 KB...
04 04 2026 7:43:55
Статья в формате PDF
109 KB...
03 04 2026 20:58:46
Статья в формате PDF
114 KB...
02 04 2026 5:31:50
Статья в формате PDF
835 KB...
01 04 2026 10:41:46
Статья в формате PDF
262 KB...
30 03 2026 19:30:16
Статья в формате PDF
300 KB...
29 03 2026 22:50:14
Статья в формате PDF
279 KB...
27 03 2026 9:31:20
Статья в формате PDF
130 KB...
26 03 2026 21:30:44
Статья в формате PDF
143 KB...
25 03 2026 17:58:50
Статья в формате PDF
263 KB...
24 03 2026 17:19:47
Статья в формате PDF
95 KB...
23 03 2026 15:22:29
Статья в формате PDF
116 KB...
22 03 2026 23:41:54
Статья в формате PDF
126 KB...
20 03 2026 20:51:52
Статья в формате PDF
240 KB...
19 03 2026 5:43:49
Статья в формате PDF
235 KB...
18 03 2026 6:45:58
Статья в формате PDF
130 KB...
17 03 2026 10:17:41
Статья в формате PDF
125 KB...
16 03 2026 9:58:30
Статья в формате PDF 126 KB...
15 03 2026 23:27:23
Проведен анализ эффективности различных типов фитнес-программ в коррекции избыточной массы тела женщин юношеского и зрелого возраста. Применяемые физические нагрузки отличались хаpaктером нагрузки и наличию/отсутствию компонента коррекции питания. Исследовали антропометрические показатели, ИМТ, определяли содержание жировой массы в организме методом калипометрии в динамике 6-мecячного тренировочного цикла. Проводили промежуточные исследования: в середине, через 3 месяца от начала тренировочного цикла. В исследовании приняли участие 93 пpaктически здоровые женщины с избыточной массой тела, не имеющие эндокринных заболеваний и противопоказаний к занятиям физической культурой. Выделены группы в зависимости от типа программы (I, II), а также подгруппы (Ia, IIa) в зависимости от возраста: 18–21 год (I и II, n = 17 и n = 17, соответственно) и 36–45 лет (Ia, IIa, n = 30 и n = 29, соответственно). Показана динамика и статистическая значимость различий в группах, проведен сравнительный анализ между группами. Выявлена более высокая физиологическая эффективность программы I, базирующейся на смешанном хаpaктере тренировки, многовариантной схеме упражнений с мониторированием и коррекцией хаpaктера питания.
...
13 03 2026 13:56:13
Статья в формате PDF 221 KB...
10 03 2026 13:19:30
Статья в формате PDF
130 KB...
09 03 2026 17:20:21
Статья в формате PDF
161 KB...
08 03 2026 14:17:39
Статья в формате PDF
110 KB...
07 03 2026 15:11:26
Статья в формате PDF
295 KB...
06 03 2026 15:49:11
Еще:
Поддержать себя -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 ::
