Preview

Моделирование и анализ информационных систем

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 25, № 4 (2018) Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров Аннотация  PDF (Rus)  похожие документы
Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов
"... to support university applicants. We gathered a corpus of applicants questions throughout two years ..."
 
Том 20, № 4 (2013) Новый подход к множественной аутентификации пользователя в современных разнородных информационных системах Аннотация  PDF (Rus)  похожие документы
Виталий Игоревич Петров, Мария Сергеевна Комар, Евгений Андреевич Кучерявый
"... Предлагается новый подход к множественной аутентификации пользователя в разнородных информационных ..."
 
Том 19, № 4 (2012) Об одном вопросе А.И. Мальцева из "Коуровской тетради" Аннотация  PDF (Rus)  похожие документы
Валерий Георгиевич Дурнев
 
Том 25, № 6 (2018) Перевод моделей Event-B в Eiffel Аннотация  похожие документы
Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара
"... the correctness of system properties, especially for critical systems. However, there is still an open question ..."
 
Том 26, № 1 (2019) Оркестрация жизненного цикла многопользовательской виртуальной сетевой функции Аннотация  PDF (Rus)  похожие документы
Виталий Александрович Антоненко, Руслан Леонидович Смелянский, Артем Владимирович Плакунов, Павел Алексеевич Михеев
"... ориентированы на работу с конкретным пользователем (далее su-VF); и те, которые используют разные пользователи ..."
 
Том 25, № 5 (2018) Упрощение процесса верификации кибер-физических систем с использованием подхода с графом потока управления в средстве KeYmae Аннотация  похожие документы
Томас Баар, Сергей Михайлович Старолетов
"... логического исчисления и успешное доказательство требует от пользователя глубоких знаний о доступных правилах ..."
 
Том 26, № 3 (2019) Динамическая модель развития пиринговой файлообменной сети Аннотация  PDF (Rus)  похожие документы
Александра Игоревна Кононова, Лариса Геннадьевна Гагарина
"... количество пользователей трекера, активно участвующих в информационном обмене, и количество активных раздач ..."
 
Том 21, № 4 (2014) Разработка алгоритма измерения частоты пульса человека с помощью камеры мобильного телефона Аннотация  PDF (Rus)  похожие документы
Денис Александрович Лаурэ, Надеджа Станиславовна Лагутина, Илья Вячеславович Парамонов
"... точки зрения пользователя и не требует дополнительных знаний или покупки специальных устройств для ..."
 
Том 26, № 2 (2019) Система распределения ключей на дизайнах Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Алексей Александрович Таран
"... распределения ключей в сообществе, при этом каждый пользователь получает некоторую ключевую информацию, на ..."
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов, С. И. Вовчок
"... основные свойства социальной сети: степенное распределение количества сообществ для пользователей, плотные ..."
 
Том 17, № 2 (2010) О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ Аннотация  PDF (Rus)  похожие документы
А. В. Николаев
"... . In particular, the question of preservation of nonintegral vertices under additional linear constraints ..."
 
Том 22, № 6 (2015) Модель безопасности информационных потоков для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Д. Ю. Чалый, Е. С. Никитин, Е. Ю. Антошина, В. А. Соколов
"... сетью, должно гарантировать, что конфиденциальные данные одного пользователя не будут переданы другим ..."
 
Том 25, № 4 (2018) Динамическая модель процессов информационных обменов в пиринговой сети Аннотация  PDF (Rus)  похожие документы
Александра Игоревна Кононова
"... раздачи файла (в первом приближении — это количество пользователей — сидеров и личеров на раздаче ..."
 
Том 27, № 1 (2020) Исследование свойств АГ-кодов как кодов для защиты от копирования Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Денис Владимирович Загуменнов
"... атака, в ходе которой группы из c недобросовестных пользователей могут объединяться в коалиции и ..."
 
