Досліджено шляхи та методи вирішення завдання підвищення ефективності інтерфейсу користувача (ІК) інформаційно-пошукових систем (зниження трудомісткості формування користувачем запитів до інформаційних ресурсів) на основі методів теорії ймовірностей, математичної статистики, алгебри логіки, методів математичного й імітаційного моделювання. Запропоновано модель декомпозиції ментальних операторів технології GOMS-KLM для задач вводу та візуальної ідентифікації даних. Побудовано математичні логіко-ймовірнісні моделі "покрокової" та "прицільної" підказки в ІК, залежності між його варіантами та характеристиками з урахуванням функції розподілу ймовірностей звертання до слів базового словника. Побудовано й експериметрально перевірено імітаційні моделі ІК. Зпропоновано технологію та розроблено інформаційну модель системи квазідовільних запитів користувача до баз даних у природно-мовному середовищі за допомогою стандартних CASE-засобів.

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

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

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

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

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

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

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

Дисертаційну роботу присвячено вирішенню актуальної науково-прикладної проблеми створення методологічних засад і технологічних засобів динамічного розподілу виконавчих ресурсів в автоматизованих організаційно-технічних системах. Удосконалено методологію створення технологічних засобів динамічного розподілу виконавчих ресурсів в автоматизованих організаційно-технічних системах. До комплексу методологічних принципів включені принцип конвергенції онтологій предметної області і системи управління, принцип рефлексивного переходу і його формалізований опис, а також включені етапи стратифікації онтологій за аспектними рівнями. Синтезовано структурні, динамічні, інформаційні моделі, а також методи, що складають основу інформаційної технології динамічного розподілу виконавчих ресурсів. Створено та реалізовано інформаційну технологію динамічного розподілу виконавчих ресурсів в організаційно-технічних системах. Наведено результати експериментів на імітаційній моделі та результати впровадження, які довели працездатність та ефективність системи моніторингу і диспетчеризації бізнес-процесів на основі методів і моделей динамічного розподілу виконавчих ресурсів в організаційно-технічних системах.^UThe dissertation work is devoted to solving the actual scientific and applied problem of creating methodological foundations and technological means of dynamic distribution of executive resources in automated organizational and technical systems (OTS).Approaches to construction of the methodology of synthesis of adaptive executive structures in automated OTS have been improved. The set of methodological principles includes the principle of convergence of ontologies of the subject domain and control system, the principle of reflexive transition and its formalized description, as well as the stages of stratification of ontologies by aspect levels. This makes possible to schematize and accelerate the process of synthesis of a set of logical, mathematical, functional models and methods whose aggregation and interaction design the required information technology. The method of dynamic distribution of applications on functional knots at of business processes performance in OTS has been developed.The practical significance of the obtained results is in improvement of the quality of functioning of technical and organizational systems through construction and application of the information technology for dynamic distribution of executive resources in OTS. A study of the effectiveness of theoretical and practical results application in the management of specific objects in order to improve the quality of their operation has been carried out.

