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

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

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

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

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

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

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

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

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

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

Досліджено можливості застосування мікробних препаратів і мікроелементів на посівах сої та встановлено важливу екологічну роль даних засобів у формуванні сталих агроекосистем. Підтверджено здатність біоагентів біопрепаратів адаптуватися до несприятливих умов навколишнього середовища (за pH грунту дослідної ділянки - 5,0 - 5,5). Обгрунтовано можливість їх використання як альтернативної заміни мінеральних добрив і здатність щодо симбіотичної взаємодії з рослинами сої та позитивно впливати на формування високопродуктивних симбіотичних систем за наявності спонтанної інокуляції грунтових популяцій бульбочкових бактерій за умов північної частини Лісостепу України. Показано, що поєднане застосування ризобофіту та альбобактерину підвищує сумарну кількість зафіксованого протягом вегетації сої молекулярного азоту атмосфери з 66 до 47 кг/га, сприяє збільшенню надземної фітомаси рослин на 49 %, площі листової поверхні на 21 %, урожайності зерна на 8 - 11 %, а вмісту протеїну в ньому на 1,7 - 3,3 %. Виявлено позитивний вплив позакореневого внесення мікроелементів на підвищення урожайності зерна, більш вірогідний приріст якої відбувся у разі застосування біопрепаратів. Мікробні препарати комплексної дії рекомендовано використовувати для створення екологічно безпечних технологій вирощування сої.

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

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

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

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

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

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

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

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

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

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

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

На основі дослідження фауни акантоцефалів справжніх тюленів, що мешкають в тихоокеанському секторі Антарктики, встановлено, що вона представлена 5-ма видами: Corynosoma arctocephali Zdzitowiecki, 1984, C. bullosum (Linstow, 1892), C. hannae Zdzitowiecki, 1984, C. pseudohamanni Zdzitowiecki, 1984 та C. shackletoni Zdzitowiecki, 1978. Вид C. evae Zdzitowiecki, 1984 зведено до синонімів виду C. arctocephali Zdzitowiecki, 1984. Вид C. shackletoni вперше знайдено у морського ссавця - морського леопарда. Досліджено морфологічні особливості означених видів коринозом, наведено детальні рисунки для кожного представника. Встановлено особливості локалізації, віково-статеву структуру, кількісні показники інвазії акантоцефалів, визначено ранги хазяїв для кожного виду паразитів. Ретельно розглянуто індивідуальну, гостальну та географічну мінливість, фенотипічне різноманіття коринозом. З'ясовано, що найбільш сталими ознаками є розміри та форма хоботка, довжина та форма тіла, розміри яєць. Визначено, що пластичні ознаки червів залежать від виду остаточного хазяїна, проте меристичні - не залежать від нього. Констатовано, що в районі островів Баллені мешкають цілісні популяції акантоцефалів Corynosoma pseudohamanni та C. bullosum. Виявлено, що у коринозом у тихоокеанському секторі в порівнянні з атлантичним бідніше коло хазяїв, нижчі показники інвазії, але більші розміри яєць. Зроблено висновок, що всі антарктичні види коринозом, за винятком C. bullosum, мають в північній півкулі власних "двійників", які подібні до них як за формою та розмірами тіла, так і за іншими ознаками.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Запропоновано розгляд альтового стилю у аспекті взаємодії трьох складових камерно-інструментального жанру. Змістовні характеристики інструментально-видового стилю визначено на підставі оригінального поняття "жанрові константи", що унаочнюється у визначенні ключової позиції інструментально-ансамблевого музикування - камерності з її атрибуціями у вигляді суб'єктивно-особистісного начала, поданого через форму гри у широкому та вузькому її тлумаченнях. Запропоновано оригінальну дефініцію поняття "альтовий стиль" в камерно-інструментальному музикуванні. Підкреслено, що формування даного різновиду видового інструментального стилю йшло саме у камерному ансамблі політембрового типу, де ролеві функції інструментів взаємозбагачувалися у напрямку від монофункціональної сталості до універсальної поліфункції широкого образно-виразового діапазону. Зазначено, що еволюція камерно-ансамблевого стилю відображувала процес змін ідейно-художніх спрямувань епох та індивідуальних стилів, що унаочнюється "віховими" з даної точки зору творами Г.Ф. Телемана, Й.С. Баха, В.А. Моцарта, Р. Шумана, Й. Брамса. Еволюційна "спіраль" у використанні альта демонструє у кінцевому підсумку синтетичне бачення інструмента, що послідовно втілювалось у альтово-стильових концепціях майстрів австро-німецької школи (класичний етап).

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