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

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

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

З метою підвищення ефективності процесів прийняття рішень у задачах автоматизованого управління запропоновано застосування методу формалізації опису та включення мети у контекст розв'язуваної задачі під час проведення оцінки складних об'єктів (ОСО). Удосконалено зміст поняття "простір ознак об'єкта". Доведено ряд базових теорем для його ефективної побудови та використання. Розроблено формалізований об'єктно-орієнтований метод формування та застосування запропонованої цілеорієнтованої моделі процесу ОСО на базі використання сформульованого Принципу Достатності. Створено нову інформаційну технологію прийняття рішень, реалізовану у вигляді програмної системи EXPEK Pro. Виявлено високу ефективність запропонованої методики у процесі рішення задач оцінки, класифікації та прогнозування.

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

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

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

Дисертація присвячена питанням скорочення часу і кількості помилок при ОО-моделювання об'єктів та процесів предметних галузей, що автоматизуються, за рахунок розробки моделей, методів та інформаційної технології формування вимог ПГ у вигляді ВВ і побудові моделей класів. Об'єктом дослідження є ОО-моделювання на основі вимог ПГ у вигляді варіантів використання в технологіях розробки ІС.Предметом дослідження є моделі, методи і інформаційні технології автоматизованого формування вимог предметної галузі.Наукова новизна отриманих результатів полягає у розвитку та поглибленні теоретичних і методологічних основ технології автоматизованого відображення вимог ПГ у вигляді ВВ та створення на їх основі моделей програмних класів.Вперше розроблено метод автоматизованого формування ВВ, суттєвою властивістю якого є використання запропонованої класифікації пунктів сценарію, метод також містить модель кожного пункту і механізм його формування, що дозволило скоротити час і кількість помилок при формуванні ВВ та створити основу для подальшої автоматизації ОО-моделювання об'єктів та процесів ПГ. Отримала подальший розвиток інформаційна модель програмного класу яка відрізняється введенням призначення класу, атрибутів і методів, а також формалізацією встановлення зв'язків між ВВ, класом, методами і атрибутами, що дозволило автоматизувати процеси побудови моделі і специфікації класу і, таким чином, скоротити час на її синтез та аналіз. Удосконалено метод побудови моделей програмних класів за рахунок застосування для кожного типу пункту сценарію запропоновану модель класу і автоматичного створення специфікації класів, що дозволило підвищити ефективність розроблення ПЗ за рахунок скорочення часу і суттєвого зменшення кількості помилок при розробці моделі програмних класів.Отримав подальший розвиток метод визначення відповідності моделі класів шаблонам проектування і корпоративним вимогам, який відрізняється тим, що за рахунок формалізованого опису призначення і зв'язків класів, їх атрибутів і методів, проводиться аналіз їх відповідності встановленим критеріям якості класів, що дозволило скоротити кількість ітерацій при формуванні моделей класів.Отримав подальший розвиток метод модернізації компонентів моделі класів, який на відміну від відомих, використовує виявлені в роботі залежності між структурою моделі класів та змінами у ВВ, що дає змогу автоматизувати редагування проекту відповідно змінам у вимогах та підвищити ефективність розроблення ПЗ.Отримала подальший розвиток методика перевірки якості реалізації вимог, яка заснована на поданні ВВ у вигляді графа, побудованого з урахуванням класифікації пунктів сценаріїв і надання кожному пункту окремого шаблону тестування, що дозволило скоротити час на формування тестів та забезпечити повноту тестування.^UThe thesis is devoted to the issues of increasing the productivity of developing information systems (IS) by reducing the time to create use cases (UC) and models of program classes by developing and improving methods for describing UC, building, tracking changes and testing class models.A method for the automated description of the UC based on the proposed classification of scenario points has been developed, which has allowed the creation of templates for describing scenario points. The method of constructing a model of program classes (MPC) was improved, which provides for the inclusion in the model of additional information about the class, its attributes and methods, as well as the application of techniques and procedures for the gradual creation of the model in accordance with scenario points. The method for for determining the conformity of a class model to design patterns and corporate requirements, which provides for the automated determination of a number of metrics with respect to the class in general, its attributes and methods, was further developed. The method for class model component upgrades was further developed through the automated determination and correction of classes, methods and attributes associated with scenario points to be changed. The methodology for checking the quality of implementation of the requirements of the subject area was further developed, which provides for the automated identification of many test cases, as well as the use of test patterns that correspond to the type of each scenario point. The proposed methods allowed to reduce the time spent on the description of the UC, the creation of the MPC, the verification of class models, tracking changes in requirements and to ensure the completeness of testing. Software for implementing the proposed methods has been developed.