Сортировать по:
Выпуск | Название | |
Том 21, № 4 (2014) | Исследование примитивных схем программ с процедурами | Аннотация PDF (Rus) похожие документы |
Римма Ивановна Подловченко | ||
"... В статье рассматриваются алгебраические модели программ с процедурами, предназначенные для ..." | ||
Том 21, № 4 (2014) | Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
Андрей Эрикович Молчанов | ||
"... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..." | ||
Том 21, № 2 (2014) | Разрешимость эквивалентности в перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
"... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..." | ||
Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина | ||
"... диаграммах, ограниченная проверка моделей, использующая SAT-решатели, и различные алгебраические подходы к ..." | ||
Том 25, № 5 (2018) | О методах верификации и разработки программ развития сельскохозяйственных территорий | Аннотация PDF (Rus) похожие документы |
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов | ||
"... назначения. Поэтому актуальными задачами являются верификация уже созданных программ развития и разработка ..." | ||
Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... Обсуждаются вопросы построения технологии анализа корректности программ логических контроллеров ..." | ||
Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... построения программы управления кодовым замком. Для этих подходов оценивается удобство анализа программной ..." | ||
Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
"... программы. Данный подход позволяет представить модель потока управления всей программы в целом как ..." | ||
Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
"... необходимыми в процессе программирования новых алгоритмов анализа моделей программ, в частности, они могут ..." | ||
Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
"... задаётся модель исполнения абстрактной программы на абстрактном процессоре. На втором шаге на языке ..." | ||
Том 21, № 6 (2014) | Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей | Аннотация PDF (Rus) похожие документы |
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон | ||
"... анализа из-за увеличения размера модели программы. Для решения этой проблемы можно использовать различные ..." | ||
Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
"... К последовательным реагирующим системам относятся программы и устройства, которые работают с двумя ..." | ||
Том 19, № 1 (2012) | Об одном изоморфизме компактификаций схемы модулей векторных расслоений | Аннотация PDF (Rus) похожие документы |
Надежда Владимировна Тимофеева | ||
Том 22, № 5 (2015) | Изоморфизм компактификаций модулей векторных расслоений: неприведенные схемы модулей | Аннотация PDF (Rus) похожие документы |
Н. В. Тимофеева | ||
"... расслоений на неособой неприводимой проективной алгебраической поверхности S с поляризацией L, локально ..." | ||
Том 28, № 3 (2021) | Простой алгоритм отыскания неотрицательного базисного решения системы линейных алгебраических уравнений | Аннотация PDF (Rus) похожие документы |
Глеб Дмитриевич Степанов | ||
"... алгебраических уравнений. Эта задача, в частности, является наиболее трудоемким этапом знаменитого симплекс ..." | ||
Том 16, № 4 (2009) | Метод автоматического построения алгоритмов распознавания участков фазовых траекторий | Аннотация PDF (Rus) похожие документы |
Д. С. Коваленко | ||
Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
"... верификации используется модель, адекватная реальному поведению управляющей программы. ..." | ||
Том 28, № 1 (2021) | О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
"... Обфускация применяется для защиты программ от анализа и обратного проектирования. Несмотря на то ..." | ||
Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
"... извлечения трассы выполнения программ, визуализации моделей библиотек, взаимодействия с пользователем и ..." | ||
Том 19, № 5 (2012) | О теории алгебраических моделей программ с процедурами | Аннотация PDF (Rus) похожие документы |
Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
"... Алгебраические модели программ с процедурами предназначены для изучения семантических свойств ..." | ||
Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
"... параллельных переносимых программ. Исходный код функционально-потоковых программ транслируется в набор графов ..." | ||
Том 25, № 5 (2018) | Полипрограммы и бисимуляция полипрограмм | Аннотация похожие документы |
Сергей Александрович Гречаник | ||
"... Полипрограмма — это обобщение программы, допускающее множественность определений одной и той же ..." | ||
Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
"... необходимость в средствах обеспечения его корректности и безопасности. Абстрактные модели для ПКС могут решить ..." | ||
Том 19, № 5 (2012) | Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Кропачева, Александр Иванович Легалов | ||
"... Работа посвящена доказательству корректности параллельных программ на основе аксиоматического ..." | ||
Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
"... по LTL-спецификации». При верификации ПЛК-программы методом проверки модели возникает необходимость в ..." | ||
Том 20, № 4 (2013) | Построение и верификация ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
"... дискретной задачи приводятся ST-программа, ее LTL-спецификация и SMV-модель. Целью статьи является описание ..." | ||
Том 18, № 4 (2011) | Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN | Аннотация PDF (Rus) похожие документы |
Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока | ||
"... Предлагается метод тестирования безопасности С программ с использованием широко известного ..." | ||
Том 17, № 2 (2010) | Метод оценки частоты выполнения фрагментов кода последовательной программы | Аннотация PDF (Rus) похожие документы |
А. В. Шалимов | ||
"... Рассматривается задача о вычислении частоты выполнения фрагментов кода последовательной программы ..." | ||
Том 20, № 2 (2013) | Моделирование, спецификация и построение программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... Предлагается новый подход к построению надежных «дискретных» ПЛК-программ с таймерами ..." | ||
Том 24, № 4 (2017) | О задаче минимизации последовательных программ | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова | ||
"... Стандартные схемы программ — это одна из наиболее простых моделей последовательных императивных ..." | ||
Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
Николай Вячеславович Шилов | ||
"... Трансформационный подход к верификации программ был очень популярной темой исследований в первые ..." | ||
Том 28, № 4 (2021) | Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ | Аннотация PDF (Rus) похожие документы |
Андрей Михайлович Миронов | ||
"... В работе излагается новая математическая модель параллельных программ, на базе которой можно в ..." | ||
Том 24, № 1 (2017) | Перераспределение, производство и неравенство | Аннотация похожие документы |
Алексей Владимирович Захаров, Владимир Евгеньевич Захаров | ||
"... Мы используем бесконечномерную модель Лотки–Вольтерра для анализа производства, накопления и ..." | ||
Том 25, № 6 (2018) | Онтология процессов, ориентированная на верификацию | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова | ||
"... системы переходов. В интерливинговой модели она сводится к локальной операционной семантике отдельных ..." | ||
Том 17, № 3 (2010) | Составные редукции моделей Крипке и автоморфизмы | Аннотация PDF (Rus) похожие документы |
Ю. А. Белов | ||
"... Показано, что с помощью понятия фактор-модели, предложенного в [1], произвольные модели Крипке ..." | ||
Том 17, № 4 (2010) | Пример верификации в проекте F@BOOL@, основанном на булевских решателях | Аннотация PDF (Rus) похожие документы |
Н. В. Шилов | ||
"... Верифицирующий компилятор - это системная компьютерная программа, которая транслирует написанные ..." | ||
Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
"... , одним из которых является различная степень детальности модели и реальной реализованной системы на языке ..." | ||
Том 23, № 2 (2016) | О группе Брауэра арифметической модели многообразия над глобальным полем положительной характеристики | Аннотация PDF (Rus) похожие документы |
Т. В. Прохорова | ||
Том 23, № 2 (2016) | Коллективные потоковые вычисления: реляционные модели и алгоритмы | Аннотация PDF (Rus) похожие документы |
Д. А. Усталов | ||
"... краудсорсинга микрозадачами. Предложена модель коллективных потоковых вычислений на основе расширенной ..." | ||
Том 19, № 4 (2012) | Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах | Аннотация PDF (Rus) похожие документы |
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева | ||
"... Анализируются особенности преобразования функционально-потоковых параллельных программ в программы ..." | ||
Том 21, № 2 (2014) | Построение IL-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... каждой программной переменной. Кроме этого, по LTL-спецификации строится SMV-модель IL-программы ПЛК ..." | ||
Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
"... дискретной задачи приводятся LD-программа, ее LTL-спецификация и SMV-модель. Целью статьи является описание ..." | ||
Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
Игорь Сергеевич Ануреев | ||
"... для Reflex программ для того, чтобы гарантировать повышенную надежность создаваемого на его основе ..." | ||
Том 17, № 4 (2010) | Верификация и синтез программ сложения на базе правил корректности операторов | Аннотация PDF (Rus) похожие документы |
В. И. Шелехов | ||
"... Дедуктивная верификация и синтез программ двоичного сложения проводятся на базе системы правил ..." | ||
Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
"... Статья посвящена подходу к построению и верификации «дискретных» программ логических контроллеров ..." | ||
Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
М. С. Ушакова, А. И. Легалов | ||
"... В связи с увеличением сложности программного обеспечения корректность программы всё чаще ..." | ||
Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
"... корректности программ логических контроллеров с помощью метода проверки модели (Model Checking). В рамках ..." | ||
Том 20, № 6 (2013) | Формальная модель и задачи верификации программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий | ||
"... модель ПКС, введен прототип формального языка спецификаций, поставлены задачи верификации моделей ПКС и ..." | ||
Том 18, № 4 (2011) | Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов | Аннотация PDF (Rus) похожие документы |
Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
"... Рассматривается модель, используемая при ручной разработке спецификаций приложения, созданная на ..." | ||
Том 22, № 2 (2015) | Эффективность доступа к данным в СУБД DIM | Аннотация PDF (Rus) похожие документы |
Дмитрий Владимирович Антонов, В. С. Рублев | ||
"... и истории. Вводится описание предметной области при помощи объектно-динамической модели данных (OD ..." | ||
Том 24, № 2 (2017) | Построение высокоуровневой модели процесса по журналу событий | Аннотация похожие документы |
Антонина Константиновна Бегичева, Ирина Александровна Ломазова | ||
"... высокоуровневой модели по низкоуровневому журналу событий, т.е. задача автоматического синтеза модели процесса на ..." | ||
Том 24, № 4 (2017) | Использование журналов событий для локальной корректировки моделей процессов | Аннотация PDF (Rus) похожие документы |
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст | ||
"... соответствовать исходной модели системы. Между тем для поддержки системы очень важно иметь актуальную модель ..." | ||
Том 30, № 3 (2023) | Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) | Аннотация похожие документы |
Дмитрий Александрович Кондратьев | ||
"... Классическая дедуктивная верификация не ориентирована на доказательство некорректности программ ..." | ||
Том 29, № 3 (2022) | Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO | Аннотация PDF (Rus) похожие документы |
Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский | ||
Том 21, № 6 (2014) | Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова | ||
"... инструмент проверки моделей SPIN. Протоколы агентов записаны на языке Promela, а свойства мультиагентной ..." | ||
Том 21, № 6 (2014) | Поддержка эволюции визуальных языков в платформе QReal | Аннотация PDF (Rus) похожие документы |
Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин | ||
"... изменений в языке, модели на данном языке могут перестать соответствовать новой метамодели языка, что ведет ..." | ||
Том 21, № 6 (2014) | Инкрементальный подход к технологии создания тестов для индустриальных проектов | Аннотация PDF (Rus) похожие документы |
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский | ||
"... заказчика с использованием формальных моделей, методов символьной верификации и автоматической генерации ..." | ||
Том 21, № 5 (2014) | Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов | Аннотация 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 ..." | ||
Том 17, № 4 (2010) | Интеграция семантических верификаторов в компиляторы языка Java | Аннотация PDF (Rus) похожие документы |
А. В. Клепинин, А. А. Мелентьев | ||
"... Рассматривается способ статического семантического анализа исходных кодов программы на стадии ее ..." | ||
Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
Н. В. Шилов | ||
"... системах в частности. Поэтому остается актуальным изучение и преподавание формальных моделей параллелизма и ..." | ||
Том 19, № 1 (2012) | Задача адаптации обобщенного нейронного элемента | Аннотация PDF (Rus) похожие документы |
Евгений Владиславович Коновалов | ||
"... Изучается перспективная нейронная модель - обобщенный нейронный элемент (ОНЭ). Эта модель носит ..." | ||
1 - 75 из 99 результатов | 1 2 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)