| 
Все статьи автора "Девятков В.В."
Верификация знаний, полученных при изучении моделей бизнес-процессов
| Авторы: Девятков В.В., Кадырбаева А.Р. | Опубликовано: 20.12.2020 |
| Опубликовано в выпуске: #4(133)/2020 | |
| DOI: 10.18698/0236-3933-2020-4-99-113 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации | |
| Ключевые слова: верификация знаний, тестовые задания, модальная логика, язык логического программирования Пролог | |
Оценка степени удобства использования пользовательских интерфейсов в логике тайлов
| Авторы: Девятков В.В., Типсин Е.А. | Опубликовано: 19.03.2020 |
| Опубликовано в выпуске: #1(130)/2020 | |
| DOI: 10.18698/0236-3933-2020-1-64-84 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей | |
| Ключевые слова: логика тайлов, верификация свойств, пользовательский интерфейс, степень удобства использования, юзабилити, оценка степени удобства использования, агенты, автоматизация оценки, человеко-машинное взаимодействие | |
Распознавание ситуаций на множестве движущихся объектов с использованием нечетких конечных автоматов и динамического программирования
| Авторы: Девятков В.В., Лычков И.И. | Опубликовано: 02.08.2017 |
| Опубликовано в выпуске: #4(115)/2017 | |
| DOI: 10.18698/0236-3933-2017-4-64-78 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации | |
| Ключевые слова: компьютерное зрение, движущиеся объекты, временные ряды, распознавание ситуаций, динамическое программирование | |
Селективно-ковариационный метод локализации, классификации и отслеживания людей в видеопотоках от множества видеокамер
| Авторы: Девятков В.В., Алфимцев А.Н., Таранян А.Р. | Опубликовано: 06.12.2016 |
| Опубликовано в выпуске: #6(111)/2016 | |
| DOI: 10.18698/0236-3933-2016-6-54-70 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Теоретическая информатика, кибернетика | |
| Ключевые слова: распознавание образов, компьютерное зрение, отслеживание людей, ковариационная матрица, ковариационный дескриптор, селективная локализация | |
Верификация свойств интеллектуальных интерфейсов в логике тайлов
| Авторы: Девятков В.В. | Опубликовано: 15.06.2016 |
| Опубликовано в выпуске: #3(108)/2016 | |
| DOI: 10.18698/0236-3933-2016-3-65-87 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации | |
| Ключевые слова: свойства интеллектуальных интерфейсов, логика тайлов, модальная логика, верификация свойств, интеллектуальные агенты, язык логического программирования Visual Prolog | |
Разработка экспертной системы управления давлением в системах водоснабжения
| Авторы: Косов С.В., Девятков В.В. | Опубликовано: 09.08.2015 |
| Опубликовано в выпуске: #2(23)/1996 | |
| DOI: | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации | |
| Ключевые слова: | |
Принципы полной и корректной трансформации синхронизируемых моделей
| Авторы: Девятков В.В., Ошкало Д.В. | Опубликовано: 17.06.2015 |
| Опубликовано в выпуске: #3(102)/2015 | |
| DOI: 10.18698/0236-3933-2015-3-79-91 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Теоретическая информатика, кибернетика | |
| Ключевые слова: трансформация моделей, синхронизация моделей, графовые грамматики, UML, полнота и корректность трансформации моделей | |
Мультиагентный анализ правильности спецификаций протоколов инициирования сеансов
| Авторы: Девятков В.В., Мье Тхет Наунг | Опубликовано: 14.04.2015 |
| Опубликовано в выпуске: #2(101)/2015 | |
| DOI: 10.18698/0236-3933-2015-2-107-116 | |
| Раздел: Информатика, вычислительная техника и управление | |
| Ключевые слова: последовательностный процесс, пользовательский агент со стороны клиента, пользовательский агент со стороны сервера, протокол инициирования сеанса, язык логического программирования VISUAL PROLOG | |
Автоматизация проверки некорректности конфигурирования сетевых экранов
| Авторы: Девятков В.В., Мьо Тан Тун | Опубликовано: 08.02.2015 |
| Опубликовано в выпуске: #1(100)/2015 | |
| DOI: 10.18698/0236-3933-2015-1-100-110 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Вычислительные системы и их элементы | |
| Ключевые слова: межсетевой экран, процесс, модальная логика, язык логического программирования PROLOG | |
Нечеткое модальное ситуационное исчисление для анализа сложных объектов
| Авторы: Девятков В.В., Румбешт В.В. | Опубликовано: 03.09.2014 |
| Опубликовано в выпуске: #3(44)/2001 | |
| DOI: | |
| Раздел: Информатика и вычислительная техника | |
| Ключевые слова: | |