Сортировать по:
| Выпуск | Название | |
| Том 26, № 1 (2019) | Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Василий Николаевич Пашков | ||
| "... are considered. High availability is achieved by redundancy of controller instances, active switch-controller ..." | ||
| Том 20, № 6 (2013) | Формальная модель и задачи верификации программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий | ||
| "... and abstract data planes and control planes of these systems. In a SDN a centralized controller manages ..." | ||
| Том 27, № 4 (2020) | Темпоральная логика для программируемых логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач | ||
| "... on industrial controllers, also known as Programmable Logic Controllers (PLCs). A specific feature of a PLC ..." | ||
| Том 21, № 6 (2014) | О некоторых задачах реконфигурирования программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий | ||
| "... того как некоторые правила коммутации пакетов были удалены из таблиц коммутаторов (например, по ..." | ||
| Том 20, № 4 (2013) | Программно-конфигурируемые сети как этап эволюции сетевых технологий | Аннотация PDF (Rus) похожие документы |
| Артем Александрович Красотин, Игорь Вадимович Алексеев | ||
| "... статьи рассмотрены существующие библиотеки для программной реализации управления программно ..." | ||
| Том 25, № 2 (2018) | Организация мультиконтроллерного взаимодействия в программно-конфигурируемых сетях | Аннотация похожие документы |
| Сергей Владимирович Моржов, Игорь Вадимович Алексеев, Михаил Александрович Никитинский | ||
| "... controller. It was assumed that such an architecture should have an improved network performance ..." | ||
| Том 26, № 4 (2019) | Анализ безопасности контроллеров продольного движения во время набора высоты | Аннотация похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... , it turns out that simple proportional (P) controllers can be easily represented by HP programs, but more ..." | ||
| Том 22, № 6 (2015) | Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight | Аннотация PDF (Rus) похожие документы |
| А. А. Носков, М. А. Никитинский, И. В. Алексеев | ||
| "... equipment to software modules that run on a dedicated server, called the controller (or network operating ..." | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... Controllers on the example of constructing PLC-programs for controling a code lock. For these approaches we ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... «дискретных» программ логических контроллеров (ПЛК), обеспечивающего возможность анализа их корректности с ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... for programmable logic controllers. The language has been successfully used in a several reliability critical ..." | ||
| Том 20, № 2 (2013) | Моделирование, спецификация и построение программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| Том 20, № 4 (2013) | Построение и верификация ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... Предлагается подход к построению и верификации программ логических контроллеров (ПЛК) для ..." | ||
| Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... of Programmable Logic Controller programs. We consider an example of modeling and automated verification of PLC ..." | ||
| Том 25, № 3 (2018) | Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight | Аннотация похожие документы |
| Сергей Владимирович Моржов, Михаил Александрович Никитинский | ||
| "... for the Floodlight software defined network (SDN) controller. This application filters rules, which are added ..." | ||
| Том 26, № 1 (2019) | «Общие критерии» и безопасность программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич Петухов, Павел Львович Пилюгин | ||
| "... switches and controllers can involve either data or control components. In addition to traditional ..." | ||
| Том 21, № 2 (2014) | Построение IL-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... Предлагается подход к построению и верификации IL-программ логических контроллеров (ПЛК) для ..." | ||
| Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... Предлагается подход к построению и верификации LD-программ логических контроллеров (ПЛК) для ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... Статья посвящена подходу к построению и верификации «дискретных» программ логических контроллеров ..." | ||
| Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
| "... » программ логических контроллеров (ПЛК) по LTL-спецификации. Этот подход обеспечивает возможность анализа ..." | ||
| Том 28, № 4 (2021) | Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX | Аннотация PDF (Rus) похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... control systems. A closed-loop control system consists of a plant and a controller. While the plant ..." | ||
| Том 30, № 4 (2023) | Моделирование влияния внешних воздействий на процесс автоматизированной посадки БпЛА-квадрокоптера на подвижную платформу с использованием технического зрения | Аннотация PDF (Rus) похожие документы |
| Артём Валерьевич Рябинов, Антон Игоревич Савельев, Дмитрий Андреевич Аникин | ||
| "... on PID and polynomial controllers. As part of the research, methods for modeling external weather ..." | ||
| Том 21, № 4 (2014) | Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Бойцов | ||
| "... point, combined into one unit with a cluster controller. This system is aimed to be used by applications ..." | ||
| Том 31, № 3 (2024) | LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... is carried out into an imperative programming language ST for programmable logic controllers. When verifying ..." | ||
| Том 26, № 1 (2019) | Алгоритм минимизации количества правил маршрутизации в ПКС | Аннотация PDF (Rus) похожие документы |
| Иван Сергеевич Петров | ||
| "... Архитектура ПКС (программно-конфигурируемые сети) предоставляет новые возможности по управлению ..." | ||
| Том 26, № 1 (2019) | Построение бортовых сетей реального времени на основе технологии ПКС | Аннотация PDF (Rus) похожие документы |
| Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова | ||
| "... environment based on Ofsoftswitch13 software SDN switches and RUNOS controller. The experiments indicated ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... , commands) and in response to them form streams of output signals. Systems of this type include controllers ..." | ||
| Том 26, № 1 (2019) | Эффективный алгоритм разрешения коллизий в правилах политики безопасности | Аннотация PDF (Rus) похожие документы |
| Сeргей Владимирович Моржов, Валерий Анатольевич Соколов | ||
| "... by the example of the Floodlight SDN controller. ..." | ||
| Том 19, № 5 (2012) | Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей | Аннотация PDF (Rus) похожие документы |
| Сергей Игоревич Баландин, Андрей Михайлович Васильев, Никита Ильич Кожемякин, Денис Александрович Лаурэ, Илья Вячеславович Парамонов | ||
| "... проблем управления параллелизмом, специфичных для реализации данного механизма как на платформе Smart-M3 ..." | ||
| Том 20, № 4 (2013) | Алгоритм замещения агентов dataflow-сети на платформе Smart-M3 | Аннотация PDF (Rus) похожие документы |
| Андрей Михайлович Васильев, Илья Вячеславович Парамонов, Надежда Станиславовна Лагутина, Эльдар Интизамович Мамедов | ||
| "... Рассматривается алгоритм замещения агента dataflow-сети, реализованной на платформе Smart-M3 ..." | ||
| Том 21, № 5 (2014) | Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин, Михаил Сергеевич Тряхов | ||
| "... at a specified time moment and with the controller function norm minimum in the L∞(0, T) space and time control ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... is a concurrent finite state machine inside. The paradigm is intended for PLC (programmable logic controllers ..." | ||
| Том 26, № 1 (2019) | Об одном подходе к построению сетевого процессорного устройства | Аннотация PDF (Rus) похожие документы |
| Станислав Олегович Беззубцев, Вячеслав Викторович Васин, Дмитрий Юрьевич Волканов, Шынар Рустембековна Жайлауова, Владислав Александрович Мирошник, Юлия Александровна Скобцова, Руслан Леонидович Смелянский | ||
| "... коммутаторов программно-конфигурируемых сетей (ПКС). Представлен анализ архитектур известных сетевых ..." | ||
| Том 21, № 6 (2014) | Поддержка эволюции визуальных языков в платформе QReal | Аннотация PDF (Rus) похожие документы |
| Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин | ||
| "... описывает гибридный подход к миграции моделей, реализованный в DSM- платформе QReal, разрабатываемой на ..." | ||
| Том 18, № 3 (2011) | Модульная модель мультимедийного документа и особенности ее программной реализации | Аннотация PDF (Rus) похожие документы |
| Владислав Игоревич Январев | ||
| "... . Рассматривается архитектура соответствующей программной системы управления мультимедийными документами с акцентами ..." | ||
| Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... on it in the imperative ST-language for programmable logic controllers. The LTL-specification can be directly verified ..." | ||
| Том 29, № 3 (2022) | На пути к нейросетевой маршрутизации с верифицированными границами эффективности | Аннотация PDF (Rus) похожие документы |
| Игорь Петрович Бужинский, Анатолий Абрамович Шалыто | ||
| "... for such environments is often limited. In this work, we consider the problem of formally verifying a neural controller ..." | ||
| Том 24, № 6 (2017) | Семантические средства обеспечения безопасности в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый | ||
| "... under control. The software controller allows dynamic routing configuration inside the net depending ..." | ||
| Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... and convert input streams of data into output streams. Such information processing systems include controllers ..." | ||
| Том 26, № 1 (2019) | Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе | Аннотация PDF (Rus) похожие документы |
| Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин | ||
| "... сетевого периметра мультиоблачной платформы. Установлено, что наиболее острой является проблема ..." | ||
| Том 31, № 4 (2024) | Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... систем реального времени, выполняющихся на мультипроцессорных платформах. Чтобы использовать этот метод ..." | ||
| Том 20, № 3 (2013) | Преобразования задач оптимального управления | Аннотация PDF (Rus) похожие документы |
| Анатолий Михайлович Цирлин | ||
| "... Рассмотрены методы преобразования вариационных задач оптимального управления (замены фазовых ..." | ||
| Том 28, № 3 (2021) | Исследование нелинейных полиномиальных систем управления | Аннотация похожие документы |
| Сергей Николаевич Чуканов, Илья Станиславович Чуканов | ||
| "... для нелинейных полиномиальных систем управления. Для оценивания устойчивости используется аппарат ..." | ||
| Том 22, № 3 (2015) | КОРПОРАТИВНАЯ ДИНАМИКА СИСТЕМ ЛОГИСТИЧЕСКИХ УРАВНЕНИЙ С ЗАПАЗДЫВАНИЕМ И С БОЛЬШИМ ЗАПАЗДЫВАЮЩИМ УПРАВЛЕНИЕМ | Аннотация PDF (Rus) похожие документы |
| Н. Д. Быкова, С. А. Кащенко | ||
| "... запаздывающее управление. Показано, что при достаточно большом коэффициенте запаздывающего управления задача о ..." | ||
| Том 19, № 1 (2012) | Динамика уравнения Курамото с пространственно-распределенным управлением | Аннотация PDF (Rus) похожие документы |
| Илья Сергеевич Кащенко, Сергей Александрович Кащенко | ||
| Том 17, № 1 (2010) | Двухшаговый экстраградиентный метод для задачи управления ресурсами | Аннотация PDF (Rus) похожие документы |
| А. В. Зыкина, Н. В. Меленьчук | ||
| Том 23, № 6 (2016) | О минимизации конечных автоматов-преобразователей над полугруппами | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Г. Г. Темербекова | ||
| "... оперативном режиме, сетевых коммутаторов. Во многих случаях проблема верификации программ такого рода может ..." | ||
| Том 23, № 4 (2016) | Облачный сервис для интерактивного моделирования межтерриториальной торговли | Аннотация PDF (Rus) похожие документы |
| А. С. Величко, В. В. Грибова, Л. А. Федорищев | ||
| "... управления и визуализации – на облачной платформе IACPaaS. Связь между платформами осуществляется через ..." | ||
| Том 20, № 1 (2013) | Квазинормальные формы для уравнений Лэнга–Кобаяши с большим коэффициентом управления | Аннотация PDF (Rus) похожие документы |
| Елена Викторовна Григорьева, Илья Сергеевич Кащенко, Сергей Александрович Кащенко | ||
| Том 17, № 4 (2010) | Генерация тестовых данных на основе формального анализа данных конфигурации проекта | Аннотация PDF (Rus) похожие документы |
| А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын | ||
| Том 24, № 6 (2017) | Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Макаров | ||
| "... рассматривается подход к построению нелинейного следящего управления по выходу на конечном интервале времени ..." | ||
| Том 19, № 1 (2012) | Моделирование систем автоматического управления на основе полиномов Вольтерра | Аннотация PDF (Rus) похожие документы |
| Светлана Витальевна Солодуша | ||
| Том 21, № 5 (2014) | Динамика логистического уравнения с запаздыванием и запаздывающим управлением | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Кащенко | ||
| "... запаздыванием и с запаздывающим управлением. Показана возможность эффективного управления характеристиками ..." | ||
| Том 20, № 5 (2013) | Об одной задаче оптимального управления для нелинейного псевдогиперболического уравнения | Аннотация PDF (Rus) похожие документы |
| Турсун Камалдинович Юлдашев | ||
| "... Изучаются вопросы приближенного решения одной задачи оптимального управления для нелинейного ..." | ||
| Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
| И. В. Шошмина | ||
| "... за логическое управление всей системой как единым целым. Подход позволяет повысить качество ..." | ||
| Том 21, № 1 (2014) | Влияние запаздывающей обратной связи на устойчивость периодических орбит | Аннотация PDF (Rus) похожие документы |
| Виктория Григорьевна Богаевская, Илья Сергеевич Кащенко | ||
| "... без управления ровно один мультипликатор цикла расположен вне единичной окружности. Время запаздывания ..." | ||
| Том 17, № 1 (2010) | A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers | Аннотация PDF (Rus) похожие документы |
| П. Е. Ефимова | ||
| "... Проведён анализ автоматизированной системы управления заказами, применяемой в процессе ..." | ||
| Том 21, № 3 (2014) | Приближенное решение точечной подвижной задачи оптимального управления для нелинейного гиперболического уравнения | Аннотация PDF (Rus) похожие документы |
| Турсун Камалдинович Юлдашев | ||
| "... оптимального управления для системы нелинейного гиперболического и обыкновенного дифференциального уравнений с ..." | ||
| Том 26, № 1 (2019) | Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов | ||
| "... подход в обработке и управлении потоков данных в КС за счет разделения плоскости управления и передачи ..." | ||
| Том 17, № 1 (2010) | Приближение нулевого порядка асимптотики решения сингулярно возмущённой линейно-квадратичной задачи управления с разрывными коэффициентами | Аннотация PDF (Rus) похожие документы |
| Г. А. Курина, Т. Х. Нгуен | ||
| "... сингулярно возмущенной линейно-квадратичной задачи оптимального управления с разрывными коэффициентами ..." | ||
| Том 20, № 2 (2013) | Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вильгельм Александрович Битнер, Никита Владимирович Заборовский | ||
| "... управления, архитектурно-независимого и пригодного для описания программы любого языка программирования ..." | ||
| Том 22, № 1 (2015) | Асимптотика приближения нулевого порядка решения трехтемповой линейно-квадратичной задачи оптимального управления | Аннотация PDF (Rus) похожие документы |
| Маргарита Александровна Калашникова | ||
| "... линейно-квадратичной трехтемповой задачи оптимального управления методом прямой схемы. Алгоритм метода ..." | ||
| Том 23, № 6 (2016) | Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM | Аннотация PDF (Rus) похожие документы |
| Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко | ||
| "... конструкциями управления сценариями 뜨 защищенными компонентами и конструкциями обработки ошибок. Анализ и ..." | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
| Томас Баар, Сергей Михайлович Старолетов | ||
| Том 30, № 1 (2023) | Построение оптимальной схемы информационного обмена системы адаптивного управления движением группы беспилотных летательных аппаратов | Аннотация PDF (Rus) похожие документы |
| Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Дмитрий Эзрович Палей | ||
| "... В работе рассмотрена задача моделирования информационного обмена адаптивной системы управления ..." | ||
| Том 28, № 3 (2021) | Алгоритм нахождения обратной связи в задаче с ограничениями для одного класса нелинейных управляемых систем | Аннотация PDF (Rus) похожие документы |
| Михаил Геннадьевич Дмитриев, Зайнелхриет Нугманович Мурзабеков, Гулбану Абсаматовна Мирзахмедова | ||
| "... управление, где правая часть уравнений динамики линейна по управлению и линеаризуема в окрестности нулевого ..." | ||
| Том 26, № 4 (2019) | Методы специализации онтологии процессов, ориентированной на верификацию | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин | ||
| "... , принадлежащих различным предметным областям, таким как системы автоматического управления, телекоммуникации ..." | ||
| Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
| Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
| "... программы. Данный подход позволяет представить модель потока управления всей программы в целом как ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| Том 21, № 6 (2014) | Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова | ||
| "... important properties of the system related to it, such as the property that the controller agent correctly ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... управления, так и по потоку данных. Представлены шаги по преобразованию абстрактных структур данных (в том ..." | ||
| Том 31, № 1 (2024) | О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем | Аннотация PDF (Rus) похожие документы |
| Артем Васильевич Давыдов, Александр Александрович Ларионов, Надежда Владимировна Нагул | ||
| "... Статья посвящена разработке подхода к решению основных задач теории супервизорного управления ..." | ||
| Том 29, № 1 (2022) | Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС | Аннотация PDF (Rus) похожие документы |
| Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров | ||
| "... заданных ограничений целевой платформы. Разработан механизм обмена метриками с архитектурно-зависимым ..." | ||
| Том 13, № 1 (2006) | Иерархическая модель автоматных программ | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин | ||
| "... программированию. Приводится пример автоматной модели системы управления кофеваркой. ..." | ||
| Том 21, № 6 (2014) | Инструментальная поддержка встроенных языков в интегрированных средах разработки | Аннотация PDF (Rus) похожие документы |
| Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун | ||
| "... вмешательства. Мы продемонстрируем разрабатываемую платформу, позволяющую создавать инструменты для статического ..." | ||
| 1 - 75 из 114 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
