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



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

РАЗМЕРНЫЕ ЭФФЕКТЫ И ПОВЕРХНОСТНОЕ НАТЯЖЕНИЕ ЧИСТЫХ МЕТАЛЛОВ В работе для 55 элементов периодической системы рассчитаны поверхностное натяжение, критический радиус и постоянная Толмена. Для металлов с низкой температурой плавления величина поверхностного натяжения составляет доли Дж/м2, а для тугоплавких – единицы Дж/м2. Критический радиус d хаpaктеризует внутренние размерные эффекты и не превышает 10 нм для исследованных металлов. ...

20 07 2024 18:13:44

ПЕТРОЛОГИЯ ПОРОДНЫХ ТИПОВ И ГЕНЕЗИС БОРОВЛЯНСКОГО КОМПЛЕКСА ГОРНОГО АЛТАЯ

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

16 07 2024 10:23:41

«ЦВЕТНЫЕ» СИМПТОМЫ В ПРАКТИЧЕСКОЙ МЕДИЦИНЕ

«ЦВЕТНЫЕ» СИМПТОМЫ В ПРАКТИЧЕСКОЙ МЕДИЦИНЕ Статья в формате PDF 173 KB...

07 07 2024 18:51:12

УЧАСТИЕ В МЕЖДУНАРОДНОЙ ТОРГОВЛЕ КАК СПОСОБ РЕАЛИЗАЦИИ ВНУТРЕННЕГО ИНТЕРЕСА СТРАНЫ

УЧАСТИЕ В МЕЖДУНАРОДНОЙ ТОРГОВЛЕ КАК СПОСОБ РЕАЛИЗАЦИИ ВНУТРЕННЕГО ИНТЕРЕСА СТРАНЫ Наиболее универсальное объяснение причин внешней торговли дано Э. Хекшером и Б. Олином: страна предлагает на международные рынки те блага, создание которых требует относительно изобильного для данной страны фактора производства. Развивая их идею, можно предположить, что это только начальный этап – этап формирования за счет экспортных доходов запасов фактора «капитал», стратегического в условиях НТП. В настоящее время участие в международной торговле уже используется отдельными странами как наиболее эффективный способ реализации собственных долгосрочных интересов. Мы остановились на примере Китая. ...

06 07 2024 10:13:53

НИТЕВИДНЫЕ КРИСТАЛЛЫ

НИТЕВИДНЫЕ КРИСТАЛЛЫ Статья в формате PDF 157 KB...

04 07 2024 7:36:49

Поливариантная модель первичной сукцессии растительности на экотопически гетерогенной территории (на примере карьеров лесотундры)

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

03 07 2024 20:57:45

ПЕРЕОЦЕНКА ОСНОВНЫХ СРЕДСТВ В СВЕТЕ МСФО

ПЕРЕОЦЕНКА ОСНОВНЫХ СРЕДСТВ В СВЕТЕ МСФО Статья в формате PDF 104 KB...

21 06 2024 21:43:21

ГУРИНА ОЛЬГА ЮРЬЕВНА

ГУРИНА ОЛЬГА ЮРЬЕВНА Статья в формате PDF 134 KB...

20 06 2024 23:31:40

ТУЧНЫЕ КЛЕТКИ ЭНДОМЕТРИЯ МАТКИ КРЫС В СИСТЕМЕ ЕЕ БИОАМИНОВОГО ОБМЕНА

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

17 06 2024 9:20:20

ФАКТОР НЕКРОЗА ОПУХОЛЕЙ И ГИБЕЛЬ КЛЕТОК ПЕЧЕНИ

ФАКТОР НЕКРОЗА ОПУХОЛЕЙ И ГИБЕЛЬ КЛЕТОК ПЕЧЕНИ Статья в формате PDF 97 KB...

12 06 2024 20:46:16

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