| 
Верификация свойств интеллектуальных интерфейсов в логике тайлов
| Авторы: Девятков В.В. | Опубликовано: 15.06.2016 |
| Опубликовано в выпуске: #3(108)/2016 | |
| DOI: 10.18698/0236-3933-2016-3-65-87 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации | |
| Ключевые слова: свойства интеллектуальных интерфейсов, логика тайлов, модальная логика, верификация свойств, интеллектуальные агенты, язык логического программирования Visual Prolog | |
Квантово-механическая модель динамики релейно-импульсного управления
| Авторы: Симоньянц Р.П. | Опубликовано: 15.06.2016 |
| Опубликовано в выпуске: #3(108)/2016 | |
| DOI: 10.18698/0236-3933-2016-3-88-101 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации | |
| Ключевые слова: квантово-механическая модель, релейно-импульсное управление, бифуркация аттрактора | |
Генерирование случайных воздействий при исследовании устройств и систем управления
| Авторы: Лобусов Е.С., Тыонг Хоанг Мань | Опубликовано: 15.06.2016 |
| Опубликовано в выпуске: #3(108)/2016 | |
| DOI: 10.18698/0236-3933-2016-3-102-113 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации | |
| Ключевые слова: случайный процесс, формирующий фильтр, аппроксимация, спектральная плотность | |
Автоматизированный анализ контролепригодности систем контроля технологического оборудования на опасных производственных объектах
| Авторы: Иванов Д.Е., Громова Т.В., Швецова-Шиловская Т.Н. | Опубликовано: 15.06.2016 |
| Опубликовано в выпуске: #3(108)/2016 | |
| DOI: 10.18698/0236-3933-2016-3-114-128 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Автоматизация и управление технологическими процессами и производствами | |
| Ключевые слова: контролепригодность, сложная техническая система, технологическое оборудование, опасный производственный объект, программный комплекс, полнота контроля, глубина контроля, средства контроля | |
Функциональная модель ненагруженных Ethernet-коммутаторов
| Авторы: Бойченко М.К., Иванов И.П., Кондратьев А.Ю. | Опубликовано: 15.06.2016 |
| Опубликовано в выпуске: #3(108)/2016 | |
| DOI: 10.18698/0236-3933-2016-3-129-138 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Вычислительные системы и их элементы | |
| Ключевые слова: Ethernet, коммутатор, задержка, интерфейс, транспортная система, компьютерная сеть | |
Методика проектирования корпоративного хранилища данных на базе платформы SAP Net Weaver Business Warehouse
| Авторы: Тоноян С.А., Высочанский В.А. | Опубликовано: 12.08.2016 |
| Опубликовано в выпуске: #4(109)/2016 | |
| DOI: 10.18698/0236-3933-2016-4-33-48 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Вычислительные системы и их элементы | |
| Ключевые слова: хранилище данных, SAP, многомерная модель данных, витрина данных, схема-звезда, OLAP, OLTP, инфокуб, агрегирование, LSA | |
Разработка и исследование синтетического метода верификации программы с помощью SMT-решателей
| Авторы: Рудаков И.В., Гурин Р.Е. | Опубликовано: 12.08.2016 |
| Опубликовано в выпуске: #4(109)/2016 | |
| DOI: 10.18698/0236-3933-2016-4-49-64 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации | |
| Ключевые слова: верификация, анализ кода, статический анализ, динамический анализ, интерпретация, символьное выполнение, проверка модели | |
Управление по выходу спектром больших динамических систем
| Авторы: Зубов Н.Е., Микрин Е.А., Рябченко В.Н. | Опубликовано: 12.08.2016 |
| Опубликовано в выпуске: #4(109)/2016 | |
| DOI: 10.18698/0236-3933-2016-4-65-73 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации | |
| Ключевые слова: декомпозиция, модальный синтез, вектор выхода, спектр, управление по выходу, большая динамическая система | |
Обеспечение потребных нагрузок сетевых интерфейсов утилитой ping программного обеспечения протокола ICMP
| Авторы: Бойченко М.К., Иванов И.П., Кондратьев А.Ю., Лохтуров В.А. | Опубликовано: 12.08.2016 |
| Опубликовано в выпуске: #4(109)/2016 | |
| DOI: 10.18698/0236-3933-2016-4-74-84 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Вычислительные системы и их элементы | |
| Ключевые слова: компьютерная сеть, сетевой интерфейс, пропускная способность, трафик, нагрузка, Ethernet, самоподобие | |
Оптимизация распределения энергии в комплексной системе ее хранения для электрических транспортных средств
| Авторы: Деменков Н.П., Сяоган У | Опубликовано: 12.10.2016 |
| Опубликовано в выпуске: #5(110)/2016 | |
| DOI: 10.18698/0236-3933-2016-5-36-50 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Системный анализ, управление и обработка информации | |
| Ключевые слова: сложная полуактивная система хранения энергии, распределение электроэнергии, выпуклая оптимизация, энергетическая эффективность, мощность батареи, конденсаторный накопитель | |