Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 24, № 2 (2017) Дедубликация в системе резервного копирования с хранением информации в базе данных Аннотация  PDF (Rus)  похожие документы
Сергей Максимович Таранин
"... Prevention of data loss from digital media includes such a process as a backup. It can be done ..."
 
Том 23, № 4 (2016) Резервное копирование с хранением в базе данных Аннотация  PDF (Rus)  похожие документы
С. М. Таранин
"... This paper presents an overview of some technologies that are used in modern backup systems. We ..."
 
Том 18, № 1 (2011) Стратегия выполнения операций копирования и удаления в дереве объектов Аннотация  PDF (Rus)  похожие документы
А. В. Майоров
"... копирования и удаления объектов, не нарушающих логику связей между объектами. ..."
 
Том 27, № 1 (2020) Исследование свойств АГ-кодов как кодов для защиты от копирования Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Денис Владимирович Загуменнов
"... цифровой продукции от несанкционированного копирования. В таких схемах распространитель тиражирует данные ..."
 
Том 21, № 4 (2014) Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... so that providing their isolation, data backup and the most effective usage of available ..."
 
Том 26, № 1 (2019) Распределенная отказоустойчивая платформа управления для программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Василий Николаевич Пашков
"... and recovery. The proactive backup controller allocation algorithm which allows to minimize the time to repair ..."
 
Том 19, № 6 (2012) Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Владимир Михайлович Ицыксон
"... Nowadays most of software contains code duplication that leads to serious problems in software ..."
 
Том 22, № 1 (2015) Использование информационных технологий и инфраструктур для агрегации научной информации. Опыт Канады, Нидерландов, Германии Аннотация  PDF (Rus)  похожие документы
Марат Рамилевич Биктимиров, Владимир Леонидович Глебский, Борис Вячеславович Долгов, Сергей Алексеевич Поликарпов
"... создания национальных инфраструктур хранения и обработки данных научных исследований и их объединения, так ..."
 
Том 20, № 6 (2013) О бутстрэпе для диаграмм и ландшафтов персистентности Аннотация  PDF (Rus)  похожие документы
Фредерик Шазаль, Фази Британи Тереза, Лецци Фабрицио, Риналдо Алессандро, Сингх Аарти, Ларри Вассерман
"... топологических особенностей при изменении масштаба. В данной работе мы используем статистический метод ..."
 
Том 22, № 2 (2015) Кэширование запросов к реляционной базе данных с использованием областей истинности Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Мосин, Сергей Владимирович Зыкин
"... В данной статье предлагается новый метод кэширования запросов к реляционной базе данных для систем ..."
 
Том 22, № 2 (2015) Полнота динамики значений свойств данных в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Петров, Вадим Сергеевич Рублев
"... Данная работа посвящена обоснованию возможности использования объектной СУБД DIM и ее механизма ..."
 
Том 24, № 2 (2017) Анализ типизированных зависимостей включения с неопределенными значениями Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин
"... Неопределенные значения стали актуальной проблемой с момента создания реляционной модели данных ..."
 
Том 17, № 4 (2010) Генерация тестовых данных на основе формального анализа данных конфигурации проекта Аннотация  PDF (Rus)  похожие документы
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын
"... Предлагается метод подготовки тестовых данных, обеспечивающих определенный уровень покрытия ..."
 
Том 19, № 2 (2012) Отношение истории и динамика схем баз данных СУБД DIM Аннотация  PDF (Rus)  похожие документы
Вадим Сергеевич Рублев
"... динамика схем ее баз данных. ..."
 
Том 20, № 4 (2013) Автоматизация формирования табличных приложений Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Зыкин
"... данных. Формализована постановка задачи и представлено описание существующих подходов к формированию ..."
 
Том 30, № 4 (2023) Совместное упрощение пространственных объектов различного типа с сохранением топологических отношений Аннотация  PDF (Rus)  похожие документы
Ольга Павловна Якимова, Дмитрий Михайлович Мурин, Владислав Геннадьевич Горшков
"... ). Первым шагом алгоритма является построение специальной сеточной структуры данных. На ее основе для ..."
 
Том 22, № 2 (2015) Эффективность доступа к данным в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович Антонов, В. С. Рублев
"... эффективности доступа к данным. Описываются особенности объектной СУБД DIM, основанные на использовании ..."
 
Том 23, № 2 (2016) Построение хранилища данных с динамической структурой Аннотация  PDF (Rus)  похожие документы
Ю. Н. Артамонов
"... В данной работе проведен анализ подходов к построению хранилищ данных на основе реляционных и ..."
 
Том 31, № 3 (2024) Матрично-кубитный алгоритм семантического анализа вероятностных данных Аннотация  PDF (Rus)  похожие документы
Илья Алексеевич Суров
"... В статье представлен метод семантического анализа данных посредством комплекснозначного матричного ..."
 
