Сортировать по:
Выпуск | Название | |
Том 19, № 5 (2012) | Моделирование счетчиковых машин двухголовочными автоматами | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... A method of modeling the Minsky counter machine behaviour by a two-head finite automaton ..." | ||
Том 17, № 1 (2010) | О множестве достижимости автоматных счетчиковых машин | Аннотация PDF (Rus) похожие документы |
Е. В. Кузьмин, Д. Ю. Чалый | ||
"... Properties of automaton counter machines are investigated. We prove that reachability sets ..." | ||
Том 18, № 4 (2011) | Построение приближений бисимуляции в односчетчиковых сетях | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... One-counter nets are finite-state machines operating on a variable (counter) which ranges over ..." | ||
Том 22, № 2 (2015) | МП-автоматы с независимыми счётчиками | Аннотация PDF (Rus) похожие документы |
Михаил Иосифович Дехтярь, Борис Николаевич Карлов | ||
"... PDA equipped with a finite number of counters. The independence of counters means that their state has ..." | ||
Том 16, № 3 (2009) | О множестве достижимости автоматных трехсчетчиковых машин | Аннотация PDF (Rus) похожие документы |
Е. В. Кузьмин, Д. Ю. Чалый | ||
"... In this paper we prove the existence of automaton 3-counter machines which have non-semilinear ..." | ||
Том 20, № 2 (2013) | Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... -counter nondeterministic finite automata without zero-testing) with at least one positive cycle ..." | ||
Том 15, № 1 (2008) | О разрешимости проблем ограниченности для счетчиковых машин Минского | Аннотация PDF (Rus) похожие документы |
Е. В. Кузьмин, Д. Ю. Чалый | ||
"... In the paper the decidability of boundedness problems for counter Minsky machines is investigated ..." | ||
Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров | ||
"... Finite transducers, two-tape automata, and biautomata are related computational models descended ..." | ||
Том 28, № 1 (2021) | LTL-спецификация счётчиковых машин | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин | ||
"... , for the specification of the behavior of which the LTL logic will be applied, Minsky counter machines are considered ..." | ||
Том 17, № 2 (2010) | О языках автоматных счетчиковых машин | Аннотация PDF (Rus) похожие документы |
Е. В. Кузьмин, Д. Ю. Чалый | ||
"... Some properties of formal languages (ACML) of automaton counter machines are investigated. We show ..." | ||
Том 23, № 6 (2016) | О минимизации конечных автоматов-преобразователей над полугруппами | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, Г. Г. Темербекова | ||
"... Finite state transducers over semigroups are regarded as a formal model of sequential reactive ..." | ||
Том 26, № 1 (2019) | Алгоритм минимизации количества правил маршрутизации в ПКС | Аннотация PDF (Rus) похожие документы |
Иван Сергеевич Петров | ||
"... of data-plane from control-plane. It implements a new way of analyzing network statistics through counters ..." | ||
Том 24, № 4 (2017) | Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов | Аннотация PDF (Rus) похожие документы |
Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко | ||
"... constraints, and this motivates the adaptation of existing Finite State Machine (FSM)- based test derivation ..." | ||
Том 29, № 1 (2022) | LTL-спецификация ограниченных счётчиковых машин | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин | ||
"... Minsky counter machines that are considered as program systems of which we need to get the specification ..." | ||
Том 23, № 6 (2016) | Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата | Аннотация PDF (Rus) похожие документы |
А. Д. Ермаков, Н. В. Евтушенко | ||
"... Extended Finite State Machines (EFSMs) are widely used when deriving tests for checking functional ..." | ||
Том 27, № 4 (2020) | Синтез установочных последовательностей для автоматов с временными ограничениями | Аннотация PDF (Rus) похожие документы |
Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
"... State identification is the well-known problem in the theory of Finite State Machines (FSM) where ..." | ||
Том 23, № 6 (2016) | Построение каскадной параллельной композиции временных автоматов с использованием BALM-II | Аннотация PDF (Rus) похожие документы |
М. Л. Громов, Н. В. Шабалдина | ||
"... In this paper, we consider the problem of deriving a cascade parallel composition of timed finite ..." | ||
Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
"... Uniform systems of communicating extended finite automata are considered in the paper ..." | ||
Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
"... finite state machines (TFSMs). However, in most works where this class of real-time automata is studied ..." | ||
Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
"... modern verification tool for finite and infinite systems — nuXmv. It is proposed to describe the behavior ..." | ||
Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
"... sequences of pairs of events of the request-response type, and, therefore, finite transducers are most often ..." | ||
Том 24, № 4 (2017) | О задаче минимизации последовательных программ | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова | ||
"... schemata supplied with logical-thermal equivalence and finite state deterministic transducers operating ..." | ||
Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
"... . It is proved, that in accordance with this approach for any Minsky counter machine can be built an LTL ..." | ||
Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
"... systems behaviour is a finite state transducer which operates over an input alphabet of control signals ..." | ||
Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
"... использовать диаграммы состояний UML с семантикой, определяемой иерархическими автоматами. Для верификации СРВ ..." | ||
Том 21, № 4 (2014) | Клеточно-локальный алгоритм выделения и оценки изменений на бинарных изображениях | Аннотация PDF (Rus) похожие документы |
Алексей Абрамович Короткин, Александр Андреевич Максимов | ||
"... предлагается архитектура двумерного клеточного автомата с диффузионным взаимодействием клеток. Доказана ..." | ||
Том 25, № 5 (2018) | Представление универсальных гиперграфических автоматов автономными выходными сигналами | Аннотация похожие документы |
Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов | ||
"... Гиперграфическими автоматами называются автоматы, у которых множества состояний и выходных символов ..." | ||
Том 22, № 4 (2015) | О конечных группах с большой степенью неприводимого характера | Аннотация PDF (Rus) похожие документы |
Л. С. Казарин, С. С. Поисеева | ||
"... Let G be a finite nontrivial group with an irreducible complex character χ of degree d = χ(1 ..." | ||
Том 21, № 2 (2014) | Некоторые аппроксимационные свойства групп конечного ранга | Аннотация PDF (Rus) похожие документы |
Дмитрий Николаевич Азаров | ||
"... . Seksenbaev proved that if G is a polycyclic group which is residually finite p-group for infinitely many ..." | ||
Том 21, № 3 (2014) | Импульсный нейрон и нейронный клеточный автомат асимптотически эквивалентны | Аннотация PDF (Rus) похожие документы |
Валерий Дмитриевич Копылов, Ольга Александровна Дунаева, Михаил Леонидович Мячин | ||
"... импульсных нейронов и нейронных клеточных автоматов различных типов (автогенераторов и детекторов) при ..." | ||
Том 14, № 2 (2007) | Устойчивый колебательный режим в нейронной сети обобщенных нейронных автоматов-детекторов | Аннотация PDF (Rus) похожие документы |
Е. В. Коновалов | ||
"... Рассматривается новая модель нейронного элемента - обобщенный нейронный автомат (ОНА). Эта модель ..." | ||
Том 14, № 3 (2007) | Задача о пачечном воздействии на обобщенный нейронный автомат | Аннотация PDF (Rus) похожие документы |
Е. В. Коновалов | ||
"... Рассматривается новая модель нейронного элемента - обобщенный нейронный автомат (ОНА). Эта модель ..." | ||
Том 18, № 4 (2011) | Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем | Аннотация PDF (Rus) похожие документы |
Андрей Валентинович Климов | ||
"... An algorithm for solving the coverability problem for monotonic counter systems is presented ..." | ||
Том 26, № 4 (2019) | Анализ безопасности контроллеров продольного движения во время набора высоты | Аннотация похожие документы |
Томас Баар, Хорст Шульте | ||
Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
"... выполнимости формул логики $Reg$-$LTL$ к проблеме пустоты автоматов Бюхи сравнительно небольшого размера и ..." | ||
Том 22, № 2 (2015) | Равномерность векторных расслоений конечного ранга на полных пересечениях конечной коразмерности в линейных инд-грассманианах | Аннотация PDF (Rus) похожие документы |
Светлана Михайловна Ермакова | ||
"... -Grassmannian G = lim−→G(km, nm). By definition, X is an intersection of G with a finite number of ind ..." | ||
Том 22, № 2 (2015) | Аппроксимационные свойства нильпотентных групп | Аннотация PDF (Rus) похожие документы |
Дмитрий Николаевич Азаров | ||
"... Let π be a set of primes. Recall that a group G is said to be a residually finite π-group ..." | ||
Том 25, № 2 (2018) | О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов | Аннотация PDF (Rus) похожие документы |
Алевтина Борисовна Глонина, Василий Викторович Балашов | ||
"... временных автоматов с остановкой таймеров. По вычислению сети автоматов предлагается строить временную ..." | ||
Том 21, № 2 (2014) | Быстрое умножение матрицы с большим мультипликативным порядком на вектор над конечным полем | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Иванов | ||
Том 18, № 3 (2011) | О двух конечномерных аппроксимациях периодической краевой задачи | Аннотация PDF (Rus) похожие документы |
Николай Андреевич Демьянков | ||
"... discretization - systems of equations in finite spaces. Conditions under which the existence of solutions ..." | ||
Том 20, № 1 (2013) | О почти аппроксимируемости конечными p-группами групп Баумслага — Солитэра | Аннотация PDF (Rus) похожие документы |
Дмитрий Николаевич Азаров | ||
"... to be virtual residuality by finite π–groups is obtained. ..." | ||
Том 20, № 1 (2013) | О финитной аппроксимируемости некоторых обобщенных свободных произведений разрешимых групп конечного ранга | Аннотация PDF (Rus) похожие документы |
Алексей Вячеславович Розов | ||
"... Let G be a free product of residually finite virtually soluble groups A and B of finite rank ..." | ||
Том 23, № 6 (2016) | Динамика системы из двух простейших автогенераторов с нелинейными финитными обратными связями | Аннотация PDF (Rus) похожие документы |
А. А. Кащенко | ||
"... to be finite, piecewise continuous, and with a constant sign. In this paper, we prove the existence ..." | ||
Том 27, № 3 (2020) | О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций | Аннотация PDF (Rus) похожие документы |
Валерий Анатольевич Соколов | ||
"... of these algebras, including the question of the existence of finite bases of identities in these algebras ..." | ||
Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) похожие документы |
К. А. Васильева, Е. В. Кузьмин | ||
"... is an indisputable advantage of the automata technology. Moreover, the model has a finite set of states ..." | ||
Том 20, № 2 (2013) | Единая модель для геоклассификации веб-сайтов | Аннотация PDF (Rus) похожие документы |
Алексей Николаевич Волков | ||
"... -сайтов с применением машинного обучения. Оценка качества демонстрирует преимущество нашего подхода "по ..." | ||
Том 19, № 4 (2012) | Обобщенные асинхронные системы | Аннотация PDF (Rus) похожие документы |
Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов | ||
"... асинхронная система. В ней введены дистрибутивные асинхронные автоматы. Доказано, что сети Петри и системы ..." | ||
Том 24, № 4 (2017) | О пространственной ограниченности клеточных Р-сетей | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... клеточных автоматов и предназначен для моделирования мультиагентных систем с динамической пространственной ..." | ||
Том 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 ..." | ||
Том 21, № 1 (2014) | Асимптотика установившихся режимов конечно-разностных аппроксимаций логистического уравнения с запаздыванием и с малой диффузией | Аннотация PDF (Rus) похожие документы |
Сергей Александрович Кащенко, Валерий Евгеньевич Фролов | ||
"... We study the dynamics of finite-difference approximation on spatial variables of a logistic ..." | ||
Том 23, № 3 (2016) | Оценки погрешности в сбалансированных нормах методов ко- нечных элементов на сетках Шишкина для задач реакции-диффузии | Аннотация PDF (Rus) похожие документы |
Р. Ханс-Гёрг | ||
"... Error estimates of finite element methods for reaction-diffusion problems are often realized ..." | ||
Том 24, № 2 (2017) | О гипотезах Тэйта для дивизоров на расслоенном многообразии и его общем схемном слое в случае конечной характеристики | Аннотация PDF (Rus) похожие документы |
Татьяна Вячеславовна Прохорова | ||
"... a finite field and the Tate conjecture for divisors on the generic scheme fibre under the condition ..." | ||
Том 23, № 6 (2016) | Подход к верификации семейства мультиагентных систем разрешения конфликтов | Аннотация PDF (Rus) похожие документы |
Н. О. Гаранина, Е. А. Сидорова | ||
"... system are specified by universal branching time logic ∀CTL with finite deterministic automata as atomic ..." | ||
Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
"... behaviour by using a system of extended finite state machines (EFSM). This paper outlines the metamodel ..." | ||
Том 29, № 3 (2022) | Формирование признаков машинного обучения на основе построения тропических функций | Аннотация PDF (Rus) похожие документы |
Сергей Николаевич Чуканов, Илья Станиславович Чуканов | ||
"... машинного обучения и персистентной гомологии препятствуют топологические представления данных, метрики ..." | ||
Том 23, № 3 (2016) | МКЭ-анализ на адаптированных к слою сетках в задачах с точкой по- ворота, имеющих внутренний слой | Аннотация похожие документы |
С. Бехер | ||
"... in the ε-weighted energy norm for finite elements of higher order. Numerical experiments are used to compare ..." | ||
Том 23, № 3 (2016) | Численное решение начально-краевой задачи для псевдопараболического уравнения с внутренним переходным слоем | Аннотация PDF (Rus) похожие документы |
А. А. Быков | ||
"... conditions for ITL transitioning through the special point within finite time are formulated. AM algorithm ..." | ||
Том 23, № 5 (2016) | Метод конечных разностей во временной области для кусочно-однородных диэлектрических сред | Аннотация PDF (Rus) похожие документы |
Ж. О. Домбровская | ||
Том 30, № 3 (2023) | Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) | Аннотация похожие документы |
Дмитрий Александрович Кондратьев | ||
"... for solving these problems in the case of loops over data sequences. These loops are referred to as finite ..." | ||
Том 25, № 5 (2018) | О безопасности одно- и многоместных IFP-операторов | Аннотация PDF (Rus) похожие документы |
Сергей Михайлович Дудаков | ||
"... by such queries. Hence the problem of the finite computability for such queries is undecidable. In our previous ..." | ||
Том 30, № 4 (2023) | Алгоритм предсказания связей в саморегулирующейся сети с адаптивной топологией на базе теории графов и машинного обучения | Аннотация PDF (Rus) похожие документы |
Евгений Юрьевич Павленко | ||
Том 30, № 3 (2023) | Классификация текстов по уровням CEFR с использованием методов машинного обучения и языковой модели BERT | Аннотация PDF (Rus) похожие документы |
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Анастасия Михайловна Бредерман, Наталья Николаевна Касаткина | ||
"... . Классификация полученных векторов осуществлялась стандартными классификаторами машинного обучения. В статье ..." | ||
Том 27, № 4 (2020) | Исправление к статье: В. А. Соколов, “О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций”, Моделирование и анализ информационных систем, Том. 27, № 3, с. 304-315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315 | Аннотация PDF (Rus) похожие документы |
Валерий Анатольевич Соколов | ||
Том 29, № 4 (2022) | Поиск упоминаний экологических практик в социальных сетях с помощью методов классификации текстов | Аннотация PDF (Rus) похожие документы |
Анна Валерьевна Глазкова, Ольга Владимировна Захарова, Антон Викторович Захаров, Наталья Николаевна Москвина, Тимур Русланович Еникеев, Арсений Николаевич Ходырев, Всеволод Константинович Боровинский, Ирина Николаевна Пупышева | ||
"... фильтрация собранных текстов. Проведено сравнение четырех моделей машинного обучения для поиска упоминаний ..." | ||
Том 32, № 2 (2025) | Алгоритм шаблонизации для динамической задачи упаковки в контейнеры с группами размещения | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Бражников, Артём Александрович Панин, Алексей Владленович Ратушный | ||
"... Рассматривается NP-трудная задача динамического распределения виртуальных машин по серверам с ..." | ||
Том 14, № 1 (2007) | Автоморфизмы систем переходов | Аннотация PDF (Rus) похожие документы |
Ю. А. Белов | ||
"... are showed, that every finite group may be embedded in a group of automorphisms of a certain transition ..." | ||
Том 17, № 3 (2010) | Рекуррентные последовательности над почтикольцами | Аннотация PDF (Rus) похожие документы |
А. В. Сбоев | ||
"... of finite non-abelian extra-spexdal 2-groups are investigatexl. ..." | ||
Том 25, № 6 (2018) | Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня | Аннотация PDF (Rus) похожие документы |
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский | ||
"... простую аксиоматизацию машинной арифметики в терминах вещественной арифметики (то есть арифметики поля ..." | ||
Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
И. В. Коннов, В. А. Захаров | ||
"... распределённых программ. Задача проверки выполнимости формул ILTL сводится к задаче проверки пустоты автомата ..." | ||
Том 14, № 4 (2007) | Род и категория Люстерника - Шнирельмана прообразов | Аннотация PDF (Rus) похожие документы |
Р. Н. Карасёв | ||
"... - Schnirelmann category is considered. For this function and a given map of the underlying space to a finite ..." | ||
Том 22, № 2 (2015) | Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Комар, Виталий Игоревич Петров, Каролина Дмитриевна Борунова, Дмитрий Александрович Молчанов, Евгений Андреевич Кучерявый | ||
"... as the most promising approach for traffic estimation, and they use Intel Performance Counter Monitor ..." | ||
Том 24, № 4 (2017) | О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Комар | ||
"... . Measurements methodology using Intel Performance Counter Monitor by Intel is provided and equations that allow ..." | ||
Том 14, № 3 (2007) | Экономный алгоритм нахождения средних минимальных расстояний | Аннотация PDF (Rus) похожие документы |
Н.Е. Тимофеева | ||
"... Let £o,..., £n be strings drawn from some finite alphabet. In this paper we describe an algorithm ..." | ||
Том 17, № 3 (2010) | Составные редукции моделей Крипке и автоморфизмы | Аннотация PDF (Rus) похожие документы |
Ю. А. Белов | ||
"... , that every finite group is isomorphic for a group of automorphisms of a certain Kripke model. ..." | ||
Том 21, № 1 (2014) | Об одном механизме жесткого возбуждения колебаний в нелинейных флаттерных системах | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
"... Considered are so-called finite-dimensional flutter systems, i.e. systems of ordinary differential ..." | ||
1 - 75 из 135 результатов | 1 2 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)