Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 22, № 2 (2015) Эффективность доступа к данным в СУБД DIM Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович Антонов, В. С. Рублев
 
Том 22, № 1 (2015) Локальная динамика уравнения второго порядка с большим экспоненциально распределенным запаздыванием и существенным трением Аннотация  PDF (Rus)  похожие документы
Дмитрий Владимирович Глазков
 
Том 21, № 6 (2014) Разработка самоприменимой системы верификации. Теория и практика Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
 
Том 26, № 4 (2019) Комплексный подход системы C-lightVer к автоматизированной локализации ошибок в C-программах Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
 
Том 25, № 5 (2018) Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий
 
Том 20, № 6 (2013) Автоматическая верификация C-программ на основе смешанной аксиоматической семантики Аннотация  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)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
 
Том 24, № 6 (2017) Элиминация инвариантов финитных итераций над массивами при верификации Си программ Аннотация  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев
 
Том 25, № 1 (2018) Инвариантные характеристики вынужденных колебаний балки с продольным сжатием Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Михаил Владимирович Лоханин, Дмитрий Михайлович Сиротин
 
Том 25, № 1 (2018) Особенности локальной динамики модели оптико-электронного осциллятора с запаздыванием Аннотация  PDF (Rus)  похожие документы
Елена Викторовна Григорьева, Сергей Александрович Кащенко, Дмитрий Владимирович Глазков
 
Том 19, № 6 (2012) Как разработать простое средство верификации систем реального времени Аннотация  PDF (Rus)  похожие документы
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
 
Том 19, № 6 (2012) Полиэдральные графы задач РАЗБИЕНИЕ НА ТРЕУГОЛЬНИКИ и ПОЛНЫЙ ДВУДОЛЬНЫЙ ПОДГРАФ Аннотация  PDF (Rus)  похожие документы
Анатолий Игоревич Антонов, Владимир Александрович Бондаренко
 
Том 19, № 3 (2012) Динамика простейших кусочно-линейных разрывных отображений Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Кащенко
 
Том 19, № 3 (2012) О порядке роста числа инъективных и сверхрастущих рюкзачных векторов Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Мурин
 
Том 21, № 2 (2014) Быстрое умножение матрицы с большим мультипликативным порядком на вектор над конечным полем Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Иванов
 
Том 21, № 2 (2014) Некоторые аппроксимационные свойства групп конечного ранга Аннотация  PDF (Rus)  похожие документы
Дмитрий Николаевич Азаров
 
Том 19, № 6 (2012) Верификация вычислительных решеток с особыми краевыми условиями бесконечными сетями Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Зайцев
 
Том 18, № 4 (2011) Ингибиторная сеть Петри, выполняющая произвольный заданный нормальный алгорифм Маркова Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Зайцев
 
Том 26, № 4 (2019) Направляемый свойством поиск реляционных инвариантов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Мордвинов
 
Том 20, № 1 (2013) О почти аппроксимируемости конечными p-группами групп Баумслага — Солитэра Аннотация  PDF (Rus)  похожие документы
Дмитрий Николаевич Азаров
 
Том 22, № 2 (2015) Аппроксимационные свойства нильпотентных групп Аннотация  PDF (Rus)  похожие документы
Дмитрий Николаевич Азаров
 
Том 24, № 6 (2017) Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Макаров
 
Том 21, № 4 (2014) Устойчивость в задаче поиска минимального разреза в графе Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Козлов
 
Том 20, № 4 (2013) Автоматизация формирования табличных приложений Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Зыкин
 
Том 18, № 4 (2011) Верификация Си-программ: объяснение условий корректности и стандартная библиотека Аннотация  PDF (Rus)  похожие документы
Алексей Владимирович Промский
 
Том 26, № 2 (2019) Об обнаружении атак типа повторного использования исполнимого кода Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов
 
Том 18, № 2 (2011) О тензорных квадратах неприводимых представлений конечных почти простых групп. II Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Поляков
 
Том 27, № 1 (2020) Современные методы детектирования и классификации токсичных комментариев с использованием нейронных сетей Аннотация  PDF (Rus)  похожие документы
Сeргей Владимирович Моржов
 
Том 27, № 2 (2020) Об обнаружении эксплуатации уязвимостей, приводящей к запуску вредоносного кода Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов
 
Том 22, № 2 (2015) Кэширование запросов к реляционной базе данных с использованием областей истинности Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович Мосин, Сергей Владимирович Зыкин
 
Том 25, № 4 (2018) Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров Аннотация  PDF (Rus)  похожие документы
Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов
 
Том 25, № 4 (2018) О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» Аннотация  PDF (Rus)  похожие документы
Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый
 
Том 19, № 4 (2012) Сравнительный анализ производительности транспортных протоколов Trickles и TCP в условиях высокой нагрузки на коммуникационную сеть Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Никитинский, Дмитрий Юрьевич Чалый
 
Том 19, № 5 (2012) Динамика комплексного пространственно-распределенного уравнения Хатчинсона Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Глызин, Сергей Александрович Кащенко
 
