Парадигмы моделирования и программирования задач предметных областей знаний
Монография посвящена парадигмам моделирования и программирования современных предметных областей знаний (физика, математика, биология, химия, медицина и др.), начиная с появления первых аналитических машин и ЭВМ для численного решения технических задач и задач предметных областей знаний. Описываются сформировавшиеся подходы к моделированию математических задач на первых ЭВМ (А. А. Самарского, Е. Л. Ющенко, В. М. Глушкова, О. М. Белоцерковского, О. М. Поспелова, И. Б. Петрова и дискретных программно-технических систем (ПТС) с участием В. М. Глушкова, В. Н. Коваля и др. Дана характеристика зарубежных парадигм программирования задач разных предметных областей знаний (ООР, VDM, UML, Z, RAISE, RSL, Agaile и др.), а также отечественных парадигм модульного, синтезирующего, композиционного, аспектного, агентного программирования и инженерии приложений и доменов (DSL, OWL, ОСМ и др.).В период появления первых ЭВМ и языков программирования (ЯП) — Algol-58, 60; Fortran, Cobol, PL/1, Snobol, Lisp и др. описана программирующая программа трансляторов с ЯП (ТА1-ТА5) для перевода исходных схем программ в ЯП в код первой ЭВМ. Обсуждаются сформировавшиеся методы трансляции, как средств автоматизации программирования. Показано развитие схем к моделированию структур алгоритмов графовым и сетевым нейронным способом. Описана сборка разнородных модулей в ЯП, работающих с разными данными из класса фундаментальных типов данных (ФДТ) и межъязыкового преобразования совместных данных в среде IBM-360 (1976–1982).Описана парадигма графового математического моделирования задач предметных областей знаний с применением математических операций и аппарата матриц смежности, инцидентности и средств обеспечения правильности (Model Checking, V&V, Testing функций задач), обеспечения безопасности и надежности функционирования задач в Интернет. Представлено математическое моделирование задач прикладной математики средствами компьютеров (Петров И. Б. МФТИ) для биологии и вычислительной геометрии.Определены задачи интеллектуализации и информатизации знаний в рамках Европейского проекта Е-science, Grid и Semantic Web глобальной сети Интернет. Приведены парадигмы моделирования космических задач, вычислительной геометрии и прикладного домена ЖЦ с использованием интеллектуальных методов Data Mining и др.Описана парадигма моделирования сложных вариабельных прикладных систем с использованием моделей систем Msys, модели характеристических свойств функций систем MF (Model Feature) и моделей знаний Mining, сформовавшихся в мировом сообществе в рамках промышленных технологий в разных странах. Приведен вариант ядра OS Linux с использованием Variability Mining на примере магистерских работ МФТИ и операций конфигурационной сборки в ОС Интернет, выполненных участниками в рамках проекта РФФИ № 16-01-00352.Описан общий сборщик интеллектуальных, информационных, программных и технических ресурсов Интернет в ЯП пятого поколения (C++, Java, Python, Ruby и др.) в общесистемных средах (JavaEE, IBMSphere, OS Linux, Intel, Grid, Visial Studio и др.) в Веб-системы и сайты глобальной сети. Приведены алгоритмы преобразования общих типов данных (GDT) ISO/IEC 11404 GDT и неструктурированных типов данных Big Data, Cloud Computing Semantic Web Интернет. Приводятся парадигмы DSL, инженерии SE, фабрик Чернецкого и Бея, основанных на методе конвейерной сборки интеллектуальных ресурсов Интернет для ПТС.Приводится характеристика зарубежных и отечественных парадигм моделирования, методов синтеза частиц нано и ДНК в МФТИ; Нейроучебников для обучения студентов университетов (МФТИ, МГУ и др.) современным парадигмам моделирования, инженерии и программирования ПТС для разных предметных областей знаний.
Содержание
Содержание книги "Парадигмы моделирования и программирования задач предметных областей знаний "
Отрывок из книги
32 обозначения для понятий и используя особые правила, близкие к вычислениям. Лейбниц утверждал, что «мы используем знаки не только для того, чтобы пере-давать наши мысли другим, но и для того, чтобы облегчить сам процесс нашего мышления». Поскольку мышление рассматривалось как форма высказываний, следую-щими шагами в изучении логики стали формализация и конечная механизация. Лейбниц в работе «Calculus Philosophicus» представил первую систему формаль-ных логик, а также создал машину для автоматизации ее вычислений. Эйлер в начале XVIII в. после анализа задачи о Ньюберских мостах создал учение об аб-страктной структуре взаимосвязей понятий реального мира с использованием графа для проведения поиска в пространстве состояний (state space graph) и в по-следствии ставшим концептуальным инструментом искусственного интеллекта. Одним из основоположников науки исследования операций был математик XIX в. Чарльз Бэббидж, который был одним из первых практиков универсально-го программируемого устройства (машины), основанного на идеях логики вы-полнения программ. Формальный язык для описания мыслительной деятельности предложил математик Джордж Буль (XIX в.). Он определил математическую формализацию логики и роль булевой алгебры в проектировании логических цепей с помощью трех операции логического исчисления: «И» (*, ∧), «ИЛИ» (+, ∨) и «НЕ» (¬). Эти операции стали базой формальной логики и на современных компьютерах. Готлоб Фреге (Frege) в своих «Основах арифметики» (Frege, 1884) создал ясный и точный язык спецификации для описа-ния основ арифметики. С помощью этого языка Фреге формализовал много вопро-сов, затронутых в аристотелевской «Логике». Язык Фреге, сейчас называется ис-числение предикатов первого порядка, служит инструментом для записи теорем и задания значений истинности. Предполагалось, что формальная система счисления предикатов, которая включает символы предикатов, теорию функций и квантован-ных переменных, стала языком описания м...
Лаврищева Е. М. другие книги автора
С книгой "Парадигмы моделирования и программирования задач предметных областей знаний" читают
Внимание!
При обнаружении неточностей или ошибок в описании книги "Парадигмы моделирования и программирования задач предметных областей знаний (автор Екатерина Лаврищева, Игорь Петров, Александр Петренко)", просим Вас отправить сообщение на почту help@directmedia.ru. Благодарим!
и мы свяжемся с вами в течение 15 минут
за оставленную заявку