Уперше з використанням методу молекулярно-генетичного аналізу здійснено дослідження диплоїдно-поліплоїдного комплексу щипівок за змістом: генетичне маркування, цитометричний аналіз та детальна морфологічна характеристика. Уперше для України, на підставі даних одномірної та багатомірної статистики у порівнянні за морфологічними ознаками диплоїдних та поліплоїдних особин виділено сукупності діагностичних ознак зовнішньої морфології, що є необхідні для визначення щипівок досліджених регіонів. Проаналізовано колекцію зоологічного музею ННПМ НАНУ, на базі якої для родини Cobitidae охарактеризовано динаміку становлення комплексу щипівок України у часі. Уперше для фауни України виявлено міжвидові гібриди C. taenia-S. aurata і C. taenia-C. velanoleuca - нового виду для іхтіофауни України.

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

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

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

Уперше здійснено комплексний аналіз фразеологічних інновацій (ФІ) та відмежовано їх від фразеологічних одиниць, проведено ідеографічну та семантичну характеристики. Показано провідну роль ФІ у процесі передачі національно-культурної інформації та інформації, що пов'язана безпосередньо з суспільно-політичними, економічними явищами, які відбувалися в Німеччині після 1989 р. Наведено узагальнену когнітивну модель ФІ та виявлено її основні концепти на основі ФІ. Досліджено функціонування ФІ як репрезентантів певних концептів у газетному дискурсі та визначено їх текстотвірні функції.

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

Робота присвячена створенню інформацій¬ної технології (ІТ) календарного та оперативного планування (КОП) в системах з мережевим представленням технологічних процесів на основі високоефективних методів розв'язання задач КОП, формалізації поопераційного мережевого представлення дискретних технологічних процесів, модифікації відомих процедур агрегації та дезагрегації мережевої моделі та узгодженого планування, обґрунтування зведення задачі планування за будь-яким з п'яти базових критеріїв до однієї задачі складання розкладів. Вперше створено цілісний комплекс моделей та методів — чотирьохрівнева модель КОП. Розроблено новий метод розв'язання NP-складної задачі теорії розкладів «Складання розкладу виконання незалежних завдань ідентичними паралель¬ними пристроями, моменти запуску яких менше спільного директив¬ного строку», який дозволяє отримувати точний розв'язок для задач із десятками ти¬сяч змінних при виконанні ознак його оптимальності або наближений розв'язок з оцінкою відхилення від оптимуму при їх невиконанні. Створена інформацій¬на технологія календарного та оперативного планування в системах з мережевим представленням технологічних процесів. Система використовується на підприємстві ФГ «ЛЕТА» (м. Мукачево).^UThe dissertation is dedicated to research of information technology (IT) of job-shop scheduling in systems with precedence constraints based on highly efficient job-shop scheduling methods. Thanks to formalization of precedence constraints, modification of aggregation and disaggregation procedures and the procedures of coordinated planning from earlier created three-level scheduling model (3LM), substantiation of reducing the planning problem by any of the five basic criteria to a single scheduling problem, operational (the third level of 4LM) and operative (the fourth level of 4LM) planning levels formalization and development of the algorithms for operational scheduling and adjustments, an integral set of models and methods was created for the first time — the four-level model (4LM) of job-shop scheduling. The 4LM implements an efficient approximation method for Multi-Stage Job-Shop Scheduling Problems (MSJSP) in social and economic systems with precedence constraints and limited resources and methods of operational and operative planning. 4LM includes the decision-making unit (DMU) as a separate component that takes decisions during production planning.The process of obtaining operational plan (third level of 4LM) based on results of coordinated planning (second level of 4LM) has been formalized: if optimality criterion is one of the five base criteria then the operational planning task is defined and solved as multi-stage job-shop scheduling problem (task or task group completion times become due times for multi-stage job-shop scheduling problem), an affective solving method use PDC-algorithms for single stage scheduling; if optimality criterion is synthetic (linear combination of base criteria) alternative methods for building operational plan were suggested. One of them is original modified method of coordinated planning. Two algorithms for coordinated plan correction were developed, which are used on the fourth level.It is shown that regardless of type of industry, operations processing order and an implementation of JSP, solving of scheduling problem by one of these five optimality criteria is reduced to obtaining a feasible solution of the JSP by criterion of earliest job start time maximization. It is shown that solving efficiency of the JSP depends on efficiency of the first level of 4LM. Therefore, efficiency of MWCT problem solving is studied and statistically substantiated. The efficiency of the PDC-algorithm and the approximation algorithm has been proven for the case when weights of all nodes of the precedence graph, except the final ones, are zero (MWCTZ problem).The mathematical models for solving a scheduling problem “Uniform parallel-machine scheduling with independent jobs whose start times are less than a common due date to minimize total tardiness” (MTTPM) (used at the fourth level of 4LM) have been created. Unlike others, the new method allows to get exact solution for problems with tens of thousands of variables in case of optimality criteria fulfillment otherwise approximate solution with evaluation of deviation from optimum.The MTTPM problem was also generalized to the case when some or all jobs must not violate the common due date. An approximation algorithm based on the sequential solution of two different MTTPM problems has been developed. Three statements characterizing the theoretical properties of the approximation algorithm are proved. These statements allow: finding conditions when the problem has no solution; finding sufficient conditions of conditionally-optimal solution (optimal under condition that schedule is found for given job set which all are non-delayed); finding statistically sufficient factors of solution optimality; finding the lowest limit of functional value of optimal solution.The problem properties have been investigated and theoretically substantiated.On the basis of 4LM, an IT for job-shop scheduling in systems with precedence constraints has been created. It was implemented as general-purpose job-shop scheduling information system. The system is used to automate the production planning process at the "LETA" enterprise (Mukachevo town). It can work with data of real production sizes — hundreds of thousands of jobs on thousands of machines.