Том 21, № 6 (2014) PolarDB – система создания специализированных NoSQL баз данных и СУБД Аннотация  PDF (Rus)  похожие документы
Александр Гурьевич Марчук
"... Представлена новая система, ориентированная на создание специализированных баз данных и систем ..."
 
Том 20, № 4 (2013) Проектирование и разработка имитационной модели мультиклиентского кластера баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... -разработчиков ПО, так и для конечных пользователей. Однако вместе с этими преимуществами данный переход несет и ..."
 
Том 27, № 3 (2020) Обобщение правил вывода для зависимостей соединения в базах данных Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Зыкин
"... проектировании схемы базы данных, удовлетворяющей требованиям пятой нормальной формы. В предшествующих работах ..."
 
Том 30, № 3 (2023) Обобщенные типизированные зависимости включения с неопределенными значениями в базах данных Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Зыкин
"... В статье рассматривается новый вид зависимостей в базах данных, являющийся обобщением зависимостей ..."
 
Том 31, № 1 (2024) Минимальное покрытие обобщенных типизированных зависимостей включения в базах данных Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Зыкин
"... данных. Обобщенные зависимости включения соответствуют ссылочным ограничениям целостности, когда в одном ..."
 
Том 30, № 2 (2023) Графы сигнальных переходов для схем асинхронного тракта данных Аннотация  похожие документы
Александр Кушнеров, Сергей Быстров
"... отображаются в схемы асинхронной обработки данных. Преимуществом предлагаемого метода является то, что ..."
 
Том 17, № 4 (2010) Проверка моделей распределенных систем с помощью аффинного представления данных Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина
 
Том 27, № 2 (2020) Динамически изменяющийся параллелизм с асинхронно-последовательными потоками данных Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Иван Васильевич Матковский, Мария Сергеевна Ушакова, Дарья Сергеевна Романова
"... взаимодействующих последовательных процессов Т. Хоара применительно к управлению по готовности данных ..."
 
Том 29, № 3 (2022) Тестирование зависимостей и правил вывода в базах данных Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Зыкин
"... условий неизвестен. Во-вторых, при проектировании конкретной базы данных может потребоваться проверка ..."
 
Том 18, № 4 (2011) Оптимизационные процедуры в аффинной проверке моделей Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина
"... Символьная проверка на модели основана на компактном представлении множеств. На данный момент есть ..."
 
Том 18, № 4 (2011) Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев
"... данных. В данной статье предлагается подход к обнаружению ошибок конкурентной модификации данных в ..."
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... представлено расширение данного подхода, которое включает наш метод верификации для финитной итерации над ..."
 
Том 24, № 4 (2017) О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар
"... В данной работе рассматривается архитектура используемых в настоящее время центральных процессоров ..."
 
Том 29, № 1 (2022) Методы преобразования параллелизма в процессе высокоуровневого синтеза СБИС Аннотация  PDF (Rus)  похожие документы
Игорь Николаевич Рыженко, Олег Владимирович Непомнящий, Александр Иванович Легалов, Владимир Викторович Шайдуров
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
"... , доказательство свойств систем и уменьшение плотности ошибок. Приведены недостатки использования данного подхода ..."
 
Том 19, № 4 (2012) О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Юрий Владимирович Косолапов
"... сообщений. Приведено структурное описание модели исследуемой схемы защищенной передачи данных и построена ..."
 
Том 19, № 5 (2012) TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные Аннотация  PDF (Rus)  похожие документы
Анатолий Александрович Сивов
"... позволяет TCP TIPS уступать требуемую долю пропускной способности сети потокам, передающим данные реального ..."
 
Том 21, № 6 (2014) Верификация алгоритмов мультиагентного анализа данных с помощью системы проверки моделей SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Евгений Викторович Бодин, Елена Анатольевна Сидорова
"... В статье представлен подход к формальной верификации алгоритмов мультиагентного анализа данных для ..."
 
Том 26, № 1 (2019) Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов
"... подход в обработке и управлении потоков данных в КС за счет разделения плоскости управления и передачи ..."
 
Том 22, № 2 (2015) Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар, Виталий Игоревич Петров, Каролина Дмитриевна Борунова, Дмитрий Александрович Молчанов, Евгений Андреевич Кучерявый
"... основе предлагаемого решения лежит организация надежного обмена данными между кешем третьего уровня и ..."
 
Том 30, № 3 (2023) Логика для суждений об ошибках в циклах над последовательностями данных (IFIL) Аннотация  похожие документы
Дмитрий Александрович Кондратьев
"... Separation Logic и Outcome Logic, были недавно предложены для решения данной задачи. Но у данных логик ..."
 
Том 26, № 1 (2019) Иерархические периферийные вычисления Аннотация  PDF (Rus)  похожие документы
Руслан Леонидович Смелянский
 
