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

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

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

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

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

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

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

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

Дисертаційну роботу присвячено вирішенню актуальної науково-прикладної проблеми створення методологічних засад і технологічних засобів динамічного розподілу виконавчих ресурсів в автоматизованих організаційно-технічних системах. Удосконалено методологію створення технологічних засобів динамічного розподілу виконавчих ресурсів в автоматизованих організаційно-технічних системах. До комплексу методологічних принципів включені принцип конвергенції онтологій предметної області і системи управління, принцип рефлексивного переходу і його формалізований опис, а також включені етапи стратифікації онтологій за аспектними рівнями. Синтезовано структурні, динамічні, інформаційні моделі, а також методи, що складають основу інформаційної технології динамічного розподілу виконавчих ресурсів. Створено та реалізовано інформаційну технологію динамічного розподілу виконавчих ресурсів в організаційно-технічних системах. Наведено результати експериментів на імітаційній моделі та результати впровадження, які довели працездатність та ефективність системи моніторингу і диспетчеризації бізнес-процесів на основі методів і моделей динамічного розподілу виконавчих ресурсів в організаційно-технічних системах.^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.

Дисертацію присвячено дослідженню юридичної природи інституту окремого проживання подружжя, правових підстав для його встановлення та припинення, правових наслідків, які наступають у зв'язку із встановленням або припиненням режиму окремого проживання подружжя, дослідженню відповідного зарубіжного та історичного досвіду.У роботі розроблено концепцію сучасного розуміння правового режиму окремого проживання подружжя, виявлення основних теоретичних та прикладних проблем даного сімейно-правового інституту, а також сформовано наукові висновки та пропозиції стосовно вдосконалення чинного сімейного законодавства у даній галузі дослідження.В роботі проведено аналіз теоретико-правових проблем визначення режиму окремого проживання подружжя у сімейному праві; з'ясовано поняття, основні риси та правова природа режиму окремого проживання подружжя в сімейному праві в контексті його співвідношення із суміжними правовими поняттями сімейного права; проаналізовано особливості встановлення, зміни та припинення режиму окремого проживання подружжя, в тому числі в судовому та договірному порядку; з'ясовано основні наукові підходи до класифікації та визначено зміст майнових юридичних наслідків режиму окремого проживання подружжя; розкрито зміст правових наслідків немайнового характеру у разі встановлення режиму окремого проживання подружжя; запропоновано науково-обґрунтовані пропозиції по вдосконаленню норм сімейного законодавства, якими врегульовано питання режиму окремого проживання подружжя в сімейному праві.^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