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

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

Вирішено проблему підвищення ефективності виробництва об'ємних Cz - Si-монокристалів, розроблено та впроваджено організаційно-технологічну систему керування технологічними процесами компоновки завантажень, вирощування й обробки монокристалічних злитків на основі синтезованих моделей, адаптивних алгоритмів і програмно-технічних засобів керування багатовимірними стохастичними та нестаціонарними технологічними процесами. Формалізовано завдання оптимальної компоновки завантажень, запропоновано схему його вирішення з використанням методу випадкового пошуку для мінімізації наднормативної витрати кремнію-сирцю. Розроблено алгоритмічні та програмні засоби синтезу комбінованих моделей типу "передавальна функція + шум", що реалізують етапи структурної та параметричної ідентифікації моделей та їх діагностичної перевірки. Синтезовано регулятори на основі цих моделей. Розроблено спосіб вирощування монокристалів і пристрій для його реалізації, які грунтуються на вимірі параметрів меніска та рівня розплаву у тиглі шляхом обробки одержаного з відеокамери зображення зони кристалізації. Розроблено адаптивну процедуру відпрацювання злитків, модель і алгоритм вирішення задачі оптимального розкрою партії злитків. Розроблено організаційно-технологічну систему управління виробництвом об'ємних Cz - Si-монокристалів на базі створеної концепції автоматизації керування технологічними процесами даного виробництва.

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

Розроблено нову систему АСКОЕ дистанцій електропостачання залізниць з новими функціями, що підвищують енергетичну ефективність електричної тяги, серед яких - раціональне переведення тягових підстанцій та диференційовані тарифи оплати за активну та реактивну електроенергію, контроль за раціональним електрообігрівом приміщень дистанцій електропостачання, прогнозування місячних витрат електроенергії тягових підстанцій, непрямий контроль за спрацьовуванням ресурсу тягових трансформаторів. Для реалізації цих функцій розроблено моделі раціонального переводу тягових підстанцій на диференційовані тарифи оплати за активну і реактивну електроенергію, а також раціонального електрообігріву приміщень. Теоретично обгрунтовано доцільність застосування методу "Гусениця" для прогнозування місячних витрат електроенергії дистанцій електропостачання.

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

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

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

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

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

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

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

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

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

Розроблено нові схеми методу скінченних елементів (МСЕ) для розв'язання сингулярно збурених задач конвекції-дифузії. Для одновимірної крайової задачі конвекції-дифузії побудовано схему з кусково-показниковими базисними функціями, визначено достатню умову її стійкості, зроблено апріорне оцінювання швидкості збіжності й оптимальний вибір основи показникових функцій. Розроблено експоненціальну однокрокову рекурентну схему інтегрування в часі початково-крайових задач для рівнянь параболічного типу. Запропоновано спосіб зведення варіаційної задачі конвекції-дифузії до еквівалентної задачі мінімізації квадратичного функціонала шляхом вибору простору тестових функцій методу Петрова - Гальоркіна. Розроблено простий для програмної реалізації алгоритм генерування близьких до рівномірних тріангуляцій двовимірних областей. Запропоновано способи побудови апостеріорних оцінювачів похибки МСЕ на підставі розв'язання одно- та двовимірних локальних задач на похибку. На підставі запропонованих оцінювачів реалізовано h-адаптивну схему МСЕ з використанням стійких експоненціальних апроксимацій. Розроблено програмне забезпечення нових методів й експериментально підтверджено їх ефективність.

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

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

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

Зазначено, що збільшення в раціоні лактуючих корів частки нерозщеплюваного в рубці протеїну від 29,7 до 41,2 % за екструзії ріпакового шроту, від 31,7 до 43,9 % за екструзії соєвого шроту та від 28,5 до 39,5 % за екструзії соняшникової макухи зумовлює зростання концентрації білкових і зменшення концентрації вільних амінокислот у вмісті рубця та надходження більшої кількості протеїну у дванадцятипалу кишку. Встановлено, що у корів, яким згодовували екструдовані корми, зменшувалися втрати азоту з калом і сечею та збільшувалось використання його в організмі. За використання в годівлі корів екструдованих високопротеїнових кормів у плазмі артеріальної крові підвищується концентрація метаболітів білкового обміну та посилюється їх використання молочною залозою у синтезі компонентів молока. Збільшення споживання коровами нерозщеплюваного в рубці протеїну екструдованих ріпакового шроту, соєвого шроту та соняшникової макухи підвищує надої корів на 8,9; 15,2 і 13,8 %. Витрати кормового протеїну на синтез молока зменшувались на 10,8-11,3 %, покращувалась репродуктивна функція корів.

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

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

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

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

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

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

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

Запропоновано нові аналітичні вирази функції розподілу ваг усічених згорткових кодів зі структурами гратчастої діаграми з обнулінням і без обнуління. Аналітично обгрунтовано важливість обнуління компонентних кодерів у складі кодера турбо-коду. Розроблено методику вибору найкращих згорткових кодів у складі турбо-кодів, що враховує довжину інформаційного блоку. З використанням розробленої методики знайдено нові рекурсивні систематичні згорткові коди зі швидкостями 1/2, 1/3 і 1/4, оптимальні у складі турбо-кодів з довжиною інформаційного блоку 100, 1000, 10000 т 100000 символів. Визнчено рекурсивні систематичні згорткові коди зі швидкостями 1/2, 1/3, і 1/4, що мають оптимальний спектр інформаційних ваг, відомості про які відсутні в літературі стосовно кодування. Розроблено більш ефективну у порівнянні з відомими методику розрахунку дистанційного спектра детермінованих турбо-кодів, що базується на породжувальних функціях компонентних згорткових кодів.

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

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

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

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

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

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

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

Досліджено проблему підвищення ефективності комплексної інтенсивної терапії хворих з гострою церебральною недостатністю (ГЦН), зумовленою тяжкою черепно-мозковою травмою або мозковим інсультом шляхом розробки індивідуальних методик проведення фармакологічної та нефармакологічної антигіпоксичної терапії на підставі вивчення функціонального стану центральної нервової системи та гуморального статусу. Наведено дані обстежень 120-ти хворих з ГЦН різного генезу, яким проведено комплекс антигіпоксичної терапії. Під час сеансів гіпербаричної оксигенації (ГБО) з використанням методу дослідження варіабельності серцевого ритму та методу інтегрального кількісного аналізу електроенцефалографії патернів доведено, що раннє неповне парентеральне харчування пацієнтів з ГЦН може бути визначено як опосередкована церебропротекція внаслідок зниження катаболічних процесів. Обгрунтовано доцільність використання препаратів мексидолу або тіоцетаму у фармакологічній антигіпоксичній терапії. Внесено науково-обгрунтовані рекомендації щодо оптимізації антигіпоксичної терапії у пацієнтів з ГЦН з застосувнням мексидолу або тіоцетаму, раннього неповного парентерального харчування, ГБО.

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

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

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

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