Поремський М.В. Методи обґрунтування стійкості snow 2.0-подібних потокових шифрів відносно кореляційних атак над скінченними полями характеристики 2^r – Кваліфікаційна наукова праця на правах рукопису.Дисертація на здобуття наукового ступеня доктора філософії за спеціальністю 125 «Кібербезпека». – Інститут спеціального зв'язку та захисту інформації Національного технічного університету України «Київський політехнічний інститут імені Ігоря Сікорського», Київ, 2020.Дисертаційна робота присвячена вирішенню актуальної наукової задачі, яка полягає у розробці методів обґрунтування стійкості SNOW 2.0-подібних потокових шифрів відносно відомих кореляційних атак. З розвитком інформаційних технологій та комп'ютерної техніки значну увагу привернули до себе слово-орієнтованих ПШ, які є програмно-орієнтованими та можуть ефективно працювати на сучасних процесорах. Порівняльні дослідження алгоритмів потокового шифрування показують, що одним із найкращих серед сучасних ПШ є шифр SNOW 2.0, що є на сьогодні міжнародним стандартом. В свою чергу, взявши шифр SNOW 2.0 як прототип, було створено важливий клас SNOW 2.0-подібних ПШ. До цього класу відноситься і нещодавно створений в Україні шифр “Струмок”, прийнятий як національний стандарт ДСТУ 8845:2019. Важливою частиною процесу розробки таких шифрів, що зумовлює вибір окремих компонент і параметрів для їх побудови, є обґрунтування їх стійкості відносно усіх відомих на сьогодні атак. В роботі удосконалено аналітичну оцінку інформаційної складності кореляційних атак на потокові шифри. На відміну від раніше відомої (евристичної) оцінки, отримана аналітична оцінка має належне наукове обґрунтування, містить явну залежність від ймовірності помилки атаки та є справедливою для будь-яких кореляційних атак на потокові шифри незалежно від способу побудови або методу розв'язання системи рівнянь зі спотвореними правими частинами, яка складається на першому етапі атаки. Вперше отримано аналітичне співвідношення для квадратичної евклідової незбалансованості розподілу ймовірностей спотворень у правих частинах рівнянь, що використовуються для побудови кореляційних атак на SNOW 2.0-подібні шифри. На відміну від відомих співвідношень, які визначають квадратичну евклідову незбалансованість, отримане співвідношення встановлює вираз цього параметра в термінах коефіцієнтів Фур'є розподілу спотворень у правих частинах рівнянь єдиної системи, яка не залежить від конкретної атаки. Це дозволяє отримувати нижні оцінки трудомісткості й обсягу матеріалу, потрібного для реалізації кореляційних атак на SNOW 2.0-подібні шифри та порівнювати за трудомісткістю та обсягом матеріалу кореляційні атаки, що будуються над полями різних порядків.Вперше розроблено метод обґрунтування стійкості двійкових SNOW 2.0-подібних шифрів відносно кореляційних атак над скінченними полями характеристики 2. На відміну від відомих підходів до побудови кореляційних атак на полем з двох елементів, розроблений метод базується на отриманому дисертантом аналітичному співвідношенні для параметра, який характеризує ефективність атаки, та дозволяє обґрунтовувати стійкість двійкових SNOW 2.0-подібних потокових шифрів безпосередньо за параметрами їх компонент. Отримав подальший розвиток метод обґрунтування стійкості модулярних SNOW 2.0-подібних шифрів відносно кореляційних атак над скінченними полями характеристики 2. На відміну від відомих підходів до побудови кореляційних атак на SNOW 2.0, розроблений метод базується на отриманих дисертантом аналітичних співвідношеннях, які узагальнюють низку окремих результатів про матричні представлення незбалансованості відображень, що реалізуються скінченними автоматами. Розроблений метод є застосовним до модулярних -розрядних SNOW 2.0-подібних шифрів при і дозволяє отримувати нижні оцінки ефективності відомих кореляційних атак безпосередньо за параметрами компонент алгоритму шифрування. Практичне значення одержаних результатів полягає в тому, що дисертантом розроблено програмні реалізації, які дозволяють в режимі реального часу обчислювати значення нижніх меж трудомісткості та обсягу матеріалу, потрібного для здійснення будь-якої з відомих кореляційних атак на довільний двійковий чи модулярний SNOW 2.0-подібний шифр з вузлами заміни довжини 8 бітів. Розроблені програми застосовані для обґрунтування стійкості шифру “Струмок”, а також його двійкової версії. Вони можуть бути використані на практиці при дослідженні стійкості інших SNOW 2.0-подібних потокових шифрів у СІТС України. Наукові та практичні результати дисертаційної роботи реалізовані в Службі зовнішньої розвідки України – в результаті виконання НДР “Корифена” та в науково-технічних розробках ЗАО “Інститут інформаційних технологій”.^UPoremskyi M. Methods for security evaluation of SNOW 2.0-like stream ciphers against correlation attacks over a finite fields of order 2^r . – Qualifying scientific work as a manuscript.Thesis for a Candidate of Technical Science degree in specialty 125 «Cybersecurity». – Institute of Special Communication and Information Protection of National technical university of Ukraine «Igor Sikorsky Kyiv Polytechnic Institute», Kyiv, 2018.This thesis is devoted to solving actual scientific problem of development the methods for security evaluation of SNOW 2.0-like stream ciphers against correlation attacks.With the advancement of information and computer technologies, significant attention has been drawn to word-based SC that are software-oriented and can run efficiently on modern processors. Comparative studies of stream encryption algorithms show that one of the best among current SC is SNOW 2.0, which is currently the international standard. In turn, using SNOW 2.0 cipher as a prototype, an important class of SNOW 2.0-like ciphers was created. This class includes the recently created in Ukraine cipher "STRUMOK", adopted as the national standard DSTU 8845: 2019. An important part of the process of developing such ciphers, which determines the choice of individual components and parameters for their construction, is their security evaluatin against all known attacks.The analytical estimation of information complexity of correlation attacks on stream ciphers is improved in thesis. Unlike the previously known (heuristic) estimate, the analytical estimate obtained has a scientific basis, contains a clear dependence on the probability of an error of attack and is valid for any correlation attacks on stream ciphers, regardless of the method of creation or solving the system of equations with right parts corrupted by noise, which is creating on the first stage of the attack.For the first time, an analytical relation was obtained for the quadratic Euclidean imbalance of the probability distribution of corruptions in the right part of the equations that are used to construct correlation attacks on SNOW 2.0-like ciphers. Unlike the known correlations that determine the quadratic Euclidean imbalance, the obtained relation determines the expression of this parameter in terms of the Fourier coefficients of the corruption in the right part of the equations of a single system that does not dependent on particular attack. This allows us to obtain lower bounds of the complexity and amount of material required to SNOW 2.0-like correlation attack on SNOW 2.0-like ciphers and to compare the complexity and amount of material for different correlation attacks that are built over fields of different orders.For the first time a method of security evaluation of binary SNOW 2.0-like ciphers against correlation attacks over finite fields of characteristic 2 was developed. In contrast to the known approaches of creating correlation attacks over a field of two elements, the developed method is based on the analytic correlation obtained by researcher for the parameter that characterize the attack efficiency and allows to evaluate the security of binary SNOW 2.0-like stream ciphers directly by the parameters of their components.A method of security evaluation of modular SNOW 2.0-like ciphers against correlation attacks over finite fields of characteristic 2 was further developed. In contrast to the known approaches of creating SNOW 2.0 correlation attacks, the developed method is based on analytical correlations obtained by the thesis, which summarize a number of separate results on matrix representations that are implementing by finite state machines. The developed method is applicable to modular SNOW 2.0-like ciphers and allows to obtain lower bounds of the efficiency of known correlation attacks directly by the parameters of the components of the encryption algorithm.The practical significance of the obtained results consists in developing the software implementations that allow in real time to calculate the values of the lower bounds of the complexity and amount of material required to process any of the known correlative attacks on an arbitrary binary or modular SNOW 2.0-like cipher with 8 bit s-boxes. The developed programs are used to evaluate ofsecurity of the cipher "Strumok", as well as its binary version. They can be used in practice to evaluate the security of other SNOW 2.0-like stream ciphers in SITS of Ukraine.The scientific and practical results of the thesis were implemented at the Foreign Intelligence Service of Ukraine (in the research scientific work «Korifena») and in the scientific and technical developments of CJSC «Institute of Information Technologies».

