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

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	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)

Становлення правової охорони комп'ютерних програм нормами авторського і патентного права
за авторством: Кірін, Р.С., та інші
Опубліковано: (2019)

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

Математичні оцінки та обґрунтування показників і параметрів високоінформативних комп’ютерних мереж
за авторством: Шевчук, Б.М.
Опубліковано: (2008)

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

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

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

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

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

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

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

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

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

Основні засоби захисту локальних комп'ютерних мереж
за авторством: Нікулін, С.О.
Опубліковано: (2009)

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

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

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

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

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

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

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

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

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

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

Аналіз статистичних характеристик комунікаційної інформації в комп’ютерних мережах
за авторством: Гнатушенко, В.В., та інші
Опубліковано: (2015)

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

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

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

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

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

Проблеми створення систем розпізнавання мовлення для різних комп’ютерних платформ
за авторством: Васильєва, Н.Б., та інші
Опубліковано: (2013)

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

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

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

До питання про кількісні характеристики безвідмовності надлишкових комп'ютерних систем
за авторством: Федухин, А.В., та інші
Опубліковано: (2012)

Метод оцінювання довільних відповідей у комп'ютерних системах тестування знань
за авторством: Бадьоріна, Л.М.
Опубліковано: (2006)

Розпаралелення процесу розв’язування задачі Коші у комп’ютерних мережах
за авторством: Квятковський, Б., та інші
Опубліковано: (2007)

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

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

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