Пошуковий запит: (<.>K=КОНТРОЛ$<.>) |
Загальна кількість знайдених документів : 5104
Представлено документи з 1 до 20
|
| |
|
| | |
|
1. |
Сирота О.П. Автоматизація аналізу несуперечності в задачах верифікації при проектуванні автоматизованих систем обробки інформації: автореф. дис... канд. техн. наук: 05.13.06 / О.П. Сирота ; Нац. техн. ун-т України "Київ. політехн. ін-т". — К., 2009. — 20 с. — укp.Запропоновано концепцію автоматизованої структурної верифікації ACOI та бізнес-правил її проектування, що базується на розширенні процесу верифікації етапом аналізу несуперечності структурних моделей системи та моделей бізнес-правил, що дозволяє підвищити якість ACOI у процесі її створення/реінжинірингу. Розроблено нову модель подання знань (СР-модель), яка базується на неоднорідній неієрархічній семантичній мережі загального характеру, без початкового виділення типів відношень, розширена функціями синтаксичного та семантичного контролю та правилами виведення нових зв'язків. Дана модель відрізняється від інших наявністю засобів для подання у вигляді семантичної мережі інших формалізмів (множин, формул логіки предикатів, об'єктних моделей) і використовує подання знань про мультиформальні моделі для аналізу їх несуперечності. Показано, що застосування СР-моделі до задачі дослідження дозволяє на базі моделей ACOI та бізнес-правил проаналізувати їх відповідність. Вперше розроблено математичний метод аналізу несуперечності ACOI та бізнес-правил, який полягає в об'єднанні моделей ACOI та бізнес-правил у мультиформальну інтегральну модель, зведенні компонентів інтегральної моделі до теорії множин і багатосортної логіки першого порядку, перевірці відповідності елементів і виразів теорії множин комплексній системі правил, а також виконуваності формул багатосортної логіки шляхом застосування модифікованого для цієї логіки методу побудови множини Хінтікки. До комплексної системи правил для теорії множин включено аксіоми Цермело - Френкеля й ішні правила, які гарантують можливість побудови алгебричної системи. Скачати повний текст
Індекс рубрикатора НБУВ: З970.6-02 + Шифр НБУВ: РА368244
Рубрики:
|
|
| | |
|
2. |
Сакало Автоматизація контролю геометричних параметрів рядка рослин у системі точного землеробства: Автореф. дис... канд. техн. наук: 05.13.07 / В.М. Сакало ; Кіровогр. держ. техн. ун-т. — Кіровоград, 2003. — 19 с.: рис. — укp.Досліджено спосіб автоматизації контролю координат та геометричних параметрів рядка рослин просапних культур (цукрових буряків, кукурудзи та соняшнику) в стадії міжрядної обробки плантацій. Для контролю різних видів рослин у різних стадіях розвитку запропоновано і досліджено систему, в якій для одержання первинної інформації використано високочастотний ємнісний перетворювач з регулюванням геометричних параметрів зони контролю за допомогою додаткових рухомих екранувальних електродів. Теоретично обгунтовано геометричні параметри зони контролю в залежності від характеристик рядка рослин та головні елементи принципової схеми перетворювача, які дозволяють уникнути впливу зміни розмірів чутливих елементів первинного перетворювача на корисний сигнал. Експериментальні дослідження, методи розрахунку та практичне використання в складі системи НИВА-23 підтвердили перспективи використання перетворювача в системі точного землеробства за механічного обробітку проміжків між рослинами в рядках та більш точної орієнтації робочих органів відносно вісі рядка рослин з метою зменшення захисної зони, що призводить до зменшення використання гербіцидів. Скачати повний текст
Індекс рубрикатора НБУВ: П072-7 + Шифр НБУВ: РА326519
Рубрики:
|
|
| | |
|
3. |
Лубенець С.В. Автоматизація контролю якості та класифікації пальників газорозрядних джерел світла в процесі їх виготовлення: Автореф. дис... канд. техн. наук: 05.13.07 / С.В. Лубенець ; Кіровоград. держ. техн. ун-т. — Кіровоград, 1999. — 17 с. — укp.Дисертація присвячена проблемі підвищення ефективності виготовлення газорозрядних ламп шляхом автоматизації процесів контролю якості та класифікації їх розрядних трубок (пальників). Розроблена нова методика контролю і класифікації, яка основана на ідеї поелементного аналізу фотозображень з використанням безконтактних методів визначення геометричних характеристик об'єктів циліндричної форми. Наводяться результати розробки і досліджень методів та математичної моделі вимірювального процесу, виконана оптимізація його параметрів, що дозволило мінімізувати похибки вимірювань. Побудовано алгоритм автоматичного контролю та класифікації і технічно його реалізовано з використанням системи технічного зору. Виконана оцінка техніко-економічних показників автоматизованої системи, наводяться дані про її ефективність в процесі експлуатації. Скачати повний текст
Індекс рубрикатора НБУВ: З294.2-52-07
Рубрики:
|
|
| | |
|
4. |
Романенко В.І. Автоматизація процесу спалювання газового палива в котлоагрегатах ТЕЦ промислових підприємств: Автореф. дис... канд. техн. наук: 05.13.07 / В.І. Романенко ; Нац. гірн. ун-т. — Д., 2005. — 19 с.: рис. — укp.Виконано аналіз систем керування, методів контролю параметрів і технічних засобів автоматизації процесів спалювання газового палива у котлоагрегатах ТЕЦ промислових підприємств. Установлено закономірності зміни складу димових газів залежно від складу газових компонентів палива й енергетичної потужності за умов забезпечення оптимуму роботи котлоагрегатів за критерієм енергетичної ефективності. Обгрунтовано термокаталітичний метод і створено технічні засоби для вимірювання об'ємного вмісту кисню у димових газах котлоагрегатів. Висвітлено методи оптимізації систем регулювання витрат загального повітря для однопаливних і багатопаливних котлоагрегатів ТЕЦ. Розроблено нові ефективні алгоритми та структурні схеми систем автоматичного регулювання витрат загального повітря, що забезпечують низьку чутливість до координатних і параметричних збурень. Скачати повний текст
Індекс рубрикатора НБУВ: з361.014 + Шифр НБУВ: РА339923
Рубрики:
|
|
| | |
|
5. |
Волкова Т.В. Автоматизація та удосконалення візуального контролю у технологічних процесах виготовлення комутаційних плат на основі методів кодування зображень: Автореф. дис... канд. техн. наук: 05.13.07 / Т.В. Волкова ; Севастоп. держ. техн. ун-т. — Севастополь, 1998. — 16 с. — укp.Запропоновано новий засіб підвищення продуктивності систем автоматизованого візуального контролю комутаційних плат, що базується на ефективному кодуванні топології друкованого монтажу. Вирішено задачу оцінки та вибору коду на основі імітаційного моделювання візуального контролю, розроблено новий метод подання топології та орієнтоване на нього програмне забезпечення (ПЗ) системи контролю. Застосування наданого ПЗ для автоматизації типового технологічного процесу дозволило істотно підвищити швидкодіяльність контролю, удосконалити план контролю та знизити собівартість виробів. Скачати повний текст
Індекс рубрикатора НБУВ: З844.16-06-7
Рубрики:
|
|
| | |
|
6. |
Стельмах Н.В. Автоматизація технологічного підготовлення складального малосерійного виробництва електромеханічних приладів: автореф. дис. ... канд. техн. наук : 05.02.08 / Н.В. Стельмах ; НТУ України "Київ. політехн. ін-т". — К., 2010. — 20 с. — укp. Скачати повний текст
Індекс рубрикатора НБУВ: К960.8-64 Шифр НБУВ: РА370606 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
7. |
Давидов В.О. Автоматизація технологічного процесу реєстрації номерів при керуванні транспортними потоками: Автореф. дис... канд. техн. наук: 05.13.07 / В.О. Давидов ; Одес. нац. політехн. ун-т. — О., 2003. — 19 с.: рис., табл. — укp.Уперше запропоновано критерії якості ідентифікації, за якими можна порівнювати автоматизовані системи ідентифікації автотранспортних засобів і розроблено методику їх розрахунку. Уперше для програмного забезпечення даної системи наведено алгоритми бінаризації зображень за умов апріорної невизначеності та фільтрації зображень з використанням методу простежування злитих груп. Уперше для автоматизованої системи контролю та керування автотранспортним потоком з метою виділення на зображеннях текстової інформації запропоновано застосування двовимірного хвильового перетворення Хаара. Доведено, що значення якості ідентифікації автотранспортних засобів для зазначених систем може досягти 95 - 98 %. Скачати повний текст
Індекс рубрикатора НБУВ: Х819(4УКР)112.011.013.1 + Шифр НБУВ: РА328433
Рубрики:
Географічні рубрики:
|
|
| | |
|
8. |
Тимчик С. В. Автоматизована біотехнічна система для тестування оператора поліграфа: автореф. дис. ... канд. техн. наук : 05.11.17 / С. В. Тимчик ; Вінниц. нац. техн. ун-т. — Вінниця, 2010. — 20 с. — укp.Розроблено модель біотехнічної системи для тестування оператора поліграфа, обумовлену визначеним механізмом прийняття рішень і комплексом контрольованих фізіологічних показників, який діагностує психофізіологічну придатність оператора поліграфа за інтегральним показником, що враховує поточні, максимальні та мінімальні значення динамічних і квазістаціонарних сигналів, їх динаміку в процесі тестування, які вимірюються й обробляються біотехнічною системою для тестування операторів поліграфа. Скачати повний текст
Індекс рубрикатора НБУВ: Ю9 с252 + Р343.3 с05 Шифр НБУВ: РА373255 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
9. |
Соколовська А.Б. Автоматизована інформаційна система забезпечення контролю екологічних водонебезпечних процесів: Автореф. дис... канд. техн. наук : 05.13.06 / А.Б. Соколовська ; Нац. техн. ун-т України "Київ. політехн. ін-т". — К., 2002. — 20 с. — укp.Запропоновано системний підхід до оцінювання та прогнозування динаміки водонебезпечних процесів на основі єдиної стратегії взаємного узгодження моніторингу та контролю водонебезпечних процесів. Розроблено структуру та інструментальні засоби автоматизованої інформаційної системи моніторингу, системного аналізу та прогнозування водонебезпечних процесів, що дозволяє забезпечити своєчасне формування та обгрунтування рішення в динаміці водонебезпечних процесів. Наведено базову модель динаміки даних процесів, на основі якої побудовано математичні моделі: оцінювання динаміки швидко та повільно осцилюючих процесів, коротко- та довгострокового прогнозування динаміки процесів, відновлення в статистичній вибірці пропущених даних. Реалізовано у середовищі Borland Delphi 5.0 пакет прикладних програм прогнозування динаміки водонебезпечних процесів. Скачати повний текст
Індекс рубрикатора НБУВ: Д222.4 Шифр НБУВ: РА318749 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
10. |
Ярас В.І. Автоматизована система експрес-діагностики бетонних паль і стовпів у грунті: Автореф. дис... канд. техн. наук: 05.13.07 / В.І. Ярас ; Київ. нац. ун-т буд-ва і архіт. — К., 2006. — 16 с. — укp.Уперше запропоновано метод автоматизованого прийняття рішення щодо кондиційності будівельної конструкції шляхом зіставлення натурних сигналограм хвильового процесу з еталонною моделлю. Розроблено зазначену модель, зокрема, побудовано обвідні відлуння, одержані числовим інтегруванням хвильового рівняння для стрижневої системи. Запропоновано інформаційне забезпечення щодо функціонування автоматизованої системи діагностики залізобетонних паль, яке дозволяє здійснювати експрес-контроль якості за польових умов. Уперше для неруйнівного контролю будівельних конструкцій запропоновано метод підсилення корисного луно-сигналу шляхом просторової фільтрації з використанням кількох вимірювальних каналів. Скачати повний текст
Індекс рубрикатора НБУВ: Н582.5-043-082.05 + Шифр НБУВ: РА343178
Рубрики:
|
|
| | |
|
11. |
Дегтяренко І.В. Автоматизована система контролю і управління технологічним комплексом виробництва машин зворотно-поступальної дії з низькою віброакустичною активністю: Автореф. дис... канд. техн. наук: 05.13.07 / І.В. Дегтяренко ; Донец. держ. техн. ун-т. — Донецьк, 2001. — 17 с. — укp.Розглянуто систему, побудовану на принципах ситуаційного управління, яка здійснює керування технологічним комплексом виробництва машин зворотно-поступальної дії (МЗПД) за результатами вихідного віброакустичного контролю. Особливістю структури розробленої системи є те, що для формування управлінських рішень у ній використовується частотно-часовий аналіз віброакустичних процесів, реалізований на основі частотно-часових квадратичних детекторів. Квадратичні детектори дозволяють виявити неприпустимі відхилення у технологічних процесах виробництва МЗПД. Вибір інформаційних областей детекторів здійснюється на основі аналізу розробленої математичної моделі динаміки машини. Дана модель встановлює зв'язок між показниками технічного стану машини та її приводом, а також силами, що збуджують вібрацію. Для оцінки віброакустичних характеристик елементів МЗПД у системі реалізовано новий метод, що використовує як критерій оцінки щільність енергії віброакустичного процесу в межах заданої частотно-часової області. Частотно-часову область визначено фазою збудженого стану оцінюваного елемента та частотними компонентами, що ним породжуються. Скачати повний текст
Індекс рубрикатора НБУВ: З762.4-06с116 Шифр НБУВ: РА314551 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
12. |
Лисиця М.П. Автоматизована система контролю параметрів активних НВЧ-виробів у процесі їх виготовлення: Автореф. дис... канд. техн. наук: 05.13.07 / М.П. Лисиця ; Кіровоград. держ. техн. ун-т. — Кіровоград, 2001. — 20 с. — укp.Вперше визначено аналітичні залежності між комплексними НВЧ-параметрами та рівнями і фазами сигналу в контрольних точках системи, що дає можливість автоматизувати процес контролю. З метою забезпечення необхідної точності автоматизованого контролю отримано математичні залежності для визначення внеску похибок калібрувальних елементів і вимірювальних пристроїв у висхідні похибки контрольованих параметрів. Скачати повний текст
Індекс рубрикатора НБУВ: з851-07с Шифр НБУВ: РА316900 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
13. |
Калашнік Автоматизована система контролю та обліку зерна на підприємствах зернопереробної промисловості: Автореф. дис... канд. техн. наук: 05.13.07 / Дмитро Вікторович Калашнік ; Кіровоградський держ. технічний ун-т. — Кіровоград, 1999. — 19 с. — укp. Скачати повний текст
Індекс рубрикатора НБУВ: Л82-5-05 Шифр НБУВ: РА305693
Рубрики:
|
|
| | |
|
14. |
Трушаков Д.В. Автоматизована система неруйнівного контролю порушень суцільності металу при виготовленні деталей циліндричної форми: Автореф. дис... канд. техн. наук: 05.13.07 / Д.В. Трушаков ; Кіровогр. нац. техн. ун-т. — Кіровоград, 2004. — 19 с. — укp.Наведено результати теоретичних та експериментальних досліджень щодо удосконалення неруйнівного контролю відповідальних деталей гідронасоса шляхом створення автоматизованої системи даного процесу на основі методу вихорових струмів. Запропоновано спосіб повного відсторонення від впливу зазору між вихорострумовим перетворювачем і контрольованою поверхнею феромагнітного виробу. Здійснено технічну реалізацію макетів вихорострумового дефектоскопа та автоматизованої системи на базі однокристального мікроконтролера сімейства MCS51. Скачати повний текст
Індекс рубрикатора НБУВ: К500.147.3-7 с108 + Шифр НБУВ: РА332637
Рубрики:
|
|
| | |
|
15. |
Кузнецов В.Г. Автоматизована система обліку та контролю електроенергії дистанцій електропостачання залізниць: Автореф. дис... канд. техн. наук: 05.22.09 / В.Г. Кузнецов ; Дніпропетр. держ. техн. ун-т залізн. транспорту. — Д., 2002. — 20 с. — укp.Розроблено нову систему АСКОЕ дистанцій електропостачання залізниць з новими функціями, що підвищують енергетичну ефективність електричної тяги, серед яких - раціональне переведення тягових підстанцій та диференційовані тарифи оплати за активну та реактивну електроенергію, контроль за раціональним електрообігрівом приміщень дистанцій електропостачання, прогнозування місячних витрат електроенергії тягових підстанцій, непрямий контроль за спрацьовуванням ресурсу тягових трансформаторів. Для реалізації цих функцій розроблено моделі раціонального переводу тягових підстанцій на диференційовані тарифи оплати за активну і реактивну електроенергію, а також раціонального електрообігріву приміщень. Теоретично обгрунтовано доцільність застосування методу "Гусениця" для прогнозування місячних витрат електроенергії дистанцій електропостачання. Скачати повний текст
Індекс рубрикатора НБУВ: О217.007 Шифр НБУВ: РА317611 Пошук видання у каталогах НБУВ
Рубрики:
|
|
| | |
|
16. |
Бабічев С.А. Автоматизована система технічної діагностики міцнісних характеристик металів на основі гібридних нейронних мереж: Автореф. дис... канд. техн. наук: 05.13.06 / С.А. Бабічев ; Херсон. держ. техн. ун-т. — Херсон, 2003. — 20 с.: рис. — укp.Розроблено інформаційну технологію технічної діагностики, що дає змогу обробляти в реальному режимі часу складні багатомірні дані різної природи й одержувати достовірну інформацію про міцнісні властивості металів. Автоматизації процесу діагностики досягнуто завдяки застосуванню гібридних нейронних мереж і систем підтримки прийняття рішень (СППР) за умов оптимального сполучення алгоритмів навчання нейронів і функцій належності нечітких множин. Запропоновано використовувати функцію бажаності Харрінгтона, на підставі якої та з засосуванням СППР зроблено висновок стосовно раціональності використання комбінації методів контролю. Розроблено базу знань для формування та модифікації нечітких правил. Показано, що для розв'язання задачі визначення межі міцності сталі найменшу похибку дає гібридна нейронна мережа з трикутними функціями належності та комбінованим алгоритмом навчання нейронів мережі. Розроблено математичну модель впливу розмірних і технологічних чинників на точність визначення вимірюваних характеристик, за результатами апробації якої на прикладі акустичного контролю показано, що найбільше впливають на точність вимірів геометричні розміри виробу та непаралельність поверхонь введення та прийому ультразвукових коливань. Наведено методику обліку факторів і практичні рекомендації з їх коректування. Скачати повний текст
Індекс рубрикатора НБУВ: К206.22-1с + Шифр НБУВ: РА325416
Рубрики:
|
|
| | |
|
17. |
Коджа Т.І. Автоматизована система управління та контролю знань в процесі навчання: Автореф. дис... канд. техн. наук: 05.13.06 / Т.І. Коджа ; Одес. нац. політехн. ун-т. — О., 2003. — 20 с.: рис. — укp.Розроблено моделі представлення знань і принципи побудови спеціалізованих баз даних тестових завдань, які дають змогу формувати питання відповідно до рівнів пізнавальної діяльності людини незалежно від семантики предметних галузей. Одержано співвідношення системи нечітких логічних висловлювань для диференціації оцінки результатів комп'ютерного тестування. Установлено залежність мінімальної кількості питань, що забезпечують об'єктивність оцінки результатів тестування у взаємозв'язку з якістю засвоєння навчального матеріалу. Розроблено адаптивну стратегію комп'ютерного тестування, що дає змогу скоротити число питань тесту та зменшити час використання ресурсів мережі для керування та контролю знань. Скачати повний текст
Індекс рубрикатора НБУВ: Ч481.288 + Ч484(4УКР)764 + З970.826 + Шифр НБУВ: РА325968
Рубрики:
Географічні рубрики:
|
|
| | |
|
18. |
Вороновський Г.К. Автоматизоване оперативне управління централізованим теплопостачанням в умовах неповної інформації: Автореф. дис... д-ра техн. наук: 05.13.07 / Г.К. Вороновський ; Нац. техн. ун-т "Харк. політехн. ін-т". — Х., 2003. — 32 с.: рис. — укp.Розроблено та обгрунтовано нові методи керування відпуском тепла від великих джерел централізованого теплопостачання на базі інформації про надлишкове енергоспоживання в побуті. Запропоновано структуру та режими функціонування замкненої системи керування відпуском тепла, що забезпечує одержання інформації про відхилення середніх внутрішніх температур у житлах від комфортного рівня та зниження надлишкового енергоспоживання. Синтезовано цифрові регулятори з адаптивними компенсаторами запізнення в системах теплопостачання та нечіткий регулятор відпуску тепла з адаптивним корегуванням функцій приналежності. Розроблено методи прогнозування сумісного споживання енергоресурсів житловими масивами на основі нейромережевих інформаційних технологій та синтезовано адаптивну прогнозуючу модель споживання електроенергії та тепла. Запропоновано методику й алгоритми синтезу нового класу нейромережевих регуляторів з прогнозуючими моделями для керування відпуском тепла за контрольованим рівнем побутового електроспоживання за умов невизначеності. Розроблено та практично реалізовано автоматизовану систему моніторингу якості теплопостачання житлових масивів, що забезпечує поточний контроль і прогнозування надлишкового енергоспоживання, а також інтелектуальну підтримку прийняття рішень стосовно відпуску тепла. Скачати повний текст
Індекс рубрикатора НБУВ: З380.8-5-05 + Шифр НБУВ: РА325275
Рубрики:
|
|
| | |
|
19. |
Лошак Т.В. Автоматизоване управління виробництвом багатоасортиментної продукції молокозаводу: Автореф. дис... канд. техн. наук: 05.13.07 / Т.В. Лошак ; Укр. держ. ун-т харч. технологій. — К., 2002. — 16 с. — укp.Висвітлено питання розробки методів та способів автоматизованого управління технологічним комплексом (ТК) молочного заводу на підставі інтелектуальних підсистем прийняття рішень та забезпечення надійності. Розроблено систему управління для вирішення організаційно-економічних завдань оптимізації та координації роботи підсистем. Проведено параметричну оптимізацію математичних моделей на підставі експериментальних даних. Створено алгоритмічне та програмне забезпечення інтелектуальних підсистем прийняття рішень, розглянуто функціональну структуру комп'ютерно-інтегрованої системи управління ТК молочного заводу. Запропоновану систему управління реалізовано за допомогою розподіленої мікропроцесорної мережі на базі контролерів і ПЕОМ, об'єднаних у мережі для створення комп'ютерно-інтегрованого виробництва. Скачати повний текст
Індекс рубрикатора НБУВ: У9(4Укр)306.751.353-210.302 + Л95-6 Шифр НБУВ: РА318397 Пошук видання у каталогах НБУВ
Рубрики:
Географічні рубрики:
|
|
| | |
|
20. |
Сідлецький В.М. Автоматизоване управління дифузійною станцією з підсистемою підтримки прийняття рішень: автореф. дис... канд. техн. наук: 05.13.07 / В.М. Сідлецький ; Нац. ун-т харч. технологій. — К., 2009. — 20 с. — укp.Досліджено питання розробки підсистеми підтримки прийняття рішень у складі автоматизованої системи управління дифузійною станцією, яка на підставі інформації, одержаної від системи автоматичного контролю, оператора (про результати візуального огляду обладнання) та даних сировинної та заводської лабораторій, формує рекомендації щодо управлінських рішень оператора з метою покращання показників роботи дифузійної станції. Для формування бази знань за методом структурного аналізу розроблено фукціональну модель дифузійної станції. На її базі розроблено продукційну модель процесу дифузії та алгоритми логічного виведення. Для визначення кількісних параметрів рекомендацій використано алгоритм нечіткого виведення Мамдані. Процедуру нечіткого логічного виведенння здійснено з використанням програмного пакету MATLAB. Для звуження множини рекомендацій з використанням методів регресійного аналізу розроблено алгоритм прогнозування впливу зміни параметрів на показники якості процесу дифузії. З метою зменшення загальних втрат цукру за методом вирішення транспортної задачі запропонвано методику визначення плану переробки сировини. Вибір алгоритмів управління продуктивністю дифузійної станції проведено з використанням теорії гри. Розроблено функіональну структуру й інтерфейс оператора системи управління дифузійною станцією цукрового заводу з підсистемою підтримки прийняття рішень. Скачати повний текст
Індекс рубрикатора НБУВ: Л840.31-5-05 + Шифр НБУВ: РА365419
Рубрики:
|
| |