Поиск


Сортировать по:     
 
Выпуск Название
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... written in the linear-time temporal logic LTL. Сведения об авторах: Кузьмин Егор Владимирович ..."
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... PLC are revealed. Сведения об авторах: Кузьмин Егор Владимирович, Ярославский государственный ..."
 
Том 19, № 5 (2012) Моделирование счетчиковых машин двухголовочными автоматами Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... automaton is proposed. Сведения об авторах: Кузьмин Егор Владимирович, Ярославский государственный ..."
 
Том 20, № 2 (2013) Моделирование, спецификация и построение программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... program variable. Сведения об авторах: Кузьмин Егор Владимирович, Ярославский государственный ..."
 
Том 21, № 4 (2014) Моделирование согласованного поведения ПЛК-датчиков Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов
"... consistent behavior of sensors. Сведения об авторах: Кузьмин Егор Владимирович, Ярославский государственный ..."
 
Том 21, № 2 (2014) Построение IL-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... университет им. П.Г. Демидова, аспирант; Кузьмин Егор Владимирович, Ярославский государственный университет ..."
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... . Сведения об авторах: Кузьмин Егор Владимирович, Ярославский государственный университет им. П.Г. Демидова ..."
 
Том 20, № 4 (2013) Построение и верификация ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... Модел. и анализ информ. систем. Т.20, №4 (2013) 5–22 c©Кузьмин Е.В., Соколов В.А., Рябухин Д ..."
 
Том 24, № 6 (2017) Об определении уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин
 
Том 25, № 6 (2018) Применение нейронных сетей для распознавания конструктивных элементов рельсов на магнитных и вихретоковых дефектограммах Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин, Владимир Анатольевич Башкин
 
Том 25, № 4 (2018) Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин
 
Том 13, № 1 (2006) Иерархическая модель автоматных программ Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин
 
Том 25, № 1 (2018) Существование и асимптотическая устойчивость периодического решения с внутренним переходным слоем в задаче со слабой линейной адвекцией Аннотация  PDF (Rus)  похожие документы
Николай Николаевич Нефедов, Егор Игоревич Никулин
 
Том 16, № 3 (2009) О множестве достижимости автоматных трехсчетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
 
Том 15, № 1 (2008) О разрешимости проблем ограниченности для счетчиковых машин Минского Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
 
Том 17, № 1 (2010) О множестве достижимости автоматных счетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
 
Том 17, № 2 (2010) О языках автоматных счетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
 
Том 14, № 1 (2007) Верификация автоматных программ с использованием LTL Аннотация  PDF (Rus)  похожие документы
К. А. Васильева, Е. В. Кузьмин
 
Том 22, № 2 (2015) Кэширование запросов к реляционной базе данных с использованием областей истинности Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Мосин, Сергей Владимирович Зыкин
"... авторах: Мосин Сергей Владимирович, Федеральное государственне бюджетное учреждение науки Институт ..."
 
Том 21, № 4 (2014) Устойчивость в задаче поиска минимального разреза в графе Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Козлов
"... problem. Сведения об авторе: Козлов Илья Владимирович, Московский физико-технический институт, кафедра ..."
 
Том 20, № 4 (2013) Автоматизация формирования табличных приложений Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Зыкин
"... algorithm are considered. Сведения об авторе: Зыкин Сергей Владимирович, Омский филиал Учреждения ..."
 
Том 22, № 1 (2015) Локальная динамика уравнения второго порядка с большим экспоненциально распределенным запаздыванием и существенным трением Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович Глазков
"... any given-type solution is possible. Сведения об авторе: Глазков Дмитрий Владимирович, Ярославский ..."
 
Том 18, № 2 (2011) О тензорных квадратах неприводимых представлений конечных почти простых групп. II Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Поляков
 
Том 18, № 4 (2011) Верификация Си-программ: объяснение условий корректности и стандартная библиотека Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Промский
 
Том 22, № 4 (2015) О выразительности подхода к построению ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов
"... (2015), 507–520. Об авторах: Кузьмин Егор Владимирович, orcid.org/0000-0003-0500-306X, доктор физ.-мат ..."
 
Том 23, № 2 (2016) Построение CFC-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
"... . Советская, 14, г. Ярославль, 150000 Россия, e-mail: dmitriy_ryabukhin@mail.ru Кузьмин Егор Владимирович ..."
 
Том 19, № 2 (2012) Уравнение кинетики измельчения с произвольным законом распределения времени ожидания Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Королев, Донат Олегович Бытев
"... is investigated. Сведения об авторах: Королев Леонид Владимирович, Ярославский государственный ..."
 
Том 19, № 2 (2012) Предельная степень апериодической устойчивости линейных систем и выбор параметров промышленных регуляторов Аннотация  PDF (Rus)  похожие документы
Александр Владимирович Татаринов, Анатолий Михайлович Цирлин
"... ” laws of regulation is found. Сведения об авторах: Татаринов Александр Владимирович, Московский ..."
 
Том 19, № 4 (2012) О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Юрий Владимирович Косолапов
"... математики. М.: Наука, 1977. 19. Алферов А.П., Зубов А.Ю., Кузьмин А.С., Черемушкин А.В. Основы крипто ..."
 
Том 19, № 5 (2012) Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Дворянский, Ирина Александровна Ломазова
"... verification. Сведения об авторах: Дворянский Леонид Владимирович, Национальный исследовательский университет ..."
 