Том 27, № 1 (2020) Современные методы детектирования и классификации токсичных комментариев с использованием нейронных сетей Аннотация  PDF (Rus)  похожие документы
Сeргей Владимирович Моржов
"... Рост популярности онлайн-платформ, позволяющих пользователям общаться друг с другом, делиться ..."
 
Том 18, № 2 (2011) Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. Аннотация  PDF (Rus)  похожие документы
Анатолий Александрович Сивов
"... and the calculation of header fields. The questions of precise time dispatching of the received packets are discussed ..."
 
Том 20, № 4 (2013) Проектирование и разработка имитационной модели мультиклиентского кластера баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... -разработчиков ПО, так и для конечных пользователей. Однако вместе с этими преимуществами данный переход несет и ..."
 
Том 17, № 4 (2010) Пример верификации в проекте F@BOOL@, основанном на булевских решателях Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... проекта F@BOOL@ - разработка понятного для пользователей, компактного и переносимого верифицирующего ..."
 
Том 23, № 5 (2016) Численные методы решения задач Коши с контрастными структурами Аннотация  PDF (Rus)  похожие документы
А. А. Белов, Н. Н. Калиткин
"... превышает заданную пользователем. Исследованы границы применимости численных методов. При решении задач ..."
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... We discuss some questions connected with the construction of a technology of analysing correctness ..."
 
Том 19, № 3 (2012) Синергетика — от прошлого к будущему Аннотация  PDF (Rus)  похожие документы
Георгий Геннадьевич Малинецкий
"... questions of the modern science and a number of key high technologies bounded with the future of the economy ..."
 
Том 21, № 1 (2014) Асимптотика установившихся режимов конечно-разностных аппроксимаций логистического уравнения с запаздыванием и с малой диффузией Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко, Валерий Евгеньевич Фролов
"... coefficient is large. The question of the existence and asymptotic behavior of attractors was studied ..."
 
Том 18, № 3 (2011) О двух конечномерных аппроксимациях периодической краевой задачи Аннотация  PDF (Rus)  похожие документы
Николай Андреевич Демьянков
"... of a periodic boundary value problem entails its solvability of discrete options are given. The question ..."
 
Том 18, № 3 (2011) Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры Аннотация  PDF (Rus)  похожие документы
Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов
"... In the article we concern the questions connected with the realization of a dynamic programming ..."
 
Том 22, № 1 (2015) Катастрофа голубого неба в системах с неклассическими релаксационными колебаниями Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов, Николай Христович Розов
"... -dimensional torus are analyzed. Also the question of homoclinic structure emergence is considered. ..."
 
Том 26, № 4 (2019) Методы специализации онтологии процессов, ориентированной на верификацию Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин
"... Удобная для пользователя формальная спецификация и верификация параллельных и распределённых систем ..."
 
Том 22, № 2 (2015) Эффективность доступа к данным в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович Антонов, В. С. Рублев
"... работы пользователей с ней. Для этого разрабатывается комплекс программных средств, необходимых для ..."
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация  PDF (Rus)  похожие документы
А. А. Носков, М. А. Никитинский, И. В. Алексеев
"... пользователям контроллера ПКС, являются одними из наиболее важных аспектов сетевых операционных систем. Данное ..."
 
Том 23, № 2 (2016) Коллективные потоковые вычисления: реляционные модели и алгоритмы Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
"... экспериментах приняли участие как волонтеры из популярных социальных сетей, так и пользователи бирж ..."
 
Том 24, № 6 (2017) Семантически-ориентированная миграция Java-программ: опыт практического применения Аннотация  PDF (Rus)  похожие документы
Артем Олегович Алексюк, Владимир Михайлович Ицыксон
"... извлечения трассы выполнения программ, визуализации моделей библиотек, взаимодействия с пользователем и ..."
 
Том 26, № 1 (2019) Анализ эффективности демультиплексирования транспортных потоков Аннотация  PDF (Rus)  похожие документы
Евгений Павлович Степанов
"... Internet Service Provider (ISP), is not obvious. The question arises, what impact the massive ..."
 
