Preview

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

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

Поиск


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

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

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