Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 21, № 4 (2014) Исследование примитивных схем программ с процедурами Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко
"... и проблема построения полной системы эквивалентных преобразований схем программ. Среди ..."
 
Том 21, № 4 (2014) Разрешимость эквивалентности в двухпараметрических перегородчатых моделях программ Аннотация  PDF (Rus)  похожие документы
Андрей Эрикович Молчанов
"... самих программ на их образах – схемах программ. Для моделей программ с процедурами, в которых оба ..."
 
Том 21, № 2 (2014) Разрешимость эквивалентности в перегородчатых моделях программ Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко, Андрей Эрикович Молчанов
"... самих программ на их образах–схемах программ. Для моделей программ с процедурами формулируются проблемы ..."
 
Том 19, № 5 (2012) О теории алгебраических моделей программ с процедурами Аннотация  PDF (Rus)  похожие документы
Римма Ивановна Подловченко, Андрей Эрикович Молчанов
"... самих программ на их образах - схемах программ. Излагаются концепции, лежащие в основе построения теории ..."
 
Том 25, № 5 (2018) Полипрограммы и бисимуляция полипрограмм Аннотация  похожие документы
Сергей Александрович Гречаник
"... функции. Подобные объекты возникают в различных системах преобразования программ, таких как система ..."
 
Том 19, № 4 (2012) Преобразование хвостовых рекурсий в функционально-потоковых параллельных программах Аннотация  PDF (Rus)  похожие документы
Александр Иванович Легалов, Олег Владимирович Непомнящий, Иван Васильевич Матковский, Мария Сергеевна Кропачева
"... Анализируются особенности преобразования функционально-потоковых параллельных программ в программы ..."
 
Том 25, № 5 (2018) Этюд об устранении рекурсии Аннотация  похожие документы
Николай Вячеславович Шилов
"... Трансформационный подход к верификации программ был очень популярной темой исследований в первые ..."
 
Том 20, № 3 (2013) Преобразования задач оптимального управления Аннотация  PDF (Rus)  похожие документы
Анатолий Михайлович Цирлин
"... Рассмотрены методы преобразования вариационных задач оптимального управления (замены фазовых ..."
 
Том 19, № 2 (2012) Mодули стабильных пучков ранга 2 с классами Черна c1 = -1, c2 = 2, c3 = 0 на трехмерной квадрике Аннотация  PDF (Rus)  похожие документы
Артем Дмитриевич Уваров
"... Рассматривается схема MQ( 2;-1; 2; 0 ) модулей стабильных пучков ранга 2 без кручения с классами ..."
 
Том 20, № 3 (2013) Семейства гладких рациональных кривых малой степени на многообразиях Фано степени 5 основной серии Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Омелькова
"... степени d − 1 и прямую, пересекающиеся трансверсально в одной точке. Доказывается, что схема Гильберта ..."
 
Том 26, № 3 (2019) Сравнение диффеоморфных изображений на основе формирования персистентных гомологий Аннотация  PDF (Rus)  похожие документы
Сергей Николаевич Чуканов
"... изображений инвариантных к преобразованиям вращения, сдвига и подобия. ..."
 
Том 22, № 5 (2015) Асимптотика моментов сингулярной функции Лебега Аннотация  PDF (Rus)  похожие документы
Е. А. Tимофеев
 
Том 23, № 1 (2016) Асимптотика моментов функции Такаги Аннотация  PDF (Rus)  похожие документы
Е. А. Tимофеев
 
Том 23, № 2 (2016) Асимптотика моментов симметричной свертки Бернулли Аннотация  похожие документы
Е. А. Tимофеев
 
Том 23, № 3 (2016) Аналитические решения нелинейного уравнения конвекции–диффузии с нелинейными источниками Аннотация  PDF (Rus)  похожие документы
Н. А. Кудряшов, Д. И. Синельщиков
"... преобразований, обобщающих преобразования Зундмана. Показано, что в стационарном случае без учета конвекции общее ..."
 
Том 23, № 5 (2016) Полилогарифмы и асимптотика моментов сингулярной функции Лебега Аннотация  PDF (Rus)  похожие документы
Е. А. Tимофеев
"... pi ik}{ln 2}, kne 0. $$ Доказательство основано на применении пуассонизации и преобразования ..."
 
