Сортировать по:
| Выпуск | Название | |
| Том 21, № 6 (2014) | Использование метода ограниченной проверки моделей для генерации тестов | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... The automated test generation has received a lot of attention in the last decades as it is one ..." | ||
| Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... generation, employment of high-performance Z3 SMT solver to do the formula heavy-lifting, and the use ..." | ||
| Том 18, № 4 (2011) | Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
| "... successfully, the executable code of the application and the respective test code are generated from the model ..." | ||
| Том 31, № 4 (2024) | Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... This paper uses the model checking method for an exact schedulability test of real-time systems ..." | ||
| Том 17, № 4 (2010) | Генерация тестовых данных на основе формального анализа данных конфигурации проекта | Аннотация PDF (Rus) похожие документы |
| А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын | ||
| "... This article discusses a problem of test data preparation for functional testing with a dened level ..." | ||
| Том 21, № 6 (2014) | Инкрементальный подход к технологии создания тестов для индустриальных проектов | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский | ||
| "... The paper presents an approach to effort reduction in developing test suites for industrial ..." | ||
| Том 21, № 6 (2014) | Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон | ||
| "... снижая сложность анализа. В контексте ограниченной проверки моделей в последнее время начала активно ..." | ||
| Том 20, № 6 (2013) | Автоматизация создания верифицированных тестовых сценариев на основе гидов | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Александр Адольфович Летичевский | ||
| "... This paper presents an overview of technology of the automated generation of test scenarios based ..." | ||
| Том 19, № 6 (2012) | Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов | Аннотация PDF (Rus) похожие документы |
| Александр Валентинович Колчин, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко, Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров | ||
| "... In this paper we propose an approach to efficient automating test technology for industrial ..." | ||
| Том 23, № 6 (2016) | Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата | Аннотация PDF (Rus) похожие документы |
| А. Д. Ермаков, Н. В. Евтушенко | ||
| "... Extended Finite State Machines (EFSMs) are widely used when deriving tests for checking functional ..." | ||
| Том 23, № 6 (2016) | Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки | Аннотация PDF (Rus) похожие документы |
| Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов | ||
| "... methods for semantic relation extraction. We developed a test bench that allow to test well-known ..." | ||
| Том 24, № 4 (2017) | Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко | ||
| "... constraints, and this motivates the adaptation of existing Finite State Machine (FSM)- based test derivation ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| "... достижимости, проверки инвариантов и т.д. Способ построения состоит из двух стадий. На первой стадии ..." | ||
| Том 22, № 1 (2015) | Метод логистической функции для нахождения аналитических решений нелинейных дифференциальных уравнений | Аннотация похожие документы |
| Николай Алексеевич Кудряшов | ||
| "... differential equation, Painlev´e test, exact solution ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... генерации кода Promela из программ управления PoST. Полученная модель Promela готова к проверке с помощью ..." | ||
| Том 30, № 4 (2023) | Генерация ключевых слов для русскоязычных научных текстов с помощью модели mT5 | Аннотация PDF (Rus) похожие документы |
| Анна Валерьевна Глазкова, Дмитрий Алексеевич Морозов, Марина Сергеевна Воробьева, Андрей Анатольевич Ступников | ||
| "... . The best results on the test set were obtained by mT5 and RuTermExtract. The highest F1-score ..." | ||
| Том 23, № 6 (2016) | Генерация графа социальной сети с использованием Apache Spark | Аннотация PDF (Rus) похожие документы |
| Ю. А. Белов, С. И. Вовчок | ||
| "... возникла необходимость в генерации графа, по своей структуре схожего с лежащими в основе существующих ..." | ||
| Том 25, № 6 (2018) | Онтология процессов, ориентированная на верификацию | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова | ||
| Том 31, № 2 (2024) | Ключевые слова, морфемные разборы и синтаксические деревья в задаче оценки сложности текста | Аннотация PDF (Rus) похожие документы |
| Дмитрий Алексеевич Морозов, Иван Андреевич Смаль, Тимур Александрович Гарипов, Анна Валерьевна Глазкова | ||
| "... разнообразии, разветвлённости и глубине синтаксических деревьев. Для генерации ключевых слов использован ..." | ||
| Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... Символьная проверка на модели основана на компактном представлении множеств. На данный момент есть ..." | ||
| Том 28, № 4 (2021) | Рекурсивная проверка включения для рекурсивно определенных подтипов | Аннотация PDF (Rus) похожие документы |
| Ханс Де Нивелле | ||
| "... того, могут использоваться при статической проверке типов. Это позволяет использовать рекурсивно ..." | ||
| Том 24, № 6 (2017) | Прототип статического тайп-чекера для языка программирования Jolie | Аннотация похожие документы |
| Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков | ||
| "... Checker (JSTC), which employs a technique based on a SMT solver. We describe the theory behind ..." | ||
| Том 17, № 4 (2010) | Проверка моделей распределенных систем с помощью аффинного представления данных | Аннотация PDF (Rus) похожие документы |
| Н. О. Гаранина | ||
| Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров | ||
| "... построения быстрых алгоритмов проверки эквивалентности для некоторых классов автоматов (конечных ..." | ||
| Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
| "... оказывается максимальной. Новизна подхода состоит в использовании метода проверки моделей для поиска ..." | ||
| Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... средства символьной проверки модели SMV при спецификации свойств на языке темпоральной логики линейного ..." | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... корректности методом проверки модели относительно средства автоматической верификации Cadence SMV. Выявляются ..." | ||
| Том 21, № 6 (2014) | Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова | ||
| "... , полученных на предварительной стадии анализа. Агенты параллельно осуществляют проверку семантической и ..." | ||
| Том 23, № 6 (2016) | Подход к верификации семейства мультиагентных систем разрешения конфликтов | Аннотация PDF (Rus) похожие документы |
| Н. О. Гаранина, Е. А. Сидорова | ||
| "... системах. Проверку свойств репрезентативной модели можно осуществлять с помощью метода проверки моделей ..." | ||
| Том 23, № 6 (2016) | О минимизации конечных автоматов-преобразователей над полугруппами | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Г. Г. Темербекова | ||
| "... быть сведена к задачам минимизации и проверки эквивалентности конечных автоматовпреобразователей ..." | ||
| Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... $-$LTL$, $Reg$-$CTL$, и $Reg$-$CTL^*$. Однако вопрос о сложности задач верификации моделей и проверки ..." | ||
| Том 28, № 2 (2021) | Объектно-ориентированная проверка соответствия модели на основе воспроизведения журнала событий: выявление желаемого поведения и локальных отклонений | Аннотация PDF (Rus) похожие документы |
| Хулио С Карраскель, Халил Мешерауи | ||
| "... Методы проверки соответствия позволяют установить, в какой степени реальная система, поведение ..." | ||
| Том 19, № 2 (2012) | Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло | Аннотация PDF (Rus) похожие документы |
| Лев Юрьевич Бараш, Лев Николаевич Щур | ||
| "... Рассматриваются современные методы и пакеты программ генерации псевдослучайных чисел высокого ..." | ||
| Том 19, № 2 (2012) | Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL | Аннотация PDF (Rus) похожие документы |
| Павел Валерьевич Лебедев | ||
| Том 20, № 6 (2013) | Общие знания в хорошо структурированных системах с абсолютной памятью | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... В данной работе исследуется задача проверки моделей для логики общих знаний и неподвижных точек ..." | ||
| Том 22, № 3 (2015) | СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? | Аннотация похожие документы |
| А. К. Бегичева, И. А. Ломазова | ||
| "... статье мы рассматриваем проблему проверки соответствия между высокоуровневой моделью процесса и журналом ..." | ||
| Том 21, № 4 (2014) | Синтез моделей процессов по журналам событий с шумом | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович Мицюк, Иван Сергеевич Шугуров | ||
| Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
| Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
| "... with verification of the success of teaching not only by tests, but also by exercises and tasks, allows students ..." | ||
| Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
| И. В. Шошмина | ||
| "... Рассматривается проблема включения метода формальной верификации - проверки модели - в процесс ..." | ||
| Том 27, № 4 (2020) | InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации | Аннотация PDF (Rus) похожие документы |
| Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин | ||
| Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
| "... an induction is applied which is a challenge for SMT-solvers. At proof stage the SMT-solver CVC4 is used in our ..." | ||
| Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
| "... использует систему CPN Tools [10], а для их верификации методом проверки моделей относительно свойств ..." | ||
| Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... предмет соответствия заданным темпоральным свойствам методом проверки модели (model checking) с помощью ..." | ||
| Том 31, № 4 (2024) | Применение TLA+/TLC для моделирования и верификации криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... верификации криптографических протоколов является метод проверки модели. В работе для проверки модели ..." | ||
| Том 26, № 2 (2019) | К вопросу использования «полезных» задач для обеспечения работой блокчейн систем | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Мурин, Владимир Николаевич Князев | ||
| "... свойством. Эксперимент состоит в равномерном выборе элемента из этого множества с последующей проверкой ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... . Основной акцент сделан на проектирование систем, автоматическую генерацию кода больших систем, верификацию ..." | ||
| Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... верифицирована с помощью инструмента проверки модели. Далее по LTL"=спецификации однозначно строится код ..." | ||
| Том 31, № 3 (2024) | LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... инструмент проверки модели nuXmv, трансляция осуществляется в императивный язык программирования ST для ..." | ||
| Том 24, № 4 (2017) | О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Комар | ||
| "... traffic on the interfaces of interest on the number of active cores, CPU frequency and test type ..." | ||
| Том 24, № 6 (2017) | К критериям оценки безопасности нулевых ссылок при инициализации объекта | Аннотация похожие документы |
| Александр Валентинович Когтенков | ||
| "... тестов для сравнения решений этой проблемы. Наконец, она демонстрирует применение этих тестов к ..." | ||
| Том 28, № 1 (2021) | Онлайн тестирование динамических реконфигураций по отношению к политикам адаптации | Аннотация PDF (Rus) похожие документы |
| Фредерик Дадо, Жан-Филипп Гро, Ольга Борисовна Кушнаренко | ||
| "... aims to generate large test suites in order to measure the occurrences of reconfigurations and compare ..." | ||
| Том 20, № 4 (2013) | Исследование ортогональности сигналов с вращением вектора поляризации | Аннотация PDF (Rus) похожие документы |
| Юрий Евгеньевич Боровков, Александр Николаевич Кренев, Виктор Николаевич Муравьев, Александр Прокофьевич Омельчук | ||
| Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
| М. А. Беляев, В. М. Ицыксон | ||
| "... as an executor module Tassadar as a part of bounded model checker Borealis. We tested Tassadar on two test sets ..." | ||
| Том 17, № 4 (2010) | Безопасное тестирование симуляции систем с отказами и разрушением | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... and sucient conditions for the existense of complete test suite are discussed. The practical algo- rithm ..." | ||
| Том 24, № 6 (2017) | К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов | Аннотация PDF (Rus) похожие документы |
| Наталья Геннадьевна Кушик, Нина Владимировна Евтушенко, Игорь Борисович Бурдонов, Александр Сергеевич Косачев | ||
| "... state identification of a system under test / verification, after the input sequence is applied ..." | ||
| Том 27, № 1 (2020) | К вопросу об оценках распределения длин путей между узлами в глобальной сети | Аннотация PDF (Rus) похожие документы |
| Александра Игоревна Кононова, Алексей Владиславович Городилов | ||
| "... for all resulting distributions are noted. Simulation model of this experiment was developed to test ..." | ||
| Том 21, № 6 (2014) | Поведенческая идентификация программ | Аннотация PDF (Rus) похожие документы |
| Максим Викторович Баклановский, Артур Рафаэльевич Ханов | ||
| "... tests reveal that our kernel monitor does not significatly slow down the processing of the operating ..." | ||
| Том 29, № 3 (2022) | Тестирование зависимостей и правил вывода в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... of these conditions is unknown. Secondly, when designing a particular database, it may be necessary to test ..." | ||
| Том 20, № 4 (2013) | Программно-конфигурируемые сети как этап эволюции сетевых технологий | Аннотация PDF (Rus) похожие документы |
| Артем Александрович Красотин, Игорь Вадимович Алексеев | ||
| "... the results of comparative tests of throughput and latency, achieved with these libraries are shown. ..." | ||
| Том 17, № 2 (2010) | Мультистабильность в модели лазера с большим запаздыванием | Аннотация PDF (Rus) похожие документы |
| Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко | ||
| "... Исследуется модель динамики генерации лазера, основанная на одномо-довых балансных уравнениях с ..." | ||
| Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
| И. В. Марьясов, В. А. Непомнящий | ||
| "... . At the proof stage the SMT-solver Z3 [12] is used. An example which illustrates the application ..." | ||
| Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
| И. В. Коннов, В. А. Захаров | ||
| "... успехом применен для проверки выполнимости формул логики линейного времени ILTL на конечных моделях ..." | ||
| Том 27, № 2 (2020) | Об одном механизме образования пространственно-неоднородных структур световых волн в оптических системах передачи информации | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин, Владимир Александрович Куликов | ||
| "... . Показано, что наличие запаздывания в контуре обратной связи может привести к генерации устойчивых ..." | ||
| Том 30, № 4 (2023) | Моделирование влияния внешних воздействий на процесс автоматизированной посадки БпЛА-квадрокоптера на подвижную платформу с использованием технического зрения | Аннотация PDF (Rus) похожие документы |
| Артём Валерьевич Рябинов, Антон Игоревич Савельев, Дмитрий Андреевич Аникин | ||
| "... conditions were developed and landing tests were carried out simulating weather conditions such as wind ..." | ||
| Том 22, № 2 (2015) | Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Комар, Виталий Игоревич Петров, Каролина Дмитриевна Борунова, Дмитрий Александрович Молчанов, Евгений Андреевич Кучерявый | ||
| "... for this purpose. Three types of CPU loads are considered including two artificial tests and background system load ..." | ||
| Том 24, № 2 (2017) | Дедубликация в системе резервного копирования с хранением информации в базе данных | Аннотация PDF (Rus) похожие документы |
| Сергей Максимович Таранин | ||
| "... data wiht de-duplication, and also gives the results of comparative tests on the speed ..." | ||
| Том 14, № 4 (2007) | Верификация синхронно-автоматных программ | Аннотация PDF (Rus) похожие документы |
| С. В. Кубасов | ||
| "... -автоматных программ. Некоторые свойства проверяются автоматически. Есть возможность проверки пользовательских ..." | ||
| Том 25, № 3 (2018) | Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight | Аннотация похожие документы |
| Сергей Владимирович Моржов, Михаил Александрович Никитинский | ||
| "... application PreFirewall passed a number of tests. As a result of the stress testing, it was found ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... помощью метода проверки модели (model checking). Подход получил название «Программирование и верификация ..." | ||
| Том 23, № 6 (2016) | Формализм и языковые инструменты для описания семантики программных библиотек | Аннотация PDF (Rus) похожие документы |
| В. М. Ицыксон | ||
| "... приложений в новое окружение, генерация программной документации. На базе формализма формулируются требования ..." | ||
| Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
| Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
| "... часто применяется средство UPPAAL, разработанное для проверки формул логики TCTL на сети временных ..." | ||
| Том 14, № 1 (2007) | Синхронная модель автоматной программы | Аннотация PDF (Rus) похожие документы |
| С. В. Кубасов, В. А. Соколов | ||
| "... верификации синхронных программ для проверки автоматных программ. В частности предполагается использование ..." | ||
| Том 21, № 5 (2014) | Аттрактор в кольцевой структуре обобщенных нейронных элементов автогенераторного типа | Аннотация PDF (Rus) похожие документы |
| Евгений Владиславович Коновалов | ||
| "... циклический режим последовательной генерации импульсов элементами кольца. Строится нелинейное отображение для ..." | ||
| Том 26, № 2 (2019) | Анализ условий возникновения пространственно-неоднородных структур световых волн в оптических системах передачи информации | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин, Владимир Александрович Куликов | ||
| "... , величина запаздывания) построены области генерации устойчивых пространственно-неоднородных структур, был ..." | ||
| Том 28, № 1 (2021) | Алгоритмы поиска с возвратом для построения гамильтонова разложения 4-регулярного мультиграфа | Аннотация PDF (Rus) похожие документы |
| Александр Васильевич Коростиль, Андрей Валерьевич Николаев | ||
| "... циклы без общих рёбер. Известно, что проверка несмежности вершин в полиэдральных графах симметричного и ..." | ||
| 1 - 75 из 144 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
