МОДЕЛИРОВАНИЕ НА ЯЗЫКЕ 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 150 KB...
23 04 2024 4:49:55
Статья в формате PDF 478 KB...
21 04 2024 0:10:56
20 04 2024 3:20:16
В настоящей работе предлагается оригинальный подход для объяснения процессов образования и распространения селей в горных условиях в условиях резкого увеличения вовлекаемых в этот процесс водных масс. Нами предлагается модель, согласно которой необходимыми условиями возникновения селя являются следующие: наличие глубинного трещинообразования в русле горной реки, перепад высот, наличие пула водной массы (обычно, – над областью будущего возникновения селя), обеспечивающего необходимый перепад гидростатического давления, а также выпадение осадков в виде обильных дождей, тающих снегов в верховьях селеопасных рек, провоцирующих это явление. Одним из принципиальных базовых допущений, на котором строится наша модель и которое подтверждается наблюдениями селевых катастроф, является то, что объем/масса водного селевого выброса может существенно превосходить оцениваемое количество выпавших осадков на поверхности. В связи с этим естественное объяснение получает общеизвестный факт, что не все ливневые дожди приводят к катастрофическим последствиям. Сущность и новизна нашей модели заключается в том, что в селевом взрыве активно участвуют как поверхностные, так и подземные воды, т.е. речь идет о 3D-механизме формирования селя. При этом в русле создается определенный участок – ворота селя, где начинает идти интенсивная подземная подпитка водой (за счет перепада давлений) основного импульса селя. И этот процесс может играть доминирующую роль. Нами предлагается математическая модель рождения и распространения селя, в основе которой лежат представления нелинейной гидродинамики волновых процессов с формированием солитонов. В рамках развиваемой концепции в заключительном разделе 5 данной статьи приведен краткий анализ возможных причин произошедшего катастрофического наводнения в г. Крымске (июль 2012 г.). ...
19 04 2024 12:20:22
Статья в формате PDF 271 KB...
18 04 2024 4:40:11
Статья в формате PDF 244 KB...
17 04 2024 9:10:37
16 04 2024 0:56:52
Статья в формате PDF 125 KB...
15 04 2024 13:17:52
Тюменский регион является одним из лидеров по уровню экономического развития. Устойчивое развитие его обеспечит сбалансированное решение социально-экономических задач, проблем сохранения окружающей среды в целях удовлетворения потребностей нынешнего и будущего поколений. Реализация перехода на путь стабильного развития потребует в дальнейшем формирования новой стратегии, которая оказалась бы экологически и экономически сбалансированной. ...
14 04 2024 15:38:39
Статья в формате PDF 205 KB...
13 04 2024 17:11:35
Статья в формате PDF 133 KB...
10 04 2024 17:53:42
Статья в формате PDF 111 KB...
09 04 2024 21:39:10
Система противодействия биотерроризму не может быть эффективной без постоянного мониторинга за свойствами циркулирующих в данном регионе возбудителей инфекционных болезней. В рамках реализации программы по противодействию биотерроризму в Ростове-на-Дону проводится мониторинг за выделяемыми штаммами энтеробактерий с учетом оценки антибиотикорезистентности. Для обработки результатов использована компьютерная программа WHONET 5.4. Определены фенотипы резистентности энтеробактерий (2005-2006 гг.) Хаpaктеристика профилей устойчивости позволила установить появление и хаpaктер полиантибиотикорезистентности у шигелл и сальмонелл. Компьютерный анализ может быть использован в системе эпидемиологического надзора за распространением и динамикой антибиотикорезистентности штаммов, циркулирующих в популяции населения. ...
08 04 2024 3:14:12
Статья в формате PDF 255 KB...
07 04 2024 19:42:33
Статья в формате PDF 2874 KB...
06 04 2024 5:56:57
Статья в формате PDF 104 KB...
05 04 2024 5:35:32
Статья в формате PDF 314 KB...
04 04 2024 8:19:13
Статья в формате PDF 105 KB...
03 04 2024 17:25:16
Статья в формате PDF 115 KB...
02 04 2024 3:10:46
Статья в формате PDF 136 KB...
30 03 2024 14:32:31
Статья в формате PDF 137 KB...
29 03 2024 16:32:12
Статья в формате PDF 255 KB...
27 03 2024 22:46:17
Статья в формате PDF 119 KB...
26 03 2024 11:15:56
Статья в формате PDF 123 KB...
25 03 2024 19:32:50
Статья в формате PDF 332 KB...
24 03 2024 12:34:46
Статья в формате PDF 107 KB...
23 03 2024 22:21:10
22 03 2024 15:58:24
21 03 2024 4:24:52
Статья в формате PDF 124 KB...
20 03 2024 21:20:46
Статья в формате PDF 120 KB...
19 03 2024 0:58:24
Статья в формате PDF 262 KB...
18 03 2024 6:51:39
Статья в формате PDF 105 KB...
17 03 2024 18:57:37
Статья в формате PDF 111 KB...
16 03 2024 11:20:17
Статья в формате PDF 113 KB...
15 03 2024 13:39: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 ::