Розроблено засоби для проектування соціальних інтелектуальних інтерфейсних засобів. Досліджено програмне забезпечення для навчання в роботі з персональним комп'ютером С-користувачів. Спроектовано ігрові сценарії для сліпих. Визначено параметри інтерфейсних засобів програм для даної категорії користувачів, різних систем формування, надано підказування та довідкову інформацію. Основну увагу приділено питанню вбудовування інтелектуальних агентів у програмний інтерфейс з метою надання попереджувального підказування користувачеві, індивідуалізації інтерфейсу шляхом автоматичного настроювання параметрів з урахуванням користувача. Описано інструмент, на базі якого будуються інтелектуальні агенти - Просторово Розріджена Пам'ять (SDM). Наведено алгоритми швидкого перенавчання SDM і відповідні його оцінки ефективності, модифікації SDM, які дозволили підвищити інтелектуальність інтерфейсів користувача. Зокрема, розроблено модифікацію для надання попереджувального підказування С-користувачеві та модифікацію для автоматизації процесу отримання результатів числового прогнозування з урахуванням подібності зразків на різних сеансах прогнозування. Досліджено програмні продукти, що реалізують указані підходи та інструменти - комплекс програмних засобів, орієнтованих на С-користувачів (ігрові програми, текстовий редактор RED1, тренажер клавіатури TRKSL, навчально-вимірювальний комплекс для оцінки параметрів взаємодії С-користувач-комп'ютер) і пакети числового прогнозування Forecasting ToolPack і PREDICTOR for Excel.

  Скачати повний текст

Розвинуто близьку до природної мову проектування комп'ютерних систем (КС) систем алгоритмічних алгебр (САА)/Д - вхідну мову діалогової трансформаційної машини (ДТМ) шляхом розширення засобами діалогової взаємодії користувача та КС, що проектується. Запропоновано апарат параметризованих шаблонів, який використовується у разі підключення до мови САА/Д цільових мов програмування (МП) і дозволяє встановити однозначну відповідність між САА/Д-схемами й асоційованими з ними програмами у цільовій МП. Розвинуто машину виводу (МВ) ДТМ шляхом розробки її компоненти - інтелектуального редактора, що дозволяє не лише динамічно (у діалозі) проектувати синтаксично правильні САА/Д-схеми, зокрема, змістовні ідентифікатори операторів і умов, але й асоційовані з цими схемами програми у цільових МП. Розроблено структуру бази знань (БЗ) ДТМ і механізми її супроводу та модифікації відповідно до діалогових алгебро-граматичних моделей представлення знань і методів підключення цільових МП. Наведено САА/Д-схеми, САА/Д-формули, програми, що дозволяють підтримувати спіральну модель життєвого циклу КС. Уперше алгоритми синтезу операційних пристроїв (ОП) за їх функціональними мікропрограмами, представленими у вигляді граф-схем, розповсюджені на САА/Д-схеми, що дозволяє автоматизувати процеси проектування ОП та оптимізувати їх структуру і затрати обладнання не лише за методами структурної теорії автоматів, але й методами алгебри алгоритмів.

  Скачати повний текст

Запропоновано концептуальне рішення щодо архітектури системи. Дане рішення є базою для створення інформаційної моделі національного ринку товарів і послуг. Розглянуто її використання для маркетингових досліджень та моніторингу стану ринків. Досліджено проблематику створення репозитарія метаданих як первинного інструменту, що забезпечує підтримку процесу статистичного виробництва від збирання статистичної інформації в єдиному інтегрованому сховищі до обслуговування запитів користувачів і є базою для створення інструментарію забезпечення якості даних. Надано методичні рекомендації щодо інтеграції інформації з різних джерел статистичної й адміністративної інформації. Розроблено методику практичної реалізації статистичної інформаційної системи.

  Скачати повний текст

Висвітлено еволюцію наукових уявлень стосовно краєзнавчого фонду бібліотеки. Уточнено обсяг і зміст базових понять "краєзнавчий документ" і "краєзнавчий фонд". Виявлено специфіку краєзнавчих інформаційних потреб користувачів та краєзнавчих фондів бібліотек України. Обгрунтовано теоретичні, організаційні та методичні засади інтеграції краєзнавчих фондів бібліотек за умов інформатизації та розроблено концептуальні засади єдиного розподіленого краєзнавчого фонду бібліотек регіону. Запропоновано методику селекції краєзнавчих документів за умов інтеграції даних фондів. Визначено стратегічні напрями збереження краєзнавчих фондів у бібліотеках регіону, а також розглянуто основні складові інформаційної структури їх єдиного розподіленого краєзнавчого фонду.

  Скачати повний текст

Дисертацію присвячено обґрунтуванню теоретико-методичних підходів та прикладних рекомендацій у сфері формування інтегрованих маркетингових комунікацій комерційних банків України.У роботі узагальнено теоретико-методичні основи наукових досліджень у сфері формування маркетингових комунікацій підприємств загалом та комерційних банків зокрема, їх інтегрованих маркетингових комунікацій, встановлено авторську позицію щодо їх визначення. На противагу існуючим підходам та визначенням подані у роботі дозволяють досягнути їх субординації та уникнути цільових конфліктів, прийнявши за основу ієрархічний ланцюг: комунікації, маркетингові комунікації, банківські маркетингові комунікації, інтегровані маркетингові комунікації банків.Сформовано семантичну модель брендингу комерційного банку. Вона передбачає використання як основних складових інтегрованих маркетингових комунікацій комерційного банку для формування його бренду, так і синтетичних (допоміжних) та їх узгодження з впливом інших складових комплексу маркетингу банку. Як синтетичні складові інтегрованих маркетингових комунікацій комерційних банків пропонується розглядати передусім вірусний маркетинг, маркетинг подій та інтегровані маркетингові комунікації в місцях продажу. Розвинуто механізм організації інтегрованих маркетингових комунікацій у діяльності банків, складовими якого виокремлено маркетинговий аналіз ринкової ситуації; вибір цільових аудиторій, формування бюджету на просування; прийняття маркетингових рішень щодо інтегрованих маркетингових комунікацій; складанням графіку поширення інформації та реалізація заходів інтегрованих маркетингових комунікацій банку, оцінювання їх ефективності з визначенням впливу на імідж та репутацію комерційного банку. Запропонований механізм дозволяє досягти відповідної просторово-часової гармонізації маркетингових комунікацій комерційного банку та підпорядкувати процес їх цілям стратегічного розвитку, зокрема, цілям сталого розвитку. На підставі проведених маркетингових досліджень визначено уподобання різних сегментів ринку банківських продуктів – фізичних осіб різного віку та статі стосовно складових маркетингових комунікацій комерційних банків та встановлено ту ознаку сегментації ринку, що відображає відмінність таких уподобань з використанням критерію х2. Проведені дослідження дозволили встановити залежність впливу складових маркетингових комунікацій комерційних банків на клієнтів залежно від їх віку та їх фактичну відсутність залежно від статі клієнтів. Визначено різний вплив окремих складових системи маркетингових комунікацій на клієнтів, які належать до різних сегментів ринку. Метою розроблення заходів щодо вдосконалення діяльності комерційного банку є покращання його фінансових показників, для досягнення якої запропоновано використання лагової моделі. Результати дослідження засвідчили, що для маркетингових комунікацій комерційних банків ефект від їх впливу на обсяги реалізації банківських продуктів в середньому зберігається в продовж п'яти років.З урахуванням результатів опитування та використання методу аналізу ієрархій розроблено рекомендовану структуру інтегрованих маркетингових комунікацій для банків на роздрібному ринку залежно від приналежності клієнтів до певного сегменту, визначено пріоритети у використанні для них певних складових маркетингових комунікацій, подано рекомендовані ідеї для об'єднання комунікаційних інструментів у межах реалізації сегментоорієнтованого підходу, запропоновано системи інтегрованих маркетингових комунікацій для кожної вікової групи, які об'єднані певною основною ідеєю. Проведений аналіз маркетингових комунікацій великих комерційних банків в Інтернеті на основі даних про показники трафіку їх сайтів дозволив встановити такі проблеми функціонування їх Інтернет-комунікацій як високий показник відмов на сайтах, неефективне використання медійної реклами та поштової розсилки, недостатня активність банків у соціальних мережах, неефективне формування партнерських програм в Інтернеті для стимулювання партнерами реферального трафіку. З використанням концепції бенчмаркінгу визначено напрями вирішення виявлених проблем, що дозволить підвищити ефективність просування продуктів комерційних банків в умовах цифрової економіки. Встановлено, що особливу увагу комерційним банкам слід звернути на ті соціальні мережі, активними користувачами яких є підлітки та молодь, зокрема Tiktok та Instagram, для формування у них прихильності до даного банку у майбутньому^UThe dissertation is devoted to substantiation of theoretical and methodical approaches and applied recommendations in the field of formation of integrated marketing communications of commercial banks of Ukraine.The paper summarizes the theoretical and methodical foundations of research in the field of marketing communications of enterprises in general and commercial banks in particular, their integrated marketing communications, established the author's position on their definition. In contrast to the existing approaches and definitions presented in the paper allow to achieve their subordination and avoid targeted conflicts, based on a hierarchical chain: communications, marketing communications, banking marketing communications, integrated marketing communications of banks.A semantic model of commercial bank branding has been formed. It involves the use of both the main components of integrated marketing communications of a commercial bank for the formation of its brand, and synthetic (auxiliary) and their coordination with the influence of other components of the marketing complex of the bank. As synthetic components of integrated marketing communications of commercial banks, it is proposed to consider primarily viral marketing, event marketing and integrated marketing communications at points of sale.The mechanism of organization of integrated marketing communications in the activity of banks is developed, the components of which are the marketing analysis of the market situation; selection of target audiences, budgeting for promotion; making marketing decisions on integrated marketing communications; scheduling the dissemination of information and implementation of measures of integrated marketing communications of the bank, assessing their effectiveness to determine the impact on the image and reputation of a commercial bank. The proposed mechanism allows to achieve appropriate spatio-temporal harmonization of marketing communications of a commercial bank and to subordinate the process to the goals of strategic development, in particular, the goals of sustainable development.Based on marketing research, the preferences of different market segments of banking products - individuals of different ages and genders in relation to the components of marketing communications of commercial banks and identified a feature of market segmentation that reflects the difference between such preferences using criterion х2. The conducted researches allowed to establish the dependence of the influence of the components of marketing communications of commercial banks on clients depending on their age and their actual absence depending on the sex of clients. Different influences of separate components of the system of marketing communications on clients belonging to different market segments are determined.The purpose of developing measures to improve the activities of a commercial bank is to improve its financial performance, to achieve which it is proposed to use a lag model. The results of the study showed that for marketing communications of commercial banks, the effect of their impact on sales of banking products lasts an average of five years. Taking into account the results of the survey and using the method of hierarchy analysis, the recommended structure of integrated marketing communications for banks in the retail market depending on the affiliation of customers to a particular segment, priorities in using certain components of marketing communications, recommended ideas for implementation of a segment-oriented approach, proposed systems of integrated marketing communications for each age group, which are united by a certain basic idea.The analysis of marketing communications of large commercial banks on the Internet on the basis of data on traffic indicators of their sites allowed to identify such problems of functioning of their Internet communications as high failure rates on sites, inefficient use of media advertising and mailing, insufficient activity of banks in social networks, inefficient formation affiliate programs on the Internet to encourage referral traffic by partners. Using the concept of benchmarking, the directions of solving the identified problems are identified, which will increase the efficiency of promoting the products of commercial banks in the digital economy. It has been established that commercial banks should pay special attention to those social networks whose active users are adolescents and young people, in particular Tiktok and Instagram, in order to form their commitment to this bank in the future

З'ясовано сутність поняття інтегровані маркетингові комунікації на ринку послуг і запропоновано механізм їх інтегрування на підприємстві. Доведено необхідність застосування індивідуального підходу до користувачів через надання диференційованих пропозицій мобільних послуг, спеціально розроблених заходів з урахуванням потреб цільових користувачів і дослідження рівня їх активності. Розроблено алгоритм формування програм лояльності відповідно до профілю користувачів виділених цільових сегментів. Запропоновано окрему програму лояльності для 10-ти виділених цільових сегментів користувачів з урахуванням рівня активності споживання мобільних послуг щодо байдужих, пасивних і лояльних користувачів.

  Скачати повний текст

Робота присвячена розробці методів підвищення техніко-експлуатаційних характеристик суднових засобів радіозв'язку і навігації за рахунок їхнього інтегрування і спільної обробки даних в умовах збереження базового складу суднового обладнання, практичних вимог користувачів – вахтових офіцерів і врахування світових трендів розвитку морських технологій за концепцією енавігації.Висунуті новітні ідеї спільного використання даних спостереження незалежно розроблених і впроваджених за вимогами міжнародної концепції СОЛАС систем навігації - автоматичної ідентифікаційної системи (АІС), глобальної навігаційної супутникової системи (GPS) і систем наземного радіозв'язку з використанням цифрового вибіркового виклику (ЦВВ) і радіотелефонії, що дозволило отримати нові якості з управління радіозв'язком і навігаційного спостереження.Запропоновано використання графічного інтерфейсу для моніторингу/ управління радіозв'язком, якій дозволяє підвищити ефективність і надійність адресного радіозв'язку, забезпечити стандартизацію користувальницького інтерфейсу на противагу різноманіття кнопкових приборних інтерфейсів радіообладнання численних виробників.Обґрунтовано і досліджено вибір комунікаційного інтерфейсу для дистанційного управління модулями радіозв'язку. Розроблений спосіб автоматичної ідентифікації (АІ) радіотелефонних передач і передавання додаткової інформації із залученням сучасної технології цифрових водяних знаків (ЦВЗ). Доведені переваги цього способу АІ для своєчасної ідентифікації станції, що передає в порівнянні з існуючими способами мовної ідентифікації і системою ATIS, яка використається на внутрішніх водах континентальної Європи. Розроблені і досліджені алгоритми формування і виявлення ЦВЗ, які придатні для практичного використання в реальних радіоканалах за умови врахування впливу усіх можливих перешкод (атак). Вирішена задача оптимізації компромісних параметрів алгоритмів в площині кількість інформації – якість сигналу – завадостійкість. Доведено, що найкращі показники дозволяють отримати алгоритми вбудовування даних ЦВЗ в частотній області дискретного перетворення Фур'є і використання інформованого кодеру.Виконано математичне моделювання алгоритмів, розроблені експериментальні прототипи апаратно-програмного комплексу інтегрованої системи радіозв'язку і навігації та системи АІ радіотелефонних передач в реальних радіоканалах морського зв'язку. Ключові слова: цифровий вибірковий виклик, автоматична ідентифікаційна система, радіотелефонія, інтерфейс, ідентифікація, цифрові водяні знаки, інформація.^UThe doctoral thesis is devoted to the development of methods to improve the technical and operational characteristics of ship radio and navigation facilities through their integration and joint data processing in the condition of maintaining the basic composition of ship equipment, practical user needs – officer of the watch and taking into account global trends in marine technology.In the thesis the new ideas for the combined using of observation data from the independently developed and implemented according to the requirements of the international concept of SOLAS navigation systems - automatic identification system (AIS), global navigation satellite system (GPS) and terrestrial radio systems using digital selective call (DSC) and radiotelephony that allowed to obtain new qualities in radio communication control and navigation outsight.It is proposed to use a graphical interface for monitoring / control of radio communication, which allows increasing the efficiency and reliability of the address radio communication, to provide standardization of the user interface in contrast to the variety of button instrument interfaces of radio equipment from outnumbered manufacturers.Currently AIS is an obligatory equipment to be carried on board all vessels. AIS provides for the exchange of information which includes vessel's identification number (MMSI). Electronic chart display and information system (ECDIS) or another multifunction information display, while operating with AIS, enables it to indicate vessels within the AIS operating area, i.e. approximately 30 nautical miles, and to reflect them on ECDIS or information display.The combination of the very high frequency (VHF) DSC equipment with the AIS – Information display allows:– to eliminate, practically, the procedure of DSC forming while substituting manual operations by means choosing AIS target of the vessel to be called on the Information display; and – to provide identification of a calling vessel on the electronic chart and thus to make the process of attachment of the called/calling vessel to the navigation situation automatically. A calling vessel can be indicated on the display by a blinking mark which will allow the officer of the watch quickly estimate the navigational situation and make an effective decision. The unique character of the vessel's identification is provided by the presence of vessel identifier (MMSI) both in DSC and AIS. It gives the ability of automatic attachment the calling vessel to the current navigation situation represented on a navigation display.The choice of communication interface for remote handling the radio communication modules is grounded and investigated. Standard of International Electrotechnical Committee IEC 61162-1/2 is selected for serial data exchange.A method of automatic identification (AI) of radiotelephone transmissions and transfer of additional information using the modern technology of digital watermarking has been developed. Audio watermarking refers to inaudible embedding of additional data just into the post microphone signal, using standard marine installations without any additional radio channel resources. The addressed, properly identified VHF radiotelephone communication is very important for safe navigation. AI, in turn, ensures efficient messaging from the very beginning of a radio transmission, while eliminating the human factor inherent in voice identification. AI allows identifying anonymous, intentionally compromised and harmful transmissions such as transmission button falling back in a VHF transceiver.AI makes possible integrating MMSI detected data and AIS data for graphic display of the transmitting station.Algorithms for audio watermarking were designed application in the real VHF radio channels, provided that the influence of all possible interferences (attacks) is taken into account. The problem of compromise parameters optimization for algorithms in the plane amount of information - signal quality - noise immunity was analyzed. It is proved that the best audio watermarking characteristics may be obtained algorithms for data embedding in the frequency domain of discrete Fourier transform and using an informed encoder.Mathematical modeling of algorithms is performed. Experimental prototypes of the hardware and software complexes of the integrated radio communication and navigation system and AI system of radiotelephone transmissions in the real maritime VHF channels are developed.Keywords: digital selective calling, automatic identification system, very high frequency, radio telephony, interface, identification, digital watermarking, information

У дисертації поглиблено теоретико-методичні засади та розроблено практичні рекомендації щодо розробки та впровадження інтелектуальних систем управління у сільське господарство у контексті становлення індустрії 4.0 в Україні. Здійснено аналіз та систематизацію термінів «управління підприємством», «аграрна компанія», «система управління», «інтелектуальна система управління», «автоматизоване робоче місце». Розглядаючи поняття управління підприємством ми визначали його як процес прийняття рішень, організацію ресурсів та керування діяльністю підприємства з метою досягнення стратегічних цілей та оптимізації результатів. У контексті аграрної сфери, управління підприємством охоплює такі аспекти, як планування виробництва, фінансовий аналіз, маркетинг, кадровий управління та багато інших. Поняття аграрна компанія на основі українського та міжнародного досвіду вказує на підприємства, які спеціалізуються на сільському господарстві та супутніх галузях, таких як вирощування сільськогосподарських культур, тваринництво, агропереробка та інше. Аграрні компанії можуть бути великими корпораціями, або малими господарствами. Система управління являє собою комплексний підхід до організації та керування діяльністю підприємства або галузі. Включає в себе методи, процедури та інструменти для прийняття рішень, моніторингу та оптимізації робочих процесів з метою досягнення стратегічних цілей. Інтелектуальна система управління ¬ концепція використання інтелектуальних технологій, таких як штучний інтелект та машинне навчання, для підвищення ефективності управління підприємством або галузю. Інтелектуальні системи можуть автоматизувати прийняття рішень, аналізувати великі обсяги даних та надавати цінну інформацію для стратегічного планування Автоматизоване робоче місце це напрям поєднання бізнес-процесів , посадових обов’язків, використання сучасних технологій та програмного забезпечення для оптимізації робочих процесів. Автоматизовані робочі місця дозволяють спрощувати та прискорювати рутинні завдання, покращуючи продуктивність та забезпечуючи легший доступ до необхідної інформації.На основі результатів аналізу була створена модель управління, яка враховує всі особливості та потреби аграрної компанії. Ця модель сприяє оптимізації виробничих процесів, ефективному ресурсному використанню, та покращенню якості продукції. Впровадження цієї моделі управління може допомогти аграрним компаніям підвищити конкурентоспроможність та забезпечити стабільний розвиток в умовах сучасного ринку сільського господарства. Здійснено систематизацію ключових показників для оптимізації управління діяльністю аграрної компанії. Здійснено обробку інформаційних джерел для роботи системи та завантажено у базу даних основні дані для роботи інтелектуальної системи управління. Представлена концепція інтелектуальної системи управління потребує створення автоматизованих робочих місць (АРМ) як мінімального структурного компоненту. Реалізація інтелектуальної системи управління є комплексним заходом і вимагає проведення трьох етапів. Перший етап потребує розробки економіко-математичних моделей процесів управління аграрною компанією, представлення їх мовою програмного засобу та реалізацію зручного інтерфейсу для основних категорій користувачів. На другому етапі проводиться налаштування та встановлення системи. Одночасно з цим відбувається інструктаж працівників щодо роботи з цією системою. На третьому етапі оцінюються економічна ефективність впровадження інтелектуальної системи управління та її вплив на діяльність підприємства. Обґрунтовано інтелектуалізацію систем управління в інноваційній економіці, її тісний звʼязок з підвищенням ефективності діяльності підприємств. Інтелектуальні системи у широкому розумінні визначено як програмний засіб (і одночасно механізм) поширення підтримки прийняття рішень від тактичного до стратегічного рівня планування між субʼєктами, всередині та між галузями/секторами. Також інтелектуальна система управління представлена як рух знань. Визначено особливості управління підприємствами сільського господарства та впливу на систему управління факторів зовнішнього середовища. Запропоновано розглядати такі види інтелектуальних систем: власне інтелектуальні системи; інтелектуалізовані системи; автоматизовані системи з елементами інтелектуалізації, квазіінтелектуальні системи. Обґрунтовано, що в основі інтелектуальних систем лежать економічні інтереси підприємства та раціональна екологічна перспектива, а також оцінка ризиків діяльності. Розроблено економічну ризик орієнтовану модель управління аграрним підприємством на основі екологічного, системного та ризикового підходу до управління. Наголошено на необхідності відмови від універсальних інтелектуальних систем щодо галузей, врахування внутрішніх звʼязків підгалузей сільського господарства зі спеціалізаціями у межах України.^UThe dissertation deepened the theoretical and methodological foundations and developed practical recommendations for the development and implementation of intelligent management systems in agriculture in the context of the formation of Industry 4.0 in Ukraine. The terms "enterprise management", "agrarian company", "management system", "intelligent management system", "automated workplace" were analyzed and systematized. Considering the concept of enterprise management, we defined it as a decision-making process, organization of resources and management of enterprise activities with the aim of achieving strategic goals and optimizing results. In the context of the agricultural sector, enterprise management covers such aspects as production planning, financial analysis, marketing, personnel management and many others. The term agricultural company, based on Ukrainian and international experience, refers to enterprises that specialize in agriculture and related industries, such as growing agricultural crops, animal husbandry, agro-processing, etc. Agricultural companies can be large corporations or small farms. The management system is a comprehensive approach to the organization and management of the activities of an enterprise or industry. It includes methods, procedures and tools for decision-making, monitoring and optimization of work processes in order to achieve strategic goals. Intelligent management system ¬ the concept of using intelligent technologies, such as artificial intelligence and machine learning, to increase the efficiency of managing an enterprise or industry. Intelligent systems can automate decision-making, analyze large volumes of data and provide valuable information for strategic planning. The automated workplace is a direction of combining business processes, job duties, the use of modern technologies and software to optimize work processes. Automated workplaces allow you to simplify and speed up routine tasks, improving productivity and providing easier access to the information you need.Based on the results of the analysis, a management model was created that takes into account all the peculiarities and needs of an agrarian company. This model contributes to the optimization of production processes, efficient resource use, and improvement of product quality. The implementation of this management model can help agricultural companies to increase their competitiveness and ensure stable development in the conditions of the modern agricultural market. Systematization of key indicators to optimize the management of the agricultural company's activities has been carried out. The processing of information sources for the operation of the system was carried out and the main data for the operation of the intelligent control system were uploaded to the database. The presented concept of an intelligent management system requires the creation of automated workplaces (AWP) as a minimum structural component. The implementation of an intelligent management system is a complex undertaking and requires three stages. The first stage requires the development of economic and mathematical models of agricultural company management processes, their presentation in the language of the software tool, and the implementation of a convenient interface for the main categories of users. At the second stage, the system is configured and installed. At the same time, employees are being instructed on how to work with this system. At the third stage, the economic efficiency of the implementation of the intelligent management system and its impact on the enterprise's activities are evaluated. The intellectualization of management systems in the innovative economy is substantiated, its close connection with increasing the efficiency of enterprises. Intelligent systems in a broad sense are defined as a software tool (and at the same time a mechanism) for the dissemination of decision-making support from the tactical to the strategic level of planning between subjects, within and between industries/sectors. Also, the intelligent management system is presented as a movement of knowledge. The peculiarities of the management of agricultural enterprises and the influence of environmental factors on the management system are determined. It is proposed to consider the following types of intelligent systems: actual intelligent systems; intellectualized systems; automated systems with elements of intellectualization, quasi-intelligent systems. It is substantiated that the economic interests of the enterprise and a rational ecological perspective, as well as the assessment of activity risks, are the basis of intelligent systems.

Дисертація є комплексним дослідженням особливостей використанняінтерактивності як засобу формування утилітарних та естетичних аспектівдизайну дитячої друкованої книги, що важливо на тлі розвитку електроннихзасобів комунікації. Останніми роками книга вже не сприймається як єдинийможливий універсальний засіб передачі інформації. Це пов'язано насампередз тим, що користувач звикає до повсякденної взаємодії з медіапростором, доотримання зворотного зв'язку на свої дії, а не статичного сприйняттяінформації. Читач прагне активного відгуку, а не просто читання великихобсягів текстової інформації.Об'єкт дослідження – дизайн дитячої друкованої книги зінтерактивними елементами.Предмет дослідження – інтерактивність як засіб формування дизайнудитячої книги.Теоретико-методологічними засадами дослідження є праціукраїнських і зарубіжних дослідників. Зокрема, студіювання за темоюпроводили:І. Розенсон, І. Нікітіна, В. Ляшенко, Т. Битачевська, В. Даниляк,В. Муніпов, П. Балюта, які займалися вивченням еволюції дизайнув сучасному світі;М. Довгих, О. Шустрова, А. Дроздова, О. Швед, Н. Брижаченко,В. Северин, У. Мітчелл, Р. Клусзинськи, Н. Карр, Е. Ровлі-Олів'єт(Elizabeth Rowley-Jolivet), Р. Ленглер (Ralph Lengler), М. Епплєр (MartinJ. Eppler), К. Лі (Qi Li), Дж. де Вріс (James de Vries), які приділялиувагу дослідженню інтерактивності та візуальності у контекстідизайну;М. Яновський, М. Куфаєв, Є. Ростовцев, Т. Бруєва, К. Загаров, Е. Огар,О. Кузьменко, які проводили аналіз книги як культурного феномену;Д. Золотарьов, О. Коритов, Г. Орешина, А. Гребенюк, О. Харченко,Н. Коржик, Е. Монтенаро (Ann R. Montanaro), К. Руіз (ConradoJr. R. Ruiz), С. Лі (Sang N. Le), Дж. Ю (Jinze Yu), К. Лоу (Kok-Lim Low),які вивчали питання книжкового дизайну в сучасному світі;О. Мургіна, І. Тихомирова, М. Токар, О. Подобєдова, А. Майовець,О. Полевіна, М. Таранов, К. Касьяненко, О. Мельник, Д. Попова,А. Смирнова, М. Єфімова, О. Познякова, Дж. К'ю (Jie Qi), Л. Біклей(Leah Buechley), які аналізували змінення у свідомості сучасної дитинита дизайні дитячої книги.Зв'язок теми дисертації з науковими програмами, планами, темамиуніверситету і кафедри. Дослідження виконане відповідно до планупідготовки наукових кадрів вищої кваліфікації кафедри графічного дизайнуХарківської державної академії дизайну і мистецтв.Мета дослідження – проведення комплексного мистецтвознавчогоаналізу інтерактивних засобів дизайну друкованих дитячих книжок,виявлення функціонального призначення таких видань і характерних засобіворганізації інтерактивної взаємодії.Мета визначає такі завдання дослідження:1. на підставі аналізу літературних та інших інформаційних джерелвивчити стан дослідження питання дизайну дитячих друкованих виданьз інтерактивними елементами;2. дати визначення поняттю «дитяча інтерактивна друкована книга»;3. виявити закономірності розвитку інтерактивної друкованої книги відмоменту її виникнення до наших днів, визначити характерні рисидизайну таких видань;4. проаналізувати сучасний стан інтерактивної друкованої дитячої книги вУкраїні та світі, виявити основні тенденції розвитку таких видань;5. обґрунтувати доцільність використання інтерактивних елементіву дизайні дитячої книги та необхідність врахування під часрозроблення їхнього дизайну вимог педагогіки і віку читача;6. систематизувати й класифікувати засоби організації інтерактивноївзаємодії у дизайні дитячих книг;7. надати практичні рекомендації та визначити перспективи подальшихнаукових розвідок у напрямі дизайну дитячих книжок.Хронологічні межі дослідження – кінець ХХ століття – початокХХІ століття; окремі аспекти дослідження спираються на різні історичніперіоди від 3000 років до н. е.Методи дослідження. Методологічну основу дослідження становитькомплексний науковий підхід, відповідно до якого завдання з вивченняматеріалів дослідження, особливостей дизайну та історії розвиткуінтерактивної паперової книги вирішено на підґрунті методів порівняльно-історичного та ретроспективного аналізу. Метод синхронного аналізузастосовано для встановлення тенденцій розвитку інтерактивної книгиі взаємозв'язку цієї галузі дизайну із загальною історією людства.Ретроспективний аналіз сприяв дослідженню ступеня вивченості питання.Мистецтвознавчий (образно-стилістичний) і порівняльний аналізвикористано для виявлення особливостей інтерактивних видань. Длявивчення мiждисциплiнарних зв'язків дизайну книги та під час розглядумicця книги у сучасному інформаційному просторі використанозагальнонаукові методи аналізу та синтезу.^UThe thesis is a complex research of features of interactivity usage as a meansof formation of utilitarian and aesthetic aspects of the design of children's printedbooks. In recent years, against the background of the development of electronicmeans of communication, the book is no longer perceived as the only possibleuniversal means of transmitting information. This is primarily due to the fact that auser gets used to daily interaction with media space, to receive feedback on theiractions, rather than a static perception of information. A reader seeks activefeedback, not just reading large amounts of text information.The object of research is the design of children's printed books withinteractive elements.The subject of research is interactivity as a factor in forming the design ofchildren's books.Theoretical and methodological grounds of the study are the works ofUkrainian and foreign researchers. In particular, studies on the topic were conducted by:I. Rosenson, I. Nikitina, V. Lyashenko, T. Bitachevskaya, V. Danilyak,V. Munipov, P. Baluta, who studied the evolution of design in the modern world;M. Dovhykh, O. Shustrova, A. Drozdova, O. Shved, N. Bryzhachenko,V. Severin, W. Mitchell, R. Kluszynski, N. Carr, E. Rowley-Jolivet,R. Lengler, Martin J. Eppler, Qi Li, James de Vries, who focused on thestudy of interactivity and visuality in the context of design;M. Yanovsky, M. Kufaev, E. Rostovtsev, T. Brueva, K. Zagarov, E. Ogar,O. Kuzmenko, who analyzed the book as a cultural phenomenon;D. Zolotarev, O. Koritov, G. Oreshina, A. Grebenyuk, O. Kharchenko,N. Korzhik, A. R. Montanaro, C. Jr. R. Ruiz, S. N. Le, Jinze Yu, K. Low,who studied book design in the modern world;O. Murgina, I. Tikhomirova, M. Tokar, O. Podobedova, A. Mayovets,O. Polevina, M. Taranov, K. Kasyanenko, O. Melnyk, D. Popova,A. Smirnova, M. Yefimova, O. Poznyakova, J. Qi, L. Buechley, whoanalyzed changes in the minds of the modern child and the design ofchildren's books.The connection of the thesis with scientific programs, plans, topics of theuniversity and the department. The research was performed in accordance withthe plan of training highly qualified scientific staff of the Department of GraphicDesign of the Kharkiv State Academy of Design and Arts.The purpose of the study is to conduct a comprehensive art analysis ofinteractive means of the design of printed children's books, to identify thefunctional purpose of such publications and the typical means of organizinginteraction.This purpose defines the following research objectives:1. to study the state of research on the design of children's printed publicationswith interactive elements on the basis of the analysis of literary and otherinformational sources;2. give definition to the concept of "children's interactive printed book";3. identify the patterns of development of interactive printed books from itsinception to the present day, and determine the features of the design of suchpublications;4. to analyze the current state of interactive printed children's books in Ukraineand rest of world, and to identify the main trends in the development of suchpublications;5. substantiate the feasibility of using interactive elements in the design ofchildren's books and the need to take into account the requirements ofpedagogy and age of the reader during development of their design;6. systematize and classify the means of organizing interaction in the design ofchildren's books;7. provide practical recommendations and identify prospects for furtherresearch in the field of children's book design.Chronological boundaries of the study – from the end of the XX centuryto the beginning of the XXI century; some aspects of the study are based ondifferent historical periods since 3000 BC.The methods of research. The methodological basis of the research is acomprehensive scientific approach, according to which the task of studyingresearch materials, design features and history of interactive paper book is solvedbased on methods of comparative historical and retrospective analysis. The methodof synchronous analysis is used to identify trends in the development of interactivebooks and the relation of this field of design with the general history of mankind.Retrospective analysis contributed to the study of the degree of knowledge in thisfield. Art history (image-stylistic) and comparative analysis was used to identifythe features of interactive publications. General scientific methods of analysis andsynthesis were used to study the interdisciplinary connections of book design andto consider the place of the book in the modern information space.

Досліджено комунікативний потенціал студентів-користувачів Інтернет-середовища та особливості його цілеспрямованого формування і розвитку. Обгрунтовано теоретичну модель і способи практичного застосування методів розвитку комунікативного потенціалу молоді у форматі студентського Інтернет-клубу засобами нових інформаційних технологій, Інтернету. Розроблено програму занять у формі соціально-психологічного тренінгу, опосередкованого Інтернетом. Розкрито ціннісну детермінацію Інтернет-діяльності студентської молоді, з'ясовано мотиваційні чинники її звернення до комунікативно-пізнавальної бази Інтернет-середовища. Експліковано наявні та створено нові продуктивні схеми пізнання студентами особистості партнерів спілкування, освоєння особистісної рефлексії, вироблення вміння адекватно виражати та диференціювати власні почуття, психоемоційні стани та настрої в процесі комунікації з віртуальними партнерами (в Інтернеті) та в реальному спілкуванні, визначено шляхи і методи розвитку складових комунікативного потенціалу.

  Скачати повний текст

Виявлено, що інтернет-спілкування є чинником змін психологічних особливостей особистості в юнацькому віці. Розроблено психологічно обгрунтовані засоби прикладного використання інтернет-спілкування й інтернет-сайтів з метою організації психологічного впливу на особистісні утворення користувачів, зокрема, студентів ВНЗ. Розроблено інтернет-тренінги для нейтралізації певних психологічних особливостей постійних користувачів інтернет-сайтів, підвищення їх самоактуалізації, креативності, комунікативності. Використання інтернет-тренінгів як чинника змін психологічних особливостей особистості представників молоді - користувачів електронних мереж, які активно користуються інтернет-спілкуванням, є, загалом, виправданим, зручним і результативним.

  Скачати повний текст

Проаналізовано основні тенденції впровадження телекомунікаційних технологій у практику обслуговування вітчизняних бібліотек. Вперше досліджено закономірності динаміки підключення бібліотек України до мережі Інтернет і створення ними власних веб-проектів. Виділено 47 статистичних показників, які є істотно важливими для оцінки стану української бібліотечної інтернетизації на певному етапі: 21 показник для оцінки бібліотечної інтернетизації в цілому, 15 деталізованих показників у бібліотечних мережах та 11 деталізованих показників у регіонах України. Розроблено методологію кількісної й якісної оцінки бібліотечного веб-сегмента українського сегмента мережі Інтернет (УСМІ) на базі паспортизації бібліотечних веб-сайтів. Вперше проведено системне моніторингове дослідження динаміки змін у вітчизняному бібліотечному веб-сегменті. Розроблено цілісну технологію бібліотечного Інтернет-сервісу (БІС) з урахуванням норм стандарту ISO 13407-1999 "Людино-центричні процеси проектування інтерактивних систем" і бібліотекознавчих вимог до системи інтерактивного обслуговування користувачів. Визначено напрями розширення можливостей впровадження Інтернет/Екстранет/Інтранет-технолоій для надання бібліотечного сервісу, розглянуто фактори, що впливають на темпи розвитку БІС у бібліотеках України.

  Скачати повний текст

У дисертаційному дослідженні розглянуто питання розроблення теоретичних та науково-організаційних засад застосування інформаційно-комунікаційних технологій у процесі бібліотечно-інформаційного обслуговування з метою задоволення інформаційних потреб користувачів в умовах зміни системи наукової комунікації, становлення нової парадигми у національно-культурному розвитку України та в контексті електронної комунікації. Розглядається роль бібліотеки як елемента, що зумовлює організаційно-функціональну перебудову сфери наукових комунікацій і зазнає змін під її впливом. Визначено та обґрунтовано основні фактори, що визначають розвиток інформаційних потреб. Вплив електронних комунікацій на розвиток інформаційних потреб та організацію бібліотечно-інформаційного обслуговування зумовив необхідність дослідження та узагальнення характеристик технологічних платформ Інтернету, які стали основою для розробки концепцій Бібліотеки 1.0-4.0. Запропоновано модель оптимального забезпечення інформаційних потреб користувачів з урахуванням сучасної електронної наукової комунікації. Модель була апробовано на інтегрованих науково-інформаційних проектах та електронних бібліотеках: електронній бібліотеці "Українка", інформаційному порталі "Наука України: доступ до знань", основною метою яких є забезпечення комплексного доступу до бази знань наукових досягнень України через наукові та інформаційні ресурси бібліотек.^UIn the dissertation research the questions of development of theoretical and scientific-organizational principles of the use of information and communication technologies in the process of library and informational services are considered in order to meet the information needs of users in the conditions of changing the system of scientific communication, the formation of a new paradigm in the national-cultural development of Ukraine and in the context of electronic communication. The role of the library as an element is examined, which causes organizational-functional reorganization of the sphere of scientific communications and undergoes changes under its influence. The main factors determining the development of information needs are identified and substantiated. The impact of electronic communication on the development of information needs and the organization of library and information services led to the need for research and synthesis of the characteristics of Internet technology platforms, which became the basis for developing the concepts of the Library 1.0-4.0. The model of optimal providing of information needs of users with the account of modern scientific electronic communication is offered. The model has been tested on integrated science and information projects and electronic libraries: the electronic library "Ukrainka", the information portal "Science of Ukraine: Access to Knowledge", the main purpose of which is to provide integrated access to the knowledge base of the scientific achievements of Ukraine through the scientific and information resources of libraries.

Досліджено інформаційні та структурно-методичні засади формування фінансової звітності. Виявлено її елементи, сформовані під впливом різноманітних теорій балансоведення, визначено підходи до одержання достовірної інформації за допомогою інтеграції концепції статичної та динамічної інтерпретації балансу. Запропоновано методичні підходи щодо інтерпретації інформації, формування якої базується на творчій ініціативі її укладачів, що дозволяє задовольняти вимоги та інтереси певних груп користувачів фінансової звітності за умов множинності балансів. Розвинуто певні дефініції, зокрема, принципи бухгалтерського обліку та фінансової звітності; обгрунтовано їх залежність від цілей обліку, зовнішнього економічного середовища та методів обгрунтування, облікової політики підприємства; виявлено залежність її положень від принципів обліку, що мають статус закону. Обгрунтовано критерії вибору методів оцінки статей фінансової звітності залежно від мети її формування, підходи до побудови плану рахунків бухгалтерського обліку, орієнтовані на полегшення процедури укладання балансу. Удосконалено структурно-методичні підходи до формування фінансової звітності на основі оптимізації взаємозв'язку та залежностей інформаційних потоків між основними функціями управління, систему принципів обліку й якісних характеристик фінансової звітності. Розроблено методику її інтерпретації, формування якої базується на творчій ініціативі її укладачів. Наведено рекомендації щодо удосконалення структури та змісту основних форм фінансової звітності.

  Скачати повний текст

Досліджено питання обробки моделей, алгоритмів й інформаційних технологій, які використовуються для реалізації процесів контролю виконання оцінювання ефективності використання бюджетних коштів. Дослідження проведено з використанням комплексного методу побудови інформаційних моделей складної аналітичної системи, який передбачає застосування декомпозиції системи за рівнями та методу параметричної формалізації елементів, що дозволяє охарактеризувати систему в термінах, зрозумілих широкому колу фахівців в області контролю виконання держбюджету. Це дозволяє здійснити опис функцій та інформаційну взаємодію будь-якого рівня, не перевантажуючи описом деталей інших рівнів. Застосування комплексного методу спрощує визначення специфікацій для програмних застосувань та їх подальшу реалізацію. Розроблено інформаційну модель функціональної спеціалізації користувачів складної аналітичної системи, яка передбачає врахування особливостей інформаційних технологій, властивостей особистості, множини функцій і моделей даних. Це дозволяє з достатнім ступенем деталізації визначити архітектуру програмного забезпечення аналітичного ядра складної інформаційно-аналітичної системи й оптимізувати розподіл функцій між різними програмними застосуваннями. Запропоновано та реалізовано технологію агрегації й аналіз багатовимірних даних, яка дозволяє користувачу без використання мови програмування формувати складні запити за будь-якими вимірами й одержувати дані, агреговані у відповідні аналітичні форми, зокрема, відображення одержаних даних на картографічному фоні.

  Скачати повний текст

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 – інформаційні технології. – Національний технічний університет «Дніпровська політехніка», Дніпро, 2021.У дисертаційній роботі розв'язана важлива науково-прикладна задача підвищення ефективності автоматизованої обробки, аналізу та розпізнавання багатоканальних фотограмметричних зображень високого просторового розрізнення. Проведений огляд запусків космічних апаратів ДЗЗ, питань формування цифрових сканерних зображень високого просторового розрізнення, їх класифікація та особливості. Проаналізовані загальні підходи до розпізнавання образів та їх застосування в задачах розпізнавання будівель. Проведено огляд програмного забезпечення для обробки зображень на знімках високого просторового розрізнення. Аналіз сучасних методів розпізнавання будівель показав недосконалість використання окремих методів та алгоритмів, малу кількість інформаційних технологій автоматичного розпізнавання будівель та необхідність розробки комплексного підходу для вирішення цього питання.Запропоновано інформаційну технологію розпізнавання будівель, яка складається з аналізу гістограм, знаходження контурів будівель та верифікації результатів. Для верифікації результатів розпізнавання розроблені методи на основі геометричного аналізу, тіньового аналізу та використання метаданих.Запропонована інформаційна технологія реалізована у вигляді програмного додатку, що дозволяє виконувати операції по автоматизованому розпізнаванню будівель на фотограмметричних зображеннях різної природи (аерокосмічних, лідарних, квадрокоптерних) навіть непрофесійному користувачу- дешифрувальнику. Виконання операцій обробки за допомогою розробленого програмного додатку значно скорочує час отримання результатів та підвищує якість розпізнавання.^UThesis for scientific degree of Candidate of Technical Sciences in specialty05.13.06 - Information technologies. - National Technical University "Dnipro Polytechnic", Dnipro, 2021.This dissertation work provides a solution for developing information technology building recognition on images from remote Earth sensing and verification of recognition results. Dissertation work contains general information about photogrammetry, current state of Earth remote sensing, general approaches of pattern recognition, including existing software, methods and technologies for image processing with high spatial resolution and there are currently several information technologies for automatic building recognition showing low accuracy. The developed technology consists of the following stages: division of a scene into sites; histogram analysis; feature segmentation; verification of recognition results based on expert database; shadow analysis; geometry analysis; building contour localization.In the first stage, the image is divided into segments to localize the search and to make the initial simplification of the recognition scene and to determine plot types (residential, multi-storey or commercial), which facilitate the recognition process. The second stage - histogram analysis is based on the localization of peaks in the histogram. In a large sample of buildings in the test images, it was observed that about 50% of the plots contain buildings that create a majority peak (the highest peak on the histogram). In other cases, the building generates a peak, but not a majority, and in some cases, there is more than one house or complex of buildings on the site. Analysis of histograms makes it possible to determine the binarization threshold at the next stage - the segmentation stage. The building contour is removed from the binary image based on the Suzuki-Abe algorithm.The following steps are a mechanism for estimating the probability of a segment being part of a building. Size analysis is based on expert attribute data. The size constraint can be used to eliminate segments with features that do not match the expert data about the site. The size constraint is estimated either by the area taken from the attribute table or calculated as the minimum percentage of the plot size. After weeding out small segments, the neural network, previously trained on expert data, decides to eliminate the "non-building" segment. At the stage of shadow analysis, belong to the segments with buildings, and segments with "incorrect" shadows, and which are not buildings. Pixels with certain values are grouped into segments ("feature" segments and shadow segments). Since the shadow segment and the building segment should be adjacent, a buffer is created around the segmented shadows. Each shadow segment is then examined for possible overlaps with buffers for "special" segments as there might be more than one shadow area around the building. Any segment that is overlapped by the shadow buffer is marked as a potential building. If the shadow is located on the "wrong" side, the segment is removed.Elimination of segments with a low probability of being a building also depends on geometry. Measures used for geometric analysis were selected as follows – rectangular, round, monolithic, convex. These characteristics are checked individually by comparing the behavior of the parameter for objects "building" and "non-building". The values of each parameter were used to calculate the probability of the segment "being a building". The possibility of cavities within a segment is assessed as an indication to exclude a segment. For example, cavities larger than expected will be an indicator of the absence of a building. Simple restrictions are used, such as the minimum width of the building. Segments with features that are defined on the basis of various measures not as buildings will be eliminated. At the last stage, using the Ramer- Douglas-Packer algorithm, the obtained contour of the building is smoothed, and the raster image is converted into a vector one.Proposed technology was tested with three different characteristic types of scenes: multi-storey buildings, commercial (industrial) buildings and residential single- home areas. The evaluation of obtained results was performed by comparing the area and geometry of the removed image and the parameters of the test building. The test results showed that commercial (industrial) buildings are the most recognizable. Trees, shadows and the offset for the terrain interfere with the building recognition.The proposed information technology is implemented in the form of a software application, and it allows performing operations on building recognition from any photogrammetric images of various nature (aerospace, lidar, quadrocopters) even by inexperienced users and significantly reduces the time for obtaining results and improves the quality of recognition.

Дисертація на здобуття ступеня доктора філософії за спеціальністю 122 – Комп’ютерні науки (Галузь знань 12 – Технічні науки). – Харківський національний університет імені В. Н. Каразіна, Міністерства освіти і науки України, Харків, 2023. Дисертація присвячена верифікації паралельних програм для інформаційних управляючих систем, що є складною та важливою задачею з багатьма проблемами та викликами. Розглядаються особливості процесу верифікації паралельних програм інформаційних управляючих систем. Описані найпоширеніші інструментальні засоби верифікації програм з підтримкою паралельних обчислень. Приділено увагу, що на сьогодні необхідність високої ефективності паралельного програмного забезпечення інформаційних управляючих систем вимагає суттєвого розширення складу факторів, що враховуються при формальній розробці часопараметризованих мультипаралельних програм інформаційних управляючих систем. Акцентовано, що верифікація мультипаралельних часопараметризованих програм має три складові: компіляційна верифікація; декомпіляційна верифікація та семантична верифікація. Компіляційна верифікація забезпечує перевірку синтаксичної та часової коректності формального синтезу структур семантико-числової специфікації, декомпіляційна верифікація забезпечує перевірку логічної еквівалентності синтезованих мультипаралельних програм та текстів вхідних послідовних програм після завершення всіх етапів синтезу, а семантична верифікація полягає у перевірці збігу одиниць вимірювання фізичних величин, отриманих на основі формального синтезу часопараметризованих мультипаралельних програм інформаційних управляючих систем та одиниць вимірювання вхідних та вихідних даних, що задаються користувачами. Сформовано сучасні вимоги до суттєвого розширення складу факторів, що враховуються при формальній розробці часопараметризованих мультипаралельних програм інформаційних управляючих систем. Формулюється задача дисертаційного дослідження, як розробка інформаційної технології верифікації паралельних часопараметризованих програм інформаційних управляючих систем з метою підвищення її ефективності за рахунок застосування компіляційної, декомпіляційної та семантичної верифікації на основі семантико-числових специфікацій. Для вирішення поставленої науково-прикладної задачі вирішено розробити ряд методів, а саме: метод компіляційної верифікації паралельних часопараметризованих програм для інформаційних управляючих систем; метод декомпіляційної верифікації паралельних часопараметризованих програм для інформаційних управляючих систем; метод семантичної верифікації паралельних часопараметризованих програм для інформаційних управляючих систем.Описано етапи розробки методу компіляційної верифікації паралельних програмних засобів інформаційних управляючих систем. Описані існуючі методи паралельної обробки інформації та їх сутність, показано доцільність використання сукупності методів паралельної обробки інформації при розробці паралельного програмного забезпечення інформаційних управляючих систем. Описано сутність декомпіляційної верифікації часопараметризованих програмних засобів інформаційних управляючих систем. Починаючи з аналізу бінарного коду послідовної програми, проводиться його декомпіляція з метою відновлення вхідного коду. Отриманий вхідний код піддається формальній верифікації за допомогою математичних методів. Відбувається доведення коректності програми, перевірка властивостей безпеки, аналіз відповідності вимогам тощо. Аналізуючи вхідний код програми, можна виявити можливі вразливі місця, дефекти або помилки, що можуть впливати на її безпеку та надійність. Також описані етапи постановки задачі декомпіляційної верифікації часопараметризованих паралельних програмних засобів інформаційних управляючих систем. Описано метод семантичної верифікації часопараметризованих мультипаралельних програм, змістовно розглянуті основні етапи методу семантичної верифікації мультипаралельних програм та описано побудову графу, що здійснюється за допомогою засобів візуалізації паралельних апаратно-програмних об’єктів. Представлена концептуальна модель технології верифікації часопараметризованих паралельних програм інформаційних управляючих систем та змістовно описано основні компоненти архітектури технології верифікації. Обрано показники ефективності технології семантико-числової верифікації інформаційних управляючих систем спрямовані на оцінку точності та надійності результатів верифікації. Сукупність отриманих у дисертації нових наукових результатів, позитивна оцінка їхньої достовірності, наукової та практичної значущості дають змогу вважати сформульовану наукову задачу розробки технології верифікації паралельних часопараметризованих програм інформаційних управляючих систем з метою підвищення ефективності верифікації за рахунок застосування компіляційної, декомпіляційної та семантичної верифікації на основі семантико-числових специфікацій, – розв'язаною, а поставлену мету – досягнутою.^UThe dissertation submitted for obtaining the Doctor of Philosophy degree in Technical Science: Speciality 122 – Computer science. V. N Karazin Kharkiv National University, Ministry of Education and Science of Ukraine, Kharkiv, 2023.The dissertation is devoted to the development and verification of parallel programs for information management systems, which is a complex and important task with many problems and challenges. Peculiarities of the processof verification of parallel programs of information management systems. The most common tools for verifying programs with parallel computing support are described. Attention is focused on the fact that today the need for high efficiency of parallel software of information management systems requires a significant expansion of the composition of factors that are taken into account during the formal development of time-parameterized multi-parallel programs of information management systems. It is emphasized that the verification of multi-parallel time-parameterized programs has three components: compilation verification; decompilation verification and semantic verification. Compilation verification provides checking the syntactic and temporal correctness of the formal synthesis of semantic-numerical specification structures. Decompilation verification provides checking the logical equivalence of synthesized multiparallel programs and input sequential program texts after completion of all stages of synthesis. And semantic verification consists in verifying the coincidence of the units of measurement of physical quantities obtained on based on the formal synthesis of time-parameterized multi-parallel information management systems programs and units of measurement of input and output data specified by users. Modern requirements for a significant expansion of the composition of factors taken into account during the formal development of time-parameterized multi-parallel information management systems programs have been formed. The task of the dissertation research is formulated as the development of information technology for the verification of parallel time-parameterized programs of information management systems with the aim of increasing its efficiency due to the application of compilation, decompilation and semantic verification based on semantic-numerical specifications. To solve the scientific and applied problem, it was decided to develop a number of methods, namely: the method of compilation verification of parallel time-parameterized programs for information management systems; method of decompilation verification of parallel time-parameterized programs for information management systems; method of semantic verification of parallel time-parameterized programs for information management systems. The stages of development of the method of compilation verification of parallel software tools of information control systems. It describes the existing methods of parallel information processing and their essence, shows the expediency of using a set of methods of parallel information processing in the development of parallel information management systems software. The stages of setting task of decompilation verification of time-parameterized parallel software tools of information management systems. In particular, it presents the structural scheme of the method of decompilation verification of time-parameterized parallel software tools of information management systems and a detailed description of the procedures that implement the stages of the method.The method of semantic verification of time-parameterized multiparallel programs, reviews the main stages of the method of semantic verification of multiparallel programs meaningfully, and describes the construction of the graph, which is carried out using means of visualization of parallel hardware and software objects. It presents the conceptual model of the verification technology of time-parameterized parallel information management systems programs and describes the main components of the verification technology architecture meaningfully. The structure of the synthesis verifier of graphs is described in more detail. The indicators of the effectiveness of the technology of semantic-numerical verification of information management systems, aimed at assessing the accuracy and reliability of the verification results. The set of new scientific results obtained in the dissertation, a positive assessment of their reliability, scientific and practical significance make it possible to consider the formulated scientific task of developing a technology for the verification of parallel time-parameterized programs of information management systems in order to increase the effectiveness of verification due to the application of compilation, decompilation and semantic verification based on semantic of numerical specifications, is solved, and the set goal is achieved.

Дисертаційна робота присвячена розробленню інформаційної технології виявлення шахрайства при інсталюванні мобільних додатків з використанням інтелектуального аналізу даних. Метою дослідження є підвищення точності та швидкодії процесів виявлення шахрайства при інсталюванні мобільних додатків. Вперше запропоновано метод подолання різнорідності вхідних даних, що являє собою сукупність процедур вибору ознак, зниження розмірності та нормалізації даних, відмінність якого полягає у новій моделі процесу подолання різнорідності даних шляхом шкалювання за інформативністю, що дозволяє всю множину різнорідних даних про користувачів звести до вектору уніфікованих ознак без зменшення діагностичної цінності інформації. Удосконалено модель класифікації користувачів на основі глибинних нейронних мереж у частині зниження розмірності та нормалізації даних згідно запропонованого методу подолання різнорідності даних, яка є основою для створення узагальненого портрету шахрая з метою спрощення процесів їх виявлення. Вперше розроблено узагальнений метод виявлення шахрайства при інсталюванні мобільних додатків, відмінність якого полягає у використанні запропонованої моделі класифікації користувачів та методу подолання різнорідності вхідних даних, що дозволяє визначити класи користувачів та підвищити точність виявлення шахрайства при інсталюванні мобільних додатків. Результати дисертаційної роботи та розроблене модульне програмне забезпечення впроваджені на іноземному (Garuda AI B.V.) та українських (ТОВ «ВІН ІНТЕРАКТИВ», ТОВ «4ХайТек», ПП «Літсофт») підприємствах та у навчальний процес (кафедри комп'ютерних наук Вінницького національного технічного університету; кафедри інформатики, програмної інженерії та економічної кібернетики Херсонського державного університету). Впровадження результатів дисертаційних досліджень підтверджено відповідними актами.^UThis dissertation research is dedicated to developing the informational technology to detect fraud during mobile application installation using data mining. The purpose of the dissertation research is to increase the accuracy and speed of fraud detection processes during mobile application installation. For the first time, a method of overcoming the heterogeneity of input data is proposed, which is a set of procedures for feature selecting, dimensionality reduction and data normalization, the difference of which lies in the new model of overcoming the heterogeneity of data by scaling information, which allows the whole set of heterogeneous user data to be reduced to a vector, reducing the diagnostic value of information. The model of users' classification based on deep neural networks in terms of dimensionality reduction and data normalization has been improved according to the proposed method of overcoming heterogeneity of data, which is the basis for creating general fraudsters fingerprint in order to simplify their detection processes. For the first time, a generalized method for fraud detection in during installation of mobile applications has been developed, the difference being the use of the proposed users' classification model and the method of overcoming the heterogeneity of the input data, which allows defining users' classes and increasing the reliability of fraud detection during mobile app installs. The results of the qualification research paper were implemented at foreign (Garuda AI B.V.) and Ukrainian (LLC «WinInteractive», LLC «4HighTech», PE «Litsoft») enterprises and to the educational process (at the Computer Science Department of Vinnytsia National Technical University and at the Department of Informatics, Software Engineering and Economic Cybernetics of Kherson State University). The implementation of the results of dissertation research is confirmed by the relevant acts.

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 – інформаційні технології. – Національний університет «Чернігівська політехніка», Чернігів, 2021.Дисертація присвячена виявленню потенційно небезпечних програмних додатків задля забезпечення функціональної безпеки мобільних пристроїв, що функціонують на базі операційних систем Android. У межах роботи вперше запропонована класифікація типів небезпечних додатків, яка базується на групуванні дозволів на використання API функцій за ступенем потенційних впливів, що дає можливість оцінити додатки за рівнем небезпеки для користувача при прийнятті рішень на їх використання. Розроблена модель прав доступу при взаємодії ОС Android з програмними додатками, яка встановлює відношення між групами, дозволами та API функціями, що дає можливість використовувати псевдосимволи функцій для прискорення ідентифікації додатків. Удосконалено метод динамічного виявлення потенційно небезпечних додатків за рахунок використання сигнатур функціональних ланцюжків додатків, що будуються та порівнюються під час виконання додатків, що дозволяє оцінити ризик при їх ідентифікації. Набула подальшого розвитку інформаційна технологія забезпечення функціональної безпеки мобільних пристроїв, яка дозволяє здійснити динамічне управління процесами використання додатків ОС Android за рахунок аналізу виявленого вектору атаки. Розроблена інформаційна технологія має практичне втілення у вигляді програмного комплексу, до складу якого входять два програмних засоби, які працюють з використанням хмарного середовища та реалізовані на мовах С#, Kotlin і JavaScript.Ключові слова: мобільний пристрій, функціональна безпека, ОС Android, модель прав доступу, API функція, сигнатура функціонального ланцюжка додатку.^UThe dissertation for the scientific degree of the candidate of technical sciences (PhD) in specialty 05.13.06 – information technologies. – National University “Chernihiv Polytechnica”, Chernihiv, 2021.The dissertation is devoted to the identification of potentially dangerous applications to ensure the functional safety of mobile devices running on Android operation systems. For the first time, the classification of types of malicious applications is proposed. It is based on the grouping of permissions to use API functions by the degree of potential impact, which allows to assess the applications by the level of danger to the user for making decision to use it. The model of access permissions for interaction OS Android with applications is developed, which establishes the relationship between groups, permissions and API functions. It allows to use function aliases to speed up the identification of applications. The method of dynamic detection of potentially dangerous applications is improved due to the use of application functional chain signatures, which are built and compared during the execution of applications that allows to assess the risk of identification. The information technology for ensuring the functional safety of mobile devices has been further developed, that allows to control the processes of using Android applications by dynamic analysis the detected attack vector. The developed information technology has a practical embodiment in the form of a software package, which includes two software tools that work in cloud environment and implemented by using C #, Kotlin and JavaScript.Key words: mobile device, functional safety, API function, application functional chain signature.

У дисертаційному дослідженні обґрунтовано та розроблено науково-методичний апарат управління продуктивністю, конфігурацією та безпекою з метою ефективного використання сучасних інформаційних та апаратних ресурсів інформаційних систем закладів вищої освіти. Досліджено актуальну проблему розробки методологічних основ побудови функціонально стійкої інформаційної системи закладу вищої освіти, яка відрізняється від існуючих тим, що вона базується на виявленні дестабілізуючих факторів і реконфігурації інформаційної системи. Аргументовано доцільність використання програмно-визначеної глобальної мережі з криптостійким шифруванням та автентифікацією кінцевих точок, що дозволяє підвищити продуктивність інформаційної системи. Проаналізовано питання формування єдиного інформаційного простору закладу вищої освіти, що ґрунтується на виборі якісного набору ознак елементів та різних інформаційних систем і дозволяє сформувати функціонально стійку інфраструктуру інформаційної системи закладу вищої освіти. Удосконалено модель управління інформаційною системою, яка дозволяє визначити мінімальний обсяг управляючої інформації при якій параметри мережі матимуть задану точність та забезпечувати необхідну пропускну здатність інформаційної системи. Удосконалено мережу інформаційної системи закладу вищої освіти, яка ґрунтується на централізації управління мережею, автоматизації процесів конфігурації та управління, дозволяє забезпечити масштабованість мережі, досягати стабільної безпеки незалежно від місця розташування користувачів. Запропоновано інструментарій підвищення безпеки інформаційної системи закладу вищої освіти під час впливу різних дестабілізуючих факторів, який полягає в реконфігурації мережі інформаційної системи і дозволяє підвищити функціональну стійкість інформаційної системи, захищати цифрові активи закладу вищої освіти. Встановлено, що використання функціонально стійкої інформаційної системи закладу вищої освіти дозволяє підвищити показник функціональної стійкості на 12% у порівнянні з відомими методами. Доведено доцільність використання розробленої інформаційної системи закладу вищої освіти з погляду забезпечення високого рівня продуктивності, безпеки та управління.^UIn the dissertation research, the scientific and methodological apparatus of productivity, configuration and security management is justified and developed in order to effectively use modern information and hardware resources of information systems of higher education institutions. The current problem of developing the methodological foundations of building a functionally stable information system of a higher education institution, which differs from the existing ones in that it is based on the detection of destabilizing factors and reconfiguration of the information system, is studied. The expediency of using a software-defined global network with crypto-resistant encryption and authentication of end points is argued, which allows to increase the performance of the information system. The issue of forming a single information space of a higher education institution is analyzed, which is based on the selection of a qualitative set of features of elements and various information systems and allows to form a functionally stable infrastructure of the information system of a higher education institution. The information system management model has been improved, which allows you to determine the minimum amount of control information at which the network parameters will have the specified accuracy and provide the necessary bandwidth of the information system. The network of the information system of the institution of higher education has been improved, which is based on the centralization of network management, the automation of configuration and management processes, allows to ensure the scalability of the network, to achieve stable security regardless of the location of users. A toolkit for improving the security of the information system of a higher education institution under the influence of various destabilizing factors is proposed, which consists in the reconfiguration of the information system network and allows to increase the functional stability of the information system, to protect the digital assets of the higher education institution. It was established that the use of a functionally stable information system of a higher education institution allows to increase the indicator of functional stability by 12% in comparison with known methods. The expediency of using the developed information system of the institution of higher education from the point of view of ensuring a high level of productivity, security and management has been proven.