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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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