Том 21, № 6 (2014) Разработка самоприменимой системы верификации. Теория и практика Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
"... Александрович Новосибирский государственный университет, студент; Промский Алексей Владимирович, Институт ..."
 
Том 21, № 1 (2014) Локальная динамика логистического уравнения, содержащего запаздывание Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Алешин, Сергей Александрович Кащенко
"... results have a good correlation. Сведения об авторах: Алешин Сергей Владимирович, Ярославский ..."
 
Том 20, № 5 (2013) Оценка числа решетчатых разбиений плоскости на полимино заданной площади Аннотация  PDF (Rus)  похожие документы
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина
"... Антон Владимирович, Владимирский государственный университет, канд. физ.-мат. наук, доцент Коломейкина ..."
 
Том 22, № 2 (2015) Эффективность доступа к данным в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович Антонов, В. С. Рублев
"... СУБД DIM. Статья публикуется в авторской редакции. Сведения об авторе: Антонов Дмитрий Владимирович ..."
 
Том 22, № 2 (2015) Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади Аннотация  PDF (Rus)  похожие документы
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина
"... -avoiding walks on a square lattice. Сведения об авторах: Шутов Антон Владимирович, Владимирский ..."
 
Том 20, № 2 (2013) Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов Аннотация  PDF (Rus)  похожие документы
Вильгельм Александрович Битнер, Никита Владимирович Заборовский
"... ; Заборовский Никита Владимирович, Московский физико-технический институт (государственный университет), лектор ..."
 
Том 24, № 1 (2017) Перераспределение, производство и неравенство Аннотация  похожие документы
Алексей Владимирович Захаров, Владимир Евгеньевич Захаров
"... : Захаров Алексей Владимирович, Национальный Исследовательский Университет "Высшая Школа Экономики", ул ..."
 
Том 24, № 2 (2017) Анализ типизированных зависимостей включения с неопределенными значениями Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин
"... Владимирович, orcid.org/0000-0002-0576-2149, д-р техн. наук, профессор, Институт математики им. С.Л. Соболева ..."
 
Том 18, № 4 (2011) Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев
 
Том 25, № 3 (2018) Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight Аннотация  похожие документы
Сергей Владимирович Моржов, Михаил Александрович Никитинский
 
Том 25, № 3 (2018) Об алгоритме расщепления носителя для индуцированных кодов Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов, Алексей Николаевич Шигаев
 
Том 25, № 2 (2018) Коды в диэдральной групповой алгебре Аннотация  PDF (Rus)  похожие документы
Кирилл Владимирович Веденёв, Владимир Михайлович Деундяк
 
Том 26, № 1 (2019) Эффективный алгоритм разрешения коллизий в правилах политики безопасности Аннотация  PDF (Rus)  похожие документы
Сeргей Владимирович Моржов, Валерий Анатольевич Соколов
 
Том 26, № 3 (2019) Об автоматическом анализе практической стойкости обфусцирующих преобразований Аннотация  PDF (Rus)  похожие документы
Петр Дмитриевич Борисов, Юрий Владимирович Косолапов
 
Том 26, № 4 (2019) Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
 
Том 20, № 6 (2013) Автоматическая верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев
"... the system. Сведения об авторах: Марьясов Илья Владимирович, Институт систем информатики им. А. П ..."
 
Том 22, № 2 (2015) Уравнение Колмогорова–Петровского–Пискунова с запаздыванием Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Алешин, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко
"... in the whole area of wave propagation. Сведения об авторах: Алешин Сергей Владимирович, Ярославский ..."
 
Том 24, № 2 (2017) Декодирование тензорного произведения MLD-кодов и приложения к кодовым криптосистемам Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Юрий Владимирович Косолапов, Евгений Андреевич Лелюк
"... .deundyak@gmail.com, Косолапов Юрий Владимирович, orcid.org/0000-0002-1491-524X, канд. техн. наук, Южный ..."
 
Том 25, № 5 (2018) Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий
 
Том 25, № 2 (2018) Организация мультиконтроллерного взаимодействия в программно-конфигурируемых сетях Аннотация  похожие документы
Сергей Владимирович Моржов, Игорь Вадимович Алексеев, Михаил Александрович Никитинский
 
Том 25, № 1 (2018) Особенности локальной динамики модели оптико-электронного осциллятора с запаздыванием Аннотация  PDF (Rus)  похожие документы
Елена Викторовна Григорьева, Сергей Александрович Кащенко, Дмитрий Владимирович Глазков
 
Том 25, № 1 (2018) Инвариантные характеристики вынужденных колебаний балки с продольным сжатием Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Михаил Владимирович Лоханин, Дмитрий Михайлович Сиротин
 
Том 19, № 4 (2012) Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева
"... Иванович, Сибирский федеральный университет, профессор. Непомнящий Олег Владимирович, Сибирский ..."
 
Том 19, № 6 (2012) Как разработать простое средство верификации систем реального времени Аннотация  PDF (Rus)  похожие документы
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов
"... Владимирович, Венский технологический университет, ассистент. Подымов Владислав Васильевич, Московский ..."
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
 
Том 26, № 1 (2019) Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции Аннотация  PDF (Rus)  похожие документы
Виталий Александрович Антоненко, Руслан Леонидович Смелянский, Артем Владимирович Плакунов, Павел Алексеевич Михеев
 
1 - 63 из 63 результатов

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

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