Сортировать по:
| Выпуск | Название | |
| Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
| И. В. Коннов, В. А. Захаров | ||
| "... of a system. It assumes the perfect symmetry of states initially and tracks symmetry violations on-the-fly ..." | ||
| Том 28, № 1 (2021) | LTL-спецификация счётчиковых машин | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин | ||
| "... demonstrates, using the linear temporal logic LTL as an example, how abstract concepts of non-classical logics ..." | ||
| Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) похожие документы |
| К. А. Васильева, Е. В. Кузьмин | ||
| "... is an indisputable advantage of the automata technology. Moreover, the model has a finite set of states ..." | ||
| Том 29, № 1 (2022) | LTL-спецификация ограниченных счётчиковых машин | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин | ||
| "... of a program system as a set of formulas of the linear temporal logic LTL, followed by the use ..." | ||
| Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... $LTL$, $CTL$ and $CTL^*$ combined with regular languages. A characteristic feature of these new ..." | ||
| Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... on LTL-specifications of a special type. Previously, it was proposed a declarative LTL-specification ..." | ||
| Том 31, № 3 (2024) | LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... programs based on LTL-specifications of a special type. Earlier, a declarative LTL-specification ..." | ||
| Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... on infinite sequences, and so, traditional applied temporal logics (like HML, LTL, CTL, mu-calculus ..." | ||
| Том 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 ..." | ||
| Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
| "... and verification of discrete PLC-programs by an LTL-specification. The approach provides a possibility of PLC ..." | ||
| Том 14, № 2 (2007) | О релаксационном многограннике задачи «3-выполнимость» | Аннотация PDF (Rus) похожие документы |
| Б. В. Урываев | ||
| "... Исследуются свойства многогранника, ассоциированного с задачей «3-выполнимость». Устанавливается, в ..." | ||
| Том 21, № 2 (2014) | Построение IL-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... is proposed. For the specification of the program behavior, we use the linear-time temporal logic LTL ..." | ||
| Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... . For the specification of the program behavior, we use the linear-time temporal logic LTL. Programming is carried out ..." | ||
| Том 20, № 4 (2013) | Построение и верификация ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... . For the specification of a program behavior we use the linear-time temporal logic LTL. Programming is carried out ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... by LTL-specification. This approach provides an ability of correctness analysis of PLC-programs ..." | ||
| Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... based on the LTL-specification. The essence of the approach is to describe the behavior of programs ..." | ||
| Том 27, № 4 (2020) | Темпоральная логика для программируемых логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Владимир Евгеньевич Зюбин, Сергей Михайлович Старолетов, Татьяна Викторовна Лях, Андрей Сергеевич Розов, Сергей Петрович Горлач | ||
| "... is a scan cycle: 1) the inputs are read, 2) the PLC states change, and 3) the outputs are written. Therefore ..." | ||
| Том 17, № 2 (2010) | О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ | Аннотация PDF (Rus) похожие документы |
| А. В. Николаев | ||
| "... 3-ВЫПОЛНИМОСТЬ. В частности, рассмотрен вопрос о сохранении нецелочисленных вершин при переходе к ..." | ||
| Том 23, № 6 (2016) | Имитационное моделирование для анализа выполнимости приложений реального времени | Аннотация PDF (Rus) похожие документы |
| С. Н. Баранов, В. В. Никифоров | ||
| "... Описывается развиваемый авторами подход к проверке выполнимости многозадачных приложений реального ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... by LTL-specification. This approach provides the availability of correctness analysis of PLC-programs ..." | ||
| Том 17, № 4 (2010) | Проектирование программных бортовых систем управления с поддержкой верификации | Аннотация PDF (Rus) похожие документы |
| И. В. Шошмина | ||
| Том 25, № 4 (2018) | О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» | Аннотация PDF (Rus) похожие документы |
| Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый | ||
| Том 21, № 1 (2014) | Классические и неклассические симметрии нелинейного дифференциального уравнения для описания волн в жидкости с пузырьками газа | Аннотация PDF (Rus) похожие документы |
| Николай Алексеевич Кудряшов, Дмитрий Игоревич Синельщиков | ||
| "... with gas bubbles. Classical and nonclassical symmetries of this equation are investigated. It is shown ..." | ||
| Том 20, № 2 (2013) | Моделирование, спецификация и построение программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... of a program behavior we use the linear-time temporal logic LTL. Programming is carried out in the ST-language ..." | ||
| Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... -time temporal logic LTL. ..." | ||
| Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
| Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
| "... systems behaviour is a finite state transducer which operates over an input alphabet of control signals ..." | ||
| Том 21, № 6 (2014) | Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова | ||
| "... -agent data analysis system are expressed in the liner time logic LTL. We carried out several experiments ..." | ||
| Том 25, № 1 (2018) | Периодические и квазипериодические решения в системе трех уравнений Хатчинсона с запаздывающей вещательной связью | Аннотация PDF (Rus) похожие документы |
| Елена Александровна Марушкина | ||
| "... of the system in some neighborhood of a single equilibrium state is reduced to a system of ordinary differential ..." | ||
| Том 29, № 3 (2022) | Тестирование зависимостей и правил вывода в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... приступить к поиску обобщения правила и условий его выполнимости (logically imply). Тестирование не может ..." | ||
| Том 31, № 4 (2024) | Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... logic LTL. Formalizing real-time systems as Kripke models and specifying the safety (schedulability ..." | ||
| Том 25, № 5 (2018) | Неупорядоченные колебания в нейросети из трех осцилляторов с запаздывающей вещательной связью | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Елена Александровна Марушкина | ||
| "... loss by the homogeneous equilibrium state of the system. Because of the broadcast connection ..." | ||
| Том 24, № 4 (2017) | Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко | ||
| "... constraints, and this motivates the adaptation of existing Finite State Machine (FSM)- based test derivation ..." | ||
| Том 21, № 3 (2014) | Об устойчивости состояния равновесия одной модели нейронной сети | Аннотация PDF (Rus) похожие документы |
| Юрий Викторович Богомолов | ||
| "... modes of the network with small changes of the current state was studied, including the detection ..." | ||
| Том 23, № 6 (2016) | О минимизации конечных автоматов-преобразователей над полугруппами | Аннотация PDF (Rus) похожие документы |
| В. А. Захаров, Г. Г. Темербекова | ||
| "... Finite state transducers over semigroups are regarded as a formal model of sequential reactive ..." | ||
| Том 21, № 1 (2014) | Локальная динамика логистического уравнения, содержащего запаздывание | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Алешин, Сергей Александрович Кащенко | ||
| "... have been found in the problem of the equilibrium state stability. We applied standard Andronov-Hopf ..." | ||
| Том 23, № 6 (2016) | Построение каскадной параллельной композиции временных автоматов с использованием BALM-II | Аннотация PDF (Rus) похожие документы |
| М. Л. Громов, Н. В. Шабалдина | ||
| "... state machines (TFSMs). In order to build such a composition we can derive the corresponding binary ..." | ||
| Том 23, № 6 (2016) | Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата | Аннотация PDF (Rus) похожие документы |
| А. Д. Ермаков, Н. В. Евтушенко | ||
| "... Extended Finite State Machines (EFSMs) are widely used when deriving tests for checking functional ..." | ||
| Том 24, № 6 (2017) | К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций | Аннотация похожие документы |
| Томас Баар | ||
| "... Abstract. The notation of state machines is widely adopted as a formalism to describe ..." | ||
| Том 24, № 6 (2017) | Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Макаров | ||
| "... time interval for a class of weakly nonlinear systems with state-dependent coefficients is considered ..." | ||
| Том 19, № 5 (2012) | Исследование стационарных режимов дифференциально-разностного уравнения динамики популяции насекомых | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Кащенко | ||
| Том 22, № 5 (2015) | Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции | Аннотация PDF (Rus) похожие документы |
| В. О. Голубенец | ||
| "... In this paper, a first-order equation with state-dependent delay and with a nonlinear right-hand ..." | ||
| Том 25, № 1 (2018) | Краевые состояния и киральные солитоны в топологических полях Черна–Саймонса– Холла | Аннотация похожие документы |
| Агалар Магомед-Закиевич Агаларов, Тельман Алимагомедович Гаджимурадов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин | ||
| "... (topological protected) states – chiral solitons – in the multi-layer quantum Hall systems. By applying ..." | ||
| Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров | ||
| "... from the concept of Finite-State Automaton. In these models an automaton controls two heads that read ..." | ||
| Том 27, № 4 (2020) | Синтез установочных последовательностей для автоматов с временными ограничениями | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
| "... State identification is the well-known problem in the theory of Finite State Machines (FSM) where ..." | ||
| Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
| Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
| "... finite state machines (TFSMs). However, in most works where this class of real-time automata is studied ..." | ||
| Том 21, № 1 (2014) | Асимптотика установившихся режимов конечно-разностных аппроксимаций логистического уравнения с запаздыванием и с малой диффузией | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Кащенко, Валерий Евгеньевич Фролов | ||
| Том 22, № 2 (2015) | Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади | Аннотация PDF (Rus) похожие документы |
| Антон Владимирович Шутов, Екатерина Викторовна Коломейкина | ||
| "... prove a similar estimate for the number of lattice tilings with an additional central symmetry. Let Tc(n ..." | ||
| Том 17, № 4 (2010) | О сложности верификации недетерминированных вероятностных мультиагентных систем | Аннотация PDF (Rus) похожие документы |
| М. К. Валиев, М. И. Дехтярь | ||
| "... Probabilistic systems of interacting nondeterministic intelligent agents are consid- ered. States ..." | ||
| Том 32, № 1 (2025) | Алгоритм построения асимптотики периодических решений в моделях лазеров с быстро осциллирующей задержкой | Аннотация PDF (Rus) похожие документы |
| Елена Викторовна Григорьева, Дмитрий Владимирович Глазков, Анна Олеговна Толбей | ||
| "... The problem of stability of the equilibrium state in a laser system with fast oscillating ..." | ||
| Том 29, № 4 (2022) | Замечания о графах достижимости сетей Петри | Аннотация PDF (Rus) похожие документы |
| Юрий Анатольевич Белов | ||
| "... . Reachability graphs, or sets of achievable states, represent sets of all possible different network states ..." | ||
| Том 23, № 6 (2016) | Устойчивые циклы и торы системы из трех и четырех диффузионно связанных осцилляторов | Аннотация PDF (Rus) похожие документы |
| Е. А. Марушкина | ||
| "... oscillators interact, we can study the simplest stationary states and their phase transformations ..." | ||
| Том 17, № 1 (2010) | Явление буферности в обобщенном уравнении Свифта-Хоэнберга | Аннотация PDF (Rus) похожие документы |
| Д. В. Сандуляк | ||
| "... that the number of steady-state solutions unrestricctexHy grows up when the delay tends to infinity and other ..." | ||
| Том 18, № 1 (2011) | Двухчастотные колебания обобщенного уравнения импульсного нейрона с двумя запаздываниями | Аннотация PDF (Rus) похожие документы |
| С. Д. Глызин, Е. О. Овсянникова | ||
| "... of a loss of stability for a nonzero equilibrium state has been made. Phase reorganizations have been ..." | ||
| Том 23, № 6 (2016) | Бифуркации периодических решений уравнения Мэкки–Гласса | Аннотация PDF (Rus) похожие документы |
| Е. П. Кубышкин, А. Р. Морякова | ||
| "... We study the bifurcation of the equilibrium states of periodic solutions for the Mackey– Glass ..." | ||
| Том 24, № 4 (2017) | Исследование одной марковской модели угроз безопасности компьютерных систем | Аннотация PDF (Rus) похожие документы |
| Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
| "... for the probabilities of computer system states at any arbitrary moment of time are derived, some limiting cases ..." | ||
| Том 24, № 4 (2017) | О задаче минимизации последовательных программ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова | ||
| "... schemata supplied with logical-thermal equivalence and finite state deterministic transducers operating ..." | ||
| Том 19, № 3 (2012) | Асимптотика решений обобщённого уравнения Хатчинсона | Аннотация PDF (Rus) похожие документы |
| Сергей Александрович Кащенко | ||
| "... of the global stability region of a positive steady state is obtained. The main results refer to existence ..." | ||
| Том 15, № 1 (2008) | О разрешимости проблем ограниченности для счетчиковых машин Минского | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. Ю. Чалый | ||
| "... -counter Minsky machines all these problems are polinomial (quantitatively of local machine states ..." | ||
| Том 17, № 2 (2010) | Мультистабильность в модели лазера с большим запаздыванием | Аннотация PDF (Rus) похожие документы |
| Е. В. Григорьева, И. С. Кащенко, С. А. Кащенко | ||
| "... bifurcation values. The possibility of the coexistence of a large number of steady oscillating states is shown. ..." | ||
| Том 20, № 1 (2013) | Квазинормальные формы для уравнений Лэнга–Кобаяши с большим коэффициентом управления | Аннотация PDF (Rus) похожие документы |
| Елена Викторовна Григорьева, Илья Сергеевич Кащенко, Сергей Александрович Кащенко | ||
| "... of steady oscillating states is discussed. ..." | ||
| Том 20, № 1 (2013) | Изгибания равносторонних многоугольников с сохранением индекса | Аннотация PDF (Rus) похожие документы |
| Екатерина Сергеевна Запутряева | ||
| "... present a solution for equilateral polygons and state a problem for general ones. ..." | ||
| Том 20, № 5 (2013) | Локальная динамика лазера с быстро осциллирующими параметрами | Аннотация PDF (Rus) похожие документы |
| Елена Викторовна Григорьева, Сергей Александрович Кащенко | ||
| "... . It is determined that in the presence of fast delay oscillation the limit of instability of a balance state moves ..." | ||
| Том 24, № 5 (2017) | Бифуркации пространственно неоднородных решений в одной краевой задаче для обобщенного уравнения Курамото–Сивашинского | Аннотация PDF (Rus) похожие документы |
| Алина Вадимовна Секацкая | ||
| "... conditions. Local bifurcations of spatially inhomogeneous equilibrium states is studied in the case ..." | ||
| Том 24, № 6 (2017) | К синтезу синхронизирующих и установочных последовательностей для входо-выходных полуавтоматов | Аннотация PDF (Rus) похожие документы |
| Наталья Геннадьевна Кушик, Нина Владимировна Евтушенко, Игорь Борисович Бурдонов, Александр Сергеевич Косачев | ||
| "... state identification of a system under test / verification, after the input sequence is applied ..." | ||
| Том 20, № 2 (2013) | Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Башкин | ||
| "... A class of infinite-state automata with a simple periodic behaviour and a convenient graphical ..." | ||
| Том 19, № 5 (2012) | Современные открытые проблемы в дискретной и вычислительной геометрии | Аннотация PDF (Rus) похожие документы |
| Герберт Эдельсбруннер, Александр Иванов, Роман Карасев | ||
| "... the research in interesting directions. In particular, we state problems that do not require specific knowledge ..." | ||
| Том 19, № 6 (2012) | Дедуктивная верификация протокола скользящего окна | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий | ||
| "... . The specification of the protocol by a state machine and its safety property are represented in the language ..." | ||
| Том 19, № 6 (2012) | Ярославская международная конференция «Дискретная геометрия», посвященная 100-летию А. Д. Александрова | Аннотация PDF (Rus) похожие документы |
| Николай Долбилин, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский | ||
| "... " and took place from August 13 to 18, 2012 at the P.G. Demidov Yaroslavl State University. The purpose ..." | ||
| Том 20, № 6 (2013) | Международная конференция “Геометрия, топология и и приложения” | Аннотация PDF (Rus) похожие документы |
| Алексей Гарбер, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский | ||
| "... and Computational Geometry and took place in September 23–27, 2013, at the P.G. Demidov Yaroslavl State University ..." | ||
| Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... Symbolic model checking is based on a compact representation of sets of states and transition ..." | ||
| Том 18, № 4 (2011) | Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем | Аннотация PDF (Rus) похожие документы |
| Андрей Валентинович Климов | ||
| "... with initial and target sets of states and from the proof that under some conditions the procedure terminates ..." | ||
| Том 14, № 3 (2007) | Учет возрастных групп в уравнении Хатчинсона | Аннотация PDF (Rus) похожие документы |
| С. Д. Глызин | ||
| "... analysis of a loss of a stability for the nonzero equilibrium state for the problem has been made. Phase ..." | ||
| Том 17, № 4 (2010) | Генерация тестовых данных на основе формального анализа данных конфигурации проекта | Аннотация PDF (Rus) похожие документы |
| А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын | ||
| "... , keeping requirements, code and tests in a consistent state. Classication of software deects is presented ..." | ||
| Том 17, № 4 (2010) | Безопасное тестирование симуляции систем с отказами и разрушением | Аннотация PDF (Rus) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... on the case of (weak) simulation based on a relation between specication and implementation states. The theory ..." | ||
| Том 23, № 6 (2016) | Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM | Аннотация PDF (Rus) похожие документы |
| Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко | ||
| "... . The number of elements of the resulting CPN model and the number of Promela model states are estimated ..." | ||
| 1 - 75 из 120 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
