Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 19, № 5 (2012) Автоколебания решеток нелинейных элементов в опыте Скотта Аннотация  PDF (Rus)  похожие документы
Алексей Станиславович Бобок, Сергей Дмитриевич Глызин
"... Bifurcation analysis of dynamic system modeling the array of coupled ocillators in the experience ..."
 
Том 24, № 6 (2017) Элиминация инвариантов финитных итераций над массивами при верификации Си программ Аннотация  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев
"... . This extension includes a verification method for definite iteration over unchangeable arrays with a loop exit ..."
 
Том 25, № 5 (2018) Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий
"... over changeable arrays possibly with loop exit in C-light programs. The method contains the inference ..."
 
Том 25, № 5 (2018) Этюд об устранении рекурсии Аннотация  похожие документы
Николай Вячеславович Шилов
 
Том 27, № 1 (2020) Об одном разбиении отрезка, применяемом для оценки энтропии Аннотация  PDF (Rus)  похожие документы
Евгений Александрович Тимофеев
"... Let (Q_n) be a partition of the interval ([0,1]) defines as ( begin{array}{l} Q_1 ={0,q^2,q ..."
 
Том 24, № 6 (2017) Семантически-ориентированная миграция Java-программ: опыт практического применения Аннотация  PDF (Rus)  похожие документы
Артем Олегович Алексюк, Владимир Михайлович Ицыксон
 
Том 22, № 1 (2015) Использование информационных технологий и инфраструктур для агрегации научной информации. Опыт Канады, Нидерландов, Германии Аннотация  PDF (Rus)  похожие документы
Марат Рамилевич Биктимиров, Владимир Леонидович Глебский, Борис Вячеславович Долгов, Сергей Алексеевич Поликарпов
"... В работе анализируется опыт создания и использования информационных технологий и инфраструктур для ..."
 
Том 21, № 1 (2014) Асимптотика установившихся режимов конечно-разностных аппроксимаций логистического уравнения с запаздыванием и с малой диффузией Аннотация  PDF (Rus)  похожие документы
Сергей Александрович Кащенко, Валерий Евгеньевич Фролов
"... with special asymptotic methods. It is shown that there is a rich array of different types of attractors ..."
 
Том 18, № 3 (2011) Динамическое программирование в обобщенной задаче курьера с внутренними работами: элементы параллельной структуры Аннотация  PDF (Rus)  похожие документы
Алексей Михайлович Григорьев, Евгений Евгеньевич Иванко, Александр Георгиевич Ченцов
"... conditions and works inside the megapolises. The scheme for constructing a reduced (partial) array of Bellman ..."
 
Том 22, № 2 (2015) Об одной задаче маршрутизации перемещений инструмента при листовой резке деталей Аннотация  PDF (Rus)  похожие документы
Александр Александрович Петунин, Александр Георгиевич Ченцов, Павел Александрович Ченцов
"... array of the Bellman function values (this function is replaced by the layers system). ..."
 
Том 25, № 3 (2018) Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight Аннотация  похожие документы
Сергей Владимирович Моржов, Михаил Александрович Никитинский
"... , which are stored as a two-dimensional array. Thus, the operation of adding a new rule is the most time ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... опыт программирования на классических языках Си и FORTRAN для ускорения вычислений, избегая конфликтов ..."
 
Том 26, № 1 (2019) «Общие критерии» и безопасность программно-конфигурируемых сетей Аннотация  PDF (Rus)  похожие документы
Андрей Николаевич Петухов, Павел Львович Пилюгин
"... критериев оценки безопасности SDN и практического опыта Московского технического университета связи и ..."
 
1 - 13 из 13 результатов

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

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