Поиск


Сортировать по:     
 
Выпуск Название
 
Том 19, № 4 (2012) Обобщенные асинхронные системы Аннотация  PDF (Rus)  похожие документы
Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов
"... переходов с отношением независимости можно рассматривать как дистрибутивные асинхронные автоматы ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... системах в частности. Поэтому остается актуальным изучение и преподавание формальных моделей параллелизма и ..."
 
Том 18, № 4 (2011) Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем Аннотация  PDF (Rus)  похожие документы
Андрей Валентинович Климов
 
Том 20, № 2 (2013) Группы гомологий сети Петри конвейера Аннотация  PDF (Rus)  похожие документы
Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина
"... топологического пространства. С помощью индукции по n, с применением аддиционной последовательности для групп ..."
 
Том 20, № 6 (2013) Общие знания в хорошо структурированных системах с абсолютной памятью Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина
"... µPLCn в хорошо структурированных мультиагентных системах с абсолютной памятью. Показано, что среда с ..."
 
Том 22, № 5 (2015) Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции Аннотация  PDF (Rus)  похожие документы
В. О. Голубенец
"... В работе рассматривается уравнение первого порядка с запаздыванием, зависящим от искомой функции ..."
 
Том 17, № 4 (2010) Безопасное тестирование симуляции систем с отказами и разрушением Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... . Предлагается теория безопасной симуляции для систем с отказами и разрушением. Обсуждаются вопросы полноты ..."
 
Том 20, № 4 (2013) Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний Аннотация  PDF (Rus)  похожие документы
Владимир Николаевич Бойков, Владимир Евгеньевич Захаров, Мария Сергеевна Каряева, Валерий Анатольевич Соколов
"... -специфицированного тезауруса по поэтологии», который является одним из уровней информационно-аналитической системы ..."
 
Том 23, № 6 (2016) Методические аспекты выделения семантических отношений для автоматической генерации специализированных тезаурусов и их оценки Аннотация  PDF (Rus)  похожие документы
Н. С. Лагутина, К. В. Лагутина, Э. И. Мамедов, И. В. Парамонов
"... тезаурус с лучшими характеристиками по сравнению с тезаурусами, генерируемыми при использовании отдельных ..."
 
Том 24, № 6 (2017) Анализ использования различных типов связей между терминами тезауруса, сгенерированного с помощью гибридных методов, в задачах классификации текстов Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Иван Андреевич Щитов, Илья Вячеславович Парамонов
"... статистических алгоритмах выделения семантических связей и позволяющий создать тезаурус с достаточно большим ..."
 
Том 17, № 1 (2010) Тезаурус как инструмент поэтологии Аннотация  PDF (Rus)  похожие документы
В. Н. Бойков, В. Е. Захаров, И. А. Пильщиков, . М. Сысоев
"... концептуальные и технологические решения оцениваются с точки зрения современных стандартов представления ..."
 
Том 25, № 6 (2018) Векторное представление слов с семантическими отношениями: экспериментальные наблюдения Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Каряева, Павел Исаакович Браславский, Валерий Анатольевич Соколов
"... отношений с главным словом, для которого был представлен ассоциативный ряд. В работе рассматриваются ..."
 
Том 25, № 4 (2018) Русскоязычные тезаурусы: автоматизированное построение и применение в задачах обработки текстов на естественном языке Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Алексей Сергеевич Адрианов, Илья Вячеславович Парамонов
"... предметной области и нескольких существующих лингвистических ресурсов. С использованием предложенного метода ..."
 
Том 24, № 5 (2017) Конструктивное решение проблемы эллиптичности системы дифференциальных уравнений первого порядка Аннотация  PDF (Rus)  похожие документы
Владимир Евгеньевич Балабаев
"... Построены эллиптические системы первого порядка с любым возможным числом неизвестных функций и ..."
 
Том 19, № 2 (2012) Генерация случайных чисел и параллельных потоков случайных чисел для расчетов Монте-Карло Аннотация  PDF (Rus)  похожие документы
Лев Юрьевич Бараш, Лев Николаевич Щур
"... Ключевые слова: генераторы случайных чисел, параллельные системы и вычисления, нелинейные динамические ..."
 
