Сортировать по:
| Выпуск | Название | |
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... of ”invariant” applied to the Pifagor language, algorithms for its optimization, and examples of program source ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... in the Pifagor language is considered. The proof process of a program correctness is considered as a tree where ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... functional parallel language Pifagor. In this language the program could be represented as a data flow graph ..." | ||
| Том 19, № 6 (2012) | Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Анатольевич Зайцев | ||
| "... A technique of the computing grid verification using invariants of infinite Petri nets ..." | ||
| Том 26, № 4 (2019) | Направляемый свойством поиск реляционных инвариантов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Мордвинов | ||
| "... may arise, e.g., from relational verification tasks, PDR aims to infer an inductive invariant for each ..." | ||
| Том 19, № 5 (2012) | Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Кропачева, Александр Иванович Легалов | ||
| "... on the axiomatic approach. Formal system for functional data-flow parallel programming language Pifagor ..." | ||
| Том 19, № 4 (2012) | Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева | ||
| Том 19, № 4 (2012) | Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования | Аннотация PDF (Rus) похожие документы |
| Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин | ||
| "... The article describes a method of finding business process invariants basing on a given model ..." | ||
| Том 17, № 2 (2010) | Алгоритм преобразования моделей бизнес-процессов в одноцветные сети Петри | Аннотация PDF (Rus) похожие документы |
| М. Г. Доррер | ||
| "... the Petri net matrix representation allows finding net invariants thus solving a task of finding all ..." | ||
| Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
| "... in C-light programs. The method includes an inference rule for the iteration without invariants, which ..." | ||
| Том 25, № 5 (2018) | Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий | ||
| "... be provided with an invariant whose construction is often a challenge. As a rule, the methods of invariant ..." | ||
| Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
| И. В. Марьясов, В. А. Непомнящий | ||
| "... of deductive verification it is necessary to provide loop invariants which might be a challenge in many cases ..." | ||
| Том 21, № 6 (2014) | О некоторых задачах реконфигурирования программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Евгений Викторович Чемерицкий | ||
| Том 30, № 3 (2023) | Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) | Аннотация похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... -approximation approach. One the other hand, the use of the classic approach requires defining loop invariants ..." | ||
| Том 31, № 4 (2024) | Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
| "... as control loop invariants. However, control loop invariants that represent requirements are not sufficient ..." | ||
| Том 28, № 4 (2021) | На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... invariants. Symbolic replacement of definite iterations by recursive functions is the base of this method ..." | ||
| Том 25, № 1 (2018) | Инвариантные характеристики вынужденных колебаний балки с продольным сжатием | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Михаил Владимирович Лоханин, Дмитрий Михайлович Сиротин | ||
| "... with chaotic behaviour. To study the invariant numerical characteristics of the attractor of the corresponding ..." | ||
| Том 20, № 5 (2013) | Статистические характеристики управляемых систем, возникающие в различных моделях естествознания | Аннотация PDF (Rus) похожие документы |
| Яна Юрьевна Ларина, Людмила Ивановна Родина | ||
| "... and differential inclusions. This expansion consists in studying statistically invariant sets and statistical ..." | ||
| Том 26, № 1 (2019) | Иерархические периферийные вычисления | Аннотация PDF (Rus) похожие документы |
| Руслан Леонидович Смелянский | ||
| "... мелких ЦОДов, образующих инфраструктуру для облачных вычислений. Эта смена объективна. Её актуальность ..." | ||
| Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... оформления параллельных ветвей вычислений как мигрирующих процессов, их распределение по сети, передачу ..." | ||
| Том 15, № 1 (2008) | Пространственнонеоднородные инвариантные торы в модели мультипликаторакселератор | Аннотация PDF (Rus) похожие документы |
| Е. В. Коршунова, А. Н. Куликов | ||
| "... . For the boundary value problem given, using the Invariant Manifolds method, the method of Averaging and the Theory ..." | ||
| Том 20, № 3 (2013) | Преобразования задач оптимального управления | Аннотация PDF (Rus) похожие документы |
| Анатолий Михайлович Цирлин | ||
| "... unchanged through equations of the system (invariant), by extension of the original problem and a transition ..." | ||
| Том 23, № 2 (2016) | Коллективные потоковые вычисления: реляционные модели и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Д. А. Усталов | ||
| Том 27, № 1 (2020) | Вычисление производных в пространствах Lp, 1 ≤ p ≤ ∞ | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Морозов | ||
| "... непосредственное их вычисление. Функция (fin L_p[I], ;p>0,) (при (p=infty) рассматриваются измеримые ..." | ||
| Том 16, № 3 (2009) | Разностные аппроксимации уравнения «реакция - диффузия» на отрезке | Аннотация PDF (Rus) похожие документы |
| С. Д. Глызин | ||
| Том 23, № 6 (2016) | Устойчивые циклы и торы системы из трех и четырех диффузионно связанных осцилляторов | Аннотация PDF (Rus) похожие документы |
| Е. А. Марушкина | ||
| Том 25, № 2 (2018) | О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов | Аннотация PDF (Rus) похожие документы |
| Алевтина Борисовна Глонина, Василий Викторович Балашов | ||
| "... временных автоматов с остановкой таймеров. По вычислению сети автоматов предлагается строить временную ..." | ||
| Том 21, № 3 (2014) | Вычисление ляпуновской величины для логистического уравнения с быстро осциллирующим запаздыванием | Аннотация PDF (Rus) похожие документы |
| Надежда Дмитриевна Быкова | ||
| Том 20, № 6 (2013) | Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли | Аннотация PDF (Rus) похожие документы |
| Иджад Хакович Сабитов | ||
| "... Мы предлагаем один новый подход к проблеме вычисления объемов тел в пространстве Лобачевского и ..." | ||
| Том 17, № 2 (2010) | Облачные вычисления в Интернете: краткий экскурс в Центр компьютерного моделирования | Аннотация PDF (Rus) похожие документы |
| Г. А. Тарнавский | ||
| "... На базе Центра компьютерного моделирования кратко представлена концепция облачных вычислений в ..." | ||
| Том 26, № 3 (2019) | Сравнение диффеоморфных изображений на основе формирования персистентных гомологий | Аннотация PDF (Rus) похожие документы |
| Сергей Николаевич Чуканов | ||
| "... is the study invariants of big data. A method based on persistent cohomology is proposed that combines ..." | ||
| Том 19, № 2 (2012) | Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло | Аннотация PDF (Rus) похожие документы |
| Лев Юрьевич Бараш, Лев Николаевич Щур | ||
| Том 27, № 2 (2020) | Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова | ||
| "... вычислений, которая за счет использования асинхронных последовательных потоков обеспечивает представление ..." | ||
| Том 21, № 1 (2014) | Об одном механизме жесткого возбуждения колебаний в нелинейных флаттерных системах | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
| "... is the possibility of coexistence, along with the stable zero state, of stable invariant tori of arbitrary finite ..." | ||
| Том 26, № 4 (2019) | Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| "... and Hoare logic for the C-kernel as input. To solve the well-known problem of determining loop invariants ..." | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
| Томас Баар, Сергей Михайлович Старолетов | ||
| "... the user annotate invariants and contracts to states of the hybrid automaton. Thus, the user can employ ..." | ||
| Том 20, № 3 (2013) | Оптимальные квадратурные формулы приближенного вычисления криволинейного интеграла первого рода для некоторых классов функций и кривых | Аннотация PDF (Rus) похожие документы |
| Камаридин Тухлиев | ||
| "... .М. Никольского для приближенного вычисления криволинейных интегралов первого рода на классах дифференцируемых ..." | ||
| Том 30, № 4 (2023) | Быстрое вычисление циклических сверток и их приложения в кодовых схемах асимметричного шифрования | Аннотация похожие документы |
| Андрей Николаевич Сушко, Борис Яковлевич Штейнберг, Кирилл Владимирович Веденев, Антон Анатольевич Глухих, Юрий Владимирович Косолапов | ||
| Том 29, № 1 (2022) | Алгоритм углового сверхразрешения с использованием разложения Холецкого и его реализация на основе технологии параллельных вычислений | Аннотация PDF (Rus) похожие документы |
| Сергей Евгеньевич Мищенко, Николай Витальевич Шацкий | ||
| "... вычислений CUDA NVIDIA. Установлено, что предложенный алгоритм обеспечивает экономию вычислительных ресурсов ..." | ||
| Том 25, № 2 (2018) | Сравнительный анализ устойчивости вычислительных решеток с различной архитектурой узла к индуцированным тупикам | Аннотация PDF (Rus) похожие документы |
| Татьяна Рудольфовна Шмелёва | ||
| Том 29, № 1 (2022) | Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС | Аннотация PDF (Rus) похожие документы |
| Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| "... tree, checking invariants and so on. The generation process consists of two stages. At the first stage ..." | ||
| Том 31, № 4 (2024) | Применение TLA+/TLC для моделирования и верификации криптографических протоколов | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... as the required security properties in the form of invariants. The model of a protocol describes its behavior ..." | ||
| Том 16, № 4 (2009) | Циклы и торы деловой активности в одной математической модели макроэкономики | Аннотация PDF (Rus) похожие документы |
| Е. С. Кокуйкин, А. Н. Куликов | ||
| "... of the stable non-homogeneous invariant torus has been shown. ..." | ||
| Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
| Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
| "... , invariants such as characteristic strings of the set and of its number of elements are used for verification ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... (in particular, on the control object), invariants of the control cycle, pre- and postconditions of external ..." | ||
| Том 27, № 2 (2020) | Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ | Аннотация PDF (Rus) похожие документы |
| Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина | ||
| Том 18, № 2 (2011) | Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. | Аннотация PDF (Rus) похожие документы |
| Анатолий Александрович Сивов | ||
| "... вычисления значения его полей. Обсуждаются вопросы точного вычисления времени прибытия сегментов ARTCP. Также ..." | ||
| Том 16, № 3 (2009) | Уточнение периода решения уравнения импульсного нейрона при постоянном внешнем электрическом воздействии | Аннотация PDF (Rus) похожие документы |
| К. В. Корнилов | ||
| "... Рассмотрена задача вычисления периода решения уравнения, описывающего модель импульсного нейрона ..." | ||
| Том 21, № 3 (2014) | Метод центральных многообразий в задаче асимптотического интегрирования функционально-дифференциальных уравнений с колебательно убывающими коэффициентами. I | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... of the so-called critical manifold that is positively invariant for trajectories of the initial system. We ..." | ||
| Том 20, № 5 (2013) | Релаксационные колебания в моделях многовидовых сообществ | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Кащенко | ||
| "... Some families of mathematical models of biological populations are considered. Invariant ratios ..." | ||
| Том 25, № 2 (2018) | О рекурсивно-параллельном алгоритме решения задачи о рюкзаке | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... эффективности применяются также различные варианты организации параллельных вычислений. Мы предлагаем здесь ..." | ||
| Том 14, № 2 (2007) | О характеристическом наборе коэффициентов черно-белых цифровых изображений, построенных на основе гексагональной решетки | Аннотация PDF (Rus) похожие документы |
| И. А. Каплий, П. Г. Парфенов | ||
| "... Рассмотрены понятия, связанные с вычислением эйлеровой характеристики изображений, построенных на ..." | ||
| Том 16, № 4 (2009) | Уточнение оценки латентного периода для нейронов с синаптическим взаимодействием | Аннотация PDF (Rus) похожие документы |
| О. А. Дунаева | ||
| "... Рассмотрена задача вычисления задержки возникновения индуцированного спайка по отношению к моменту ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... Последовательные реагирующие системы включают в себя устройства и программы, вычисления которых ..." | ||
| Том 20, № 3 (2013) | Диффузионный хаос в задаче «реакция–диффузия» c гантелеобразной областью определения пространственной переменной | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Павел Леонидович Шокин | ||
| "... emergence were studied and the dependence of invariant characteristics of the attractor on the bridge width ..." | ||
| Том 26, № 3 (2019) | Новый подход к моделированию генных сетей | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
| "... and stability problem of a relaxation periodic solution that is invariant with respect to cyclic permutations ..." | ||
| Том 24, № 5 (2017) | Асимптотическое интегрирование некоторых дифференциальных уравнений в банаховом пространстве | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... is positively invariant with respect to the initial equation and attracts all the trajectories of the weak ..." | ||
| Том 27, № 3 (2020) | Особенности алгоритмической реализации разностных аналогов логистического уравнения с запаздыванием | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Сергей Александрович Кащенко, Анна Олеговна Толбей | ||
| "... . In particular, this map does not have a stable invariant curve bifurcating under the oscillatory loss ..." | ||
| Том 25, № 5 (2018) | Неупорядоченные колебания в нейросети из трех осцилляторов с запаздывающей вещательной связью | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Елена Александровна Марушкина | ||
| "... of parameters close to the critical ones on a stable invariant integral manifold. This normal form is reduced ..." | ||
| Том 25, № 6 (2018) | Даже простые процессы π-исчисления трудны для анализа | Аннотация PDF (Rus) похожие документы |
| Марат Мазен Аббас, Владимир Анатольевич Захаров | ||
| "... Математические модели распределенных вычислений, построенные на основе исчисления мобильных ..." | ||
| Том 24, № 5 (2017) | Бифуркации пространственно неоднородных решений в одной краевой задаче для обобщенного уравнения Курамото–Сивашинского | Аннотация PDF (Rus) похожие документы |
| Алина Вадимовна Секацкая | ||
| "... are studied in the case of their stability changes. The method of invariant manifolds coupled with the normal ..." | ||
| Том 25, № 1 (2018) | Уравнение Курамото–Сивашинского. Локальный аттрактор, заполненный неустойчивыми периодическими решениями | Аннотация PDF (Rus) похожие документы |
| Анатолий Николаевич Куликов, Дмитрий Анатольевич Куликов | ||
| "... dynamical systems: the integral (invariant) manifold method, the Poincare normal form theory, and asymptotic ..." | ||
| Том 19, № 3 (2012) | Пакеты импульсов в системе взаимодействующих осцилляторов с запаздыванием и их статистическая обработка | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Елена Александрович Марушкина | ||
| "... пары осцилляторов нейронного типа. Удалось установить, что вычисление некоторых статистических ..." | ||
| Том 17, № 2 (2010) | Метод оценки частоты выполнения фрагментов кода последовательной программы | Аннотация PDF (Rus) похожие документы |
| А. В. Шалимов | ||
| "... Рассматривается задача о вычислении частоты выполнения фрагментов кода последовательной программы ..." | ||
| Том 18, № 3 (2011) | Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры | Аннотация PDF (Rus) похожие документы |
| Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов | ||
| "... Беллмана, использующая параллельные вычисления и не проигрывающая в качестве. Предлагаемая процедура ..." | ||
| Том 18, № 1 (2011) | Хаотические колебания одной распределенной динамическом системы с бесконечным запаздыванием | Аннотация PDF (Rus) похожие документы |
| А. Ю. Коверга, Е. П. Кубышкин | ||
| "... запаздыванием аргумента. Выявлены условия существования хаотических колебаний. Вычислены ляпуновские показатели ..." | ||
| Том 23, № 4 (2016) | Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера | Аннотация PDF (Rus) похожие документы |
| В. В. Васильчиков | ||
| "... подобного рода весьма сложно сразу разбить вычисления на достаточное количество сравнимых по трудоемкости ..." | ||
| Том 13, № 1 (2006) | Формула для ляпуновской величины задачи о бифуркации автоволн | Аннотация PDF (Rus) похожие документы |
| Ю. С. Колесов, А. Е. Харьков | ||
| "... многогранна. В данной статье объясняются два аспекта проблемы: вычисление ляпуновской величины теряющего ..." | ||
| Том 25, № 5 (2018) | О безопасности одно- и многоместных IFP-операторов | Аннотация PDF (Rus) похожие документы |
| Сергей Михайлович Дудаков | ||
| "... ), то есть возможность их вычисления за конечное время. Такие операторы в точности соответствуют ..." | ||
| Том 32, № 1 (2025) | Доминирующие множества с окрестностью для деревьев | Аннотация PDF (Rus) похожие документы |
| Михаил Анатольевич Иорданский | ||
| "... (G)$; для $ varepsilon < r(G)$ числа $delta_{varepsilon}(G) > 1$, вычисление $delta_{1}(G)=delta ..." | ||
| Том 18, № 4 (2011) | Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова | Аннотация PDF (Rus) похожие документы |
| Дмитрий Анатольевич Зайцев | ||
| "... формы представления. В парадигме вычислений на сетях Петри построенная сеть обеспечивает совместимость ..." | ||
| Том 20, № 1 (2013) | Влияние деформации области на поведение решений распределенной кинетической системы | Аннотация PDF (Rus) похожие документы |
| Евгений Павлович Кубышкин | ||
| "... механизмы возникновения хаотических аттракторов, для которых вычислены ляпуновские показатели и ляпуновская ..." | ||
| Том 22, № 3 (2015) | ИССЛЕДОВАНИЕ КОЛЕБАТЕЛЬНЫХ РЕШЕНИЙ ДИФФЕРЕНЦИАЛЬНО-РАЗНОСТНОГО УРАВНЕНИЯ ВТОРОГО ПОРЯДКА В ОДНОМ КРИТИЧЕСКОМ СЛУЧАЕ | Аннотация PDF (Rus) похожие документы |
| Е. П. Кубышкин, А. Р. Морякова | ||
| "... аттрактора, для которого вычислены ляпуновские показатели и ляпуновская размерность. В качестве метода ..." | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... , основанный на вычислении показателя похожести для исходной, обфусцированной и деобфусцированной программ ..." | ||
| 1 - 75 из 126 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
