Сортировать по:
Выпуск | Название | |
Том 25, № 6 (2018) | Онтология процессов, ориентированная на верификацию | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова | ||
"... This paper presents the ontology of the concurrent processes close to Hoare communicating ..." | ||
Том 26, № 4 (2019) | Методы специализации онтологии процессов, ориентированной на верификацию | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин | ||
"... of verification-oriented domain-specific process ontologies which are used to describe parallel and distributed ..." | ||
Том 21, № 6 (2014) | Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова | ||
"... for ontology population. The system agents correspond to information items of the input data and the rule ..." | ||
Том 20, № 4 (2013) | Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний | Аннотация PDF (Rus) похожие документы |
Владимир Николаевич Бойков, Владимир Евгеньевич Захаров, Мария Сергеевна Каряева, Валерий Анатольевич Соколов | ||
Том 17, № 2 (2010) | О языках автоматных счетчиковых машин | Аннотация PDF (Rus) похожие документы |
Е. В. Кузьмин, Д. Ю. Чалый | ||
Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
Н. В. Шилов | ||
"... formal models, namely: in Petri nets, in a dialect of Calculus of Communicating Systems (CCS ..." | ||
Том 23, № 6 (2016) | Подход к верификации семейства мультиагентных систем разрешения конфликтов | Аннотация PDF (Rus) похожие документы |
Н. О. Гаранина, Е. А. Сидорова | ||
"... specify processes which are merging of base system processes, in contrast to simple nonterminals which ..." | ||
Том 28, № 4 (2021) | Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ | Аннотация PDF (Rus) похожие документы |
Андрей Михайлович Миронов | ||
"... . A parallel program is modeled as a distributed process in which sequential processes communicate ..." | ||
Том 25, № 6 (2018) | Даже простые процессы π-исчисления трудны для анализа | Аннотация PDF (Rus) похожие документы |
Марат Мазен Аббас, Владимир Анатольевич Захаров | ||
"... Mathematical models of distributed computations, based on the calculus of mobile processes (π ..." | ||
Том 22, № 3 (2015) | АВТОВОЛНОВЫЕ ПРОЦЕССЫ В КОЛЬЦЕВОЙ НЕЙРОННОЙ ЦЕПИ С ОДНОНАПРАВЛЕННОЙ СВЯЗЬЮ | Аннотация PDF (Rus) похожие документы |
С. Д. Глызин, А. Ю. Колесов, Н. Х. Розов | ||
Том 17, № 3 (2010) | Математические модели экономических систем с учетом необратимости протекающих в них процессов | Аннотация PDF (Rus) похожие документы |
А. М. Цирлин | ||
"... In this paper we consider optimal trading processes in economic systems. The analysis is based ..." | ||
Том 17, № 4 (2010) | О сложности верификации недетерминированных вероятностных мультиагентных систем | Аннотация PDF (Rus) похожие документы |
М. К. Валиев, М. И. Дехтярь | ||
"... probabilistic. We show how such systems can be polynomially transformed to ¯nite state Markov decision processes ..." | ||
Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
"... Uniform systems of communicating extended finite automata are considered in the paper ..." | ||
Том 16, № 3 (2009) | О множестве достижимости автоматных трехсчетчиковых машин | Аннотация PDF (Rus) похожие документы |
Е. В. Кузьмин, Д. Ю. Чалый | ||
Том 22, № 6 (2015) | Анализ системных исполнений с помощью Process Mining | Аннотация PDF (Rus) похожие документы |
С. А. Шершаков, В. А. Рубин | ||
"... of these logs. The aims of process mining are to discover, analyze, and improve processes on the basis ..." | ||
Том 17, № 1 (2010) | О множестве достижимости автоматных счетчиковых машин | Аннотация PDF (Rus) похожие документы |
Е. В. Кузьмин, Д. Ю. Чалый | ||
Том 24, № 4 (2017) | Исследование одной марковской модели угроз безопасности компьютерных систем | Аннотация PDF (Rus) похожие документы |
Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
"... In this work, a model for computer system security threats formulated in terms of Markov processes ..." | ||
Том 31, № 3 (2024) | Синтез иерархических моделей процессов: подход на основе разбиения событий на множества | Аннотация похожие документы |
Антонина Константиновна Бегичева, Ирина Александровна Ломазова, Роман Александрович Нестеров | ||
"... this technology to optimize and improve their business processes. However, a discovered process model may be too ..." | ||
Том 27, № 2 (2020) | “VTMine for Visio”: инструмент графического моделирования в области Process Mining | Аннотация PDF (Rus) похожие документы |
Сергей Андреевич Шершаков | ||
"... Process-Aware Information Systems (PAIS) is a special class of the IS intended for the support ..." | ||
Том 21, № 5 (2014) | Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов | Аннотация PDF (Rus) похожие документы |
Сергей Андреевич Шершаков | ||
"... Process mining is a new direction in the field of modeling and analysis of processes, where ..." | ||
Том 27, № 2 (2020) | Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных | Аннотация PDF (Rus) похожие документы |
Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова | ||
"... the Hoar concept of communicating sequential processes to the computation control on the data readiness ..." | ||
Том 25, № 6 (2018) | Векторное представление слов с семантическими отношениями: экспериментальные наблюдения | Аннотация PDF (Rus) похожие документы |
Мария Сергеевна Каряева, Павел Исаакович Браславский, Валерий Анатольевич Соколов | ||
"... relationships. Semantically related words are applicable to thesauri, ontologies and intelligent systems ..." | ||
Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
"... -oriented program is defined as a sequence of processes. Each process is represented by a set of named ..." | ||
Том 31, № 4 (2024) | Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы | Аннотация PDF (Rus) похожие документы |
Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
"... is defined as a set of interacting processes. PoST is a process-oriented language, which is an extension ..." | ||
Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
"... The process-oriented programming is a paradigm based on the process concept where each process ..." | ||
Том 23, № 3 (2016) | Асимптотический анализ в задаче моделирования процесса переноса газовой примеси в приповерхностном слое атмосферы | Аннотация PDF (Rus) похожие документы |
М. А. Давыдова, Н. Т. Левашова, С. А. Захарова | ||
"... reaction-diffusion-advection equation arising at the description of gas impurity transfer processes ..." | ||
Том 24, № 4 (2017) | Использование журналов событий для локальной корректировки моделей процессов | Аннотация PDF (Rus) похожие документы |
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст | ||
"... of the system may be used. In this paper, we consider the problem of process model adjustment (correction) using ..." | ||
Том 19, № 6 (2012) | Дедуктивная верификация телекоммуникационных систем, представленных на языке Си | Аннотация PDF (Rus) похожие документы |
Игорь Сергеевич Ануреев | ||
"... of parallel communicating components of these systems to separate verification of components written ..." | ||
Том 29, № 4 (2022) | Анализ академической успеваемости студентов с использованием журналов событий электронной образовательной среды | Аннотация PDF (Rus) похожие документы |
Никита Денисович Шаимов, Ирина Александровна Ломазова, Алексей Александрович Мицюк, Илья Юрьевич Самоненко | ||
"... Modern educational process involves the use of electronic educational environments ..." | ||
Том 24, № 2 (2017) | Построение высокоуровневой модели процесса по журналу событий | Аннотация похожие документы |
Антонина Константиновна Бегичева, Ирина Александровна Ломазова | ||
"... Process mining is a relatively new field of computer science, which deals with process discovery ..." | ||
Том 17, № 2 (2010) | Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри | Аннотация PDF (Rus) похожие документы |
М. Г. Доррер | ||
"... A mechanism allowing the unique conversion of an event-based business process model of the ARIS EPC ..." | ||
Том 22, № 1 (2015) | Особенности формирования диссипативных структур, описываемых уравнением Курамото–Сивашинского | Аннотация PDF (Rus) похожие документы |
Николай Алексеевич Кудряшов, Павел Николаевич Рябов, Богдан Александрович Петров | ||
"... . The influence of the problem parameters on these processes are studied. The quantitative and qualitative ..." | ||
Том 21, № 4 (2014) | Синтез моделей процессов по журналам событий с шумом | Аннотация PDF (Rus) похожие документы |
Алексей Александрович Мицюк, Иван Сергеевич Шугуров | ||
"... Process mining is a new emerging discipline related to process management, formal process models ..." | ||
Том 22, № 3 (2015) | СООТВЕТСТВУЕТ ЛИ ВАШ ЖУРНАЛ СОБЫТИЙ ВЫСОКОУРОВНЕВОЙ МОДЕЛИ ПРОЦЕССА? | Аннотация похожие документы |
А. К. Бегичева, И. А. Ломазова | ||
"... Process mining is a relatively new field of computer science, which deals with process discovery ..." | ||
Том 23, № 3 (2016) | Численное моделирование процессов формирования полос адиабатического сдвига в композитах | Аннотация PDF (Rus) похожие документы |
Н. А. Кудряшов, Р. В. Муратов, П. Н. Рябов | ||
"... The process of plastic flow localization under shear deformations of a composite material ..." | ||
Том 25, № 4 (2018) | Динамическая модель процессов информационных обменов в пиринговой сети | Аннотация PDF (Rus) похожие документы |
Александра Игоревна Кононова | ||
"... . The process of measuring the condition of real distributions is described. An example of the trajectory ..." | ||
Том 25, № 6 (2018) | Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов | Аннотация PDF (Rus) похожие документы |
Анна Алексеевна Каленкова, Данил Александрович Колесников | ||
"... , such as image analysis, machine learning, chemicalinformatics. Recently, with the development of process mining ..." | ||
Том 29, № 1 (2022) | Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС | Аннотация PDF (Rus) похожие документы |
Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров | ||
"... into programs in HDL languages that support the design process of digital chips are presented. The principles ..." | ||
Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) похожие документы |
К. А. Васильева, Е. В. Кузьмин | ||
"... of communicating automata, describing the logic of the program, is already an adequate program model. This fact ..." | ||
Том 17, № 2 (2010) | Релаксационные колебания электрически связанных нейроподобных осцилляторов с запаздыванием | Аннотация PDF (Rus) похожие документы |
С. Д. Глызин | ||
"... the elexctrical interacction of pulse neurons is studiexl. Given the spexxl of electrical processes in the system ..." | ||
Том 23, № 5 (2016) | Асимптотика стационарного решения с внутренним переходным слоем для системы типа ФитцХью–Нагумо | Аннотация PDF (Rus) похожие документы |
А. А. Мельникова, Р. Л. Аргун | ||
"... Creating adequate mathematical models of processes in living nature is an important task of modern ..." | ||
Том 18, № 4 (2011) | Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов | Аннотация PDF (Rus) похожие документы |
Сергей Николаевич Баранов, Всеволод Павлович Котляров | ||
Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
Томас Баар, Сергей Михайлович Старолетов | ||
Том 20, № 6 (2013) | О региональных случайных упаковках | Аннотация PDF (Rus) похожие документы |
Масахару Танемура | ||
"... packing and to other processes are given. The article is published in the author’s wording. ..." | ||
Том 15, № 1 (2008) | Пространственнонеоднородные инвариантные торы в модели мультипликаторакселератор | Аннотация PDF (Rus) похожие документы |
Е. В. Коршунова, А. Н. Куликов | ||
"... boundary value problem is to consider spatial effects when studying processes of macroeconomics ..." | ||
Том 18, № 4 (2011) | Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова | Аннотация PDF (Rus) похожие документы |
Дмитрий Анатольевич Зайцев | ||
"... over the string of symbols. The rules of the sequential, branching and cyclic processes encoding ..." | ||
Том 24, № 1 (2017) | Перераспределение, производство и неравенство | Аннотация похожие документы |
Алексей Владимирович Захаров, Владимир Евгеньевич Захаров | ||
"... processes. Article is published in the authors’ wording. ..." | ||
Том 30, № 4 (2023) | Моделирование влияния внешних воздействий на процесс автоматизированной посадки БпЛА-квадрокоптера на подвижную платформу с использованием технического зрения | Аннотация PDF (Rus) похожие документы |
Артём Валерьевич Рябинов, Антон Игоревич Савельев, Дмитрий Андреевич Аникин | ||
Том 24, № 1 (2017) | О комбинировании различных методов ускорения при итерационном решении уравнений с частными производными методом коллокаций и наименьших невязок | Аннотация PDF (Rus) похожие документы |
Василий Павлович Шапеев, Евгений Васильевич Ворожцов | ||
"... In the work, we consider the problem of accelerating the iteration process of the numerical ..." | ||
Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
Игорь Сергеевич Ануреев | ||
"... Reflex is a process-oriented language that provides a design of easy-to-maintain control software ..." | ||
Том 27, № 4 (2020) | InnoChain: распределенный реестр для индустриального применения с формальной верификацией на всех уровнях реализации | Аннотация PDF (Rus) похожие документы |
Владимир Александрович Кухаренко, Кирилл Викторович Зиборов, Рафаэль Фаритович Садыков, Александр Владимирович Наумчев, Руслан Маратович Резин, Леонид Альбертович Меркин | ||
"... processes based on DLSs, must be verifiable as well. In this paper, we describe an ongoing industrial ..." | ||
Том 20, № 5 (2013) | Статистические характеристики управляемых систем, возникающие в различных моделях естествознания | Аннотация PDF (Rus) похожие документы |
Яна Юрьевна Ларина, Людмила Ивановна Родина | ||
"... with the property of admissibility of periodic processes for linear control systems. The admissibility means ..." | ||
Том 25, № 1 (2018) | Периодические изменения автоволнового фронта в двумерной системе параболических уравнений | Аннотация PDF (Rus) похожие документы |
Алина Александровна Мельникова, Наталья Николаевна Дерюгина | ||
"... processes speeds for the system components. The study of the system is conducted by using the contrast ..." | ||
Том 26, № 2 (2019) | Анализ возможностей практического использования моделей решеточных газов | Аннотация PDF (Rus) похожие документы |
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин | ||
"... of physicochemical processes. Cellular automata-based methods greatly simplify modeling procedures in many cases ..." | ||
Том 23, № 3 (2016) | Численное решение начально-краевой задачи для псевдопараболического уравнения с внутренним переходным слоем | Аннотация PDF (Rus) похожие документы |
А. А. Быков | ||
"... processes in physics, chemistry, biology, for example, magnetic field generation in a turbulent medium ..." | ||
Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
Владимир Васильевич Васильчиков | ||
"... provide representation of parallel computation branches as migratory processes, their initial distribution ..." | ||
Том 25, № 1 (2018) | Краевые состояния и киральные солитоны в топологических полях Черна–Саймонса– Холла | Аннотация похожие документы |
Агалар Магомед-Закиевич Агаларов, Тельман Алимагомедович Гаджимурадов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин | ||
"... interactions shows that there is no backscattering processes. We identify these solutions with the edge ..." | ||
Том 22, № 3 (2015) | ПОСТРОЕНИЕ РАСПИСАНИЙ ОБСЛУЖИВАНИЯ СТАЦИОНАРНЫХ ОБЪЕКТОВ ПЕРЕМЕЩАЮЩИМСЯ В ОДНОМЕРНОЙ ЗОНЕ ПРОЦЕССОРОМ | Аннотация похожие документы |
Н. А. Дуничкина, Д. И. Коган, Ю. С. Федосенко | ||
"... of the schedule structure algorithm is exponential. The model describes the fuel supply processes to the diesel ..." | ||
Том 24, № 3 (2017) | Решение вида движущегося фронта двумерной задачи реакция-диффузия | Аннотация PDF (Rus) похожие документы |
Евгений Александрович Антипов, Владимир Тарасович Волков, Наталия Тимуровна Левашова, Николай Николаевич Нефедов | ||
"... to model physical processes associated with the propagation of autowave fronts, in particular ..." | ||
Том 25, № 1 (2018) | Особенности локальной динамики модели оптико-электронного осциллятора с запаздыванием | Аннотация PDF (Rus) похожие документы |
Елена Викторовна Григорьева, Сергей Александрович Кащенко, Дмитрий Владимирович Глазков | ||
"... that allows us to draw a conclusion about the action of processes with different order velocities. We analyse ..." | ||
Том 25, № 2 (2018) | Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети | Аннотация PDF (Rus) похожие документы |
Сергей Михайлович Терехов, Владимир Алексеевич Немтинов, Кирилл Сергеевич Корнилов | ||
"... supply process depends on the efficiency of the functioning of the heat supply systems. The reliability ..." | ||
Том 25, № 4 (2018) | Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров | Аннотация PDF (Rus) похожие документы |
Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов | ||
"... bots that automate various business processes or provide information services. In this paper, we ..." | ||
Том 30, № 3 (2023) | Распределение Больцмана в проблеме рационального выбора популяцией участка при неполной информации о его ресурсах | Аннотация PDF (Rus) похожие документы |
Александр Николаевич Кириллов, Инна Владимировна Данилова | ||
"... of available information about the amount of resources, contained in patches, on a decision-making process ..." | ||
Том 23, № 3 (2016) | Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками | Аннотация PDF (Rus) похожие документы |
Н. А. Кудряшов, Д. И. Синельщиков | ||
"... Nonlinear convection–diffusion equations are widely used for the description of various processes ..." | ||
Том 23, № 4 (2016) | Компьютерное моделирование "Интеллектуального здания" | Аннотация PDF (Rus) похожие документы |
О. Ю. Марьясин, А. С. Колодкина, А. А. Огарков | ||
"... of different nature, whose behavior is described by continuous and discrete processes. In the article ..." | ||
Том 31, № 3 (2024) | LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью | Аннотация PDF (Rus) похожие документы |
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
"... detailed representation of the processes of the environment operation. As a result, the obtained behavior ..." | ||
Том 29, № 1 (2022) | Инструменты численного моделирования и S-производные | Аннотация PDF (Rus) похожие документы |
Анатолий Николаевич Морозов | ||
"... Numerical study of various processes leads to the need of clarification (extensions) of the limits ..." | ||
Том 19, № 2 (2012) | Уравнение кинетики измельчения с произвольным законом распределения времени ожидания | Аннотация PDF (Rus) похожие документы |
Леонид Владимирович Королев, Донат Олегович Бытев | ||
"... A generalized kinetic equation of a grinding process is obtained. The equation is valid ..." | ||
Том 30, № 1 (2023) | О вычислительных конструкциях в функциональных пространствах | Аннотация PDF (Rus) похожие документы |
Анатолий Николаевич Морозов | ||
"... Numerical study of various processes leads to the need for clarification (extensions) of the limits ..." | ||
Том 14, № 2 (2007) | Модель сальтаторного проведения возбуждения по разветвляющемуся нервному волокну | Аннотация PDF (Rus) похожие документы |
С. Е. Ануфриенко, А. С. Мац | ||
"... We propose a model which demonstrates the process of nerve impulse conduction through the forked ..." | ||
Том 21, № 6 (2014) | Поведенческая идентификация программ | Аннотация PDF (Rus) похожие документы |
Максим Викторович Баклановский, Артур Рафаэльевич Ханов | ||
"... for process identification or establishing the fact that some sequence of system calls was produced ..." | ||
Том 19, № 6 (2012) | Непрерывное уплощение правильного тетраэдра точными отображениями | Аннотация PDF (Rus) похожие документы |
Джин-ичи Ито, Чи Нара | ||
"... by a continuous folding process of polyhedra. In this paper, we give explicit formulas of continuous functions ..." | ||
Том 14, № 4 (2007) | Верификация синхронно-автоматных программ | Аннотация PDF (Rus) похожие документы |
С. В. Кубасов | ||
"... the design process. ..." | ||
Том 17, № 1 (2010) | A mathematical model of an order management automated system within the process of production technological preparation in aviation enterprisers | Аннотация PDF (Rus) похожие документы |
П. Е. Ефимова | ||
"... The article considers the analysis of an order management automated system used within the process ..." | ||
Том 19, № 4 (2012) | Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования | Аннотация PDF (Rus) похожие документы |
Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин | ||
"... The article describes a method of finding business process invariants basing on a given model ..." | ||
1 - 75 из 133 результатов | 1 2 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)