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

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

Розроблено системну модель кодера JPEG2000 з використанням програмного пакету MATLAB і мовного середовища верифікації проектованого пристрою високого рівня; системну виконувану та RTL-моделі арифметичного блоку вейвлет-перетворення для кодера JPEG2000; системну модель керуючого автомата для конвеєрної обчислювальної архітектури SoC DSP і метод автоматичної генерації блоків проблемно-орієнтованих керуючих пристроїв. Удосконалено метод кодування двійкових знакових матриць з апріорно невідомими статистичними характеристиками шляхом зменшення структурної надлишковості відеозображення; системну модель MQ-кодера для апаратної імплементації виконавчого механізму SoC DSP-перетворювача у кристал програмовної логіки на основі конвеєрної архітектури обчислювальних процесів. Створенопрограмний засіб автоматичної генерації синтезованого HDL-коду; апаратний продукт - SoC DSP фільтр, реалізований у вигляді цифрової системи на кристалі з конвеєрною архітектурою обчислювальних процесів виконавчого пристрою, керованого високошвидкісним автоматом на основі лічильних структур.

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

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

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

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

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

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

Мета дослідження – зменшення часу верифікації цифрових систем на кристалах шляхом використання memory-driven архітектур і кубітних структур даних для компактного опису логічних Х-функцій і істотного підвищення продуктивності методів тестування і дедуктивного моделювання несправностей за рахунок паралельного комп'ютингу алгоритмів. Сутність дослідження – квантові моделі і методи синтезу тестів і аналізу несправностей логічних Х-функцій на основі використання кубітних структур даних і memory-driven архітектур для паралельного комп'ютингу алгоритмів з метою істотного підвищення продуктивності тестування і дедуктивного моделювання цифрових систем на кристалах. Наукова новизна результатів дослідження: 1) Вперше запропоновано структурну модель метричних властивостей X-функцій, що орієнтована на виконання паралельних операцій на кубітних структурах даних в цілях отримання лінійного часу генерації тестів і моделювання цифрових систем. 2) Вперше запропоновано аналітичну модель синтезу кубітних покриттів X-функцій від кінцевого числа змінних, яка характеризується можливістю створення логічних схем, що не потребують експоненційних витрат на генерування і аналіз тестів перевірки несправностей. 3) Вперше запропоновано паралельний метод синтезу тестів для не-справностей X-функцій від кінцевого числа змінних, який характеризується взяттям булевих похідних по кубітним покриттям, що дає можливість отримувати перевіряючі тести мінімальної довжини. 4) Вперше запропоновано паралельний метод синтезу дедуктивних кубітних покриттів для моделювання Х-функцій, який характеризується отриманням одиничної матриці похідних, що дає можливість створювати секвенсор моделювання дефектів, інваріантний до вхідних тестових наборів. 5) Удосконалено memory-driven архітектури та алгоритми для реалізації методів тестування та верифікації цифрових систем на кристалах, які відрізняються паралельним виконанням логічних операцій над кубітними структурами даних. 6) Удосконалено квантові методи генерації тестів і дедуктивного моделювання несправностей логічних функцій, які відрізняються від аналогів синтезом матриць булевих похідних за їх кубітним покриттям.^UThe purpose of the research is reducing the verification time of digital systems-on-chips by using memory-driven architectures and qubit data structures to compactly describe logical X-functions and significantly improve the performance of methods for testing and deductive fault simulation through par-allel computing of algorithms. The essence of the research is quantum models and methods for test synthesis and fault analysis of logical X-functions based on the use of qubit data structures and memory-driven architectures for parallel computing of algorithms in order to significantly improve the performance of testing and deductive simulation of digital systems-on-chips. Scientific novelty of research results: 1) A structural model of the metrical properties of X-functions is proposed for the first time, focused on executing parallel operations on qubit data structures in order to provide linear time of test generation and simulation of digital systems. 2) An analytical model for the synthesis of qubit coverages of X-functions of a finite number of variables is proposed for the first time, characterizing by the possibility of creating logic circuits, which do not require exponential costs of generating and analyzing tests. 3) A parallel method of test synthesis for the faults of X-functions of a finite number of variables is proposed for the first time, characterizing by taking Boolean derivatives with respect to qubit coverages, which makes it possible to generate tests of minimal length. 4) A parallel method for the synthesis of deductive qubit coverages for simulation of X-functions is proposed for the first time, characterizing by obtaining a unit matrix of derivatives, which makes it possible to create a sequencer for fault simulation that is invariant to the input test patterns. 5) Memory-driven architectures and algorithms for implementing methods for testing and verifying digital systems-on-chips are improved, which are distinguished by the parallel execution of logical operations on qubit data structures. 6) The quantum methods of test generation and deductive fault simulation of logic functions are improved, which differ from analogs in the synthesis of matrices of Boolean derivatives with respect to their qubit coverages.

Мета дослідження – зменшення часу верифікації цифрових систем на кристалах шляхом використання memory-driven архітектур і кубітних структур даних для компактного опису логічних Х-функцій і істотного підвищення продуктивності методів тестування і дедуктивного моделюван-ня несправностей за рахунок паралельного комп'ютингу алгоритмів. Сутність дослідження – квантові моделі і методи синтезу тестів і аналізу несправностей логічних Х-функцій на основі використання кубітних структур даних і memory-driven архітектур для паралельного комп'ютингу алгоритмів з метою істотного підвищення продуктивності тестування і дедуктивного моделювання цифрових систем на кристалах. Наукова новизна результатів дослідження: 1) Вперше запропоновано структурну модель метричних властивостей X-функцій, що орієнтована на виконання паралельних операцій на кубітних структурах даних в цілях отримання лінійного часу генерації тестів і моделювання цифрових систем. 2) Вперше запропоновано аналітичну модель синтезу кубітних покриттів X-функцій від кінцевого числа змінних, яка характеризується можливістю створення логічних схем, що не потребують експоненційних витрат на генерування і аналіз тестів перевірки несправностей. 3) Вперше запропоновано паралельний метод синтезу тестів для несправностей X-функцій від кінцевого числа змінних, який характеризується взяттям булевих похідних по кубітним покриттям, що дає можливість отримувати перевіряючі тести мінімальної довжини. 4) Вперше запропоновано паралельний метод синтезу дедуктивних кубітних покриттів для моделювання Х-функцій, який характеризується отриманням одиничної матриці похідних, що дає можливість створювати секвенсор моделювання дефектів, інваріантний до вхідних тестових наборів. 5) Удосконалено memory-driven архітектури та алгоритми для реалізації методів тестування та верифікації цифрових систем на кристалах, які відрізняються паралельним виконанням логічних операцій над кубітними структурами даних. 6) Удосконалено квантові методи генерації тестів і дедуктивного моделювання несправностей логічних функцій, які відрізняються від аналогів синтезом матриць булевих похідних за їх кубітним покриттям.^UThe purpose of the research is reducing the verification time of digital systems-on-chips by using memory-driven architectures and qubit data structures to compactly describe logical X-functions and significantly improve the performance of methods for testing and deductive fault simulation through par-allel computing of algorithms. The essence of the research is quantum models and methods for test synthesis and fault analysis of logical X-functions based on the use of qubit data structures and memory-driven architectures for parallel computing of algorithms in order to significantly improve the performance of testing and deductive simulation of digital systems-on-chips. Scientific novelty of research results: 1) A structural model of the metrical properties of X-functions is proposed for the first time, focused on executing parallel operations on qubit data structures in order to provide linear time of test generation and simulation of digital systems. 2) An analytical model for the synthesis of qubit coverages of X-functions of a finite number of variables is proposed for the first time, characterizing by the possibility of creating logic circuits, which do not require exponential costs of generating and analyzing tests. 3) A parallel method of test synthesis for the faults of X-functions of a finite number of variables is proposed for the first time, characterizing by taking Boolean derivatives with respect to qubit coverages, which makes it possible to generate tests of minimal length. 4) A parallel method for the synthesis of deductive qubit coverages for simulation of X-functions is proposed for the first time, characterizing by obtaining a unit matrix of derivatives, which makes it possible to create a sequencer for fault simulation that is invariant to the input test patterns. 5) Memory-driven architectures and algorithms for implementing methods for testing and verifying digital systems-on-chips are improved, which are distinguished by the parallel execution of logical operations on qubit data structures. 6) The quantum methods of test generation and deductive fault simulation of logic functions are improved, which differ from analogs in the synthesis of matrices of Boolean derivatives with respect to their qubit coverages.

