Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 26, № 4 (2019) Направляемый свойством поиск реляционных инвариантов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Мордвинов
"... масштабируемый подход к решению систем символьных ограничений, известных как дизъюнкты Хорна с ограничениями ..."
 
Том 20, № 6 (2013) Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... В последние годы такой метод обеспечения качества программного обеспечения (ПО), как ограниченная ..."
 
Том 21, № 6 (2014) Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон
"... снижая сложность анализа. В контексте ограниченной проверки моделей в последнее время начала активно ..."
 
Том 21, № 6 (2014) Использование метода ограниченной проверки моделей для генерации тестов Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... symbolic execution, DSE), выполняемое с помощью автоматического решателя ограничений, например SMT-решателя ..."
 
Том 20, № 2 (2013) Некоторые классы разрешимости задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... Рассматривается задача целочисленного сбалансирования с ограничениями второго рода. В вещественной ..."
 
Том 21, № 4 (2014) Эвристические алгоритмы для задачи целочисленного сбалансирования трехмерной матрицы с ограничениями второго рода Аннотация  PDF (Rus)  похожие документы
Александр Валерьевич Смирнов
"... Рассматривается задача целочисленного сбалансирования с ограничениями второго рода. В вещественной ..."
 
Том 19, № 5 (2012) Исследование стационарных режимов дифференциально-разностного уравнения динамики популяции насекомых Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... Исследуются релаксационные колебания в уравнении первого порядка с двумя запаздываниями. На основе ..."
 
Том 21, № 3 (2014) Импульсный нейрон и нейронный клеточный автомат асимптотически эквивалентны Аннотация  PDF (Rus)  похожие документы
Валерий Дмитриевич Копылов, Ольга Александровна Дунаева, Михаил Леонидович Мячин
"... единичном внешнем воздействии. Во втором разделе описана модель нейронного клеточного автомата с ..."
 
Том 20, № 5 (2013) Особенности колебания решений адиабатических осцилляторов с запаздыванием Аннотация  PDF (Rus)  похожие документы
Павел Николаевич Нестеров, Евгений Николаевич Агафончиков
"... линейных систем с запаздывающим аргументом. Кроме того, изучается динамика изменения зоны параметрического ..."
 
Том 18, № 4 (2011) Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока
"... Предлагается метод тестирования безопасности С программ с использованием широко известного ..."
 
Том 17, № 2 (2010) Релаксационные колебания электрически связанных нейроподобных осцилляторов с запаздыванием Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин
"... Рассматривается система диффузионно связанных нелинейных дифференциально-разностных уравнений с ..."
 
Том 18, № 3 (2011) Основные квазинормальные формы для двухкомпонентных систем параболических уравнений Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
 
Том 20, № 1 (2013) Релаксационные колебания в системе с запаздываниями, моделирующей задачу «хищник–жертва» Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
"... Предложен новый метод асимптотического исследования сложных релаксационных колебаний в системе с ..."
 
Том 23, № 1 (2016) Продолжение решения на границе разрыва как решение задачи усредненной оптимизации Аннотация  PDF (Rus)  похожие документы
А. М. Цирлин
"... Движение объекта, характеризующегося обыкновенными дифференциальными уравнениями (ОДУ) с ..."
 
Том 25, № 6 (2018) Платформенно-независимая спецификация и верификация стандартной математической функции квадратного корня Аннотация  PDF (Rus)  похожие документы
Николай Вячеславович Шилов, Дмитрий Александрович Кондратьев, Игорь Сергеевич Ануреев, Евгений Викторович Бодин, Алексей Владимирович Промский
"... . Инкрементальность означает, что спецификация и верификация начинается с рассмотрения наиболее “простого” случая ..."
 
Том 19, № 3 (2012) Асимптотика решений обобщённого уравнения Хатчинсона Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко
 
Том 19, № 4 (2012) Обобщенные асинхронные системы Аннотация  PDF (Rus)  похожие документы
Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов
"... переходов с отношением независимости можно рассматривать как дистрибутивные асинхронные автоматы ..."
 
Том 19, № 5 (2012) TCP TIPS: транспортный протокол для ненадежных сетей, передающих чувствительные к задержкам данные Аннотация  PDF (Rus)  похожие документы
Анатолий Александрович Сивов
"... способности сети. Этот протокол реализует проактивную схему борьбы с перегрузкой в сети. Использованная схема ..."
 
Том 21, № 1 (2014) Классические и неклассические симметрии нелинейного дифференциального уравнения для описания волн в жидкости с пузырьками газа Аннотация  PDF (Rus)  похожие документы
Николай Алексеевич Кудряшов, Дмитрий Игоревич Синельщиков
"... Рассматривается нелинейное дифференциальное уравнение для описания нелинейных волн в жидкости с ..."
 
Том 20, № 6 (2013) Общие знания в хорошо структурированных системах с абсолютной памятью Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина
"... µPLCn в хорошо структурированных мультиагентных системах с абсолютной памятью. Показано, что среда с ..."
 
