BitTorrent Трекер RusTrek.ru http://5.45.70.241/ |
|
[Barbar] Практикум по функциональному программированию + дополнительные материалы [2011, RUS ] функциональное логическое программирование метавычисления рефал суперкомпиляция XML 1С http://5.45.70.241/viewtopic.php?f=513&t=37205 |
Страница 1 из 1 |
Автор: | Релизер [ 2012-04-22 17:02 ] |
Заголовок сообщения: | [Barbar] Практикум по функциональному программированию + дополнительные материалы [2011, RUS ] функциональное логическое программирование метавычисления рефал суперкомпиляция XML 1С |
ПРАКТИКУМ ПО ФУНКЦИОНАЛЬНОМУ ПРОГРАММИРОВАНИЮ [size=16](для детей старшего школьного возраста )[/size] #777 ВСЕМ ПОДДЕРЖИВАЮЩИМ РАЗДАЧУ - ВЫРАЖАЮ ИСКРЕННЮЮ ПРИЗНАТЕЛЬНОСТЬ! Год выпуска: 2011 Производитель: Barbar Science-Art Factory Сайт производителя:http://barbar.at.ua Автор: Barbar Продолжительность: 31 час ...пока Тип раздаваемого материала: Мультимедийный диск Язык: Русский Описание: Курс "Практикум по функциональному программированию" посвящен функциональному языку программирования Рефал и технологиям, возникшим на его базе , а также алгоритмическому формализму, лежащему в основе Рефала. Затрагиваются темы философии и теории эволюции применительно к порождению и преобразованию программ. Этот курс состоит из уроков в виде презентаций и видео-лекций, присутствуют дополнительные учебные материалы. Курс Сергея Абрамова "Метавычисления и их применение" включен в качестве дополнения в виду своей высокой ценности , т.к. на сегодняшний день является наиболее полным изложением основ метавычислений на русском языке. Курс С. Абрамова включен в качестве базовой вспомогательной информации - для дальнейшего рассмотрения разобранных тем применительно к Рефалу. Материалы С.Абрамова распространяются с согласия С.Абрамова. О курсе - 9 минут Мотивация - 2 часа Как использовать материал - 2 минуты Конструктивное направление - 18 минут Нормальный алгорифм - 4 часа Структура языка Рекурсия Рефал-машина Функции Рефал-условия Ответы к упражнениям Рефал, суперкомпиляция, XML - 4 часа Конструктивное мировоззрение Конструктивный анализ Алгебраическое приложение Рефала Вероятностные методы Финансовая математика Рефал и 1С Что такое 1С Пособие разработчика Профессиональное программирование Консолидация и ИАД Обмен данными Финансовые вычисления Суперкомпилятор HOSC Суперкомпилятор SCP4 Данный курс на сегодняшний день является наиболее полным изложением основ метавычислений на русском языке. Содержание курса: 1.Понятие "метавычисления". Валентин Федорович Турчин. Московская Рефал-группа 2.Актуальность теории В.Ф. Турчина. Проекции Футамуры. Первая реализация - DIKU, Дания 3.Семантика языка TSG 4.Интерпретатор языка TSG 5.Подстановка. Рестрикция 6.Неравенства. Рестрикции с-переменных 7.Свойство подстановок. Структурная индукция. Отождествление с-выражений 8.Отождествление с-выражений. Решение приведенных уравнений. Верификация. Теоремы о частичной коррекции и о терминируемости 9.Разбор типичных ошибок на рубежном контроле. Представляемое множество. Классы и L-классы. Конфигурации 10.Конфигурации. Сужения 11.Подклассы. Надклассы. Разбиения 12.Дерево процессов 13.Синтаксис построения дерева процессов. Алгоритм ptr (функция ccond) 14.Перфектное дерево. Алгоритм xptr. Инверсное вычисление программ. Универсальный решающий алгоритм (УРА) 15.Приведение программ к табличной форме. Алгоритм ura и ura' 16.Инверсное программирование 17.Окрестностный анализ. Основные понятия. Окрестностный анализатор. Вспомогательная функция алгоритма nan 18.Операции над классами и окрестностями. Декомпозиция окрестности Алгоритм декомпозиции окрестности 19.Окрестностное тестирование программ. Основные понятия тестирования. Структурные критерии выбора тестов. Свойства критериев выбора тестов 20.Шаг окрестностного тестирования. Окрестностный критерий выбора тестов. Свойства окрестностного тестирования 21.Традиционные проблемы тестирования. Продолжение тестирования после исправления ошибки. Синтаксис конструкций и интерпретатор языка JobSL. Окрестноcтное тестирование сorr 22.Суперкомпилятор. Зацикливание программы. Алгоритм Wh ("свисток") 23.Суперкомпилятор. Перестройка снизу и сверху. Wh-алгоритм обнаружения возможного зацикливания. Теорема Крускаля (DIKU, Дания). Функция Wh-упрощающее сравнение двух с-выражений. Функция the Same Term. Gener. - алгоритм построения тесной общей надконфигураци 24.Суперкомпиляция 25.Суперкомпиляция 26.Суперкомпиляция как метод специализации программ. Алгоритм КМР. Синтаксис графа конфигураций 27.Суперкомпиляция. Проекция Футамуры-Турчина. SD-нотация. Компиляция конечных автоматов 28.Нестандартные семантики. Специализация программ. Генератор генераторов нестандартных интерпретаторов Эконометрика и Рефал Рефал-6 Система Рефал-JAVA Отображение данных Модули Интерактивный режим Отладка Взаимодействие Рефал-JAVA Рефал-PHP Интерфейс с PHP как расширение Рефал Рефал-PHP - встроенный скриптовый язык Работа с системой Рефал-PHP Библиотеки функций Рефал-PHP Демонстрационные примеры Программирование на REFAL + Синтаксис и семантика REFAL + Библиотека функций Принципы реализации REFAL + REFAL + на платформе JAVA Файлы примеров: найдутся Формат видео: AVI и EXE Видео: DivX 5, 8 бит , 5:4, 880*660, 25,000 кадр/сек, 626 Кбит/сек Аудио: MP3, 24,0 КГц, 48,0 Кбит/сек, 2 канала 1. Заходим в папку FPP; 2. Видим файл FPP.exe; 3. Запускаем файл (клик-клик) FPP.exe; 4. Пользуясь встроенной навигацией, находим и смотрим презентации и т.п. Доп. информация: Т.к. не нашел в сети мультимедийной учебной информации по Рефалу и по суперкомпиляции на Рефале - то приходится закрывать этот пробел собственными силами ВАЖНОЕ ПРО 1С - ЧИТАЙТЕ ПОД СПОЙЛЕРОМ НИЖЕ Ценное для сегодняшнего дня в Рефале то, что на нем системы искусственного интеллекта создавать быстро и эффективно можно, по своим возможностям Рефал не уступает CLiPS`у ( не путать с CLisp`ом) "И что это значит ?" - спросит наивный читатель А то!.., что адаптивные экономические экспертные системы на машинном обучении - это формат сегодняшнего дня для современных экономических ИС... И существует класс задач финансовой аналитики, которые штатными средствами 1С решаются крайне неэффективно. В результате чего образовался сегмент специализированных продуктов для финансового анализа типа: - http://www.basegroup.ru/deductor/components/studio/ - http://www.expert-systems.com/financial/ae/ - http://www.lanit.ru/products/index.wbp?sol-id=776b3...385-c5ed02732c01 - http://www.inec.ru/it/automated-analysis/inec-afsp/ и еще много других . Существование обширного рынка отечественных продуктов финансовой- и бизнес-аналитики, перекрывающих возможности 1С, является практическим подтверждением существенных недостатков 1С-платформы в части бизнес-логики, касающейся анализа данных. Конкуренты используют эти значительные пробелы в коммерческих целях. Это факт. И это деньги! Это касается больших возможностей в части таких задач, как: - полная переоценка баланса и задание корректирующих коэффициентов в отдельности по каждой из его статей; - использование необходимо широкого перечня регламентированных методик анализа, рекомендованных государственными органами и авторитетными негосударственными финансовыми институтами; - проведение анализа бухгалтерской отчетности других государств и наличию сценариев обработки данных бухгалтерской отчетности Белоруси, Казахстана, Литвы, Молдавии, Узбекистана, Украины и т.д.; - сравнение значений финансовых показателей с нормативами; - прогнозирование значений показателей финансового состояния на несколько периодов вперед; - многомерный анализ, нейронные сети, деревья решений, самоорганизующиеся карты Кохонена, спектральный анализ и т.п.; - использование в анализе самообучающихся методов и машинного обучения, построение адаптивных аналитических систем, способных реагировать на изменение ситуации; - комбинирование механизмов обработки, таких как нейронные сети, деревья решений, самоорганизующиеся карты, ассоциативные правила, линейная регрессия, очистка данных (редактирование аномалий, заполнение пропусков, спектральный анализ), трансформация данных (преобразование дат, скользящее окно, дискретизация), логистическая регрессия, кластеризация при помощи алгоритмов k-means и g-means и множество других; - создание аналитических моделей на основании жестких правил и экспертных оценок. Расчет выходных значений по готовым формулам. Для того, чтобы 1С не скрещивать со сторонними проприетарными продуктами, конкурирующими с 1С, - достаточно не уходить в дебри и применить связку 1С + Рефал для задач финансового анализа. При этом вопросы сопровождения "экзотического" функционального Рефал-кода не возникают, т.к. программы, созданные изначально на Рефале, могут храниться в коде на таких распространеных продакш-языках как С ++, Джава или путем XML -сериализации быть преобразованы в объекты 1С. Главные требования, предъявляемые к любой компьютерной системе, сводятся к двум пунктам: высокая производительность и надежность при оптимальном использовании средств. Поэтому системным интеграторам, создающим решения по комплексной автоматизации предприятий, имеет смысл ориентироваться не на дополнительные к 1С сторонние ИС, а на "подключение" к 1С дополнительного языка ,как средства расширения функциональности - это гораздо эффективнее, чем альтернативное подключение сторонней информационной системы , т.к. сторонняя система также не имеет полноценного языка программирования и не может эффективно расширяться. В итоге произойдет нагромождение ИС, что не рационально и не решит исходную проблему полностью. Для вхождения в сегмент полноценной финансовой аналитики , такой с первого взгляда "неестественный" концептуально, но оправданный маркетингово и технически, подход (1С + внешний язык), имеет свои плюсы ( повышение надежности ИС и экономической безопасности предприятия, повышение доступности инновационных технологий ) и минусы ( большая продолжительность инновационного периода , повышение начальных трудозатрат на системную интеграцию ) , но с точки зрения проектирования информационных систем он является более эффективным. Пока встроенный язык 1С - не является полноценным языком программирования, как к примеру является объектно-ориентированный X++ в Dynamics AX http://www.microsoft.com/rus/dynamics/ax/overview.mspx . Пробелы оставляемые предметно-ориентированным встроенным языком 1С для ряда математико-ориентированных и системных задач не закрываются другими средствами 1С, и пока это так - дополнительный внешний инструментарий для 1С-проектов будет востребован и будет рассматриваться и применяться. Кроме того 1С продуцирует и аккумулирует массу бизнес-информации, применение к которой , на уровне кластеров, технологий текстмайнинга и датамайнинга в своих подзадачах ,в части логики обработки данных, может успешно использовать ресурс Рефала. Также экспертные экономические системы на Рефале могут в виде надстройки к 1С очень органично сосуществовать с 1С через XML, и здесь вклад суперкомпиляция может быть существенным, а также - использование XML-ориентированных баз данных и XML-ориентированных логических баз данных. При этом следует понимать, что 1С пока не является полноценной универсальной информационной системой автоматизации предприятия, какой является та же самая Dynamics AX, и поэтому 1С обычно используется на предприятии в комплексе с другими системами. Это относится к применению 1С на средних и крупных предприятиях. Объединение всех описанных выше механизмов анализа данных в рамках единой Информационной Системы на базе 1С и Рефал-модулей - обеспечивает принципиально новое качество – уменьшается время и стоимость получения законченных решений, упрощается либо исключается интеграция с другими приложениями, увеличивается производительность и функциональность. Все это сочетается с гибкостью и прозрачностью использования. Наличие большого потенциала Рефала позволяет, начав с небольших подзадач, постепенно наращивать возможности такой ИС, двигаясь к созданию высокопрофессиональной системы автоматизации учета и поддержки принятия решений на уровне предприятия. А использование самообучающихся методов настройки , основанных на искусственном интеллекте ,где у Рефала приоритет, позволяет снизить требование к подготовке персонала, делая современные технологии доступными широкому кругу пользователей Вообще, изучение Рефала , не рассматривает своей основной целью работу с 1С. Владея Рефалом, я могу: 1) создать модуль под .Net для любого проекта под .Net , в.тч. и для задач параллельного программирования, и для задач искусственного интеллекта ; 2) быстро создать сложную обработку под 1С или ИАД 1С , которая будет гораздо легче, чем прикручивать олап с анализес сервайсом. Если это существенно для техподдержки - преобразовать этот модуль в Джава или С++ . А с помощью XML-сериализации вообще преобразовывать объекты созданные на Рефале в объекты на 1С, что особенно удобно для быстрого регулирования бизнес-логики платформы в части финансового анализа ; 3) если олап есть и меня интересует текстмайниг и датамайниг - внести любые коррективы в эти механизмам через модуль к СУБД ; 4) генерировать код на Т++ ; 5) эффективно обрабатывать код любых языков разметки; 6) создать модуль на Джава для любого проекта на Джава, при этом трудоемкость для задач обработки данных с применением Рефала будет значительно ниже; 7) высокоэффективно писать компиляторы , парсеры и анализаторы кода; 8) писать суперкомпиляторы; 9) использовать окрестностное тестирование в промышленных проектах; 10) применять инверсное программирование; 11) легко создавать сложные DSL; 12) с помощью Refal-PHP решать широкий круг задач, связанных с компьютерной алгеброй, искусственным интеллектом, анализом и переработкой текстов и документов сложной структуры, в контексте Интернет-технологий; 13) создавать и надстраивать XML-ориентированные СУБД; 14) виртуозно использовать в проектировании PNML и создавать собственные диалекты; 15) высокоэффективно делать все что угодно с XML, тоже самое справедливо и в отношении Protocol Buffers, т.к. Рефал в качестве базовой структуры данных имеет R-выражение; 16) в проектах на Рефале свободно использовать библиотеки Джава и С++; И это всё касается продакшн-проектов. Для дополнительного, так сказать "второго" языка - мало что-ли ? Особенную важность представляет та культура программирования, которую передает Рефал. Ведь это интеллектуальный актив, и очень важный интеллектуальный актив. Что бы стимулировать творчество , необходимо обладать избыточными знаниями. (Есть такая наука "Синергетика" ) Ваши результаты в жизни очень зависят от вашего интеллектуального потенциала. И запомните - главная ценность Рефала в том, что на нем легко думать. Вы вряд ли ощутите важность этой возможности, если мало программируете и вообще не связаны с проектированием. Но возможность легко представлять программные конструкции - это важный фактор и важность его подтверждается популярностью графических систем программирования. А в Рефале это свойство обеспечивается семантикой Нормального Алгорифма Маркова, которая когнитологически является самой эффективной формой обработки данных на сегодняшний день. А вообще , Рефал (Рекурсивных Функций Алгоритмический Язык ) - уникальный язык, т.к. он единственный в мире функциональный язык , опирающийся на формализм Теории Нормальных Алгорифмов Маркова. Показываю фокус Это общая схема реализации диалектов языка Рефал путём компиляции в императивные языки: В системе реализована схема прямой компиляции рефал-программ в некий абстрактный императивный язык, который затем, отдельным проходом (back-end модулем), может быть легко отображен в любую целевую платформу. В настоящее время полностью реализованы back-end модули, отображающие результат компиляции в С++ и Java. Все внимание на IAS, точнее на AIL .Программа на абстрактном императивном языке (AIL) может быть легко выражена на существующих императивных языках программирования. Предложенная многопроходная схема обеспечивает относительно простое расширение как набора входных языков другими диалектами Рефала (Рефал-5, -6), так и множества выходных императивных языков. Для реализации этого подхода в процессе компиляции Рефал-программ выделены четыре основные этапа: 1.Выполняемое блоком Lexer/Parser преобразование Рефал-программы в текст на промежуточном Рефал-ориентированном абстрактном языке, называемом Абстрактный синтаксис (AS-code). Абстрактный синтаксис включает элементы, адекватно отображающие особенности всех диалектов Рефала. [url]http://skif.pereslavl.ru/skif/index.cgi?module=chap&action=getpage&data=refal\as-syntax.html[/url] 2.Преобразование AS-программы в текст на Абстрактном императивном языке (AIL-code) с помощью модуля Compiler. http://skif.pereslavl.ru/skif/index.cgi ... data=refal\asail-syntax-long.html 3.Генерация модулем Сonverter выходного текста на императивном языке. 4.Генерация исполняемого модуля на основе соответствующей библиотеки поддержки периода исполнения. http://skif.pereslavl.ru/skif/index.cgi ... data=refal\class-Expr.html БОЛЬШАЯ ПРОСЬБА : КОММЕНТИРОВАТЬ ПРЕДМЕТНО, ВЗВЕШЕННО, АРГУМЕНТИРОВАННО, КОНСТРУКТИВНО (я шуток не понимаю ) в обязательном порядке отвечаю только тем , у кого есть собственный курс - с остальными переписка в личке Кто желает в соавторы - милости просим Работы хватит всем. Особенно требуются "рабочие руки" по направлению "Рефал и C ++" и "Рефал и Java" . Если опыта в Рефале пока нет - не беда . Обучитесь в процессе. Совместите полезное с приятным ДРУГИЕ РАЗДАЧИ ПО РЕФАЛУ: http://rustrek.ru/viewtopic.php?t=3273780 http://rustrek.ru/viewtopic.php?t=3308662 |
Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |