Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 18, № 4 (2011) Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов
"... информатике всех уровней. В университетах этот курс обязательно включает изучение структур данных, методы ..."
 
Том 19, № 2 (2012) Отношение истории и динамика схем баз данных СУБД DIM Аннотация  PDF (Rus)  похожие документы
Вадим Сергеевич Рублев
"... Рассматривается задача динамики типов для новой объектной СУБД DIM [1, 2] и связанная с ней ..."
 
Том 20, № 6 (2013) Правильные полигональные комплексы высших рангов в E³ Аннотация  PDF (Rus)  похожие документы
Шульте Эйгон
 
Том 21, № 6 (2014) Инструментальная поддержка встроенных языков в интегрированных средах разработки Аннотация  PDF (Rus)  похожие документы
Семен Вячеславович Григорьев, Екатерина Андреевна Вербицкая, Марина Игоревна Полубелова, Андрей Васильевич Иванов, Екатерина Валерьевна Мавчун
"... как базы данных или веб-браузеры. Большинство языков программирования общего назначения могут играть ..."
 
Том 18, № 4 (2011) Использование зависимостей для повышения точности статического анализа программ Аннотация  PDF (Rus)  похожие документы
Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько
"... анализа. Рассмотрены причины, ведущие к снижению точности абстрактной интерпретации при обнаружении ..."
 
Том 16, № 3 (2009) О множестве достижимости автоматных трехсчетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... Доказывается, что существуют абстрактные счетчиковые машины, принадлежащие классу автоматных ..."
 
Том 17, № 1 (2010) О множестве достижимости автоматных счетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
 
Том 17, № 2 (2010) О языках автоматных счетчиковых машин Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. Ю. Чалый
"... абстрактным семейством языков со всеми выте¬кающими из этого свойствами. Более того, класс АСМ-языков замкнут ..."
 
Том 24, № 2 (2017) Дедубликация в системе резервного копирования с хранением информации в базе данных Аннотация  PDF (Rus)  похожие документы
Сергей Максимович Таранин
"... Профилактика потери данных с цифровых носителей включает такой процесс, как резервное копирование ..."
 
Том 22, № 1 (2015) Использование информационных технологий и инфраструктур для агрегации научной информации. Опыт Канады, Нидерландов, Германии Аннотация  PDF (Rus)  похожие документы
Марат Рамилевич Биктимиров, Владимир Леонидович Глебский, Борис Вячеславович Долгов, Сергей Алексеевич Поликарпов
"... создания национальных инфраструктур хранения и обработки данных научных исследований и их объединения, так ..."
 
Том 17, № 4 (2010) Интеграция семантических верификаторов в компиляторы языка Java Аннотация  PDF (Rus)  похожие документы
А. В. Клепинин, А. А. Мелентьев
"... расширений данных сред. Разработанный метод демонстрируется на некоторых примерах верификации программ. ..."
 
Том 23, № 4 (2016) Резервное копирование с хранением в базе данных Аннотация  PDF (Rus)  похожие документы
С. М. Таранин
"... В данной работе представлен обзор некоторых технологий, которые используются в современных ..."
 
Том 20, № 6 (2013) Определение области типа параллелоэдра Аннотация  PDF (Rus)  похожие документы
Вячеслав Петрович Гришухин
"... векторами p и правыми частями α(p). Для фиксированного множества векторов p определяется область типа D(P ..."
 
Том 21, № 4 (2014) Применение стохастических метаэвристик в задаче управления данными в мультиклиентском кластере баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... Мультиклиентский кластер баз данных – это концепция хранилища данных для облачных приложений с ..."
 
Том 20, № 6 (2013) О бутстрэпе для диаграмм и ландшафтов персистентности Аннотация  PDF (Rus)  похожие документы
Фредерик Шазаль, Фази Британи Тереза, Лецци Фабрицио, Риналдо Алессандро, Сингх Аарти, Ларри Вассерман
"... топологических особенностей при изменении масштаба. В данной работе мы используем статистический метод ..."
 
Том 22, № 2 (2015) Кэширование запросов к реляционной базе данных с использованием областей истинности Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Мосин, Сергей Владимирович Зыкин
"... В данной статье предлагается новый метод кэширования запросов к реляционной базе данных для систем ..."
 
Том 22, № 2 (2015) Полнота динамики значений свойств данных в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Петров, Вадим Сергеевич Рублев
"... Данная работа посвящена обоснованию возможности использования объектной СУБД DIM и ее механизма ..."
 
Том 24, № 2 (2017) Анализ типизированных зависимостей включения с неопределенными значениями Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин
"... Неопределенные значения стали актуальной проблемой с момента создания реляционной модели данных ..."
 
Том 20, № 4 (2013) Автоматизация формирования табличных приложений Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Зыкин
"... данных. Формализована постановка задачи и представлено описание существующих подходов к формированию ..."
 
Том 19, № 3 (2012) Локальная динамика трех осцилляторов со связью вещательного типа Аннотация  PDF (Rus)  похожие документы
Анна Олеговна Толбей
"... возможных вариантов связи — связь вещательного типа, возникающая при моделировании нейросетей. ..."
 
