Сортировать по:
| Выпуск | Название | |
| Том 26, № 4 (2019) | Доказательство свойств дискретных функций с помощью дедуктивного доказательства: приложение к квадратному корню | Аннотация похожие документы |
| Васил Тодоров, Сафуан Таха, Фредерик Буланже, Армандо Эрнандес | ||
| "... of these techniques is deductive proof. It can give a higher level of confidence in proving critical safety properties ..." | ||
| Том 19, № 6 (2012) | Дедуктивная верификация протокола скользящего окна | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий | ||
| "... transmission of data over unreliable channels. A formal proof of correctness for this protocol faces ..." | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... and automate the deductive verification of such programs. The method consists of the following steps ..." | ||
| Том 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 ..." | ||
| Том 17, № 4 (2010) | Верификация и синтез программ сложения на базе правил корректности операторов | Аннотация PDF (Rus) похожие документы |
| В. И. Шелехов | ||
| "... Deductive verication and synthesis of binary addition programs are performed on the base ..." | ||
| Том 31, № 4 (2024) | Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
| "... verification plays an important role due to the need to ensure high reliability of such software. Deductive ..." | ||
| Том 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 ..." | ||
| Том 19, № 6 (2012) | Дедуктивная верификация телекоммуникационных систем, представленных на языке Си | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... A deductive approach to verification of telecommunication systems written in C is proposed ..." | ||
| Том 18, № 4 (2011) | Атрибутные аннотации и их применение в дедуктивной верификации C-программ | Аннотация PDF (Rus) похожие документы |
| Михаил Михайлович Атучин, Игорь Сергеевич Ануреев | ||
| "... for their application in a deductive program verification are proposed. A collection of annotating attributes ..." | ||
| Том 30, № 3 (2023) | Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) | Аннотация похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... Classic deductive verification is not focused on reasoning about program incorrectness. Reasoning ..." | ||
| Том 19, № 6 (2012) | Новое доказательство формулы Эйлера | Аннотация PDF (Rus) похожие документы |
| Михаил Иванович Штогрин | ||
| "... It is a new proof of the Euler formula for a convex polyhedron in R³. ..." | ||
| Том 25, № 4 (2018) | О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» | Аннотация PDF (Rus) похожие документы |
| Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый | ||
| "... The blockchain technology is based on the ”Proof-of-work” principles. The essence ..." | ||
| Том 26, № 2 (2019) | К вопросу использования «полезных» задач для обеспечения работой блокчейн систем | Аннотация PDF (Rus) похожие документы |
| Дмитрий Михайлович Мурин, Владимир Николаевич Князев | ||
| "... Proof-of-work for blockchains” problem. We suggest some alternative ways for searching useful tasks ..." | ||
| Том 20, № 6 (2013) | Гиперболический тетраэдр: вычисление объема с применением к доказательству формулы Шлефли | Аннотация PDF (Rus) похожие документы |
| Иджад Хакович Сабитов | ||
| "... of its edge lengths. Finally, we give a direct analitic proof of the famous Schläfli formula ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... of the Reflex language to annotations simplifies the proof of the correctness of the transformation approach ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... language and it has the capability of partial automation of the proof process. However, the method ..." | ||
| Том 25, № 5 (2018) | Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий | ||
| "... During deductive verification of programs written in imperative languages, the generation ..." | ||
| Том 25, № 5 (2018) | Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae | Аннотация похожие документы |
| Томас Баар, Сергей Михайлович Старолетов | ||
| "... the proof is authored in a classical sequent calculus framework and a successful proof requires from ..." | ||
| Том 28, № 4 (2021) | Замечания о последних достижениях в доказательстве устойчивости с использованием KeYmaeraX | Аннотация PDF (Rus) похожие документы |
| Томас Баар, Хорст Шульте | ||
| "... review some recent extensions of the proof calculus applied by KeYmaeraX that make formal proofs ..." | ||
| Том 21, № 6 (2014) | Разработка самоприменимой системы верификации. Теория и практика | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| "... As opposed to traditional testing, the deductive verification represents a formal way to examine ..." | ||
| Том 17, № 4 (2010) | Об исчислении позитивно-образованных формул для автоматического доказательства теорем | Аннотация PDF (Rus) похожие документы |
| А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин | ||
| "... calculus JF and complete strategy for automated proof search based on a single unary rule of inference ..." | ||
| Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
| Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
| "... to the concept of a set, operations on sets, algebra of sets, proofs of statements for sets, and the derivation ..." | ||
| Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
| И. В. Марьясов, В. А. Непомнящий | ||
| "... of deductive verification it is necessary to provide loop invariants which might be a challenge in many cases ..." | ||
| Том 17, № 4 (2010) | Пример верификации в проекте F@BOOL@, основанном на булевских решателях | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... of automatic validation of correctness conditions (instead of semi-automatic proof techniques). The key idea ..." | ||
| Том 22, № 3 (2015) | ПЕРЕХОД К ХАОСУ В КОМПЛЕКСНОМ УРАВНЕНИИ ГИНЗБУРГА–ЛАНДАУ С БОЛЬШОЙ ДИСПЕРСИЕЙ ТРЕТЬЕГО ПОРЯДКА | Аннотация похожие документы |
| И. И. Овсянников, Д. В. Тураев, С. В. Зелик | ||
| "... We give an analytic proof of the existence of Shilnikov chaos in complex Ginzburg– Landau equation ..." | ||
| Том 19, № 6 (2012) | Равномерная асимптотика верхней границы дисперсии для случайного многогранника | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Магазинов | ||
| "... The present paper contains a sketch of the proof of an upper bound for the variance of the number ..." | ||
| Том 17, № 4 (2010) | Automated Correctness Proof of Algorithm Variants in Elliptic Curve Cryptography | Аннотация PDF (Rus) похожие документы |
| , , , , | ||
| "... investigates the possibilities of automated proofs on the correctness of different algorithmic variants. We ..." | ||
| Том 25, № 6 (2018) | Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня | Аннотация PDF (Rus) похожие документы |
| Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский | ||
| "... , then use this verification as proof-outlines for a manual verification of the algorithm in computer ..." | ||
| Том 27, № 3 (2020) | Обобщение правил вывода для зависимостей соединения в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... ) of the obtained axioms does not cause difficulties, the proof of completeness in general has not been ..." | ||
| Том 18, № 4 (2011) | Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем | Аннотация PDF (Rus) похожие документы |
| Андрей Валентинович Климов | ||
| "... with initial and target sets of states and from the proof that under some conditions the procedure terminates ..." | ||
| Том 20, № 5 (2013) | Оценка числа решетчатых разбиений плоскости на полимино заданной площади | Аннотация PDF (Rus) похожие документы |
| Антон Владимирович Шутов, Екатерина Викторовна Коломейкина | ||
| "... . In the proof of a lower bound we give an explicit construction of required lattice plane tilings. The proof ..." | ||
| Том 20, № 6 (2013) | Автоматическая верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев | ||
| "... their proof. Two programs from the well-known verification benchmarks illustrate the applicability ..." | ||
| Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
| "... an induction is applied which is a challenge for SMT-solvers. At proof stage the SMT-solver CVC4 is used in our ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... are present in the systems with ordinary architectures. The proof of programs correctness is based ..." | ||
| Том 21, № 3 (2014) | Об устойчивости состояния равновесия одной модели нейронной сети | Аннотация PDF (Rus) похожие документы |
| Юрий Викторович Богомолов | ||
| "... weight coefficients. An analytic proof of the zero equilibrium state instability for the corresponding ..." | ||
| Том 18, № 3 (2011) | О гипотезе Лассака для выпуклого тела | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский | ||
| "... . The paper contains a new proof of this statement for n = 2. Also we show that if a translate of $[0,1]^n ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... . Minsky machines equipollent Turing machines, and the considered approach also has Turing power. The proof ..." | ||
| Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
| Николай Вячеславович Шилов | ||
| "... one (with a fixed-size static memory), or as a proof of the functional equivalence between recursive ..." | ||
| Том 18, № 4 (2011) | Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ | Аннотация PDF (Rus) похожие документы |
| Николай Вячеславович Шилов | ||
| Том 20, № 4 (2013) | К теореме Делоне о классификации схождений параллелоэдров в гранях коразмерности 3 | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Магазино | ||
| "... , an octahedron, a triangular prism, or a parallelepiped. The present paper contains a new combinatorial proof ..." | ||
| Том 31, № 1 (2024) | Минимальное покрытие обобщенных типизированных зависимостей включения в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... work, based on a study of the properties of dependencies, a system of axioms was presented with proof ..." | ||
| Том 28, № 4 (2021) | Рекурсивная проверка включения для рекурсивно определенных подтипов | Аннотация PDF (Rus) похожие документы |
| Ханс Де Нивелле | ||
| Том 24, № 4 (2017) | Уточнение свойств центроида дерева | Аннотация PDF (Rus) похожие документы |
| Юрий Анатольевич Белов, Сергей Иванович Вовчок | ||
| "... in the neighborhood of centroid vertices, the definition of which is presented. In the paper, we proposed proofs ..." | ||
| Том 22, № 2 (2015) | Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади | Аннотация PDF (Rus) похожие документы |
| Антон Владимирович Шутов, Екатерина Викторовна Коломейкина | ||
| "... lattice is a sublattice of Z 2 . It is proved that C1( √ 2)n ≤ Tc(n) ≤ C2n 2 ( √ 2.68)n . In the proof ..." | ||
| Том 20, № 4 (2013) | Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах | Аннотация PDF (Rus) похожие документы |
| Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый | ||
| "... implementing a method on passive NFC tags. To proof the concept, software implementation of the described ..." | ||
| Том 24, № 3 (2017) | Замечание об области притяжения стационарного решения одного сингулярно возмущённого параболического уравнения | Аннотация PDF (Rus) похожие документы |
| Михаил Анатольевич Терентьев | ||
| "... the domain of the problem, i.e. this boundary is the true boundary of the attraction domain. The proof ..." | ||
| Том 31, № 1 (2024) | О применении исчисления позитивно-образованных формул для исследования управляемых дискретно-событийных систем | Аннотация PDF (Rus) похожие документы |
| Артем Васильевич Давыдов, Александр Александрович Ларионов, Надежда Владимировна Нагул | ||
| Том 20, № 3 (2013) | Семейства гладких рациональных кривых малой степени на многообразиях Фано степени 5 основной серии | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Омелькова | ||
| "... prove that these families are irreducible. The proof of the irreducibility of the families of curves ..." | ||
| Том 23, № 5 (2016) | Полилогарифмы и асимптотика моментов сингулярной функции Лебега | Аннотация PDF (Rus) похожие документы |
| Е. А. Tимофеев | ||
| "... pi ik}{ln 2}, kne 0. $$ The proof is based on analytic techniques such as the poissonization ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... satisfaction proof for the constructed model occurs with the condition that the model contains only ..." | ||
| Том 22, № 2 (2015) | Полнота динамики значений свойств данных в СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Петров, Вадим Сергеевич Рублев | ||
| "... about the static completeness of data representation in DIM, at the end of the paper the proof ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... , verification, proof of system properties and reduction of bug density. Drawbacks of the approach are also ..." | ||
| Том 24, № 2 (2017) | Анализ типизированных зависимостей включения с неопределенными значениями | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин | ||
| "... . Inaccuracies in the solution of the problem are contained in the statements of axioms and the proof ..." | ||
| Том 29, № 3 (2022) | Тестирование зависимостей и правил вывода в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... as a proof of the feasibility of inference rules, since the process of generalization requires the search ..." | ||
| Том 28, № 1 (2021) | NP-полнота задачи о минимальном остовном дереве в кратном графе кратности k ≥ 3 | Аннотация PDF (Rus) похожие документы |
| Александр Валерьевич Смирнов | ||
| "... and complete spanning tree of the limited weight. The main result of this article is the proof ..." | ||
| Том 27, № 2 (2020) | Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ | Аннотация PDF (Rus) похожие документы |
| Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина | ||
| "... task. The paper provides the algorithm and the proof of its correctness. The second one is to find ..." | ||
| Том 27, № 1 (2020) | Исследование свойств АГ-кодов как кодов для защиты от копирования | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Денис Владимирович Загуменнов | ||
| "... proved an auxiliary lemma and the proof contains an explicit way to build a coalition and a pirate ..." | ||
| Том 19, № 5 (2012) | Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Кропачева, Александр Иванович Легалов | ||
| "... Работа посвящена доказательству корректности параллельных программ на основе аксиоматического ..." | ||
| Том 24, № 1 (2017) | Новые оценки числовых величин, связанных с симплексом | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
| "... an Hadamard matrix of~order (n+1). This proposition is known; we give one more proof with the direct use ..." | ||
| Том 14, № 3 (2007) | Ортогональное проектирование и минимальная линейная интерполяция на n-мерном кубе | Аннотация PDF (Rus) похожие документы |
| М. В. Невский | ||
| "... on the cube [0,1]n. The proofs make use of certain properties of the Eulerian numbers and the central B ..." | ||
| Том 16, № 3 (2009) | Исправления и дополнения к статье «Поправка к периоду решения уравнения, моделирующего динамику мембранного потенциала | Аннотация PDF (Rus) похожие документы |
| О. А. Дунаева, М. Л. Мячин | ||
| "... Представлен исправленный вариант формулировки и доказательства теоремы из статьи «Поправка к ..." | ||
| Том 23, № 6 (2016) | Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик | Аннотация PDF (Rus) похожие документы |
| О. Б. Кушнаренко, Ж.-Ф. Вебер | ||
| "... подвергаясь никакому системному простою. В этом контексте основной вклад данной статьи – доказательство ..." | ||
| Том 23, № 2 (2016) | Об эффективности минимизирующего подхода к оптимизации запросов | Аннотация PDF (Rus) похожие документы |
| Н. А. Мендкович | ||
| "... модификации и определения возможных планов выполнения. Целью данной работы является доказательство ..." | ||
| Том 29, № 1 (2022) | LTL-спецификация ограниченных счётчиковых машин | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин | ||
| "... представления для проверки выполнимости программных свойств системы через процедуру доказательства ..." | ||
| Том 24, № 6 (2017) | Семантические средства обеспечения безопасности в программно-конфигурируемых сетях | Аннотация PDF (Rus) похожие документы |
| Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый | ||
| "... on the quality of service. However, there must be a proof that ensures that every network flow is secure ..." | ||
| Том 26, № 3 (2019) | Формальная верификация диаграмм троичных цифровых сигналов | Аннотация PDF (Rus) похожие документы |
| Нина Юрьевна Куцак, Владислав Васильевич Подымов | ||
| "... proof and “reasonable” complexity bounds. ..." | ||
| Том 20, № 6 (2013) | Релаксационные циклы в обобщенной нейронной модели с двумя запаздываниями | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Елена Александровна Марушкина | ||
| "... доказательства данного утверждения сначала выполняется переход к уравнению релейного типа, затем определяется ..." | ||
| Том 18, № 2 (2011) | Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) | Аннотация PDF (Rus) похожие документы |
| Евгений Викторович Бодин, Наталья Олеговна Гаранина, Николай Вячеславович Шилов | ||
| "... строгостью доказательств корректности предложенных алгоритмов. Я, робот. А. Азимов ..." | ||
| Том 23, № 3 (2016) | Применение метода дифференциальных неравенств для обоснования решения системы параболических уравнений в виде движущегося фронта | Аннотация PDF (Rus) похожие документы |
| Н. Т. Левашова, А. А. Мельникова, С. В. Быцюра | ||
| "... изменяется со временем, решение параболической задачи имеет вид движущегося фронта. При доказательстве ..." | ||
| Том 24, № 5 (2017) | Асимптотическое интегрирование некоторых дифференциальных уравнений в банаховом пространстве | Аннотация PDF (Rus) похожие документы |
| Павел Николаевич Нестеров | ||
| "... предложенного метода асимптотического интегрирования состоит в доказательстве существования у исходного ..." | ||
| Том 24, № 6 (2017) | Прототип статического тайп-чекера для языка программирования Jolie | Аннотация похожие документы |
| Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков | ||
| "... обеспечения. Под верификацией предполагается доказательство соответствия поведения программы ее спецификации ..." | ||
| Том 21, № 4 (2014) | О пространстве путей на полных пересечениях в грассманианах | Аннотация PDF (Rus) похожие документы |
| Светлана Михайловна Ермакова | ||
| "... длины n, соединяющих любые две точки полного пересечения, связно и непусто. Для доказательства этого ..." | ||
| Том 28, № 1 (2021) | LTL-спецификация счётчиковых машин | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин | ||
| "... выполнимости программных свойств системы через процедуру доказательства справедливости логических выводов ..." | ||
| Том 22, № 2 (2015) | О существовании ABA-факторизаций у спорадических групп ранга 3 | Аннотация PDF (Rus) похожие документы |
| Лев Сергеевич Казарин, Илья Андреевич Рассадин, Денис Николаевич Сахаров | ||
| "... является доказательство существования ABA – факторизаций у спорадических групп M cL и F i22, где A ..." | ||
| Том 24, № 3 (2017) | Решение вида движущегося фронта двумерной задачи реакция-диффузия | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Антипов, Владимир Тарасович Волков, Наталия Тимуровна Левашова, Николай Николаевич Нефедов | ||
| "... , а доказательство существования решения вида движущегося фронта проведено при помощи ..." | ||
| 1 - 75 из 82 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
