Preview

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

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

Информация о разделе


Оригинальные статьи

 
Выпуск Название
 
Том 20, № 4 (2013) Исследование ортогональности сигналов с вращением вектора поляризации Аннотация   PDF (Rus)
Юрий Евгеньевич Боровков, Александр Николаевич Кренев, Виктор Николаевич Муравьев, Александр Прокофьевич Омельчук
 
Том 20, № 4 (2013) Программно-конфигурируемые сети как этап эволюции сетевых технологий Аннотация   PDF (Rus)
Артем Александрович Красотин, Игорь Вадимович Алексеев
 
Том 20, № 4 (2013) Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний Аннотация   PDF (Rus)
Владимир Николаевич Бойков, Владимир Евгеньевич Захаров, Мария Сергеевна Каряева, Валерий Анатольевич Соколов
 
Том 20, № 4 (2013) Проектирование и разработка имитационной модели мультиклиентского кластера баз данных Аннотация   PDF (Rus)
Евгений Александрович Бойцов
 
Том 20, № 3 (2013) Параметрический резонанс в гармоническом осцилляторе с переменной частотой собственных колебаний Аннотация   PDF (Rus)
Павел Николаевич Нестеров
 
Том 20, № 3 (2013) Пространственные особенности высокомодовых бифуркаций в распределенном логистическом уравнении Аннотация   PDF (Rus)
Илья Сергеевич Кащенко
 
Том 20, № 3 (2013) Диффузионный хаос в задаче «реакция–диффузия» c гантелеобразной областью определения пространственной переменной Аннотация   PDF (Rus)
Сергей Дмитриевич Глызин, Павел Леонидович Шокин
 
Том 20, № 3 (2013) Самоорганизация, сети, будущее Аннотация   PDF (Rus)
Георгий Геннадьевич Малинецкий, Татьяна Сергеевна Ахромеева, Сергей Александрович Посашков, Светлана Аркадьевна Торопыгина
 
Том 20, № 3 (2013) Об одной задаче для симплекса и куба в Rⁿ Аннотация   PDF (Rus)
Михаил Викторович Невский
 
Том 20, № 3 (2013) Параметрический резонанс при двухчастотном возмущении в логистическом уравнении с запаздыванием Аннотация   PDF (Rus)
Надежда Дмитриевна Быкова, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко
 
Том 20, № 3 (2013) Семейства гладких рациональных кривых малой степени на многообразиях Фано степени 5 основной серии Аннотация   PDF (Rus)
Мария Сергеевна Омелькова
 
Том 20, № 3 (2013) Применение нечеткой классификации для гибридных линейных методов прогнозирования Аннотация   PDF (Rus)
Андрей Сергеевич Таскин, Евгений Моисеевич Миркес, Наталья Юрьевна Сиротинина
 
Том 20, № 3 (2013) Оптимальные квадратурные формулы приближенного вычисления криволинейного интеграла первого рода для некоторых классов функций и кривых Аннотация   PDF (Rus)
Камаридин Тухлиев
 
Том 20, № 3 (2013) Преобразования задач оптимального управления Аннотация   PDF (Rus)
Анатолий Михайлович Цирлин
 
Том 20, № 2 (2013) Группы гомологий сети Петри конвейера Аннотация   PDF (Rus)
Ахмет Аксанович Хусаинов, Елена Сергеевна Бушмелева, Таисия Александровна Тришина
 
Том 20, № 2 (2013) Моделирование, спецификация и построение программ логических контроллеров Аннотация   PDF (Rus)
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 20, № 2 (2013) Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. II Аннотация   PDF (Rus)
Мария Валентиновна Бутузова
 
Том 20, № 2 (2013) Технологии и алгоритмы для создания дополненной реальности Аннотация   PDF (Rus)
Иван Александрович Благовещенский, Николай Андреевич Демьянков
 
Том 20, № 2 (2013) Об эффективном моделировании неограниченного ресурса при помощи односчетчиковых контуров Аннотация   PDF (Rus)
Владимир Анатольевич Башкин
 
Том 20, № 2 (2013) О поворотах цифровых изображений Аннотация   PDF (Rus)
Павел Геннадьевич Парфенов
 
Том 20, № 2 (2013) Построение универсального линеаризованного графа потока управления для использования в статическом анализе кода алгоритмов Аннотация   PDF (Rus)
Вильгельм Александрович Битнер, Никита Владимирович Заборовский
 
Том 20, № 2 (2013) Алгоритм эффективного оценивания энтропии Аннотация   PDF (Rus)   PDF (Eng)
Евгений Александрович Тимофеев
 
Том 20, № 2 (2013) Ассоциативный параллельный алгоритм для динамической обработки дерева кратчайших путей Аннотация   PDF (Rus)
Анна Шмилевна Непомнящая
 
Том 20, № 2 (2013) Алгоритм оценки параметров авторегрессионной модели элементарных речевых единиц Аннотация   PDF (Rus)
Иван Вадимович Губочкин
 
Том 20, № 2 (2013) Мультиагентная задача о роботах в пространстве: сложностнóй, информационный и криптографический аспекты Аннотация   PDF (Rus)
Антон Юрьевич Бернштейн, Николай Вячеславович Шилов
 
Том 20, № 2 (2013) Некоторые классы разрешимости задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода Аннотация   PDF (Rus)
Александр Валерьевич Смирнов
 
Том 20, № 2 (2013) Построение модели для извлечения оценочной лексики в различных предметных областях Аннотация   PDF (Rus)
Наталья Валентиновна Лукашевич, Илья Игоревич Четвёркин
 
Том 20, № 2 (2013) Единая модель для геоклассификации веб-сайтов Аннотация   PDF (Rus)
Алексей Николаевич Волков
 
Том 20, № 1 (2013) Об аппроксимируемости обобщенных свободных произведений корневыми классами групп Аннотация   PDF (Rus)
Елена Александровна Туманова
 
Том 20, № 1 (2013) Изгибания равносторонних многоугольников с сохранением индекса Аннотация   PDF (Rus)
Екатерина Сергеевна Запутряева
 
Том 20, № 1 (2013) О работе НОЦ «Нелинейная динамика» Аннотация   PDF (Rus)
Статья Редакционная
 
Том 20, № 1 (2013) Асимптотика решения бисингулярной задачи для системы линейных параболических уравнений. I Аннотация   PDF (Rus)
Мария Валентиновна Бутузова
 
Том 20, № 1 (2013) Квазинормальные формы для уравнений Лэнга–Кобаяши с большим коэффициентом управления Аннотация   PDF (Rus)
Елена Викторовна Григорьева, Илья Сергеевич Кащенко, Сергей Александрович Кащенко
 
Том 20, № 1 (2013) Размерностные характеристики диффузионного хаоса Аннотация   PDF (Rus)
Сергей Дмитриевич Глызин
 
Том 20, № 1 (2013) Релаксационные колебания в системе с запаздываниями, моделирующей задачу «хищник–жертва» Аннотация   PDF (Rus)
Сергей Александрович Кащенко
 
Том 20, № 1 (2013) Влияние деформации области на поведение решений распределенной кинетической системы Аннотация   PDF (Rus)
Евгений Павлович Кубышкин
 
Том 20, № 1 (2013) Несмещенная оценка энтропии для бинарных потоков Аннотация   PDF (Rus)
Евгений Александрович Тимофеев
 
Том 20, № 1 (2013) О почти аппроксимируемости конечными p-группами групп Баумслага — Солитэра Аннотация   PDF (Rus)
Дмитрий Николаевич Азаров
 
Том 20, № 1 (2013) О финитной аппроксимируемости некоторых обобщенных свободных произведений разрешимых групп конечного ранга Аннотация   PDF (Rus)
Алексей Вячеславович Розов
 
Том 18, № 4 (2011) От редакторов специального выпуска Подробности
В. А. Непомнящий, В. А. Соколов
 
Том 18, № 4 (2011) Типовые примеры использования языка Atoment Аннотация   PDF (Rus)
Игорь Сергеевич Ануреев
 
Том 18, № 4 (2011) Атрибутные аннотации и их применение в дедуктивной верификации C-программ Аннотация   PDF (Rus)
Михаил Михайлович Атучин, Игорь Сергеевич Ануреев
 
Том 18, № 4 (2011) Построение приближений бисимуляции в односчетчиковых сетях Аннотация   PDF (Rus)
Владимир Анатольевич Башкин
 
Том 18, № 4 (2011) Статический анализ с использованием систем типов и эффектов на основе LLVM Аннотация   PDF (Rus)
Михаил Анатольевич Беляев, Вадим Александрович Цесько
 
Том 18, № 4 (2011) Оптимизационные процедуры в аффинной проверке моделей Аннотация   PDF (Rus)
Наталья Олеговна Гаранина
 
Том 18, № 4 (2011) Использование зависимостей для повышения точности статического анализа программ Аннотация   PDF (Rus)
Михаил Игоревич Глухих, Владимир Михайлович Ицыксон, Вадим Александрович Цесько
 
Том 18, № 4 (2011) Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова Аннотация   PDF (Rus)
Дмитрий Анатольевич Зайцев
 
Том 18, № 4 (2011) Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC Аннотация   PDF (Rus)
Алексей Владимирович Захаров, Михаил Юрьевич Моисеев
 