Том 27, № 1 (2020) Параллельный алгоритм решения задачи об изоморфизме графов Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... be disconnected. ‘e question of the existence or absence of an algorithm for solving this problem with polynomial ..."
 
Том 21, № 4 (2014) О нецелочисленных гранях метрического многогранника Аннотация  PDF (Rus)  похожие документы
Владимир Александрович Бондаренко, Андрей Валерьевич Николаев
"... the question of the metric polytope fractional faces cutting off, it is sufficient to consider only constraints ..."
 
Том 20, № 5 (2013) Об одной задаче оптимального управления для нелинейного псевдогиперболического уравнения Аннотация  PDF (Rus)  похожие документы
Турсун Камалдинович Юлдашев
"... In this article, it is considered some questions of approximation solving of an optimal control ..."
 
Том 27, № 3 (2020) О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций Аннотация  PDF (Rus)  похожие документы
Валерий Анатольевич Соколов
"... of these algebras, including the question of the existence of finite bases of identities in these algebras ..."
 
Том 27, № 3 (2020) Обобщение правил вывода для зависимостей соединения в базах данных Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Зыкин
"... . The question of the completeness of the formal system based on the presented rules did not find a positive ..."
 
Том 22, № 2 (2015) Об одной задаче маршрутизации перемещений инструмента при листовой резке деталей Аннотация  PDF (Rus)  похожие документы
Александр Александрович Петунин, Александр Георгиевич Ченцов, Павел Александрович Ченцов
"... realized on CNC machines, questions connected with constructing precise (optimal) and heuristic algorithms ..."
 
Том 23, № 3 (2016) Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками Аннотация  PDF (Rus)  похожие документы
Н. А. Кудряшов, Д. И. Синельщиков
"... with a polynomial source. We study a question about integrability of this family of nonlinear ordinary differential ..."
 
Том 24, № 5 (2017) Бифуркации пространственно неоднородных решений в одной краевой задаче для обобщенного уравнения Курамото–Сивашинского Аннотация  PDF (Rus)  похожие документы
Алина Вадимовна Секацкая
"... that a question about the formation of inhomogeneous surface relief from a mathematical point of view is reduced ..."
 
Том 25, № 1 (2018) Об одной сингулярно возмущенной задаче нелинейной теплопроводности в случае сбалансированной нелинейности Аннотация  PDF (Rus)  похожие документы
Марина Александровна Давыдова, Светлана Александровна Захарова
"... of differential inequalities, the question of the existence of Lyapunov-stable stationary solutions with internal ..."
 
Том 26, № 2 (2019) Анализ возможностей практического использования моделей решеточных газов Аннотация  PDF (Rus)  похожие документы
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин
"... questions about the correctness of the use of discrete models in various flow regimes. The second problem ..."
 
Том 22, № 4 (2015) Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов Аннотация  PDF (Rus)  похожие документы
В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин
"... -works of mobile objects). The emphasis is on the questions of getting effective routing algorithms ..."
 
Том 22, № 5 (2015) Одномодовые и двухмодовые неоднородные диссипативные структуры в нелокальной модели эрозии Аннотация  PDF (Rus)  похожие документы
А. М. Ковалева, Д. А. Куликов
"... obtained for solutions which describe nonhomogeneous undulating surface relief. The question about ..."
 
Том 23, № 5 (2016) Асимптотическое интегрирование одного линейного дифференциального уравнения второго порядка с запаздыванием Аннотация  PDF (Rus)  похожие документы
П. Н. Нестеров
"... . The question of interest is how the behavior of solutions changes qualitatively and quantitatively when ..."
 
Том 26, № 2 (2019) Линейная интерполяция на евклидовом шаре в Rⁿ Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
"... ). To supplement theoretical results we present computational data. We also discuss some other questions concerning ..."
 
1 - 45 из 45 результатов

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

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