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

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

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

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

Доведено, що трансфінітне продовження асимптотичного виміру asInd є тривіальним. Побудовано нетривіальне трансфінітне продовження асимптотичного виміру asdim, а також поглинальні простори для борелівських класів зліченновимірних просторів. Доведено, що підпростір у гіперпросторі евклідового простору, що складається з компактів, для яких відображення найближчої точки є неоднозначним на всюди щільній множині, гомеоморфний гільбертовому простору. Наведено повну класифікацію просторів і відображень імовірнісних мір над борелівськими підмножинами гільбертового кубу. Побудовано нормальний функтор H на базі конструкції Гартмана - Мицельського. Доведено відкритість функтора H й охарактеризовано компакти X, для яких HX гомеоморфний тихоновському кубу. Введено клас L-монад і показано, що кожна така монада має функціональне представлення. Побудовано L-монаду, алгебри якої не вкладаються в добуток відрізків. Знайдено конструкцію, що зіставляє кожній алгебрі довільної L-монади структуру опуклості, з'ясовано, що ці структури зберігаються морфізмами алгебр. Доведено м'якість відкритих відображень з опуклими шарами для бінарних опуклостей, а також відкритість функтора O й охарактеризовано компакти X, для яких OX гомеоморфний тихоновському кубу. Досліджено клас барицентрично м'яких компактів та розв'язано два питання В.В.Федорчука.

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

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

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

У дослідженні уточнено, що професійна соціалізація майбутньоговикладача-педагога – це опанування соціально-професійним досвідом в умовахцілеспрямованої, спеціалізованої організації, що виявляється як сукупність усіхосвітніх впливів. Професійну соціалізацію майбутніх викладачів-педагогів восвітньому середовищі закладу вищої освіти розглянуто через взаємозв'язок їхніхпрофесійних очікувань, професійної активності та професійних досягнень.Визначено критерії професійної соціалізації: професійні очікування,професійна активність та професійні досягнення. Виокремлено показники виявута рівні актуалізації професійної соціалізації майбутнього викладача-педагога.Теоретично обґрунтовано педагогічні умови активізації професійноїсоціалізації майбутнього викладача-педагога: розвиток студентськогосамоврядування, формування професійної позиції та активізація проблемнодослідницької діяльності.Розкрито логіку, етапи та методику педагогічного експерименту іззалучення майбутніх педагогів до різних видів діяльності з метою активізації їхпрофесійної соціалізації, обґрунтовано вибір діагностичного апаратуекспериментального дослідження.Наведено результати експериментальної перевірки, що підтвердилиефективність педагогічних умов активізації професійної соціалізації майбутньоговикладача-педагога^UIn the research it has been specified that future lecturer-pedagogue's professionalsocialization – is mastering social and professional experience in conditions ofpurposeful, specialized organization, that manifests itself as a combination of all 20educational influences. Future lecturer-pedagogue's professional socialization in theeducational environment of establishment of higher education has been consideredthrough the interrelation of their professional expectations, professional activity andprofessional achievements.The criteria have been determined, the indices of manifestation and the levels ofactualization of future lecturer-pedagogue's professional socialization have beendistinguished.Pedagogical conditions of activation of future lecturer-pedagogue's professionalsocialization: development of students' self-government, formation of professionalposition and activization of problem-research activity have been theoreticallysubstantiated.Logics, stages and methodic of the pedagogical experiment of involving futurepedagogues to different kinds of activity aimed at activization of their professionalsocialization have been disclosed, the choice of diagnostic apparatus of experimentalresearch has been substantiated.The results of the experimental verification that proved the effectiveness of thepedagogical conditions of activization of future lecturer-pedagogue's professionalsocialization have been presented.

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