Том 19, № 5 (2012) Формирование волнового нанорельефа при распылении поверхности ионной бомбардировкой. Нелокальная модель эрозии Аннотация  PDF (Rus)  похожие документы
Дмитрий Анатольевич Куликов, Александр Степанович Рудый
 
Том 21, № 1 (2014) Классические и неклассические симметрии нелинейного дифференциального уравнения для описания волн в жидкости с пузырьками газа Аннотация  PDF (Rus)  похожие документы
Николай Алексеевич Кудряшов, Дмитрий Игоревич Синельщиков
 
Том 21, № 1 (2014) Уравнения движения твердого тела с двумя упругими стержнями Аннотация  PDF (Rus)  похожие документы
Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин
 
Том 19, № 6 (2012) Дедуктивная верификация протокола скользящего окна Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий
 
Том 26, № 2 (2019) К вопросу использования «полезных» задач для обеспечения работой блокчейн систем Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Мурин, Владимир Николаевич Князев
 
Том 22, № 2 (2015) Исследование устойчивости решений начально-краевой задачи, моделирующей динамику одной дискретно-континуальной механической системы Аннотация  PDF (Rus)  похожие документы
Дмитрий Андреевич Елисеев, Евгений Павлович Кубышкин
 
Том 24, № 6 (2017) Семантические средства обеспечения безопасности в программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Дмитрий Юрьевич Чалый
 
Том 25, № 1 (2018) Уравнение Курамото–Сивашинского. Локальный аттрактор, заполненный неустойчивыми периодическими решениями Аннотация  PDF (Rus)  похожие документы
Анатолий Николаевич Куликов, Дмитрий Анатольевич Куликов
 
Том 18, № 4 (2011) Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий
 
Том 18, № 2 (2011) Об одном представлении функции в модели императивной программы, заданной сетями Петри Аннотация  PDF (Rus)  похожие документы
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков
 
Том 22, № 1 (2015) О нулях некоторых характеристических квазиполиномов Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Глызин, Евгений Павлович Кубышкин, Алёна Романовна Морякова
 
Том 24, № 3 (2017) Построение динамически адаптированной сетки для эффективного численного решения сингулярно возмущенного уравнения типа реакция-адвекция-диффузия Аннотация  похожие документы
Дмитрий Витальевич Лукьяненко, Владимир Тарасович Волков, Николай Николаевич Нефедов
 
Том 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)  похожие документы
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина
 
Том 18, № 4 (2011) Автоматическое обнаружение ошибок конкурентной модификации данных в моделях на языке SystemC Аннотация  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) Оценка числа решетчатых разбиений плоскости на центрально-симметричные полимино заданной площади Аннотация  PDF (Rus)  похожие документы
Антон Владимирович Шутов, Екатерина Викторовна Коломейкина
 
Том 24, № 1 (2017) Перераспределение, производство и неравенство Аннотация  похожие документы
Алексей Владимирович Захаров, Владимир Евгеньевич Захаров
 
Том 24, № 2 (2017) Анализ типизированных зависимостей включения с неопределенными значениями Аннотация  PDF (Rus)  похожие документы
Владимир Сергеевич Зыкин, Сергей Владимирович Зыкин
 
Том 25, № 2 (2018) Коды в диэдральной групповой алгебре Аннотация  PDF (Rus)  похожие документы
Кирилл Владимирович Веденёв, Владимир Михайлович Деундяк
 
Том 25, № 3 (2018) Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight Аннотация  похожие документы
Сергей Владимирович Моржов, Михаил Александрович Никитинский
 
Том 25, № 3 (2018) Об алгоритме расщепления носителя для индуцированных кодов Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов, Алексей Николаевич Шигаев
 
Том 27, № 1 (2020) Исследование свойств АГ-кодов как кодов для защиты от копирования Аннотация  PDF (Rus)  похожие документы
Владимир Михайлович Деундяк, Денис Владимирович Загуменнов
 
Том 21, № 4 (2014) Транслятор с возможностью статического анализа безопасности информационных потоков для простого языка программирования Аннотация  PDF (Rus)  похожие документы
Екатерина Юрьевна Антошина, Александра Николаевна Баракова, Евгений Сергеевич Никитин, Дмитрий Юрьевич Чалый
 
Том 26, № 1 (2019) Визуальная веб-ориентированная среда динамического управления потоками данных в кампусных программно-конфигурируемых сетях Аннотация  PDF (Rus)  похожие документы
Вячеслав Петрович Корячко, Дмитрий Александрович Перепелкин, Мария Александровна Иванчикова, Владимир Сергеевич Бышов
 
Том 22, № 2 (2015) Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар, Виталий Игоревич Петров, Каролина Дмитриевна Борунова, Дмитрий Александрович Молчанов, Евгений Андреевич Кучерявый
 
Том 26, № 2 (2019) Анализ возможностей практического использования моделей решеточных газов Аннотация  PDF (Rus)  похожие документы
Сергей Петрович Бобков, Анастасия Сергеевна Чернявская, Владимир Владимирович Шергин
 
1 - 75 из 84 результатов 1 2 > >> 

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

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