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

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

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

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

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

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

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

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

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

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

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

Дисертаційну роботу присвячено вирішенню актуальної науково-прикладної проблеми створення методологічних засад і технологічних засобів динамічного розподілу виконавчих ресурсів в автоматизованих організаційно-технічних системах. Удосконалено методологію створення технологічних засобів динамічного розподілу виконавчих ресурсів в автоматизованих організаційно-технічних системах. До комплексу методологічних принципів включені принцип конвергенції онтологій предметної області і системи управління, принцип рефлексивного переходу і його формалізований опис, а також включені етапи стратифікації онтологій за аспектними рівнями. Синтезовано структурні, динамічні, інформаційні моделі, а також методи, що складають основу інформаційної технології динамічного розподілу виконавчих ресурсів. Створено та реалізовано інформаційну технологію динамічного розподілу виконавчих ресурсів в організаційно-технічних системах. Наведено результати експериментів на імітаційній моделі та результати впровадження, які довели працездатність та ефективність системи моніторингу і диспетчеризації бізнес-процесів на основі методів і моделей динамічного розподілу виконавчих ресурсів в організаційно-технічних системах.^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 development of an instrumental system that allows toautomate the analysis of boundary value problems of the theory of elasticity by means of theanalytical method of initial functions.Nowadays, analytical (algebraic and symbolic) calculations, which have greater clarity of resultsthan numerical ones, are gaining more and more recognition. Analytical calculations areimplemented in computer mathematics (SCM) systems. Therefore, SCM is widely used in science,technology and, especially, in the educational process. Their main advantages are ease of use,accuracy of the obtained solutions, high efficiency of processing algebraic operations. However,they have a common drawback: partial support for transformations of transcendental andlogarithmic expressions. Before application in specialized fields of science and technology SCMmust be software improved. The obtained final and some intermediate results of calculationsshould be investigated for compliance with the content of the problem, accuracy, etc. Especiallyfor the case of boundary value problems of the theory of elasticity, where SCM was rarely usedfor research.In the dissertation work the instrumental system of solving problems of mathematical physics byanalytical-numerical methods is considered. The solution of mathematical physics problems forstatic linear theory of elasticity on a computer is automated. An analytical-numerical method ofinitial functions for solving two-dimensional and three-dimensional problems is proposed.Algorithms have been developed to derive analytical solutions of differential equations of thetheory of elasticity on a computer. Algorithms for converting differentiation and integrationoperations into symbolic operations of multiplication and division have been created. The mainresults of the work were used to analyze the problems of mathematical physics that arise in thetheory of elasticity. A new approach to finding the elastic characteristics of an elastic two-layerfoundation has been developed. It is based on a synthesis of analytical and numerical methods.It should be noted that the tool system due to the language of the interpretive type SCM isdesigned so that if at some stage of its work results are obtained that do not satisfy the user, hewill be able to make the necessary changes online to refine and correct the results. Theinstrumental system is aimed at giving the researcher the opportunity to modify the mathematicalmodel in the analysis process, to interfere in the calculation process. Its main advantage is theability to make changes to the program in the input language of the system.

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