Мета дослідження – істотне скорочення часу виявлення і блокування кібератак, спрямованих на кіберпростір суб'єкта, шляхом використання розроблених матричних моделей і логічних методів тестування, перевірки та діагностування за рахунок введення обчислювальної надмірності в інфраструктуру кіберпростору. Наукова новизна результатів досліджень: 1) Удосконалено структурно-логічні моделі і методи перевірки кіберпростору для тестування і діагностування шкідливих компонентів, які відрізняються використанням методу дедуктивного паралельного аналізу обчислювальної системи для перевірки та діагностування malware. 2) Запропоновано нові методи синтезу еталонних логічних схем malware-функціональностей, які характеризуються використанням сигнатурно-кубітних структур, що дає можливість паралельно моделювати malware-driven великі дані для визначення належності поточного коду до існуючих деструктивних компонентів у malware бібліотеці. 3) Розроблено нову модель активного online cyber security комп'ютингу, яка характеризується сигнатурно-кубітним поданням інформації, що дає можливість підвищувати швидкодію процесів моніторингу вхідних потоків malware-даних і управління видаленням деструктивних компонентів. 4) Запропоновано новий метод атрибутно-орієнтованого розпізнавання URL-адрес з використанням частотних паттернів і метод перевірки поліморфних шкідливих програм на основі врахування контрольних сум Portable Executable секцій у виконуваних файлах і застосування апарату інтелектуального аналізу даних. 5) Удосконалено засоби захисту кіберпростору, які відрізняються використанням моделей і методів сигнатурно-логічного тестування атак, пошуку криптопримітивів у троянських програмах-шифрувальниках на основі використання алгоритмів машинного навчання, що дає можливість істотно зменшити час відновлення працездатності обчислювальної структури.^UThe purpose of the study is to significantly reduce the time of detection and blocking of cyber attacks aimed at the cyberspace of the subject, using the developed matrix models and logical methods of testing, testing and diagnosing by introducing computational redundancy into the cyberspace infrastructure. The scientific novelty of research results: 1) Structural and logical models and methods for testing cyberspace for testing and diagnosing malicious components have been improved, which differ in using the method of deductive parallel analysis of a computing system to check and diagnose malware. 2) New methods for synthesizing reference logic circuits of malware-functionalities are proposed, which are characterized by the use of signature-qubit structures, which makes it possible to simulate malware-driven big data in parallel to determine whether the current code belongs to existing destructive components in the malware library. 3) A new model of active online cybersecurity computing has been developed, which is characterized by a signature-qubit representation of information, which makes it possible to increase the speed of monitoring the input malware-data streams and controlling the removal of destructive components. 4) Developing a method of attribute-based URL recognition using frequency patterns and a method for testing polymorphic malware based on the accounting of the Portable Executable checksums of sections in the executable file and using the data mining apparatus. 5) Cyberspace protection tools have been improved, which differ in the use of models and methods of signature-logic testing of attacks, the search for crypto-primitives in ransomware based on the use of machine learning algorithms, which makes it possible to significantly reduce the recovery time of the computing structure.

Мета дослідження – розробка архітектур кіберфізичного комп'ютингу, що використовує кубітні логічні моделі і методи аналізу великих даних, отриманих шляхом метричного моніторингу активності громадян, для морального цифрового управління соціальними процесами, забезпечення якості життя і збереження екології планети. Сутність дослідження – архітектура кіберсоціального комп'ютингу для метричного моніторингу активності громадян і подальшого кубітного моделювання великих даних на логічних структурах з метою морального цифрового управління соціальними процесами, забезпечення якості життя і збереження екології планети. Наукова новизна результатів дослідження: 1) Вперше запропоновано кубітний метод синтезу логічних схем, який характеризується унітарним кодуванням значень багатозначних змінних для паралельного моделювання кіберсоціальних процесів. 2) Вперше запропоновано кубітний метод паралельного аналізу кіберсоціальних процесів, який характеризується унітарним кодуванням багатозначних змінних, використовуваних в еталонних логічних елементах комбінаційних схем. 3) Вперше запропоновано кубітно-регістровий метод аналізу, який характеризується використанням логічних елементів з векторною формою унітарних кодів багатозначних змінних для паралельного моделювання кіберсоціальних процесів. 4) Удосконалено архітектуру memory-driven кіберфізичного комп'ютингу, яка відрізняється паралелізмом процедур синтезу та аналізу логічних секвенсоров, призначених для моделювання соціальних процесів і явищ з метою моніторингу та управління. 5) Удосконалено кубітно-векторні моделі цифрових комбінаційних схем, які відрізняються унітарним кодуванням багатозначних логічних змінних для синтезу секвенсоров з метою паралельного аналізу кіберсоціальних процесів.^UThe purpose of the study is the development of cyber-physics computer architectures using qubit logical models and methods for analyzing large data obtained through metric monitoring of citizen activity, for moral digital management of social processes, quality of life and ecology of the planet. The essence of the study is the architecture of cyber-social computing for metric monitoring of the activity of citizens and the subsequent qubit modeling of large data on logical structures for the purpose of moral digital management of social processes, ensuring quality of life and preservation of the ecology of the planet. Scientific novelty of research results: 1) For the first time, a qubit method for the synthesis of logic circuits is proposed, which is characterized by the unitary encoding of values of multivalued variables for the parallel simulation of cybersocial processes. 2) For the first time a qubit method of parallel analysis of cybersocial processes is proposed, which is characterized by unitary coding of multivalued variables used in reference logic elements of combinational schemes. 3) For the first time, the qubit-register method of analysis is proposed, which is characterized by the use of logical elements with the vector form of unitary codes of multivalued variables for the parallel simulation of cyber-social processes. 4) Improved architecture of memory-driven cyber-physics computing, which is characterized by parallelization of procedures for synthesis and analysis of logical sequencers designed to simulate social processes and phenomena for monitoring and management. 5) Improved qubit-vector models of digital combinational schemes that differ in unitary coding of multivalued logical variables for the synthesis of sequencers for the purpose of parallel analysis of cybersocial processes.

