Электронный курс сводки ресурсов ИИ и Интернета. Моделирование технических и математических задач прикладных областей знаний на ЭВМ
книга

Электронный курс сводки ресурсов ИИ и Интернета. Моделирование технических и математических задач прикладных областей знаний на ЭВМ

Автор: Екатерина Лаврищева, И. Петров, Екатерина Лаврищева

Форматы: PDF

Издательство: Российская академия наук

Год: 2020

Место издания: Москва

Страниц: 133

Артикул: 82777

Печатная книга
735
Ожидаемая дата отгрузки печатного
экземпляра: 12.04.2024
Электронная книга
186.2

Краткая аннотация книги "Электронный курс сводки ресурсов ИИ и Интернета. Моделирование технических и математических задач прикладных областей знаний на ЭВМ"

Проблематика математического моделирования сложных систем начала развиваться в ИСП РАН (2014-2020) под руководством академика В.П. Иванникова. Тематика моделирования программно-технических средств (ПТС) с обеспечением качества была представлена в рамках проектов РФФИ №16-01-00352 «Теория и методы разработки вариабельных программных и операционных систем» и РФФИ №19-01-00206 «Модели, методы и средства обеспечения надежности программных и технических систем». Первый проект РФФИ успешно завершен в 2018 и его краткое описание 81с. представлено в ЦИТИС 2018 E-Library. По второму проекту проведено исследование и отработка отдельных методов надежности и безопасного функционирования вариантов ПТС в практике изготовления специальных программ для заказчика (2019, 2020). Эти методы моделирования с обеспечением надежности и обеспечения защиты и безопасности ресурсов и систем проведены участниками проектов, сделан экспериментальный вариант ОС Linux методом Variability Mining, отработан подход к созданию веб-систем и сайтов их готовых сервисных и интеллектуальных ресурсов Интернет.

Все отзывы о книге Электронный курс сводки ресурсов ИИ и Интернета. Моделирование технических и математических задач прикладных областей знаний на ЭВМ

Чтобы оставить отзыв, зарегистрируйтесь или войдите

Отрывок из книги Электронный курс сводки ресурсов ИИ и Интернета. Моделирование технических и математических задач прикладных областей знаний на ЭВМ

Перспективы Технологии программирования Теории ТП по Ершову - это конкретный способ организации, создания, распространения и сопровождения программного продукта (ПП) и деятельность профессионалов, разрабатывающих ПП. Технология и методология – это всегда наука, в то время как метод входит в них составной частью (отчуждаемость и тиражирование ПП). ТП – это совокупность методологических положений, организационно-административных и инструментально-технических средств, их информационного и ПО, регламентирующего деятельность людей в разработку ПП. Он определил ТП как математическую науку и три направления ее развития на перспективу: - 1направление (организационное программирование) 1975–1985 гг. - 2 направление (сборочное программирование) 1985–1995 гг. - 3 направление (доказательное программирование) 1995–2005 гг. В заключительной части отмечено: «Было бы полезно выработать норматив по ТП, который, не затрагивая конкретного методоло-гического или языкового наполнения, унифицировал бы общую этапность разработки ПП; нормативы производительности и надежности; документацию и среду вычисления; межмодульный интерфейс поддержки сборочного программирования…».