Preview

Моделирование и анализ информационных систем

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 23, № 2 (2016) Построение CFC-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
"... and verification of discrete PLC-programs by an LTL-specification. The approach provides a possibility of PLC ..."
 
Том 21, № 2 (2014) Построение IL-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... of each program variable. In addition, an SMV-model of a PLC IL-program is constructed according to LTL ..."
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... and verification of PLC LD-programs is shown by an example. For a discrete problem, we give a LD-program, its LTL ..."
 
Том 20, № 4 (2013) Построение и верификация ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... , an SMV-model of a PLC-program is constructed according to LTL-specification. Then, the SMV-model ..."
 
Том 22, № 4 (2015) О выразительности подхода к построению ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов
"...  by LTL-specification. This approach provides an ability of correctness analysis of PLC-programs ..."
 
Том 20, № 2 (2013) Моделирование, спецификация и построение программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... A new approach to construction of reliable discrete PLC-programs with timers — programming based ..."
 
Том 21, № 4 (2014) Моделирование согласованного поведения ПЛК-датчиков Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов
"... by LTL-specification. This approach provides the availability of correctness analysis of PLC-programs ..."
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... of Programmable Logic Controller programs. We consider an example of modeling and automated verification of PLC ..."
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... Controllers on the example of constructing PLC-programs for controling a code lock. For these approaches we ..."
 
Том 14, № 1 (2007) Верификация автоматных программ с использованием LTL Аннотация  PDF (Rus)  похожие документы
К. А. Васильева, Е. В. Кузьмин
"... . The practical result of the work is an application of the tool SPIN and the temporal logic LTL for specification ..."
 
Том 17, № 4 (2010) Проектирование программных бортовых систем управления с поддержкой верификации Аннотация  PDF (Rus)  похожие документы
И. В. Шошмина
"... разрабатываемого программного обеспечения и гарантировать соответствие задаваемой спецификации. Предлагаемая ..."
 
Том 25, № 5 (2018) О выразительных возможностях некоторых расширений линейной темпоральной логики Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... behaviour. We discovered that a restricted variant LP-1-LT L of our logic is more expressive than LTL ..."
 
Том 17, № 4 (2010) Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени Аннотация  PDF (Rus)  похожие документы
И. В. Коннов, В. А. Захаров
"... by exploring an extended state space. In this paper we show that the technique is applicable to LTL model ..."
 
Том 23, № 6 (2016) Формализм и языковые инструменты для описания семантики программных библиотек Аннотация  PDF (Rus)  похожие документы
В. М. Ицыксон
"... Статья посвящена вопросам спецификации структуры и поведения программных библиотек. Описываются ..."
 
Том 24, № 6 (2017) Поэтология: задачи построения тезауруса и спецификации стихового текста Аннотация  PDF (Rus)  похожие документы
Владимир Николаевич Бойков, Мария Сергеевна Каряева
"... тезауруса и спецификации текста стихотворного произведения в поэтологии.   ..."
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
"... Цель проекта “Платформенно-независимый подход к формальной спецификации и верификации стандартных ..."
 
Том 21, № 6 (2014) Разработка самоприменимой системы верификации. Теория и практика Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
 
Том 20, № 3 (2013) Преобразования задач оптимального управления Аннотация  PDF (Rus)  похожие документы
Анатолий Михайлович Цирлин
"... переменных), позволяющие упростить их решение. К ним относятся методы уменьшения размерности задачи за счет ..."
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
"... спецификации поведения в распределенных системах и коммуникационных протоколах. В работе рассматривается метод ..."
 
Том 19, № 6 (2012) Дедуктивная верификация телекоммуникационных систем, представленных на языке Си Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
 
Том 19, № 6 (2012) Дедуктивная верификация протокола скользящего окна Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий
"... кадров. На языке системы верификации PVS описаны спецификация этого протокола с помощью машины состояний ..."
 
Том 20, № 6 (2013) Формальная модель и задачи верификации программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий
"... модель ПКС, введен прототип формального языка спецификаций, поставлены задачи верификации моделей ПКС и ..."
 
