ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ HASKELL > Полезные советы
Тысяча полезных мелочей    

ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ 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 127 KB...

21 03 2023 0:59:19

ЛЕЧЕНИЕ ОЖИРЕНИЯ КАК ОБЪЕКТ ПАТЕНТНОГО ПРАВА

ЛЕЧЕНИЕ ОЖИРЕНИЯ КАК ОБЪЕКТ ПАТЕНТНОГО ПРАВА Статья в формате PDF 129 KB...

20 03 2023 8:43:10

ИММУНОЛОГИЧЕСКИЕ ПОКАЗАТЕЛИ ДЕТЕЙ г. КРАСНОЯРСКА

ИММУНОЛОГИЧЕСКИЕ ПОКАЗАТЕЛИ ДЕТЕЙ г. КРАСНОЯРСКА Статья в формате PDF 109 KB...

16 03 2023 16:57:26

ТРАНСФОРМАЦИЯ МЕРЗЛОТНЫХ КОМПОНЕНТОВ ЭКОСИСТЕМ ПОД ВЛИЯНИЕМ ПРИРОДНО-ТЕХНИЧЕСКИХ СИСТЕМ

ТРАНСФОРМАЦИЯ МЕРЗЛОТНЫХ КОМПОНЕНТОВ ЭКОСИСТЕМ ПОД ВЛИЯНИЕМ ПРИРОДНО-ТЕХНИЧЕСКИХ СИСТЕМ Экспериментальные исследования на участке распространения пород ледового комплекса выявили увеличение глубины сезонного протаивания и повышение температуры грунтов на прилегающей к железной дороге просеке. Установлено поднятие верхней границы многолетнемерзлых пород под высокой насыпью и низкой насыпью с теплоизолирующим материалом, отсыпанных в зимний сезон. Отмечено формирование чаши протаивания при отсыпке нулевой насыпи в теплый период с удалением сезонноталого слоя в её основания. Предложены мероприятия обеспечивающие устойчивость земляного полотна. ...

13 03 2023 10:14:51

ФАКТОРЫ РИСКА РАЗВИТИЯ ИНТЕЛЛЕКТУАЛЬНЫХ СПОСОБНОСТЕЙ ОДАРЁННЫХ ДЕТЕЙ

ФАКТОРЫ РИСКА РАЗВИТИЯ ИНТЕЛЛЕКТУАЛЬНЫХ СПОСОБНОСТЕЙ ОДАРЁННЫХ  ДЕТЕЙ В рамках решения задачи развития интеллектуальных способностей одарённых детей сегодня отчётливо просматриваются факторы риска. Значимыми факторами риска являются неудовлетворение потребностей определённых групп детей в питании, распространение среди подрастающего поколения вредных привычек, стресс, изменяющиеся условия окружающей природной среды. ...

09 03 2023 13:23:45

Термофизические основы радиометрических измерений температуры

Термофизические основы радиометрических измерений температуры Предлагается метод измерения температуры, с целью уменьшения погрешности измерений и увеличения точности бесконтактного измерения. Существенной особенностью предлагаемого метода является возможность использования двухступенчатого подхода с предварительной или дополнительной регистрацией состояния системы и теплового излучения для уточнения измерения температуры. ...

08 03 2023 18:18:44

БИОСФЕРА, БИОРИТМЫ, ЗДОРОВЬЕ

БИОСФЕРА, БИОРИТМЫ, ЗДОРОВЬЕ Статья в формате PDF 112 KB...

04 03 2023 3:42:35

В ПОИСКЕ ПЕДАГОГИЧЕСКОГО ИДЕАЛА

В ПОИСКЕ ПЕДАГОГИЧЕСКОГО ИДЕАЛА Статья в формате PDF 153 KB...

26 02 2023 20:57:58

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

ФРАКТАЛЬНАЯ МОДЕЛЬ ИНФОРМАЦИОННОГО ПРОСТРАНСТВА Статья в формате PDF 108 KB...

22 02 2023 20:25:29

РАЗВИТИЕ СТЕКЛОВИДНОГО ТЕЛА ГЛАЗА ЧЕЛОВЕКА

РАЗВИТИЕ СТЕКЛОВИДНОГО ТЕЛА ГЛАЗА ЧЕЛОВЕКА Статья в формате PDF 194 KB...

10 02 2023 1:27:13

Викулина Мария Анатольевна

Викулина Мария Анатольевна Статья в формате PDF 381 KB...

08 02 2023 1:29:33

ПЕТРОВ ЮРИЙ ДМИТРИЕВИЧ

ПЕТРОВ ЮРИЙ ДМИТРИЕВИЧ Статья в формате PDF 93 KB...

06 02 2023 11:46:58

ТЕОРИЯ СТРУКТУРНЫХ ФАЗОВЫХ ПЕРЕХОДОВ LiCO2

ТЕОРИЯ СТРУКТУРНЫХ ФАЗОВЫХ ПЕРЕХОДОВ LiCO2 Статья в формате PDF 97 KB...

02 02 2023 3:26:44

ЛАНДШАФТ И ЭКОЛОГИЯ ГОРОДА КРАСНОДАРА

ЛАНДШАФТ И ЭКОЛОГИЯ ГОРОДА КРАСНОДАРА Статья в формате PDF 91 KB...

01 02 2023 22:58:30

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

МИКРОЭКОЛОГИЯ ЧЕЛОВЕКА (ЧАСТЬ I)