Том 20, № 3 (2013) Параметрический резонанс при двухчастотном возмущении в логистическом уравнении с запаздыванием Аннотация  PDF (Rus)  похожие документы
Надежда Дмитриевна Быкова, Сергей Дмитриевич Глызин, Сергей Александрович Кащенко
"... Рассматривается логистическое уравнение с запаздыванием в цепи обратной связи и периодическим ..."
 
Том 26, № 4 (2019) Методы специализации онтологии процессов, ориентированной на верификацию Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина, Игорь Сергеевич Ануреев, Олеся Игнатьевна Боровикова, Владимир Евгеньевич Зюбин
"... верификацию. Мы используем два метода специализации абстрактной онтологии процессов. Декларативный метод с ..."
 
Том 26, № 4 (2019) Особенности вычислительной реализации алгоритма оценки ляпуновских показателей систем с запаздыванием Аннотация  PDF (Rus)  похожие документы
Владимир Евгеньевич Горюнов
"... дифференциальных уравнений с запаздывающими аргументами. Учитывая, что для таких систем, а также для краевых задач ..."
 
Том 16, № 3 (2009) Исправления и дополнения к статье «Поправка к периоду решения уравнения, моделирующего динамику мембранного потенциала Аннотация  PDF (Rus)  похожие документы
О. А. Дунаева, М. Л. Мячин
"... оценка первого порядка точности для периода решения уравнения с запаздыванием, моделирующего ..."
 
Том 16, № 3 (2009) Уточнение периода решения уравнения импульсного нейрона при постоянном внешнем электрическом воздействии Аннотация  PDF (Rus)  похожие документы
К. В. Корнилов
 
Том 16, № 4 (2009) Уточнение оценки латентного периода для нейронов с синаптическим взаимодействием Аннотация  PDF (Rus)  похожие документы
О. А. Дунаева
 
Том 17, № 3 (2010) Локальная динамика уравнения с большим запаздыванием в окрестности автомодельного цикла Аннотация  PDF (Rus)  похожие документы
Д. В. Глазков, С. А. Кащенко
"... Исследуется локальная динамика комплексного дифференциального уравнения с большим запаздыванием в ..."
 
Том 18, № 1 (2011) Релаксационные циклы обобщённого уравнения импульсного нейрона Аннотация  PDF (Rus)  похожие документы
И. В. Парамонов
 
Том 20, № 1 (2013) Об аппроксимируемости обобщенных свободных произведений корневыми классами групп Аннотация  PDF (Rus)  похожие документы
Елена Александровна Туманова
"... -аппроксимируемых групп с одной объединенной подгруппой, являющейся ретрактом в каждом свободном множителе, K ..."
 
Том 23, № 5 (2016) Асимптотическое интегрирование одного линейного дифференциального уравнения второго порядка с запаздыванием Аннотация  PDF (Rus)  похожие документы
П. Н. Нестеров
"... второго порядка с запаздыванием при стремлении независимой переменной к бесконечности. Следует отметить ..."
 
Том 24, № 6 (2017) Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Макаров
"... В работе для одного класса слабо нелинейных систем с зависящими от состояния коэффициентами ..."
 
Том 25, № 1 (2018) Инвариантные характеристики вынужденных колебаний балки с продольным сжатием Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Михаил Владимирович Лоханин, Дмитрий Михайлович Сиротин
"... Рассматриваются колебания упругой балки с продольным сжатием. Такая балка может быть реализована из ..."
 
Том 27, № 3 (2020) Особенности алгоритмической реализации разностных аналогов логистического уравнения с запаздыванием Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Сергей Александрович Кащенко, Анна Олеговна Толбей
"... Логистическое уравнение с запаздыванием или уравнение Хатчинсона представляет собой одно из ..."
 
Том 17, № 4 (2010) Безопасное тестирование симуляции систем с отказами и разрушением Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... . Предлагается теория безопасной симуляции для систем с отказами и разрушением. Обсуждаются вопросы полноты ..."
 
Том 22, № 5 (2015) Анализ локальных бифуркаций для уравнения с запаздыванием, зависящим от искомой функции Аннотация  PDF (Rus)  похожие документы
В. О. Голубенец
"... В работе рассматривается уравнение первого порядка с запаздыванием, зависящим от искомой функции ..."
 
Том 16, № 4 (2009) Циклы и торы деловой активности в одной математической модели макроэкономики Аннотация  PDF (Rus)  похожие документы
Е. С. Кокуйкин, А. Н. Куликов
 
Том 22, № 2 (2015) МП-автоматы с независимыми счётчиками Аннотация  PDF (Rus)  похожие документы
Михаил Иосифович Дехтярь, Борис Николаевич Карлов
"... Магазинные автоматы с независимыми счётчиками (МПНС) объединяют возможности МП-автоматов и сетей ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
 
1 - 38 из 38 результатов

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

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