ЭКСПЕРИМЕНТАЛЬНЫЕ ОБУЧАЮЩИЕ СИСТЕМЫ ДЛЯ АНАЛИТИЧЕСКОГО ДИФФЕРЕНЦИРОВАНИЯ И ИНТЕГРИРОВАНИЯ НА ЯЗЫКЕ 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
131 KB...
02 07 2026 19:57:43
Статья в формате PDF
150 KB...
01 07 2026 19:46:38
Статья в формате PDF
156 KB...
30 06 2026 11:30:42
Статья в формате PDF
144 KB...
29 06 2026 2:56:22
28 06 2026 9:17:52
Статья в формате PDF
104 KB...
25 06 2026 9:15:14
Целью исследования является оценка возможности ранней дифференциальной диагностики доброкачественных и злокачественных опухолей опopно-двигательной системы с помощью инфpaкрасной спектроскопии плазмы крови. При этом бралась венозная кровь из локтевой вены у контрольной группы пациентов с заранее установленным диагнозом существующими методами, после чего выделялась плазма. Исследуемая плазма крови помещалась в жидкостную кювету. Спустя 1,5-2 часа исследуемая кювета помещалась в ИК–Фурье- спектрометр. Снимался спектр пропускания плазма крови. Вычислялся коэффициент пропускания по данным снятых спектров. Затем рассчитывались коэффициенты объемного поглощения. В процессе экспериментов нами был вычислен статистически значимый уровень β = 700 см–1, ниже которого находились значения, соответствующие доброкачественным опухолям, выше- злокачественным опухолям.
...
24 06 2026 10:41:59
Статья в формате PDF
172 KB...
23 06 2026 13:34:21
Статья в формате PDF
132 KB...
22 06 2026 16:30:54
Статья в формате PDF
207 KB...
21 06 2026 6:40:39
Статья в формате PDF
111 KB...
20 06 2026 7:42:40
Статья в формате PDF
127 KB...
19 06 2026 10:39:45
Статья в формате PDF
275 KB...
18 06 2026 0:43:14
Исследовано влияние постоянного магнитного поля на морфо-функциональное состояние костной ткани крыс в условиях повышенной резорбции. Показано, что воздействие на животных постоянным магнитным полем 9 мТл предотвращает деградацию коллагена и потерю костной массы у крыс, подвергавшихся действию высокой температуры, и не влияет на состояние костной ткани интактных животных.
...
17 06 2026 3:17:50
Статья в формате PDF
270 KB...
16 06 2026 4:40:41
14 06 2026 22:16:54
Статья в формате PDF
305 KB...
13 06 2026 7:19:13
12 06 2026 1:38:33
Статья в формате PDF
494 KB...
11 06 2026 15:54:27
Статья в формате PDF
110 KB...
10 06 2026 20:42:38
Статья в формате PDF
221 KB...
09 06 2026 20:34:34
Статья в формате PDF
256 KB...
08 06 2026 21:55:11
Статья в формате PDF
311 KB...
07 06 2026 9:54:12
Данная статья является отчетом о научной деятельности, которая была проведена в рамках диссертационного исследования вопросов российского антимонопольного законодательства. В исследовании затронут ряд хаpaктерных правовых проблем, таких как: различные процедуры антимонопольного контроля в России, причины и условия антимонопольного регулирования экономической концентрации и т.д. В ходе исследования и работы по этой теме были изучены научные статьи и публикации других авторов. Полная библиография приведена в конце статьи, некоторые прямые ссылки можно найти в тексте.
...
06 06 2026 12:52:54
Статья в формате PDF
110 KB...
05 06 2026 19:45:34
Статья в формате PDF
112 KB...
04 06 2026 3:37:27
Статья в формате PDF
196 KB...
02 06 2026 10:13:48
Проведена инвентаризация лихенофлоры Республики Татарстан (РТ). Показана роль особо охраняемых природных территорий в сохранении флористического разнообразия. Дан спектр семейств редких видов во флоре обследованной территории и анализ состава географических элементов. Рассмотрено распределение редких видов по основным типам местообитаний. Даются некоторые сведения о редких и исчезающих лишайниках для включения в Красную книгу РТ.
...
01 06 2026 23:36:27
Статья в формате PDF
353 KB...
31 05 2026 21:58:32
Статья в формате PDF
255 KB...
30 05 2026 7:58:45
Статья в формате PDF
113 KB...
29 05 2026 18:51:26
Статья в формате PDF
286 KB...
28 05 2026 18:31:14
Статья в формате PDF
134 KB...
25 05 2026 14:44:52
Статья в формате PDF
110 KB...
24 05 2026 6:53: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 ::