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

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

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

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

Дисертаційне дослідження присвячене провадженню у справах про надання дозволу на примусове виконання рішень третейських судів. Досліджено генезис примусового виконання рішення третейського суду. Описана правова природа вказаного виду провадження. Охарактеризовано процесуальний статус учасників справи про видачу виконавчого листа на рішення третейського суду. Здійснено аналіз повноважень суду на стадіях відкриття провадження у справі та розгляду справи по суті. Наукова новизна дисертаційної роботи полягає в тому, що вона є першим в Україні комплексним дослідженням цивільного судочинства у справах про надання дозволу на примусове виконання рішень третейських судів. У роботі вперше сформульовано єдиний концептуальний підхід до розуміння провадження про надання дозволу на примусове виконання рішення третейського суду як самостійного спрощеного виду непозовного цивільного судочинства в апеляційному суді загальної юрисдикції, в порядку якого розглядаються справи про встановлення підстав для видачі виконавчого листа на примусове виконання рішення третейського суду.Спрощеність цивільної процесуальної форми в межах провадження про надання дозволу на примусове виконання рішення третейського суду проявляється в особливому: суб'єкті звернення (сторона третейського розгляду, на користь якої таке рішення прийнято); формі звернення (заява про видачу виконавчого листа на примусове виконання рішення третейського суду є єдиним видом заяви, якою ініціюється провадження, що не містить серед своїх реквізитів інформації щодо підстав звернення заявника до суду загальної юрисдикції); інстанційній юрисдикції (заява розглядається апеляційним судом як судом першої інстанції), територіальній юрисдикції (заява розглядається судом за місцем третейського розгляду); скорочених строках розгляду (15 днів з моменту надходження заяви до суду); неможливості застосування низки процесуальних інститутів (зокрема, призначення експертизи, забезпечення позову чи доказів тощо).Запропоновано власний дефінітивний апарат і визначено правовий статус учасників справи про надання дозволу на примусове виконання рішення третейського суду, визначених у ч. 5 ст. 42 ЦПК України. Так, обов'язковими учасниками справи про надання дозволу на примусове виконання рішення третейського суду є заявник та боржник. Факультативним учасником такої справи може бути особа, яка не брала участі у третейському розгляді, якщо третейський суд вирішив питання про її права та обов'язки. Виходячи з принципу диспозитивності, аргументовано необхідність внесення змін до ст. 485 ЦПК України та закріплення у ній таких спеціальних прав заявника як: право на відмову від поданої ним заяви про видачу виконавчого листа на примусове виконання рішення третейського суду; право подати клопотання про залишення без розгляду поданої ним заяви про видачу виконавчого листа на примусове виконання рішення третейського суду.Зазначено, що спеціальною підставою для зупинення провадження у справі за заявою про видачу виконавчого листа на рішення третейського суду є неможливість розгляду цієї справи до вирішення справи щодо скасування рішення третейського суду, про примусове виконання його просить у своїй заяві заявник. Обґрунтовано неможливість застосування до розгляду заяви про видачу виконавчого листа на рішення третейського суду загальних підстав для зупинення провадження у справі (ст. 251, 252 ЦПК України), крім підстави, передбаченої п. 1 ч. 1 ст. 251 ЦПК України.Запропоновано закріпити такі додаткові підстави для відмови у видачі виконавчого листа на примусове виконання рішення третейського суду, внісши відповідні зміни до ч. 1 ст. 486 ЦПК України, а саме: 1) «сторона не була належним чином повідомлена про обрання (призначення) третейського(их) суді(в) чи про дату, час і місце третейського розгляду або з інших поважних причин не могла надати третейському суду свої пояснення»; 2) «рішення третейського суду виконане. Якщо рішення третейського суду виконане частково, то у видачі виконавчого листа може бути відмовлено лише в частині рішення, що вже виконана боржником».Встановлено, що норми ст. 353, 487 ЦПК України передбачають можливість апеляційного оскарження ухвали про відмову у видачі виконавчого листа на примусове виконання рішення третейського суду. Водночас, оскарження в апеляційному порядку ухвали про видачу виконавчого листа на рішення третейського суду нормативно не передбачено. Надана критична оцінка такому нормативному формулюванню, оскільки можливість апеляційного оскарження ухвали про видачу виконавчого листа на рішення третейського суду є необхідною умовою забезпечення прав боржника в провадженні про надання дозволу на виконання рішення третейського суду.^UThe dissertation is devoted to the proceedings in cases of granting permission for enforcement of decisions of arbitration courts. The genesis of enforcement of the court of arbitration decision was studied. The legal nature of the specified type of proceedings is described. The procedural status of the participants in the case on the issuance of a writ of execution on the decision of the arbitration court was described. The powers of the court at the stages of opening proceedings and consideration of the case merits were analyzed. The scientific novelty of the dissertation is that it is the first in Ukraine comprehensive study of civil proceedings in cases of granting permission to enforce the decisions of arbitration courts.For the first time in the dissertation was formulated a unified conceptual approach to understanding the procedure for granting permission to enforce the decision of the arbitration court as an independent simplified type of non-litigious civil proceedings in the Court of Appeal of general jurisdiction, which considers cases of establishing grounds for enforcement the court of arbitration decisions. Simplification of the civil procedural form within the proceedings on granting permission to enforce the decision of the court of arbitration is in the following: the subject of the appeal (the party to the arbitration proceedings in whose favor such decision was made); the form of the appeal (application for issuance of a writ of execution for enforcement of the decision of the arbitration court is the only type of application initiating the proceedings, which does not contain among its details information on the grounds of the applicant's appeal to the court of general jurisdiction); instance jurisdiction (the application is considered by the appellate court as a court of first instance), territorial jurisdiction (the application is considered by the court at the place of arbitration); shortened terms of consideration (15 days from the moment of receipt of the application in court); the impossibility of applying a number of procedural institutions (in particular, the appointment of expertise, securing a claim or evidence, etc.).Author suggested her own definitive apparatus and defined the legal status of participants of a case on granting of the permission for compulsory execution of the decision of arbitration court defined in part 5 Article 42 of the Civil Procedural Code of Ukraine. Thus, the obligatory participants in the case of granting permission to enforce the decision of the arbitration court are the applicant and the debtor. Bearing in mind the principle of dispositiveness, the need to amend Article 485 of the Civil Procedural Code of Ukraine and fixing in this article special rights of the applicant such as: the right to refuse the application submitted by him for the issuance of a writ of execution for enforcement of the decision of the arbitration court; the right to file a petition to leave without consideration the application submitted by him for the issuance of a writ of execution for the enforcement of the decision of the court of arbitration.It is noted that a special ground for suspending the proceedings on the application for a writ of execution on the decision of the court of arbitration is the impossibility of considering this case before resolving the case on cancellation of the arbitral award, the applicant requests enforcement in his application. The impossibility of applying to the application for the issuance of a writ of execution on the decision of the arbitration court general grounds for suspension of the proceedings (Articles 251, 252 of the Civil Procedural Code of Ukraine) except for the grounds provided for in paragraph 1 of Part 1 of Article 251 of the Civil Procedural Code of Ukraine.Author suggested foreseeing the following additional grounds for refusing to issue a writ of execution for the enforcement of the decision of the court of arbitration, by making appropriate changes to part 1 of article 486 of the Civil Procedural Code of Ukraine, in particular: 1) «the party was not duly notified of the election (appointment) of the arbitration court or the date, time and place of the arbitration or for other valid reasons could not provide the arbitration court with its explanations»; 2) «the decision of the arbitration court is executed». If the decision of the arbitration court is partially executed, the issuance of a writ of execution may be denied only in the part of the decision that has already been executed by the debtor.It was established that the rules of articles 353, 487 of the Civil Procedural Code of Ukraine provide for the possibility of appeal against the decision to refuse to issue a writ of execution for enforcement of the decision of the arbitration court. At the same time, the appeal against the decision to issue a writ of execution against the decision of the arbitration court is not provided by law.

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