Тысяча полезных мелочей    

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

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

Тарушкин В.Т. Тарушкин П.В. Тарушкина Л.Т. Статья в формате PDF 97 KB

На основе языка 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 теоремы о единственности продолжения функции дифференцирования из области целостности в поле отношений и других теорем дифференциальной и компьютерной алгебр.

СПИСОК ЛИТЕРАТУРЫ.

  1. Душкин Р.В. Функциональное программирование на языке Haskell. - М.: Изд. АМК. 2007 - 605 с.
  2. Тарушкин В.Т., Тарушкин П.В., Тарушкина Л.Т. Экспериментальные обучающие системы для аналитического интегрирования и дифференцирования. Международная конференция «Европейская интеграция высшего образования», Черногория, 2008 г.

Работа представлена на научную международную конференцию «Приоритетные направления развития науки, технологий и техники», Шарм-эль-шейх (Египет), 20-27 ноября 2008 г. Поступила в редакцию 27.10.2008.



СОН И ПАМЯТЬ

СОН И ПАМЯТЬ Статья в формате PDF 460 KB...

22 07 2026 11:28:56

ДИАГНОСТИЧЕСКИЕ И РЕАБИЛИТАЦИОННО-ПРОФИЛАКТИЧЕСКИЕ ТЕХНОЛОГИИ ОБЕСПЕЧЕНИЯ ЗДОРОВЬЯ СТУДЕНТОВВ ОБРАЗОВАТЕЛЬНОЙ СИСТЕМЕ ВУЗА

ДИАГНОСТИЧЕСКИЕ И РЕАБИЛИТАЦИОННО-ПРОФИЛАКТИЧЕСКИЕ ТЕХНОЛОГИИ ОБЕСПЕЧЕНИЯ ЗДОРОВЬЯ СТУДЕНТОВВ ОБРАЗОВАТЕЛЬНОЙ СИСТЕМЕ ВУЗА Проведено поэтапное исследование, которое включало в себя оценку индивидуальных резервов соматического здоровья (СЗ) и оценку функционального состояния вегетативной нервной системы на основе исследования вариабельности ритма сердца (ВРС). Уровень СЗ оценивался в баллах. В результате проведенного нами исследования было выявлено, что риск манифестации хронической сосудистой патологии достаточно высок в группе с низкими энергетическими резервами организма (уровнем здоровья «низким» и «ниже среднего»), а таковых у нас оказалось 54,5 % из всех обследованных студентов БелГУ. Следующим этапом исследования была проверка этой версии. При анализе вариабельности сердечного ритма учитывались: показатель общей мощности спектра нейрогумopaльной регуляции сердечного ритма (TP); показатель, отражающий реактивность парасимпатического отдела вегетативной нервной системы при проведении АОП; визуальная оценка степени кардио-респираторной синхронизации на основании данных спектрального анализа ВРС и пневмограммы. У обследуемых с низким уровнем соматического здоровья признаки вегетативной дисфункции различной степени выраженности наблюдались в 92,5 % случаев. В группе с низким уровнем СЗ реактивность парасимпатического отдела ВНС, отражающая адаптационные резервы организма, оказалась так же низкой. Таким образом, наша версия о взаимосвязи уровня соматического здоровья и частотой встречаемости вегетативной дисфункции полностью подтвердилась. Чем ниже уровень соматического здоровья, тем более вероятна манифестации хронической сосудистой патологии. При высоком уровне здоровья риск возникновения хронической соматической патологии минимален. ...

21 07 2026 22:27:30

СИСТЕМА ПОДГОТОВКИ БОРЦОВ С УЧЁТОМ ИХ КВАЛИФИКАЦИИ И ВОЗРАСТА

СИСТЕМА ПОДГОТОВКИ БОРЦОВ С УЧЁТОМ ИХ КВАЛИФИКАЦИИ И ВОЗРАСТА В статье рассматриваются вопросы разработки единой системы подготовки спортсменов. Обоснованы четыре взаимообусловленных и неразрывно связанных между собой факторов, от которых зависит прогресс высшего спортивного мастерства. Первый фактор системы подготовки предполагает наличие у спортсменов высоких двигательных и психологических качеств в сочетании с хорошим здоровьем. Второй фактор системы подготовки предполагает совершенную методику спортивной тренировки, систему соревнований и восстановления. Третий фактор системы подготовки предполагает наличие хорошо оборудованных на современном уровне мест для тренировочных занятий, соревнований и восстановления (отдыха). Четвёртый фактор системы подготовки предполагает высокий уровень знаний, педагогическое мастерство тренера, и постоянное самоусовершенствование спортсмена. Приведённые факторы определяют основные принципиальные положения системы подготовки спортсмена. Разработаны и разделены по возрастным группам (от 7 до 20 лет и старше) требования предъявляемые к системе подготовки спортсмена и соревнованиям. ...

15 07 2026 6:48:55

КУЛЬТУРОЛОГИЯ: СОЦИОДИНАМИКА КУЛЬТУРЫ

КУЛЬТУРОЛОГИЯ: СОЦИОДИНАМИКА КУЛЬТУРЫ Статья в формате PDF 252 KB...

04 07 2026 2:58:41

ВЕГЕТАТИВНАЯ РЕГУЛЯЦИЯ РИТМА СЕРДЦА У ЗДОРОВЫХ ЛИЦ В ПОКОЕ И ПРИ ФУНКЦИОНАЛЬНЫХ НАГРУЗКАХ

ВЕГЕТАТИВНАЯ РЕГУЛЯЦИЯ РИТМА СЕРДЦА У ЗДОРОВЫХ ЛИЦ В ПОКОЕ И ПРИ ФУНКЦИОНАЛЬНЫХ НАГРУЗКАХ Цели исследования: определить нормальную динамику показателей вариабельности ритма сердца в ответ на физиологическую нагрузку у мужчин и женщин. Дать клинико-физиологическую оценку показателей. Материалы и методы. Нами было обследованы 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 113 KB...

18 06 2026 11:25:15

Еще:
Поддержать себя -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 ::