Сортировать по:
| Выпуск | Название | |
| Том 13, № 1 (2006) | Свойства бисимуляции разметок в ограниченных сетях Петри | Аннотация PDF (Rus) похожие документы |
| В. А. Башкин | ||
| "... достижимым (среди которых могут быть и неограниченные). Доказана разрешимость расширения бисимуляции разметок ..." | ||
| Том 25, № 5 (2018) | Полипрограммы и бисимуляция полипрограмм | Аннотация похожие документы |
| Сергей Александрович Гречаник | ||
| "... человеческого восприятия. Мы также вводим понятие бисимуляции полипрограмм, на котором основано преобразование ..." | ||
| Том 27, № 2 (2020) | Аппроксимация ресурсных эквивалентностей в сетях Петри с невидимыми переходами | Аннотация похожие документы |
| Владимир Анатольевич Башкин | ||
| "... заменен другим, и при этом наблюдаемое поведение сети не изменится (относительно бисимуляции разметок ..." | ||
| Том 18, № 4 (2011) | Построение приближений бисимуляции в односчетчиковых сетях | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... приближения наибольшей бисимуляции в односчетчиковой сети, основанный на использовании однопериодической ..." | ||
| Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... элементарных действий, являются простейшей моделью вычислений, пригодной для описания поведения реагирующих ..." | ||
| Том 20, № 2 (2013) | Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц | Аннотация PDF (Rus) похожие документы |
| Иван Вадимович Губочкин | ||
| "... Рассмотрена задача оценки параметров авторегрессионной модели элементарных речевых единиц типа ..." | ||
| Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| Том 20, № 2 (2013) | Группы гомологий сети Петри конвейера | Аннотация PDF (Rus) похожие документы |
| Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина | ||
| "... Сеть Петри называется элементарной, если каждое ее место может содержать не более одной фишки. В ..." | ||
| Том 21, № 4 (2014) | Об аппроксимируемости корневыми классами HNN-расширений групп | Аннотация PDF (Rus) похожие документы |
| Елена Александровна Туманова | ||
| "... K (K-аппроксимируемости) частного случая общей конструкции HNN-расширения, когда связанные подгруппы ..." | ||
| Том 22, № 4 (2015) | О финитной отделимости подгрупп в расщепляемых расширениях | Аннотация PDF (Rus) похожие документы |
| А. А. Кряжева | ||
| "... В 1973 году Аленби и Грегорас доказали следующее утверждение. Пусть G – расщепляемое расширение ..." | ||
| Том 24, № 2 (2017) | Задачи оптимизации с усреднением по части переменных и условия их оптимальности в форме принципа максимума | Аннотация PDF (Rus) похожие документы |
| Анатолий Михайлович Цирлин | ||
| Том 23, № 6 (2016) | Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата | Аннотация PDF (Rus) похожие документы |
| А. Д. Ермаков, Н. В. Евтушенко | ||
| "... Расширенные автоматы активно используются при построении тестов для программного обеспечения на ..." | ||
| Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... , которые характеризуют поведение реагирующих систем, мы ввели новые расширения этих логик, имеющие две ..." | ||
| Том 30, № 1 (2023) | Расширение языка C для поддержки процедурно-параметрического полиморфизма | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Павел Владимирович Косов | ||
| "... Разработка программного обеспечения зачастую связана с расширением функциональности. Для повышения ..." | ||
| Том 31, № 4 (2024) | Устранение неоднозначностей в расширенных регулярных выражениях с обратными ссылками посредством применения правил переписывания | Аннотация похожие документы |
| Дарья Наильевна Исмагилова, Антонина Николаевна Непейвода | ||
| "... В работе рассматривается класс расширенных регулярных выражений с обратными ссылками, которые ..." | ||
| Том 15, № 1 (2008) | Объектное расширение PL/ODQL языка запросов ODQL для Динамической информационной модели DIM | Аннотация PDF (Rus) похожие документы |
| Д. С. Писаренко | ||
| "... Рассматривается задача создания вычислительно полного расширения объектно-динамического языка ..." | ||
| Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... нами было предложено семейство таких языков спецификаций, представляющих собой расширение темпоральных ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... poST является многообещающим процессно-ориентированным расширением языка структурированного текста (ST ..." | ||
| Том 21, № 5 (2014) | Характеристики сложности: кликовое число графа многогранника и число прямоугольного покрытия | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Максименко | ||
| Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
| "... Рассматриваются униформные системы взаимодействующих расширенных конечных автоматов, которые удобны ..." | ||
| Том 29, № 4 (2022) | Замечания о графах достижимости сетей Петри | Аннотация PDF (Rus) похожие документы |
| Юрий Анатольевич Белов | ||
| "... , или множества достижимых состояний, представляют множества всевозможных различных состояний сети ..." | ||
| Том 20, № 6 (2013) | Комплексы подслов и ниль-движения Гекке | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Горский | ||
| "... последовательности элементарных движений, редуцирующей слово Q в его произведение Демазюра δ(Q). Первый комплекс ..." | ||
| Том 25, № 5 (2018) | Представление универсальных гиперграфических автоматов автономными выходными сигналами | Аннотация похожие документы |
| Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов | ||
| "... доказательства относительно элементарной определимости рассматриваемых автоматов в классе полугрупп, которая ..." | ||
| Том 25, № 6 (2018) | Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня | Аннотация PDF (Rus) похожие документы |
| Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский | ||
| "... – элементарной спецификации и верификации простого алгоритма, работающего с вещественными числами, а ..." | ||
| Том 29, № 1 (2022) | LTL-спецификация ограниченных счётчиковых машин | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин | ||
| "... специальный псевдооператор обращения к предыдущим значениям переменных, задействованных в элементарных ..." | ||
| Том 19, № 6 (2012) | Дедуктивная верификация телекоммуникационных систем, представленных на языке Си | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... . Подход основан на расширении языка C декларативными операторами и сведении верификации параллельных ..." | ||
| Том 25, № 5 (2018) | О безопасности одно- и многоместных IFP-операторов | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович Дудаков | ||
| "... элементарно эквивалентные универсумы, в которых те же самые унарные IFP-операторы безопасными не являются ..." | ||
| Том 31, № 1 (2024) | Применение глубоких нейронных сетей для автоматического определения иронии в русскоязычных текстах | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Костерин, Илья Вячеславович Парамонов | ||
| "... расширением первого и дополнен ироничными предложениями с ресурса Wiktionary. Лучшие результаты ..." | ||
| Том 20, № 5 (2013) | Статистические характеристики управляемых систем, возникающие в различных моделях естествознания | Аннотация PDF (Rus) похожие документы |
| Яна Юрьевна Ларина, Людмила Ивановна Родина | ||
| "... Продолжено исследование расширения понятия инвариантности множеств относительно управляемых систем ..." | ||
| Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
| "... расширение включает метод верификации для финитной итерации над неизменяемыми массивами с выходом из цикла в ..." | ||
| Том 17, № 1 (2010) | Визуализация динамических графов для анализа сложных сетей | Аннотация PDF (Rus) похожие документы |
| С. Н. Пупырев, А. В. Тихонов | ||
| "... визуализации, основанные на физических аналогиях, обобщены и расширены на случай изменяющихся графов ..." | ||
| Том 22, № 2 (2015) | МП-автоматы с независимыми счётчиками | Аннотация PDF (Rus) похожие документы |
| Михаил Иосифович Дехтярь, Борис Николаевич Карлов | ||
| "... , расширенные ориентированными поляризованными валентностями. Они позволяют выразить как проективные, так и ..." | ||
| Том 19, № 5 (2012) | Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools | Аннотация PDF (Rus) похожие документы |
| Леонид Владимирович Дворянский, Ирина Александровна Ломазова | ||
| "... Вложенные сети Петри (NP-сети) — это расширение сетей Петри в рамках подхода “nets-within-nets ..." | ||
| Том 20, № 4 (2013) | Исследование ортогональности сигналов с вращением вектора поляризации | Аннотация PDF (Rus) похожие документы |
| Юрий Евгеньевич Боровков, Александр Николаевич Кренев, Виктор Николаевич Муравьев, Александр Прокофьевич Омельчук | ||
| "... указанных пакетов наблюдается тенденция расширения множества их частотных параметров, удовлетворяющих ..." | ||
| Том 20, № 3 (2013) | Преобразования задач оптимального управления | Аннотация PDF (Rus) похожие документы |
| Анатолий Михайлович Цирлин | ||
| "... системы (инварианта), за счет расширения задачи и перехода от исходной задачи к более простой, дающей ..." | ||
| Том 18, № 4 (2011) | Верификация Си-программ: объяснение условий корректности и стандартная библиотека | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Промский | ||
| "... РАН. Во-первых, аксиоматическая семантика языка C-kernel была расширена семантической разметкой. Метки ..." | ||
| Том 17, № 4 (2010) | Интеграция семантических верификаторов в компиляторы языка Java | Аннотация PDF (Rus) похожие документы |
| А. В. Клепинин, А. А. Мелентьев | ||
| "... расширений данных сред. Разработанный метод демонстрируется на некоторых примерах верификации программ. ..." | ||
| Том 28, № 1 (2021) | О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... : расширенная и упрощенная. Расширенная схема приближена к процессу анализа программы аналитиком, так как ..." | ||
| Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
| "... , что модель может быть расширена до обоснования соблюдения конфиденциальности в сетях с безопасными и ..." | ||
| Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
| Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
| "... описывает поведение библиотек с помощью системы расширенных конечных автоматов (РКА). Процедура миграции ..." | ||
| Том 28, № 3 (2021) | Алгоритм нахождения обратной связи в задаче с ограничениями для одного класса нелинейных управляемых систем | Аннотация PDF (Rus) похожие документы |
| Михаил Геннадьевич Дмитриев, Зайнелхриет Нугманович Мурзабеков, Гулбану Абсаматовна Мирзахмедова | ||
| "... синтеза строится с помощью принципа расширения, предложенного В. Ф. Кротовым и развитого В. И. Гурманом, и ..." | ||
| Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... , является расширение языка C-kernel циклами языка Cloud-Sisal-kernel. В результате был разработан язык C ..." | ||
| Том 32, № 2 (2025) | Моделирование примитивов синхронизации параллельных программ | Аннотация PDF (Rus) похожие документы |
| Олег Сергеевич Крюков, Анна Геннадьевна Волошко, Алексей Николаевич Ивутин | ||
| "... основе расширения сетей Петри, позволяющая автоматическое построение на основе последовательного кода и ..." | ||
| Том 21, № 5 (2014) | Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич Шершаков | ||
| "... основных концепций языка, а также принципов и механизмов его расширения. Рассматриваются вопросы интеграции ..." | ||
| Том 28, № 1 (2021) | Алгоритмы поиска с возвратом для построения гамильтонова разложения 4-регулярного мультиграфа | Аннотация PDF (Rus) похожие документы |
| Александр Васильевич Коростиль, Андрей Валерьевич Николаев | ||
| "... : алгоритм на основе последовательного расширения простого пути и алгоритм на основе процедуры цепного ..." | ||
| Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
| М. А. Беляев, В. М. Ицыксон | ||
| "... расширенную версию доклада на VI Международном семинаре “Program Semantics, Specification and Verification ..." | ||
| Том 24, № 5 (2017) | Конструктивное решение проблемы эллиптичности системы дифференциальных уравнений первого порядка | Аннотация PDF (Rus) похожие документы |
| Владимир Евгеньевич Балабаев | ||
| "... получить конструктивное решение расширенной задачи «о сумме квадратов», известной в алгебре. ..." | ||
| Том 25, № 1 (2018) | Краевые состояния и киральные солитоны в топологических полях Черна–Саймонса– Холла | Аннотация похожие документы |
| Агалар Магомед-Закиевич Агаларов, Тельман Алимагомедович Гаджимурадов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин | ||
| "... Рассматривается проблема многокомпонентного расширения (2+1)D-калибровочной топологической модели ..." | ||
| Том 27, № 4 (2020) | Синтез установочных последовательностей для автоматов с временными ограничениями | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
| "... приводит к расширению автоматных моделей временными переменными. В настоящей работе мы исследуем задачи ..." | ||
| Том 28, № 4 (2021) | Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX | Аннотация PDF (Rus) похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... программирования. В этой статье мы рассмотрим некоторые недавние расширения исчисления доказательств, применяемые ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... программного обеспечения. В статье представлена формальная операционная семантика Reflex программ, расширенных ..." | ||
| Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
| И. В. Марьясов, В. А. Непомнящий | ||
| "... представлено расширение данного подхода, которое включает наш метод верификации для финитной итерации над ..." | ||
| Том 26, № 3 (2019) | Сравнение диффеоморфных изображений на основе формирования персистентных гомологий | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Чуканов | ||
| "... комплексов. Предлагаемая структура расширенных баркодов с использованием когомологий повышает эффективность ..." | ||
| Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| "... внедрен и расширен метод семантической разметки условий корректности. Он позволяет порождать пояснения для ..." | ||
| Том 22, № 2 (2015) | Полнота динамики значений свойств данных в СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Петров, Вадим Сергеевич Рублев | ||
| "... расширение статической OD-модели путем включения в неё множеств алгоритмических процедур, описывающих ..." | ||
| Том 22, № 2 (2015) | Об одной задаче маршрутизации перемещений инструмента при листовой резке деталей | Аннотация PDF (Rus) похожие документы |
| Александр Александрович Петунин, Александр Георгиевич Ченцов, Павел Александрович Ченцов | ||
| "... использует специальное расширение основной задачи, при котором допустимость по предшествованию заменяется ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... предложенного метода в промышленной технологии. Статья представляет собой расширенную версию доклада на VI ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... рассмотренных формализмов. Статья представляет собой расширенную версию доклада на VI Международном семинаре ..." | ||
| Том 25, № 5 (2018) | Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий | ||
| "... семантики, предложенный для верификации C-light программ. Данное расширение включает в себя метод ..." | ||
| Том 27, № 2 (2020) | “VTMine for Visio”: инструмент графического моделирования в области Process Mining | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич Шершаков | ||
| "... особенности проектирования архитектуры программного расширения для применения в области Process Mining и ..." | ||
| Том 28, № 2 (2021) | Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений | Аннотация PDF (Rus) похожие документы |
| Хулио С Карраскель, Халил Мешерауи | ||
| "... между журналами событий и цветными сетями Петри (CPN) -- расширением сетей Петри, в котором фишки в ..." | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... доказательства. В статье мы сначала даём краткое введение в язык poST, процесс-ориентированное расширение языка ..." | ||
| Том 31, № 4 (2024) | Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
| "... -ориентированный язык, который является расширением языка ST из стандарта IEC 61131-3. В области разработки ..." | ||
| Том 26, № 1 (2019) | От главного редактора | Аннотация PDF (Rus) похожие документы |
| Валерий Анатольевич Соколов | ||
| "... Этот номер журнала “Моделирование и анализ информационных систем” содержит расширенные версии ..." | ||
| Том 29, № 1 (2022) | Инструменты численного моделирования и S-производные | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... Численное исследование различных процессов приводит к необходимости уточнения (расширения) границ ..." | ||
| Том 30, № 1 (2023) | О вычислительных конструкциях в функциональных пространствах | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... Численное исследование различных процессов приводит к необходимости уточнения (расширения) границ ..." | ||
| 1 - 66 из 66 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
