Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2021
1. Verfasser:	Бенидзе, Н. Н.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Vinnytsia National Technical University 2021
Online Zugang:	https://oeipt.vntu.edu.ua/index.php/oeipt/article/view/173
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Optoelectronic Information-Power Technologies

Institution

Optoelectronic Information-Power Technologies

Ähnliche Einträge

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

Становлення правової охорони комп'ютерних програм нормами авторського і патентного права
von: Кірін, Р.С., et al.
Veröffentlicht: (2019)

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

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

КОМПЛЕКС КОМП’ЮТЕРНИХ ПРОГРАМ ДЛЯ МОДЕЛЮВАННЯ ДИНАМІКИ ЕЛЕКТРИЧНИХ КІЛ НА ОСНОВІ ІНТЕГРАЛЬНИХ МОДЕЛЕЙ
von: Ключка, Костянтин Миколайович
Veröffentlicht: (2012)

Комплекс комп’ютерних програм для моделювання динаміки електричних кіл на основі інтегральних моделей
von: Ключка, К.М.
Veröffentlicht: (2013)

НЕЙРОМЕРЕЖЕВИЙ МЕТОД ІДЕНТИФІКАЦІЇ КОМП'ЮТЕРНИХ АТАК
von: Комар, М. П.
Veröffentlicht: (2013)

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

Евіденціальна парадигма та обробка комп’ютерних математичних знань
von: Aselderov, Z. M., et al.
Veröffentlicht: (2019)

Евіденціальна парадигма та обробка комп’ютерних математичних знань
von: Асельдеров, З.М., et al.
Veröffentlicht: (2004)

АНАЛІЗ ТЕНДЕНЦІЙ РОЗВИТКУ СУЧАСНИХ КОМП’ЮТЕРНИХ СИСТЕМ
von: Мартинюк, Т. Б., et al.
Veröffentlicht: (2017)

Відмовостійкість програмного забезпечення гарантоздатних комп’ютерних систем
von: Єфімова, Т.І., et al.
Veröffentlicht: (2009)

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

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

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

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

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

Структурний синтез комп’ютерних мереж з технологією MPLS
von: Zaychenko, H. Yu., et al.
Veröffentlicht: (2019)

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

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

Про деякі способи підвищення точності комп’ютерних обчислень
von: Хіміч, О.М., et al.
Veröffentlicht: (2017)

Про деякі способи підвищення точності комп’ютерних обчислень
von: Хіміч, Олександр Миколайович, et al.
Veröffentlicht: (2017)

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

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

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

Ефективність використання комп’ютерних систем бухгалтерського обліку на підприємствах
von: Скопень, М.М., et al.
Veröffentlicht: (2011)

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

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

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

Знаходження максимального зваженого потоку в комп’ютерних мережах нового покоління
von: Zaychenko, E. Yu., et al.
Veröffentlicht: (2017)

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

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

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

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

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

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

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

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

Потокові моделі динамічного планування черг в комп’ютерних мережах умов конфлікту
von: Ігнатенко, О.П.
Veröffentlicht: (2010)

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