ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ 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
396 KB...
12 04 2026 15:27:27
Статья в формате PDF
124 KB...
11 04 2026 13:22:33
Статья в формате PDF
129 KB...
09 04 2026 8:22:47
Статья в формате PDF
111 KB...
08 04 2026 6:56:38
Статья в формате PDF
259 KB...
07 04 2026 3:46:18
Статья в формате PDF
112 KB...
05 04 2026 18:19:44
Статья в формате PDF
131 KB...
04 04 2026 11:36:57
В миниобзоре приведены современные тренды изучения роли окислительного стресса в патогенезе хронической обструктивной болезни легких (ХОБЛ). Показано, что развитие окислительного стресса происходит синхронно с дисбалансом в системе протеазы/антипротеазы и взаимосвязано с нарушением обмена железа. Приведены данные, демонстрирующие нарушение регуляции антиоксидантной защиты при ХОБЛ. Показана взаимосвязь между развитием окислительного стресса и воспалением. Обсуждается гипотеза о взаимосвязи окислительного стресса, хронического воспаления и старения в механизме патогенеза ХОБЛ.
...
03 04 2026 8:29:32
Статья в формате PDF
112 KB...
02 04 2026 20:27:31
Статья в формате PDF
253 KB...
01 04 2026 13:41:50
Статья в формате PDF 112 KB...
31 03 2026 6:14:14
Статья в формате PDF
123 KB...
29 03 2026 6:59:32
Статья в формате PDF
148 KB...
28 03 2026 16:48:52
Статья в формате PDF
249 KB...
27 03 2026 21:20:38
Известные способы предполагают проведение испытаний травяно-кустарничкового покрова на содержание химических элементов на пробных площадках. Недостатком является раздельная обработка результатов испытаний, что лишает возможности совместного изучения травы и древесных растений. В статье показаны возможности повышения точности изучения комплекса «трава + древесное растение», а также сопоставимости содержания химических элементов по высоте растений.
...
26 03 2026 23:54:34
Статья в формате PDF
142 KB...
25 03 2026 4:18:44
Статья в формате PDF
308 KB...
24 03 2026 22:53:49
Статья в формате PDF
288 KB...
23 03 2026 20:54:56
Статья в формате PDF
121 KB...
22 03 2026 11:25:28
Статья в формате PDF
111 KB...
21 03 2026 22:48:32
Статья в формате PDF
132 KB...
20 03 2026 13:48:28
Статья в формате PDF
138 KB...
19 03 2026 8:46:53
С экологических позиций излагается представление о человеке как метасистеме, состоящей из макроскопического (тело) и микроскопического (микробиота) компонентов. Последний определяется как биоценоз микроорганизмов — бактерий, простейших, микроскопических грибов и вирусов, встречающийся у здоровых людей. Приводятся некоторые количественные хаpaктеристики микробиоты человека: общее число микроорганизмов, суммарная биомасса, процентное содержание облигатной, факультативной и транзиторной составляющих, время, за которое происходит смена генерации микроорганизмов. Рассматриваются главные системоообразующие факторы, обеспечивающие целостность микробиоты: структурный, метаболический, генетический и информационный. Анализируются взаимоотношения микробиоты и макроорганизма в нормальных физиологических условиях и при патологии. Обсуждаются механизмы развития дисбиозов и патогенетически обоснованные подходы к их коррекции.
...
18 03 2026 2:49:19
Статья в формате PDF
153 KB...
17 03 2026 14:17:24
Статья в формате PDF
103 KB...
15 03 2026 10:12:38
Статья в формате PDF
121 KB...
14 03 2026 16:34:29
Статья в формате PDF
112 KB...
13 03 2026 22:13:58
Статья в формате PDF
149 KB...
10 03 2026 6:41:52
Статья в формате PDF
307 KB...
09 03 2026 6:33:17
Статья в формате PDF
291 KB...
07 03 2026 14:27:29
Статья в формате PDF
181 KB...
06 03 2026 19:43:21
Статья в формате PDF
118 KB...
04 03 2026 12:21:23
Еще:
Поддержать себя -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 ::