Сортировать по:
| Выпуск | Название | |
| Том 23, № 6 (2016) | Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата | Аннотация PDF (Rus) похожие документы |
| А. Д. Ермаков, Н. В. Евтушенко | ||
| "... functional faults in EFSM implementations. In this paper, an approach is proposed for deriving complete tests ..." | ||
| Том 24, № 4 (2017) | Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко | ||
| "... with the guaranteed fault coverage for a complete possibly nondeterministic FSM with a single clock; such Timed FSMs ..." | ||
| Том 22, № 2 (2015) | МП-автоматы с независимыми счётчиками | Аннотация PDF (Rus) похожие документы |
| Михаил Иосифович Дехтярь, Борис Николаевич Карлов | ||
| "... Магазинные автоматы с независимыми счётчиками (МПНС) объединяют возможности МП-автоматов и сетей ..." | ||
| Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... Конечные автоматы, задающие преобразования потоков входных сигналов в последовательности ..." | ||
| Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... нами было предложено семейство таких языков спецификаций, представляющих собой расширение темпоральных ..." | ||
| Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... -отклик, и поэтому в качестве математических моделей для них наиболее часто используются конечные автоматы ..." | ||
| Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
| "... Рассматриваются униформные системы взаимодействующих расширенных конечных автоматов, которые удобны ..." | ||
| Том 27, № 4 (2020) | Синтез установочных последовательностей для автоматов с временными ограничениями | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
| "... Идентификация состояний является хорошо известной задачей теории конечных автоматов, и ..." | ||
| Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
| Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
| "... behaviour by using a system of extended finite state machines (EFSM). This paper outlines the metamodel ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... . Каждый процесс представляет собой конечный автомат. Эта парадигма предназначена для разработчиков ПЛК ..." | ||
| Том 19, № 5 (2012) | Моделирование счетчиковых машин двухголовочными автоматами | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... Проводится моделирование работы счетчиковых машин Минского с помощью двухголовочных автоматов. ..." | ||
| Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
| Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
| "... использовать диаграммы состояний UML с семантикой, определяемой иерархическими автоматами. Для верификации СРВ ..." | ||
| Том 21, № 4 (2014) | Клеточно-локальный алгоритм выделения и оценки изменений на бинарных изображениях | Аннотация PDF (Rus) похожие документы |
| Алексей Абрамович Короткин, Александр Андреевич Максимов | ||
| "... предлагается архитектура двумерного клеточного автомата с диффузионным взаимодействием клеток. Доказана ..." | ||
| Том 25, № 5 (2018) | Представление универсальных гиперграфических автоматов автономными выходными сигналами | Аннотация похожие документы |
| Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов | ||
| "... Гиперграфическими автоматами называются автоматы, у которых множества состояний и выходных символов ..." | ||
| Том 23, № 6 (2016) | О минимизации конечных автоматов-преобразователей над полугруппами | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Г. Г. Темербекова | ||
| "... Автоматы-преобразователи над полугруппами можно использовать в качестве модели последовательных ..." | ||
| Том 23, № 6 (2016) | Построение каскадной параллельной композиции временных автоматов с использованием BALM-II | Аннотация PDF (Rus) похожие документы |
| М. Л. Громов, Н. В. Шабалдина | ||
| "... автоматов. Построение такой композиции можно свести к поэтапному построению бинарной параллельной композиции ..." | ||
| Том 21, № 3 (2014) | Импульсный нейрон и нейронный клеточный автомат асимптотически эквивалентны | Аннотация PDF (Rus) похожие документы |
| Валерий Дмитриевич Копылов, Ольга Александровна Дунаева, Михаил Леонидович Мячин | ||
| "... импульсных нейронов и нейронных клеточных автоматов различных типов (автогенераторов и детекторов) при ..." | ||
| Том 14, № 2 (2007) | Устойчивый колебательный режим в нейронной сети обобщенных нейронных автоматов-детекторов | Аннотация PDF (Rus) похожие документы |
| Е. В. Коновалов | ||
| "... Рассматривается новая модель нейронного элемента - обобщенный нейронный автомат (ОНА). Эта модель ..." | ||
| Том 14, № 3 (2007) | Задача о пачечном воздействии на обобщенный нейронный автомат | Аннотация PDF (Rus) похожие документы |
| Е. В. Коновалов | ||
| "... Рассматривается новая модель нейронного элемента - обобщенный нейронный автомат (ОНА). Эта модель ..." | ||
| Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров | ||
| "... Конечные преобразователи, двухленточные автоматы и биавтоматы — взаимосвязанные вычислительные ..." | ||
| Том 26, № 4 (2019) | Анализ безопасности контроллеров продольного движения во время набора высоты | Аннотация похожие документы |
| Томас Баар, Хорст Шульте | ||
| Том 24, № 4 (2017) | О задаче минимизации последовательных программ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова | ||
| "... эквивалентности и конечные детерминированные автоматы-преобразователи, работающие над полугруппами подстановок ..." | ||
| Том 25, № 2 (2018) | О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов | Аннотация PDF (Rus) похожие документы |
| Алевтина Борисовна Глонина, Василий Викторович Балашов | ||
| "... временных автоматов с остановкой таймеров. По вычислению сети автоматов предлагается строить временную ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... частности, конечные автоматы-преобразователи реального времени (Timed Finite State Machines, TFSMs). Однако ..." | ||
| Том 26, № 1 (2019) | Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Василий Николаевич Пашков | ||
| Том 23, № 2 (2016) | Метод сбалансированного выбора механизмов обеспечения отказоустойчивости для распределённых вычислительных систем | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Волканов | ||
| "... constraints of system cost. The article describes considered fault tolerance mechanisms. The mathematical ..." | ||
| Том 21, № 4 (2014) | Об аппроксимируемости корневыми классами HNN-расширений групп | Аннотация PDF (Rus) похожие документы |
| Елена Александровна Туманова | ||
| "... K (K-аппроксимируемости) частного случая общей конструкции HNN-расширения, когда связанные подгруппы ..." | ||
| Том 22, № 4 (2015) | О финитной отделимости подгрупп в расщепляемых расширениях | Аннотация PDF (Rus) похожие документы |
| А. А. Кряжева | ||
| "... В 1973 году Аленби и Грегорас доказали следующее утверждение. Пусть G – расщепляемое расширение ..." | ||
| Том 24, № 2 (2017) | Задачи оптимизации с усреднением по части переменных и условия их оптимальности в форме принципа максимума | Аннотация PDF (Rus) похожие документы |
| Анатолий Михайлович Цирлин | ||
| Том 19, № 4 (2012) | Обобщенные асинхронные системы | Аннотация PDF (Rus) похожие документы |
| Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов | ||
| "... асинхронная система. В ней введены дистрибутивные асинхронные автоматы. Доказано, что сети Петри и системы ..." | ||
| Том 16, № 3 (2009) | О множестве достижимости автоматных трехсчетчиковых машин | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. Ю. Чалый | ||
| Том 17, № 1 (2010) | О множестве достижимости автоматных счетчиковых машин | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. Ю. Чалый | ||
| Том 24, № 4 (2017) | О пространственной ограниченности клеточных Р-сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... клеточных автоматов и предназначен для моделирования мультиагентных систем с динамической пространственной ..." | ||
| Том 30, № 1 (2023) | Расширение языка C для поддержки процедурно-параметрического полиморфизма | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Павел Владимирович Косов | ||
| "... Разработка программного обеспечения зачастую связана с расширением функциональности. Для повышения ..." | ||
| Том 21, № 6 (2014) | Использование метода ограниченной проверки моделей для генерации тестов | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... В настоящее время автоматическая генерация тестов исследуется все более и более активно, поскольку ..." | ||
| Том 21, № 6 (2014) | Инкрементальный подход к технологии создания тестов для индустриальных проектов | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский | ||
| "... Статья посвящена описанию технологии, позволяющей сократить трудозатраты на создание тестов для ..." | ||
| Том 19, № 6 (2012) | Дедуктивная верификация протокола скользящего окна | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий | ||
| Том 27, № 4 (2020) | InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин | ||
| "... then share our experience with the formal specification and verification of HotStuff, a leader-based fault ..." | ||
| Том 31, № 4 (2024) | Устранение неоднозначностей в расширенных регулярных выражениях с обратными ссылками посредством применения правил переписывания | Аннотация похожие документы |
| Дарья Наильевна Исмагилова, Антонина Николаевна Непейвода | ||
| "... В работе рассматривается класс расширенных регулярных выражений с обратными ссылками, которые ..." | ||
| Том 15, № 1 (2008) | Объектное расширение PL/ODQL языка запросов ODQL для Динамической информационной модели DIM | Аннотация PDF (Rus) похожие документы |
| Д. С. Писаренко | ||
| "... Рассматривается задача создания вычислительно полного расширения объектно-динамического языка ..." | ||
| Том 18, № 4 (2011) | Построение приближений бисимуляции в односчетчиковых сетях | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... Односчетчиковые сети представляют собой конечные автоматы с дополнительным целочисленным ..." | ||
| Том 18, № 4 (2011) | Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
| "... соответствия исходным требованиям. По успешно верифицированной модели генерируется код приложения и код тестов ..." | ||
| Том 31, № 4 (2024) | Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... Эта статья посвящена использованию метода верификации моделей для точного теста планируемости ..." | ||
| Том 22, № 1 (2015) | Метод логистической функции для нахождения аналитических решений нелинейных дифференциальных уравнений | Аннотация похожие документы |
| Николай Алексеевич Кудряшов | ||
| Том 21, № 5 (2014) | Характеристики сложности: кликовое число графа многогранника и число прямоугольного покрытия | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Максименко | ||
| Том 24, № 6 (2017) | К критериям оценки безопасности нулевых ссылок при инициализации объекта | Аннотация похожие документы |
| Александр Валентинович Когтенков | ||
| "... тестов для сравнения решений этой проблемы. Наконец, она демонстрирует применение этих тестов к ..." | ||
| Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) похожие документы |
| К. А. Васильева, Е. В. Кузьмин | ||
| "... исходной программе. Набор взаимодействующих автоматов, описывающий логику программы, уже является ..." | ||
| Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
| И. В. Коннов, В. А. Захаров | ||
| "... распределённых программ. Задача проверки выполнимости формул ILTL сводится к задаче проверки пустоты автомата ..." | ||
| Том 20, № 2 (2013) | Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... Вводится и исследуется специфический формализм счетчиковых автоматов с одним неограниченным ..." | ||
| Том 26, № 2 (2019) | Анализ возможностей практического использования моделей решеточных газов | Аннотация PDF (Rus) похожие документы |
| Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин | ||
| "... автоматов. Привлекательность данных математических объектов обоснована прежде всего тем, что во многих ..." | ||
| Том 13, № 1 (2006) | Свойства бисимуляции разметок в ограниченных сетях Петри | Аннотация PDF (Rus) похожие документы |
| В. А. Башкин | ||
| "... исследуются специальные виды бисимз'ляции для случая ограниченных сетей, в том числе расширение бисимуляции ..." | ||
| Том 23, № 6 (2016) | Подход к верификации семейства мультиагентных систем разрешения конфликтов | Аннотация PDF (Rus) похожие документы |
| Н. О. Гаранина, Е. А. Сидорова | ||
| "... конечными детерминированными автоматами в качестве атомарных формул. Мы показываем, что предложенный метод ..." | ||
| Том 19, № 6 (2012) | Дедуктивная верификация телекоммуникационных систем, представленных на языке Си | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... . Подход основан на расширении языка C декларативными операторами и сведении верификации параллельных ..." | ||
| Том 31, № 1 (2024) | Применение глубоких нейронных сетей для автоматического определения иронии в русскоязычных текстах | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Костерин, Илья Вячеславович Парамонов | ||
| "... расширением первого и дополнен ироничными предложениями с ресурса Wiktionary. Лучшие результаты ..." | ||
| Том 25, № 2 (2018) | Организация мультиконтроллерного взаимодействия в программно-конфигурируемых сетях | Аннотация похожие документы |
| Сергей Владимирович Моржов, Игорь Вадимович Алексеев, Михаил Александрович Никитинский | ||
| "... , scalability, fault tolerance and interoperability. These problems are especially acute for large data center ..." | ||
| Том 20, № 5 (2013) | Статистические характеристики управляемых систем, возникающие в различных моделях естествознания | Аннотация PDF (Rus) похожие документы |
| Яна Юрьевна Ларина, Людмила Ивановна Родина | ||
| "... Продолжено исследование расширения понятия инвариантности множеств относительно управляемых систем ..." | ||
| Том 19, № 6 (2012) | Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов | Аннотация PDF (Rus) похожие документы |
| Александр Валентинович Колчин, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко, Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров | ||
| "... трассам, а также включает средства анализа результатов исполнения тестов, позволяя автоматизировать полный ..." | ||
| Том 24, № 4 (2017) | О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Комар | ||
| "... процессора и типа проводимого теста. В статье приводится методология проведения измерений с помощью ..." | ||
| Том 17, № 4 (2010) | Генерация тестовых данных на основе формального анализа данных конфигурации проекта | Аннотация PDF (Rus) похожие документы |
| А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын | ||
| "... сгенерированные тесты. Вводится классификация дефектов программного обеспечения. Предлагается подход к ..." | ||
| Том 17, № 4 (2010) | Безопасное тестирование симуляции систем с отказами и разрушением | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... тестирования и достаточные условия существования полного набора тестов. Предлагается алгоритм полного ..." | ||
| Том 28, № 1 (2021) | Онлайн тестирование динамических реконфигураций по отношению к политикам адаптации | Аннотация PDF (Rus) похожие документы |
| Фредерик Дадо, Жан-Филипп Гро, Ольга Борисовна Кушнаренко | ||
| "... тестов для оценки случаев реконфигурирования и сравнения частоты этих случаев со значениями полезности ..." | ||
| Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
| "... расширение включает метод верификации для финитной итерации над неизменяемыми массивами с выходом из цикла в ..." | ||
| Том 17, № 1 (2010) | Визуализация динамических графов для анализа сложных сетей | Аннотация PDF (Rus) похожие документы |
| С. Н. Пупырев, А. В. Тихонов | ||
| "... визуализации, основанные на физических аналогиях, обобщены и расширены на случай изменяющихся графов ..." | ||
| Том 21, № 6 (2014) | Поведенческая идентификация программ | Аннотация PDF (Rus) похожие документы |
| Максим Викторович Баклановский, Артур Рафаэльевич Ханов | ||
| "... сложность и большую точность, чем классический N-граммный алгоритм. Тесты производительности показали, что ..." | ||
| Том 19, № 5 (2012) | Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools | Аннотация PDF (Rus) похожие документы |
| Леонид Владимирович Дворянский, Ирина Александровна Ломазова | ||
| "... Вложенные сети Петри (NP-сети) — это расширение сетей Петри в рамках подхода “nets-within-nets ..." | ||
| Том 20, № 4 (2013) | Исследование ортогональности сигналов с вращением вектора поляризации | Аннотация PDF (Rus) похожие документы |
| Юрий Евгеньевич Боровков, Александр Николаевич Кренев, Виктор Николаевич Муравьев, Александр Прокофьевич Омельчук | ||
| "... указанных пакетов наблюдается тенденция расширения множества их частотных параметров, удовлетворяющих ..." | ||
| Том 20, № 3 (2013) | Преобразования задач оптимального управления | Аннотация PDF (Rus) похожие документы |
| Анатолий Михайлович Цирлин | ||
| "... системы (инварианта), за счет расширения задачи и перехода от исходной задачи к более простой, дающей ..." | ||
| Том 18, № 4 (2011) | Верификация Си-программ: объяснение условий корректности и стандартная библиотека | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Промский | ||
| "... РАН. Во-первых, аксиоматическая семантика языка C-kernel была расширена семантической разметкой. Метки ..." | ||
| Том 17, № 4 (2010) | Интеграция семантических верификаторов в компиляторы языка Java | Аннотация PDF (Rus) похожие документы |
| А. В. Клепинин, А. А. Мелентьев | ||
| "... расширений данных сред. Разработанный метод демонстрируется на некоторых примерах верификации программ. ..." | ||
| Том 28, № 1 (2021) | О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... : расширенная и упрощенная. Расширенная схема приближена к процессу анализа программы аналитиком, так как ..." | ||
| Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
| "... , что модель может быть расширена до обоснования соблюдения конфиденциальности в сетях с безопасными и ..." | ||
| Том 28, № 3 (2021) | Алгоритм нахождения обратной связи в задаче с ограничениями для одного класса нелинейных управляемых систем | Аннотация PDF (Rus) похожие документы |
| Михаил Геннадьевич Дмитриев, Зайнелхриет Нугманович Мурзабеков, Гулбану Абсаматовна Мирзахмедова | ||
| "... синтеза строится с помощью принципа расширения, предложенного В. Ф. Кротовым и развитого В. И. Гурманом, и ..." | ||
| Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... , является расширение языка C-kernel циклами языка Cloud-Sisal-kernel. В результате был разработан язык C ..." | ||
| Том 20, № 4 (2013) | Программно-конфигурируемые сети как этап эволюции сетевых технологий | Аннотация PDF (Rus) похожие документы |
| Артем Александрович Красотин, Игорь Вадимович Алексеев | ||
| "... библиотек приведены результаты сравнительных тестов по пропускной способности и латентности. ..." | ||
| Том 30, № 4 (2023) | Моделирование влияния внешних воздействий на процесс автоматизированной посадки БпЛА-квадрокоптера на подвижную платформу с использованием технического зрения | Аннотация PDF (Rus) похожие документы |
| Артём Валерьевич Рябинов, Антон Игоревич Савельев, Дмитрий Андреевич Аникин | ||
| "... моделирования внешних погодных условий, и проведены тесты посадки с имитацией таких погодных условий, как ветер ..." | ||
| 1 - 75 из 102 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
