Поиск


Сортировать по:     
 
Выпуск Название
 
Том 17, № 4 (2010) Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени Аннотация  PDF (Rus)  похожие документы
И. В. Коннов, В. А. Захаров
"... успехом применен для проверки выполнимости формул логики линейного времени ILTL на конечных моделях ..."
 
Том 24, № 3 (2017) Исследование динамики класса одномерных кусочно-линейных отображений с одним разрывом Аннотация  PDF (Rus)  похожие документы
Григорий Андреевич Ахременко
"... В работе изучается  динамика одного класса одномерных кусочно-линейных  отображений  с одним ..."
 
Том 19, № 6 (2012) Как разработать простое средство верификации систем реального времени Аннотация  PDF (Rus)  похожие документы
Дмитрий Юрьевич Волканов, Владимир Анатольевич Захаров, Даниил Александрович Зорин, Игорь Владимирович Коннов, Владислав Васильевич Подымов
"... часто применяется средство UPPAAL, разработанное для проверки формул логики TCTL на сети временных ..."
 
Том 20, № 3 (2013) Применение нечеткой классификации для гибридных линейных методов прогнозирования Аннотация  PDF (Rus)  похожие документы
Андрей Сергеевич Таскин, Евгений Моисеевич Миркес, Наталья Юрьевна Сиротинина
"... — оценить влияние порожденных бинарных признаков на точность прогнозирования линейной регрессии и гибридных ..."
 
Том 23, № 6 (2016) Построение каскадной параллельной композиции временных автоматов с использованием BALM-II Аннотация  PDF (Rus)  похожие документы
М. Л. Громов, Н. В. Шабалдина
"... композицией временных автоматов с задержками выходов в виде множества линейных функций. В работе приведён ..."
 
Том 17, № 4 (2010) Об исчислении позитивно-образованных формул для автоматического доказательства теорем Аннотация  PDF (Rus)  похожие документы
А. В. Давыдов, А. А. Ларионов, Е. А. Черкашин
 
Том 24, № 4 (2017) Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко
"... во внимание временные аспекты, и соответственно появляется необходимость в распространении автоматных ..."
 
Том 25, № 3 (2018) Об оценке средней временной выгоды в вероятностных эколого-экономических моделях Аннотация  PDF (Rus)  похожие документы
Людмила Ивановна Родина, Илья Индусович Тютеев
"... развитие популяции описывается дифференциальным уравнением x˙ = g(x), а в моменты времени τk из популяции ..."
 
Том 26, № 1 (2019) Построение бортовых сетей реального времени на основе технологии ПКС Аннотация  PDF (Rus)  похожие документы
Василий Викторович Балашов, Валерий Алексеевич Костенко, Татьяна Ивановна Ермакова
"... реальном времени. Основным недостатком этих сетей являются ограниченные или отсутствующие возможности ..."
 
Том 18, № 1 (2011) Временные шкалы в задаче об асимптотике решений дискретных адиабатических осцилляторов Аннотация  PDF (Rus)  похожие документы
П. Н. Нестеров
"... Предложен вариант метода усреднения для систем уравнений, заданных на временных шкалах. Полученные ..."
 
Том 25, № 5 (2018) О выразительных возможностях некоторых расширений линейной темпоральной логики Аннотация  PDF (Rus)  похожие документы
Антон Романович Гнатенко, Владимир Анатольевич Захаров
"... темпоральная логика линейного времени LT L. В этой работе рассматривается новый язык формальных спецификаций LP ..."
 
Том 23, № 5 (2016) О числовых характеристиках симплекса и их оценках Аннотация  PDF (Rus)  похожие документы
М. В. Невский, А. Ю. Ухалов
"... _n) --- минимальная величина нормы интерполяционного проектора на пространство линейных функций (n) переменных как ..."
 
