ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ 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.
Статья в формате PDF
130 KB...
14 06 2026 9:55:32
Статья в формате PDF
110 KB...
13 06 2026 3:13:38
Изучено влияние молекул средней массы, выделенных из обожженной in vitro печени на каталитические и кинетические свойства альдегиддегидрогеназы. Показано, что молекулы средней массы выступают в роли ингибиторов активности исследуемого фермента в эритроцитах и цитозоле печени. Отмечена корреляция уменьшения активности эритроцитарной и цитоплазматической альдегиддегидрогеназы под влиянием молекул средней массы.
...
12 06 2026 19:21:53
Статья в формате PDF
271 KB...
11 06 2026 7:14:15
Статья в формате PDF
130 KB...
10 06 2026 5:11:53
Статья в формате PDF
416 KB...
09 06 2026 13:20:57
Статья в формате PDF
106 KB...
08 06 2026 2:47:20
Статья в формате PDF
123 KB...
07 06 2026 3:19:54
Статья в формате PDF
106 KB...
06 06 2026 20:30:22
Статья в формате PDF
205 KB...
05 06 2026 12:53:44
Статья в формате PDF
289 KB...
04 06 2026 14:30:22
Статья в формате PDF
264 KB...
03 06 2026 11:41:31
Статья в формате PDF
114 KB...
02 06 2026 5:12:39
Статья в формате PDF
264 KB...
01 06 2026 6:18:47
Статья в формате PDF
304 KB...
31 05 2026 21:48:28
Статья в формате PDF
127 KB...
30 05 2026 23:17:17
Приведены аномальные структуры геохимических полей (АСГП) по вторичным ореолам рассеяния месторождений и проявлений эптермального золото-серебряного оруденения. Оруденение в регионах связано с венд-раннекембийскими и среднедевонскими вулканогенными образованиями. Показаны различные наборы аномальных значений химических элементов в зонах ядерного концентрирования, транзита элементов и фронтальных зонах концентрирования. Оценен условный потенциал ионизации в зональных конструкциях АСГП, показывающих кислотно – основной потенциал среды минералообразования. Проведен факторный анализ для всех зон АСГП c показом эллипсоидов изменчивости и факторных нагрузок.
...
29 05 2026 4:18:49
Статья в формате PDF
136 KB...
28 05 2026 5:10:23
Статья в формате PDF
116 KB...
27 05 2026 6:30:30
Статья в формате PDF
784 KB...
26 05 2026 16:48:26
Статья в формате PDF
119 KB...
25 05 2026 17:38:47
Статья в формате PDF 112 KB...
24 05 2026 6:27:18
Статья в формате PDF
121 KB...
23 05 2026 14:47:25
Статья в формате PDF
135 KB...
22 05 2026 15:18:50
Статья в формате PDF
251 KB...
21 05 2026 18:48:26
Статья в формате PDF
106 KB...
20 05 2026 2:23:31
Статья в формате PDF
253 KB...
19 05 2026 19:59:43
Статья в формате PDF
126 KB...
18 05 2026 2:31:24
Статья в формате PDF
112 KB...
17 05 2026 10:18:12
В современных исследованиях в области кардиологии убедительно доказано, что улучшение энергетического метаболизма ишемизированного миокарда открывает перспективы разработки нового подхода к лечению сердечнососудистых заболеваний. В задачи исследования включалось разработать оптимальную модель гипоксии-ишемии-реоксигенации и изучить 10 лекарственных средств в данных условиях. Для оценки степени эффективности фармакологической кардиоцитопротекции в условиях модели гипоксия-ишемияреоксигенация изучались 14 показателей электрокардиографического (ЭКГ) – мониторинга. В качестве наиболее эффективного лекарственного средства при моделирования условий гипоксии-ишемии-реоксигенации обладало кислородтрaнcпортное соединение – эмульсия перфторана. Средней степенью эффективности обладали раствор аденозинтрифосфорной кислоты (АТФ), раствор кокарбоксилазы, раствор магния сульфата, расвор рибоксина, раствор солкосерила, раствор цитохромаС и раствор эссенциале. Низкой степенью эффективности обладали раствор аскорбиновой кислоты и раствор карнитина хлорид.
...
16 05 2026 3:39:49
Статья в формате PDF
131 KB...
15 05 2026 19:35:53
Статья в формате PDF
124 KB...
13 05 2026 0:26:35
Статья в формате PDF
262 KB...
12 05 2026 11:50:48
Статья в формате PDF
198 KB...
11 05 2026 15:12:22
Статья в формате PDF
294 KB...
10 05 2026 2:35:39
Статья в формате PDF
105 KB...
09 05 2026 8:27:37
Статья в формате PDF
116 KB...
08 05 2026 18:34:52
Еще:
Поддержать себя -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 ::