• українська
    • English
    • русский
    • Deutsch
Institutional Digital Repository of National Aerospace University KHAI
  • English 
    • українська
    • English
    • русский
    • Deutsch
  • Login
Search 
  •   dKHAIIR Home
  • Факультет програмної інженерії та бізнесу (№ 6)
  • Search
  •   dKHAIIR Home
  • Факультет програмної інженерії та бізнесу (№ 6)
  • 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 18

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

Оценка полноты семантического контроля программного обеспечения информационно-управляющих систем 

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

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

Петрик, В.Л. (ХАІ, 2007)
Показаны проблемы экспертизы, основанной на оценке семантической корректности программного обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью. Предложен метод эффективного представления ...
Thumbnail

Модель дефектов программного обеспечения 

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

Целочисленное семантическое отображение 

Петрик, В.Л. (ХАІ, 2007)
Показаны проблемы контроля функциональности программного обеспечения, основанного на оценке семантической корректности программного обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью ...
Thumbnail

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

Конорев, Б.М.; Петрик, В.Л. (ХАИ, 2006)
Рассмотрено влияние статистических характеристик систем единиц физических величин на достоверность и ресурсоемкость семантической независимой верификации программного обеспечения, основанный на анализе размерностей программных ...
Thumbnail

Статистична оцінка стійкості економічного розвитку країн південного Кавказу 

Петрик, В.Л.; Гусейнова-Карімова, С. (ХАІ, 2023)
Метою статті є аналіз позицій країн Південного Кавказу (Азербайджану, Вірменії та Грузії) в міжнародних рейтингах в динаміці; визначення рівня сталого розвитку країн на основі рейтингу індексів провідних міжнародних ...
Thumbnail

Статистичний аналіз авіаційної галузі України в умовах нестабільного попиту на авіаперевезення 

Петрик, В.Л. (ХАІ, 2021)
Метою статті є аналіз закономірностей й тенденцій, притаманних сучасному ринку авіаційних перевезень України, та прогноз його розвитку в умовах нестабільного попиту на авіаперевезення.
Thumbnail

Калибровка чувствительности дескрипторного семантического контроля программного обеспечения информационно-управляющих систем 

Петрик, В.Л.; Манжос, Ю.С. (ХАИ, 2012)
Представлена процедура калибровки чувствительности дескрипторного семантического контроля программного обеспечения информационно-управляющих систем. Приведены качественные результаты калибровки в режиме статического и ...
Thumbnail

Управління конкурентоспроможністю підприємства 

Петрик, В.Л. (ХАІ, 2020)
Висвітлено теоретико-методичні й прикладні аспекти управління конкурентоспроможністю підприємства. Розкрито функціональні основи розвитку конкурентних відносин з урахуванням інституціональних чинників конкуренції ...
Thumbnail

Маркетинг промислового підприємства 

Вартанян, В.М.; Воляк, О.О.; Голованова, М.А.; Клименко, Т.А.; Мельніков, С.М.; Петрик, В.Л.; Філіпковська, Л.О. (ХАІ, 2015)
Викладено теоретичні матеріали за нормативною програмою з курсу «Маркетинг промислового підприємства». Особливу увагу приділено характеристиці суб’єктів маркетингу в діяльності підприємств на промисловому ринку, формуванню ...
  • 1
  • 2

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

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CommunityBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Discover

Author
Петрик, В.Л. (18)
Голованова, М.А. (4)Клименко, Т.А. (3)Манжос, Ю.С. (3)Мельніков, С.М. (3)Філіпковська, Л.О. (3)Вартанян, В.М. (2)Воляк, О.О. (2)Гусейнова-Карімова, С. (1)Конорев, Б.М. (1)... View MoreSubjectпрограммное обеспечение (4)програмне забезпечення (4)информационно-управляющая система (3)независимая верификация (3)незалежна верифікація (3)радиоэлектронные и компьютерные системы (3)радіоелектронні і комп'ютерні системи (3)інформаційно-керуюча система (3)дескрипторна алгебра (2)дескрипторная алгебра (2)... View MoreDate Issued2020 - 2025 (5)2010 - 2019 (7)2006 - 2009 (6)Has File(s)Yes (18)

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