ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ 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.
На основании анализа прострaнcтвенного размещения редких и уникальных для Кемеровской области растительных сообществ рассматривается возможность оптимизации пpaктического сохранения регионального биоразнообразия. В качестве возможного механизма охраны предлагается вариант локального изменения размеров водоохранных зон путем делегирования органам местного самоуправления права принятия оперативных решений при определении их границ.
...
06 07 2022 23:51:55
Статья в формате PDF
132 KB...
05 07 2022 13:23:23
04 07 2022 0:54:34
Статья в формате PDF
321 KB...
02 07 2022 18:23:29
Статья в формате PDF
104 KB...
01 07 2022 17:47:54
Статья в формате PDF
121 KB...
30 06 2022 17:36:54
Статья в формате PDF 92 KB...
28 06 2022 23:14:23
Статья в формате PDF
277 KB...
27 06 2022 4:39:55
Статья в формате PDF
202 KB...
26 06 2022 3:42:46
Статья в формате PDF
112 KB...
25 06 2022 10:18:36
24 06 2022 11:57:49
Статья в формате PDF
113 KB...
23 06 2022 23:59:48
Статья в формате PDF
118 KB...
22 06 2022 20:10:12
Статья в формате PDF
137 KB...
21 06 2022 10:26:55
В эксперименте на пoлoвoзрелых крысах Wistar исследованы особенности регенерации суставного хряща коленного сустава после имплантации в зону повреждения гранулированного минерального компонента костного матрикса (МККМ), полученного по оригинальной технологии. Установлено, что МККМ имеет упорядоченную высокопористую структуру, близкую к естественной архитектонике костного матрикса и химический состав, соответствующий минеральному составу кости. МККМ обладает выраженными хондро- и остеиндуктивными свойствами, обеспечивает пролонгированную активизацию репаративного процесса, ускоренное органотипическое ремоделирование и восстановление поврежденного суставного хряща.
...
20 06 2022 22:14:40
Статья в формате PDF
111 KB...
18 06 2022 23:58:54
Статья в формате PDF
121 KB...
17 06 2022 12:17:23
Статья в формате PDF
376 KB...
16 06 2022 21:16:43
Статья в формате PDF
110 KB...
15 06 2022 4:16:34
Статья в формате PDF
119 KB...
14 06 2022 12:36:23
Статья в формате PDF
250 KB...
13 06 2022 21:19:16
Статья в формате PDF
105 KB...
12 06 2022 0:30:44
Статья в формате PDF
292 KB...
11 06 2022 2:47:30
Статья в формате PDF
116 KB...
10 06 2022 23:32:45
Статья в формате PDF
174 KB...
09 06 2022 20:56:17
Статья в формате PDF
395 KB...
08 06 2022 15:41:41
Статья в формате PDF
113 KB...
07 06 2022 6:26:32
Статья в формате PDF
138 KB...
06 06 2022 5:15:28
Статья в формате PDF
125 KB...
04 06 2022 16:12:26
Статья в формате PDF
257 KB...
03 06 2022 14:44:44
Статья в формате PDF
104 KB...
01 06 2022 23:59:46
31 05 2022 20:37:25
Статья в формате PDF
102 KB...
30 05 2022 23:16:51
Статья в формате PDF
120 KB...
29 05 2022 19:52:56
Статья в формате PDF
131 KB...
28 05 2022 14:11:52
Статья в формате PDF
146 KB...
27 05 2022 23:17:42
Статья в формате PDF
100 KB...
26 05 2022 4:47:27
Статья в формате PDF
140 KB...
25 05 2022 23:42:15
Статья в формате PDF
113 KB...
24 05 2022 13:10:52
Статья в формате PDF
317 KB...
21 05 2022 14:12:21
Статья в формате PDF
107 KB...
20 05 2022 5:56:24
Статья в формате PDF
116 KB...
19 05 2022 2:36:26
Еще:
Поддержать себя -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 ::