Том 26, № 2 (2019) На пути к SD-WAN решению Аннотация  похожие документы
Станислав Валентинович Корсаков, Валерий Анатольевич Соколов
 
Том 18, № 4 (2011) Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов
"... информатике всех уровней. В университетах этот курс обязательно включает изучение структур данных, методы ..."
 
Том 17, № 3 (2010) Язык объектных запросов динамической информационной модели DIM Аннотация  PDF (Rus)  похожие документы
В. С. Рублев
"... Рассматривается задача разработки объектного языка манипулирования данными для новой объектной ..."
 
Том 19, № 6 (2012) Новое доказательство формулы Эйлера Аннотация  PDF (Rus)  похожие документы
Михаил Иванович Штогрин
"... Дано новое доказательство формулы Эйлера для замкнутого выпуклого многогранника, расположенного в ..."
 
Том 22, № 3 (2015) ПЕРЕХОД К ХАОСУ В КОМПЛЕКСНОМ УРАВНЕНИИ ГИНЗБУРГА–ЛАНДАУ С БОЛЬШОЙ ДИСПЕРСИЕЙ ТРЕТЬЕГО ПОРЯДКА Аннотация  похожие документы
И. И. Овсянников, Д. В. Тураев, С. В. Зелик
"... Дано аналитическое доказательство существования шильниковского хаоса в комплексном уравнении ..."
 
Том 13, № 1 (2006) Формула для ляпуновской величины задачи о конкурентной борьбе Аннотация  PDF (Rus)  похожие документы
А. Д. Пендюр, Д. А. Пендюр
"... Продолжается начатое ранее рассмотрение данной задачи; приводится вывод упомянутой в названии ..."
 
Том 19, № 4 (2012) Счетные идеалы в полурешетке Dе степеней Аннотация  PDF (Rus)  похожие документы
Валерий Валерьевич Тихов
"... главных идеалов, порожденных квазиминимальными накрывающими данного идеала. ..."
 
Том 21, № 6 (2014) Поддержка эволюции визуальных языков в платформе QReal Аннотация  PDF (Rus)  похожие документы
Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин
"... изменений в языке, модели на данном языке могут перестать соответствовать новой метамодели языка, что ведет ..."
 
Том 16, № 4 (2009) Пространственно-неоднородные периодические решения в распределенном уравнении Хатчинсона Аннотация  PDF (Rus)  похожие документы
Д. С. Глызин, С. А. Кащенко, А. С. Полстьянов
"... распределенного уравнения Хатчинсона с периодическими краевыми условиями. Показано, что данные режимы наблюдаются ..."
 
Том 18, № 2 (2011) Разбиение железнодорожного состава на отдельные вагоны Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Малков, Геннадий Павлович Штерн, Иван Александрович Михайлов
"... алгоритма, предназначенного для решения данной задачи. Входными данными для него служит фильм, в котором ..."
 
Том 30, № 4 (2023) Извлечение именованных сущностей из русскоязычных документов с различной выраженностью структуры Аннотация  PDF (Rus)  похожие документы
Мария Дмитриевна Аверина, Ольга Александровна Леванова
"... Данная работа посвящена решению задачи распознавания именованных сущностей для русскоязычных ..."
 
Том 14, № 2 (2007) SR-группы порядка 2npm с диэдральной 2-силовской подгруппой Аннотация  PDF (Rus)  похожие документы
В. В. Янишевский
"... подгруппы Фраттини. Доказано, что если такая группа несверхразрешима, то p - простое число Мерсеннa и данная ..."
 
Том 14, № 2 (2007) Бифуркация Андронова - Хопфа для релейных систем Аннотация  PDF (Rus)  похожие документы
О. А. Чернышева
"... сформулировать общий критерий орбитальной экспоненциальной устойчивости цикла. Данная теорема используется, в ..."
 
Том 23, № 3 (2016) Робастная оценка погрешности в сингулярно возмущённых задачах четвертого порядка Аннотация  похожие документы
С. Франц, Р. Х.-Г.
"... нормах и сбалансированных нормах. Данная работа является сокращенной версией [4]. ..."
 
Том 24, № 5 (2017) Семейство негрубых циклов в системе двух связанных генераторов с запаздыванием Аннотация  PDF (Rus)  похожие документы
Александра Андреевна Кащенко
"... В данной работе рассматривается нелокальная динамика модели двух связанных генераторов с ..."
 
Том 13, № 1 (2006) Бифуркация плоских волн обобщенного кубического уравнения Шредингера в цилиндрической области Аннотация  PDF (Rus)  похожие документы
Д. А. Куликов
"... В данной работе рассматривается вопрос о существовании и устойчивости автомодельных волн ..."
 
Том 25, № 2 (2018) Измерение накладных расходов на параллелизм и виртуальную память Аннотация  похожие документы
Евгений Иванович Клименков
"... В данной статье представляется методология и результаты измерений и оценки накладных расходов ..."
 