Том 21, № 6 (2014) PolarDB – система создания специализированных NoSQL баз данных и СУБД Аннотация  PDF (Rus)  похожие документы
Александр Гурьевич Марчук
"... Представлена новая система, ориентированная на создание специализированных баз данных и систем ..."
 
Том 20, № 4 (2013) Проектирование и разработка имитационной модели мультиклиентского кластера баз данных Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Бойцов
"... -разработчиков ПО, так и для конечных пользователей. Однако вместе с этими преимуществами данный переход несет и ..."
 
Том 23, № 2 (2016) Построение хранилища данных с динамической структурой Аннотация  PDF (Rus)  похожие документы
Ю. Н. Артамонов
"... В данной работе проведен анализ подходов к построению хранилищ данных на основе реляционных и ..."
 
Том 27, № 3 (2020) Обобщение правил вывода для зависимостей соединения в базах данных Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Зыкин
"... проектировании схемы базы данных, удовлетворяющей требованиям пятой нормальной формы. В предшествующих работах ..."
 
Том 24, № 3 (2017) О контрастных структурах с многозонным внутренним слоем Аннотация  PDF (Rus)  похожие документы
Валентин Фёдорович Бутузов
"... типа  ступеньки  (КСТС)  и контрастной структурой типа всплеска (КСТВ). В каждом случае построено ..."
 
Том 18, № 4 (2011) Оптимизационные процедуры в аффинной проверке моделей Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина
"... Символьная проверка на модели основана на компактном представлении множеств. На данный момент есть ..."
 
Том 18, № 4 (2011) Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев
"... содержать ошибки синхронизации. Одним из типов ошибок синхронизации являются ошибки конкурентной модификации ..."
 
Том 17, № 4 (2010) Генерация тестовых данных на основе формального анализа данных конфигурации проекта Аннотация  PDF (Rus)  похожие документы
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын
"... Предлагается метод подготовки тестовых данных, обеспечивающих определенный уровень покрытия ..."
 
Том 18, № 1 (2011) Стратегия выполнения операций копирования и удаления в дереве объектов Аннотация  PDF (Rus)  похожие документы
А. В. Майоров
"... типы связей, объясняется их роль в организации объектов. Рассматриваются принципы выполнения операций ..."
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... представлено расширение данного подхода, которое включает наш метод верификации для финитной итерации над ..."
 
Том 24, № 4 (2017) О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар
"... . Зависимости скоростей передачи данных от типа теста представлены в виде столбиковых диаграмм для трех ..."
 
Том 22, № 6 (2015) Особенности применения модельно-ориентированного подхода при разработке промышленных приложений Аннотация  PDF (Rus)  похожие документы
П. Д. Дробинцев, В. П. Котляров, Н. В. Воинов, И. В. Никифоров
"... управления, так и по потоку данных. Представлены шаги по преобразованию абстрактных структур данных (в том ..."
 
Том 21, № 3 (2014) Об одной оптимальной кубатурной формуле для классов функций, задаваемых модулями непрерывности Аннотация  PDF (Rus)  похожие документы
Мирганд Шабозович Шабозов
"... в число узлов формулы (1) добавить все граничные узлы (такие формулы называются формулами типа ..."
 
Том 18, № 4 (2011) Статический анализ с использованием систем типов и эффектов на основе LLVM Аннотация  PDF (Rus)  похожие документы
Михаил Анатольевич Беляев, Вадим Александрович Цесько
"... данного средства является использование систем типов и эффектов для статического анализа реальных программ ..."
 
Том 24, № 1 (2017) Об асимптотике решений гармонического осциллятора с интегральным возмущением Аннотация  PDF (Rus)  похожие документы
Павел Николаевич Нестеров
"... вырожденным. Данное обстоятельство позволяет свести исходное интегро-дифференциальное уравнение к системе ..."
 
Том 23, № 5 (2016) Сингулярно возмущенная эллиптическая задача Дирихле с кратным корнем вырожденного уравнения Аннотация  PDF (Rus)  похожие документы
В. Ф. Бутузов, В. А. Белошапко
 
Том 24, № 3 (2017) Cингулярно возмущенная эллиптическая задача Дирихле с трехзонным пограничным слоем Аннотация  PDF (Rus)  похожие документы
Вера Александровна Белошапко
 
Том 27, № 1 (2020) Алгоритм ветвей и границ для задачи коммивояжера не является алгоритмом прямого типа Аннотация  PDF (Rus)  похожие документы
Александр Николаевич Максименко
"... В настоящей работе рассматривается понятие линейного разделяющего алгоритма прямого типа, введенное ..."
 
Том 26, № 1 (2019) Иерархические периферийные вычисления Аннотация  PDF (Rus)  похожие документы
Руслан Леонидович Смелянский
 
Том 26, № 2 (2019) На пути к SD-WAN решению Аннотация  похожие документы
Станислав Валентинович Корсаков, Валерий Анатольевич Соколов
 
1 - 40 из 40 результатов

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

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