Buchumschlag

Интерактивная система для анализа поведения формальных моделей программных систем

Цель работы – разработка инструментальных средств для автоматизации анализа и упрощения понимания поведения формальных моделей. Предложены методы локализации причин нарушения проверяемых свойств и вычленения релевантных элементов на основе аналитического установления фактических информационных связе...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Штучний інтелект
Datum:	2012
Hauptverfasser:	Колчин, А.В., Четвертак, Р.В.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут проблем штучного інтелекту МОН України та НАН України 2012
Schlagworte:	Интеллектуальные системы планирования, управления, моделирования и принятия решений
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/57758
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Интерактивная система для анализа поведения формальных моделей программных систем / А.В. Колчин, Р.В. Четвертак // Штучний інтелект. — 2012. — № 4. — С. 330-341. — Бібліогр.: 18 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Оценка функционального состояния и прогнозирование поведения биологических систем
von: Герасимов, И.Г.
Veröffentlicht: (2013)

Исследование поведения нестационарного динамического объекта в бортовых ИС новых поколений
von: Нечаев, Ю.И., et al.
Veröffentlicht: (2010)

Идентификация параметров математических моделей динамических систем управления
von: Петрович, В.Н.
Veröffentlicht: (2011)

Инструментальные средства оперативного анализа местности для построения систем принятия решений при чрезвычайных ситуациях
von: Крючков, А.Н., et al.
Veröffentlicht: (2011)

Модель интеллектуального агента для анализа опыта удалённых сотрудников
von: Темник, К.В.
Veröffentlicht: (2014)

Построение автоматных моделей простейших графических примитивов
von: Козловский, В.А., et al.
Veröffentlicht: (2010)

Распознавание типов загрязнений водного бассейна с применением корреляционного анализа
von: Роговая, О.А., et al.
Veröffentlicht: (2012)

Метод построения компьютерной системы диагностики на основе анализа данных обучающей выборки
von: Родченко, В.Г., et al.
Veröffentlicht: (2012)

Технология построения динамических предметных областей на основе графовых моделей
von: Краснопрошин, В.В., et al.
Veröffentlicht: (2011)

Інформаційна система для прогнозування волатильності валютних курсів
von: Бідюк, П.І., et al.
Veröffentlicht: (2012)

Система принятия решений при составлении учебного расписания
von: Заманова, Э.Э.
Veröffentlicht: (2010)

Разработка системы предварительного отбора кандидатов на собеседование на основе методов интеллектуального анализа данных
von: Гиль, M.В., et al.
Veröffentlicht: (2013)

Применение R/S анализа для исследования детерминированного хаоса на примере возмущенного осциллятора Ван дер Поля
von: Лопатин, А.К., et al.
Veröffentlicht: (2011)

Програмна система для моделювання ієрархічної комп'ютерної пам'яті
von: Михайлова, Т.В.
Veröffentlicht: (2010)

Динамическая сценарно-прецедентная интеллектуальная система для управления подвижными объектами
von: Шерстюк, В.Г.
Veröffentlicht: (2011)

Система інтелектуальної підтримки прийняття оптимальних рішень в процесі буріння
von: Демчина, М.М., et al.
Veröffentlicht: (2013)

Система управления автоматическим распознаванием реального пользователя и компьютерной программы
von: Гришко, Е.А., et al.
Veröffentlicht: (2013)

Критерии сравнения распознающих моделей на основе нейронных сетей и анализ их взаимосвязей
von: Субботин, С.А.
Veröffentlicht: (2014)

Использование теоретико-игровой модели для представления и анализа навигационных ситуаций в системе поддержки принятия решений судоводителя
von: Бень, А.П.
Veröffentlicht: (2010)

Про деякі нові особливості використання прихованих марковських моделей для аналізу та прогнозування часових рядів
von: Баклан, І.В., et al.
Veröffentlicht: (2010)

Использование типовых моделей сохранения работоспособности при планировании работ по техническому обслуживанию и ремонту (ТОР)
von: Кудрицкая, Т.В.
Veröffentlicht: (2010)

Інформаційна система моделювання воєнних дій механізованих військ з використанням онтологічного підходу
von: Литвин, В.В., et al.
Veröffentlicht: (2014)

Компьютеризированная скоринговая система принятия решений страхования автомобилей: актуальность и необходимость разработки
von: Куликов, А.М., et al.
Veröffentlicht: (2013)

О концепции создания информационной системы интеллектуального анализа данных телекоммуникационных компаний в рамках разработки интеллектуальной системы поддержки принятия решений
von: Савельев, О.О.
Veröffentlicht: (2010)

Интеллектуальная система оптимального параметрического синтеза источников магнитных полей с ферромагнитными элементами конструкции
von: Якимов, А.Н., et al.
Veröffentlicht: (2011)

О подходе к формализации влияния вербальных стратегий на критерии бизнес-плана на основе моделей вычислительного интеллекта
von: Бабосюк, Н.А., et al.
Veröffentlicht: (2013)

Мобильная инфомационно-измерительная интернет-система контроля и управления удалёнными объектами по сети мобильной связи
von: Сальников, И.С., et al.
Veröffentlicht: (2014)

Быстродействие интеллектуальных систем
von: Анцыферов, С.С., et al.
Veröffentlicht: (2013)

Задача оптимального керування компартментних систем
von: Марценюк, В.П., et al.
Veröffentlicht: (2014)

Механизмы формирования состояний онтологических систем
von: Стрижак, А.Е.
Veröffentlicht: (2014)

Оценка уровня качества интеллектуальных систем
von: Анцыферов, С.С.
Veröffentlicht: (2013)

Геоинформационная система анализа климатических и физико-географических параметров для исследования ареалов лесных пород
von: Пасичнык, О.Б.
Veröffentlicht: (2009)

Принципы адаптации в защите корпоративных систем
von: Маслова, Н.А., et al.
Veröffentlicht: (2010)

Исчисление технологических отображений судовых систем управления
von: Сабадаш, А.И.
Veröffentlicht: (2011)

Проектирование систем пожарного мониторинга в условиях неопределенности
von: Землянский, А.Н., et al.
Veröffentlicht: (2010)

Повышение интеллектуального потенциала адаптивных информационно-распознающих систем
von: Анцыферов, С.С.
Veröffentlicht: (2010)

Анализ параметров сложных систем при создании баз данных
von: Боргест, Н.М., et al.
Veröffentlicht: (2013)

Проектный синтез данных сложных систем на основе прототипов
von: Боргест, Н.М., et al.
Veröffentlicht: (2013)

Концептуальные основы создания систем поддержки принятия решений в судовождении
von: Бень, А.П.
Veröffentlicht: (2012)

Адаптивное управление гидромеханических муфт на базе методов интеллектуальных систем
von: Савин, Л.А., et al.
Veröffentlicht: (2013)