Сортировать по:
Выпуск | Название | |
Том 27, № 4 (2020) | Синтез установочных последовательностей для автоматов с временными ограничениями | Аннотация PDF (Rus) похожие документы |
Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
"... for FSMs with timed guards and show that the length estimation for timed homing sequence coincides ..." | ||
Том 24, № 4 (2017) | Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов | Аннотация PDF (Rus) похожие документы |
Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко | ||
"... of the given TFSM; the test is derived against an FSM abstraction and contains timed input sequences. Shorter ..." | ||
Том 23, № 6 (2016) | Построение каскадной параллельной композиции временных автоматов с использованием BALM-II | Аннотация PDF (Rus) похожие документы |
М. Л. Громов, Н. В. Шабалдина | ||
"... In this paper, we consider the problem of deriving a cascade parallel composition of timed finite ..." | ||
Том 19, № 6 (2012) | Как разработать простое средство верификации систем реального времени | Аннотация PDF (Rus) похожие документы |
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов | ||
"... statecharts is to invoke the formal model of Hierarchical Timed Automata. Since the model language of UPPAAL ..." | ||
Том 27, № 4 (2020) | О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени | Аннотация PDF (Rus) похожие документы |
Евгений Максимович Винарский, Владимир Анатольевич Захаров | ||
"... finite state machines (TFSMs). However, in most works where this class of real-time automata is studied ..." | ||
Том 23, № 6 (2016) | Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата | Аннотация PDF (Rus) похожие документы |
А. Д. Ермаков, Н. В. Евтушенко | ||
"... EFSMs instead of deriving such a sequence for two programs. If the corresponding FSMs are too complex ..." | ||
Том 25, № 2 (2018) | О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов | Аннотация PDF (Rus) похожие документы |
Алевтина Борисовна Глонина, Василий Викторович Балашов | ||
"... временных автоматов с остановкой таймеров. По вычислению сети автоматов предлагается строить временную ..." | ||
Том 21, № 4 (2014) | Клеточно-локальный алгоритм выделения и оценки изменений на бинарных изображениях | Аннотация PDF (Rus) похожие документы |
Алексей Абрамович Короткин, Александр Андреевич Максимов | ||
"... меняющемся во времени бинарном изображении некоторой сцены. Выделение изменений происходит за счет анализа ..." | ||
Том 28, № 4 (2021) | О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
"... линейного времени $Reg$-$LTL$ и предложили алгоритмы верификации моделей для новых расширений логик $Reg ..." | ||
Том 19, № 4 (2012) | Обобщенные асинхронные системы | Аннотация PDF (Rus) похожие документы |
Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов | ||
"... временные дистрибутивные асинхронные автоматы. Доказано, что временные дистрибутивные асинхронные автоматы ..." | ||
Том 27, № 3 (2020) | Эффективные алгоритмы проверки эквивалентности для некоторых классов автоматов | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров | ||
"... эквивалентности детерминированных конечных автоматов, имеющий сложность по времени O(n log n). 2 ..." | ||
Том 25, № 5 (2018) | О выразительных возможностях некоторых расширений линейной темпоральной логики | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
"... Конечные автоматы, задающие преобразования потоков входных сигналов в последовательности ..." | ||
Том 17, № 4 (2010) | Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени | Аннотация PDF (Rus) похожие документы |
И. В. Коннов, В. А. Захаров | ||
"... успехом применен для проверки выполнимости формул логики линейного времени ILTL на конечных моделях ..." | ||
Том 27, № 4 (2020) | О задаче верификации моделей программ для одного расширения логики CTL* | Аннотация PDF (Rus) похожие документы |
Антон Романович Гнатенко, Владимир Анатольевич Захаров | ||
"... -отклик, и поэтому в качестве математических моделей для них наиболее часто используются конечные автоматы ..." | ||
Том 19, № 5 (2012) | Моделирование счетчиковых машин двухголовочными автоматами | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... Проводится моделирование работы счетчиковых машин Минского с помощью двухголовочных автоматов. ..." | ||
Том 22, № 2 (2015) | МП-автоматы с независимыми счётчиками | Аннотация PDF (Rus) похожие документы |
Михаил Иосифович Дехтярь, Борис Николаевич Карлов | ||
"... Магазинные автоматы с независимыми счётчиками (МПНС) объединяют возможности МП-автоматов и сетей ..." | ||
Том 25, № 5 (2018) | Представление универсальных гиперграфических автоматов автономными выходными сигналами | Аннотация похожие документы |
Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов | ||
"... Гиперграфическими автоматами называются автоматы, у которых множества состояний и выходных символов ..." | ||
Том 23, № 6 (2016) | О минимизации конечных автоматов-преобразователей над полугруппами | Аннотация PDF (Rus) похожие документы |
В. А. Захаров, Г. Г. Темербекова | ||
"... Автоматы-преобразователи над полугруппами можно использовать в качестве модели последовательных ..." | ||
Том 21, № 3 (2014) | Импульсный нейрон и нейронный клеточный автомат асимптотически эквивалентны | Аннотация PDF (Rus) похожие документы |
Валерий Дмитриевич Копылов, Ольга Александровна Дунаева, Михаил Леонидович Мячин | ||
"... импульсных нейронов и нейронных клеточных автоматов различных типов (автогенераторов и детекторов) при ..." | ||
Том 14, № 2 (2007) | Устойчивый колебательный режим в нейронной сети обобщенных нейронных автоматов-детекторов | Аннотация PDF (Rus) похожие документы |
Е. В. Коновалов | ||
"... Рассматривается новая модель нейронного элемента - обобщенный нейронный автомат (ОНА). Эта модель ..." | ||
Том 14, № 3 (2007) | Задача о пачечном воздействии на обобщенный нейронный автомат | Аннотация PDF (Rus) похожие документы |
Е. В. Коновалов | ||
"... Рассматривается новая модель нейронного элемента - обобщенный нейронный автомат (ОНА). Эта модель ..." | ||
Том 31, № 1 (2024) | Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев | ||
"... the advantages of FSM-based programming with the standard syntax of the ST language. We propose transformational ..." | ||
Том 26, № 4 (2019) | Анализ безопасности контроллеров продольного движения во время набора высоты | Аннотация похожие документы |
Томас Баар, Хорст Шульте | ||
Том 24, № 4 (2017) | О задаче минимизации последовательных программ | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова | ||
"... эквивалентности и конечные детерминированные автоматы-преобразователи, работающие над полугруппами подстановок ..." | ||
Том 19, № 2 (2012) | О верификации LD-программ логических контроллеров | Аннотация PDF (Rus) похожие документы |
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов | ||
"... -programs written in the Ladder Diagram language (including timed function blocks) of the IEC 61131-3 ..." | ||
Том 18, № 4 (2011) | Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри | Аннотация PDF (Rus) похожие документы |
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий | ||
"... Рассматриваются униформные системы взаимодействующих расширенных конечных автоматов, которые удобны ..." | ||
Том 16, № 3 (2009) | О множестве достижимости автоматных трехсчетчиковых машин | Аннотация PDF (Rus) похожие документы |
Е. В. Кузьмин, Д. Ю. Чалый | ||
Том 17, № 1 (2010) | О множестве достижимости автоматных счетчиковых машин | Аннотация PDF (Rus) похожие документы |
Е. В. Кузьмин, Д. Ю. Чалый | ||
Том 24, № 4 (2017) | О пространственной ограниченности клеточных Р-сетей | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... клеточных автоматов и предназначен для моделирования мультиагентных систем с динамической пространственной ..." | ||
Том 18, № 4 (2011) | Построение приближений бисимуляции в односчетчиковых сетях | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... Односчетчиковые сети представляют собой конечные автоматы с дополнительным целочисленным ..." | ||
Том 26, № 1 (2019) | Построение бортовых сетей реального времени на основе технологии ПКС | Аннотация PDF (Rus) похожие документы |
Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова | ||
"... реальном времени. Основным недостатком этих сетей являются ограниченные или отсутствующие возможности ..." | ||
Том 18, № 1 (2011) | Временные шкалы в задаче об асимптотике решений дискретных адиабатических осцилляторов | Аннотация PDF (Rus) похожие документы |
П. Н. Нестеров | ||
"... Предложен вариант метода усреднения для систем уравнений, заданных на временных шкалах. Полученные ..." | ||
Том 25, № 3 (2018) | Об оценке средней временной выгоды в вероятностных эколого-экономических моделях | Аннотация PDF (Rus) похожие документы |
Людмила Ивановна Родина, Илья Индусович Тютеев | ||
"... развитие популяции описывается дифференциальным уравнением x˙ = g(x), а в моменты времени τk из популяции ..." | ||
Том 26, № 2 (2019) | Анализ возможностей практического использования моделей решеточных газов | Аннотация PDF (Rus) похожие документы |
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин | ||
"... автоматов. Привлекательность данных математических объектов обоснована прежде всего тем, что во многих ..." | ||
Том 19, № 2 (2012) | Уравнение кинетики измельчения с произвольным законом распределения времени ожидания | Аннотация PDF (Rus) похожие документы |
Леонид Владимирович Королев, Донат Олегович Бытев | ||
"... распределения времени ожидания разрушения. Найденное уравнение позволяет моделировать процесс разрушения со ..." | ||
Том 23, № 6 (2016) | Имитационное моделирование для анализа выполнимости приложений реального времени | Аннотация PDF (Rus) похожие документы |
С. Н. Баранов, В. В. Никифоров | ||
"... времени в различных сочетаниях дисциплины планирования и протокола доступа к разделяемым общим ..." | ||
Том 23, № 6 (2016) | Подход к верификации семейства мультиагентных систем разрешения конфликтов | Аннотация PDF (Rus) похожие документы |
Н. О. Гаранина, Е. А. Сидорова | ||
"... . Свойства порождаемых систем специфицируются с помощью универсальной логики ветвящегося времени ∀CTL с ..." | ||
Том 18, № 2 (2011) | Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. | Аннотация PDF (Rus) похожие документы |
Анатолий Александрович Сивов | ||
"... вычисления значения его полей. Обсуждаются вопросы точного вычисления времени прибытия сегментов ARTCP. Также ..." | ||
Том 31, № 4 (2024) | Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах | Аннотация PDF (Rus) похожие документы |
Наталья Олеговна Гаранина | ||
"... систем реального времени, выполняющихся на мультипроцессорных платформах. Чтобы использовать этот метод ..." | ||
Том 27, № 2 (2020) | Алгоритм оценки максимального времени отклика задач в многопроцессорных системах с интервальной неопределенностью длительности выполнения работ | Аннотация PDF (Rus) похожие документы |
Марк Геннадьевич Гонопольский, Алевтина Борисовна Глонина | ||
"... В данной статье предложен алгоритм оценки максимального времени отклика задач (Worst Case Response ..." | ||
Том 14, № 1 (2007) | Верификация автоматных программ с использованием LTL | Аннотация PDF (Rus) похожие документы |
К. А. Васильева, Е. В. Кузьмин | ||
"... исходной программе. Набор взаимодействующих автоматов, описывающий логику программы, уже является ..." | ||
Том 20, № 2 (2013) | Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров | Аннотация PDF (Rus) похожие документы |
Владимир Анатольевич Башкин | ||
"... Вводится и исследуется специфический формализм счетчиковых автоматов с одним неограниченным ..." | ||
Том 24, № 6 (2017) | Семантически-ориентированная миграция Java-программ: опыт практического применения | Аннотация PDF (Rus) похожие документы |
Артем Олегович Алексюк, Владимир Михайлович Ицыксон | ||
"... описывает поведение библиотек с помощью системы расширенных конечных автоматов (РКА). Процедура миграции ..." | ||
Том 30, № 3 (2023) | Применение алгоритма поиска внешней медианы графа в задачах определения надежности технических систем | Аннотация PDF (Rus) похожие документы |
Юрий Андреевич Плакса, Светлана Алексеевна Курочкина, Наталия Александровна Прусова | ||
"... зависимость коэффициента готовности системы от среднего времени наработки между отказами и среднего времени ..." | ||
Том 20, № 4 (2013) | Исследование ортогональности сигналов с вращением вектора поляризации | Аннотация PDF (Rus) похожие документы |
Юрий Евгеньевич Боровков, Александр Николаевич Кренев, Виктор Николаевич Муравьев, Александр Прокофьевич Омельчук | ||
"... Объектами данного исследования являлись свойства ограниченных во времени электромагнитных ..." | ||
Том 19, № 4 (2012) | Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах | Аннотация PDF (Rus) похожие документы |
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева | ||
"... ко времени их обработки. Применение подобных преобразований позволяет порождать различные программы ..." | ||
Том 19, № 4 (2012) | Конструктивная классификация графов | Аннотация PDF (Rus) похожие документы |
Михаил Анатольевич Иорданский | ||
"... операционными базисами. К настоящему времени они построены для многих классов графов. В данной работе решаются ..." | ||
Том 19, № 5 (2012) | TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные | Аннотация PDF (Rus) похожие документы |
Анатолий Александрович Сивов | ||
"... времени. При этом TCP TIPS продолжает использовать освобождаемую долю после завершения указанных потоков. ..." | ||
Том 23, № 3 (2016) | Асимптотика, устойчивость и область притяжения периодического решения сингулярно возмущённой параболической задачи с двукратным корнем вырожденного уравнения | Аннотация PDF (Rus) похожие документы |
В. Ф. Бутузов, Н. Н. Нефедов, Л. Реке, К. Р. Шнайдер | ||
"... обосновано асимптотическое разложение периодического по времени решения с пограничными слоями вблизи концов ..." | ||
Том 24, № 4 (2017) | Исследование одной марковской модели угроз безопасности компьютерных систем | Аннотация PDF (Rus) похожие документы |
Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
"... вероятностей состояний компьютерной системы в произвольный момент времени, обсуждаются некоторые предельные ..." | ||
Том 26, № 1 (2019) | Иерархические периферийные вычисления | Аннотация PDF (Rus) похожие документы |
Руслан Леонидович Смелянский | ||
"... обусловлена требованиями новых приложений, активно использующих видео, интерактивность в реальном времени ..." | ||
Том 22, № 2 (2015) | Уравнение Колмогорова–Петровского–Пискунова с запаздыванием | Аннотация PDF (Rus) похожие документы |
Сергей Владимирович Алешин, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко | ||
"... выражается в том, что в окрестности участка начального возмущения сохраняются незатухающие по времени и ..." | ||
Том 27, № 4 (2020) | Правило «одной пятой» с возвратами для настройки размера популяции в генетическом алгоритме (1 + (λ,λ)) | Аннотация PDF (Rus) похожие документы |
Антон Олегович Басин, Максим Викторович Буздалов, Анатолий Абрамович Шалыто | ||
"... процессе работы помогает достичь линейного времени работы на задаче OneMax. Однако если свойства решаемой ..." | ||
Том 19, № 4 (2012) | Об одной нестационарной задаче маршрутизации с ограничениями | Аннотация PDF (Rus) похожие документы |
Александр Георгиевич Ченцов, Павел Александрович Ченцов | ||
"... фактическому времени, а может соответствовать естественной очередности (первое посещение, второе, третье и т. д ..." | ||
Том 21, № 3 (2014) | Вычисление ляпуновской величины для логистического уравнения с быстро осциллирующим запаздыванием | Аннотация PDF (Rus) похожие документы |
Надежда Дмитриевна Быкова | ||
"... Рассматривается логистическое уравнение с быстро осциллирующим периодическим по времени кусочно ..." | ||
Том 21, № 1 (2014) | Применение принципа усреднения к логистическому уравнению с быстро осциллирующим запаздыванием | Аннотация PDF (Rus) похожие документы |
Надежда Дмитриевна Быкова, Елена Викторовна Григорьева | ||
"... периодическим по времени кусочно-постоянным коэффициентом запаздывания. Показано, что усредненным уравнением ..." | ||
Том 18, № 4 (2011) | Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC | Аннотация PDF (Rus) похожие документы |
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев | ||
"... программ на языке SystemC без количественного времени. Эти алгоритмы позволяют обнаружить все ошибки ..." | ||
Том 23, № 2 (2016) | Построение хранилища данных с динамической структурой | Аннотация PDF (Rus) похожие документы |
Ю. Н. Артамонов | ||
"... заданный момент времени. Ссылочное значение свойства указывает на объект, имя которого интерпретируется ..." | ||
Том 27, № 1 (2020) | Марковская модель совместных киберугроз и ее применение для выбора оптимального набора средств защиты информации | Аннотация PDF (Rus) похожие документы |
Адиль Аскарович Касенов, Алексей Анатольевич Магазев, Валерия Федоровна Цырульник | ||
"... аналогии с моделями теории надежности. Для оценки функционально-временных свойств системы мы вводим ее ..." | ||
Том 28, № 3 (2021) | Алгоритм нахождения обратной связи в задаче с ограничениями для одного класса нелинейных управляемых систем | Аннотация PDF (Rus) похожие документы |
Михаил Геннадьевич Дмитриев, Зайнелхриет Нугманович Мурзабеков, Гулбану Абсаматовна Мирзахмедова | ||
"... Для непрерывной нелинейной управляемой системы на конечном интервале времени с ограничениями на ..." | ||
Том 21, № 6 (2014) | Поддержка эволюции визуальных языков в платформе QReal | Аннотация PDF (Rus) похожие документы |
Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин | ||
"... Как и другие программные продукты, языки моделирования развиваются со временем. В результате ..." | ||
Том 21, № 5 (2014) | Оптимальное управление поведением решений начально-краевой задачи, моделирующей вращение твердого тела с упругим стержнем | Аннотация PDF (Rus) похожие документы |
Евгений Павлович Кубышкин, Михаил Сергеевич Тряхов | ||
"... : задача перевода решения из начального фазового состояния в конечное в заданный момент времени с минимумом ..." | ||
Том 21, № 1 (2014) | Классические и неклассические симметрии нелинейного дифференциального уравнения для описания волн в жидкости с пузырьками газа | Аннотация PDF (Rus) похожие документы |
Николай Алексеевич Кудряшов, Дмитрий Игоревич Синельщиков | ||
"... относительно преобразований сдвига по пространственной и временной координатам. При дополнительном ограничении ..." | ||
Том 16, № 4 (2009) | Метод автоматического построения алгоритмов распознавания участков фазовых траекторий | Аннотация PDF (Rus) похожие документы |
Д. С. Коваленко | ||
"... существенно искажены по амплитуде и растянуты или сжаты по времени в различных условиях работы системы. В ..." | ||
Том 22, № 1 (2015) | Катастрофа голубого неба в системах с неклассическими релаксационными колебаниями | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов | ||
"... которых медленные компоненты асимптотически близки к некоторым разрывным по времени функциям, а быстрая ..." | ||
Том 24, № 6 (2017) | К критериям оценки безопасности нулевых ссылок при инициализации объекта | Аннотация похожие документы |
Александр Валентинович Когтенков | ||
"... всегда ненулевыми, могут временно быть нулевыми до окончания инициализации. Данная работа устанавливает ..." | ||
Том 31, № 2 (2024) | Математические свойства агентной модели вымирания — реколонизации для популяционной генетики | Аннотация PDF (Rus) похожие документы |
Никита Владимирович Гаянов | ||
"... время жизни особей имеет экспоненциальное распределение, вероятности аллелей сохраняются во времени ..." | ||
Том 22, № 5 (2015) | Особенности динамики уравнения Колмогорова–Петровского–Пискунова с отклонением по пространственной переменной | Аннотация PDF (Rus) похожие документы |
С. В. Алешин, С. Д. Глызин, С. А. Кащенко | ||
"... распространения волны, противоположном направлению отклонения, сохраняются незатухающие по времени и медленно ..." | ||
Том 25, № 3 (2018) | Динамика распределения популяции по ареалам | Аннотация PDF (Rus) похожие документы |
Александр Николаевич Кириллов, Инна Владимировна Данилова | ||
"... учитывающая изменение положения популяции с течением времени. В настоящей работе предложена динамическая ..." | ||
Том 25, № 4 (2018) | Динамическая модель процессов информационных обменов в пиринговой сети | Аннотация PDF (Rus) похожие документы |
Александра Игоревна Кононова | ||
"... со временем актуальность) угасание. Каждой стадии соответствует своё соотношение параметров модели ..." | ||
Том 25, № 6 (2018) | Применение генетического алгоритма для нахождения редакционного расстояния между моделями процессов | Аннотация PDF (Rus) похожие документы |
Анна Алексеевна Каленкова, Данил Александрович Колесников | ||
"... извлекаемыми моделями процессов (и графами в общем случае) имеют большую временную сложность и могут быть ..." | ||
Том 20, № 6 (2013) | Релаксационные циклы в обобщенной нейронной модели с двумя запаздываниями | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич Глызин, Елена Александровна Марушкина | ||
"... движение с любым наперед заданным количеством всплесков на отрезке времени длины периода. Для ..." | ||
Том 20, № 3 (2013) | Параметрический резонанс в гармоническом осцилляторе с переменной частотой собственных колебаний | Аннотация PDF (Rus) похожие документы |
Павел Николаевич Нестеров | ||
"... частотой собственных колебаний под действием колебательно убывающей во времени силы. Рассматриваемое в ..." | ||
Том 20, № 3 (2013) | Параметрический резонанс при двухчастотном возмущении в логистическом уравнении с запаздыванием | Аннотация PDF (Rus) похожие документы |
Надежда Дмитриевна Быкова, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко | ||
"... , что эти величины имеют двухчастотную зависимость от времени, причем частоты воздействия близки к ..." | ||
Том 22, № 4 (2015) | Полиэдральные графы задач об остовных деревьях при дополнительных ограничениях | Аннотация PDF (Rus) похожие документы |
В. А. Бондаренко, А. В. Николаев, Д. А. Шовгенов | ||
"... временную трудоемкость в широком классе алгоритмов, использующих линейные сравнения. Приведенные результаты ..." | ||
1 - 75 из 115 результатов | 1 2 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)