Парадигмы моделирования и программирования задач предметных областей знаний монография
Монография посвящена парадигмам моделирования и программирования современных предметных областей знаний (физика, математика, биология, химия, медицина и др.), начиная с появления первых аналитических машин и ЭВМ для численного решения технических задач и задач предметных областей знаний. Описываются...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Книга |
| Online-ссылка: | https://biblioclub.ru/index.php?page=book&id=602516 |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| LEADER | 08598nam a2200337 4500 | ||
|---|---|---|---|
| 001 | BIBLIOCLUB\0000602516 | ||
| 005 | 20250903113719.0 | ||
| 010 | |a 978-5-4499-1889-5 | ||
| 100 | |a 20250805j2021 u u0rusy0189 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 105 | |a y ||||000yy | ||
| 200 | 1 | |a Парадигмы моделирования и программирования задач предметных областей знаний |e монография |f Е. М. Лаврищева, И. Б. Петров, А. К. Петренко |g под ред. А. И. Аветисян |g под ред. О. Е. Баксанский |g под ред. М. М. Горбунов-Посадов |g Институт системного программирования им. Иванникова |g Московский физико-технический институт | |
| 210 | |a Москва, Берлин |c Директ-Медиа |d 2021 | ||
| 215 | |a 504 с. |c ил., схем., табл. | ||
| 320 | |a Библиогр. в кн | ||
| 330 | |a Монография посвящена парадигмам моделирования и программирования современных предметных областей знаний (физика, математика, биология, химия, медицина и др.), начиная с появления первых аналитических машин и ЭВМ для численного решения технических задач и задач предметных областей знаний. Описываются сформировавшиеся подходы к моделированию математических задач на первых ЭВМ (А. А. Самарского, Е. Л. Ющенко, В. М. Глушкова, О. М. Белоцерковского, О. М. Поспелова, И. Б. Петрова и дискретных программно-технических систем (ПТС) с участием В. М. Глушкова, В. Н. Коваля и др. Дана характеристика зарубежных парадигм программирования задач разных предметных областей знаний (ООР, 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, фабрик Чернецкого и Бея, основанных на методе конвейерной сборки интеллектуальных ресурсов Интернет для ПТС.Приводится характеристика зарубежных и отечественных парадигм моделирования, методов синтеза частиц нано и ДНК в МФТИ; Нейроучебников для обучения студентов университетов (МФТИ, МГУ и др.) современным парадигмам моделирования, инженерии и программирования ПТС для разных предметных областей знаний. | ||
| 337 | |a Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация |u https://biblioclub.ru/index.php?page=book&id=602516 | ||
| 371 | |a 29.06.2065 | ||
| 675 | |a 004.9 |z rus | ||
| 686 | |a 16в615.2 |v LBC/PL |2 rubbk | ||
| 700 | 1 | |a Лаврищева |b Е. М. |4 070 | |
| 701 | 1 | |a Петров |b И. Б. | |
| 701 | 1 | |a Петренко |b А. К. | |
| 702 | 1 | |a Аветисян |b А. И. |4 340 | |
| 702 | 1 | |a Баксанский |b О. Е. |4 340 | |
| 702 | 1 | |a Горбунов-Посадов |b М. М. |4 340 | |
| 801 | 0 | |a RU |b Директ-Медиа |c 20250903 | |
| 801 | 1 | |a RU |b Директ-Медиа |c 20250903 | |
| 856 | 4 | |u https://biblioclub.ru/index.php?page=book&id=602516 |a Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация | |
| 900 | |a https://img.biblioclub.ru/sm_cover/afb579b4ebd4dd47c6971a0e928cad70jybr7i3e8i/cover.jpg | ||