С экологических позиций излагается представление о человеке как метасистеме, состоящей из макроскопического (тело) и микроскопического (микробиота) компонентов. Последний определяется как биоценоз микроорганизмов — бактерий, простейших, микроскопических грибов и вирусов, встречающийся у здоровых людей. Приводятся некоторые количественные хаpaктеристики микробиоты человека: общее число микроорганизмов, суммарная биомасса, процентное содержание облигатной, факультативной и транзиторной составляющих, время, за которое происходит смена генерации микроорганизмов. Рассматриваются главные системоообразующие факторы, обеспечивающие целостность микробиоты: структурный, метаболический, генетический и информационный. Анализируются взаимоотношения микробиоты и макроорганизма в нормальных физиологических условиях и при патологии. Обсуждаются механизмы развития дисбиозов и патогенетически обоснованные подходы к их коррекции.

ЭХОГРАФИЧЕСКИЕ МАРКЕРЫ ВНУТРИУТРОБНОЙ ИНФЕКЦИИ

Одной из важнейших проблем современной перинатологии является прогрессирующий рост инфекционной патологии у плода и новорожденного. Целью данной работы являлась комплексная ультразвуковая оценка фето-плацентарной системы у беременных с высоким инфекционным индексом для прогнозирования степени тяжести внутриутробного инфицирования у новорожденного. Обследовано 123 беременных в сроке гестации 30-36 недель. В зависимости от тяжести состояния все новорожденные ретроспективно были разделены на 4 группы. В контрольную (1 группа) вошли новорожденные от матерей с неосложненной беременностью, состояние ребенка при рождении удовлетворительное. В основную (1 – 4 группы) вошли новорожденные от матерей с высоким инфекционным индексом, с локальными или генерализованными проявлениями внутриутробной инфекции. В результате проведенного исследования выявлены эхографические маркеры амнионита, плацентита и собственно инфекционного поражения плода, которое наиболее значимо для прогнозирования рождения ребенка с ВУИ. Патологические показатели биофизической активности, допплерометрия отражают системные нарушения в состоянии плода, его дисстресс. Таким образом, чем больше эхографических маркеров внутриутробного инфицирования встречается у плода, тем более вероятно рождение ребенка с признаками ВУИ.

АНАТОМИЯ УРЕТРОВЕЗИКАЛЬНОГО СЕГМЕНТА И ПРЕДСТАТЕЛЬНОЙ ЖЕЛЕЗЫ У МУЖЧИН, ОТНОСЯЩИХСЯ К РАЗЛИЧНЫМ РАСАМ

Проведено исследование 63 препаратов уретровезикального сегмента и предстательной железы мужчин первого зрелого периода, относящихся к различным расам: европеоидам и монголоидам. Результаты: 1. межмочеточниковая складка Мерсье, расстояние от внутреннего отверстия уретры до устья мочеточника, площадь треугольника Льето достоверно больше у монголоидов при отсутствии достоверной разницы показателей «уретрального» угла треугольника Льето. 2. уретровезикальный угол, длина супрамонтанной части простатического отдела уретры и длина всего простатического отдела уретры у монголоидов достоверно больше. 3. семенной бугорок у представителей монголоидной расы в 85,7% представлял собой утолщение центральной складки простатического отдела уретры, наличие простатической маточки не зарегистрировано ни в одном случае. Семенной бугорок представителей европеоидной расы был более выражен и представлял собой анатомическое образование бόльшими размерами, простатическая маточка зарегистрирована в 60% случаев. 4. общий объем простаты у европеоидов и монголоидов не отличался, однако, центральная ее доля у монголоидов достоверно больше, а переходная достоверно меньше.

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

Представлен научный обзор литературных данных о репаративной регенерации соединительной ткани и возможного регуляторного влияния на этот процесс с помощью облучения рефлексогенных кожных зон электромагнитным излучением крайне высокочастотного и терагерцового диапазонов. Акцентируется внимание на значении нейровегетативного компонента в ходе адаптационных реакций соединительной ткани к повреждению с помощью современных стресс-лимитирующих реабилитационных технологий. Анализируются современные гипотезы предполагаемого механизма действия корригирующих методик на основе электромагнитных стимулов крайне высокочастотного и терагерцового диапазонов на процессы межклеточных нейроиммунноэндокринных взаимодействий. Обосновывается необходимость дальнейших экспериментальных исследований на клеточном уровне in vitro для подбора оптимальных параметров воздействия с целью регуляции пролиферативной и функциональной клеточной активности и разработки новых приборов с шумовым диапазоном излучения.

Анализ АТФ-зависимых и кальциевых механизмов в реализации нейротропного действия аспирина и его производных

Статья посвящена исследованию механизмов нейротропного действия аспирина, ацетилсалицилатов кобальта и цинка. Показано, что наличие аденозинтрифосфата во внеклеточном прострaнcтве существенно модифицирует нейротропные эффекты салицилатов. Сочетанное приложение аденозинтрифосфата с аспирином устраняет угнетение импульсной активности нейронов, вызванное индивидуальным раствором этого препарата, а совместная экспозиция аденозинтрифосфата с ацетилсалицилатами кобальта и цинка, наоборот, усиливает их активирующие эффекты. При блокировании CdCl2 и BaCl2 поступления Са2 + в нейроплазму из внеклеточной среды и внутриклеточных депо выявлено, что кальциевые механизмы не участвуют в нейротропных эффектах исследуемых салицилатов.