ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ HASKELL

На основе языка Haskell [1] экспериментальные обучающие системы для аналитического дифференцирования и интегрирования [2] имеют гораздо более простой вид. Введём функцию дифференцирования dif , отображающую множество входных строк String в множество выходных строк того же типа : dif :: String -> String Для простоты аналогично [2] рассмотрим только два значения этой функции : dif "sh x" = "ch x " и dif "ch x" = "sh x".
Подавая на вход интерпретатора WinHugs [1] dif "sh x" или dif "ch x" , получим их производные : "sh x" или "ch x". Аналогичным образом введём функцию интегрирования: my_int :: String -> String . Рассмотрим три значения этой функции: my_int "sh x"="ch x + c" , my_int "ch x" и my_int "cos x" = "sin x + c " . Если на вход интерпретатора подавать последовательно my_int "sh x" , my_int "ch x" или my_int "cos x" , то будем получать их интегралы: "ch x + c" , "sh x + c" и "sin x + c ". Вводится рекурсивное понятие выражения, которое записывается на языке Haskell с помощью конструкции тип данных. Приводится элементарная теория DF (дифференциальных полей) и рассматриваются различные её расширения и модели. Осуществляется моделирование на языке Haskell теоремы о единственности продолжения функции дифференцирования из области целостности в поле отношений и других теорем дифференциальной и компьютерной алгебр.
СПИСОК ЛИТЕРАТУРЫ.
- Душкин Р.В. Функциональное программирование на языке Haskell. - М.: Изд. АМК. 2007 - 605 с.
- Тарушкин В.Т., Тарушкин П.В., Тарушкина Л.Т. Экспериментальные обучающие системы для аналитического интегрирования и дифференцирования. Международная конференция «Европейская интеграция высшего образования», Черногория, 2008 г.
Работа представлена на научную международную конференцию «Приоритетные направления развития науки, технологий и техники», Шарм-эль-шейх (Египет), 20-27 ноября 2008 г. Поступила в редакцию 27.10.2008.
Проведено поэтапное исследование, которое включало в себя оценку индивидуальных резервов соматического здоровья (СЗ) и оценку функционального состояния вегетативной нервной системы на основе исследования вариабельности ритма сердца (ВРС). Уровень СЗ оценивался в баллах. В результате проведенного нами исследования было выявлено, что риск манифестации хронической сосудистой патологии достаточно высок в группе с низкими энергетическими резервами организма (уровнем здоровья «низким» и «ниже среднего»), а таковых у нас оказалось 54,5 % из всех обследованных студентов БелГУ. Следующим этапом исследования была проверка этой версии. При анализе вариабельности сердечного ритма учитывались: показатель общей мощности спектра нейрогумopaльной регуляции сердечного ритма (TP); показатель, отражающий реактивность парасимпатического отдела вегетативной нервной системы при проведении АОП; визуальная оценка степени кардио-респираторной синхронизации на основании данных спектрального анализа ВРС и пневмограммы. У обследуемых с низким уровнем соматического здоровья признаки вегетативной дисфункции различной степени выраженности наблюдались в 92,5 % случаев. В группе с низким уровнем СЗ реактивность парасимпатического отдела ВНС, отражающая адаптационные резервы организма, оказалась так же низкой. Таким образом, наша версия о взаимосвязи уровня соматического здоровья и частотой встречаемости вегетативной дисфункции полностью подтвердилась. Чем ниже уровень соматического здоровья, тем более вероятна манифестации хронической сосудистой патологии. При высоком уровне здоровья риск возникновения хронической соматической патологии минимален.
...
21 07 2026 22:27:30
Статья в формате PDF
626 KB...
20 07 2026 12:55:38
Статья в формате PDF
109 KB...
19 07 2026 16:52:16
Статья в формате PDF
116 KB...
18 07 2026 16:57:20
Статья в формате PDF
109 KB...
17 07 2026 9:50:17
Статья в формате PDF
207 KB...
16 07 2026 17:17:59
В статье рассматриваются вопросы разработки единой системы подготовки спортсменов. Обоснованы четыре взаимообусловленных и неразрывно связанных между собой факторов, от которых зависит прогресс высшего спортивного мастерства. Первый фактор системы подготовки предполагает наличие у спортсменов высоких двигательных и психологических качеств в сочетании с хорошим здоровьем. Второй фактор системы подготовки предполагает совершенную методику спортивной тренировки, систему соревнований и восстановления. Третий фактор системы подготовки предполагает наличие хорошо оборудованных на современном уровне мест для тренировочных занятий, соревнований и восстановления (отдыха). Четвёртый фактор системы подготовки предполагает высокий уровень знаний, педагогическое мастерство тренера, и постоянное самоусовершенствование спортсмена. Приведённые факторы определяют основные принципиальные положения системы подготовки спортсмена. Разработаны и разделены по возрастным группам (от 7 до 20 лет и старше) требования предъявляемые к системе подготовки спортсмена и соревнованиям.
...
15 07 2026 6:48:55
Статья в формате PDF
115 KB...
14 07 2026 3:39:14
Статья в формате PDF
120 KB...
13 07 2026 19:13:47
Статья в формате PDF
231 KB...
12 07 2026 14:20:10
Статья в формате PDF
330 KB...
11 07 2026 6:21:13
Статья в формате PDF
266 KB...
10 07 2026 2:28:50
Статья в формате PDF
128 KB...
09 07 2026 3:37:33
Статья в формате PDF
163 KB...
08 07 2026 6:54:58
Статья в формате PDF
119 KB...
07 07 2026 20:13:55
Статья в формате PDF
189 KB...
06 07 2026 3:33:33
Статья в формате PDF
129 KB...
05 07 2026 12:29:15
Статья в формате PDF
181 KB...
03 07 2026 4:22:45
Цели исследования: определить нормальную динамику показателей вариабельности ритма сердца в ответ на физиологическую нагрузку у мужчин и женщин. Дать клинико-физиологическую оценку показателей.
Материалы и методы. Нами было обследованы 48 здоровых пациентов, из них 32 – мужчины, 16 – женщины. Средний возраст 46 (± 3,6) года. Исследование проводилось на комплексе суточного мониторирования ЭКГ «ДНК» с программой вариабельности сердечного ритма при проведении лестничных проб. Определяли: ЧСС ночью и на нагрузке, депрессию ST, параметры ОНЧ, НЧ, ВЧ, НЧ/ВЧ – как в покое, так и на нагрузке, SDNN и pNN50 за сутки.
Результаты. Обнаружено, что на нагрузках значительно повышается мощность ОНЧ (на 80,4%, t – 2,6) и синнергично снижается мощность НЧ (на 72%, t – 1,7) и ВЧ (на 65%, t – 1,6). Пoлoвых различий не выявлено (t – 0,8).
Заключение: показатель «ОНЧ» отражает реализацию синусовым узлом симпатических влияний. «ВЧ» отражают активность парасимпатической нервной системы (что соответствует литературным данным). Показатель «Низкие Частоты» не может служить маркером активности симпатической системы (как предлагается в литературе), а скорее отвечает за реализацию вагуса или иной тормозящей структуры. НЧ/ВЧ не может служить показателем вегетативного баланса.
...
02 07 2026 19:25:54
Статья в формате PDF
115 KB...
01 07 2026 0:36:42
Статья в формате PDF
110 KB...
30 06 2026 1:32:46
Статья в формате PDF
151 KB...
29 06 2026 2:14:15
Статья в формате PDF
113 KB...
28 06 2026 2:11:33
Статья в формате PDF
124 KB...
27 06 2026 12:48:55
Статья в формате PDF
211 KB...
26 06 2026 23:59:19
Статья в формате PDF
109 KB...
25 06 2026 5:45:18
Статья в формате PDF
322 KB...
24 06 2026 21:26:59
Статья в формате PDF
131 KB...
23 06 2026 2:16:59
22 06 2026 5:16:18
Статья в формате PDF
109 KB...
21 06 2026 2:41:52
Статья в формате PDF
241 KB...
20 06 2026 14:17:54
Статья в формате PDF
130 KB...
19 06 2026 21:53:57
Статья в формате PDF
133 KB...
17 06 2026 9:35:25
16 06 2026 15:14:49
Статья в формате PDF
104 KB...
15 06 2026 22:51:47
Статья в формате PDF
115 KB...
14 06 2026 13:12:19
Статья в формате PDF
258 KB...
13 06 2026 22:45:36
Еще:
Поддержать себя -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 ::