Мета дослідження – забезпечення метричної якості моніторингу та управління процесами та явищами у кіберсоціальному просторі шляхом розробки та імплементації моделей, методів та архітектур in-memory комп'ютингу елементарних транзакцій на векторно-матричних розумних структурах даних.Наукова новизна результатів досліджень: 1. Вперше розроблено сімейство нових векторних моделей, які характеризуються компактністю опису функцій, структур та інтерактивних архітектур та призначені для паралельного FML-IMC комп'ютингу на основі вичерпного моніторингу та online цифрового управління соціальними процесами. 2. Вперше розроблено сімейство нових векторних паралельних методів аналізу структур унітарно кодованих даних, що характеризуються паралельністю виконання read-write транзакцій для пошуку ключових даних, розпізнавання патернів, метричного моніторингу та цифрового управління соціальними процесами. 3. Запропоновано сімейство вдосконалених розумних логічних структур даних та векторних методів технічної діагностики, які відрізняються від відомих цільовим застосуванням для побудови цифрових логічних архітектур прийняття метричних рішень та їх застосування у кіберсоціальному комп'ютингу. 4. Запропоновано вдосконалену топологічно розподілену Cloud-Edge архітектуру, яка відрізняється від стандарту IEEE Std 3652.1–2020 online суміщенням процедур навчання та тестування для активного моніторингу-верифікації та термінального навчання ML-моделей на великих даних соціальних процесів. 5. Удосконалено метрику подібності-відмінності обробки великих даних у кіберсоціальному просторі, яка відрізняється від аналогів використанням однієї конволюційної тотожності замість трьох відомих, а також поданням процесів та явищ у векторному вигляді патернів та унітарним кодуванням компонентів для паралельної обробки даних. 6. Вперше розроблено паралельні методи та алгоритми пошуку та розпізнавання замовленого контенту в кіберпросторі, які відрізняються від аналогів використанням векторних розумних структур унітарно-кодованих даних. 7. Вперше запропоновано сімейство нових схемних логічних структур, що характеризуються паралельністю виконання операцій на основі використання логічних векторів, та реалізують кібер-фізичний комп'ютинг для моніторингу, моделювання та управління social-процесами компанії.^UThe purpose of the research is to ensure the metric quality of monitoring and management of processes and phenomena in the cyber-social space by developing and implementing models, methods and architectures of in-memory computing of elementary transactions on vector-matrix intelligent data structures.Scientific novelty of research results:1. Firstly a family of new vector models was developed, which are characterized by a compact description of functions, structures and interactive architectures and are intended for parallel FML-IMC computing based on comprehensive monitoring and online digital management of social processes.2. Firstly a family of new vector parallel methods for analysis of unitary coded data structures, characterized by the parallel execution of read-write transactions for key data search, pattern recognition, metric monitoring and digital management of social processes, was developed.3. An improved family of intelligent logical data structures and vector methods of technical diagnostics is proposed, which differ from known target applications for building digital logical architectures for metric decision-making and their application in cyber-social computing.4. An improved topologically distributed Cloud-Edge architecture is proposed, which differs from the IEEE Std 3652.1–2020 online standard by combining training and testing procedures for active monitoring-verification and terminal training of ML models on large data of social processes.5. The similarity-difference metric of big data processing in the cyber-social space has been improved, which differs from analogues by using one convolutional identity instead of three known ones, as well as presenting processes and phenomena in the vector form of patterns and unitary coding of components for parallel data processing.6. Firstly, parallel methods and algorithms for searching and recognizing ordered content in cyberspace have been developed, which differ from analogues of using vector intelligent structures of unitary-coded data.7. Firstly, a family of new schematic logical structures, characterized by the parallel execution of operations based on the use of logical vectors, is proposed, which implements cyber-physical computing for monitoring, modeling and management of social processes of the company.