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

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

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

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

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

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

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

У дисертаційній роботі вирішена актуальна науково-практична задача ро-зробки моделей та інформаційної технології інтелектуального аналізу факто-графічної інформації. На основі аналізу моделей та методів обробки фактогра-фічних даних у мережевих потоках сформульовано основні вимоги до розробки інформаційної технології інтелектуального аналізу фактографічних ресурсів. У якості математичного інструментарію моделювання фактів визначено теорію категорій, її проективну та предикатну інтерпретації. Запропоновано для опису фактографічної інформації використовувати теорію інтелекту, метод компара-торної ідентифікації та апарат алгебро-логічних рівнянь. Розроблено моделі те-матичного пошуку та екстракції фактографічної інформації на основі інтелектуальної процедури оцінки текстової інформації. Запропоновано для опису фактів використання двох типів триплетів: «Суб'єкт -Предикат - Об'єкт» та «Предмет - Атрибут - Значення», що дозволяє вилучати поняття зі слабоструктурованих текстових ресурсів та описувати відношення між ними у струк-турованому вигляді. Сформовано підхід до видобування фактографічних даних з текстових джерел, запропоновано використання онтологій для опису процесів інтеграції фактографічної інформації. Запропоновано використання нового на-півавтоматичного методу для розширення базової онтології на прикладі пред-метних областей «радіаційна безпека» та «обробка патентно-кон'юнктурної ін-формації». Проведено апробацію розроблених моделей, підходів та інформа-ційної технології та впроваджено результати дослідження у реальні інформа-ційні системи. Розроблено еталонну архітектуру, програмні компоненти серверної частини програмної системи, що дозволяє проводити екстракцію даних на основі використання гнучкого конфігурування та предикатної моделі видобу-вання даних.^UThe actual scientific and practical task of developing models and information tech-nology of intellectual analysis of factual information is solved in the dissertation. On the basis of analysis of models and methods of processing factual data in network streams, the basic requirements for the development of information technology of intellectual analysis of factual resources are formulated. The theory of categories, its projective and predicate interpretations is determined as a mathematical tool for modeling facts. It is proposed to use the theory of intelligence, the method of comparative identification and the apparatus of algebra-logical equations to describe factual information. Models of thematic search and extraction of factual information on the basis of the intellectual procedure for evaluat-ing textual information have been developed. It is proposed to describe the use of two types of triplets: "Subject -Predicate -Object" and "Item -Attribute -Value", which allows you to remove the concept of weakly structured text resources and describe the relationship between them in a structured form. An approach to extracting factual data from text sources has been formed, and the use of ontologies for the description of the processes of integration of factual information is proposed. The use of a new semi-automatic method is proposed for extending the basic ontology, on the example of the subject areas "radiation safety" and "processing of patent information". Approbation of developed models, approaches and information technology was carried out and the results of research were implemented in real information systems. The reference architecture, software components of the server part of the software system, which allows data extraction based on the use of flexible configuration and predicate data mining model, is developed.

Дисертація присвячена розробці методів і моделей для автоматизації оптимізації програм у сучасних паралельних платформах. Розроблені методи формалізовані у побудованих моделях автотюнінга. Ефективність методів пояснюється й аналізується у моделі PRAM* – запропонованому розширенні класичної моделі додатковим рівнем пам'яті. Коректність методів доводиться у термінах дискретних динамічних систем. Для цього було побудовано алгебро-динамічну модель автотюнінгу для мультипроцесорних платформ. Також створено програмну реалізацію усіх запропонованих методів автотюнінга, що не залежить від предметної області задачі й операційної системи обчислювального середовища. Система автотюнінга базується на системі правил переписування й орієнтована в першу чергу на програмні додатки на мові Java. Загалом запропоноване рішення підходить для будь-якої імперативної мови програмування. Розроблені засоби було застосовано для оптимізації складних обчислювальних задач, в результаті досягнуто значні показники їх ефективності.^UThe thesis is devoted to the development of methods and models for automating optimization of software for parallel platforms. Thesis offers five new autotuning methods. The scientific novelty of the obtained results is a formal description of proposed autotuning methods. Work presents autotuning framework TuningGenie that uses term rewriting approach for source code transformations. With such approach, some formulated characteristics of computational logic can be automatically checked so correctness of optimizing transformations can be validated. Also utilizing means of rewriting rule systems is more agile comparing to text-like transformations – you can apply structural changes to your code like reversing the order of iterations over multidimensional data, etc. Effectiveness and nature of proposed methods are explained and estimated in a proposed model PRAM*. This model extends the conventional PRAM model with an additional layer of quick but limited memory and uses only one strategy for concurrent memory access orchestration. The correctness of the methods is proved in terms of discrete dynamic systems. Dynamic algebra model for multicore systems was created for this purpose. The results of the dissertation work are of a theoretical and practical nature and were motivated directly by a practical application. Therefore, a program implementation of all proposed methods of auto-tuning was created. This implementation is domain-independent and is suitable for any operating system that has Java virtual machine implementation. The auto-tuning system is based on rewriting rules framework and is focused primarily on software applications written in Java language. In general, the proposed solution is suitable for any imperative programming language. The effectiveness of the developed methods and tools was demonstrated with well-known model examples – optimization of sequential and parallel sorting algorithms, as well as the problem of modeling Brownian motion in an ideal gas. Also, the autotuning system was used to optimize the complex practical real-time task – a parallel algorithm for short-term meteorological forecasting.

В дисертації розглядається задача автоматизованого розпаралелюючого перетворення вкладених циклів, цільовою платформою якого є обчислювальна система гетерогенної архітектури, що включає графічні процесори. Розроблено формальне перетворення гнізда обчислювального циклу, що дозволяє здійснити перехід від послідовного алгоритму до паралельного. Перевагою методу є те, що він дозволяє здійснювати обробку даних, що за обсягом перевищують пам'ять виконуючого пристрою, надає можливість одночасного використання більш ніж одного графічного процесора, і є автоматизовним. Проведено експериментальне випробування розробленої системи перетворень в прикладних задачах, зокрема, задачі метеорологічного прогнозування.^UThe thesis considers the problem of automated parallelizing transformation of the nested cycles targeting a heterogeneous computational system that includes graphics processing units. The formal parallelizing method is developed. The method's advantage is that it allows to convert the amounts of data that exceeds the capacity of the on-board memory of an executing device, admits the simultaneous utilization of more than one graphics processor, and moreover, is automatable. A semi-automatic source-to-source rewriting rules based code transformation tool the aim of which is to assist in constructing a new concurrent program was implemented. To demonstrate the feasibility of the proposed approach, a series of experiments were conducted. The experiments included a set of benchmark problems tests of the developed transformation system. The tool was deployed to construct programs for solving matrix multiplication, N-body and numerical weather forecasting problems for a heterogeneous multicore cluster.