Now showing items 1-20 of 834

    • A type system for formal verification of cyber-physical systems C/C++ software 

      Manzhos, Y.; Sokolova, Y. (KhAI, 2024)
      The subject: This study focuses on improving the quality of Cyber-Physical System (CPS) software by eliminating incorrect usage of units of measurement and orientation in C/C++ programs. Incorrect usage often leads to ...
    • Agriculture in Bulgaria: from European Union accession to the COVID-19 pandemic 

      Bezpartochnyi, Maksym; Britchenko, Igor; Vazov, Radostin (VUZF Publishing House “St. Grigorii Bogoslov”, 2021-06-06)
      Agriculture in Bulgaria is one of sectors country’s economy in which significant changes have taken place over the past three decades: in the field of economic relations, the structure of farms, the size and production ...
    • Calculation of economic indicators for IT-enterprises 

      Pavlenko, T.Y.; Safronov, Y.V.; Shvedova, D.S.; Kupriyanova, V.S. (KhAI, 2018)
      Tutorial gives methodology for performing calculation paper including the most important topics of Enterprise Economics. The main focus is given to the calculation of resource requirements and methodological approaches to ...
    • Calculation of economic indicators for machine-building enterprises 

      Pavlenko, T.Y.; Safronov, Y.V.; Shvedova, D.S.; Kupriyanova, V.S. (KhAI, 2018)
      Tutorial gives methodology for performing calculation paper including the most important topics of Economics of Enterprise. The main focus is given to the calculation of resource requirements and methodological approaches ...
    • Computer graphics 

      Luchshev, P.A.; Gulub, N.G. (KhAI, 2024)
      The principles and methods of creating software applications that use OpenGL computer graphics, modern programming languages (C#, C++) and an objectoriented programming model are considered. For students of the specialty ...
    • EARNED VALUE - инструмент и философия управления проектами 

      Плахов, Ю.М.; Назаренко, Ю.А. (ХАИ, 2003)
      Описаны преимущества и основные выгоды применения метода управления IT-проектом по заработанной стоимости. Проведен анализ соответствия описанного метода ключевым элементам практики Модели технологической зрелости ...
    • Economic Theory 

      Dmytriiev, I.; Britchenko, I.; Levchenko, Y.; Shershenyuk, O.; Bezpartochnyi, M. (Professor Marin Drinov Publishing House of BAS, 2020-11)
      Economic theory is the science that studies the actions of people in the process of choosing rare resources for the production, exchange, distribution and consumption of goods and services. Economic theory is a science ...
    • Economics of enterprise 

      Safronov, Y.; Kupriyanova, V.; Kornilov, L.; Pavlenko, T.; Voronko, V. (KhAI, 2014)
      Tutorial covers the most important problems of economics of enterprise. Its authors focus on the ways to calculate resource requirements and their application, calculate cost estimates and production costs, evaluate the ...
    • Efficiency improvements of batch production of sheet parts with method of electrohydroimpulse forming 

      Golovanova, М.А.; Gonzalez, В.; Knyazyev, М.К. (ХАИ, 2007)
      Analysis of influences of main factors that determine efficiency of sheet-forming production: manufacturing, organizational, designing factors, is performed. Analysis of constituents of piece and piece-calculation times ...
    • Enterprises' information interaction with banks under the social banks concept 

      Stoliarchuk, H.; Lanchinska, V. (ХАІ, 2019)
      Nowadays enterprises as clients need quality cooperation with banks to form objective information on their financial statements. In this connection, a prerequisite for effective cooperation between banks and enterprises ...
    • FinTech та фінансові інновації 

      Ліхоносова, Г.С. (ХАІ, 2025)
      Висвітлено основні тенденції та технології, що формують сучасну фінансову систему в епоху цифровізації. Проаналізовано ключові інновації у фінансовій галузі, у тому числі блокчейн, криптовалюти, смартконтракти, платіжні ...
    • Formal model of technological processes's description of complex technical systems's tests 

      Turkin, I.B.; Luchshev, P.A. (ХАІ, 2006)
      Theoretical aspects of application of the problem-oriented language for description the tests of the technological processes of complex technical systems are considered. The formal grammar of language and features of use ...
    • Fundamentals of aerospace engineering 

      Ryzhkova, V.V.; Ryzhkov, S.V. (KhAI, 2018)
      The main information on the following topics is presented: «History of Aviation Development», «Aircraft Classification», «General Principles of the Aircraft Flight Theory», «Aircraft Structure», «Aircraft Basic Parts, ...
    • Game theoretical approach to cooperation in autonomous wireless networks 

      Vartanjan, V.M.; Turkina, V.V. (ХАІ, 2016)
      The principles of construction of wireless Ad-hoc networks are discussed. It is shown that improved quality of service in the mobile Ad-hoc net-works achieved by integration of heterogeneous wireless access technologies. The ...
    • Humanization of economic science, human beings and production organization: problems and prospects 

      Doronin, A.; Doronina, M.; Mykhailenko, D. (ХАІ, 2021)
      Economic instability, intensification of social problems, uncertainty of economic development guidelines in Ukraine indicate the need in reviewing problems and prospects of economic science and practice. The purpose of ...
    • Information security audit for enterprises information assets protection in global challenges conditions 

      Tatar, M.; Perepelytsia, Y. (ХАІ, 2023)
      In the modern conditions of global challenges, along with climate action failure, extreme weather, human environmental damage, there are cyberattacks and data fraud or theft, the spread of infectious diseases (pandemics), ...
    • IoT-платформа для вібраційної діагностики промислового обладнання 

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