Научно-технический семинар КриКТехС-2015/9/109
Очередное заседание семинара состоится 8 декабря (вторник) 2015 г., в 15.00 в аудитории 238 радиокорпуса ХАИ.
Тема заседания: Математические методы оценивания надежности и безопасности программных систем.
Доклады:
- Канд. фіз.-мат. наук, доцент Яковина Віталій Степанович (кафедра програмного забезпечення, Національний університет «Львівська Політехніка»). Моделі, методи та засоби аналізу надійності програмного забезпечення (ПЗ):
- аналіз тенденцій розвитку засобів аналізу надійності ПЗ;
- аналіз надійності ПЗ на основі неоднорідного пусанового процесу;
- аналіз надійності ПЗ на основі марковського процесу вищого порядку;
- засоби підтримки прийняття рішень при розробленні ПЗ із заданими показниками надійності.
- Канд. техн. наук, старш. науч. сотр. Дубницкий Валерий Юрьевич,Ходырев Александр Иванович (кафедра информационных технологий Харьковского учебно-научного института Университета банковского дела). Обратная задача статистического моделирования (СМ) и её применение для относительной оценки тяжести хвоста распределения в задачах надежности:
- постановка прямой и обратной задачи СМ;
- решение обратной задачи СМ в явном и неявном виде;
- определение логарифмической относительной оценки тяжести хвоста распределения;
- приложения в задачах оценивания надежности.
- Канд. техн. наук, доцент Певнев Владимир Яковлевич (кафедра компьютерных систем и сетей Национального аэрокосмического университета им. Н.Е. Жуковского «ХАИ»). Методика построения простых и сильно простых чисел (ПЧ) в задачах шифрования:
- актуальность необходимости построения ПЧ в задачах шифрования;
- теоретическое обоснование возможного местоположения ПЧ;
- методика построения сильно простых чисел;
- результаты проведенных экспериментов.
Информация о проектах и конференциях:
Докт. техн. наук, профессор Харченко Вячеслав Сергеевич
- Cyber Forum/DESSERT BIS(Вusiness&Industry&Science) 2016, Харьков-Киев-Черновцы, 18-23 мая 2016;
- о проектах TEMPUS GreenCo, SEREIN, CABRIOLET, CERES