Сортировать по:
| Выпуск | Название | |
| Том 17, № 2 (2010) | Метод оценки частоты выполнения фрагментов кода последовательной программы | Аннотация PDF (Rus) похожие документы |
| А. В. Шалимов | ||
| "... The goal of this article is to consider the task of determining the execution frequency of program ..." | ||
| Том 31, № 2 (2024) | Об исследовании одного способа выявления аномального выполнения программы | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов, Татьяна Александровна Павлова | ||
| "... the legitimate execution of a protected program is described by a profile of differences in the return addresses ..." | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... of programs based on the calculation of the similarity index for the original, obfuscated and deobfuscated ..." | ||
| Том 28, № 1 (2021) | О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... the dynamic characteristics of the program, a scheme based on a symbolic execution is constructed ..." | ||
| Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
| М. А. Беляев, В. М. Ицыксон | ||
| "... program errors and contract violations in a memory and time efficient way. We implemented this approach ..." | ||
| Том 27, № 2 (2020) | Об обнаружении эксплуатации уязвимостей, приводящей к запуску вредоносного кода | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... of the normal execution of the program P, in which, in addition to a set of legal chains of system and library ..." | ||
| Том 28, № 2 (2021) | Трансформация функционально-потоковых параллельных программ в императивные | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов, Сергей Викторович Зыков | ||
| "... Functional dataflow programming languages are designed to create parallel portable programs ..." | ||
| Том 15, № 1 (2008) | Библиотека параллельного исполнения rpC-программ для Win32 | Аннотация PDF (Rus) похожие документы |
| В. В. Васильчиков, А. В. Шубин | ||
| "... The new version of the library for parallel execution of rpC-programs under Win32 is reviewed ..." | ||
| Том 31, № 1 (2024) | Шаблоны требований в дедуктивной верификации poST-программ | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина | ||
| "... states containing program code that define the logic of the process's behavior. Program execution ..." | ||
| Том 26, № 2 (2019) | Об обнаружении атак типа повторного использования исполнимого кода | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... during program execution may indicate the execution of a malicious code. An algorithm for identifying ..." | ||
| Том 32, № 2 (2025) | Моделирование примитивов синхронизации параллельных программ | Аннотация PDF (Rus) похожие документы |
| Олег Сергеевич Крюков, Анна Геннадьевна Волошко, Алексей Николаевич Ивутин | ||
| "... This article is devoted to the problem of verifying parallel programs that may contain special ..." | ||
| Том 26, № 4 (2019) | Операционная семантика аннотированных Reflex программ | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... of the program execution cycle, the logic of process transition management from state to state ..." | ||
| Том 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 ..." | ||
| Том 25, № 4 (2018) | Оптимизация инварианта цикла в языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Владимир Сергеевич Васильев, Александр Иванович Легалов | ||
| "... The paper considers methods of program transformation equivalent to optimizing the cycle invariant ..." | ||
| Том 21, № 4 (2014) | Моделирование согласованного поведения ПЛК-датчиков | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов | ||
| "... such executions of the program that comply with the consistent behavior of sensors. ..." | ||
| Том 23, № 2 (2016) | Построение CFC-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов | ||
| "... program execution within one PLC working cycle. In fact, CFC-program is a scheme of PLC-program data flow. ..." | ||
| Том 28, № 4 (2021) | Подход к автонастройке параллельных программ методом проверки моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Петрович Горлач | ||
| "... , an execution model of an abstract program on an abstract processor is described in the language of a model ..." | ||
| Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
| Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
| "... Данная статья посвящена разработке процедуры автоматизированной миграции Java-программ на новый ..." | ||
| Том 20, № 2 (2013) | Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вильгельм Александрович Битнер, Никита Владимирович Заборовский | ||
| "... high level language programs. The practical usefulness of the graph considered is the existence ..." | ||
| Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... The article continues the series of works on development and verification of control programs based ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... restrictions on input variables and correctness conditions of the result of the program execution, respectively ..." | ||
| Том 25, № 4 (2018) | Верификация программ со взаимной рекурсией на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Ушакова, Александр Иванович Легалов | ||
| "... In the article, we consider verification of programs with mutual recursion in the data driven ..." | ||
| Том 30, № 4 (2023) | LTL-спецификация для разработки и верификации управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... This work continues the series of articles on development and verification of control programs ..." | ||
| Том 18, № 4 (2011) | Использование зависимостей для повышения точности статического анализа программ | Аннотация PDF (Rus) похожие документы |
| Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько | ||
| "... defects in program source code are explained. The need for program object dependency extraction ..." | ||
| Том 21, № 4 (2014) | Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Андрей Эрикович Молчанов | ||
| "... Algebraic program models with procedures are designed to analyze program semantic properties ..." | ||
| Том 21, № 2 (2014) | Разрешимость эквивалентности в перегородчатых моделях программ | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... Algebraic program models with procedures are designed to analyze program semantic properties ..." | ||
| Том 24, № 6 (2017) | Прототип статического тайп-чекера для языка программирования Jolie | Аннотация похожие документы |
| Даниэль де Карвальо, Мануэль Маццара, Богдан Мингела, Лариса Сафина, Александр Чичигин, Николай Трошков | ||
| "... Static verification of a program source code correctness is an important element of software ..." | ||
| Том 21, № 4 (2014) | Исследование примитивных схем программ с процедурами | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко | ||
| "... The paper considers algebraic program models with procedures designed to analyze program semantic ..." | ||
| Том 21, № 6 (2014) | Поведенческая идентификация программ | Аннотация PDF (Rus) похожие документы |
| Максим Викторович Баклановский, Артур Рафаэльевич Ханов | ||
| "... % precision. Program identification based on behavior is used for anomaly detection of malicious activities ..." | ||
| Том 14, № 1 (2007) | Синхронная модель автоматной программы | Аннотация PDF (Rus) похожие документы |
| С. В. Кубасов, В. А. Соколов | ||
| "... This article presents a model of automaton program that satisfies synchronous model requirements ..." | ||
| Том 14, № 4 (2007) | Верификация синхронно-автоматных программ | Аннотация PDF (Rus) похожие документы |
| С. В. Кубасов | ||
| "... This article presents a synchronous model of the automaton program. A technique of verification ..." | ||
| Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
| "... a Promela model for the poST program. Our contribution is the poST transformational semantics and the method ..." | ||
| Том 24, № 4 (2017) | О задаче минимизации последовательных программ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова | ||
| "... First-order program schemata is one of the simplest models of sequential imperative programs ..." | ||
| Том 21, № 6 (2014) | Использование метода ограниченной проверки моделей для генерации тестов | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... is the dynamic symbolic execution assisted by an automated constraint solver, e. g., an SMT-solver. This process ..." | ||
| Том 19, № 4 (2012) | О построении и верификации программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... Controllers on the example of constructing PLC-programs for controling a code lock. For these approaches we ..." | ||
| Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) похожие документы |
| К. А. Васильева, Е. В. Кузьмин | ||
| "... In the paper one of approaches to modelling, specification and verification of automaton programs ..." | ||
| Том 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, № 5 (2012) | О теории алгебраических моделей программ с процедурами | Аннотация PDF (Rus) похожие документы |
| Римма Ивановна Подловченко, Андрей Эрикович Молчанов | ||
| "... Algebraic program models with procedures are designed to analyze program semantic properties ..." | ||
| Том 29, № 3 (2022) | Трансформация модели памяти языка программирования C в объектно-ориентированное представление на языке EO | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Егор Георгиевич Бугаенко, Николай Константинович Чуйкин, Максим Владимирович Шипицин, Ярослав Иванович Рябцев, Андрей Николаевич Каменский | ||
| "... and LibASTMatchers libraries. As a result of compiling a C program, code in EO language is generated. The considered ..." | ||
| Том 17, № 4 (2010) | Интеграция семантических верификаторов в компиляторы языка Java | Аннотация PDF (Rus) похожие документы |
| А. В. Клепинин, А. А. Мелентьев | ||
| "... of program verication rules are presented to demon- strate the method. ..." | ||
| Том 20, № 2 (2013) | Моделирование, спецификация и построение программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... A new approach to construction of reliable discrete PLC-programs with timers — programming based ..." | ||
| Том 28, № 4 (2021) | Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ | Аннотация PDF (Rus) похожие документы |
| Андрей Михайлович Миронов | ||
| "... The paper presents a new mathematical model of parallel programs, on the basis of which ..." | ||
| Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... of Programmable Logic Controller programs. We consider an example of modeling and automated verification of PLC ..." | ||
| Том 21, № 2 (2014) | Построение IL-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... An approach to the construction and verification of PLC IL-programs for discrete problems ..." | ||
| Том 17, № 4 (2010) | Верификация C-программ в мультиязыковой системе СПЕКТР | Аннотация PDF (Rus) похожие документы |
| В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский | ||
| "... using the example of C program verication. The project aims at the development of a new integrated ..." | ||
| Том 17, № 4 (2010) | Верификация и синтез программ сложения на базе правил корректности операторов | Аннотация PDF (Rus) похожие документы |
| В. И. Шелехов | ||
| "... Deductive verication and synthesis of binary addition programs are performed on the base ..." | ||
| Том 25, № 5 (2018) | О методах верификации и разработки программ развития сельскохозяйственных территорий | Аннотация PDF (Rus) похожие документы |
| Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов | ||
| "... Nowadays, the methods of program-targeted management for the development of various socio-economic ..." | ||
| Том 25, № 5 (2018) | Полипрограммы и бисимуляция полипрограмм | Аннотация похожие документы |
| Сергей Александрович Гречаник | ||
| "... A polyprogram is a generalization of a program which admits multiple definitions of a single ..." | ||
| Том 19, № 4 (2012) | Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева | ||
| "... The peculiarities of transforming functional dataflow parallel programs into programs with finite ..." | ||
| Том 19, № 5 (2012) | Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Кропачева, Александр Иванович Легалов | ||
| "... The article is devoted to the methods of proving parallel programs correctness that are based ..." | ||
| Том 20, № 6 (2013) | Построение и верификация LD-программ ПЛК по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... An approach to construction and verification of PLC LD-programs for discrete problems is proposed ..." | ||
| Том 20, № 4 (2013) | Построение и верификация ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин | ||
| "... An approach to construction and verification of PLC-programs for discrete tasks is proposed ..." | ||
| Том 18, № 4 (2011) | Атрибутные аннотации и их применение в дедуктивной верификации C-программ | Аннотация PDF (Rus) похожие документы |
| Михаил Михайлович Атучин, Игорь Сергеевич Ануреев | ||
| "... for their application in a deductive program verification are proposed. A collection of annotating attributes ..." | ||
| Том 18, № 4 (2011) | Верификация Си-программ: объяснение условий корректности и стандартная библиотека | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Промский | ||
| "... The C program verification project is being developed in IIS. Its latest extension is twofold ..." | ||
| Том 17, № 3 (2010) | Верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий | ||
| "... conditions in many cases. This semantics is a base of verification conditions generator of C-kernel programs ..." | ||
| Том 22, № 4 (2015) | О выразительности подхода к построению ПЛК-программ по LTL-спецификации | Аннотация PDF (Rus) похожие документы |
| Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов | ||
| "... The article is devoted to the approach to constructing and verification of discrete PLC-programs ..." | ||
| Том 18, № 4 (2011) | Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока | ||
| "... , the security of such programs should be thoroughly tested, i.e., it is important to develop techniques ..." | ||
| Том 25, № 5 (2018) | Этюд об устранении рекурсии | Аннотация похожие документы |
| Николай Вячеславович Шилов | ||
| "... Transformation-based program verification was a very important topic in early years of theory ..." | ||
| Том 18, № 4 (2011) | Статический анализ с использованием систем типов и эффектов на основе LLVM | Аннотация PDF (Rus) похожие документы |
| Михаил Анатольевич Беляев, Вадим Александрович Цесько | ||
| "... programs. The tool uses LLVM bitcode files as input, thus extending the set of analyzed languages to those ..." | ||
| Том 20, № 6 (2013) | Автоматическая верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев | ||
| "... a choice between simplified and full-strength deduction rules depending on program objects ..." | ||
| Том 22, № 4 (2015) | Метод генерации примеров моделей программ в терминах сетей Петри | Аннотация PDF (Rus) похожие документы |
| Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев | ||
| "... of imperative programs is considered from the formal point of view. Petri net samples with certain ..." | ||
| Том 24, № 6 (2017) | Элиминация инвариантов финитных итераций над массивами при верификации Си программ | Аннотация похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев | ||
| "... ]. It extends the mixed axiomatic semantics method [1] suggested for C-light program verification ..." | ||
| Том 28, № 3 (2021) | Исправление к статье: Ю. В. Косолапов, «Об обнаружении эксплуатации уязвимостей, приводящей к запуску вредоносного кода», Моделирование и анализ информационных систем, Том 27, №2, с. 138–151, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-2-138-151 | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... to the Execution of a Malicious Code” (Modeling and analysis of information systems, vol. 27, no. 2, pp. 138–151 ..." | ||
| Том 18, № 2 (2011) | Об одном представлении функции в модели императивной программы, заданной сетями Петри | Аннотация PDF (Rus) похожие документы |
| Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков | ||
| "... In the article an approach to constructing in terms of Petri nets a function model as a program ..." | ||
| Том 25, № 5 (2018) | Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий | ||
| "... During deductive verification of programs written in imperative languages, the generation ..." | ||
| Том 31, № 3 (2024) | LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... programs based on LTL-specifications of a special type. Earlier, a declarative LTL-specification ..." | ||
| Том 27, № 2 (2020) | Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ | Аннотация PDF (Rus) похожие документы |
| Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина | ||
| "... for multiprocessor systems with fixed-priority preemptive schedulers and the interval uncertainty of tasks execution ..." | ||
| Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... Bounded model checking (BMC) of C/C++ programs is a matter of scientific enquiry that attracts ..." | ||
| Том 22, № 6 (2015) | Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах | Аннотация PDF (Rus) похожие документы |
| И. В. Марьясов, В. А. Непомнящий | ||
| "... The C-program verification is an urgent problem of modern programming. To apply known methods ..." | ||
| Том 31, № 4 (2024) | Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах: шаблоны, леммы и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Иван Михайлович Черненко, Игорь Сергеевич Ануреев | ||
| "... Process-oriented programming is an approach to developing control software in which a program ..." | ||
| Том 17, № 4 (2010) | Пример верификации в проекте F@BOOL@, основанном на булевских решателях | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... A verifying compiler is a system computer program that translates programs written by man from ..." | ||
| Том 21, № 6 (2014) | Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон | ||
| "... One of the most serious problems when doing program analyses is dealing with function calls. While ..." | ||
| Том 19, № 6 (2012) | Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Владимир Михайлович Ицыксон | ||
| "... код (клоны), что приводит ко множественным проблемам на этапе поддержки такого ПО. За последние годы ..." | ||
| Том 30, № 3 (2023) | Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) | Аннотация похожие документы |
| Дмитрий Александрович Кондратьев | ||
| "... Classic deductive verification is not focused on reasoning about program incorrectness. Reasoning ..." | ||
| Том 30, № 2 (2023) | Об упрощении выражений со смешанной битовой и целочисленной арифметикой | Аннотация PDF (Rus) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... used for program obfuscations. Obfuscation consists of replacing short expressions with longer ..." | ||
| 1 - 75 из 171 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
