{"product_id":"lavrishcheva-petrov-petrenko-paradigmi-modelirovaniya-i-programmirovaniya-zadach-predmetnikh-oblastei-znanii-monografiya","title":"Игорь Петров: Парадигмы моделирования и программирования задач предметных областей знаний. Монография","description":"Монография посвящена парадигмам моделирования и программирования современных предметных областей знаний (физика, математика, биология, химия, медицина и др.), начиная с появления первых аналитических машин и ЭВМ для численного решения технических задач и задач предметных областей знаний. Описываются сформировавшиеся подходы к моделированию математических задач на первых ЭВМ (А. А. Самарского, Е. Л. Ющенко, В. М. Глушкова, О. М. Белоцерковского, О. М. Поспелова, И. Б. Петрова и дискретных программно-технических систем (ПТС) с участием В. М. Глушкова, В. Н. Коваля и др. Дана характеристика зарубежных парадигм программирования задач разных предметных областей знаний (ООР, VDM, UML, Z, RAISE, RSL, Agaile и др.), а также отечественных парадигм модульного, синтезирующего, композиционного, аспектного, агентного программирования и инженерии приложений и доменов (DSL, OWL, ОСМ и др.).\n\nВ период появления первых ЭВМ и языков программирования (ЯП) - Algol-58, 60; Fortran, Cobol, PL\/1, Snobol, Lisp и др. описана программирующая программа трансляторов с ЯП (ТА1-ТА5) для перевода исходных схем программ в ЯП в код первой ЭВМ. Обсуждаются сформировавшиеся методы трансляции, как средств автоматизации программирования. Показано развитие схем к моделированию структур алгоритмов графовым и сетевым нейронным способом. Описана сборка разнородных модулей в ЯП, работающих с разными данными из класса фундаментальных типов данных (ФДТ) и межъязыкового преобразования совместных данных в среде IBM-360 (1976-1982).\n\nОписана парадигма графового математического моделирования задач предметных областей знаний с применением математических операций и аппарата матриц смежности, инцидентности и средств обеспечения правильности (Model Checking, V\u0026amp;V, Testing функций задач), обеспечения безопасности и надежности функционирования задач в Интернет. Представлено математическое моделирование задач прикладной математики средствами компьютеров (Петров И. Б. МФТИ) для биологии и вычислительной геометрии.\n\nОпределены задачи интеллектуализации и информатизации знаний в рамках Европейского проекта Е-science, Grid и Semantic Web глобальной сети Интернет. Приведены парадигмы моделирования космических задач, вычислительной геометрии и прикладного домена ЖЦ с использованием интеллектуальных методов Data Mining и др.\n\nОписана парадигма моделирования сложных вариабельных прикладных систем с использованием моделей систем Msys, модели характеристических свойств функций систем MF (Model Feature) и моделей знаний Mining, сформовавшихся в мировом сообществе в рамках промышленных технологий в разных странах. Приведен вариант ядра OS Linux с использованием Variability Mining на примере магистерских работ МФТИ и операций конфигурационной сборки в ОС Интернет, выполненных участниками в рамках проекта РФФИ № 16-01-00352.\n\nОписан общий сборщик интеллектуальных, информационных, программных и технических ресурсов Интернет в ЯП пятого поколения (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, фабрик Чернецкого и Бея, основанных на методе конвейерной сборки интеллектуальных ресурсов Интернет для ПТС.\n\nПриводится характеристика зарубежных и отечественных парадигм моделирования, методов синтеза частиц нано и ДНК в МФТИ; Нейроучебников для обучения студентов университетов (МФТИ, МГУ и др.) современным парадигмам моделирования, инженерии и программирования ПТС для разных предметных областей знаний.","brand":"Директмедиа Паблишинг","offers":[{"title":"Default Title","offer_id":49343466668348,"sku":"rstd81vg9ij04yuyf5axd4lx","price":49.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0766\/3468\/5756\/files\/lavrishcheva_petrov_petrenko_paradigmi_modelirovaniya_i_programmirovaniya_zadach_predmetnikh_oblastei_znanii._monografiya_1.jpg?v=1710905969","url":"https:\/\/knizhka.us\/products\/lavrishcheva-petrov-petrenko-paradigmi-modelirovaniya-i-programmirovaniya-zadach-predmetnikh-oblastei-znanii-monografiya","provider":"Книжка US","version":"1.0","type":"link"}