Том 19, № 2 (2012) Отношение истории и динамика схем баз данных СУБД DIM Аннотация  PDF (Rus)  похожие документы
Вадим Сергеевич Рублев
"... динамика схем ее баз данных. ..."
 
Том 24, № 6 (2017) Семантически-ориентированная миграция Java-программ: опыт практического применения Аннотация  PDF (Rus)  похожие документы
Артем Олегович Алексюк, Владимир Михайлович Ицыксон
"... Данная статья посвящена разработке процедуры автоматизированной миграции Java-программ на новый ..."
 
Том 22, № 6 (2015) Формальная диагонализация схем Лакса–Дарбу Аннотация  PDF (Rus)  похожие документы
А. В. Михайлов
"... формальное преобразование, которое одновременно диагонализует все элементы схемы Лакса–Дарбу. Это приводит ..."
 
Том 23, № 5 (2016) Компьютерная разностная схема для сингулярно возмущенного параболического уравнения реакции-диффузии при наличии компьютерных возмущений Аннотация  PDF (Rus)  похожие документы
Г. И. Шишкин
"... задачи исследуется стандартная разностная схема, построенная на основе монотонных сеточных аппроксимаций ..."
 
Том 25, № 5 (2018) О методах верификации и разработки программ развития сельскохозяйственных территорий Аннотация  PDF (Rus)  похожие документы
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов
"... верификации программ развития сельскохозяйственных территорий сначала строится структурная схема программы, по ..."
 
Том 24, № 4 (2017) Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов Аннотация  PDF (Rus)  похожие документы
Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов
"... нормальная система символьных преобразований, позволяющая, с одной стороны, делать учащемуся любые символьные ..."
 
Том 25, № 1 (2018) О переносе ряда понятий статистической радиофизики в теорию одномерных точечных отображений Аннотация  PDF (Rus)  похожие документы
Агалар Магомед-Закиевич Агаларов, Александр Алексеевич Потапов, Александр Эдуардович Рассадин, Антон Викторович Степанов
 
Том 27, № 1 (2020) Определение расстояний между изображениями методом потоков де Рама Аннотация  похожие документы
Сергей Николаевич Чуканов
"... геометрическом методе потоков де Рама и предварительном аффинном преобразовании исходной формы изображения. При ..."
 
Том 19, № 2 (2012) Новые компоненты схемы модулей MP3 (2; -1; 2; 0) стабильных когерентных пучков ранга 2 без кручения на трехмерном проективном пространстве P3 Аннотация  PDF (Rus)  похожие документы
Михаил Александрович Заводчиков
"... Рассматривается схема модулей Гизекера–Маруямы M := MP3 (2;-1; 2; 0) стабильных когерентных пучков ..."
 
Том 23, № 3 (2016) Численное решение начально-краевой задачи для псевдопараболического уравнения с внутренним переходным слоем Аннотация  PDF (Rus)  похожие документы
А. А. Быков
 
Том 23, № 5 (2016) Метод конечных разностей во временной области для кусочно-однородных диэлектрических сред Аннотация  PDF (Rus)  похожие документы
Ж. О. Домбровская
 
Том 23, № 5 (2016) Расслоенное произведение коммутативных алгебр: образующие и соотношения Аннотация  похожие документы
Н. В. Тимофеева
"... коммутативных ассоциативных алгебр составляет алгебраическую сторону процедуры склеивания алгебраических схем по ..."
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... Обсуждаются вопросы построения технологии анализа корректности программ логических контроллеров ..."
 
Том 19, № 4 (2012) О построении и верификации программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... построения программы управления кодовым замком. Для этих подходов оценивается удобство анализа программной ..."
 
Том 19, № 5 (2012) Формальная верификация программ, написанных на функционально-потоковом языке параллельного программирования Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Кропачева, Александр Иванович Легалов
"... Работа посвящена доказательству корректности параллельных программ на основе аксиоматического ..."
 
Том 21, № 4 (2014) Моделирование согласованного поведения ПЛК-датчиков Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Дмитрий Александрович Рябухин, Валерий Анатольевич Соколов
"... «дискретных» программ логических контроллеров (ПЛК), обеспечивающего возможность анализа их корректности с ..."
 
Том 20, № 4 (2013) Построение и верификация ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... Предлагается подход к построению и верификации программ логических контроллеров (ПЛК) для ..."
 
Том 18, № 4 (2011) Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока
"... Предлагается метод тестирования безопасности С программ с использованием широко известного ..."
 
Том 17, № 2 (2010) Метод оценки частоты выполнения фрагментов кода последовательной программы Аннотация  PDF (Rus)  похожие документы
А. В. Шалимов
"... Рассматривается задача о вычислении частоты выполнения фрагментов кода последовательной программы ..."
 
Том 20, № 2 (2013) Моделирование, спецификация и построение программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... Предлагается новый подход к построению надежных «дискретных» ПЛК-программ с таймерами ..."
 
Том 24, № 4 (2017) О задаче минимизации последовательных программ Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Захаров, Шынар Рустамбековна Жайлауова
"... Стандартные схемы программ — это одна из наиболее простых моделей последовательных императивных ..."
 
Том 17, № 4 (2010) Пример верификации в проекте F@BOOL@, основанном на булевских решателях Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... человеком программы с языка высокого уровня в эквивалентные исполнимые программы и, кроме того, доказывает ..."
 
Том 21, № 6 (2014) Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей Аннотация  PDF (Rus)  похожие документы
Марат Халимович Ахин, Семен Леонидович Колтон, Владимир Михайлович Ицыксон
"... Одной из самых сложных проблем при статическом анализе программ является анализ вызовов функций ..."
 
Том 21, № 2 (2014) Построение IL-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... Предлагается подход к построению и верификации IL-программ логических контроллеров (ПЛК) для ..."
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... Предлагается подход к построению и верификации LD-программ логических контроллеров (ПЛК) для ..."
 
Том 26, № 4 (2019) Операционная семантика аннотированных Reflex программ Аннотация  PDF (Rus)  похожие документы
Игорь Сергеевич Ануреев
"... для Reflex программ для того, чтобы гарантировать повышенную надежность создаваемого на его основе ..."
 
Том 17, № 4 (2010) Верификация и синтез программ сложения на базе правил корректности операторов Аннотация  PDF (Rus)  похожие документы
В. И. Шелехов
"... Дедуктивная верификация и синтез программ двоичного сложения проводятся на базе системы правил ..."
 
Том 18, № 2 (2011) Об одном представлении функции в модели императивной программы, заданной сетями Петри Аннотация  PDF (Rus)  похожие документы
Георгий Витальевич Тарасов, Дмитрий Иванович Харитонов, Евгений Александрович Голенков
"... программы. Данный подход позволяет представить модель потока управления всей программы в целом как ..."
 
Том 22, № 4 (2015) О выразительности подхода к построению ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов
"... Статья посвящена подходу к построению и верификации «дискретных» программ логических контроллеров ..."
 
Том 22, № 4 (2015) Метод генерации примеров моделей программ в терминах сетей Петри Аннотация  PDF (Rus)  похожие документы
Д. И. Харитонов, Е. А. Голенков, Г. В. Тарасов, Д. В. Леонтьев
"... , имитирующих поведение императивных программ. Примеры сетей Петри с заданными характеристиками являются ..."
 
Том 22, № 4 (2015) Автоматизация формальной верификации программ на языке Пифагор Аннотация  PDF (Rus)  похожие документы
М. С. Ушакова, А. И. Легалов
"... , эквивалентное преобразование, расщепление, свертка программы. Посредством данных преобразований информационный ..."
 
Том 23, № 2 (2016) Построение CFC-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов
"... проход рабочего цикла ПЛК. Фактически CFC-программа представляет собой схему потоков данных ПЛК ..."
 
Том 17, № 4 (2010) Интеграция семантических верификаторов в компиляторы языка Java Аннотация  PDF (Rus)  похожие документы
А. В. Клепинин, А. А. Мелентьев
"... Рассматривается способ статического семантического анализа исходных кодов программы на стадии ее ..."
 
1 - 49 из 49 результатов

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

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