Том 18, № 4 (2011) Верификация Си-программ: объяснение условий корректности и стандартная библиотека Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Промский
"... ошибок. Во-вторых, было специфицировано подмножество стандартной библиотеки языка Си. Спецификации ..."
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
"... специализированного языка выполнимых спецификаций Atoment для разработки средств верификации программ, который ..."
 
Том 18, № 4 (2011) Типовые примеры использования языка Atoment Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... Язык Atoment - предметно-ориентированный язык выполнимых спецификаций, применяемый для описания ..."
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
 
Том 25, № 5 (2018) Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий
 
Том 20, № 3 (2013) Параметрический резонанс в гармоническом осцилляторе с переменной частотой собственных колебаний Аннотация  PDF (Rus)  похожие документы
Павел Николаевич Нестеров
"... В статье изучается явление возникновения новых резонансов в гармоническом осцилляторе с переменной ..."
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
 
Том 24, № 6 (2017) Элиминация инвариантов финитных итераций над массивами при верификации Си программ Аннотация  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... спецификации. Корнем дерева является информационный граф программы с предусловием и постусловием, которые ..."
 
Том 18, № 1 (2011) Геометрические оценки в полиномиальной интерполяции Аннотация  PDF (Rus)  похожие документы
М. В. Невский
"... непрерывных функций n переменных. ..."
 
Том 23, № 3 (2016) Интерполяционные формулы для функций с большими градиен- тами в пограничном слое и их применение Аннотация  похожие документы
А. И. Задорин
"... к существенным погрешностям. В работе предполагается, что интерполируемая функция одной переменной ..."
 
Том 20, № 3 (2013) Диффузионный хаос в задаче «реакция–диффузия» c гантелеобразной областью определения пространственной переменной Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Павел Леонидович Шокин
"... . Показано, что увеличение размерности связано с усложнением распределения по пространственной переменной ..."
 
Том 14, № 2 (2007) Построение асимптотического разложения решения уравнения нейрона, описываемого дифференциальным уравнением с переменным запаздыванием Аннотация  PDF (Rus)  похожие документы
И. В. Парамонов
"... Исследуется дифференциальное уравнение с переменным запаздыванием, описывающее динамику ..."
 
Том 22, № 5 (2015) Особенности динамики уравнения Колмогорова–Петровского–Пискунова с отклонением по пространственной переменной Аннотация  PDF (Rus)  похожие документы
С. В. Алешин, С. Д. Глызин, С. А. Кащенко
"... отклонением по пространственной переменной (уравнение Фишера–Колмогорова–Петровского–Пискунова с отклонением ..."
 
Том 24, № 2 (2017) Задачи оптимизации с усреднением по части переменных и условия их оптимальности в форме принципа максимума Аннотация  PDF (Rus)  похожие документы
Анатолий Михайлович Цирлин
"... от части переменных. Показано, что если в этих задачах существует решение, то функция Лагранжа на нем ..."
 
Том 26, № 4 (2019) Операционная семантика аннотированных Reflex программ Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... аннотациями, описывающими формальную спецификацию программных требований, как необходимый базис для применения ..."
 
Том 23, № 6 (2016) Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
"... путей, переменных и т.п., остается практически неизвестной; более того, как известно, такие тесты не ..."
 
Том 17, № 4 (2010) Безопасное тестирование симуляции систем с отказами и разрушением Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... Статья посвящена тестированию соответствия (конформности) реализации требованиям спецификации. Идея ..."
 
Том 21, № 6 (2014) Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова
"... -agent data analysis system are expressed in the liner time logic LTL. We carried out several experiments ..."
 
Том 18, № 4 (2011) Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий
"... для задания исходной спецификации телекоммуникационных систем, таких как кольцевые протоколы и ..."
 
Том 17, № 4 (2010) Проверка моделей распределенных систем с помощью аффинного представления данных Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина
"... функциями над целочисленными переменными. ..."
 
Том 19, № 6 (2012) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
"... международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (Third Workshop on ..."
 
Том 20, № 6 (2013) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
"... семинара «Семантика, спецификация и верификация программ: теория и приложения» (Fourth Workshop on Program ..."
 