Том 21, № 6 (2014) Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова
"... действуют параллельно, необходимо верифицировать некоторые важные свойства системы, связанные с этим ..."
 
Том 22, № 2 (2015) Исследование устойчивости решений начально-краевой задачи, моделирующей динамику одной дискретно-континуальной механической системы Аннотация  PDF (Rus)  похожие документы
Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин
"... В работе исследуется устойчивость решений начально-краевой задачи для линейной гибридной системы ..."
 
Том 22, № 2 (2015) Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар, Виталий Игоревич Петров, Каролина Дмитриевна Борунова, Дмитрий Александрович Молчанов, Евгений Андреевич Кучерявый
"... системы повышается до десятков и, потенциально, сотен ядер. В то же время, детальный анализ применимости ..."
 
Том 26, № 1 (2019) Построение бортовых сетей реального времени на основе технологии ПКС Аннотация  PDF (Rus)  похожие документы
Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова
"... RUNOS. Эксперименты показали, что предложенная схема передачи данных позволяет передавать сообщения с ..."
 
Том 19, № 5 (2012) Исследование стационарных режимов дифференциально-разностного уравнения динамики популяции насекомых Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... Исследуются релаксационные колебания в уравнении первого порядка с двумя запаздываниями. На основе ..."
 
Том 21, № 3 (2014) Импульсный нейрон и нейронный клеточный автомат асимптотически эквивалентны Аннотация  PDF (Rus)  похожие документы
Валерий Дмитриевич Копылов, Ольга Александровна Дунаева, Михаил Леонидович Мячин
"... единичном внешнем воздействии. Во втором разделе описана модель нейронного клеточного автомата с ..."
 
Том 20, № 5 (2013) Особенности колебания решений адиабатических осцилляторов с запаздыванием Аннотация  PDF (Rus)  похожие документы
Павел Николаевич Нестеров, Евгений Николаевич Агафончиков
"... линейных систем с запаздывающим аргументом. Кроме того, изучается динамика изменения зоны параметрического ..."
 
Том 23, № 1 (2016) Продолжение решения на границе разрыва как решение задачи усредненной оптимизации Аннотация  PDF (Rus)  похожие документы
А. М. Цирлин
"... правой части уравнения скольжения с характеристиками системы (продолжить решение системы на поверхности ..."
 
Том 20, № 1 (2013) Релаксационные колебания в системе с запаздываниями, моделирующей задачу «хищник–жертва» Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... Предложен новый метод асимптотического исследования сложных релаксационных колебаний в системе с ..."
 
Том 17, № 2 (2010) Релаксационные колебания электрически связанных нейроподобных осцилляторов с запаздыванием Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
"... Рассматривается система диффузионно связанных нелинейных дифференциально-разностных уравнений с ..."
 
Том 18, № 3 (2011) Основные квазинормальные формы для двухкомпонентных систем параболических уравнений Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
 
Том 18, № 4 (2011) Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока
"... Предлагается метод тестирования безопасности С программ с использованием широко известного ..."
 
Том 25, № 2 (2018) Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Терехов, Владимир Алексеевич Немтинов, Кирилл Сергеевич Корнилов
"... человеческой деятельности. В частности, системы теплоснабжения имеют значительное экономическое, экологическое ..."
 
Том 19, № 3 (2012) Пакеты импульсов в системе взаимодействующих осцилляторов с запаздыванием и их статистическая обработка Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александрович Марушкина
"... характеристик процесса возникновения высокоамплитудных импульсов позволяет с достаточной степенью точности ..."
 
Том 24, № 4 (2017) Исследование одной марковской модели угроз безопасности компьютерных систем Аннотация  PDF (Rus)  похожие документы
Алексей Анатольевич Магазев, Валерия Федоровна Цырульник
"... языке марковских процессов. В рамках данной модели функционирование компьютерной системы рассматривается ..."
 
Том 24, № 6 (2017) Поэтология: задачи построения тезауруса и спецификации стихового текста Аннотация  PDF (Rus)  похожие документы
Владимир Николаевич Бойков, Мария Сергеевна Каряева
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
"... --- верификацией с использованием автоматизированной системы построения/поиска доказательства для того, чтобы ..."
 
