Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 18, № 4 (2011) Верификация Си-программ: объяснение условий корректности и стандартная библиотека Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Промский
 
Том 21, № 6 (2014) Разработка самоприменимой системы верификации. Теория и практика Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
 
Том 26, № 4 (2019) Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
 
Том 20, № 6 (2013) Автоматическая верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
 
Том 18, № 4 (2011) Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев
 
Том 24, № 1 (2017) Перераспределение, производство и неравенство Аннотация  похожие документы
Алексей Владимирович Захаров, Владимир Евгеньевич Захаров
 
Том 25, № 3 (2018) Об алгоритме расщепления носителя для индуцированных кодов Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов, Алексей Николаевич Шигаев
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
 
Том 19, № 2 (2012) Двойственность Гейла и смежностность случайных многогранников. I Аннотация  PDF (Rus)  похожие документы
Алексей Германович Бродский
 
Том 19, № 4 (2012) Двойственность Гейла и смежностность случайных многогранников. II Аннотация  PDF (Rus)  похожие документы
Алексей Германович Бродский
 
Том 20, № 2 (2013) Единая модель для геоклассификации веб-сайтов Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Волков
 
Том 20, № 1 (2013) О финитной аппроксимируемости некоторых обобщенных свободных произведений разрешимых групп конечного ранга Аннотация  PDF (Rus)  похожие документы
Алексей Вячеславович Розов
 
Том 21, № 4 (2014) Устойчивость в задаче поиска минимального разреза в графе Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Козлов
 
Том 20, № 4 (2013) Автоматизация формирования табличных приложений Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Зыкин
 
Том 26, № 2 (2019) Об обнаружении атак типа повторного использования исполнимого кода Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов
 
Том 18, № 2 (2011) О тензорных квадратах неприводимых представлений конечных почти простых групп. II Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Поляков
 
Том 22, № 1 (2015) Локальная динамика уравнения второго порядка с большим экспоненциально распределенным запаздыванием и существенным трением Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович Глазков
 
Том 27, № 1 (2020) Современные методы детектирования и классификации токсичных комментариев с использованием нейронных сетей Аннотация  PDF (Rus)  похожие документы
Сeргей Владимирович Моржов
 
Том 27, № 2 (2020) Об обнаружении эксплуатации уязвимостей, приводящей к запуску вредоносного кода Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов
 
Том 22, № 2 (2015) Кэширование запросов к реляционной базе данных с использованием областей истинности Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Мосин, Сергей Владимирович Зыкин
 
Том 19, № 5 (2012) Автоколебания решеток нелинейных элементов в опыте Скотта Аннотация  PDF (Rus)  похожие документы
Алексей Станиславович Бобок, Сергей Дмитриевич Глызин
 
Том 21, № 4 (2014) Клеточно-локальный алгоритм выделения и оценки изменений на бинарных изображениях Аннотация  PDF (Rus)  похожие документы
Алексей Абрамович Короткин, Александр Андреевич Максимов
 
Том 21, № 4 (2014) Синтез моделей процессов по журналам событий с шумом Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Иван Сергеевич Шугуров
 
Том 26, № 2 (2019) Система распределения ключей на дизайнах Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Алексей Александрович Таран
 
Том 26, № 2 (2019) Линейная интерполяция на евклидовом шаре в Rⁿ Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
 
Том 22, № 2 (2015) Полнота динамики значений свойств данных в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Петров, Вадим Сергеевич Рублев
 
Том 24, № 1 (2017) Новые оценки числовых величин, связанных с симплексом Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
 
Том 24, № 3 (2017) Решения уравнений нестационарного фронта реакции с вырожденными точками равновесия Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Быков, Кристина Евгениевна Ермакова
 
Том 24, № 4 (2017) Исследование одной марковской модели угроз безопасности компьютерных систем Аннотация  PDF (Rus)  похожие документы
Алексей Анатольевич Магазев, Валерия Федоровна Цырульник
 
Том 24, № 5 (2017) Об n-мерных симплексах, удовлетворяющих включениям S ⊂ [0, 1] n ⊂ nS Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
 
Том 25, № 1 (2018) О минимальном коэффициенте поглощения для n-мерного симплекса Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
 
Том 25, № 3 (2018) Oб оптимальной интерполяции линейными функциями на n-мерном кубе Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
 
Том 27, № 1 (2020) К вопросу об оценках распределения длин путей между узлами в глобальной сети Аннотация  PDF (Rus)  похожие документы
Александра Игоревна Кононова, Алексей Владиславович Городилов
 
Том 20, № 6 (2013) Международная конференция “Геометрия, топология и и приложения” Аннотация  PDF (Rus)  похожие документы
Алексей Гарбер, Герберт Эдельсбруннер, Александр Иванов, Олег Мусин, Михаил Невский
 
Том 20, № 5 (2013) Экстремальная динамика системы трех однонаправленно связанных сингулярно возмущенных уравнений из нейродинамики Аннотация  PDF (Rus)  похожие документы
Алексей Станиславович Бобок, Сергей Дмитриевич Глызин, Андрей Юрьевич Колесов
 
Том 18, № 3 (2011) Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры Аннотация  PDF (Rus)  похожие документы
Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов
 
Том 18, № 2 (2011) Разбиение железнодорожного состава на отдельные вагоны Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Малков, Геннадий Павлович Штерн, Иван Александрович Михайлов
 
Том 27, № 2 (2020) Метод совместной кластеризации в графовом и корреляционном пространствах Аннотация  PDF (Rus)  похожие документы
Анастасия Наильевна Гайнуллина, Анатолий Абрамович Шалыто, Алексей Александрович Сергушичев
 