Том 18, № 4 (2011) Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов Аннотация  PDF (Rus)  похожие документы
Сергей Николаевич Баранов, Всеволод Павлович Котляров
"... Рассматривается модель, используемая при ручной разработке спецификаций приложения, созданная на ..."
 
Том 17, № 4 (2010) Верификация и синтез программ сложения на базе правил корректности операторов Аннотация  PDF (Rus)  похожие документы
В. И. Шелехов
"... на язык спецификаций системы автоматического доказательства PVS. Доказательство на PVS оказалось на ..."
 
Том 19, № 3 (2012) О некоторых результатах по геометрии выпуклых и их приложениях Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
"... приложения к вопросам, связанным с полиномиальной интерполяцией функций многих переменных. ..."
 
Том 26, № 4 (2019) Методы специализации онтологии процессов, ориентированной на верификацию Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин
"... Удобная для пользователя формальная спецификация и верификация параллельных и распределённых систем ..."
 
Том 23, № 6 (2016) Бифуркации периодических решений уравнения Мэкки–Гласса Аннотация  PDF (Rus)  похожие документы
Е. П. Кубышкин, А. Р. Морякова
"... . Уравнение, записанное в безразмерных переменных, содержит малый параметр при производной, что делает его ..."
 
Том 24, № 6 (2017) Прототип статического тайп-чекера для языка программирования Jolie Аннотация  похожие документы
Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков
"... обеспечения. Под верификацией предполагается доказательство соответствия поведения программы ее спецификации ..."
 
Том 20, № 3 (2013) Пространственные особенности высокомодовых бифуркаций в распределенном логистическом уравнении Аннотация  PDF (Rus)  похожие документы
Илья Сергеевич Кащенко
"... случае двумерного пространственного переменного. Рассмотрены два важных для приложений вида функции ..."
 
Том 17, № 1 (2010) О множестве достижимости автоматных счетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... машины с ограничением на количество перемен направлений роста/убывания значений счетчиков и множество ..."
 
Том 24, № 3 (2017) Cингулярно возмущенная эллиптическая задача Дирихле с трехзонным пограничным слоем Аннотация  PDF (Rus)  похожие документы
Вера Александровна Белошапко
"... масштабом  погранслойных  переменных  и различным характером поведения решения в разных зонах ..."
 
Том 25, № 5 (2018) Неупорядоченные колебания в нейросети из трех осцилляторов с запаздывающей вещательной связью Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александровна Марушкина
"... нормальная форма данной системы. Эта нормальная форма сводится к четырехмерной системе, две переменных ..."
 
Том 24, № 6 (2017) К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций Аннотация  похожие документы
Томас Баар
"... деградации моделей, поскольку она позволяет измерить фактическое отдаление спецификации поведения системы ..."
 
Том 25, № 2 (2018) О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов Аннотация  PDF (Rus)  похожие документы
Алевтина Борисовна Глонина, Василий Викторович Балашов
"... корректность предложенного подхода. Из спецификаций на МВС РВ был выделен ряд требований, применимых к моделям ..."
 
Том 21, № 1 (2014) Асимптотика установившихся режимов конечно-разностных аппроксимаций логистического уравнения с запаздыванием и с малой диффузией Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко, Валерий Евгеньевич Фролов
"... Исследуется динамика конечно-разностной аппроксимации по пространственным переменным ..."
 
Том 14, № 3 (2007) Ортогональное проектирование и минимальная линейная интерполяция на n-мерном кубе Аннотация  PDF (Rus)  похожие документы
М. В. Невский
"... Пусть H - ортогональный проектор на пространство многочленов от n переменных степени < 1 ..."
 
Том 17, № 2 (2010) Учет запаздывания в цепочке связи между осцилляторами Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, Е. О. Киселева
"... переменных. Анализируются фазовые перестройки нормальной формы при изменении параметров, характеризую¬щих ..."
 
