Зображення обкладинки

ЗАВДАННЯ ОЦІНКИ ВЕРІЦІКАЦІІ (КОРЕКТНОСТІ) АЛГОРИТМІВ ТА КОМП'ЮТЕРНИХ ПРОГРАМ

В статье исследуются вопросы, связанные с задачей установления правильности алгоритмов и соответствующих им компьютерных программ.В работе особое место занимает анализ связи между конечными автоматами, порождающими грамматиками и языками, который позволяет сформулировать принцип корректности алгор...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2021
Автор:	Бенидзе, Н. Н.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Vinnytsia National Technical University 2021
Онлайн доступ:	https://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Optoelectronic Information-Power Technologies

Репозитарії

Optoelectronic Information-Power Technologies

Схожі ресурси

Стан і проблеми розвитку україномовної локалізації комп’ютерних програм
за авторством: Булаховський, К.
Опубліковано: (2010)

Порівняльний аналіз комп’ютерних програм сітьового планування для викладання дисципліни «Організація виробництва»
за авторством: Антонюк, Д.А., та інші
Опубліковано: (2010)

КОМПЛЕКС КОМП’ЮТЕРНИХ ПРОГРАМ ДЛЯ МОДЕЛЮВАННЯ ДИНАМІКИ ЕЛЕКТРИЧНИХ КІЛ НА ОСНОВІ ІНТЕГРАЛЬНИХ МОДЕЛЕЙ
за авторством: Ключка, Костянтин Миколайович
Опубліковано: (2012)

НЕЙРОМЕРЕЖЕВИЙ МЕТОД ІДЕНТИФІКАЦІЇ КОМП'ЮТЕРНИХ АТАК
за авторством: Комар, М. П.
Опубліковано: (2013)

Алгоритм оцінки ймовірності вторгнень для засобів моніторингу безпеки комп’ютерних систем
за авторством: Mukhin, V. Ye., та інші
Опубліковано: (2018)

Евіденціальна парадигма та обробка комп’ютерних математичних знань
за авторством: Aselderov, Z. M., та інші
Опубліковано: (2019)

Евіденціальна парадигма та обробка комп’ютерних математичних знань
за авторством: Асельдеров, З.М., та інші
Опубліковано: (2004)

Інформаційна технологія створення інтелектуальних комп’ютерних програм для навчання алгоритмічним завданням. Частина 2: Дослідження та реалізація
за авторством: Kulik, Anatoliy, та інші
Опубліковано: (2023)

АНАЛІЗ ТЕНДЕНЦІЙ РОЗВИТКУ СУЧАСНИХ КОМП’ЮТЕРНИХ СИСТЕМ
за авторством: Мартинюк, Т. Б., та інші
Опубліковано: (2017)

Відмовостійкість програмного забезпечення гарантоздатних комп’ютерних систем
за авторством: Єфімова, Т.І., та інші
Опубліковано: (2009)

Моделювання і візуалізація засобами Processing комп'ютерних мереж
за авторством: Пасічник, В.В., та інші
Опубліковано: (2013)

Інформаційна технологія створення інтелектуальних комп’ютерних програм для навчання алгоритмічним завданням. Частина 1: Математичні основи
за авторством: Kulik, Anatoliy, та інші
Опубліковано: (2021)

Назви комп’ютерних вірусів у сучасній українській комп’ютерній субмові
за авторством: Бондарчук, Л.
Опубліковано: (2011)

Структурний синтез комп’ютерних мереж з технологією MPLS
за авторством: Zaychenko, H. Yu., та інші
Опубліковано: (2019)

Моделювання НЕ-факторів — основа інтелектуалізації комп’ютерних технологій
за авторством: Valkman, Yu. R., та інші
Опубліковано: (2018)

Технологічне передбачення інформаційно-комп’ютерних технологій зв’язку
за авторством: Savastiyanov, V. V.
Опубліковано: (2019)

Про деякі способи підвищення точності комп’ютерних обчислень
за авторством: Хіміч, Олександр Миколайович, та інші
Опубліковано: (2017)