Дисертаційну роботу присвячено вивченню гаусдорфових трансляційно-неперервних слабко компактних топологій на напівґратці exp_n(lambda), алгебричних та топологічних властивостей розширень моноїдів симетричними інверсними напівгрупами обмеженого скінченного рангу I_lambda^n(S) слабко компактні топології на напівгрупі B_omega_F1 у випадку, коли сім'я F1 складається з порожньої множини та всіх одноточкових підмножин ординала omega. У дисертації описано зліченно компактні трансляційно-неперервні T1-топології на напівґратці exp_n(lambda) та доведено, що вони є напівґратковими компактними для довільного натурального числа n>1 та кожного нескінченного кардинала. Також побудовано некомпактну зліченно пракомпактну H-замкнену квазірегулярну ненапіврегулярну трансляційно-неперервну топологію на exp_2(lambda) та доведено, що напіврегулярна слабко компактна напівтопологічна напівґратка exp_n(lambda) є компактною топологічною напівґраткою. Доведено, що для довільної трансляційно-неперервної T1-топології на exp_n(lambda) секвенціальна пракомпактність напівґратки еквівалентна її D(omega)-компактності. У дисертаційній роботі описано будову та алгебричні властивості напівгрупового розширення I_lambda^n(S) моноїда S за модулем напівгрупи S. Також уведено поняття напівгруп із сильно щільними рядами ідеалів та знайдено умови, за яких напівгрупове розширення I_lambda^n(S) має (сильно) щільний ряд ідеалів за модулем моноїда S. Доведено, що для кожного компактного гаусдорфового напівтопологічного моноїда S існує єдине його компактне топологічне розширення I_lambda^n(S) у класі гаусдорфових напівтопологічних напівгруп і описано його топологію. Також описано алгебричну структуру біциклічного напівгрупового розширення B_omega_F1. Доведено, що кожна D(omega)-компактна трансляційно-неперервна T1-топологія на B_omega_F1 є компактною та секвенціально компактною, і збігається з одноточковою компактифікацією Алєксандрова зліченного дискретного простору.^UThe thesis is devoted to the study of the Hausdorff shift-continuous feebly compact topologies exp_n(lambda), the algebraic and topological properties of extensions of monoids by symmetric inverse semigroups of bounded finite rank I_lambda^n(S), the feebly compact topologies on the bicyclic semigroup extension B_omega_F1 in the case when the family F1 consists of the empty set and all singleton subsets of omega. In the thesis all countably compact shift-continuous T1-topologies on the semilattice exp_n(lambda) are described. Also, it is proved that these topologies are semilattice compact topologies for arbitrary integer n>1 and any infinite cardinal. It is constructed a non-semiregular Hausdorff countably pracompact (therefore feebly compact) non-compact shift-continuous topology on the semilattice exp_2(lambda) and it is proved that the semiregular feebly compact semitopological semilattice exp_n(lambda) is compact topological semilattice. It is proved that for any shift-continuous T1-topology tau on exp_n(lambda) the following conditions are equivalent: i) tau is sequentially pracompact; ii) tau is D(omega)-compact. ?In the thesis construction and algebraic properties of the semigroup extension I_lambda^n(S) of a monoid S up to the modulo of the semigroup S are described. Also, it is introduced the conception of a semigroup with strongly tight ideal series, and conditions of the semigroup I_lambda^n(S) to be a semigroup with (strongly) tight ideal series up to the modulo of the monoid S are found. It is proved that for each compact Hausdorff semitopological monoid S there exists its unique compact topological extension I_lambda^n(S) in the class of the Hausdorff semitopological semigroups and it is described its topology. Also, there are represented the definition of the semigroup B_omega^F1 in the case when the family F1 consists of the empty set and all singleton subsets of omega and investigated its algebraic properties. It is proved that each D(omega)-compact shift-continuous T1-topology on B_omega_F1 is compact and sequentially compact, and moreover it is the Alexandrov one-point compactification of the countable discrete space.