1. Наука
  2. Видання
  3. Збірник наукових праць Харківського національного університету Повітряних Сил
  4. 4(62)'2019
  5. Методический подход к формированию и верификации цифровых выходных данных дальности и продолжительности полета летательных аппаратов

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

С.И. Смык, А.Ф. Кудрявцев, И.Н. Клюшников, И.А. Кулинич
Аннотации на языках:


Анотация: Проведен анализ способов формирования цифровых выходных данных, определены их преимущества и недостатки. Разработан методический подход и представлен программный комплекс формирования и верификации цифровых выходных данных дальности и продолжительности полета летательных аппаратов. Рассмотрены процессы предоставления цифровым выходным данным требуемой формы и проведения сравнительных оценок растрового (исходного) изображения номограмм и построенных по результатам преобразования их в цифровой вид. Приведены практические примеры реализации методического подхода к формированию и верификации цифровых выходных данных дальности и продолжительности полета для дальнейшего их использования в автоматизированных системах обработки данных.


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

Список литературы

1. Світличний О.О. Основи геоінформатики / О.О. Світличний, С.В. Плотницький. – Суми: Університетськакнига, 2006. – 295 с.
2. Інформаційно-вимірювальні системи відновлення і ущільнення зображень: монографія / А.М. Пєтух, О.М. Рей-да, В.П. Майданюк, В.П. Кожем’яко. – Вінниця: ВНТУ, 2011. – 144 с.
3. Lyu M.R. Handbook of Software Reliability Engineering / M.R. Lyu. – New York: McGraw-Hill Company, 1996. – 805 p.
4. Leveson N. Safeware: System Safety and Computers. – USA: Addison-Wesley, 1995. – 431 p.
5. Харченко В.С. Методы моделирования и оценки качества и надежности программного обеспечения. / В.С. Ха-рченко, В.В. Скляр, О.М. Тарасюк. – Х.: Харьковский авиационный институт, 2004. – 159 с.
6. Бурякова Н.А. Классификация частично формализованных и формальных моделей и методов верификациипрограммного обеспечения / Н.А. Бурякова, А.В. Чернов // Инженерный Вестник Дона. – 2010. – № 4. – C. 129-134.
7. Кулямин В.В. Методы верификации программного обеспечения / В.В. Кулямин. – М.: Институт СистемногоПрограммирования РАН, 2008. – 111 с.
8. Липаев В.В. Программная инженерия. Методологические основы / В.В. Липаев. – М.: Теис, 2006. – 608 с.
9. Boehm B. Software Defect Reduction Top 10 List. / B. Boehm, V. Basili // IEEE Computer. – 2001. – № 34(1). –Р. 135-137.
10. Deimel L.E. Applying Program Comprehension Techniques to Improve Software Inspections / L.E. Deimel, S. Rifkin //The Software Practitioner. – 1995. – № 5(3). – Р. 4-6.
11. Gilb T. Software Inspection [Електронний ресурс] / T. Gilb, D. Graham // Addison-Wesley. – 1993. Режим доступу:https://onlinelibrary.wiley.com/doi/abs/10.1002/smr.4360070306.
12. Самолет МиГ-29. Руководство по дальности и продолжительности полета самолета МиГ-29. – М.: Воениздат,1985. – 120 с.