Том 22, № 1 (2015) Асимптотика приближения нулевого порядка решения трехтемповой линейно-квадратичной задачи оптимального управления Аннотация  PDF (Rus)  похожие документы
Маргарита Александровна Калашникова
"... линейно-квадратичной трехтемповой задачи оптимального управления методом прямой схемы. Алгоритм метода ..."
 
Том 17, № 2 (2010) О нецелочисленных вершинах релаксаций многогранника задачи 3-ВЫПОЛНИМОСТЬ Аннотация  PDF (Rus)  похожие документы
А. В. Николаев
 
Том 19, № 4 (2012) Обобщенные асинхронные системы Аннотация  PDF (Rus)  похожие документы
Екатерина Сергеевна Кудряшова, Ахмет Аксанович Хусаинов
"... . Стандартным образом, посредством отображения, сопоставляющего событиям временные интервалы, определяются ..."
 
Том 18, № 2 (2011) Формат пакета ARTCP. Особенности формирования и обработки заголовков ARTCP в сетевой подсистеме ОС Linux 2.6. Аннотация  PDF (Rus)  похожие документы
Анатолий Александрович Сивов
"... вычисления значения его полей. Обсуждаются вопросы точного вычисления времени прибытия сегментов ARTCP. Также ..."
 
Том 19, № 2 (2012) Полиномиальный алгоритм верификации цепей Маркова для подмножества логики PLTL Аннотация  PDF (Rus)  похожие документы
Павел Валерьевич Лебедев
"... описываются формулами некоторого подмножества темпоральной логики PLTL (propositional temporal logic of linear ..."
 
Том 20, № 6 (2013) Общие знания в хорошо структурированных системах с абсолютной памятью Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина
"... В данной работе исследуется задача проверки моделей для логики общих знаний и неподвижных точек ..."
 
Том 22, № 6 (2015) Элиминация инвариантов циклов для финитной итерации над неизменяемыми структурами данных в Си программах Аннотация  PDF (Rus)  похожие документы
И. В. Марьясов, В. А. Непомнящий
"... , неизменяемые структуры данных, спецификация, верификация, логика Хоара Для цитирования:Марьясов И. В ..."
 
Том 25, № 5 (2018) Автоматизация верификации C-программ с использованием символического метода элиминации инвариантов циклов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Илья Владимирович Марьясов, Валерий Александрович Непомнящий
 
Том 17, № 1 (2010) Приближение нулевого порядка асимптотики решения сингулярно возмущённой линейно-квадратичной задачи управления с разрывными коэффициентами Аннотация  PDF (Rus)  похожие документы
Г. А. Курина, Т. Х. Нгуен
"... сингулярно возмущенной линейно-квадратичной задачи оптимального управления с разрывными коэффициентами ..."
 
Том 18, № 2 (2011) О геометрических характеристиках n-мерного симплекса Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский
"... симплекса. Отмечается связь с линейной интерполяцией на кубе [0,1]n. ..."
 
Том 24, № 6 (2017) Элиминация инвариантов финитных итераций над массивами при верификации Си программ Аннотация  похожие документы
Илья Владимирович Марьясов, Валерий Александрович Непомнящий, Дмитрий Александрович Кондратьев
 
Том 17, № 4 (2010) О сложности верификации недетерминированных вероятностных мультиагентных систем Аннотация  PDF (Rus)  похожие документы
М. К. Валиев, М. И. Дехтярь
 
Том 25, № 5 (2018) О методах верификации и разработки программ развития сельскохозяйственных территорий Аннотация  PDF (Rus)  похожие документы
Хорхе Луис Вега Висе, Валерий Юрьевич Михайлов
"... которой создается аксиоматическая теория, использующая аппарат алгоритмических логик Хоара. Основной ..."
 
Том 22, № 6 (2015) О преподавании формальных моделей и алгоритмов анализа параллельных систем Аннотация  PDF (Rus)  похожие документы
Н. В. Шилов
"... : сетями Петри, средствами исчисления параллельных взаимодействующих процессов (CCS) и темпоральной логики ..."
 
1 - 34 из 34 результатов

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

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