Том 18, № 4 (2011) Простой алгоритм решения задачи покрытия для монотонных счетчиковых систем Аннотация   PDF (Rus)
Андрей Валентинович Климов
 
Том 18, № 4 (2011) Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов Аннотация   PDF (Rus)
Сергей Николаевич Баранов, Всеволод Павлович Котляров
 
Том 18, № 4 (2011) Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN Аннотация   PDF (Rus)
Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока
 
Том 18, № 4 (2011) Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри Аннотация   PDF (Rus)
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий
 
Том 18, № 4 (2011) Верификация Си-программ: объяснение условий корректности и стандартная библиотека Аннотация   PDF (Rus)
Алексей Владимирович Промский
 
Том 18, № 4 (2011) Верификация шаблонов алгоритмов для метода отката и метода ветвей и границ Аннотация   PDF (Rus)
Николай Вячеславович Шилов
 
Том 18, № 3 (2011) Об асимптотике критических решений систем дифференциальных уравнений с колебательно убывающими коэффициентами Аннотация   PDF (Rus)
Павел Николаевич Нестеров
 
Том 18, № 3 (2011) Локальная динамика уравнения с длительным экспоненциально распределенным запаздыванием Аннотация   PDF (Rus)
Илья Сергеевич Кащенко
 
Том 18, № 3 (2011) Об операторах дифференцирования и интегрирования Аннотация   PDF (Rus)
Анатолий Николаевич Морозов
 
Том 18, № 3 (2011) Устойчивость бегущих волн в уравнении Гинзбурга-Ландау с малой диффузией Аннотация   PDF (Rus)
Александра Андреевна Кащенко
 
Том 18, № 3 (2011) О двух конечномерных аппроксимациях периодической краевой задачи Аннотация   PDF (Rus)
Николай Андреевич Демьянков
 
Том 18, № 3 (2011) Предельные возможности передачи информации в макросистемах Аннотация   PDF (Rus)
Сергей Анатольевич Амелькин, Ольга Сергеевна Иванова
 
Том 18, № 3 (2011) Гиперграфы специального вида и анализ свойств релаксаций разрезного многогранника Аннотация   PDF (Rus)
Андрей Валерьевич Николаев
 
Том 18, № 3 (2011) Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры Аннотация   PDF (Rus)
Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов
 
Том 18, № 3 (2011) Модульная модель мультимедийного документа и особенности ее программной реализации Аннотация   PDF (Rus)
Владислав Игоревич Январев
 
Том 18, № 3 (2011) Оптимизация конъюнктов условий в составе запросов Аннотация   PDF (Rus)
Сергей Дмитриевич Кузнецов, Никита Андреевич Мендкович
 
Том 18, № 3 (2011) О гипотезе Лассака для выпуклого тела Аннотация   PDF (Rus)
Михаил Викторович Невский
 
Том 18, № 3 (2011) Основные квазинормальные формы для двухкомпонентных систем параболических уравнений Аннотация   PDF (Rus)
Сергей Александрович Кащенко
 
Том 18, № 2 (2011) О тензорных квадратах неприводимых представлений конечных почти простых групп. II Аннотация   PDF (Rus)
Сергей Владимирович Поляков
 
Том 18, № 2 (2011) Об одном представлении функции в модели императивной программы, заданной сетями Петри Аннотация   PDF (Rus)
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков
 
Том 18, № 2 (2011) Организация выполнения объектных запросов в динамической информационной модели DIM Аннотация   PDF (Rus)
Вадим Сергеевич Рублев
 
Том 18, № 2 (2011) О геометрических характеристиках n-мерного симплекса Аннотация   PDF (Rus)
Михаил Викторович Невский
 
Том 18, № 2 (2011) Принципы построения слоистых нейронных сетей на основе импульсных нейронов Аннотация   PDF (Rus)
Ольга Александровна Дунаева
 
Том 18, № 2 (2011) Разбиение железнодорожного состава на отдельные вагоны Аннотация   PDF (Rus)
Алексей Николаевич Малков, Геннадий Павлович Штерн, Иван Александрович Михайлов
 
Том 18, № 2 (2011) Задача о роботах на Марсе (мультиагентный подход к задаче Дейкстры) Аннотация   PDF (Rus)
Евгений Викторович Бодин, Наталья Олеговна Гаранина, Николай Вячеславович Шилов
 
Том 18, № 2 (2011) Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. Аннотация   PDF (Rus)
Анатолий Александрович Сивов
 
Том 18, № 1 (2011) Динамика слабого взаимодействия в системе близких видов Аннотация   PDF (Rus)
Е. В. Горчакова
 
301 - 375 из 602 результатов << < 1 2 3 4 5 6 7 8 9 > >>