Приложение
для AndroidПолное описание
На обложке: Российская академия наук - 300 лет.
Содержание:
Введение. - С. 3
Описание модели. - С. 4
Программная реализация. - С. 7
Эксперименты и обслуживание. - С. 9
Заключение. - С. 11
| ГРНТИ | УДК | |
| 50.41 | 004.414.3(04) |
Рубрики:
Программное обеспечение ЭВМ -- Проектирование
Кл.слова (ненормированные): ГРАФОВЫЕ МОДЕЛИ -- ИСХОДНЫЙ КОД -- ОРИЕНТИРОВАННЫЙ ГРАФ -- ТРАССИРУЕМОСТЬ -- ТРЕБОВАНИЯ -- ЦИКЛЫ
Аннотация: Получение сведений о трассируемости требований к программному обеспечению на файлы исходного кода приложения является сложной прикладной проблемой. Особенно при установлении необходимого объема верификационных процедур, выполнение которых необходимо для подтверждения выполнимости требований при изменении одного или нескольких файлов исходного кода. Разработана модель, которая обеспечивает анализ связности файлов исходного кода между собой и их соответствие требованиям. Предложен метод разрешения циклических зависимостей и формирования графа трассируемости требований на файлы исходного кода. Предложена программная реализация модели, в состав которой включены опциональные модули для исследования ее оптимальной конфигурации.
Доп. точки доступа:
Шаблий, Алексей Денисович
Институт прикладной математики имени М. В. Келдыша (Москва)
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/16400/31 за 2024 г.)
Шифр в сводном ЭК: 0148fc83617d79c165c27ed78c9a1137
Сивакова, Татьяна Владимировна. Применение нечетких методов поддержки решений для подбора персонала / Т. В. Сивакова, В. А. Судаков, Ю. П. Титов, 2020. - 15 с. - Текст (визуальный) : непосредственный.Белова, Кристина Михайловна. Исследование эффективности методов оценки релевантности текстов / К. М. Белова, В. А. Судаков, 2020. - 16 с. - Текст (визуальный) : непосредственный.Пономарев, Роман Львович. Разработка имитационной модели технического обслуживания воздушных судов на базе интернета вещей / Р. Л. Пономарев, В. А. Судаков, 2021. - 19 с. - Текст (визуальный) : непосредственный.Бахвалова, Екатерина Александровна. Исследование алгоритмов консенсуса для блокчейн-платформ / Е. А. Бахвалова, В. А. Судаков, 2021. - 16 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Куренных, Алексей Евгеньевич. Комбинированные рекомендательные алгоритмы для научно-производственных объединений / А. Е. Куренных, В. А. Судаков, 2021. - 13 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Унифицированное моделирование распространения вируса в городских агломерациях / В. А. Судаков, Т. В. Сивакова, В. И. Балута [и др.], 2021. - 20 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Ехлаков, Роман Сергеевич. Прогнозирование стоимости котировок при помощи LSTM И GRU сетей / Р. С. Ехлаков, В. А. Судаков, 2022. - 13 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Баданина, Наталья Дмитриевна. Модели машинного обучения для классификации отзывов о банках / Н. Д. Баданина, В. А. Судаков, 2021. - 14 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Белозеров, Илья Андреевич. Машинное обучение с подкреплением для решения задач математического программирования / И. А. Белозеров, В. А. Судаков, 2022. - 14 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Белозеров, Илья Андреевич. Исследование моделей машинного обучения для сегментации медицинских изображений / И. А. Белозеров, В. А. Судаков, 2022. - 15 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Судаков, Владимир Анатольевич. Унифицированная программа прогнозирования распространения вирусных инфекций / В. А. Судаков, Т. В. Сивакова, 2022. - 12 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Судаков, Владимир Анатольевич. Прогнозирование авиационных перевозок методами статистического анализа и машинного обучения / В. А. Судаков, М. А. Тимофеев, 2022. - 14 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Баданина, Наталья Дмитриевна. Ранжирование объектов на основе нечеткой кластеризации / Н. Д. Баданина, А. А. Зинченко, В. А. Судаков, 2022. - 12 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Баданина, Наталья Дмитриевна. Кластеризация водителей по степени опасности вождения с использованием алгоритмов машинного обучения / Н. Д. Баданина, В. А. Судаков. - Текст : непосредственный // Моделирование и анализ данных : научный журнал / Московский государственный психолого-педагогический университет. - Москва : Моск. гос. психолого-пед. ун-т, 2022. - Том 12 N 1. - с. 5-15Судаков, Владимир Анатольевич. Модель машинного обучения с подкреплением для планирования развития спортивной инфраструктуры / В. А. Судаков, И. А. Белозеров, Е. С. Прудкова. - Текст : непосредственный // Математическое моделирование : журнал / Российская академия наук, Институт прикладной математики им. М. В. Келдыша. - Москва : ИПМ им. М. В. Келдыша РАН, 2022. - Том 34 N 12. - с. 103-115Минаков, Артём Дмитриевич. Методы ускорения контролируемых онлайн-экспериментов / А. Д. Минаков, В. А. Судаков, 2023. - 16 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Применение метода муравьиных колоний для поиска рациональных значений параметров технической системы / В. А. Судаков, Ю. П. Титов, Т. В. Сивакова, П. М. Иванова, 2023. - 18 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Авраменко, Александр Дмитриевич. Создание синтетических графов для задачи коммивояжёра / А. Д. Авраменко,В. А. Судаков, 2024. - 16 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Барчев, Николай Борисович. Исследование методов модификации функций принадлежности нечетких множеств на основе эталонов / Н. Б. Барчев, В. А. Судаков, 2024. - 19 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Баротов, Достонжон Нумонжонович. О неравенствах между выпуклыми вогнутыми и полилинейными продолжениями булевых функций / Д. Н. Баротов, В. А. Судаков, 2024. - 13 с. (Введено оглавление). - Текст (визуальный) : непосредственный.
Показать все результатыКонцепция развития Государственной публичной научно-технической библиотеки России на 2008-2018 гг. / концепция разработана авторским коллективом ГПНТБ России в составе: Адамьянц А. О., Бродовский А. И., Воройский Ф. С. [и др.]; руководитель работ и научный редактор: доктор технических наук, профессор, генеральный директор ГПНТБ России, Шрайберг Я. Л., 2008. - 30 с. (Введено оглавление). - Текст : непосредственный.Рабочие таблицы классификации по разделу УДК "Информатика" : научно-техническая информация / Министерство науки, высшей школы и технической политики Российской Федерации, Государственная публичная научно-техническая библиотека России (ГПНТБ России) [и др.], 1992. - 60 c. (Введено оглавление). - Текст : непосредственный.Настольная книга патентоведа / "Ориентир", патентный центр (Москва), 1993. - 157 c. (Введено оглавление). - Текст : непосредственный.Справочник по военной топографии / Генеральный штаб Красной армии, 1943. - 128 с. (Введено оглавление). - Текст : непосредственный.Аронов, Самуил Григорьевич. Как определить пригодность угля для коксования / С. Г. Аронов, кандидат технических наук, 1944. - 88, [2] с. (Введено оглавление). - Текст : непосредственный.Бондаренко Г.И. Памятка по азотированию металлоизделий / инж. Г. И. Бондаренко, 1941. - 12 с. (Введено оглавление). - Текст : непосредственный + Изображение : непосредственное.Краткое руководство по применению средств обогрева машин автобронетанкового и тракторного парка Красной Армии / Управление бронетанковыми и механизированными войсками Красной Армии, 1943. - 58, [2] с. (Введено оглавление). - Текст : непосредственный.Меньщикова, Светлана Павловна. Роль библиотек в развитии сферы культуры: региональный аспект / С. П. Меньщикова, 2003. - 31 с. (Введено оглавление). - Текст : непосредственный.Хаггарти Р. Дискретная математика для программистов : монография / Р. Хаггарти ; Ред. С. А. Кулешов, 2016. - 399 с. (Введено оглавление). - Текст : непосредственный.Блохинцев, Дмитрий Иванович. Введение в квантовую механику : учебник для ун-тов / Д. И. Блохинцев, 1944. - 484 с. (Введено оглавление). - Текст : непосредственный.Птуха, Михаил Васильевич. Очерки по истории статистики XVII-XVIII веков : монография / М. Птуха, 1945. - 351, [1] с. (Введено оглавление). - Текст : непосредственный.Клименко, Юрий Владимирович. Химическое обогащение марганцевых руд : монография / Ю. В. Клименко и А. П. Квасков, 1943. - 191, [1] с. (Введено оглавление). - Текст : непосредственный.Федоров, Сергей Алексеевич. Ремонт, реконструкция и восстановление шахт / С. А. Федоров, доцент Свердловского горного института, 1944. - 199, [1] с. (Введено оглавление). - Текст : непосредственный.Лоссиевский, Владимир Леонидович. Автоматические регуляторы / В. Л. Лоссиевский, кандидат технических наук, 1944. - 390, [1] с. (Введено оглавление). - Текст : непосредственный.Володин, Борис Федорович. Всемирная история библиотек / Б. Ф. Володин, 2004. - 432 с. (Введено оглавление). - Текст : непосредственный.Зильвестр, Ян Яковлевич. Смеситель Бенбери / Я. Я. Зильвестр, 1944 (обл. 1943). - 46, [1] с. (Введено оглавление). - Текст : непосредственный.Кан, Александр Викторович. Как собирать и хранить отработанные автотракторные масла / А. В. Кан и А. Р. Косякин, 1943. - 13, [1] с. (Введено оглавление). - Текст : непосредственный.Карин Л.М. Противоипритная защитная одежда / Л. М. Карин, 1942. - 23, [1] с. (Введено оглавление). - Текст : непосредственный.Патентная информация и патентные услуги / сост. В. Н. Славин, 1992. - 57 с. (Введено оглавление). - Текст : непосредственный.Биард Р.У. Малые беспилотные летательные аппараты: теория и практика / Р. У. Биард, Т. У. МакЛэйн ; Ред. Г. В. Анцев ; Пер. А. И. Демьяников, 2015. - 311 с. (Введено оглавление). - Текст : непосредственный.
Показать все результатыПротопопов А.А. Моделирование динамики ротора и выбор оптимальных конструктивных параметров малорасходного центробежного насоса / А. А. Протопопов, 2018. - 22 с. - Текст : непосредственный.Математическое моделирование социальных процессов : сборник трудов / Институт прикладной математики им. М. В. Келдыша РАН. Вып. 20, 2018. - 280 с. - Текст : непосредственный.Научный сервис в сети Интернет : труды XXI Всероссийской научной конференции, Новороссийск, 23-28 сентября 2019 г., 2019. - 666 с. - Текст : непосредственный.Математическое моделирование и информатика социальных процессов : сборник трудов / Институт прикладной математики имени М. В. Келдыша. Вып. 21 / главный редактор - А. П. Михайлов, 2019. - 161 с. - Текст : непосредственный.Научный сервис в сети Интернет : труды XXIII Всероссийской научной конференции онлайн, 20-23 сентября 2021 г., 2021. - 399, [1] с. - Текст (визуальный) : непосредственный.Злотник, Александр Анатольевич. О L2-диссипативности линеаризованный разностной схемы на разнесенных сетках с квазигидродинамической регуляризацией для 1D баротропных уравнений движения газа / А. А. Злотник, Т. А. Ломоносов, 2021. - 27 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Построение модели эволюции объектов малоразмерной фракции космического мусора, образующегося в результате разрушений / Г. К. Боровин, М. В. Захваткин, В. А. Степаньянц, И. В. Усовик, 2021. - 27 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Рыков, Юрий Германович. Технология использования нечетких когнитивных карт с математической точки зрения / Ю. Г. Рыков, 2021. - 22 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Расчет несжимаемых течений в системе "пористое тело - свободный поток" / С. В. Поляков, М. А. Трапезникова, А. Г. Чурбанов, Н. Г. Чурбанова, 2021. - 19 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Подлазов, Андрей Викторович. Дополнительное исследование самоорганизованно-критической модели Манны в случае верхней критической размерности / А. В. Подлазов, 2021. - 12 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Злотник, Александр Анатольевич. Свойства агрегированной квазигидродинамической системы уравнений гомогенной газовой смеси с общей регуляризующей скоростью / А. А. Злотник, А. С. Федченко, 2021. - 26 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Колесниченко, Александр Владимирович. К моделированию динамической эволюции Вселенной под воздействием энтропийной силы, связанной с модифицированной энтропией Шарма-Миттала / А. В. Колесниченко, М. Я. Маров, 2021. - 36 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Малинецкий, Георгий Геннадьевич. О развитии прикладной математики, искусственного интеллекта и компьютерных вычислений / Г. Г. Малинецкий, В. С. Смолин, 2021. - 49 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Варин, Виктор Петрович. Преобразование последовательностей в доказательствах иррациональности некоторых фундаментальных констант / В. П. Варин, 2021. - 32 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Кислицын, Алексей Алексеевич. Исследование статистик графов ближайших соседей / А. А. Кислицын, Ю. Н. Орлов, 2021. - 23 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Балашов, Владислав Александрович. Регуляризованная модель типа фазового поля для описания системы "жидкость - твердое тело" с учетом химических реакций / В. А. Балашов, Е. Б. Савенков, 2021. - 20 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Поташов, Марат Шамилевич. Модификация уравнений переноса излучения для включения не-ЛТР эффектов при расчёте кривых блеска сверхновых радиационно-гидродинамическим кодом STELLA / М. Ш. Поташов, П. В. Бакланов, С. И. Блинников, 2021. - 27 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Атомистическое моделирование параметров критической области золота с использованием кривой сосуществования жидкость-пар / В. И. Мажукин, О. Н. Королева, М. М. Демин, А. А. Алексашкина, 2021. - 16 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Герман, Михаил Сергеевич. Новые функциональные возможности системы визуализации потоков автотранспорта на элементах улично-дорожной сети / М. С. Герман, А. В. Ермаков, 2021. - 14 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Молекулярно-динамическое моделирование термического гистерезиса золота / В. И. Мажукин, О. Н. Королева, А. В. Шапранов [и др.], 2021. - 11 с. (Введено оглавление). - Текст (визуальный) : непосредственный.
Показать все результатыБаженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный.Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный.Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный.Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный.Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный.Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный.Ахметов К.С. Windows 95 для всех / К. С. Ахметов, 1997. - 255 с. - Текст : непосредственный.Мэнсфилд Р. Windows 95 для занятых : монография / Р. Мэнсфилд, 1997. - 326 с. - Текст : непосредственный.Access 7,0 для Windows 95, 1997. - 479 с. - Текст : непосредственный.MS-DOS 6.22, 1997. - 443 с. - Текст : непосредственный.Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный.Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный.Дейнеко Е.А. Информационные технологии : выставочные материалы / Е. А. Дейнеко, И. А. Мельникова, 2015. - 127 с. - Текст : непосредственный.Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный.Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный.Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный.От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный.Кучумов Ю.М. Программное обеспечение микроЭВМ "ИСКРА-226" для специалиста : Учеб.пособие:В 2-х ч. Ч. 1, 1989. - 59 c. - Текст : непосредственный.Диалоговый вычислительный комплекс. Программное обеспечение / Казанское науч.-произв. об-ние вычислительной техники и информатики, 1990. - 166 с. - Текст : непосредственный.Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