Сортировать по:
| Выпуск | Название | |
| Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
| "... and security. Abstract models for SDN can tackle these challenges. This paper addresses to confidentiality ..." | ||
| Том 26, № 1 (2019) | «Общие критерии» и безопасность программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич Петухов, Павел Львович Пилюгин | ||
| "... . The specifics of SDN (software defined network) security solutions is largely driven by fundamental ..." | ||
| Том 26, № 1 (2019) | Эффективный алгоритм разрешения коллизий в правилах политики безопасности | Аннотация PDF (Rus) похожие документы |
| Сeргей Владимирович Моржов, Валерий Анатольевич Соколов | ||
| "... network. Its task is to compare the network traffic passing through it with the established security rules ..." | ||
| Том 25, № 3 (2018) | Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight | Аннотация похожие документы |
| Сергей Владимирович Моржов, Михаил Александрович Никитинский | ||
| "... for the Floodlight software defined network (SDN) controller. This application filters rules, which are added ..." | ||
| Том 20, № 4 (2013) | Программно-конфигурируемые сети как этап эволюции сетевых технологий | Аннотация PDF (Rus) похожие документы |
| Артем Александрович Красотин, Игорь Вадимович Алексеев | ||
| "... , в частности - гибридизация MPLS и SDN. Значительное внимание уделяется протоколу OpenFlow. В конце ..." | ||
| Том 26, № 1 (2019) | Алгоритм минимизации количества правил маршрутизации в ПКС | Аннотация PDF (Rus) похожие документы |
| Иван Сергеевич Петров | ||
| "... Software-Defined Networking (SDN) is a network architecture that introduces a physical separation ..." | ||
| Том 22, № 6 (2015) | Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight | Аннотация PDF (Rus) похожие документы |
| А. А. Носков, М. А. Никитинский, И. В. Алексеев | ||
| "... to a paradigm shift towards software-defined networking (SDN), where network management level is separated from ..." | ||
| Том 24, № 6 (2017) | Семантические средства обеспечения безопасности в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый | ||
| "... , for example, we can define security policy as follows: confidential nodes can not send data to the public ..." | ||
| Том 26, № 1 (2019) | Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов | ||
| "... Nowadays new innovative approaches based on the technology of software defined networks (SDN ..." | ||
| Том 26, № 1 (2019) | Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Василий Николаевич Пашков | ||
| "... The architecture of the high availability distributed control plane for SDN/OpenFlow networks ..." | ||
| Том 20, № 6 (2013) | Формальная модель и задачи верификации программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий | ||
| "... Software-defined networking (SDN) is an approach to building computer networks that separate ..." | ||
| Том 23, № 6 (2016) | Разработка и анализ защищенности фрагмента информационно-телекоммуникационной системы, реализующей концепцию Интернета вещей | Аннотация PDF (Rus) похожие документы |
| В. А. Александров, В. А. Десницкий, Д. Ю. Чалый | ||
| "... , the information security problem is urgent. To create a protected module of information-telecommunication system ..." | ||
| Том 25, № 2 (2018) | Организация мультиконтроллерного взаимодействия в программно-конфигурируемых сетях | Аннотация похожие документы |
| Сергей Владимирович Моржов, Игорь Вадимович Алексеев, Михаил Александрович Никитинский | ||
| "... Software Defined Networking (SDN) is a promising paradigm for network management ..." | ||
| Том 26, № 1 (2019) | Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции | Аннотация PDF (Rus) похожие документы |
| Виталий Александрович Антоненко, Руслан Леонидович Смелянский, Артем Владимирович Плакунов, Павел Алексеевич Михеев | ||
| Том 24, № 4 (2017) | Исследование одной марковской модели угроз безопасности компьютерных систем | Аннотация PDF (Rus) похожие документы |
| Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
| "... In this work, a model for computer system security threats formulated in terms of Markov processes ..." | ||
| Том 21, № 4 (2014) | Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый | ||
| "... We consider while-language programs with variables of two security types: low and high. Security ..." | ||
| Том 20, № 4 (2013) | Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах | Аннотация PDF (Rus) похожие документы |
| Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый | ||
| Том 26, № 1 (2019) | Построение бортовых сетей реального времени на основе технологии ПКС | Аннотация PDF (Rus) похожие документы |
| Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова | ||
| "... . To remove these drawbacks, in this paper an approach is proposed to use software-defined networks (SDN ..." | ||
| Том 25, № 6 (2018) | Даже простые процессы π-исчисления трудны для анализа | Аннотация PDF (Rus) похожие документы |
| Марат Мазен Аббас, Владимир Анатольевич Захаров | ||
| "... -calculus) are widely used for checking the information security properties of cryptographic protocols ..." | ||
| Том 26, № 1 (2019) | Разработка и исследование алгоритмов формирования правил для узлов сетевой безопасности в мультиоблачной платформе | Аннотация PDF (Rus) похожие документы |
| Денис Игоревич Парфёнов, Ирина Павловна Болодурина, Вадим Александрович Торчин | ||
| "... As part of the study, existing solutions aimed at ensuring the security of the network perimeter ..." | ||
| Том 25, № 4 (2018) | Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров | Аннотация PDF (Rus) похожие документы |
| Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов | ||
| "... personal data and provide personalized service, we must focus our attention on security. We proposed ..." | ||
| Том 26, № 1 (2019) | От главного редактора | Аннотация PDF (Rus) похожие документы |
| Валерий Анатольевич Соколов | ||
| "... on the technology of building modern computer networks and information infrastructures SDN and NFV. SDN (Software ..." | ||
| Том 25, № 2 (2018) | Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам | Аннотация PDF (Rus) похожие документы |
| Татьяна Рудольфовна Шмелёва | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| Том 26, № 1 (2019) | Иерархические периферийные вычисления | Аннотация PDF (Rus) похожие документы |
| Руслан Леонидович Смелянский | ||
| "... computing and virtualization based on SDN&NFV technologies. The presentation considers the requirements ..." | ||
| Том 26, № 1 (2019) | Об одном подходе к построению сетевого процессорного устройства | Аннотация PDF (Rus) похожие документы |
| Станислав Олегович Беззубцев, Вячеслав Викторович Васин, Дмитрий Юрьевич Волканов, Шынар Рустембековна Жайлауова, Владислав Александрович Мирошник, Юлия Александровна Скобцова, Руслан Леонидович Смелянский | ||
| Том 31, № 4 (2024) | Применение TLA+/TLC для моделирования и верификации криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... Interacting in open networks carries certain risks. To ensure the information security of network ..." | ||
| Том 26, № 4 (2019) | Анализ безопасности контроллеров продольного движения во время набора высоты | Аннотация похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... безопасности системы управления. По этой причине мы переводим Matlab/Simulink®-модель в гибридную программу (НР ..." | ||
| Том 18, № 4 (2011) | Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока | ||
| "... , the security of such programs should be thoroughly tested, i.e., it is important to develop techniques ..." | ||
| Том 21, № 6 (2014) | О некоторых задачах реконфигурирования программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий | ||
| "... The designing of network update algorithms is urgent for the development of SDN control software ..." | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
| Томас Баар, Сергей Михайлович Старолетов | ||
| "... свойств безопасности кибер-физических систем (CPS). Проверка таких свойств в интерактивном режиме может ..." | ||
| Том 20, № 3 (2013) | Преобразования задач оптимального управления | Аннотация PDF (Rus) похожие документы |
| Анатолий Михайлович Цирлин | ||
| "... Рассмотрены методы преобразования вариационных задач оптимального управления (замены фазовых ..." | ||
| Том 25, № 5 (2018) | О безопасности одно- и многоместных IFP-операторов | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович Дудаков | ||
| "... В работе изучается безопасность унарных операторов инфляционной неподвижной точки (IFP-операторов ..." | ||
| Том 28, № 3 (2021) | Исследование нелинейных полиномиальных систем управления | Аннотация похожие документы |
| Сергей Николаевич Чуканов, Илья Станиславович Чуканов | ||
| "... для нелинейных полиномиальных систем управления. Для оценивания устойчивости используется аппарат ..." | ||
| Том 30, № 4 (2023) | Быстрое вычисление циклических сверток и их приложения в кодовых схемах асимметричного шифрования | Аннотация похожие документы |
| Андрей Николаевич Сушко, Борис Яковлевич Штейнберг, Кирилл Владимирович Веденев, Антон Анатольевич Глухих, Юрий Владимирович Косолапов | ||
| "... rate on code parameters for small security levels and to extrapolate these results to large values ..." | ||
| Том 27, № 1 (2020) | Марковская модель совместных киберугроз и ее применение для выбора оптимального набора средств защиты информации | Аннотация PDF (Rus) похожие документы |
| Адиль Аскарович Касенов, Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
| "... at evaluating a security level of the computer system, we investigate in detail its random distribution ..." | ||
| Том 22, № 3 (2015) | КОРПОРАТИВНАЯ ДИНАМИКА СИСТЕМ ЛОГИСТИЧЕСКИХ УРАВНЕНИЙ С ЗАПАЗДЫВАНИЕМ И С БОЛЬШИМ ЗАПАЗДЫВАЮЩИМ УПРАВЛЕНИЕМ | Аннотация PDF (Rus) похожие документы |
| Н. Д. Быкова, С. А. Кащенко | ||
| "... запаздывающее управление. Показано, что при достаточно большом коэффициенте запаздывающего управления задача о ..." | ||
| Том 24, № 6 (2017) | К критериям оценки безопасности нулевых ссылок при инициализации объекта | Аннотация похожие документы |
| Александр Валентинович Когтенков | ||
| "... нулевого указателя; безопасность нулевых ссылок; безопасность пустых ссылок; инициализация объектов ..." | ||
| Том 19, № 1 (2012) | Динамика уравнения Курамото с пространственно-распределенным управлением | Аннотация PDF (Rus) похожие документы |
| Илья Сергеевич Кащенко, Сергей Александрович Кащенко | ||
| Том 17, № 1 (2010) | Двухшаговый экстраградиентный метод для задачи управления ресурсами | Аннотация PDF (Rus) похожие документы |
| А. В. Зыкина, Н. В. Меленьчук | ||
| Том 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) похожие документы |
| И. В. Шошмина | ||
| "... за логическое управление всей системой как единым целым. Подход позволяет повысить качество ..." | ||
| Том 19, № 5 (2012) | Управление параллелизмом в задаче автоматической замены агента dataflow-сети на платформе Smart-M3 и в интернете вещей | Аннотация PDF (Rus) похожие документы |
| Сергей Игоревич Баландин, Андрей Михайлович Васильев, Никита Ильич Кожемякин, Денис Александрович Лаурэ, Илья Вячеславович Парамонов | ||
| "... проблем управления параллелизмом, специфичных для реализации данного механизма как на платформе Smart-M3 ..." | ||
| Том 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, № 5 (2014) | Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин, Михаил Сергеевич Тряхов | ||
| "... от начальных условий и параметров краевой задачи. Решены следующие задачи оптимального управления ..." | ||
| Том 21, № 4 (2014) | Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Бойцов | ||
| "... входа, объединенных в одно целое и работающих под управлением контроллера кластера. Данная система ..." | ||
| Том 21, № 3 (2014) | Приближенное решение точечной подвижной задачи оптимального управления для нелинейного гиперболического уравнения | Аннотация PDF (Rus) похожие документы |
| Турсун Камалдинович Юлдашев | ||
| "... оптимального управления для системы нелинейного гиперболического и обыкновенного дифференциального уравнений с ..." | ||
| Том 17, № 1 (2010) | Приближение нулевого порядка асимптотики решения сингулярно возмущённой линейно-квадратичной задачи управления с разрывными коэффициентами | Аннотация PDF (Rus) похожие документы |
| Г. А. Курина, Т. Х. Нгуен | ||
| "... сингулярно возмущенной линейно-квадратичной задачи оптимального управления с разрывными коэффициентами ..." | ||
| Том 20, № 2 (2013) | Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вильгельм Александрович Битнер, Никита Владимирович Заборовский | ||
| "... управления, архитектурно-независимого и пригодного для описания программы любого языка программирования ..." | ||
| Том 22, № 1 (2015) | Асимптотика приближения нулевого порядка решения трехтемповой линейно-квадратичной задачи оптимального управления | Аннотация PDF (Rus) похожие документы |
| Маргарита Александровна Калашникова | ||
| "... линейно-квадратичной трехтемповой задачи оптимального управления методом прямой схемы. Алгоритм метода ..." | ||
| Том 23, № 6 (2016) | Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM | Аннотация PDF (Rus) похожие документы |
| Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко | ||
| "... конструкциями управления сценариями 뜨 защищенными компонентами и конструкциями обработки ошибок. Анализ и ..." | ||
| Том 30, № 1 (2023) | Построение оптимальной схемы информационного обмена системы адаптивного управления движением группы беспилотных летательных аппаратов | Аннотация PDF (Rus) похожие документы |
| Леонид Николаевич Казаков, Евгений Павлович Кубышкин, Дмитрий Эзрович Палей | ||
| "... В работе рассмотрена задача моделирования информационного обмена адаптивной системы управления ..." | ||
| Том 31, № 3 (2024) | LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... окружения программ логического управления предложена LTL-спецификация ограниченно недетерминированного ..." | ||
| Том 28, № 3 (2021) | Алгоритм нахождения обратной связи в задаче с ограничениями для одного класса нелинейных управляемых систем | Аннотация PDF (Rus) похожие документы |
| Михаил Геннадьевич Дмитриев, Зайнелхриет Нугманович Мурзабеков, Гулбану Абсаматовна Мирзахмедова | ||
| "... управление, где правая часть уравнений динамики линейна по управлению и линеаризуема в окрестности нулевого ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... в нескольких системах управления с повышенными требованиями к надежности, например, в системе ..." | ||
| Том 26, № 4 (2019) | Методы специализации онтологии процессов, ориентированной на верификацию | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин | ||
| "... , принадлежащих различным предметным областям, таким как системы автоматического управления, телекоммуникации ..." | ||
| Том 18, № 3 (2011) | Модульная модель мультимедийного документа и особенности ее программной реализации | Аннотация PDF (Rus) похожие документы |
| Владислав Игоревич Январев | ||
| "... . Рассматривается архитектура соответствующей программной системы управления мультимедийными документами с акцентами ..." | ||
| Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
| Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
| "... программы. Данный подход позволяет представить модель потока управления всей программы в целом как ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| Том 28, № 4 (2021) | Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX | Аннотация PDF (Rus) похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... областей применения KeYmaeraX являются системы управления с замкнутым контуром. Система управления с ..." | ||
| Том 20, № 2 (2013) | Мультиагентная задача о роботах в пространстве: сложностнóй, информационный и криптографический аспекты | Аннотация PDF (Rus) похожие документы |
| Антон Юрьевич Бернштейн, Николай Вячеславович Шилов | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... управления, так и по потоку данных. Представлены шаги по преобразованию абстрактных структур данных (в том ..." | ||
| Том 31, № 1 (2024) | О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем | Аннотация PDF (Rus) похожие документы |
| Артем Васильевич Давыдов, Александр Александрович Ларионов, Надежда Владимировна Нагул | ||
| "... Статья посвящена разработке подхода к решению основных задач теории супервизорного управления ..." | ||
| Том 13, № 1 (2006) | Иерархическая модель автоматных программ | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин | ||
| "... программированию. Приводится пример автоматной модели системы управления кофеваркой. ..." | ||
| Том 27, № 1 (2020) | Иерархическая кластеризация как метод снижения размерности в задаче оптимизации инвестиционного портфеля Марковица | Аннотация PDF (Rus) похожие документы |
| Анатолий Юрьевич Полетаев, Елена Михайловна Спиридонова | ||
| "... data dimensionality (as a consequence of the large number of securities available for investment ..." | ||
| Том 19, № 4 (2012) | Сравнительный анализ производительности транспортных протоколов Trickles и TCP в условиях высокой нагрузки на коммуникационную сеть | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Никитинский, Дмитрий Юрьевич Чалый | ||
| "... Исследуется производительность протокола Trickles, который предназначен для управления передачей ..." | ||
| Том 27, № 4 (2020) | Темпоральная логика для программируемых логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач | ||
| "... ). Особенностью программ ПЛК является цикл управления: 1) считываются входы, 2) изменяются состояния ПЛК и 3 ..." | ||
| Том 31, № 4 (2024) | Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... безопасности (планируемости) систем реального времени сформулировано с помощью линейной темпоральной логики LTL ..." | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... построения программы управления кодовым замком. Для этих подходов оценивается удобство анализа программной ..." | ||
| 1 - 75 из 122 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