Том 19, № 6 (2012) Дедуктивная верификация протокола скользящего окна Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий
"... передачу данных по ненадёжным каналам. Формальное доказательство корректности этого протокола требует ..."
 
Том 23, № 3 (2016) Численное решение одной сингулярно возму- щённой задачи в круговой области Аннотация  похожие документы
А. Ф. Хегарти, Ю. О’Риордан
"... эксперименты, иллюстрирующие эффективность данного численного метода в случае, когда эти ограничения не ..."
 
Том 32, № 2 (2025) Обнаружение прямоугольных импульсных помех на вихретоковых дефектограммах рельсов Аннотация  PDF (Rus)  похожие документы
Леонид Юрьевич Быстров, Артемий Николаевич Гладков, Егор Владимирович Кузьмин
"... контроля рельсов является вихретоковая дефектоскопия. Данные (дефектограммы), получаемые от вихретоковых ..."
 
Том 22, № 5 (2015) Одномодовые и двухмодовые неоднородные диссипативные структуры в нелокальной модели эрозии Аннотация  PDF (Rus)  похожие документы
А. М. Ковалева, Д. А. Куликов
"... пространственным аргументом в случае, когда отклонение мало. Данное уравнение называют пространственно нелокальным ..."
 
Том 22, № 6 (2015) Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight Аннотация  PDF (Rus)  похожие документы
А. А. Носков, М. А. Никитинский, И. В. Алексеев
"... Традиционная архитектура сети передачи данных является негибкой и сложной. Данное обстоятельство ..."
 
Том 29, № 4 (2022) Анализ академической успеваемости студентов с использованием журналов событий электронной образовательной среды Аннотация  PDF (Rus)  похожие документы
Никита Денисович Шаимов, Ирина Александровна Ломазова, Алексей Александрович Мицюк, Илья Юрьевич Самоненко
"... , совместной работы. Такие среды производят большое количество данных о поведении учащихся и преподавателей в ..."
 
Том 28, № 4 (2021) На пути к автоматической дедуктивной верификации C-программ с Sisal-циклами в системе C-lightVer Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев
"... верификации C-программ. C-kernel является промежуточным языком верификации в данной системе. Система облачного ..."
 
Том 26, № 1 (2019) Построение бортовых сетей реального времени на основе технологии ПКС Аннотация  PDF (Rus)  похожие документы
Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова
"... сети AFDX и FC-AE-ASM-RT, реализующие основанный на виртуальных каналах подход к передаче данных в ..."
 
Том 23, № 2 (2016) Коллективные потоковые вычисления: реляционные модели и алгоритмы Аннотация  PDF (Rus)  похожие документы
Д. А. Усталов
"... анализа неструктурированных данных. Разрабатываются специализированные методики, состоящие из множества ..."
 
Том 25, № 2 (2018) Организация мультиконтроллерного взаимодействия в программно-конфигурируемых сетях Аннотация  похожие документы
Сергей Владимирович Моржов, Игорь Вадимович Алексеев, Михаил Александрович Никитинский
"... повышения производительности уровень управления сетью отделен от уровня передачи данных и реализуется ..."
 
Том 21, № 6 (2014) Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон
"... формул. В данной статье предлагается подход к аппроксимации функций, основанный на интерполяции Крейга ..."
 
Том 21, № 5 (2014) Графический язык DPMine для автоматизации экспериментов в области автоматического построения и анализа процессов Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич Шершаков
"... актуальной задачей в области извлечения процессов. В данной работе представлен язык DPMine, разработанный ..."
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
"... данной работе представлен новый подход к повышению точности анализа путем исполнения программной модели в ..."
 
Том 23, № 6 (2016) Динамика системы из двух простейших автогенераторов с нелинейными финитными обратными связями Аннотация  PDF (Rus)  похожие документы
А. А. Кащенко
"... В данной работе рассматривается сингулярно возмущенная система двух дифференциальных уравнений с ..."
 
Том 24, № 6 (2017) Элиминация инвариантов финитных итераций над массивами при верификации Си программ Аннотация  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев
"... Данная работа представляет дальнейшее развитие метода верификации финитной итерации [7]. Он ..."
 
Том 25, № 4 (2018) Эффективный алгоритм определения уровня полезных сигналов при расшифровке магнитных и вихретоковых дефектограмм Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Олег Евгеньевич Горбунов, Петр Олегович Плотников, Вадим Александрович Тюкин
"... данных (дефектограмм), которые поступают от соответствующего оборудования. Под анализом понимается ..."
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
"... концепцию данных. Приводятся оценки размера сетей Петри, полученных в результате трансляции. Свойства ..."
 
1 - 75 из 320 результатов 1 2 3 4 5 > >> 

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

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