[email protected]
+38 (057) 788-42-24
Електронний каталог
dKHAIIR
Про бібліотеку
Бібліотека сьогодні
Історія бібліотеки
Структура бібліотеки. Графік роботи.
Положення про науково-технічну бібліотеку
Правила користування НТБ
Ресурси
Інформаційно-бібліографічні ресурси
Бібліографічні видання
Тематичні книжково-ілюстративні виставки
Віртуальні виставки
Нові надходження
Онлайн-ресурси локального доступу
Онлайн-ресурсы вільного доступу
Списки публікацій співробітників НТБ
Швидкий пошук
Студенту
Оформлення списку літератури
Основи інформаційної культури
Соціокультурна діяльність
Галерея
Архів подій
Випускники ХАІ
Наука
Бібліометричні профілі співробітників Університету
Нормативно-правова база
Оформлення дисертацій і авторефератів
Наукометрична діяльність
Створення авторського профілю
Технічні звіти з НДДКР
До уваги науковців
Послуги
Електронна доставка документів
Віртуальна довідка
Ваш формуляр
Усі послуги
Головна
→
Електронний каталог
→
Пошук по електронному каталогу
→
Опис документа
Форма пошуку
Назад
укр
рус
eng
Cписок
Манжос Ю.С.
Використання аналізу розмірностей для підвищення рівня функціональної безпеки i&c систем
Вид документа:
Стаття періодики
Автор:
Манжос Ю.С.
Вид автора:
персона
Мова:
Російська
Обсяг:
С. 313-318
УДК:
629.7.05:004.056
Аннотацiя:
Розглянуто основи інформаційної технології підвищення рівня функціональної безпеки, побудованої на принципах аналізу фізичних розмінностей, що дозволяє верифікувати програмний код під час його розробки, зменшити ризики некоректного використання вхідних даних, та контролювати відсутність функціональних відмов під час штатної роботи технічних систем. Наведено перелік операцій, що контролюються. Визначені межі контролю коду під час формальної верифікації, а також контролю обчислювальних процесів під час експлуатації систем. Приведені класи програмних дефектів, та визначена ефективність методу, що для реального коду перевищує 80%. Ключові слова: аналіз розмірностей, статичний аналіз, формальна верифікація, функціональна безпека
Переглянути електронну копію
Є складовою частиною документа:
Радіоелектронні і комп'ютерні системи
Відомості щодо головного
Назва головного документа
:
Радіоелектронні і комп'ютерні системи
Дата видання головного документа
:
2012
Номер частини головного документа
:
7
Загальна інформація
Бібліографія
:
5 назв
Теми документа:
УДК/UDC/ 6 Прикладні науки. Медицина. Технологія/Прикладные науки. Медицина. Технология/ Applied Sciences. Medicine. Technology/ 62 Машинобудування. Техніка в цілому/Инженерное дело. Техника в целом/Engineering. Technology in general/ 629 Технiка транспортних засобiв/ 629.7 Авіація та космонавтика. Літальні апарати. Ракетна техніка та реактивні снаряди.Астронавтика та космічна техніка/Авиация и космонавтика/Aviation and astronautics. Aircraft. Rocket technology and rockets. Astronautics and .../ 629.7.05 Бортові системи та прилади наведення, керування і навігації/Бортовые системы и приборы наведения, управления и навигации/Aircraft systems and guidance, control and navigation devices
УДК/UDC/ 0 Загальний відділ/Общий отдел/Science and knowledge/ 00 Загальні питання науки і культури/Общие вопросы науки культуры/Prolegomena. Fundamentals of knowledge and culture. Propaedeutics/ 004 Комп'ютерна наука і технологія. Застосування комп'ютера. Оброблення даних/Информационные технологии. Вычислительная техника. Обработка данных/Computer science and technology. Computing. Data processing/ 004.05 Якість систем і програмного забезпечення/Качество систем и программного обеспечения/System and software quality/ 004.056 Безпека систем і програмного забезпечення. Кібернетична безпека=кібербезпека/Безопасность систем и программного обеспечения. Кибернетическая безопасность=кибербезопасность/Security systems and software. Cyber security
Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ/ М/ Манжос Ю.С./Manzhos Y.
Праці співробітників ХАІ/Труды сотрудников ХАИ/Works of KHAI employees/ Праці співробітників ХАІ/Труды сотрудников ХАИ
Задати питання
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом 3 днів (в зависмости від складності запиту).
Ім'я
*
Прізвище
*
По батькові
Номер читацького квитка (ХАІ)
E-mail
*
Місто
Категорія користувача
Студент
Викладач
Науковий співробітник
Аспірант
Співробітник університету
Учень ліцею
Розділ
*
Авіація і космонавтика
Астрономія
Аеродинаміка
Бухгалтерія
Військова техніка
Географія
Двигуни. Силові установки
Деталі машин
Мистецтво
Історія
Комп'ютерна технологія
Космонавтика. Ракетна техніка
Культурологія
Логіка
Маркетинг
Математика
Машинобудування
Освіта. Виховання. Навчання
Пневмоенергетіка. Холодильна техніка
Право. Юридичні науки
Психологія
Релігія. Теологія
Соціологія
Стандартизація та стандарти
Теплодинаміка
Технологія механічної обробки матеріалів
Управління підприємствами. менеджмент
Фізика
Філософія
Фінанси
Хімія
Економіка. Економічні науки
Електротехніка
Етика
Мовознавство
Екологія
Загальні питання
Ракетна техніка й озброєння
Телекомунікації. Зв'язок. Радіотехніка
інше
Кібернетика. Автоматика
Питання
*
Замовити частина документа (книгу)
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом тижня (в зависмости від складності запиту).
Відомості про замовника
Ім'я
*
Прізвище
*
По батькові
Номер читацького квитка (ХАІ)
E-mail
*
Місто
Відомості про книгу
Автор
*
Назва
*
Рік видання
*
Місце видання
*
Том
*
Сторінки
*
Замовити статтю з журналу / збірника
Ми обробляємо онлайн заявки в першу чергу. Довідка обробляється протягом тижня (в зависмости від складності запиту).
Відомості про замовника
Ім'я
*
Прізвище
*
По батькові
Номер читацького квитка (ХАІ)
E-mail
*
Місто
Відомості про статтю з журналу / збірника
Название журнала/сборника
*
Автор
*
Назва статті
*
Рік видання
*
Місце видання
*
Номер журналу / збірника
*
Сторінки
*