Дисертацію присвячено дослідженню юридичної природи інституту окремого проживання подружжя, правових підстав для його встановлення та припинення, правових наслідків, які наступають у зв'язку із встановленням або припиненням режиму окремого проживання подружжя, дослідженню відповідного зарубіжного та історичного досвіду.У роботі розроблено концепцію сучасного розуміння правового режиму окремого проживання подружжя, виявлення основних теоретичних та прикладних проблем даного сімейно-правового інституту, а також сформовано наукові висновки та пропозиції стосовно вдосконалення чинного сімейного законодавства у даній галузі дослідження.В роботі проведено аналіз теоретико-правових проблем визначення режиму окремого проживання подружжя у сімейному праві; з'ясовано поняття, основні риси та правова природа режиму окремого проживання подружжя в сімейному праві в контексті його співвідношення із суміжними правовими поняттями сімейного права; проаналізовано особливості встановлення, зміни та припинення режиму окремого проживання подружжя, в тому числі в судовому та договірному порядку; з'ясовано основні наукові підходи до класифікації та визначено зміст майнових юридичних наслідків режиму окремого проживання подружжя; розкрито зміст правових наслідків немайнового характеру у разі встановлення режиму окремого проживання подружжя; запропоновано науково-обґрунтовані пропозиції по вдосконаленню норм сімейного законодавства, якими врегульовано питання режиму окремого проживання подружжя в сімейному праві.^UThe dissertation is devoted to the study of the legal nature of the institution of separate residence of the spouses, the legal grounds for its establishment and termination, the legal consequences arising in connection with the establishment or termination of separate residence of the spouses, the study of relevant foreign and historical experience.The concept of modern understanding of the legal regime of separate residence of spouses, identification of the main theoretical and applied problems of this family law institute is developed, also scientific conclusions and offers concerning improvement of the current family legislation in this field of research are formed.The analysis of theoretical and legal problems of determining the regime of separate residence of spouses in family law is carried out in the work; the concepts, main features and legal nature of the regime of separate residence of the spouses in family law in the context of its relationship with related legal concepts of family law are clarified; the peculiarities of establishing, changing and terminating the regime of separate residence of the spouses are analyzed, including in court and by contract; the main scientific approaches to the classification are clarified and the content of the property legal consequences of the regime of separate residence of the spouses is determined; the content of legal consequences of non-material nature in case of establishing the regime of separate residence of the spouses is revealed; scientifically substantiated proposals for improving the norms of family law are proposed, which regulate the issue of the regime of separate residence of spouses in family law