Сортировать по:
| Выпуск | Название | |
| Том 26, № 5 (2014) | Стохастическая модель процесса идентификации сервисов информационной системы | Аннотация PDF (Rus) похожие документы |
| Г. Н. Циперман | ||
| "... стохастическая модель процесса идентификации сервисов информационной системы, позволяющая при минимальных ..." | ||
| Том 29, № 4 (2017) | Метод автоматического построения гибридных UML-моделей на основе журналов событий систем с сервис-ориентированной архитектурой | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| "... -моделей, что относится к области извлечения и анализа процессов ПО. Модели строятся на основе трасс ..." | ||
| Том 27, № 3 (2015) | Iskra: Инструмент починки моделей процессов | Аннотация PDF (Rus) похожие документы |
| И. Шугуров, А. Мицюк | ||
| "... бизнес процессов из логов событий, их анализа и усовершенствования. Починка модели процесса необходима ..." | ||
| Том 27, № 3 (2015) | Редактор моделей процессов «Carassius» | Аннотация PDF (Rus) похожие документы |
| Н. Никитина, А. Мицюк | ||
| "... Модели процессов и графы широко используются для моделирования и визуализации процессов ..." | ||
| Том 27, № 6 (2015) | Расширение референтной модели облачной вычислительной среды в концепции крупномасштабных научных исследований | Аннотация PDF (Rus) похожие документы |
| А. В. Скатков, В. И. Шевченко | ||
| "... фундаментальных подходов и проработки методов прикладной реализации сервис-ориентированных облачных сред ..." | ||
| Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, Е. М. Новиков | ||
| "... моделей и формальных спецификаций. Эта возможность является основой предлагаемого в работе метода ..." | ||
| Том 34, № 4 (2022) | Алгоритм поиска специалистов с уникальными навыками на основе цифрового следа | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич ЛЕОНОВ, Андрей Александрович ЛАПТЕВ, Анастасия Александровна ЛАУШКИНА, Михаил Витальевич СИНЬКО, Олег Олегович БАСОВ | ||
| "... , необходимым становится создание сервиса для поиска эксклюзивных специалистов. Большая часть подобных ..." | ||
| Том 28, № 3 (2016) | Метод автоматического построения иерархических UML-диаграмм последовательности с задаваемым уровнем детализации на основе журналов событий | Аннотация похожие документы |
| К. В. Давыдова, С. А. Шершаков | ||
| "... на основе журналов событий информационных систем с сервис-ориентированной архитектурой (SOA). Диаграммы ..." | ||
| Том 30, № 2 (2018) | Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении | Аннотация PDF (Rus) похожие документы |
| А. Н. Авдеева, В. В. Пузикова | ||
| "... сердечно-сосудистой системы. Наиболее популярными при этом являются квазиодномерные модели течения крови ..." | ||
| Том 29, № 4 (2017) | Модель сервиса позиционирования в метро, основанная на правилах и нечетких множествах второго типа | Аннотация похожие документы |
| А. Р. Гималетдинова, К. Ю. Дегтярев | ||
| "... объем имеющейся информации о специфике навигационных сервисов, актуальным остается вопрос относительно ..." | ||
| Том 28, № 3 (2016) | Преобразование абстрактных поведенческих сценариев в сценарии применимые для тестирования | Аннотация похожие документы |
| П. Д. Дробинцев, В. П. Котляров, И. В. Никифоров, Н. В. Воинов, И. А. Селин | ||
| "... , сгенерированных по поведенческой модели, решается на основе детализации абстрактных сценариев до уровня конкретных ..." | ||
| Том 27, № 1 (2015) | Сервисные средства интернет для решения бизнес-задач | Аннотация PDF (Rus) похожие документы |
| Е. М. Лаврищева, Л. Е. Карпов, А. Н. Томилин | ||
| "... системных и функциональных сервисов. Рассмотрены модели сервисной, сервисно-компонентной архитектур ..." | ||
| Том 26, № 6 (2014) | Расширенные конечные автоматы с таймаутами для оценки удовлетворенности пользователя ОТТ сервисом | Аннотация PDF (Rus) похожие документы |
| Д. Ривера, Н. Кушик, К. Фьюензалида, А. Кавалли, Н. Евтушенко | ||
| "... рассматривается новый подход к моделированию мультимедиа ОТТ сервисов, направленный на интегрирование в модели как ..." | ||
| Том 32, № 4 (2020) | Модели процессов, сопровождающих кристаллизацию переохлажденных капель | Аннотация PDF (Rus) похожие документы |
| Иван Алексеевич АМЕЛЮШКИН, Максим Александрович КУДРОВ, Алексей Олегович МОРОЗОВ, Альберт Леонидович СТАСЕНКО, Андрей Сергеевич ЩЕГЛОВ | ||
| "... , аналитических и экспериментальных данных других исследователей в настоящей работе развиты математические модели ..." | ||
| Том 37, № 5: сентябрь-октябрь | Генерация и отладка Java-кода с использованием больших языковых моделей на основе ассоциативной рекуррентной памяти | Аннотация похожие документы |
| Владимир Игоревич ВАСИЛЕВСКИЙ, Дмитрий Владимирович АЛЕКСАНДРОВ | ||
| "... Автоматическая генерация кода большими языковыми моделями (LLM) достигла значительных успехов ..." | ||
| Том 30, № 1 (2018) | Тесты на константные неисправности как веб-сервис | Аннотация похожие документы |
| Н. А. Шаляпина, А. А. Зайцев, С. В. Батрацкий, М. Л. Громов | ||
| "... В этой статье рассказывается о разрабатываемом нами веб-сервисе. Разрабатывая этот сервис ..." | ||
| Том 27, № 6 (2015) | Автоматизированное оперативное управление техногенными химико-технологическими объектами при возникновении запроектных аварийных ситуаций | Аннотация PDF (Rus) похожие документы |
| Ю. Н. Матвеев, Н. А. Стукалова | ||
| "... их испарением. Доказана целесообразность декомпозиции задачи моделирования процесса образования облака ..." | ||
| Том 27, № 3 (2015) | Сравнение моделей бизнес-процессов в формате BPMN 2.0 XML | Аннотация PDF (Rus) похожие документы |
| Сергей Иванов, Анна Каленкова | ||
| "... моделированием бизнес-процессов, нужен инструмент для сравнения моделей бизнес-процессов и определения ..." | ||
| Том 33, № 2 (2021) | Оценка пользовательских историй на основе декомпозиции сложности с использованием байесовских сетей | Аннотация PDF (Rus) похожие документы |
| Майра ДУРАН, Рейес ХУАРЕС-РАМИРЕС, Саманта ХИМЕНЕС, Клаудия ТОНА | ||
| "... применение этого метода вызывает трудности. В данной статье мы предлагаем метод декомпозиции сложности ..." | ||
| Том 38, № 3: часть 2. май-июнь | DPN Verifier: Инструментарий для ускоренной верификации и исправления дефектных моделей процессов с данными | Аннотация PDF (Rus) похожие документы |
| Николай Михайлович СУВОРОВ | ||
| "... корректности для моделей процессов является бездефектность. Модель процесса называется бездефектной, если она ..." | ||
| Том 33, № 2 (2021) | Разработка Web-приложений с учетом элементов качества данных – DQAWA | Аннотация PDF (Rus) похожие документы |
| Сезар Артуро ГУЕРРА-ГАРСИЯ, Гектор Херардо ПЕРЕС-ГОНСАЛЕС, Марко Тулио РАМИРЕС-ТОРРЕС, Рейес ХУАРЕС-РАМИРЕС | ||
| "... данных для конкретной функциональности приложения или сервиса. Подобные специализированные практики ..." | ||
| Том 28, № 4 (2016) | Модель поведения объектов, подверженных спонтанному изменению, в прецедентном подходе к управлению | Аннотация PDF (Rus) похожие документы |
| В. Н. Юдин, Л. Е. Карпов | ||
| "... математической модели, предложена модель поведения объектов, вовлеченных в вялотекущие процессы и подверженных ..." | ||
| Том 33, № 5 (2021) | Особенности реализации эффективного алгоритма параллельных вычислений для моделирования обледенения стреловидного крыла с профилем GLC-305 | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| "... процессов ледообразования на поверхности летательных аппаратов. В качестве тестового примера для сравнения ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Поддержка процессов верификации средств защиты информации на основе формальных моделей политик управления доступом: инструмент АНИС | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН, Александр Константинович ПЕТРЕНКО | ||
| "... доступом к информационным объектам, таким как файлы, директории, пользовательские процессы и др. В качестве ..." | ||
| Том 30, № 3 (2018) | Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR | Аннотация похожие документы |
| С. Л. Лесовой | ||
| "... Модельно-ориентированный подход к разработке позволяет построить архитектурную модель существующей ..." | ||
| Том 33, № 5 (2021) | Математические модели и методы расчета процессов, сопровождающих обледенение летательного аппарата | Аннотация PDF (Rus) похожие документы |
| Иван Алексеевич АМЕЛЮШКИН, Максим Александрович КУДРОВ, Алексей Олегович МОРОЗОВ, Андрей Сергеевич ЩЕГЛОВ | ||
| "... с твердым телом. Данная работа посвящена развитию модели динамики частиц, а также модели дробления ..." | ||
| Том 36, № 5 (2024) | Архитектура открытого программного комплекса UEMKA для управления целевыми устройствами SMART-наноспутников | Аннотация PDF (Rus) похожие документы |
| Георгий Александрович ЩЕГЛОВ, Кристина Александровна ЖДАНОВА, Зайнулла Серикович ЖУМАЕВ, Никита Дмитриевич КАМЕНЕВ | ||
| "... подхода при создании программного комплекса. Предложено использование имитационной модели наноспутника для ..." | ||
| Том 29, № 4 (2017) | Автоматизированный композициональный синтез моделей распределенных систем с помощью паттернов интерфейсов | Аннотация похожие документы |
| Р. А. Нестеров, И. А. Ломазова | ||
| "... с другом. Поведение агентов, а также механизмы их взаимодействия описываются с помощью моделей процессов ..." | ||
| Том 37, № 6: часть 3. ноябрь-декабрь | Модель размыва правого берега переливной запруды на протоке Пемзенской | Аннотация PDF (Rus) похожие документы |
| Игорь Иванович ПОТАПОВ, Дмитрий Игоревич ПОТАПОВ | ||
| "... В работе предложена математическая модель для изучения эрозии берегового склона протоки Пемзенской ..." | ||
| Том 32, № 6 (2020) | Формальная модель партицированной операционной системы реального времени на Promela | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ | ||
| "... переключения процессов и взаимодействий. В этой статье описывается формализованная модель открытой ..." | ||
| Том 26, № 6 (2014) | Тестирование в беспроводных самоорганизующихся сетях на основе формальных моделей | Аннотация PDF (Rus) похожие документы |
| Стефан Мааг | ||
| "... . Использование формальных моделей при тестировании позволяет автоматизировать процесс генерации тестовых ..." | ||
| Том 30, № 5 (2018) | Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки | Аннотация PDF (Rus) похожие документы |
| О. С. Сороковикова, Д. В. Дзама, Д. Г. Асфандияров | ||
| "... моделей в задачах вычислительной метеорологии. К таким задачам относится, в частности, задача обоснования ..." | ||
| Том 27, № 3 (2015) | Языковой сервис FRIS для расширенной поддержки Fortran в Microsoft Visual Studio | Аннотация PDF (Rus) похожие документы |
| И. С. Раткевич | ||
| "... модель и общий подход к построению языковых сервисов. Подробно рассматриваются вопросы организации данной ..." | ||
| Том 37, № 6: часть 1. ноябрь-декабрь | Улучшение электронных государственных услуг посредством разработки чат-ботов с использованием Azure OpenAI | Аннотация похожие документы |
| Лазарь РАДОСАВЛЬЕВИЧ, Милица СИМИЧ, Александр ЙОКСИМОВИЧ, Тамара НАУМОВИЧ, Марьяна ДЕСПОТОВИЧ-ЗРАКИЧ | ||
| "... Реализация и развитие чат-ботов как сервиса электронного правительства в значительной степени ..." | ||
| Том 34, № 6 (2022) | Математическое моделирование процесса течения газа в проточной части турбомолекулярного вакуумного насоса с использованием модели взаимодействия газа с поверхностью Черчиньяни-Лампис | Аннотация PDF (Rus) похожие документы |
| Ульяна Саидовна ГОРДЕЕВА, Феликс Маратович ШАРИПОВ | ||
| "... В работе моделируется процесс течения газа в проточной части турбомолекулярного вакуумного насоса ..." | ||
| Том 36, № 6 (2024) | Модели зрелости управления проектами: систематический обзор литературы | Аннотация похожие документы |
| Хорхе Франсиско РУИС-ЛОПЕС, Хавьер ОРТИС-ЭРНАНДЕС, Эрик БОНЖУР, Жан-Пьер МИКАЭЛЛИ, Ясмин ЭРНАНДЕС | ||
| "... на улучшение процессов, и не только в этой области знаний, являются модели зрелости. Эти модели уже начали ..." | ||
| Том 31, № 1 (2019) | Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна Лаврищева, Вадим Сергеевич Мутилин, Святослав Владимирович Козин, Андрей Геннадьевич Рыжов | ||
| "... (модулей, компонентов, КПИ, сервисов, reuses и др.). В основе подхода создания систем, веб–систем лежит ..." | ||
| Том 29, № 5 (2017) | Логика первого порядка для задания требований к безопасному программному коду | Аннотация PDF (Rus) похожие документы |
| А. В. Козачок | ||
| Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
| С. А. Смолов | ||
| "... В статье дается обзор существующих методов извлечения моделей из описаний цифровой аппаратуры ..." | ||
| Том 26, № 2 (2014) | Комбинированный метод верификации масштабных моделей данных | Аннотация PDF (Rus) похожие документы |
| В. А. Семенов, С. В. Морозов, Д. В. Ильин | ||
| "... Статья адресована актуальной проблеме верификации масштабных моделей данных, применяемых ..." | ||
| Том 35, № 3 (2023) | Синтез моделей процессов по журналам событий мультиагентных систем с помощью отношений между событиями | Аннотация похожие документы |
| Анастасия Андреевна ШЕРСТЮГИНА, Роман Александрович НЕСТЕРОВ | ||
| "... Структура модели процесса, синтезированной напрямую по журналу событий мультиагентной системы ..." | ||
| Том 38, № 3: часть 1. май-июнь | Построение местной гидродинамической модели потока через переливную запруду Пемзенская реки Амур | Аннотация PDF (Rus) похожие документы |
| Игорь Иванович ПОТАПОВ, Юлия Георгиевна СИЛАКОВА | ||
| "... В работе сформулирована математическая модель речного потока для протоки Пемзенская реки Амур ..." | ||
| Том 34, № 1 (2022) | Метод редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем | Аннотация похожие документы |
| Дарья Сергеевна РОМАНОВА, Олег Владимирович НЕПОМНЯЩИЙ, Игорь Николаевич РЫЖЕНКО, Александр Иванович ЛЕГАЛОВ, Наталья Юрьевна СИРОТИНИНА | ||
| "... процесса сквозного проектирования цифровых интегральных схем. Представлен метод и язык параллельного ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Генерация кода исполняемой модели Event-B на языке Python | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН | ||
| "... на основе формальной модели. Процесс верификации можно разбить на два этапа: формальная верификация модели ..." | ||
| Том 37, № 4: часть 1. июль-август | Извлечение функциональности из бинарного кода | Аннотация похожие документы |
| Анна Александровна ИЛЬИНА, Шамиль Фаимович КУРМАНГАЛЕЕВ | ||
| "... Семантический анализ кода – важный, но трудоемкий процесс, используемый во многих областях ..." | ||
| Том 23 (2012) | Расширение модели ParJava для случая кластеров с многоядерными узлами | Аннотация PDF (Rus) похожие документы |
| М. С. Акопян | ||
| "... В работе описывается расширение модели параллельной SPMD программы возможностью использования ..." | ||
| Том 29, № 3 (2017) | О проблеме представления формальной модели политики безопасности операционных систем | Аннотация PDF (Rus) похожие документы |
| П. Н. Девянин | ||
| "... В связи с начавшимся процессом внедрения ФСТЭК России «Требований безопасности информации ..." | ||
| Том 37, № 4: часть 1. июль-август | Модель распределённой сети, в которой хосты могут выполнять функцию коммутации сообщений | Аннотация PDF (Rus) похожие документы |
| Игорь Борисович БУРДОНОВ, Нина Владимировна ЕВТУШЕНКО, Александр Сергеевич КОСАЧЕВ, Вера Николаевна ПОНОМАРЕНКО | ||
| "... В работе строится абстрактная модель распределенной сети, содержащей только хосты и коммутаторы ..." | ||
| Том 28, № 2 (2016) | Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде | Аннотация похожие документы |
| М. С. Малеванный, С. С. Михалкович | ||
| "... контексты позволяют в рамках одной модели работать с кодом на различных языках, как программирования, так ..." | ||
| Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация похожие документы |
| А. Р. Волков, М. У. Мандрыкин | ||
| "... текущей модели памяти заключается в том, что при встрече функции, возвращающей указатель на область памяти ..." | ||
| Том 32, № 1 (2020) | Модель мандатного контроля целостности в операционной системе KasperskyOS | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Буренков, Дмитрий Александрович Кулагин | ||
| "... Существующие модели мандатного контроля целостности в операционных системах накладывают ..." | ||
| Том 28, № 3 (2016) | Применение MapReduce для проверки соответствия моделей процессов и логов событий | Аннотация похожие документы |
| И. С. Шугуров, А. А. Мицюк | ||
| "... соответствия моделей процессов и логов событий является одним из ключевых направлений в области process mining ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Выбор интерфейса системы Isabelle для взаимодействия с большими языковыми моделями | Аннотация PDF (Rus) похожие документы |
| Михаил Усамович МАНДРЫКИН, Вадим Сергеевич МУТИЛИН, Александр Константинович ПЕТРЕНКО, Константин Сергеевич СОРОКИН, Иван Юрьевич ТЮКИН | ||
| "... В статье дается обзор существующих работ по использованию языковых моделей (Large Language Models ..." | ||
| 1 - 53 из 181 результатов | 1 2 3 4 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