Том 27, № 1 (2020) Марковская модель совместных киберугроз и ее применение для выбора оптимального набора средств защиты информации Аннотация  PDF (Rus)  похожие документы
Адиль Аскарович Касенов, Алексей Анатольевич Магазев, Валерия Федоровна Цырульник
 
Том 19, № 2 (2012) Уравнение кинетики измельчения с произвольным законом распределения времени ожидания Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Королев, Донат Олегович Бытев
 
Том 19, № 2 (2012) Предельная степень апериодической устойчивости линейных систем и выбор параметров промышленных регуляторов Аннотация  PDF (Rus)  похожие документы
Александр Владимирович Татаринов, Анатолий Михайлович Цирлин
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 19, № 4 (2012) О стойкости кодового зашумления к статистическому анализу наблюдаемых данных многократного повторения Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Юрий Владимирович Косолапов
 
Том 19, № 5 (2012) Моделирование счетчиковых машин двухголовочными автоматами Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 19, № 5 (2012) Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools Аннотация  PDF (Rus)  похожие документы
Леонид Владимирович Дворянский, Ирина Александровна Ломазова
 
Том 21, № 1 (2014) Локальная динамика логистического уравнения, содержащего запаздывание Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Алешин, Сергей Александрович Кащенко
 
Том 20, № 5 (2013) Оценка числа решетчатых разбиений плоскости на полимино заданной площади Аннотация  PDF (Rus)  похожие документы
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина
 
Том 26, № 1 (2019) Эффективный алгоритм разрешения коллизий в правилах политики безопасности Аннотация  PDF (Rus)  похожие документы
Сeргей Владимирович Моржов, Валерий Анатольевич Соколов
 
Том 26, № 3 (2019) Об автоматическом анализе практической стойкости обфусцирующих преобразований Аннотация  PDF (Rus)  похожие документы
Петр Дмитриевич Борисов, Юрий Владимирович Косолапов
 
Том 20, № 2 (2013) Моделирование, спецификация и построение программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 20, № 2 (2013) Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов Аннотация  PDF (Rus)  похожие документы
Вильгельм Александрович Битнер, Никита Владимирович Заборовский
 
Том 22, № 2 (2015) Эффективность доступа к данным в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович Антонов, В. С. Рублев
 
Том 22, № 2 (2015) Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади Аннотация  PDF (Rus)  похожие документы
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина
 
Том 24, № 2 (2017) Анализ типизированных зависимостей включения с неопределенными значениями Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин
 
Том 25, № 2 (2018) Коды в диэдральной групповой алгебре Аннотация  PDF (Rus)  похожие документы
Кирилл Владимирович Веденёв, Владимир Михайлович Деундяк
 
Том 25, № 3 (2018) Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight Аннотация  похожие документы
Сергей Владимирович Моржов, Михаил Александрович Никитинский
 
Том 25, № 5 (2018) Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий
 
Том 27, № 1 (2020) Исследование свойств АГ-кодов как кодов для защиты от копирования Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Денис Владимирович Загуменнов
 
Том 21, № 6 (2014) Программный комплекс для анализа и визуализации графов Аннотация  PDF (Rus)  похожие документы
Максим Игоревич Коломейченко, Алексей Андреевич Золотых, Игорь Викторович Поляков, Андрей Михайлович Чеповский
 
Том 19, № 6 (2012) Применение методов фрактальной и вычислительной геометрии для картографической генерализации линейных объектов Аннотация  PDF (Rus)  похожие документы
Олег Рустумович Мусин, Алексей Юрьевич Ухалов, Герберт Эдельсбруннер, Ольга Павловна Якимова
 
Том 24, № 4 (2017) Использование журналов событий для локальной корректировки моделей процессов Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст
 
Том 25, № 4 (2018) Русскоязычные тезаурусы: автоматизированное построение и применение в задачах обработки текстов на естественном языке Аннотация  PDF (Rus)  похожие документы
Надежда Станиславовна Лагутина, Ксения Владимировна Лагутина, Алексей Сергеевич Адрианов, Илья Вячеславович Парамонов
 
Том 21, № 4 (2014) Моделирование согласованного поведения ПЛК-датчиков Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов
 
Том 21, № 2 (2014) Построение IL-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
 
Том 20, № 4 (2013) Построение и верификация ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
 
Том 26, № 2 (2019) Анализ возможностей практического использования моделей решеточных газов Аннотация  PDF (Rus)  похожие документы
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин
 
Том 22, № 2 (2015) Уравнение Колмогорова–Петровского–Пискунова с запаздыванием Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Алешин, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко
 
Том 24, № 2 (2017) Декодирование тензорного произведения MLD-кодов и приложения к кодовым криптосистемам Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Юрий Владимирович Косолапов, Евгений Андреевич Лелюк
 
Том 24, № 6 (2017) Элиминация инвариантов финитных итераций над массивами при верификации Си программ Аннотация  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев
 
Том 25, № 1 (2018) Инвариантные характеристики вынужденных колебаний балки с продольным сжатием Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Михаил Владимирович Лоханин, Дмитрий Михайлович Сиротин
 
Том 25, № 1 (2018) Особенности локальной динамики модели оптико-электронного осциллятора с запаздыванием Аннотация  PDF (Rus)  похожие документы
Елена Викторовна Григорьева, Сергей Александрович Кащенко, Дмитрий Владимирович Глазков
 
Том 25, № 2 (2018) Организация мультиконтроллерного взаимодействия в программно-конфигурируемых сетях Аннотация  похожие документы
Сергей Владимирович Моржов, Игорь Вадимович Алексеев, Михаил Александрович Никитинский
 
1 - 75 из 81 результатов 1 2 > >> 

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

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