Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 19, № 6 (2012) Дедуктивная верификация протокола скользящего окна Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Шкляев, Валерий Александрович Непомнящий
 
Том 25, № 5 (2018) Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий
 
Том 21, № 6 (2014) Анализ и верификация MSC-диаграмм распределённых систем с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Сергей Анатольевич Черненок, Валерий Александрович Непомнящий
 
Том 24, № 6 (2017) Элиминация инвариантов финитных итераций над массивами при верификации Си программ Аннотация  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев
 
Том 18, № 4 (2011) Верификация телекоммуникационных систем, специфицированных взаимодействующими конечными автоматами, с помощью раскрашенных сетей Петри Аннотация  PDF (Rus)  похожие документы
Дмитрий Михайлович Белоглазов, Михаил Юрьевич Машуков, Валерий Александрович Непомнящий
 
Том 20, № 6 (2013) Автоматическая верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Алексей Владимирович Промский, Дмитрий Александрович Кондратьев
 
Том 21, № 1 (2014) Асимптотика установившихся режимов конечно-разностных аппроксимаций логистического уравнения с запаздыванием и с малой диффузией Аннотация  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)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
 
Том 21, № 6 (2014) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, В. А. Соколов
 
Том 17, № 4 (2010) От редакторов специального выпуска  похожие документы
В. А. Непомнящий, В. А. Соколов
 
Том 18, № 4 (2011) От редакторов специального выпуска  похожие документы
В. А. Непомнящий, В. А. Соколов
 
Том 19, № 6 (2012) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
 
Том 20, № 6 (2013) От редакторов специального выпуска Аннотация  PDF (Rus)  похожие документы
С. Д. Глызин, В. А. Непомнящий, В. А. Соколов
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
 
Том 17, № 3 (2010) Верификация C-программ на основе смешанной аксиоматической семантики Аннотация  PDF (Rus)  похожие документы
И. С. Ануреев, И. В. Марьясов, В. А. Непомнящий
 
Том 23, № 6 (2016) Применение раскрашенных сетей Петри для верификации конструкций управления сценариями языка UCM Аннотация  PDF (Rus)  похожие документы
Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко
 
Том 19, № 4 (2012) Счетные идеалы в полурешетке Dе степеней Аннотация  PDF (Rus)  похожие документы
Валерий Валерьевич Тихов
 
Том 19, № 4 (2012) Об одном вопросе А.И. Мальцева из "Коуровской тетради" Аннотация  PDF (Rus)  похожие документы
Валерий Георгиевич Дурнев
 
Том 26, № 1 (2019) От главного редактора Аннотация  PDF (Rus)  похожие документы
Валерий Анатольевич Соколов
 
Том 19, № 4 (2012) Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева
 
Том 25, № 5 (2018) Полипрограммы и бисимуляция полипрограмм Аннотация  похожие документы
Сергей Александрович Гречаник
 
Том 17, № 4 (2010) Верификация C-программ в мультиязыковой системе СПЕКТР Аннотация  PDF (Rus)  похожие документы
В. А. Непомнящий, И. С. Ануреев, М. М. Атучин, И. В. Марьясов, А. А. Петров, А. В. Промский
 
Том 25, № 4 (2018) О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains» Аннотация  PDF (Rus)  похожие документы
Валерий Георгиевич Дурнев, Дмитрий Михайлович Мурин, Валерий Анатольевич Соколов, Дмитрий Юрьевич Чалый
 
Том 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)  похожие документы
Евгений Александрович Тимофеев
 
Том 26, № 4 (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)  похожие документы
Сергей Александрович Кащенко
 
Том 24, № 6 (2017) Синтез управления и наблюдателя для слабо нелинейных систем на основе техники псевдолинеаризации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Макаров
 
Том 27, № 1 (2020) Об одном разбиении отрезка, применяемом для оценки энтропии Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 19, № 5 (2012) Моделирование счетчиковых машин двухголовочными автоматами Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 19, № 3 (2012) О неглавных идеалах в полурешетке степеней перечислимости Аннотация  PDF (Rus)  похожие документы
Борис Яковлевич Солон, Валерий Валерьевич Тихов
 
