Сортировать по:
Выпуск | Название | |
Том 21, № 2 (2014) | Построение IL-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... of each program variable. In addition, an SMV-model of a PLC IL-program is constructed according to LTL ..." | ||
Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... to the automatic verification tool Cadence SMV. Some possible PLC-program vulnerabilities arising at a number ..." | ||
Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
"... program variable. In addition, an SMV-model of a PLC LD-program is constructed according to LTL ..." | ||
Том 20, № 4 (2013) | Построение и верификация ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
"... , an SMV-model of a PLC-program is constructed according to LTL-specification. Then, the SMV-model ..." | ||
Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
"... The article is devoted to the approach to constructing and verification of discrete PLC-programs ..." | ||
Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
"... and verification of discrete PLC-programs by an LTL-specification. The approach provides a possibility of PLC ..." | ||
Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... standard. We use the Cadence SMV for symbolic model checking. Program properties are written in the linear ..." | ||
Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
"... The article extends the cycle of papers dedicated to programming and verificatoin of PLC-programs ..." | ||
Том 20, № 2 (2013) | Моделирование, спецификация и построение программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... A new approach to construction of reliable discrete PLC-programs with timers — programming based ..." | ||
Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
"... This work continues the series of articles on development and verification of control programs ..." | ||
Том 27, № 4 (2020) | Темпоральная логика для программируемых логических контроллеров | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач | ||
"... on industrial controllers, also known as Programmable Logic Controllers (PLCs). A specific feature of a PLC ..." | ||
Том 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 ..." | ||
Том 29, № 1 (2022) | LTL-спецификация ограниченных счётчиковых машин | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин | ||
"... propositions. Despite the fact that this pseudo-operator is easily implemented in the Cadence SMV verifier when ..." | ||
Том 21, № 4 (2014) | Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
Андрей Эрикович Молчанов | ||
"... Algebraic program models with procedures are designed to analyze program semantic properties ..." | ||
Том 21, № 2 (2014) | Разрешимость эквивалентности в перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
"... Algebraic program models with procedures are designed to analyze program semantic properties ..." | ||
Том 21, № 4 (2014) | Исследование примитивных схем программ с процедурами | Аннотация PDF (Rus) похожие документы |
Римма Ивановна Подловченко | ||
"... The paper considers algebraic program models with procedures designed to analyze program semantic ..." | ||
Том 21, № 6 (2014) | Поведенческая идентификация программ | Аннотация PDF (Rus) похожие документы |
Максим Викторович Баклановский, Артур Рафаэльевич Ханов | ||
"... % precision. Program identification based on behavior is used for anomaly detection of malicious activities ..." | ||
Том 14, № 1 (2007) | Синхронная модель автоматной программы | Аннотация PDF (Rus) похожие документы |
С. В. Кубасов, В. А. Соколов | ||
"... This article presents a model of automaton program that satisfies synchronous model requirements ..." | ||
Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) похожие документы |
К. А. Васильева, Е. В. Кузьмин | ||
"... In the paper one of approaches to modelling, specification and verification of automaton programs ..." | ||
Том 14, № 4 (2007) | Верификация синхронно-автоматных программ | Аннотация PDF (Rus) похожие документы |
С. В. Кубасов | ||
"... This article presents a synchronous model of the automaton program. A technique of verification ..." | ||
Том 24, № 4 (2017) | О задаче минимизации последовательных программ | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова | ||
"... First-order program schemata is one of the simplest models of sequential imperative programs ..." | ||
Том 28, № 4 (2021) | Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ | Аннотация PDF (Rus) похожие документы |
Андрей Михайлович Миронов | ||
"... The paper presents a new mathematical model of parallel programs, on the basis of which ..." | ||
Том 19, № 5 (2012) | О теории алгебраических моделей программ с процедурами | Аннотация PDF (Rus) похожие документы |
Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
"... Algebraic program models with procedures are designed to analyze program semantic properties ..." | ||
Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
Игорь Сергеевич Ануреев | ||
"... verification methods for Reflex programs in order to guarantee increased reliability of the software created ..." | ||
Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
"... The paper presents a new approach to autotuning data-parallel programs. Autotuning is a search ..." | ||
Том 28, № 1 (2021) | О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
"... Obfuscation is used to protect programs from analysis and reverse engineering ..." | ||
Том 17, № 4 (2010) | Верификация и синтез программ сложения на базе правил корректности операторов | Аннотация PDF (Rus) похожие документы |
В. И. Шелехов | ||
"... Deductive verication and synthesis of binary addition programs are performed on the base ..." | ||
Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
"... Functional dataflow programming languages are designed to create parallel portable programs ..." | ||
Том 19, № 4 (2012) | Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах | Аннотация PDF (Rus) похожие документы |
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева | ||
"... The peculiarities of transforming functional dataflow parallel programs into programs with finite ..." | ||
Том 19, № 5 (2012) | Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Кропачева, Александр Иванович Легалов | ||
"... The article is devoted to the methods of proving parallel programs correctness that are based ..." | ||
Том 18, № 4 (2011) | Атрибутные аннотации и их применение в дедуктивной верификации C-программ | Аннотация PDF (Rus) похожие документы |
Михаил Михайлович Атучин, Игорь Сергеевич Ануреев | ||
"... for their application in a deductive program verification are proposed. A collection of annotating attributes ..." | ||
Том 18, № 4 (2011) | Использование зависимостей для повышения точности статического анализа программ | Аннотация PDF (Rus) похожие документы |
Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько | ||
"... defects in program source code are explained. The need for program object dependency extraction ..." | ||
Том 18, № 4 (2011) | Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN | Аннотация PDF (Rus) похожие документы |
Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока | ||
"... , the security of such programs should be thoroughly tested, i.e., it is important to develop techniques ..." | ||
Том 18, № 4 (2011) | Верификация Си-программ: объяснение условий корректности и стандартная библиотека | Аннотация PDF (Rus) похожие документы |
Алексей Владимирович Промский | ||
"... The C program verification project is being developed in IIS. Its latest extension is twofold ..." | ||
Том 17, № 3 (2010) | Верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий | ||
"... conditions in many cases. This semantics is a base of verification conditions generator of C-kernel programs ..." | ||
Том 17, № 4 (2010) | Верификация C-программ в мультиязыковой системе СПЕКТР | Аннотация PDF (Rus) похожие документы |
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский | ||
"... using the example of C program verication. The project aims at the development of a new integrated ..." | ||
Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
М. С. Ушакова, А. И. Легалов | ||
"... Nowadays, due to software sophistication, programs correctness is more often proved by means ..." | ||
Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
"... In the article, we consider verification of programs with mutual recursion in the data driven ..." | ||
Том 25, № 5 (2018) | О методах верификации и разработки программ развития сельскохозяйственных территорий | Аннотация PDF (Rus) похожие документы |
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов | ||
"... Nowadays, the methods of program-targeted management for the development of various socio-economic ..." | ||
Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
"... -oriented program is defined as a sequence of processes. Each process is represented by a set of named ..." | ||
Том 25, № 5 (2018) | Полипрограммы и бисимуляция полипрограмм | Аннотация похожие документы |
Сергей Александрович Гречаник | ||
"... A polyprogram is a generalization of a program which admits multiple definitions of a single ..." | ||
Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
Николай Вячеславович Шилов | ||
"... Transformation-based program verification was a very important topic in early years of theory ..." | ||
Том 20, № 6 (2013) | Автоматическая верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев | ||
"... a choice between simplified and full-strength deduction rules depending on program objects ..." | ||
Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
"... The C-lightVer system for the deductive verification of C programs is being developed at the IIS SB ..." | ||
Том 15, № 1 (2008) | Библиотека параллельного исполнения rpC-программ для Win32 | Аннотация PDF (Rus) похожие документы |
В. В. Васильчиков, А. В. Шубин | ||
"... The new version of the library for parallel execution of rpC-programs under Win32 is reviewed ..." | ||
Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
"... In the article an approach to constructing in terms of Petri nets a function model as a program ..." | ||
Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
"... of imperative programs is considered from the formal point of view. Petri net samples with certain ..." | ||
Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация похожие документы |
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
"... ]. It extends the mixed axiomatic semantics method [1] suggested for C-light program verification ..." | ||
Том 25, № 5 (2018) | Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий | ||
"... During deductive verification of programs written in imperative languages, the generation ..." | ||
Том 17, № 2 (2010) | Метод оценки частоты выполнения фрагментов кода последовательной программы | Аннотация PDF (Rus) похожие документы |
А. В. Шалимов | ||
"... The goal of this article is to consider the task of determining the execution frequency of program ..." | ||
Том 19, № 6 (2012) | От редакторов специального выпуска | Аннотация PDF (Rus) похожие документы |
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов | ||
"... Program Semantics, Specification and Verification: Theory and Applications, PSSV 2012) и Международной ..." | ||
Том 20, № 6 (2013) | От редакторов специального выпуска | Аннотация PDF (Rus) похожие документы |
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов | ||
"... семинара «Семантика, спецификация и верификация программ: теория и приложения» (Fourth Workshop on Program ..." | ||
Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
И. В. Марьясов, В. А. Непомнящий | ||
"... The C-program verification is an urgent problem of modern programming. To apply known methods ..." | ||
Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
Дмитрий Александрович Кондратьев | ||
"... The C-lightVer system is developed in IIS SB RAS for C-program deductive verification. C-kernel ..." | ||
Том 21, № 6 (2014) | Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей | Аннотация PDF (Rus) похожие документы |
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон | ||
"... One of the most serious problems when doing program analyses is dealing with function calls. While ..." | ||
Том 18, № 4 (2011) | Статический анализ с использованием систем типов и эффектов на основе LLVM | Аннотация PDF (Rus) похожие документы |
Михаил Анатольевич Беляев, Вадим Александрович Цесько | ||
"... programs. The tool uses LLVM bitcode files as input, thus extending the set of analyzed languages to those ..." | ||
Том 17, № 4 (2010) | Интеграция семантических верификаторов в компиляторы языка Java | Аннотация PDF (Rus) похожие документы |
А. В. Клепинин, А. А. Мелентьев | ||
"... of program verication rules are presented to demon- strate the method. ..." | ||
Том 17, № 4 (2010) | Пример верификации в проекте F@BOOL@, основанном на булевских решателях | Аннотация PDF (Rus) похожие документы |
Н. В. Шилов | ||
"... A verifying compiler is a system computer program that translates programs written by man from ..." | ||
Том 30, № 3 (2023) | Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) | Аннотация похожие документы |
Дмитрий Александрович Кондратьев | ||
"... Classic deductive verification is not focused on reasoning about program incorrectness. Reasoning ..." | ||
Том 29, № 3 (2022) | Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO | Аннотация PDF (Rus) похожие документы |
Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский | ||
"... and LibASTMatchers libraries. As a result of compiling a C program, code in EO language is generated. The considered ..." | ||
Том 26, № 1 (2019) | Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов | ||
Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
"... The paper considers methods of program transformation equivalent to optimizing the cycle invariant ..." | ||
Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
М. А. Беляев, В. М. Ицыксон | ||
"... program errors and contract violations in a memory and time efficient way. We implemented this approach ..." | ||
Том 22, № 6 (2015) | Модель безопасности информационных потоков для программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов | ||
"... собой расширенную версию доклада на VI Международном семинаре “Program Semantics, Specification and ..." | ||
Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
"... Международном семинаре “Program Semantics, Specification and Verification: Theory and Applications”, Казань ..." | ||
Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
Н. В. Шилов | ||
"... “Program Semantics, Specification and Verification: Theory and Applications”, Казань, 2015. Статья ..." | ||
Том 19, № 6 (2012) | Применение методов фрактальной и вычислительной геометрии для картографической генерализации линейных объектов | Аннотация PDF (Rus) похожие документы |
Олег Рустумович Мусин, Алексей Юрьевич Ухалов, Герберт Эдельсбруннер, Ольга Павловна Якимова | ||
"... with a computer program implementing this algorithm. ..." | ||
Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
"... of programs based on the calculation of the similarity index for the original, obfuscated and deobfuscated ..." | ||
Том 18, № 4 (2011) | Типовые примеры использования языка Atoment | Аннотация PDF (Rus) похожие документы |
Игорь Сергеевич Ануреев | ||
"... and techniques of program verification. In this paper a collection of typical examples of the use of the Atoment ..." | ||
Том 21, № 4 (2014) | Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования | Аннотация PDF (Rus) похожие документы |
Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый | ||
"... We consider while-language programs with variables of two security types: low and high. Security ..." | ||
Том 18, № 4 (2011) | Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC | Аннотация PDF (Rus) похожие документы |
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев | ||
"... . In this paper we propose an approach to data race detection in SystemC programs which is based on the source ..." | ||
Том 23, № 6 (2016) | О минимизации конечных автоматов-преобразователей над полугруппами | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, Г. Г. Темербекова | ||
"... programs that operate in the interaction with the environment. At receiving a piece of data a program ..." | ||
Том 18, № 4 (2011) | Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем | Аннотация PDF (Rus) похожие документы |
Андрей Валентинович Климов | ||
"... . The algorithm has emerged as a simplification of a certain procedure of a supercompiler application (a program ..." | ||
Том 24, № 6 (2017) | Прототип статического тайп-чекера для языка программирования Jolie | Аннотация похожие документы |
Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков | ||
"... Static verification of a program source code correctness is an important element of software ..." | ||
1 - 75 из 111 результатов | 1 2 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)