Основная ткань исследователя – это фантазия, в которую вплетаются нити рассуждения, измерения и вычисления.
Сент-Дьердьи

Связь с редакцией

Ближайшие события

15.10.2026 - 16.10.2026

XV Российский Бизнес-форум AACE 2026: Интеграция как искусство управления смыслом проекта

Город: Москва

19.10.2026 - 23.10.2026

LOGFORUM’26

Город: Москва

21.10.2026 - 23.10.2026

Межрегиональный промышленно-энергетический форум и выставка предприятий «ПРОМ-ЭНЕРГО-ВОЛГА’2026»

Город: Волгоград

12.11.2026

Конференция компании X-Com «Импортозамещение»

Город: Москва

18.11.2026 - 20.11.2026

VIII Международный форум роботизации

Город: Санкт-Петербург

верификация

Статьи

Автоматизация в промышленности, №11 2024

Технические средства автоматизации

Опыт обеспечения функциональной безопасности продуктов

Ключевые слова: верификация, датчик давления, сертификация, тестирование, уровень функциональной безопасности, функциональная безопасность

Автоматизация в промышленности, №7 2026

Производственные автоматизированные системы

Стрелков В.В.

Валидация и верификация спецификационной модели бортовой системы ситуационной осведомленности экипажа на посадке

Ключевые слова: бортовая система, валидация, верификация, выкатывание, посадка, ситуационная осведомленность, спецификационная модель

Автоматизация в промышленности, №3 2026

Обсуждаем тему: Современные решения по автоматизации и цифровизации АЭС

Абдулова Е.А., Жарко Е.Ф., Чернышев К.Р.

Архитектура и методология верификации гибридной интеллектуальной системы поддержки оператора АЭС

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

Ключевые слова: АЭС, валидация, верификация, гибридные системы поддержки оператора, машинное обучение

Автоматизация в промышленности, №7 2014

Обсуждаем тему: Методы моделирования ТП в современных системах автоматизации

Андреев М.В., Боровиков Ю.С., Гусев А.С., Сулайманов А.О.

Всережимное моделирование в реальном времени перенапряжений в электроэнергетических системах

Ключевые слова: верификация, всережимное моделирование, достоверность, идентификация, квазиустановившиеся и переходные процессы, коммутационные перенапряжения, реальное время, электроэнергетические системы

Автоматизация в промышленности, №11 2022

Обсуждаем тему: Цифровизация и импортозамещение в электроэнергетики

Голубев П.А., Жарко Е.Ф.

Особенности верификации и валидации заданий на прикладное программное обеспечение систем верхнего уровня АСУТП АЭС

Ключевые слова: АЭС, базы данных, верификация, видеокадр, прикладное программное обеспечение, системы верхнего уровня АСУТП

Автоматизация в промышленности, №6 2025

Обсуждаем тему: Технологии искусственного интеллекта в промышленности

Лившиц И.И.

Влияние современных технологий искусственного интеллекта на безопасность промышленных систем автоматизации

Ключевые слова: аудит, безопасность, валидация, верификация, искусственный интеллект, промышленный контроллер, риск, стандартизация

Автоматизация в промышленности, №4 2024

Алгоритмическое и программное обеспечение систем автоматизации

Царев В.С.

Вопросы организации процесса верификации программного обеспечения АСУТП АЭС

Ключевые слова: АСУТП АЭС, верификация, прикладное программное обеспечение

Автоматизация в промышленности, №12 2022

Алгоритмическое и программное обеспечение

Ануфриев Д.С., Грачев С.П.

Применение технологии виртуальной реальности при разработке управляющих программ в CAM-системах

Ключевые слова: CAM-системы, верификация, виртуальная реальность, подготовка производства, управляющие программы, ЧПУ

Автоматизация в промышленности, №12 2022

Алгоритмическое и программное обеспечение

Букреев С.В.

Опыт верификации библиотеки «Электрика» для российской программной среды математического моделирования REPEAT

Ключевые слова: верификация, математическое моделирование, ПО, программное обеспечение, среда моделирования, электрика

Автоматизация в промышленности, №4 2013

Обсуждаем тему: Секреты облачных технологий для промышленной автоматизации

Затейчук Е.Н.

«Облачная» автоматизация обработки документов

Ключевые слова: on-line сервис, верификация, информационная система, обработка документов, распознавание

Последний вышедший номер

Читайте в номере:

Технология модернизации систем верхнего уровня управления АСУТП на действующих критически важных объектах инфраструктуры

Автоматизация логистических цепочек производственного предприятия сельскохозяйственного назначения

Моделирование распределения шихтовых материалов при загрузке в доменную печь

Компьютерная система для технологического проектирования цифровых информационных моделей экстракционных каскадов по извлечению и разделению редкоземельных металлов

Готовится к печати

Читайте в номере:

Российская микроэлектроника: проблемы и тренды

Программное средство для построения матрицы дренирования нефтегазовых скважин с применением кластерного анализа