Том 21, № 1 (2014) Уравнения движения твердого тела с двумя упругими стержнями Аннотация  PDF (Rus)  похожие документы
Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин
"... В работе построена математическая модель механической системы, состоящей из твердого тела и двух ..."
 
Том 24, № 4 (2017) О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар
"... производительности центральных процессоров предлагаются решения, связанные с изменением существующей архитектуры ..."
 
Том 16, № 4 (2009) Хаотическая синхронизация каскадно-связанных систем фазовой автоподстройки частоты Аннотация  PDF (Rus)  похожие документы
А. В. Ходунин, Л. Н. Казаков
"... . Показаны преимущества двухкольцевой системы фа¬зовой автоподстройки частоты перед однокольцевой. ..."
 
Том 25, № 5 (2018) Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae Аннотация  похожие документы
Томас Баар, Сергей Михайлович Старолетов
"... представления моделируемой системы, что позволяет ему не работать с чисто текстовым форматом гибридных программ ..."
 
Том 25, № 4 (2018) Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров Аннотация  PDF (Rus)  похожие документы
Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов
"... специалисты приемной комиссии, имеющие свой интерфейс. Система была реализована с использованием современных ..."
 
Том 19, № 3 (2012) Асимптотика решений обобщённого уравнения Хатчинсона Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... рассмотрена задача о динамических свойствах системы обыкновенных дифференциальных уравнений, описывающей ..."
 
Том 19, № 5 (2012) TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные Аннотация  PDF (Rus)  похожие документы
Анатолий Александрович Сивов
"... способности сети. Этот протокол реализует проактивную схему борьбы с перегрузкой в сети. Использованная схема ..."
 
Том 21, № 1 (2014) Классические и неклассические симметрии нелинейного дифференциального уравнения для описания волн в жидкости с пузырьками газа Аннотация  PDF (Rus)  похожие документы
Николай Алексеевич Кудряшов, Дмитрий Игоревич Синельщиков
"... Рассматривается нелинейное дифференциальное уравнение для описания нелинейных волн в жидкости с ..."
 
Том 20, № 3 (2013) Параметрический резонанс при двухчастотном возмущении в логистическом уравнении с запаздыванием Аннотация  PDF (Rus)  похожие документы
Надежда Дмитриевна Быкова, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко
"... Рассматривается логистическое уравнение с запаздыванием в цепи обратной связи и периодическим ..."
 
Том 23, № 5 (2016) Асимптотическое интегрирование одного линейного дифференциального уравнения второго порядка с запаздыванием Аннотация  PDF (Rus)  похожие документы
П. Н. Нестеров
"... второго порядка с запаздыванием при стремлении независимой переменной к бесконечности. Следует отметить ..."
 
Том 20, № 1 (2013) Об аппроксимируемости обобщенных свободных произведений корневыми классами групп Аннотация  PDF (Rus)  похожие документы
Елена Александровна Туманова
"... -аппроксимируемых групп с одной объединенной подгруппой, являющейся ретрактом в каждом свободном множителе, K ..."
 
Том 24, № 6 (2017) Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Макаров
"... В работе для одного класса слабо нелинейных систем с зависящими от состояния коэффициентами ..."
 
Том 16, № 3 (2009) Исправления и дополнения к статье «Поправка к периоду решения уравнения, моделирующего динамику мембранного потенциала Аннотация  PDF (Rus)  похожие документы
О. А. Дунаева, М. Л. Мячин
"... оценка первого порядка точности для периода решения уравнения с запаздыванием, моделирующего ..."
 
Том 16, № 3 (2009) Уточнение периода решения уравнения импульсного нейрона при постоянном внешнем электрическом воздействии Аннотация  PDF (Rus)  похожие документы
К. В. Корнилов
 
Том 16, № 4 (2009) Уточнение оценки латентного периода для нейронов с синаптическим взаимодействием Аннотация  PDF (Rus)  похожие документы
О. А. Дунаева
"... Рассмотрена задача вычисления задержки возникновения индуцированного спайка по отношению к моменту ..."
 