Том 19, № 5 (2012) О неглавных идеалах в полурешетке степеней перечислимости Аннотация  PDF (Rus)  похожие документы
Борис Яковлевич Солон, Валерий Валерьевич Тихов
 
Том 26, № 1 (2019) Эффективный алгоритм разрешения коллизий в правилах политики безопасности Аннотация  PDF (Rus)  похожие документы
Сeргей Владимирович Моржов, Валерий Анатольевич Соколов
 
Том 26, № 2 (2019) На пути к SD-WAN решению Аннотация  похожие документы
Станислав Валентинович Корсаков, Валерий Анатольевич Соколов
 
Том 20, № 2 (2013) Моделирование, спецификация и построение программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
 
Том 25, № 5 (2018) О методах верификации и разработки программ развития сельскохозяйственных территорий Аннотация  PDF (Rus)  похожие документы
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов
 
Том 25, № 4 (2018) Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров Аннотация  PDF (Rus)  похожие документы
Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов
 
Том 25, № 5 (2018) Представление универсальных гиперграфических автоматов автономными выходными сигналами Аннотация  похожие документы
Екатерина Владимировна Хворостухина, Владимир Александрович Молчанов
 
Том 21, № 3 (2014) Импульсный нейрон и нейронный клеточный автомат асимптотически эквивалентны Аннотация  PDF (Rus)  похожие документы
Валерий Дмитриевич Копылов, Ольга Александровна Дунаева, Михаил Леонидович Мячин
 
Том 26, № 1 (2019) Построение бортовых сетей реального времени на основе технологии ПКС Аннотация  PDF (Rus)  похожие документы
Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова
 
Том 25, № 6 (2018) Векторное представление слов с семантическими отношениями: экспериментальные наблюдения Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Каряева, Павел Исаакович Браславский, Валерий Анатольевич Соколов
 
Том 22, № 2 (2015) Об одной задаче маршрутизации перемещений инструмента при листовой резке деталей Аннотация  PDF (Rus)  похожие документы
Александр Александрович Петунин, Александр Георгиевич Ченцов, Павел Александрович Ченцов
 
Том 20, № 4 (2013) Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний Аннотация  PDF (Rus)  похожие документы
Владимир Николаевич Бойков, Владимир Евгеньевич Захаров, Мария Сергеевна Каряева, Валерий Анатольевич Соколов
 
Том 19, № 1 (2012) Асимптотика периодических решений автономных параболических уравнений с быстро осциллирующими коэффициентами и уравнений с большими коэффициентами диффузии Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко, Артем Сергеевич Полстьянов
 
Том 19, № 1 (2012) Динамика уравнения Курамото с пространственно-распределенным управлением Аннотация  PDF (Rus)  похожие документы
Илья Сергеевич Кащенко, Сергей Александрович Кащенко
 
Том 19, № 3 (2012) Пакеты импульсов в системе взаимодействующих осцилляторов с запаздыванием и их статистическая обработка Аннотация  PDF (Rus)  похожие документы
Сергей Дмитриевич Глызин, Елена Александрович Марушкина
 
Том 19, № 4 (2012) Об одной нестационарной задаче маршрутизации с ограничениями Аннотация  PDF (Rus)  похожие документы
Александр Георгиевич Ченцов, Павел Александрович Ченцов
 
Том 19, № 4 (2012) Сравнительный анализ производительности транспортных протоколов Trickles и TCP в условиях высокой нагрузки на коммуникационную сеть Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Никитинский, Дмитрий Юрьевич Чалый
 
Том 19, № 5 (2012) Динамика комплексного пространственно-распределенного уравнения Хатчинсона Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Глызин, Сергей Александрович Кащенко
 
Том 21, № 6 (2014) Разработка самоприменимой системы верификации. Теория и практика Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
 
Том 21, № 6 (2014) Поддержка эволюции визуальных языков в платформе QReal Аннотация  PDF (Rus)  похожие документы
Татьяна Юрьевна Агапова, Тимофей Александрович Брыксин
 
1 - 75 из 120 результатов 1 2 > >> 

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

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