Том 23, № 1 (2016) Асимптотические разложения собственных чисел первой краевой задачи для сингулярно возмущенного дифференциального уравнения второго порядка с точками поворота Аннотация  PDF (Rus)  похожие документы
С. А. Кащенко
"... том, что коэффициент при первой производной уравнения является знаком переменной. Это приводит к ..."
 
Том 23, № 5 (2016) Сингулярно возмущенная эллиптическая задача Дирихле с кратным корнем вырожденного уравнения Аннотация  PDF (Rus)  похожие документы
В. Ф. Бутузов, В. А. Белошапко
"... переменные имеют другой масштаб, погранслойный ряд строится с помощью нестандартного алгоритма ..."
 
Том 23, № 5 (2016) Асимптотическое интегрирование одного линейного дифференциального уравнения второго порядка с запаздыванием Аннотация  PDF (Rus)  похожие документы
П. Н. Нестеров
"... второго порядка с запаздыванием при стремлении независимой переменной к бесконечности. Следует отметить ..."
 
Том 21, № 6 (2014) Поведенческая идентификация программ Аннотация  PDF (Rus)  похожие документы
Максим Викторович Баклановский, Артур Рафаэльевич Ханов
"... В работе описан алгоритм выделения шаблонов переменной длины из последовательностей системных ..."
 
Том 21, № 3 (2014) Приближенное решение точечной подвижной задачи оптимального управления для нелинейного гиперболического уравнения Аннотация  PDF (Rus)  похожие документы
Турсун Камалдинович Юлдашев
"... переменных сводит обобщенное решение начально-граничной задачи к счетной системе нелинейных интегральных ..."
 
Том 21, № 2 (2014) Неклассические релаксационные колебания в нейродинамике Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
"... переменными и представляющая собой модификацию известной модели ФитцХью–Нагумо. Исследуются вопросы о ..."
 
Том 19, № 6 (2012) Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Владимир Михайлович Ицыксон
"... деревьев (АСД) за счет использования дополнительной информации о слайсах АСД по переменным программы. Это ..."
 
Том 20, № 5 (2013) Об одной задаче оптимального управления для нелинейного псевдогиперболического уравнения Аннотация  PDF (Rus)  похожие документы
Турсун Камалдинович Юлдашев
"... . Использование метода разделения переменных в виде ряда Фурье сводит обобщенное решение начально-граничной задачи ..."
 
Том 20, № 2 (2013) Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. II Аннотация  PDF (Rus)  похожие документы
Мария Валентиновна Бутузова
"... малый параметр ε² при второй производной по пространственной переменной и √ ε при первой производной ..."
 
Том 22, № 1 (2015) Катастрофа голубого неба в системах с неклассическими релаксационными колебаниями Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
"... двумя медленными переменными. Характерная особенность рассматриваемых систем состоит в том, что в них ..."
 
Том 23, № 1 (2016) Асимптотические разложения собственных значений периодической и антипериодической краевых задач для сингулярно возмущенных дифференциальных уравнений второго порядка с точками поворота Аннотация  PDF (Rus)  похожие документы
С. А. Кащенко
"... предположение состоит в том, что коэффициент при первой производной является знаком переменной, то есть имеются ..."
 
Том 25, № 3 (2018) Изопериметрические и функциональные неравенства Аннотация  PDF (Rus)  похожие документы
Владимир Степанович Климов
"... )), интегрант (f(t,p) , (t in [0, infty),; p in mathbb{R}^n)) -- функция, (B)-измеримая по переменному ..."
 
Том 25, № 6 (2018) Онтология процессов, ориентированная на верификацию Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова
"... разделяемых переменных, списком действий над этими переменными, которые изменяют их значения, списком каналов ..."
 
Том 21, № 4 (2014) Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый
"... Рассматриваются программы, написанные на while-языке, с переменными двух типов безопасности ..."
 
Том 21, № 3 (2014) Об одной оптимальной кубатурной формуле для классов функций, задаваемых модулями непрерывности Аннотация  PDF (Rus)  похожие документы
Мирганд Шабозович Шабозов
"... решетчатым расположением узлов дается точное решение задачи на широких классах функций двух переменных. Ранее ..."
 
1 - 75 из 98 результатов 1 2 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)