Про деякі способи підвищення точності комп’ютерних обчислень
за авторством: Хіміч, О.М., та інші
Опубліковано: (2017)

Аналіз проблеми оцінки інтелекту оперативного персоналу для обслуговування комп’ютерних систем в екстремальних ситуаціях
за авторством: Сікора, Л.С., та інші
Опубліковано: (2011)

Інструментарій мінімізації ризику захищеності в розподілених комп’ютерних системах
за авторством: Mukhin, V. Ye.
Опубліковано: (2010)

Якість обслуговування у комп’ютерних мережах на базі Internet
за авторством: Listopad, N. I., та інші
Опубліковано: (2019)

Середовище імітаційного моделювання конфліктних процесів у комп’ютерних мережах
за авторством: Ігнатенко, О.П., та інші
Опубліковано: (2009)

Аналіз та оптимізація показників живучості комп'ютерних мереж з технологією АТМ
за авторством: Zaychenko, H. Ju.
Опубліковано: (2019)

Оперативне керування потоками у комп’ютерних мережах з технологією MPLS
за авторством: Zaychenko, О. Yu.
Опубліковано: (2015)

Знаходження максимального зваженого потоку в комп’ютерних мережах нового покоління
за авторством: Zaychenko, E. Yu., та інші
Опубліковано: (2017)

Ідентифікація інформативних сигналів у проблемно-орієнтованих розподілених комп'ютерних системах
за авторством: Кулик, А.Я.
Опубліковано: (2010)

Математичні диференційні моделі і методи оцінки кібербезпеки інтелектуальних комп’ютерних мереж керування технологічними процесами електропостачання залізниць
за авторством: Стасюк, О.І., та інші
Опубліковано: (2018)

Методи та засоби ефективного управління передачею даних в захищених комп’ютерних мережах
за авторством: Mukhin, V. Ye., та інші
Опубліковано: (2019)

Синтез комбінованого вирішального правила (ВП) у комп’ютерних системах медичної діагностики
за авторством: Povoroznyuk, A. I.
Опубліковано: (2010)

Синтез комбінованого вирішального правила (ВП) у комп’ютерних системах медичної діагностики
за авторством: Поворознюк, А.І.
Опубліковано: (2010)

Деякі аспекти живучості складних гарантоздатних комп'ютерних систем критичних умов застосування
за авторством: Сербін, В.Г., та інші
Опубліковано: (2011)

Про узагальнення однієї математичної моделі дробово-диференціальної динаміки комп’ютерних вірусів
за авторством: Булавацький, В.М., та інші
Опубліковано: (2025)

Математичні моделі і методи аналізу комп’ютерних мереж керування електропостачанням залізниць
за авторством: Стасюк, О.І., та інші
Опубліковано: (2018)

Використання локальних комп’ютерних спеціалізованих мереж для управління технічними об’єктами
за авторством: Нікулін, С.О.
Опубліковано: (2009)

Використання структур сучасних комп’ютерних систем для реалізації систем обробки знань
за авторством: Кургаєв, О.П., та інші
Опубліковано: (2012)

Диференціальні коефіцієнти засвоєння в комп'ютерних системах проєктування і управління плавкою сталі
за авторством: Харченко, Олександр
Опубліковано: (2023)

Концепція і принципи кіберакмеології — новий підхід до проектування людино-комп’ютерних комплексів
за авторством: Антонов, В.М.
Опубліковано: (2007)

Математична модель багатокритеріальної оптимізації на множині сполучень при побудові комп’ютерних мереж
за авторством: Колєчкіна, Л.М., та інші
Опубліковано: (2016)

Класифікація загроз інформаційній безпеці в комп’ютерних системах при віддаленій обробці даних
за авторством: Корпань, Я.В.
Опубліковано: (2015)

Методичні основи оцінювання витрат на розроблення та супровід прикладного програмного забезпечення комп’ютерних систем
за авторством: Андон, П.І., та інші
Опубліковано: (2016)