• українська
    • English
    • русский
    • Deutsch
Institutional Digital Repository of National Aerospace University KHAI
  • English 
    • українська
    • English
    • русский
    • Deutsch
  • Login
Search 
  •   dKHAIIR Home
  • Search
  •   dKHAIIR Home
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-10 of 99

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

Безопасность аэрокосмической техники и надежность компьютерных систем 

Харченко, В.С.; Скляр, В.В.; Тарасюк, О.М. (ХАИ, 2004)
Проведен анализ рисков, возникающих при использовании аэрокосмической (авиационной и ракетно-космической) техники (АРКТ) вследствие отказов их оборудования и различных системных компонент. Сопоставлены причины отказов ...
Thumbnail

Имитационное моделирование отказоустойчивых бортовых систем управления с программируемой логикой с учетом факторов среды 

Ушаков, А.А.; Харченко, В.С. (ХАИ, 2004)
Сформулирована задача оценки влияния отказов на работоспособность встроенных систем управления с программируемой логикой (ВСУПЛ). Раскрыты возможные пути решения задачи при помощи различных методов моделирования. Описан ...
Thumbnail

Гарантоздатність комп'ютерних систем: проблеми і результати 

Харченко, В.С. (ХАИ, 2005)
Аналізуються проблеми гарантоздатності комп’ютерних систем, пов’язані із комплексним забезпеченням надійності та безпечності (аварійної – safety та інформаційної – security). Надається огляд основних задач, теоретичних і ...
Thumbnail

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

Скляр, В.В.; Остроумов, В.Б.; Сидоренко, Н.Ф.; Харченко, В.С. (ХАИ, 2007)
Изложен опыт разработки и использования стандарта предприятия СТП 522-120-2004, содержащего требования к разработке, верификации, сертификации и сопровождению программного обеспечения бортовой авиационной техники. Проведен ...
Thumbnail

Модели безотказности и готовности встроенных мультидиверсных систем 

Харченко, В.С.; Скляр, В.В.; Сиора, А.А.; Белый, Ю.А. (ХАИ, 2008)
Проанализировано применение принципа диверсности для встроенных аэрокосмических систем. Определено понятие мультидиверсной системы (МДВС). Разработаны модели надежности (безотказности и готовности) МДВС с учетом возможных ...
Thumbnail

Безопасность ракетно-космической техники и надежность компьютерных систем: 2000–2009 гг. 

Горбенко, А.В.; Засуха, С.А.; Рубан, В.И.; Тарасюк, О.М.; Харченко, В.С. (ХАИ, 2011)
Представлена статистика запусков ракетоносителей и космических аппаратов в 2000–2009 гг., а также проведен анализ рисков, возникающих при использовании ракетно-космической техники вследствие отказов оборудования и различных ...
Thumbnail

Елементи методології оперативної коригувальної верифікації програмних засобів інформаційно-управляючих систем космічних апаратів 

Харченко, В.С.; Замірець, М.В.; Засуха, С.О.; Поночовний, Ю.Л. (ХАИ, 2011)
Проведено аналіз програмного забезпечення (ПЗ) інформаційно-керуючих систем (ІКС) космічних систем (КС) як об'єкта верифікації, нормативної бази й існуючих методів верифікації ПЗ КС. Уведене поняття оперативної коригувальної ...
Thumbnail

Возможности совместного использования современных методов анализа отказов систем, важных для безопасности 

Бабешко, Е.В.; Харченко, В.С. (ХАІ, 2009)
В статье проанализированы существующие методы анализа отказов, применяющиеся при разработке систем, важных для безопасности. Показаны их достоинства и недостатки, предложены критерии, по которым можно произвести сравнение ...
Thumbnail

Модели оценки надежности программных средств с учетом недетерминированного числа вторичных дефектов 

Руденко, А.А.; Одарущенко, О.Н.; Харченко, В.С. (ХАІ, 2010)
Рассмотрены модифицированные модели оценки надежности программных средств Джелинского-Моранды и простая экспоненциальная модель, в которых учтены возможности внесения новых (вторичных) дефектов в процессе устранения ...
Thumbnail

Модели автоматизированных систем периметровой охраны объектов с «пассивным» нарушителем 

Коваленко, Н.С.; Харченко, В.С. (ХАІ, 2010)
Проведен анализ структурных и функциональных моделей автоматизированных систем периметровой охраны объектов с учетом размещения датчиков контроля, коммуникационных средств и обработки информации.
  • 1
  • 2
  • 3
  • 4
  • . . .
  • 10

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Discover

Author
Харченко, В.С. (99)
Скляр, В.В. (15)Поночовний, Ю.Л. (7)Фесенко, Г.В. (6)Горбенко, А.В. (5)Тарасюк, О.М. (5)Белый, Ю.А. (4)Иванченко, О.В. (4)Одарущенко, О.Н. (4)Антощук, С.Г. (3)... View MoreSubjectрадиоэлектронные и компьютерные системы (86)радіоелектронні і комп'ютерні системи (85)программное обеспечение (13)програмне забезпечення (13)безопасность (11)безпека (10)информационно-управляющая система (10)інформаційно-керуюча система (10)дефект (8)авиационно-космическая техника и технология (7)... View MoreDate Issued2020 - 2025 (13)2010 - 2019 (52)2003 - 2009 (33)Has File(s)Yes (99)

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV