Сортировать по:
Выпуск | Название | |
Том 21, № 6 (2014) | Поддержка эволюции визуальных языков в платформе QReal | Аннотация PDF (Rus) похожие документы |
Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин | ||
"... описывает гибридный подход к миграции моделей, реализованный в DSM- платформе QReal, разрабатываемой на ..." | ||
Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
"... Данная статья посвящена разработке процедуры автоматизированной миграции Java-программ на новый ..." | ||
Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
"... необходимость в средствах обеспечения его корректности и безопасности. Абстрактные модели для ПКС могут решить ..." | ||
Том 24, № 1 (2017) | Перераспределение, производство и неравенство | Аннотация похожие документы |
Алексей Владимирович Захаров, Владимир Евгеньевич Захаров | ||
"... Мы используем бесконечномерную модель Лотки–Вольтерра для анализа производства, накопления и ..." | ||
Том 25, № 6 (2018) | Онтология процессов, ориентированная на верификацию | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова | ||
"... системы переходов. В интерливинговой модели она сводится к локальной операционной семантике отдельных ..." | ||
Том 17, № 3 (2010) | Составные редукции моделей Крипке и автоморфизмы | Аннотация PDF (Rus) похожие документы |
Ю. А. Белов | ||
"... Показано, что с помощью понятия фактор-модели, предложенного в [1], произвольные модели Крипке ..." | ||
Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
"... , одним из которых является различная степень детальности модели и реальной реализованной системы на языке ..." | ||
Том 21, № 4 (2014) | Исследование примитивных схем программ с процедурами | Аннотация PDF (Rus) похожие документы |
Римма Ивановна Подловченко | ||
"... В статье рассматриваются алгебраические модели программ с процедурами, предназначенные для ..." | ||
Том 23, № 2 (2016) | О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики | Аннотация PDF (Rus) похожие документы |
Т. В. Прохорова | ||
Том 23, № 2 (2016) | Коллективные потоковые вычисления: реляционные модели и алгоритмы | Аннотация PDF (Rus) похожие документы |
Д. А. Усталов | ||
"... краудсорсинга микрозадачами. Предложена модель коллективных потоковых вычислений на основе расширенной ..." | ||
Том 20, № 6 (2013) | Формальная модель и задачи верификации программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий | ||
"... модель ПКС, введен прототип формального языка спецификаций, поставлены задачи верификации моделей ПКС и ..." | ||
Том 18, № 4 (2011) | Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов | Аннотация PDF (Rus) похожие документы |
Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
"... Рассматривается модель, используемая при ручной разработке спецификаций приложения, созданная на ..." | ||
Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
"... Рассматривается подход к построению в терминах сетей Петри модели функции как элемента модели ..." | ||
Том 22, № 2 (2015) | Эффективность доступа к данным в СУБД DIM | Аннотация PDF (Rus) похожие документы |
Дмитрий Владимирович Антонов, В. С. Рублев | ||
"... и истории. Вводится описание предметной области при помощи объектно-динамической модели данных (OD ..." | ||
Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
"... необходимыми в процессе программирования новых алгоритмов анализа моделей программ, в частности, они могут ..." | ||
Том 24, № 2 (2017) | Построение высокоуровневой модели процесса по журналу событий | Аннотация похожие документы |
Антонина Константиновна Бегичева, Ирина Александровна Ломазова | ||
"... высокоуровневой модели по низкоуровневому журналу событий, т.е. задача автоматического синтеза модели процесса на ..." | ||
Том 24, № 4 (2017) | Использование журналов событий для локальной корректировки моделей процессов | Аннотация PDF (Rus) похожие документы |
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст | ||
"... соответствовать исходной модели системы. Между тем для поддержки системы очень важно иметь актуальную модель ..." | ||
Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... средства символьной проверки модели SMV при спецификации свойств на языке темпоральной логики линейного ..." | ||
Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... корректности методом проверки модели относительно средства автоматической верификации Cadence SMV. Выявляются ..." | ||
Том 21, № 6 (2014) | Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова | ||
"... инструмент проверки моделей SPIN. Протоколы агентов записаны на языке Promela, а свойства мультиагентной ..." | ||
Том 21, № 6 (2014) | Инкрементальный подход к технологии создания тестов для индустриальных проектов | Аннотация PDF (Rus) похожие документы |
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский | ||
"... заказчика с использованием формальных моделей, методов символьной верификации и автоматической генерации ..." | ||
Том 21, № 5 (2014) | Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов | Аннотация PDF (Rus) похожие документы |
Сергей Андреевич Шершаков | ||
"... специально для описания и проведения экспериментов по извлечению и анализу моделей процессов. Дается описание ..." | ||
Том 21, № 4 (2014) | Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
Андрей Эрикович Молчанов | ||
"... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..." | ||
Том 21, № 2 (2014) | Разрешимость эквивалентности в перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
"... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..." | ||
Том 21, № 2 (2014) | Неклассические релаксационные колебания в нейродинамике | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
"... Предлагается новая математическая модель функционирования отдельного нейрона, являющаяся ..." | ||
Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
"... проверка моделей (Bounded Model Checking, BMC), исследуется все более и более активно, поскольку он ..." | ||
Том 20, № 4 (2013) | Проектирование и разработка имитационной модели мультиклиентского кластера баз данных | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Бойцов | ||
"... организации облачных систем хранения данных, основанных на реляционной модели, а также предлагается концепция ..." | ||
Том 17, № 4 (2010) | Проверка моделей распределенных систем с помощью аффинного представления данных | Аннотация PDF (Rus) похожие документы |
Н. О. Гаранина | ||
Том 23, № 2 (2016) | Построение хранилища данных с динамической структурой | Аннотация PDF (Rus) похожие документы |
Ю. Н. Артамонов | ||
"... противоречие между представлением данных в реальной предметной области и моделями представления данных в ..." | ||
Том 23, № 4 (2016) | Облачный сервис для интерактивного моделирования межтерриториальной торговли | Аннотация PDF (Rus) похожие документы |
А. С. Величко, В. В. Грибова, Л. А. Федорищев | ||
"... В работе описана математическая модель торговых потоков между территориями региона или страны в ..." | ||
Том 23, № 4 (2016) | Компьютерное моделирование "Интеллектуального здания" | Аннотация PDF (Rus) похожие документы |
О. Ю. Марьясин, А. С. Колодкина, А. А. Огарков | ||
"... компьютерную модель "Интеллектуального здания", позволяющую моделировать работу основных инженерных подсистем ..." | ||
Том 23, № 4 (2016) | Резервное копирование с хранением в базе данных | Аннотация PDF (Rus) похожие документы |
С. М. Таранин | ||
"... содержит набор записей и представляет собой модель копируемой директории. Наличие такой модели позволяет ..." | ||
Том 23, № 5 (2016) | Эквивалентность обычной и модифицированной сети обобщенных нейронных элементов | Аннотация PDF (Rus) похожие документы |
Е. В. Коновалов | ||
"... предлагается новая нейросетевая модель — модифицированная сеть обобщенных нейронных элементов (МОНЭ-сеть ..." | ||
Том 23, № 6 (2016) | Подход к верификации семейства мультиагентных систем разрешения конфликтов | Аннотация PDF (Rus) похожие документы |
Н. О. Гаранина, Е. А. Сидорова | ||
"... верификации моделей и абстракции. Абстрактная репрезентативная модель семейства систем зависит от задающей их ..." | ||
Том 25, № 3 (2018) | Об оценке средней временной выгоды в вероятностных эколого-экономических моделях | Аннотация PDF (Rus) похожие документы |
Людмила Ивановна Родина, Илья Индусович Тютеев | ||
"... Рассматриваются эколого-экономические модели оптимального сбора ресурса, заданные ..." | ||
Том 17, № 4 (2010) | Безопасное тестирование симуляции систем с отказами и разрушением | Аннотация PDF (Rus) похожие документы |
И. Б. Бурдонов, А. С. Косачев | ||
Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
И. В. Шошмина | ||
"... Рассматривается проблема включения метода формальной верификации - проверки модели - в процесс ..." | ||
Том 27, № 2 (2020) | “VTMine for Visio”: инструмент графического моделирования в области Process Mining | Аннотация PDF (Rus) похожие документы |
Сергей Андреевич Шершаков | ||
"... «Извлечение и анализ моделей процессов» (Process Mining). Практическое применение методов и практик Process ..." | ||
Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
Н. В. Шилов | ||
"... системах в частности. Поэтому остается актуальным изучение и преподавание формальных моделей параллелизма и ..." | ||
Том 19, № 1 (2012) | Задача адаптации обобщенного нейронного элемента | Аннотация PDF (Rus) похожие документы |
Евгений Владиславович Коновалов | ||
"... Изучается перспективная нейронная модель - обобщенный нейронный элемент (ОНЭ). Эта модель носит ..." | ||
Том 19, № 2 (2012) | Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL | Аннотация PDF (Rus) похожие документы |
Павел Валерьевич Лебедев | ||
Том 21, № 6 (2014) | Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей | Аннотация PDF (Rus) похожие документы |
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон | ||
"... анализа из-за увеличения размера модели программы. Для решения этой проблемы можно использовать различные ..." | ||
Том 21, № 6 (2014) | Подход к автоматизации отладки поведенческих сценариев | Аннотация PDF (Rus) похожие документы |
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко | ||
Том 21, № 6 (2014) | Использование метода ограниченной проверки моделей для генерации тестов | Аннотация PDF (Rus) похожие документы |
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
"... . Данный метод во многом похож на метод ограниченной проверки моделей, который также предполагает ..." | ||
Том 21, № 5 (2014) | Аттрактор в кольцевой структуре обобщенных нейронных элементов автогенераторного типа | Аннотация PDF (Rus) похожие документы |
Евгений Владиславович Коновалов | ||
"... В статье изучается перспективная нейронная модель — обобщенный нейронный элемент (ОНЭ). Эта модель ..." | ||
Том 21, № 1 (2014) | Уравнения движения твердого тела с двумя упругими стержнями | Аннотация PDF (Rus) похожие документы |
Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин | ||
"... В работе построена математическая модель механической системы, состоящей из твердого тела и двух ..." | ||
Том 20, № 6 (2013) | Общие знания в хорошо структурированных системах с абсолютной памятью | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина | ||
"... В данной работе исследуется задача проверки моделей для логики общих знаний и неподвижных точек ..." | ||
Том 28, № 1 (2021) | Онлайн тестирование динамических реконфигураций по отношению к политикам адаптации | Аннотация PDF (Rus) похожие документы |
Фредерик Дадо, Жан-Филипп Гро, Ольга Борисовна Кушнаренко | ||
"... , описанными в правилах адаптации. Этот процесс основан на модели использования системы в ее среде, для ..." | ||
Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина | ||
"... Символьная проверка на модели основана на компактном представлении множеств. На данный момент есть ..." | ||
Том 26, № 2 (2019) | Анализ возможностей практического использования моделей решеточных газов | Аннотация PDF (Rus) похожие документы |
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин | ||
"... частности, при использовании моделей в виде систем дифференциальных уравнений с частными производными для ..." | ||
Том 18, № 3 (2011) | Модульная модель мультимедийного документа и особенности ее программной реализации | Аннотация PDF (Rus) похожие документы |
Владислав Игоревич Январев | ||
"... Предлагается подход к созданию модульной модели мультимедийного документа, сочетающей расширяемость ..." | ||
Том 18, № 1 (2011) | Динамика слабого взаимодействия в системе близких видов | Аннотация PDF (Rus) похожие документы |
Е. В. Горчакова | ||
Том 18, № 1 (2011) | Локальная динамика уравнения с сильно запаздывающей обратной связью | Аннотация PDF (Rus) похожие документы |
Д. В. Глазков | ||
Том 22, № 3 (2015) | СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? | Аннотация похожие документы |
А. К. Бегичева, И. А. Ломазова | ||
Том 23, № 5 (2016) | Взаимодействие двух волн в модели Ферми – Паста – Улама | Аннотация PDF (Rus) похожие документы |
С. Д. Глызин, С. А. Кащенко, А. О. Толбей | ||
Том 24, № 1 (2017) | Релаксационные автоколебания в системе из двух синаптически связанных импульсных нейронов | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Елена Александровна Марушкина | ||
"... Рассматривается математическая модель синаптического взаимодействия пары импульсных нейронных ..." | ||
Том 24, № 2 (2017) | О гипотезах Тэйта для дивизоров на расслоенном многообразии и его общем схемном слое в случае конечной характеристики | Аннотация PDF (Rus) похожие документы |
Татьяна Вячеславовна Прохорова | ||
"... дивизоров на арифметической модели K3 -- поверхности над достаточно большим глобальным полем конечной ..." | ||
Том 24, № 6 (2017) | К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций | Аннотация похожие документы |
Томас Баар | ||
"... разных диаграмм состояний. Некоторые из этих моделей могут оказаться эквивалентными, но во многих случаях ..." | ||
Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
"... -отклик, и поэтому в качестве математических моделей для них наиболее часто используются конечные автоматы ..." | ||
Том 27, № 1 (2020) | К вопросу об оценках распределения длин путей между узлами в глобальной сети | Аннотация PDF (Rus) похожие документы |
Александра Игоревна Кононова, Алексей Владиславович Городилов | ||
"... значения асимметрии и эксцесса для всех полученных распределений. Описана имитационная модель эксперимента ..." | ||
Том 29, № 4 (2022) | Анализ академической успеваемости студентов с использованием журналов событий электронной образовательной среды | Аннотация PDF (Rus) похожие документы |
Никита Денисович Шаимов, Ирина Александровна Ломазова, Алексей Александрович Мицюк, Илья Юрьевич Самоненко | ||
"... . Показано, как для построения моделей образовательного процесса на основе имеющихся данных могут быть ..." | ||
Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
"... , заданную правилами перевода операторов языка poST в Promela — входной язык средства проверки моделей SPIN ..." | ||
Том 25, № 5 (2018) | О методах верификации и разработки программ развития сельскохозяйственных территорий | Аннотация PDF (Rus) похожие документы |
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов | ||
"... модели предметной области с использованием языков описания моделей семейства PDDL. Описание конкретной ..." | ||
Том 27, № 4 (2020) | InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации | Аннотация PDF (Rus) похожие документы |
Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин | ||
Том 28, № 3 (2021) | Векторизация текстов на основе word-embedding моделей с использованием кластеризации | Аннотация PDF (Rus) похожие документы |
Виталий Иванович Юферев, Николай Алексеевич Разин | ||
"... фиксированной длины с использованием word-embedding моделей оправдано в тех случаях, когда векторизуемые тексты ..." | ||
Том 30, № 4 (2023) | Алгоритм предсказания связей в саморегулирующейся сети с адаптивной топологией на базе теории графов и машинного обучения | Аннотация PDF (Rus) похожие документы |
Евгений Юрьевич Павленко | ||
"... В статье представлена графовая модель функционирования сети с адаптивной топологией, где узлы сети ..." | ||
Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
"... линейного времени $Reg$-$LTL$ и предложили алгоритмы верификации моделей для новых расширений логик $Reg ..." | ||
Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
"... оказывается максимальной. Новизна подхода состоит в использовании метода проверки моделей для поиска ..." | ||
Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
"... использует систему CPN Tools [10], а для их верификации методом проверки моделей относительно свойств ..." | ||
Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
"... верифицирована с помощью инструмента проверки модели. Далее по LTL"=спецификации однозначно строится код ..." | ||
1 - 70 из 70 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)