Том 17, № 3 (2010) Локальная динамика уравнения с большим запаздыванием в окрестности автомодельного цикла Аннотация  PDF (Rus)  похожие документы
Д. В. Глазков, С. А. Кащенко
"... Исследуется локальная динамика комплексного дифференциального уравнения с большим запаздыванием в ..."
 
Том 18, № 1 (2011) Релаксационные циклы обобщённого уравнения импульсного нейрона Аннотация  PDF (Rus)  похожие документы
И. В. Парамонов
 
Том 25, № 1 (2018) Инвариантные характеристики вынужденных колебаний балки с продольным сжатием Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Михаил Владимирович Лоханин, Дмитрий Михайлович Сиротин
"... Рассматриваются колебания упругой балки с продольным сжатием. Такая балка может быть реализована из ..."
 
Том 19, № 1 (2012) Моделирование систем автоматического управления на основе полиномов Вольтерра Аннотация  PDF (Rus)  похожие документы
Светлана Витальевна Солодуша
"... некоторой степени N . Пусть нелинейная динамическая система с векторными входом x(t) = (x1(t), . . . , xp(t ..."
 
Том 19, № 6 (2012) Как разработать простое средство верификации систем реального времени Аннотация  PDF (Rus)  похожие документы
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов
"... использовать диаграммы состояний UML с семантикой, определяемой иерархическими автоматами. Для верификации СРВ ..."
 
Том 20, № 5 (2013) Статистические характеристики управляемых систем, возникающие в различных моделях естествознания Аннотация  PDF (Rus)  похожие документы
Яна Юрьевна Ларина, Людмила Ивановна Родина
"... систем с периодическими коэффициентами. Показано, что свойство статистической инвариантности тесно ..."
 
Том 23, № 3 (2016) Применение метода дифференциальных неравенств для обоснования решения системы параболических уравнений в виде движущегося фронта Аннотация  PDF (Rus)  похожие документы
Н. Т. Левашова, А. А. Мельникова, С. В. Быцюра
"... системы параболических уравнений при различных условиях квазимонотонности. ..."
 
Том 23, № 4 (2016) Компьютерное моделирование "Интеллектуального здания" Аннотация  PDF (Rus)  похожие документы
О. Ю. Марьясин, А. С. Колодкина, А. А. Огарков
"... здания и алгоритмов управления этими подсистемами. Модель построена в системе Simulink пакета Matlab, с ..."
 
Том 23, № 6 (2016) Подход к верификации семейства мультиагентных систем разрешения конфликтов Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина, Е. А. Сидорова
"... системах. Проверку свойств репрезентативной модели можно осуществлять с помощью метода проверки моделей ..."
 
Том 23, № 6 (2016) Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик Аннотация  PDF (Rus)  похожие документы
О. Б. Кушнаренко, Ж.-Ф. Вебер
"... , совместимого с непротиворечивостью, отношение симуляции используется для доказательства корректности ..."
 
Том 23, № 6 (2016) О минимизации конечных автоматов-преобразователей над полугруппами Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Г. Г. Темербекова
"... переходам преобразователя, и в результате образуется приведенный преобразователь. Наконец, для минимизации ..."
 
Том 24, № 4 (2017) Разложение самоподобных функций в системе Фабера–Шаудера Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... на (Omega) с вероятностями (p_0,p_1>0), (p_0+p_1=1). Обозначим через (B(boldsymbol{x},omega ..."
 
Том 17, № 4 (2010) Проверка моделей распределенных систем с помощью аффинного представления данных Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина
 
Том 25, № 4 (2018) Динамическая модель процессов информационных обменов в пиринговой сети Аннотация  PDF (Rus)  похожие документы
Александра Игоревна Кононова
"... обмене. На основе анализа записана система дифференциальных уравнений, описывающая эволюцию раздачи ..."
 
Том 26, № 2 (2019) Система распределения ключей на дизайнах Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Алексей Александрович Таран
"... переписки между ее участниками. Для решения этой задачи могут рассматриваться системы предварительного ..."
 
1 - 75 из 114 результатов 1 2 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)