Сортировать по:
| Выпуск | Название | |
| Том 18, № 4 (2011) | Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Захаров, Михаил Юрьевич Моисеев | ||
| "... . In this paper we propose an approach to data race detection in SystemC programs which is based on the source ..." | ||
| Том 23, № 6 (2016) | Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM | Аннотация PDF (Rus) похожие документы |
| Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко | ||
| "... конструкциями управления сценариями 뜨 защищенными компонентами и конструкциями обработки ошибок. Анализ и ..." | ||
| Том 20, № 2 (2013) | Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вильгельм Александрович Битнер, Никита Владимирович Заборовский | ||
| "... analysis of algorithms for race condition search. Optimizing compiler CLANG&LLVM is used as a technical ..." | ||
| Том 13, № 1 (2006) | Формула для ляпуновской величины задачи о конкурентной борьбе | Аннотация PDF (Rus) похожие документы |
| А. Д. Пендюр, Д. А. Пендюр | ||
| Том 20, № 6 (2013) | Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... : ограниченная проверка моделей, контракт кода, интерполяция Крейга, SMT, обнаружение ошибок В последние годы ..." | ||
| Том 21, № 6 (2014) | Подход к автоматизации отладки поведенческих сценариев | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко | ||
| "... возможные причины ошибок в заданном множестве сгенерированных символьных поведенческих сценариев. ..." | ||
| Том 17, № 2 (2010) | Задача целочисленного сбалансирования трехмерной матрицы и алгоритмы ее решения | Аннотация PDF (Rus) похожие документы |
| В. С. Рублев, А. В. Смирнов | ||
| "... минимизации ошибок округления в задаче сбалансирования. ..." | ||
| Том 23, № 6 (2016) | Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата | Аннотация PDF (Rus) похожие документы |
| А. Д. Ермаков, Н. В. Евтушенко | ||
| "... обнаруживают большое количество часто встречающихся функциональных ошибок в программных реализациях системы ..." | ||
| Том 19, № 6 (2012) | Дедуктивная верификация протокола скользящего окна | Аннотация PDF (Rus) похожие документы |
| Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий | ||
| "... возможности для ошибок. Здесь рассматривается версия данного протокола, основанная на выборочном повторе ..." | ||
| Том 16, № 4 (2009) | Новые алгоритмы лексической оптимизации запросов | Аннотация PDF (Rus) похожие документы |
| С. Д. Кузнецов, Н. А. Мендкович | ||
| "... Предлагаются новые алгоритмы модификации запроса. Эти алгоритмы включают лексическую оптимизацию ..." | ||
| Том 22, № 6 (2015) | Анализ системных исполнений с помощью Process Mining | Аннотация PDF (Rus) похожие документы |
| С. А. Шершаков, В. А. Рубин | ||
| "... и отслеживания ошибок их исполнения предоставляют довольно простые средства поиска и фильтрации ..." | ||
| Том 22, № 6 (2015) | О преподавании формальных моделей и алгоритмов анализа параллельных систем | Аннотация PDF (Rus) похожие документы |
| Н. В. Шилов | ||
| "... C and FORTRAN code for parallel speed-up of execution without races for resources. Nevertheless ..." | ||
| Том 14, № 4 (2007) | Исследование модифицированной модели сальтаторного проведения возбуждения | Аннотация PDF (Rus) похожие документы |
| В. В. Майоров, С. Е. Ануфриенко | ||
| "... динамики перехватов Ранвье используется модификация импульсного нейрона. Модель содержит обыкновенные ..." | ||
| Том 14, № 4 (2007) | Верификация синхронно-автоматных программ | Аннотация PDF (Rus) похожие документы |
| С. В. Кубасов | ||
| "... свойств. Применение этой методики позволит выявить большое число ошибок, допускаемых в процессе разработки. ..." | ||
| Том 26, № 1 (2019) | Об одном подходе к построению сетевого процессорного устройства | Аннотация PDF (Rus) похожие документы |
| Станислав Олегович Беззубцев, Вячеслав Викторович Васин, Дмитрий Юрьевич Волканов, Шынар Рустембековна Жайлауова, Владислав Александрович Мирошник, Юлия Александровна Скобцова, Руслан Леонидович Смелянский | ||
| "... of the network processor is implemented in C ++ languages using SystemC, the open-source C++ library ..." | ||
| Том 19, № 4 (2012) | О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Юрий Владимирович Косолапов | ||
| "... заданными вероятностями ошибок первого и второго рода. ..." | ||
| Том 21, № 2 (2014) | Неклассические релаксационные колебания в нейродинамике | Аннотация PDF (Rus) похожие документы |
| Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
| "... переменными и представляющая собой модификацию известной модели ФитцХью–Нагумо. Исследуются вопросы о ..." | ||
| Том 18, № 4 (2011) | Верификация Си-программ: объяснение условий корректности и стандартная библиотека | Аннотация PDF (Rus) похожие документы |
| Алексей Владимирович Промский | ||
| "... ошибок. Во-вторых, было специфицировано подмножество стандартной библиотеки языка Си. Спецификации ..." | ||
| Том 22, № 2 (2015) | Полнота динамики значений свойств данных в СУБД DIM | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Петров, Вадим Сергеевич Рублев | ||
| "... DIM возможностями модификации данных, эквивалентной модификациям в OD-модели, вводятся отношения ..." | ||
| Том 21, № 6 (2014) | Инструментальная поддержка встроенных языков в интегрированных средах разработки | Аннотация PDF (Rus) похожие документы |
| Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун | ||
| "... выражения приводит к высокой вероятности возникновения ошибок во время выполнения программы ..." | ||
| Том 21, № 5 (2014) | Характеристики сложности: кликовое число графа многогранника и число прямоугольного покрытия | Аннотация PDF (Rus) похожие документы |
| Александр Николаевич Максименко | ||
| "... модификация алгоритмов, выводящая их из указанного класса (порядок трудоемкости при этом не меняется). Другой ..." | ||
| Том 21, № 3 (2014) | Импульсный нейрон и нейронный клеточный автомат асимптотически эквивалентны | Аннотация PDF (Rus) похожие документы |
| Валерий Дмитриевич Копылов, Ольга Александровна Дунаева, Михаил Леонидович Мячин | ||
| "... автогенераторной динамикой и модификация этой модели, имеющая детекторную динамику. Для этих моделей также ..." | ||
| Том 23, № 2 (2016) | Об эффективности минимизирующего подхода к оптимизации запросов | Аннотация PDF (Rus) похожие документы |
| Н. А. Мендкович | ||
| "... модификации и определения возможных планов выполнения. Целью данной работы является доказательство ..." | ||
| Том 23, № 3 (2016) | Применение метода дифференциальных неравенств для обоснования решения системы параболических уравнений в виде движущегося фронта | Аннотация PDF (Rus) похожие документы |
| Н. Т. Левашова, А. А. Мельникова, С. В. Быцюра | ||
| "... нижнее решения как модификации асимптотических представлений решений краевых задач. Существование ..." | ||
| Том 20, № 2 (2013) | О поворотах цифровых изображений | Аннотация PDF (Rus) похожие документы |
| Павел Геннадьевич Парфенов | ||
| "... модификация метода ближайшего соседа для сохранения связности, так как обнаружилось ее нарушение в некоторых ..." | ||
| Том 26, № 1 (2019) | Эффективный алгоритм разрешения коллизий в правилах политики безопасности | Аннотация PDF (Rus) похожие документы |
| Сeргей Владимирович Моржов, Валерий Анатольевич Соколов | ||
| "... межсетевого экрана должны быть написаны и организованы аккуратно и без ошибок. Кроме того, процесс изменения ..." | ||
| Том 19, № 3 (2012) | О работе семинара «Нелинейная динамика» | Аннотация PDF (Rus) похожие документы |
| Статья Редакционная | ||
| "... .В. Высокомодовые аттракторы в модификации уравнения Свифта—Хоэнберга. Уравнением Свифта—Хоэнберга принято называть ..." | ||
| Том 23, № 3 (2016) | Существование и устойчивость периодических решений уравнения реакция-диффузия в двумерном случае | Аннотация похожие документы |
| Н. Н. Нефедов, Е. И. Никулин | ||
| "... решения строятся путем достаточно сложной модификации асимптотического разложения решения. Асимптотическая ..." | ||
| Том 25, № 6 (2018) | Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня | Аннотация PDF (Rus) похожие документы |
| Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский | ||
| "... заканчивается модификацией элементарной спецификации и алгоритма для машинной арифметики и верификацией ..." | ||
| Том 25, № 1 (2018) | Существование и асимптотическая устойчивость периодического решения с внутренним переходным слоем в задаче со слабой линейной адвекцией | Аннотация PDF (Rus) похожие документы |
| Николай Николаевич Нефедов, Егор Игоревич Никулин | ||
| "... на модификации членов построенного асимптотического разложения. Далее устанавливаются достаточные ..." | ||
| Том 22, № 6 (2015) | Особенности применения модельно-ориентированного подхода при разработке промышленных приложений | Аннотация PDF (Rus) похожие документы |
| П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров | ||
| "... , доказательство свойств систем и уменьшение плотности ошибок. Приведены недостатки использования данного подхода ..." | ||
| Том 22, № 4 (2015) | Автоматизация формальной верификации программ на языке Пифагор | Аннотация PDF (Rus) похожие документы |
| М. С. Ушакова, А. И. Легалов | ||
| "... теорем» и «Модуль анализа ошибок и выдачи информации об ошибках». Согласно описанной архитектуре ..." | ||
| Том 24, № 2 (2017) | Декодирование тензорного произведения MLD-кодов и приложения к кодовым криптосистемам | Аннотация PDF (Rus) похожие документы |
| Владимир Михайлович Деундяк, Юрий Владимирович Косолапов, Евгений Андреевич Лелюк | ||
| "... вектора ошибок e по базису B. Если для b-координаты существует декодирующее дерево WBb,rb,Lb , такое, что ..." | ||
| Том 21, № 6 (2014) | Поддержка эволюции визуальных языков в платформе QReal | Аннотация PDF (Rus) похожие документы |
| Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин | ||
| "... другого типа, схожего по семантике. Модификация моделей, которая восстанавливает их соответствие ..." | ||
| Том 23, № 2 (2016) | Криптосистема на индуцированных групповых кодах | Аннотация PDF (Rus) похожие документы |
| В. М. Деундяк, Ю. В. Косолапов | ||
| "... не является стойкой к атакам на ключ; в [9] построены атаки на ключ для некоторых модификаций системы ..." | ||
| Том 22, № 4 (2015) | Алгоритмы для мажоритарного декодирования групповых кодов | Аннотация PDF (Rus) похожие документы |
| В. М. Деундяк, Ю. В. Косолапов | ||
| "... исправляет меньше ошибок, нежели теоретически возможно для кода C. Ниже строится мо- дификация алгоритма ..." | ||
| Том 20, № 3 (2013) | Самоорганизация, сети, будущее | Аннотация PDF (Rus) похожие документы |
| Георгий Геннадьевич Малинецкий, Татьяна Сергеевна Ахромеева, Сергей Александрович Посашков, Светлана Аркадьевна Торопыгина | ||
| "... создаст мир, разде- ленный не на две, а на три четко определенные, контрастирующие и конкурентные ..." | ||
| Том 21, № 5 (2014) | О числе сосуществующих автоволновых решений цепочки диффузионно связанных осцилляторов нейронного типа | Аннотация PDF (Rus) похожие документы |
| Юрий Викторович Богомолов, Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов | ||
| "... тематики. Действительно, она отражает конкурентное взаимодействие различных концепций и идей в неокортексе ..." | ||
| Том 19, № 6 (2012) | Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Владимир Михайлович Ицыксон | ||
| "... возникновению трудно обнаруживаемых ошибок в ПО [4]. 69 70 Моделирование и анализ информационных систем Т.19 ..." | ||
| Том 20, № 4 (2013) | Автоматизация формирования табличных приложений | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... ∈ DEP будем считать реализованной на C, если операция дополнения, удаления или модификации кортежа в ..." | ||
| Том 20, № 4 (2013) | Проектирование и разработка имитационной модели мультиклиентского кластера баз данных | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Бойцов | ||
| "... клиента и в каком режиме (чтение/чтение и модификация) ему необходимо работать. На основе этих данных ..." | ||
| Том 21, № 6 (2014) | Использование метода ограниченной проверки моделей для генерации тестов | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон | ||
| "... для обнаружения ошибок использует кон- тракты и дефекты как ограничения, в то время как DSE использует ..." | ||
| Том 21, № 2 (2014) | О поддержке рекурсивно-параллельного программирования в .NET Framework | Аннотация PDF (Rus) похожие документы |
| Владимир Васильевич Васильчиков | ||
| "... ), а поиск и устранение ошибок, вызванных неправильной синхронизацией, весьма нетривиален даже с ..." | ||
| Том 20, № 2 (2013) | Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц | Аннотация PDF (Rus) похожие документы |
| Иван Вадимович Губочкин | ||
| "... числа ошибок распознавания по сравнению с ручным выбором эталонов. В дальнейшем критерий МСИР был ..." | ||
| Том 22, № 1 (2015) | Использование информационных технологий и инфраструктур для агрегации научной информации. Опыт Канады, Нидерландов, Германии | Аннотация PDF (Rus) похожие документы |
| Марат Рамилевич Биктимиров, Владимир Леонидович Глебский, Борис Вячеславович Долгов, Сергей Алексеевич Поликарпов | ||
| "... внешней политики, такое государство получит несомненные конкурентные пре- Использование ИТ для агрегации ..." | ||
| Том 19, № 6 (2012) | Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри | Аннотация PDF (Rus) похожие документы |
| Дмитрий Анатольевич Зайцев | ||
| "... технологий. Стоимость вычислений на суперкомпьютерах слишком высока, что делает высокой стоимость ошибок, как ..." | ||
| Том 20, № 6 (2013) | Автоматическая верификация C-программ на основе смешанной аксиоматической семантики | Аннотация PDF (Rus) похожие документы |
| Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев | ||
| "... C-light программы. Такой протокол важен для задачи локализации ошибок из [16]. Также API Clang ..." | ||
| Том 23, № 5 (2016) | Численные методы решения задач Коши с контрастными структурами | Аннотация PDF (Rus) похожие документы |
| А. А. Белов, Н. Н. Калиткин | ||
| "... . 1). Ультражесткими назовем задачи, у которых регулярные участки решения в пределах ошибок ..." | ||
| Том 23, № 5 (2016) | Численное исследование начально-краевой задачи Неймана для сингулярно возмущенного параболического уравнения | Аннотация PDF (Rus) похожие документы |
| Л. П. Шишкина | ||
| "... , исследовать влияние возмущающего параметра ε на поведение ошибок сеточного решения для регулярной и ..." | ||
| Том 23, № 4 (2016) | Об оптимизации и распараллеливании алгоритма Литтла для решения задачи коммивояжера | Аннотация PDF (Rus) похожие документы |
| В. В. Васильчиков | ||
| "... рассмотрение фактически уже исследованных ветвей вычислений. В работе предлагается модификация алгоритма ..." | ||
| Том 20, № 6 (2013) | Формальная модель и задачи верификации программно-конфигурируемых сетей | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич Захаров, Руслан Леонидович Смелянский, Евгений Викторович Чемерицкий | ||
| "... коммутации. Существуют два типа действий: действие модификации заголов- ка пакета и действие коммутации ..." | ||
| Том 21, № 4 (2014) | Синтез моделей процессов по журналам событий с шумом | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович Мицюк, Иван Сергеевич Шугуров | ||
| "... вызывать запись ложных событий в журнал. Больше всего подобных ошибок возникает в случае, если информация о ..." | ||
| Том 21, № 4 (2014) | Разработка алгоритма измерения частоты пульса человека с помощью камеры мобильного телефона | Аннотация PDF (Rus) похожие документы |
| Денис Александрович Лаурэ, Надеджа Станиславовна Лагутина, Илья Вячеславович Парамонов | ||
| "... выбраны параметры, при которых алго- ритмы давали наименьшее количество ошибок. Для каждого из фильтров ..." | ||
| Том 23, № 6 (2016) | Формализм и языковые инструменты для описания семантики программных библиотек | Аннотация PDF (Rus) похожие документы |
| В. М. Ицыксон | ||
| "... , предусмотренного разработчиком; • обнаружение программных ошибок в многофайловых проектах, использую- щих ..." | ||
| Том 19, № 4 (2012) | Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах | Аннотация PDF (Rus) похожие документы |
| Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева | ||
| "... конца не вычисленного содержимого вызываемой функции. Подобная модификация ведет к расширению размера ..." | ||
| Том 21, № 5 (2014) | Применение систем компьютерной алгебры для построения метода коллокаций и наименьших невязок решения трехмерных уравнений Навье–Стокса | Аннотация PDF (Rus) похожие документы |
| Василий Павлович Шапеев, Евгений Васильевич Ворожцов | ||
| "... формул. При этом удается избежать многих ошибок, ко- торые зачастую допускаются из-за необходимости ..." | ||
| Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
| Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
| "... отладки программ через тестирование (не гарантирующее полное отсутствие ошибок) посредством визуализации ..." | ||
| Том 22, № 1 (2015) | Особенности формирования диссипативных структур, описываемых уравнением Курамото–Сивашинского | Аннотация PDF (Rus) похожие документы |
| Николай Алексеевич Кудряшов, Павел Николаевич Рябов, Богдан Александрович Петров | ||
| "... предотвратить воз- никновение вычислительных ошибок и других негативных эффектов, связанных с применением ..." | ||
| Том 19, № 1 (2012) | Задача адаптации обобщенного нейронного элемента | Аннотация PDF (Rus) похожие документы |
| Евгений Владиславович Коновалов | ||
| "... момент времени t = ξ0+η+TR адап- тивный элемент выходит из состояния рефрактерности. Модификацию ..." | ||
| Том 19, № 4 (2012) | Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования | Аннотация PDF (Rus) похожие документы |
| Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин | ||
| "... используется его модификация, заключающаяся в замыкании исход- ной модели через два ИЛИ правила. Это позволяет ..." | ||
| Том 23, № 2 (2016) | Коллективные потоковые вычисления: реляционные модели и алгоритмы | Аннотация PDF (Rus) похожие документы |
| Д. А. Усталов | ||
| "... улучшившие- ся». Каждая из этих ошибок принадлежит разному классу: • участник перепутал гипероним и синоним ..." | ||
| Том 19, № 2 (2012) | Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло | Аннотация PDF (Rus) похожие документы |
| Лев Юрьевич Бараш, Лев Николаевич Щур | ||
| "... упоминавшемся линейно-конгруэнтном методе и на алгоритме сдви- говых регистров, а также их модификации и ..." | ||
| Том 21, № 6 (2014) | Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей | Аннотация PDF (Rus) похожие документы |
| Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон | ||
| "... могут повлиять на точность анали- за и привести к возникновению ложных обнаружений — ошибок ..." | ||
| Том 19, № 6 (2012) | Дедуктивная верификация телекоммуникационных систем, представленных на языке Си | Аннотация PDF (Rus) похожие документы |
| Игорь Сергеевич Ануреев | ||
| "... наиболее известные проекты в этой области. В проекте [16] представлен метод дедуктивного поиска ошибок в ..." | ||
| Том 19, № 6 (2012) | Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов | Аннотация PDF (Rus) похожие документы |
| Александр Валентинович Колчин, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко, Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров | ||
| "... набора в соответствии с планом тестирова- ния, локализация и анализ ошибок с помощью логирования. 2 ..." | ||
| Том 20, № 4 (2013) | Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний | Аннотация PDF (Rus) похожие документы |
| Владимир Николаевич Бойков, Владимир Евгеньевич Захаров, Мария Сергеевна Каряева, Валерий Анатольевич Соколов | ||
| "... . Кроме того, создание базы знаний в предметной области обычно ве- дется методом проб и ошибок, поэтому ..." | ||
| Том 23, № 5 (2016) | Компьютерная разностная схема для сингулярно возмущенного параболического уравнения реакции-диффузии при наличии компьютерных возмущений | Аннотация PDF (Rus) похожие документы |
| Г. И. Шишкин | ||
| "... качественном анализе ошибок сеточного решения далее будем рассматривать лишь влияние величин ε, N1, M на ошибки ..." | ||
| Том 21, № 1 (2014) | Асимметричное взаимодействие пары осцилляторов типа ФитцХью–Нагумо | Аннотация PDF (Rus) похожие документы |
| Елена Александровна Марушкина | ||
| "... .Х. Об одной модификации нейронной моде- ли ФитцХью – Нагумо // Журнал вычислительной математики и ..." | ||
| Том 24, № 3 (2017) | Решение вида движущегося фронта двумерной задачи реакция-диффузия | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович Антипов, Владимир Тарасович Волков, Наталия Тимуровна Левашова, Николай Николаевич Нефедов | ||
| "... модификацию асимптотических пред- ставлений (42). Будем считать, что кривая hβ(x, t), определяющая положение ..." | ||
| Том 21, № 5 (2014) | Двояко-периодические мероморфные решения автономных нелинейных дифференциальных уравнений | Аннотация PDF (Rus) похожие документы |
| Николай Алексеевич Кудряшов, Мария Владимировна Демина | ||
| "... эллиптических функ- ций Якоби, а также их различные модификации и обобщения. Одним из основных недостатков ..." | ||
| 1 - 75 из 128 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)