Контакти

Об'ємно - Просторова Модель. Просторові моделі місцевості Багатофакторні динамічні моделі

ГЛАВА 1 АНАЛІЗ ІСНУЮЧИХ МЕТОДІВ І СИСТЕМ ОБРОБКИ ТА РОЗПІЗНАВАННЯ ДИНАМІЧНИХ ОБ'ЄКТІВ ЗА послідовне зображення.

1.1 Зображення як носій різнорідної інформації.

1.2 Класифікація задач розпізнавання зображень.

1.3 Класифікація методів оцінки руху.

1.3.1 Аналіз порівняльних методів оцінки руху.

1.3.2 Аналіз градієнтних методів оцінки руху.

1.4 Класифікація груп ознак.

1.5 Аналіз методів сегментації рухомих об'єктів.

1.6 Методи інтерпретації подій і визначення жанру сцени.

1.7 Системи обробки і розпізнавання динамічних об'єктів.

1.7.1 Комерційні апаратно-програмні комплекси.

1.7.2 Експериментально-дослідні програмні комплекси.

1.8 Постановка завдання просторово-часової обробки послідовностей зображень.

1.9 Висновки до розділу.

ГЛАВА 2 МОДЕЛІ ОБРОБКИ ТА РОЗПІЗНАВАННЯ СТАТИЧНИХ І ДИНАМІЧНИХ ОБРАЗІВ.

2.1 Модель обробки і розпізнавання статичних образів.

2.2 Модель обробки і розпізнавання динамічних образів.

2.3 Дескриптивная теорія розпізнавання зображень.

2.4 Розширення дескриптивної теорії розпізнавання зображень.

2.5 Узагальнені моделі пошуку цільових ознак при обробці і розпізнаванні динамічних об'єктів в складних сценах.ІЗ

2.6 Висновки до розділу.

ГЛАВА 3 Знаходження І ОЦІНКА ЛОКАЛЬНИХ ОЗНАК ДВІЖЕНІЯ5 ДИНАМІЧНИХ РЕГІОНОВ.119

3.1 Умови і обмеження вдосконаленого методу обробки послідовностей зображень.

3.2 Оцінка локальних ознак руху.

3.2.1 Стадія ініціалізації.

3.2.2 Оцінка просторово-часового обсягу даних.

3.2.3 Класифікація динамічних регіонів.

3.3 Способи знаходження локальних рухів регіонів.

3.3.1 Знаходження і відстеження особливих точок сцени.

3.3.2 Оцінка руху на основі 3D тензора потоку.

3.4 Уточнення кордонів рухомих регіонів.

3.5 Висновки до розділу.

ГЛАВА 4 СЕГМЕНТАЦИЯ ДИНАМІЧНИХ ОБ'ЄКТІВ В СКЛАДНИХ СЦЕНАХ.

4.1 Модель багаторівневого руху в складних сценах.

4.2 Моделі оцінки руху на площині.

4.3 Дослідження властивостей групи Лі.

4.4 Ізоморфізм і гомоморфізм групи.

4.5 Модель передісторії руху об'єктів в послідовності зображень.

4.6 Сегментація складної сцени на просторові об'єкти.

4.6.1 Предсегментація.

4.6.2 Сегментація.

4.6.3 Пост-сегментація.

4.7 Відображення ЗБ руху точки на відеопослідовність.

4.8 Висновки до розділу.

ГЛАВА 5 РОЗПІЗНАВАННЯ ДИНАМІЧНИХ ОБ'ЄКТІВ, АКТИВНИХ ДІЙ І ПОДІЙ СКЛАДНОЇ СЦЕНИ.

5.1 Побудова контекстної граматики :.

5.1.1 Формування дерев граматичного розбору.

5.1.2 Синтаксичний аналіз послідовності зображень.

5.1.3 Синтаксичний аналіз сцени.

5.2 Побудова відеограф складної сцени.

5.3 Розпізнавання динамічних образів.

5.4 Розпізнавання подій сцени.

5.4.1 Спосіб виявлення активних дій.

5.4.2 Побудова відеограф подій.

5.5 Розпізнавання подій і жанру сцени.

5.5.1 Розпізнавання подій сцени.

5.5.2 Розпізнавання жанру сцени.

5.6 Висновки до розділу.

ГЛАВА 6 ПОБУДОВА СИСТЕМ ОБРОБКИ ТА РОЗПІЗНАВАННЯ ПОСЛІДОВНОСТЕЙ ЗОБРАЖЕНЬ І ЕКСПЕРИМЕНТАЛЬНІ ДОСЛІДЖЕННЯ.

6.1 Експериментальний програмний комплекс «ЗРОЕЯ».

6.2 Робота модулів експериментальної системи «ЕРОЕІ.».

6.2.1 Модуль попередньої обробки. ".

6.2.2 Модуль оцінки руху.

6.2.3 Модуль сегментації.

6.2.4 Модуль розпізнавання об'єктів.

6.2.5 Модуль розпізнавання активних дій.

6.3 Результати експериментальних досліджень.

6.4 Прикладний проект «Візуальна реєстрація державних номерних знаків автотранспортних засобів при багатопотоковому русі».

6.5 Прикладний проект «Система ідентифікації моделей кор-Пусов холодильників із зображень».

6.6 Програмна система «Алгоритми обробки і сегментації ландшафтних зображень. Ідентифікація об'єктів ».

6.7 Висновки до розділу.

Рекомендований список дисертацій

  • Реконструкція зображень на основі просторово-часового аналізу видеопоследовательностей 2011 рік, кандидат технічних наук Дамов, Михайло Віталійович

  • Комп'ютерний метод локалізації осіб на зображеннях в складних умовах освітлення 2011 рік, кандидат технічних наук Пахірка, Андрій Іванович

  • Метод просторово-часової обробки несинхронізованих видеопоследовательностей в системах стереобачення 2013 рік, кандидат технічних наук Пьянков, Дмитро Ігорович

  • Теорія і методи морфологічного аналізу зображень 2008 рік, доктор фізико-математичних наук Візільтер, Юрій Валентинович

  • Розпізнавання динамічних жестів в системі комп'ютерного зору на основі медіального подання форми зображень 2012 рік, кандидат технічних наук Куракін, Олексій Володимирович

Введення дисертації (частина автореферату) на тему «Моделі і методи розпізнавання динамічних образів на основі просторово-часового аналізу послідовностей зображень»

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

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

Удосконалення технічних засобів збору і поширення iнформацiї у вигляді статичних зображень (фотографій) і видеопоследовательностей вимагає подальшого розвитку методів і алгоритмів їх обробки, аналізу ситуацій і розпізнавання зображених об'єктів. Початкова теоретична постановка задачі розпізнавання зображень відноситься до 1960-1970 рр. і відображена в ряді робіт відомих авторів. Постановка завдання розпізнавання зображень може варіюватися від власне завдання розпізнавання об'єктів, завдань аналізу сцен до завдань розуміння зображень і проблем машинного зору. При цьому системи прийняття інтелектуальних рішень, засновані на методах розпізнавання образів і зображень, використовують вхідну інформацію комплексного типу. До неї відносяться як зображення, отримані в широкому хвильовому діапазоні електромагнітного спектра (ультрафіолетовому, видимому, інфрачервоному і ін.), Так і інформація у вигляді звукових образів і локаційних даних. Незважаючи на різну фізичну природу, таку інформацію можна представити у вигляді реальних зображень об'єктів і специфічних зображень. Радіометричні дані - це плоскі зображення сцени, представлені в перспективній або ортогональної проекції. Вони формуються шляхом вимірювання інтенсивності електромагнітних хвиль певного спектрального діапазону, відображених або випромінюваних об'єктами сцени. Зазвичай використовують фотометричні дані, виміряні у видимому спектральному діапазоні, - монохроматичні (яскравості) * або кольорові зображення: Локаційні дані - це просторові координати спостережуваних точок сцени. Якщо координати виміряні для всіх точок сцени, то такий масив локаційних даних можна назвати зображенням глибини сцени. Існують спрощені моделі зображень (наприклад, моделі аффинной проекції, представлені слабоперспектівнимі, пара-перспективними, ортогональними і паралельними проекціями), в яких глибина сцени вважається постійною величиною, і локаційне зображення сцени не несе корисної інформації. Звукова інформація носить в даному випадку допоміжний подієвий характер.

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

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

Перші роботи дослідників з США (Louisiana State University, Carnegie Mellon University, Pittsburgh), Швеції ( "Computational Vision and Active Perception Laboratory (CVAP), Department of Numerical Analysis and Computer Science), Франції (INRIA), Великобританії (University of Leeds) , ФРН (University of Karlsruhe), Австрії (University of Queensland), Японії, Китаю (School of Computer Science, Fudan University) по обробці послідовностей зображень і розпізнаванню динамічних об'єктів були опубліковані в кінці 1980-х рр. Пізніше аналогічні роботи стали з'являтися і в Росії: в Москві (МГУ, МАІ (ГТУ), МФТІ, ДержНДІ АС), С.-Петербурзі (СПбДУ, ГУАП, ФГУП ГОІ, ЛОМО), Рязані (РГРТУ), Самарі (СГАУ), Воронежі (ВДУ), Ярославлі ( ЯрГУ), Кірові (ВДУ), Таганрозі (ТТІ ПФУ), Новосибірську (НГУ), Томську (ТГПУ), Іркутську (іргу), Улан-Уде (ВСГТУ) і ін. містах. Слід зазначити особливий внесок таких видатних російських вчених, що займаються в даній області, як академік РАН, д.т.н. Ю. І. Журавльов, член-кореспондент РАН, д.т.н. В. А. Сойфер, д.т.н. Н. Г. Загоруйко, д.т.н. Л. М. Местецький, д.т.н. Б. А. Алпатов та ін. На сьогоднішній день досягнуто значних успіхів при побудові систем відеоспостереження, систем аутентифікації особистості по зображеннях і т.д. Однак існують невирішені проблеми при розпізнаванні динамічних образів через складність і різноманіття поведінки об'єктів реального світу. Таким чином, даний напрямок потребує вдосконалення моделей, методів і алгоритмів розпізнавання динамічних об'єктів і подій за послідовностей зображень в різних діапазонах електромагнітного випромінювання, що дозволить розробляти системи відеоіаблю-дення на якісно новому рівні.

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

Поставлена ​​мета визначила необхідність вирішення наступних завдань:

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

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

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

Створити модель багаторівневого руху динамічних структур в складній сцені, що дозволяє на основі отриманих одометріческіх даних будувати траєкторії руху динамічних структур і висувати гіпотези про існування візуальних об'єктів на основі аналізу передісторії рухів.

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

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

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

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

Наукова новизна дисертаційної роботи полягає в наступному:

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

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

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

4. Розроблено нову модель багаторівневого руху; що дозволяє проводити декомпозицію сцени на окремі рівні; НЕ> обмежується; загальноприйнятим поділом на передній план і фон, що дозволяє виконувати більш достовірну сегментацію зображень об'єктів в; складних перспективних сценах.

5: Обґрунтовано? і побудований; новий; узагальнений алгоритм сегментації динамічних об'єктів; с, застосуванням, безлічі ознак ^ включають передісторії поведінки; і дозволяє відстежувати як динаміку окремих візуальних об'єктів, так і взаємодії об'єктів в сцені (перекриття проекцій; поява / зникнення об'єктів з поля зору відеодатчики) на основі групових перетворень; і вперше запропонованому аналізі загальної частини проекцій об'єкта (з двох сусідніх кадрів) із застосуванням інтегральних та інваріантних оцінок.

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

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

Реалізація результатів роботи. Розроблені програми зарегі- стрировать в Російському реєстрі програм для ЕОМ: програма «Сегментація зображень рукописного тексту (SegPic)» (свідоцтво №2008614243, м.Москва, 5 вересня 2008 року); програма «Визначення руху (MotionEstimation)» (свідоцтво №2009611014, м.Москва, 16 лютого- 2009 року); програма «Локалізація особи (FaceDetection)» (свідоцтво №2009611010, м.Москва, 16 лютого-2009 р); програма «Система накладення візуальних природних ефектів на статичне зображення (Natural effects imitation)» (свідоцтво №2009612794, м.Москва 30 липня 2009 року); програма «Візуальне детектування диму (SmokeDetection)» (свідоцтво №2009612795, м.Москва 30 липня 2009 року); «Програма візуальної реєстрації державних номерних знаків автотранспортних засобів при багатопотоковому русі (FNX CTRAnalyzer)» (свідоцтво №2010612795, м.Москва, 23 березня 2010 р), програма «Нелінійне поліпшення зображень (Nonlinear image enhancement)» (свідоцтво №2010610658, г . Москва, 31 березня 2010 р

Отримано акти про передачу і використанні алгоритмічного і програмного забезпечення для розпізнавання корпусів холодильників на складальній лінії (ВАТ КЗХ «Бірюса», м Красноярськ), для ідентифікації з браженій об'єктів на ландшафтних зображеннях (Концерн радіобудови «Вега», ВАТ КБ «Луч», м Рибінськ Ярославської області), для сегментації лісової рослинності по набору послідовних аерофотознімків (ТОВ «Альтекс Геоматика», м.Москва), для виявлення пластин державних реєстраційних знаків автотранспортних засобів в відеопослідовність при багатопотоковому русі і підвищенні якості їх відображення ^ (УГІБДД ГУВС по Красноярському краю, м Красноярськ).

Розроблені алгоритми і програмне забезпечення використовуються в навчальному процесі при проведенні занять з дисциплін «Інтелектуальна обробка даних», «Комп'ютерні технології в науці та освіті», «Теоретичні основи цифрової обробки зображень», «Розпізнавання образів», «Нейронні мережі», «Алгоритми обробки зображень »,« Алгоритми обробки видеопоследовательностей »,« Аналіз сцен і машинний зір »в Сибірському державному аерокосмічному університеті імені академіка М.Ф. Решетнева (СібГАУ).

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

Основні положення, що виносяться на захист:

1. Модель обробки і розпізнавання динамічних образів в складних сценах, істотно розширена "ієрархічними рівнями сегментації і розпізнавання не тільки об'єктів, але і їх активних дій.

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

3. Адаптивний просторово-часовий метод оцінки руху на. основі тензорних уявлень локальних ЗІ обсягів в синхронних послідовності видимого і інфрачервоного діапазонів електромагнітного випромінювання.

4. Модель багаторівневого руху в складних сценах, що розширює декомпозицію перспективних сцен на окремі рівні для більш достовірного аналізу траєкторій руху об'єктів.

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

6. Методи розпізнавання динамічних образів на основі модифікованого методу колективного прийняття рішень і знаходження псевдорасстояній в метричних просторах, а також активних дій і подій в складних сценах.

Апробація роботи. Основні положення і результати дисертаційних досліджень доповідалися і обговорювалися на 10 міжнародній конференції «Pattern Recognition and Image Analysis: Modern Information Technologies», (S.-Petersburg, 2010), міжнародному конгресі «Ultra Modern Telecommunications and Control Systems ICUMT2010» (Moscow, 2010) ; XII міжнародному симпозіуму по непараметрическим методам в кібернетиці і системному аналізу (Красноярськ, 2010), II міжнародному симпозіумі "Intelligent Decision-Technologies - IDT 2010» (Baltimore, 2010), III міжнародній конференції. «Automation, Control? and Information Technology - AOIT- ICT "2010» (Novosibirsk, 2010), 10-й, 11-й і 12-й міжнародних конференціях і виставках «Цифрова обробка сигналів та її застосування» (Москва, 2008 - 2010 рр.), X міжнародної науково-технічної конференції «Теоретичні та прикладні питання сучасних інформаційних технологій» (Улан-Уде, 2009 г.), IX міжнародній науково-технічній конференції «Кібернетика і високі технології XXI століття» (Воронеж, 2008), всеросійської конференції «Моделі і методи обробки зображень »(Красноярськ, 2007), на X, XI і XIII міжнародних наукових конференціях« Ре-шетневскіе читання »(Красноярськ, 2006, 2007, 2009 рр.), а також на наукових семінарах Державного університету аерокосмічного приладобудування (С. Петербург, 2009 г.), Інституту обчислювального моделювання СО

РАН (Красноярськ, 2009 г.), Інституту систем обробки зображень РАН (Самара, 2010).

Публікації. За результатами дисертаційного дослідження опубліковано 53 друкованих роботи, з них 1 монографія, 26 статей (з них 14 статей - у виданнях, включених до списку ВАК, 2 статті - у виданнях, перерахованих в «Thomson Reuters: Science Citation Index Expanded / Conference Proceedings Citation Index »), 19 тез доповідей, 7 свідоцтв, зареєстрованих в Російському реєстрі програм для ЕОМ, а також 3 звіту по НДР.

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

Структура роботи. Робота складається з вступу, шести розділів, висновків, списку використаних джерел. Основний текст дисертації містить 326 сторінок, виклад ілюструється 63 рисунками та 23 таблицями. Бібліографічний список включає 232 найменування.

Схожі дисертаційні роботи за фахом «Теоретичні основи інформатики», 05.13.17 шифр ВАК

  • Комбіновані алгоритми оперативного виділення рухомих об'єктів в послідовності відеокадрів на основі локального диференціального методу обчислення оптичного потоку 2010 рік, кандидат технічних наук Казаков, Борис Борисович

  • Методи стабілізації видеопоследовательностей складних статичних і динамічних сцен в системах відеоспостереження 2014 рік, кандидат технічних наук Буряченко, Володимир Вікторович

  • Метод і система обробки динамічних медичних зображень 2012 рік, кандидат технічних наук Марьяскін, Євген Леонідович

  • Всеракурсной розпізнавання радіолокаційних зображень наземних (надводних) об'єктів з сегментацією простору ознак на зони квазіінваріантності 2006 рік, кандидат технічних наук Матвєєв, Олексій Михайлович

  • Методи і алгоритми виявлення накладених текстових символів в системах розпізнавання зображень зі складною фонової структурою 2007 рік, кандидат технічних наук Зотін, Олександр Геннадійович

висновок дисертації по темі «Теоретичні основи інформатики», Фаворська, Маргарита Миколаївна

6.7 Висновки до розділу

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

Експериментальні дослідження на основі даного програмного комплексу проводилися на декількох відеопослідовність і інфрачервоних послідовності з тестової бази «OTCBVS ^ 07», на тестових відеопослідовність «Hamburg taxi», «Rubik cube». «Silent», а також на власному відеоматеріалі. Тестувалися п'ять методів оцінки руху. Експериментально було показано, що метод зіставлення блоків і запропонований метод для інфрачервоної послідовності показують близькі значення і є найменш точними. Запропонований метод для відеопослідовності і метод спостереження за точковими особливостями демонструють близькі результати. При цьому розроблений тензорний підхід вимагає меншого обсягу комп'ютерних обчислень у порівнянні з методом спостереження за точковими особливостями. Спільне використання синхронізованих відеопослідовності і інфрачервоної послідовності доцільно використовувати для знаходження модуля вектора швидкості і в умовах зниженого освітлення сцени.

Для розпізнаванні візуальних об'єктів застосовувалися чотири види псевдо-відстаней (псевдо-відстані Хаусдорфа, Громова-Хаусдорфа, Фреше, природне псевдо-відстань) для знаходження міри схожості вхідних динамічних образів з еталонними динамічними образами (в залежності від уявлення динамічного ознаки - безлічі числових характеристик, безлічі векторів, безлічі функцій). Вони показали свою спроможність для образів з допустимими морфологічними перетвореннями. Використовувалися інтегровані нормалізовані оцінки форми контуру Кс загальної частини проекції об'єкта між умовно сусідніми кадрами і площа загальної частини 5е і інваріантна оцінка - кореляційна функція загальних частин проекцій Fcor. Застосування модифікованого методу колективного прийняття рішень дозволяє «відкинути» невдалі спостереження вхідних образів (випадки перекриття проекцій об'єктів, спотворення сцени від джерел освітлення і т. Д.) І вибрати найбільш підходящі спостереження. Експерименти показали, що застосування модифікованого методу колективного прийняття рішення підвищує точність розпізнавання в середньому на 2,4-2,9%.

Експериментальні результати оцінки руху, сегментації і розпізнавання об'єктів були отримані на тестових послідовностей зображень ( «Hamburg taxi», «Rubik cube». «Silent», відеопослідовності і інфрачервоні послідовності з тестової бази «ОТСВVS" 07 "). Для розпізнавання активних дій людей використовувалися приклади з тестових баз «PETS», «CAVIAR», «VACE». Характер тестової візуальної послідовності впливає на показники. Гірше розпізнаються об'єкти, що здійснюють обертальний рух ( «Rubik cube»), краще - техногенні об'єкти невеликих розмірів ( «Hamburg taxi», «Відео 1»). Найкращі результати показує розпізнавання за двома послідовностям. Також кращі експериментальні результати досягалися при розпізнаванні періодичних активних дій людей, які не перебувають в групах (ходіння, біг, підняття рук). Помилкові спрацьовування обумовлені засветкойш наявністю тіней, в ряді місць сцени .

У ^ завершенні * шостого розділу були розглянуті такі прикладні "проекти, як« Візуальна реєстрація державних номерних знаків автотранспортних засобів при багатопотоковому русі »,« Система ідентифікації моделей корпусів холодильників із зображень »,« Алгорітми.обработкі і-сегментації, ландшафтних зображень. Ідентифікація об'єктів ». Алгоритмічне і. програмне забезпечення передано зацікавленим, організаціям: Результати тестової експлуатації показали працездатність програмного забезпечення, розробленого на основі запропонованих в дисертаційній роботі моделей і методів.

ВИСНОВОК

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

У вступі обґрунтовано актуальність дисертаційної роботи, сформульована мета і поставлені завдання дослідження, показана наукова новизна і практична цінність виконаних досліджень, представлені основні положення, що виносяться на захист.

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

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

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

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

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

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

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

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

Класифікація динамічних регіонів зображення проводиться шляхом аналізу власних значень 31) структурного тензора, власні вектори якого визначаються за локальними зсувам інтенсивностей зображень сусідніх кадрів і використовуються для оцінки локальних ориен-Тацій динамічних регіонів. Обґрунтовано новий метод оцінки руху в просторово-часовому обсязі даних видимого і інфрачервоного діапазонів випромінювання на основі тензорного підходу. Розглянуто можливість застосування просторово змінюваного ядра, адаптивного до розмірів і орієнтації оточення точки. Адаптація оточення, спочатку має форму кола, а потім перетворюється після 2-3 ітерацій в форму орієнтованого еліпса дозволяє поліпшити оцінку орієнтованих структур на зображенні. Така стратегія покращує оцінки градієнтів в просторово-часовому наборі даних.

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

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

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

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

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

Також побудована модель передісторії руху об'єктів в послідовності зображень, що включає тимчасові ряди траєкторій переміщення, зміни форми об'єкта при його русі в 3 £> -простору, а також зміни форми об'єкта, пов'язані із взаємодією об'єктів в сцені і появою / зникненням об'єкта з поля зору датчика (використовується для розпізнавання активних дій і подій в сцені). 1

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

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

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

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

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

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

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

В експериментальних дослідженнях, проведених за допомогою програмного комплексу «SPOER», vl02, використовувалися відеопослідовності і інфрачервоні послідовності зображень з тестової бази «OTCBVS" 07 ", тестові відеопослідовності« Hamburg taxi »,« Rubik cube ».« Silent »і власні відеоматеріали. тестувалися п'ять методів оцінки руху. Запропонований метод для відеопослідовності демонструє найбільш точні результати і вимагає меншого обсягу комп'ютерних обчислень у порівнянні з іншими методами. Спільне використання синхронізованих відеопослідовності і інфрачервоної послідовності доцільно при знаходженні модулів векторів швидкостей в умовах зниженого освітлення сцени.

Для розпізнаванні візуальних об'єктів з допустимими морфологічними перетвореннями проекцій використовувалися інтегровані нормалізовані оцінки форми контуру Кс загальної частини проекції об'єкта між умовно сусідніми кадрами і площа загальної частини 5е і інваріантна оцінка - кореляційна функція загальних частин проекцій Fcor. Застосування модифікованого методу колективного прийняття рішень дозволяє «відкинути» невдалі спостереження вхідних образів (випадки перекриття проекцій об'єктів, візуальні спотворення сцени від джерел освітлення і т. Д.) І вибрати найбільш підходящі спостереження. Експерименти показали, що застосування модифікованого методу колективного прийняття рішення підвищує точність розпізнавання в середньому на 2,4-2,9%.

Експериментальні результати оцінки- руху; сегментації і розпізнавання об'єктів були отримані на тестових послідовностей зображень ( «Hamburg taxi», «Rubik cube». «Silent», відеопослідовності і інфрачервоні послідовності з тестової бази «OTCBVS * 07»). Для розпізнавання активних дій людей використовувалися приклади з тестових баз «PETS», «CAVIAR», «VACE». Найкращі результати показує розпізнавання за двома послідовностям. Також кращі експериментальні результати досягалися при розпізнаванні періодичних активних дій людей, які не перебувають в групах (ходіння, біг, підняття рук). Помилкові спрацьовування обумовлені засвіченням і наявністю тіней в ряді місць сцени.

На базі експериментального комплексу «ЗРОЕЯ», V. 1.02 були розроблені системи обробки відеоінформації різного цільового призначення: «Візуальна реєстрація державних номерних знаків автотранспортних засобів при багатопотоковому русі», «Система ідентифікації моделей корпусів холодильників із зображень», «Алгоритми обробки і сегментації ландшафтних зображень . Ідентифікація об'єктів ». Алгоритмічне і програмне забезпечення передано зацікавленим організаціям. Результати тестової експлуатації показали працездатність програмного забезпечення, розробленого на основі запропонованих в дисертаційній роботі моделей і методів.

Таким чином, в дисертаційній роботі були отримані наступні результати:

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

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

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

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

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

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

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

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

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

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

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

Список літератури дисертаційного дослідження доктор технічних наук Фаворська, Маргарита Миколаївна, 2011 рік

1. Автоматичний аналіз складних зображень / Под ред. Е.М. Бра-Верман. М .: Світ, 1969. - 309 с. Бонгард М.М. Проблеми впізнавання. - М .: Наука, 1967.-320 с.

2. Алпатов, Б.А., Виявлення об'єктів, які рухаються в послідовності зображень при наявності обмежень на площу і швидкість руху об'єкта / Б.А. Алпатов, A.A. Китаєв // Цифрова обробка зображень, №1, 2007. с. 11-16.

3. Алпатов, Б.А., Виділення рухомих об'єктів в умовах геометричних спотворень зображення / Б.А. Алпатов, П.В. Бабаян // Цифрова обробка сигналів, № 45 2004. с. 9-14.

4. Алпатов, Б.А., Бабаян П.В. Методи обробки та аналізу зображень "в бортових системах виявлення і супроводу об'єктів / Б.А. Алпатов, П.В. Бабаян // Цифрова обробка сигналів, №2, 2006. 45-51 с.

5. Большаков, A.A., Методи обробки багатовимірних даних і часових рядів: Навчальний посібник для вузів / A.A. Большаков, Р.І. Карімов / М .: Гаряча лінія-Телеком, 2007. 522 с.6: Бонгард, М.М. Проблеми впізнавання / М.М. Бонгард / М .: Наука, 1967.-320 с.

6. Булінскій, A.B. Теорія випадкових процесів1 / A.B. Булінскій, А.Н. Ширяєв / М .: ФИЗМАТЛИТ, 2005. 408 с.

7. Вайнцвайг, М.Н. Архітектура системи подання зорових динамічних сцен в термінах понять / М.Н.Вайнцвайг, М.Н. Полякова // Зб. тр. 11-й Всеросс. конф. «Математичні методи розпізнавання образів (ММРО-11)», М., 2003. с.261-263.

8. Вапник, В.Н. Завдання адаптації розпізнавання образів / В.Н. Вапник / М .: Знание, 1970. - 384 с.

9. П.Вапнік, В.Н. Теорія розпізнавання образів (статистичні проблеми навчання) / В.М. Вапник, А.Я. Червоненкис / М .: Наука, 1974. 416 с.

10. Васильєв, В.І. Розпізнавання рухомих тел / В.І. Васильєв, А.Г. Івахненко, В.Є. Реуцький та ін. // Автоматика, 1967, № 6, с. 47-52.

11. Васильєв, В.І. Системи розпізнавання / В.І. Васильєв / Київ: Наук. Думка, 1969. 292 с.

12. Васильєв, В.І. Системи розпізнавання. Довідник / В.І. Васильєв / Київ, Наук, думка, 1983. 422 с.

13. Візільтер, Ю.В. Застосування методу аналізу морфологічних свідоцтв в задачах машинного зору> / Ю.В. Візільтер // Вісник комп'ютерних та інформаційних технологій, № 9, 2007 за. 11-18.

14. Візільтер, Ю.В. Проективні морфології на базі інтерполяції / Ю.В. Візільтер // Вісник комп'ютерних та інформаційних технологій, №4, 2008.-с. 11-18.

15. Візільтер, Ю.В., Проектні морфології та їх застосування в структурному аналізі цифрових зображень / Ю.В. Візільтер, С.Ю. Желтов // Изв. РАН. Тису, № 6, 2008. с. 113-128.

16. Візільтер, Ю.В. Дослідження поведінки авторегресійних фільтрів в завданню виділення і аналізу руху на цифрових відеопослідовність / Ю.В. Візільтер, Б.В. Вишняков // Вісник комп'ютерних та інформаційних технологій, № 8, 2008. - с. 2-8.

17. Візільтер, Ю.В. Проективні морфології зображень на базі моделей, що описуються структурирующими функціоналами /Ю.В. Візільтер, С.Ю. Желтов // Вісник комп'ютерних та інформаційних технологій, № 11, 2009.-с. 12-21.

18. Вишняков, Б.В. Використання модифікованого методу оптичних потоків в завданню виявлення і межкадрового простеження двіжуs.

19. Ганебних, С.Н. Аналіз сцен на основі застосування деревовидних уявлень зображень / С.Н.Ганебних, М.М. Ланге // Зб. тр. 11-й все-Росс. конф. «Математичні методи розпізнавання образів (ММРО-11)», М., 2003.-с. 271-275.

20. Глушков, В.М. Введення в кібернетику / В.М. Глушков / Київ: Вид-во АН УРСР, 1964. 324 с.

21. Гонсалес, Р., Вудс Р. Цифрова обробка зображень. Пер.с англ. під ред. П.А.Чочіа / Р.Гонсалес, Р. Вудс / М .: Техносфера, 2006. 1072 с.

22. Горошкин, А.Н., Сегментація зображень рукописного тексту (SegPic) / О.М. Горошкин, М.Н. Фаворська // Свідоцтво № 2008614243. Зареєстровано в Реєстрі програм для ЕОМ р Москва, 5 вересня 2008 р

23. Гренандер, У. Лекції по теорії образів / У. Гренандер / В 3 т. / Пер.с англ. Під ред. Ю.І.Журавлева. М .: Світ, 1979-1983. 130 с.

24. Грузман, І.С. Цифрова обробка зображень в інформаційних системах: Навч. Посібник / І.С.Грузман, B.C. Киричук, В.П. Косих, Г.І.Перетягін, A.A. Спектор / Новосибірськ, изд-во НГТУ, 2003. с. 352.

25. Достовірний і правдоподібний висновок в інтелектуальних системах / Под ред. В.Н. Вагіна, Д.А. Поспєлова. 2-е изд., Испр. і доп. - М .: ФИЗМАТЛИТ, 2008. - 712 с.

26. Дуда, Р. Розпізнавання образів і аналіз сцен / Р. Дуда, П. Харт / М .: изд-во «Світ», 1978. 512 с.

27. Журавльов, Ю.І. Про алгебраїчному підході до вирішення завдань розпізнавання і класифікації / Ю.І. Журавльов // Проблеми кібернетики: Зб. ст., вип. 33, М .: Наука, 1978. с. 5-68.

28. Журавльов, Ю.І. Про алгебраїчної корекції процедур обробки (перетворення) інформації / Ю.І.Журавлев, К.В. Рудаков // Проблеми прикладної математики та інформатики, М .: Наука, 1987. с. 187-198.

29. Журавльов, Ю.І. Розпізнавання образів і розпізнавання зображень / Ю.І. Журавльов, І.Б. Гуревич // Щорічник «Розпізнавання. Класифікація. Прогноз. Математичні методи та їх застосування », вип. 2, М .: Наука, 1989.-72 с.

30. Журавльов, Ю.І. Розпізнавання образів і аналіз зображень / Ю.І.Журавлев, І.Б. Гуревич / Штучний інтелект в 3-х кн. Кн. 2. Моделі і методи: Довідник / За ред. Д.А. Поспєлова, М .: изд-во «Радио и связь», 1990. - с.149-190.

31. Загоруйко, Н.Г. Методи розпізнавання та їх застосування / Н.Г. За-горуйко / М .: Сов. радіо, 1972. 206 с.

32. Загоруйко, Н.Г. Штучний інтелект і емпіричне передбачення / Н.Г. Загоруйко / Новосибірськ: изд. НГУ, 1975. 82 с.

33. Івахненко, А.Г. Про застосування теорії інваріантності та комбінованого управління до синтезу та аналізу навчаються систем / А.Г. Івахненко // Автоматика, 1961, № 5, с. 11-19.

34. Івахненко, Г.І. Самообучающиеся системи розпізнавання і автоматичного управління / А.Г. Івахненко / Київ: Техніка, 1969. 302 с.

35. Кашкін, В.Б. Дистанційне зондування Землі з космосу. Цифрова обробка зображень: Навчальний посібник / В.Б. Кашкін, А.І. Су-хінін / М .: Логос, 2001. 264 с.

36. Кобзар, А.І. Прикладна математична статистика. Для інженерів і наукових працівників / А.І. Кобзар / М .: ФИЗМАТЛИТ, 2006. 816 с.

37. Ковалевський, В.А. Кореляційний метод розпізнавання зображень / В.А. Ковалевський // Журн. вирахував. математики і мат.фізікі, 1962, 2, № 4, с. 684-690.

38. Колмогоров, О.Н: Епсілон-ентропія і епсилон-ємність множин в функціональних просторах / О.М. Колмогоров, В.М. Тихомиров // Теорія інформації та теорія алгоритмів. М .: Наука, 1987. с. 119-198.

39. Корн, Г. Довідник з математики для науковців та інженерів / Г.Корн, Т. Корн // М .: Наука, Гл. ред. фіз.-мат. лит., 1984. 832 с.

40. Кроновер, Р. Фрактали і хаос в динамічних системах / Р. Кроновер // М .: Техносфера, 2006. 488 с.

41. Лапко, A.B. Непараметричні * і гібридні системи класифікації різнотипних даних / А.В.Лапко, BlA. Лапко // Тр. 12-й Всеросс. конф. «Математичні методи і моделі розпізнавання образів» (ММРО-12), М., 2005.-с. 159-162.

42. Левтін, К.Е. Візуальне детектування диму (SmokeDetection) / К.Е.Левтін, М.Н. Фаворська // Свідоцтво № 2009612795. Зареєстровано в Реєстрі програм для ЕОМ м.Москва, ЗО липня 2009 р

43. Луців, В.Р. Принципи уніфікації оптичних систем роботів / В.Р. Луців, М.Н. Фаворська // В- кн. «Уніфікація та стандартизація промислових роботів», Ташкент, 1984. с. 93-94.

44. Луців, В.Р. Універсальна оптична система для ГАП / В.Р. Луців, М.Н. Фаворська // В кн. «Досвід створення, впровадження і використання АСУТП в об'єднаннях і на підприємствах», Л., ЛДНТП, 1984. с. 44-47.

45. Медведєва, Е.В. Метод оцінки векторів руху в відеозображення / Е.В.Медведева, Б.О. Тимофєєв // В матеріалах 12-ї міжнародної конференції та виставки «Цифрова обробка сигналів та її застосування», М .: В 2 т. Т. 2, 2010. с. 158-161.

46. ​​Методи комп'ютерної обробки зображень / Под ред. В.А.Сойфера. 2-е изд., Ісп. - М .: ФИЗМАТЛИТ, 2003. - 784 с.

47. Методи автоматичного виявлення і супроводу об'єктів. Обробка зображень та управління / Б. А. Алпатов, П.В. Бабаян, O.E. Балашов, А.І. Степашкін Станіслав Іванович. -М .: Радіотехніка, 2008. - 176 с.

48. Методи комп'ютерної оптики / Под ред. В.А.Сойфера. М .: ФИЗМАТЛИТ, 2003. - 688 с.

49. Мудров, А.Е. Чисельні методи для ПЕОМ на мовах Бейсік, Фортран і Паскаль / А.Є. Мудров / Томськ: МП «РАСКО», 1991. 272 ​​с.

50. Пахірка, А.І. Локалізація особи (FaceDetection) / А.І.Пахірка, М.Н. Фаворська // Свідоцтво № 2009611010. Зареєстровано в Реєстрі програм для ЕОМ р Москва, 16 лютого 2009 р

51. Пахірка, А.І. Нелінійне поліпшення зображень (Nonlinear image enhancement) / А.І.Пахірка, М.Н. Фаворська // Свідоцтво № 2010610658. Зареєстровано в Реєстрі програм для ЕОМ р Москва, 31 березня 2010 р

52. Понтрягин, Л. С. Безперервні групи J Л. С. Понтрягин // 4-е изд., М .: Наука, 1984.-520 с.

53. Потапов, A.A. Фрактали в радіофізики та радіолокації: Топологія вибірки / A.A. Потапов // Изд. 2-е, перераб. і доп. - М .: Університетська книга, 2005. 848 с.

54. Радченко, Ю.С. Дослідження спектрального алгоритму виявлення "змін в відеопослідовності / Ю.С.Радченко, А.В.Булигін, Т.А. Радченко // Изв. ВУЗІВ. Радіоелектроніка,; № 7, 2009. с. 49-59.

55. Сальников, І.І. Растрові просторово-часові сигнали в системах аналізу зображень / І.І. Сальников // М .: ФИЗМАТЛИТ, 2009. -248 с.

56. Сергунін, С.Ю. Схема динамічного побудови багаторівневої опису зображень / С.Ю.Сергунін, К.М.Квашнін, М.І. Кумской // Зб. тр. 11-й Всеросс. конф: «Математичні методи розпізнавання образів (ММРО-11)», М., 2003. с. 436-439:

57. Слинько, Ю.В. Рішення завдання одночасного супроводу і оконтуривания методом максимальної правдоподібності / Ю.В. Слинько // Цифрова обробка сигналів, № 4, 2008. с. 7-10

58. Солсо, Р. Когнітивна психологія / Р. Солсо / СПб .: Питер, 6-е изд., 2006. 590 с.

59. Тарасов, І.Є. Розробка цифрових пристроїв на основі ПЛІС «Xi-linx» c застосуванням мови VHDL / І.Є. Тарасов / М .: Гаряча лінія-Телеком, 2005. - 252 с.

60. Фаворська, М.Н. Розробка алгоритмів цифрового розпізнавання зображень в адаптивних робототехнічних комплексах / М.М *. Фаворська // Л !, Ленінградський ін-т авйац. приборостр., 1985. Рукопис деп: в ВІНІТІ 23.01.85. № 659-85 Деп.

61. Фаворська; М.Н. Застосування спектральних методів для нормалізації і розпізнавання зображень в адаптивних робототехнічних комплексах / М.М. *. Фаворська // Л., Ленінградський, ін-т авіація. приборостр., 1985. Рукопис деп. в ВІНІТІ23.01.85. № 660-85 Деп.

62. Фаворська, М.Н. Досвід розробки алгоритмів розпізнавання об'єктів для штампувального виробництва / М.Н. Фаворська // В кн. «Стан, досвід і напрямки робіт з комплексної автоматизації на основі ГПС, РТК і ПР», Пенза, 1985. с. 64-66.

63. Фаворська, М.Н. Дослідження проектних властивостей груп об'єктів / М.Н. Фаворська, Ю.Б. Козлова // Вісник Сибірського державного аерокосмічного університету. Вип. 3, Красноярськ, 2002. - с. 99-105.

64. Фаворська, М.Н. Визначення аффинной структури об'єкта по руху / М.Н. Фаворська // Вісник Сибірського державного аерокосмічного університету, Вип. 6, Красноярськ, 2005. - с. 86-89.

65. Фаворская- М.Н. Загальна класифікація підходів до розпізнавання зображень / М-В.М.. Фаворська // В< материалах X междунар. научн. конф. «Решетневские чтения» СибГАУ, Красноярск, 2006. с. 54-55.

66. Фаворська М.Н. Інваріантні вирішальні функції в задачах розпізнавання статичних зображень / М.Н. Фаворська // Вісник Сибірського державного аерокосмічного університету. Вип. 1 (14), Красноярськ, 2007. с. 65-70.

67. Фаворська, М.Н. Імовірнісні методи сегментації відеопотоку як завдання з відсутніми даними / М.Н. Фаворська // Вісник Сибірського державного аерокосмічного університету. Вип. 3 (16), Красноярськ, 2007. с. 4-8.

68. Фаворська, М.Н. Вибір цільових інформативних ознак в системах розпізнавання зображень / М.Н. Фаворська // В матеріалах XI меж-дунар. наук. конф. «Решетньовські читання» СібГАУ, Красноярськ, 2007 за. 306-307.

69. Фаворська, М.Н. Стратегії сегментації двовимірних зображень / М.Н. Фаворська // В матеріалах всеросійської наукової конференції «Моделі і методи обробки зображень ММОІ-2007», Красноярськ, 2007. с. 136-140.

70. Фаворська, М.Н. Сегментація ландшафтних зображень на основі фрактального підходу / М.Н. Фаворська // В матеріалах 10-ї міжнародної конференції та виставці «Цифрова обробка сигналів та її застосування», М., 2008. с. 498-501.

71. Фаворська, М.Н. Модель розпізнавання зображень рукописного тексту / М.Н. Фаворська, А.Н. Горошкин // Вісник Сибірського государст4 i, венного аерокосмічного університету. Вип. 2 "(19), Красноярськ, 2008. с. 52-58.

72. Фаворська, М.Н. Алгоритми реалізації оцінки руху в системах відеоспостереження / М.Н. Фаворська, A.C. Шилов // Системи управлінняі інформаційні технології. Перспективні дослідження / ІПУ РАН; ВГТУ, № 3.3 (33), М.-Воронеж, 2008. с. 408 ^ 12.

73. Фаворська, М.Н. До питання про використання формальних граматик при розпізнаванні об'єктів в складних сценах // М.Н. Фаворська / В матеріалах XIII междунар.научн.конф. «Решетньовські читання». У 2 ч. 4.2, Красноярськ, 2009. с. 540-541.

74. Фаворська, М.Н. Розпізнавання динамічних образів на основі пророкують фільтрів / М.Н. Фаворська // Вісник Сибірського державного аерокосмічного університету. Вип. 1 (22) в 2 ч. 4f. 1, Красноярськ, 20091 с. 64-68.

75. Фаворська, М.Н., Методи, пошуку руху в.відеопоследовательностях / М.Н. Фаворська, А.І. Пахірка, A.C. Шилов; М.В. Дамов // Вісник. Сибірського державного аерокосмічного університету. Вип. 1 (22) в 2 ч. Ч. 2, Красноярськ, 2009. с. 69-74.

76. Фаворська, М.Н. Знаходження рухомих відео об'єктів, з прімененіем- локальних 3D структурних тензорів / М.Н. Фаворська // Вісник Сибірського державного аерокосмічного університету. Вип. 2 (23), Красноярськ, 2009. с. 141-146.

77. Фаворська, М.Н. Оцінка руху об'єктів в складних сценах на основі тензорного підходу / М.Н. Фаворська // Цифрова обробка сигналів, № 1,2010.-с. 2-9.

78. Фаворська, М.Н. Комплексний розрахунок характеристик ландшафтних зображень / М.Н. Фаворська, Н.Ю. Пєтухов // Оптичний журнал, 77, 8, 2010.-с. 54-60.

79. Файн, B.C. Розпізнавання зображень / B.C. Файн // М .: Наука, 1970.-284 с.

80. Форсайт, Д.А. Комп'ютерне зір. Сучасний підхід / Д.А. Форсайт, Дж. Понс // М .: Видавничий дім «Вільямс», 2004. 928 с.

81. Фу, К. Послідовні методи в розпізнаванні образів і навчання машин / К. Фу / М .: Наука, 1971. 320 с.

82. Фу, К. Структурні методи в розпізнаванні образів / К. Фу / М .: Мир, 1977.-320 с.

83. Фукунага, К. Введення в статистичну теорію розпізнавання образів / К. Фукунага / М .: Наука, 1979. 368 с.

84. Шелухін, О.І. Самоподібність і фрактали. Телекомунікаційні додатки / О.І. Шелухін, А.В. Осін, С.М. Смольський / Под ред. О.І. Шелухіна. М .: ФИЗМАТЛИТ, 2008. 368 с.

85. Шилов, А.С. Визначення руху (MotionEstimation) / А.С. Шилов, М.Н. Фаворська // Свідоцтво № 2009611014. Зареєстровано в Реєстрі програм для ЕОМ р Москва, 16 лютого 2009 р

86. Ш.Шлезінгер, М.І. Кореляційний метод розпізнавання послідовностей зображень / М.І. Шлезінгер / В кн .: які читають автомати. Київ: Наук.думка, 1965. с. 62-70.

87. Шлезінгер, М. І. Синтаксичний аналіз двовимірних зорових сигналів в умовах перешкод / ​​М.І. Шлезінгер // Кібернетика, № 4, 1976. - с.76-82.

88. Штарк, Г.-Г. Застосування вейвлетів для ЦГЗ / Г.-Г. Штарк / Ml: Техносфера, 2007. 192 с.

89. Шуп, Т. Прикладні чисельні методи в фізиці та техніці: Пер. з англ. / Т. Шуп / Под ред. С.П.Меркурьева; М .: Вища. Шк., 19901 - 255 с.11 "5. Електр, ресурс: http: // www.cse.ohio-state.edu/otcbvs-bench

90. Електр, ресурс: http://www.textures.forrest.cz/ електронний ресурс (база текстурних зображень textures library forrest).

91. Електр, ресурс: http://www.ux.uis.no/~tranden/brodatz.html електронний ресурс (база текстурних зображень Brodatz).

92. Allili M.S., Ziou D. Active contours for video object tracking using region, boundary and shape information // SIViP, Vol. 1, no. 2, 2007. pp. 101-117.

93. Almeida J., Minetto R., Almeida T.A., Da S. Torres R., Leite N.J. Robust estimation of camera motion using optical flow models // Lecture Notes in

94. Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5875 LNCS (PART 1), 2009. pp. 435-446.

95. Ballan L., Bertini M., Bimbo A. D., Serra G. Video Event Classification using String Kernels // Multimed. Tools Appl., Vol. 48, no. 1, 2009. pp. 6987.

96. Ballan L. Bertini M. Del Bimbo A., Serra G. Action categorization in soccer videos using string kernels // In: Proc. of IEEE Int "l Workshop on Content-Based Multimedia Indexing (CBMI). Chania, Crete, 2009. pp. 13-18.

97. Barnard K., Fan QF, Swaminathan R., Hoogs A., Collins R, Rondot P., and Kaufhold J. Evaluation of localized semantics: Data, methodology, and experiments // International Journal of Computer Vision, IJCV 2008, Vol. 77, no. 1-3,2008.-pp. 199-217.

98. Bertini M., Del Bimbo A., Serra G. Learning rules for semantic video event annotation // Lecture Notes In Computer Science; In: Proc. of Int "l Conference on Visual Information Systems (VISUAL), Vol. 5188, 2008. pp. 192-203.

99. Bobick A.F., Davis J.W. The recognition of human-movement using temporal templates // IEEE Transactions on Pattern Analysis and Machine Intelligence, Vol. 23, no. 3, 2001. pp. 257-267.

100. Boiman O., Irani M. Detecting irregularities in images and in video // International Journal of Computer Vision, Vol. 74, no. 1, 2007. pp. 17-31.

101. Bresson X., Vandergheynst P., Thiran J.-P. A Variational Model for Object Segmentation Using Boundary Information and Shape Prior Driven4 by the Mumford-Shah Functional // International Journal of Computer Vision, vol. 68, no. 2, 2006.-pp. 145-162.

102. Cavallaro A., Salvador E., Ebrahimi T. Shadow-aware object-based video processing // IEEE Vision; Image and Signal Processing, Vol. 152, no. 4, 2005.-pp. 14-22.

103. Chen J., Ye J. Training SVM with indefinite kernels // In: Proc. of the 25th international conference on Machine learning (ICML), Vol. 307, 2008. pp. 136-143.

104. Cheung S.-M., Moon Y.-S. Detection of Approaching Pedestrians from a Distance Using Temporal Intensity Patterns // MVA2009, Vol. 10, no. 5, 2009. -pp. 354-357.

105. Dalai N., Triggs B., and Schmid G. Human detection using oriented histograms of flow and appearance // In ECCV, vol. II, 2006. pp. 428 ^ 141.

106. Dalai N., Triggs B. Histograms of Oriented Gradients for Human Detection // IEEE Conference on Computer Vision and Pattern Recognition (CVPR), vol. II, 2005-pp. 886-893.

107. Dani A.P., Dixon W.E. Single camera structure and motion estimation // Lecture Notes in Control and Information Sciences, 401, 2010. pp. 209-229.

108. Datta Ri, Joshi D ;, Li J., and Wang J. Z1 Image retrieval: Ideas, influences, and trends of the new age // ACM "-Computing Surveys, Vol. 40 :, no: 2, 2008. ■ -pp. 1-60.

109. Dikbas S., Arici T., Altunbasak Y. Fast motion estimation with interpolation-free sub-sample accuracy // IEEE Transactions on Circuits and Systems for Video Technology 20 (7), 2010. -pp. 1047-1051.

110. Dollar P., Rabaud V., Cottrell G., Belongie S. Behavior recognition via sparse spatio-temporal features // In: Proc. 2nd Joint IEEE International Workshop on Evaluation of Tracking and Surveillance, VS-PETS, 2005. pp. 65-72.

111. Donatini P. and Frosini P. Natural pseudodistances between closed surfaces // Journal of the European Mathematical Society, Vol. 9, no. 2, 2007 pp. 231-253.

112. Donatini P. and Frosini P. Natural pseudodistances between closed curves // Forum Mathematicum, Vol. 21, no. 6, 2009. pp. 981-999.

113. Ebadollahi S., L., X., Chang S.F., Smith J.R. Visual event detection using multi-dimensional concept dynamics // In: Proc. of IEEE Int "l Conference on Multimedia and Expo (ICME), 2006. pp. 239-248.

114. Favorskaya M., Zotin A., Danilin I., Smolentcheva S. Realistic 3D-modeling of Forest Growth with Natural Effect // Proceedings of the Second KES International Symposium IDT 2010 Baltimore. USA. Springer-Verlag, Berlin, Heidelberg. 2010.-pp. 191-199.

115. Francois A.R.J., Nevatia R., Hobbs J.R., Bolles R.C. VERL: An ontology framework for representing and annotating video events // IEEE Multimedia, Vol: 12; no. 4, 2005. pp. 76-86.

116. Gao J., Kosaka A :, Kak A.C. A Multi-Kalman Filtering Approach for Video Tracking of Human-Delineated Objects in Cluttered "Environments // IEEE Com-puter Vision and Image Understanding, 2005, V. 1, no. 1. pp. 1-57.

117. Gui L., Thiran J.-P., Paragios N. Joint Object Segmentation and Behavior Classification in Image Sequences // IEEE Conf. on Computer Vision and Pattern Recognition, 17-22 June 2007. pp. 1-8.

118. Haasdonk B. Feature space interpretation of SVMs with indefinite kernels // IEEE Transactions on Pattern Analysis and Machine Intelligence. Vol. 27, no. 4, 2005. pp. 482-492.

119. Harris C. and Stephens M. A combined corner and edge detector // In Fourth Alvey Vision Conference, Manchester, UK, 1988. pp. 147-151.

120. Haubold A., Naphade M. Classification of video events using 4-dimensional- time-compressed motion features // In CIVR "07: Proceedings of the6th ACM international confcrcnce on Image and video retrieval, NY, USA, 2007. -pp . 178-185.

121. Haykin S. Neural Networks: A Comprehensive Introduction. / N.Y .: Prentice-Hall, 1999; .- 658 pi.

122. Hoynck M., Unger M., Wellhausen J. and Ohm J.-R. A Robust Approach to Global Motion Estimation for Content-based Video Analysis // Proceedings of SPIE Vol. 5601, Bellingham, WA, 2004. pp. 36-45.

123. Huang Q., Zhao D., Ma S., Gao W., Sun H. Deinterlacing using hierarchical motion analysis // IEEE Transactions on Circuits and Systems for Video Technology 20 (5), 2010. pp. 673-686.

124. Jackins C.L., Tanimoto S.L. Quad-trees, Oct-trees and K-trees: A Generalized Approach to Recursive Decomposition of Euclidean Space // IEEE Transactions onPAMI, Vol. 5, no. 5, 1983.-pp. 533-539.

125. Ke Y., Sukthankar R :, Hebert Mi. Efficient visual event detection using volumetric features // In: Proc. of Int "l Conference on Computer Vision (ICCV), vol.1, 2005.-pp. 166-173.

126. Klaser A., ​​Marszalek M., and Schmid C.A Spatio-Temporal Descriptor Based on 3D-Gradients // In BMVC, British Machine Vision, Conference, 2008. -pp. 995-1004.

127. Kovashka, A., Grauman, К Learning a hierarchy of discriminative space-time neighborhood features for human action recognition // Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2010 року. pp.2046-2053.

128. Kumskov M.I. Calculation Scheme of the Image Analysis Controlled by the Models of the Objects to be Recognized // Pattern Recognition and Image Analysis, Vol. 11, no. 2, 2001. p. 446-449:

129. Kwang-Kyu S. Content-based image retrieval by combining genetic algorithm and support vector machine // In ICANN (2), 2007. pp. 537-545.

130. Lai C.-L., Tsai S.-T., Hung Y.-P. A study on the three-dimensional coordinate calibration using fuzzy system // International Symposium on Computer, Communication, Control and Automation 1, 2010. - pp. 358-362.

131. Laptev I. On space-time interest points // International Journal of Computer Vision, Vol. 64, no. 23, 2005. pp. 107-123.

132. Leibe B., Seemann E., Schiele B. Pedestrian Detection in- Crowded * Scenes // IEEE Conference on Computer Vision and "Pattern Recognition, Vol. 1, 2005.-pp. 878- 885.

133. Lew M. S., Sebe N., Djeraba C., and Jain R. Content-based multimedia information1 retrieval: State of the art and challenges // ACM Transactions on Multimedia Computing, Communications, and Applications, Vol. 2, no. 1, 2006. pp. 1-19.

134. Li J. and Wang J. Z. Real-time computerized annotation of pictures // IEEE Trans. PAMI, Vol. 30, 2008. pp. 985-1002.

135. Li L., Luo R., Ma R., Huang W., and Leman K. Evaluation of An IVS System for Abandoned Object Detection on PETS 2006 Datasets // Proc. 9 IEEE Intern. Workshop on PETS, New York, 2006. pp. 91-98.

136. Li L., Socher R., and Fei-Fei L. Towards Total Scene Understanding: Classification, Annotation and Segmentation in an Automatic Framework // IEEE Conference on Computer Vision and Pattern Recognition, CVPR, 2009. pp. 2036-2043.

137. Li Q., ​​Wang G., Zhang G.) Chen S. Accurate global motion estimation based on pyramid with mask // Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao / Journal of Computer-Aided Design and Computer Graphics, Vol: 21, no . 6, 2009. pp. 758-762.

138. Lindeberg T., Akbarzadeh A. and Laptev I. Galilean-diagonalized spatio-temporal interest operators // Proceedings of the 17th International Conference on Pattern Recognition (ICPR "04), 2004. pp. 1051-1057.

139. Lim J., Barnes, N. Estimation of the epipole using optical flow at antipodal points // Computer Vision and Image Understanding 114, no. 2, 2010. pp. 245-253.

140. Lowe D. G. Distinctive Image Features from Scale-Invariant Keypoints // International Journal of Computer Vision, Vol. 60, no. 2, 2004. pp. 91-110.

141. Lucas B.D., Kanade T. An Iterative Image Registration Technique with an Application to Stereo Vision // International Joint Conference on Artificial Intelligence, 1981. pp. 674-679.

142. Mandelbrot B; B. The Fractal Geometry of Nature / N.Y .: Freeman ^ 1982. 468 p .; русс, пров .: Мандельброт Б. Фрактальна, геометрія природи: Пер. з англ. / М .: Інститут комп'ютерних досліджень, 202. - 658 с.

143. Mandelbrot В.В., Frame M.L. Fractals, Graphics, and Mathematics Education / N. Y .: Springer-Verlag, 2002. 654 p.

144. Mandelbrot B.B. Fractals and Chaos: The Mandelbrot Set.and Beyond / N.Y .: Springer-Verlag, 2004. 308 p.

145. Memoli F. On the use of Gromov-Hausdorff distances for shape comparison // Proceedings of the Eurographics Symposium on Point-Based Graphics. Prague, Czech Republic, 2007. pp. 81-90.

146. Mercer J. Functions of positive and negative type and their connection with the theory of integral equations // Transactions of the London Philosophical Society (A), vol. 209, 1909. pp. 415-446.

147. Mikolajczyk K. Detection of local features invariant to affine transformations, Ph.D.thesis, Institut National Polytechnique de Grenoble, France. 2002.171 p.

148. Mikolajczyk K. and Schmid G. An Affine Invariant Interest Point Detector // Proceedings of ECCV. Vol. 1. 2002. pp. 128-142.

149. Minhas R., Baradarani A., Seifzadeh S., Jonathan Wu, Q.M. Human action recognition using extreme learning machine based on visual vocabularies // Neurocomputing, Vol. 73 (10-12), 2010. pp. 1906-1917.

150. Mladenic D., Skowron A., eds .: ECML. Vol. 4701 of Lecture Notes in Computer Science, Springer, 2007. pp. 164-175.

151. Moshe Y., Hel-Or H. Video block motion estimation based on gray-code kernels // IEEE Transactions on Image Processing 18 (10), 2009. pp. 22432254.

152. Nakada T., Kagami S ;, Mizoguchi H. Pedestrian Detection using 3D Optical Flow Sequences for- afMobile Robot // IEEE Sensors, 2008. pp: 116-119:

153. Needleman, S.B:,. Wunsch C.D; A general method applicable to the search for similarities in the * amino acid sequence of two proteins // Journal "of Molecular Biology Vol. 48, no: 3, 1970. pp. 443-453.

154. Neuhaus M., Bunke H. Edit distance-based kernel functions-for structural pattern classification // Pattern Recognition. Vol. 39, no. 10, 2006. pp: 1852-1863.

155. Nevatia R., Hobbs J., and Bolles B. An ontology for video event representation // In Workshop on Event Detection and Recognition. IEEE, Vol.12, no. 4, 2004. pp. 76-86.

156. Nguyen.N.-T., Laurendeau D :, Branzan-Albu A. A robust method for camera motion estimation in movies based on optical flow // The 6th International

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

ПРИРОДНІ ТА ТЕХНІЧНІ НАУКИ

УДК 519.673: 004.9

ІНТЕРПРЕТАЦІЯ КОНЦЕПТУАЛЬНОЇ МОДЕЛІ просторових ДИНАМІЧНОГО ОБ'ЄКТА В КЛАСІ ФОРМАЛЬНИХ СИСТЕМ *

А Я. Фрідман

Інститут інформатики і математичного моделювання КНЦ РАН

анотація

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

Ключові слова:

концептуальна модель, просторовий динамічний об'єкт, семіотична формальна система.

Вступ

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

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

Представлена ​​в даній роботі ситуаційна система моделювання (ССМ) на основі деревовидної ситуаційної концептуальної моделі (СКМ) є один з варіантів

* Робота частково підтримана грантами РФФД (проекти № 13-07-00318-а, № 14-07-00256-а,

№ 14-07-00257-а, № 14-07-00205-а, № 15-07-04760-а, № 15-07-02757-а).

реалізації технологій типу CASE (Computer Aided Software Engineering) і RAD (Rapid Application Development).

Семіотичні формальні системи

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

Прагнення усунути недоліки формальних систем при їх використанні в штучному інтелекті призвело до появи семіотичних систем, формалізуються вісімкою:

S :: = (В, F, A, R, Q (B), Q (F), Q (A), Q (R)). (1)

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

Основи ситуаційного моделювання

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

Декларативний мову опису СКМ складається з двох частин: частини, відповідної об'єктів описуваного світу, і частини, що відповідає відносинам і атрибутам представлених в моделі об'єктів. Як математичної основи декларативного мови використана аксіоматична теорія множин.

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

ВІСНИК Кольського наукового центру РАН 4/2015 (23)

А Я. Фрідман

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

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

Атрибути, що описують тип відносини ієрархії, конкретизують уявлення об'єктів моделі на наступному, нижньому рівні ієрархії. Тип відносини «композиція» (&) визначає, що об'єкт будується агрегацией його подоб'ектов. Тип «класифікація» (v) вказує, що об'єкт верхнього рівня є узагальнення групи об'єктів нижнього рівня. Ставлення типу «класифікація» в СКМ використовується для представлення різних варіантів елемента верхнього рівня. Тип «ітерація» (*) дозволяє визначати в СКМ ітеративні процеси і описувати регулярні структури даних.

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

Формальне представлення СКМ дає можливість істотно автоматизувати аналіз коректності структури і можливості розв'язання СКМ.

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

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

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

ВІСНИК Кольського наукового центру РАН 4/2015 (23)

Інтерпретація концептуальної моделі ...

Формальний опис СКМ

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

Щоб уникнути обчислювальних проблем, пов'язаних з малими змінами даних, і забезпечити підтримку спільної розрахунково-логічної обробки даних, в СКМ вихідними даними процедур обробки (виняток становлять дані, що обчислюються ГІС) можуть бути тільки дані з дискретним кінцевим безліччю значень (типу списків). Якщо значення деякого даного є рядкові константи, то таке дане називається параметром (категорія PAR), а має числові значення іменується змінної (категорія VAR), і над ним можна виконувати певні математичні операції. Якщо результат обчислень являє собою значення змінної, він округляється до найближчого значення зі списку допустимих значень. Надалі, якщо сказане відноситься до даних будь-якого дозволеного в СКМ типу, вживається термін «дане». Таким чином, безліч імен даних ділиться на безлічі імен змінних і параметрів:

D :: =< Var, Par >, Var :: = (var), i = 1, N;

7 7 до l 7 v 7 (2)

Par :: = (parj), j = 1, Np, де Nv і Np - потужності цих множин.

Дані моделюють ресурси (кількісні характеристики) об'єктів або процесів (категорія RES), змінні можуть також використовуватися як параметри настройки функцій (критеріїв) якості функціонування елементів СКМ (категорія ADJ). Відповідно, безліч імен змінних ділиться на підмножина імен ресурсів елементів СКМ і підмножина імен настроювальних параметрів критеріїв якості цих елементів:

Var :: =< Res, Adj > (3)

Окрему категорію (категорію GIS) складають графічні характеристики об'єктів СКМ, безпосередньо обчислювані в ГІС. Всі вони відносяться до змінних, але не розглядаються як списки, так як використовуються тільки як вхідні ресурси елементів моделі і не змінюються в ході імітації.

Об'єкти СКМ мають три основні характеристики: ім'я, функціональний тип, який визначає структуру і функції об'єкта і використовується в процесі аналізу коректності СКМ, і ім'я супероб'екта, домінуючого даний об'єкт в СКМ (відсутній для об'єкта верхнього рівня). Відповідно до положення в дереві об'єктів і на карті виділяються три категорії об'єктів СКМ: примітиви (категорія LEAF), структурно неподільні з точки зору глобальної мети моделювання, елементарні об'єкти (категорія GISC), географічно пов'язані з одним ГІС-елементом (полігоном, дугою або точкою якого -або покриття), і складові об'єкти (категорія COMP), що складаються з елементарних і / або складових об'єктів. Структура об'єктів категорії GISC в СКМ може бути досить складною, але все їх подоб'екти мають одну і ту ж географічну прив'язку. Безліч об'єктів утворює ієрархію:

О = (а 0Уа) :: = 2 ° а, (4)

де а = 1, Nl - номер рівня дерева об'єктів, до якого належить даний об'єкт (L - загальна кількість рівнів декомпозиції);

вб = 1, Nб - порядковий номер об'єкта на його рівні декомпозиції;

г = 1, N6_ - порядковий номер супероб'екта, домінуючого заданий елемент на вищележачому рівні;

Про - безліч об'єктів, що належать рівню з номером а.

ВІСНИК Кольського наукового центру РАН 4/2015 (23)

А Я. Фрідман

Для забезпечення зв'язності СКМ приймається, що існує єдиний супероб'ект, домінуючий всі об'єкти першого рівня декомпозиції, тобто справедливе співвідношення:

O. -i0. ") 0, = (5)

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

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

Схема концептуальної моделі утворюється кортежем:

^ ССМ :: =<о,P,DCM,H,OP,PO,U >, (6)

де O - безліч об'єктів КМПО (9);

P :: = (pn I n = 1, Np - безліч процесів КМПО;

DCM з D - безліч даних концептуальної моделі, де D визначено в (4), (5);

H - відношення ієрархії об'єктів, яке з урахуванням (4) і (5) набуде вигляду:

де hб з O6х B, (O6) - відносини ієрархії для кожного з рівнів дерева об'єктів, причому b "(o6) є розбиття множини Оа;

OP з O х B (P) - відношення «об'єкт - породжують його вихідні дані процеси», причому B (P) є розбиття множини P;

PO з P х B (О) - відношення «процес - створюють його вхідні дані об'єкти»;

U :: = Up іU0 - відношення, формалізує управління процесом обчислень на основі СКМ, має складові такого вигляду:

U з P х B (Res) - відношення «процес - керуючий дане»;

Uo з о м о с B (Res) - відношення «об'єкт - керуючий дане».

Ставлення «об'єкт (процес) - керуючий дане» ставить у відповідність деякого об'єкту (процесу) моделі дане, яке доопределять цей об'єкт при переході до алгоритмічної інтерпретації. Передача даних між об'єктами здійснюється тільки через списки вхідних і вихідних даних цих об'єктів, що узгоджується з принципами інкапсуляції даних, прийнятими в сучасному об'єктно-орієнтованому програмуванні. Всі процеси, приписані до одного об'єкту, описуються ставленням OA з о м о с B (P) «об'єкт - приписані до нього процеси». Це ставлення не входить в схему

ВІСНИК Кольського наукового центру РАН 4/2015 (23)

Інтерпретація концептуальної моделі ...

СКМ, оскільки, на відміну від відносин Н, ОР і РВ, не ставить за користувачем при конструюванні моделі, а формується автоматично.

Відносини, певні в моделі, зручно представляти у формі функцій (7), частково визначених на множинах О і Р, з областями значень В (Р), B (O) або В "(Про). Назви

функцій позначені малими символами, відповідними прописних символів в назвах відносин:

h: ° б_1 ^ B "(Oa), (Vo ;. Е06, Vo! е ° б_Hoj = hб (o)) оojHbог); op. O ^ B (p ^ (Vo е O, Vp е р) (( р; = opio)) «■ o, Opp]);

Po.p ^ b (0), (vo е O, VP] е p) ((o = po (P])) «P] OPot);

oa: O ^ B (P), (VOi е O, Vp) е P) ((p) = oa (ot)) otOAp));

: P ^ B (Res \ (vPi е p, Vres] е Res) ((res] = up (pi)) ptUpres]);

: O ^ B (Res), (Vo1 е O, VreSj е Res) ((resj = uo (o1)) o1Uo resj).

Безлічі значень функцій (7), що формують перетину областей значень введених відносин по деякому елементу областей їх визначення, позначаються жирним шрифтом:

h6 (oi) :: = \ Р]: o] = ha (oi)); oP (oi) :: = \ Р]: Р] = oP (oi));

ро (Р]) :: = (o: oi = po (p])); oci (pi) :: = ^. p) = oa (oi)); (8)

up (Pi) :: = \ res]: res] = up (Pi)); uo (o) :: = \ res]: res] = uo (o)).

Аналогічно (8) записуються перетину введених відносин по підмножини їх областей визначення, що будуються як об'єднання всіх перерізів за елементами цих підмножин. Наприклад, h (Oi), де Oi з O6_х, є безліч об'єктів рівня а, домінованих даними підмножиною об'єктів oj е O t, які знаходяться на рівні а - 1.

Нижче також використовується безліч підпорядкованості об'єкта oi h '(oi) :: = U h (oi).

Розроблені алгоритми присвоєння категорій елементів СКМ використовують вищеописані відносини і виявляють всі можливі помилки категорізірованію елементів моделі. Процедури контролю правильності призначень виконавців елементів СКМ використовують такі обмеження (докази дані в).

Теорема 1. У кінцевій СКМ не може мати місця рекурсивна декомпозиція типів виконавців об'єктів, тобто жоден об'єкт, що входить в безліч підпорядкованості деякого об'єкту, не може мати виконавця того ж типу, що й вихідний об'єкт.

Теорема 2. У кінцевій СКМ не може мати місця інверсія підпорядкованості виконавців об'єктів, тобто жоден об'єкт, що входить в безліч підпорядкованості деякого об'єкта з виконавцем типу е1, не може мати виконавця того ж типу, що й будь-який інший об'єкт, в безлічі підпорядкованості якого міститься який-небудь об'єкт з виконавцем типу е1.

Принципи контролю можливості розв'язання СКМ

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

ВІСНИК Кольського наукового центру РАН 4/2015 (23)

А Я. Фрідман

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

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

символи, що позначають елементи моделі (pi, on, resj, ...);

функціональні символи, що описують відносини і зв'язки між елементами моделі (ha, ор ...);

спеціальні та синтаксичні символи (=, (,), ^, ...).

Безліч формул в розглянутій формальної системі утворюють: власне символи, що позначають елементи КМПО:

(Pi е P) u (Oj eO] u (resk e DCM); (9)

вираження (7), (8) та інші формули для обчислення функцій і множин, що визначаються за допомогою відносин, які введені над множинами (5);

вираження обчислюваності для кожного процесу концептуальної моделі:

list_in (pi) \ list out (pi), Up (pi) [, sp)] ^ p "list_out (p,), (10)

де в силу прийнятого в ССМ припущення про автономність структури кожного об'єкта в безліч s (p) процесів, що передують pi, можуть входити тільки процеси, приписані до того ж об'єкту:

s (pi) з оа (оа "1 (р1)); (11)

вираження обчислюваності для кожного об'єкта концептуальної моделі: list_in (oi), up (Oj), оа (о,), h (o,) ^ oi, list_out (oi); (12)

вираження обчислюваності вхідних даних кожного об'єкта концептуальної моделі, що одержує матеріальні ресурси від інших об'єктів (ог: oo (o) Ф 0):

00 (0,) ^ list_in (oi). (13)

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

Додаткового обґрунтування вимагає перша передумова пропозиції (10). Як відомо, при наявності циклів по ресурсам в предметної області можуть з'являтися дані, які при побудові концептуальної моделі повинні декларуватися як вхідні та вихідні для деякого процесу КМПО одночасно. За прийнятим в ССМ припущенням такі цикли вносяться всередину об'єктів КМПО, тобто повинні враховуватися при аналізі можливості розв'язання на рівні процесів.

Якщо при аналізі можливості розв'язання СКМ використовувати вираз обчислюваності, запропоноване в і приймає для СКМ вид:

list_in (p,) & up (p,) [& s (p,)] ^ p, & list_out (p,), (14)

ВІСНИК Кольського наукового центру РАН 4/2015 (23)

Інтерпретація концептуальної моделі ...

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

Теорема 3. Ресурс, одночасно вхідний і вихідний для одного і того ж процесу СКМ і не є вихідним ні для одного з попередніх йому процесів, пов'язаних із зазначеним процесом ставленням породження процесів (13), можна виключити з лівої частини пропозиції обчислюваності без порушення коректності аналізу можливості розв'язання моделі.

Під безліч аксіом даної формальної системи входять:

аксіоми обчислюваності всіх ресурсів, що відносяться до зовнішніх даних (які мають виконавців типу DB, GISE або GEN)

| - resj: (ter (resj) = DB) v (ter (resj) = GISE) v (tS [(resJ) = GEN); (15)

аксіоми обчислюваності всіх ГІС-елементів СКМ (типи яких починаються символами dot, pol або arc)

| - 0J:<х>dot) v (to (o /) Ю pol) V (to (oj) Ю arcX (16)

де символом умовно позначено входження стандартних ГІС-типів в функціональний тип об'єкта.

У розглянутій формальної системі задані два правила виведення:

правило безпосереднього проходження -

Fi, Fi ^ F2 | - F2; (17)

правило слідування з рівністю -

Fi, Fi = F2, F2 ^ F3 | - F3, (18)

де F, - деякі формули з (9) - (13).

Структура описаної формальної системи аналогічна структурі системи, запропонованої в. Істотна відмінність - вид виразів обчислюваності (10), (12), (13) і склад аксіом, на основі яких проводиться аналіз можливості розв'язання концептуальної моделі.

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

Визначення 1. СКМ можна вирішити тоді і тільки тоді, коли для кожного елемента моделі, що не входить в безліч аксіом, застосування виразів обчислюваності виду (10), (12), (13) до аксіом і вже доведеним формулами (безлічі теорем T) дозволяє побудувати висновок із застосуванням правил (17), (18) з безлічі аксіом (A) формальної системи (9) - (13).

При аналізі можливості розв'язання, який, згідно з визначенням 1, являє собою різновид методів автоматичного доведення теорем, використовується поняття «механізм виведення», в даному випадку воно розуміється як спосіб, алгоритм застосування правил виведення (17), (18), що забезпечує ефективне доказ всій необхідної сукупності формул з безлічі T теорем (тобто синтаксично правильно побудованих формул) розглянутої формальної системи. Найбільш простий спосіб організації виведення - «потоковий» механізм, при якому безліч вважаються доведеними формул A ", спочатку рівне безлічі аксіом (A1 = A), розширюється в результаті застосування правил виведення. Якщо після закінчення деякого часу T з A", то модель можна вирішити , якщо це не так і не вдається застосувати жодне з правил, то СКМ нерозв'язна.

ВІСНИК Кольського наукового центру РАН 4/2015 (23)

А Я. Фрідман

Як стратегії докази, використовуваної при аналізі концептуальної моделі загального вигляду, запропонована стратегія знизу-вгору, що складається в циклічному виконанні наступних етапів.

Етап I. Застосовується правило (17) для отримання всіх можливих наслідків з формул і аксіом.

Етап II. Застосовуються правила (17), (18) для отримання всіх можливих наслідків з аксіом і отриманих на попередньому етапі докази формул.

Етап III. Застосовується правило (13) для розширення списку вважаються обчислюваних об'єктів.

Доведено, що для побудованих за описаними вище правилами коректних концептуальних моделей аналіз можливості розв'язання моделі в цілому зводиться до аналізу можливості розв'язання окремих входять до її складу шаблонів процесів категорії INTRA і процесів агрегування.

Обробка ситуацій

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

Наявність процедур узагальнення, заснованих на структурі відносин між елементами ситуацій;

Можливість роботи з іменами окремих понять і ситуацій;

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

Для реалізації перерахованих принципів класифікації та узагальнення ситуацій в ССМ передбачений ряд програмних засобів:

Апарат синтезу та аналізу типів ситуацій, зокрема, оптимальних достатніх ситуацій, орієнтований на вирішення питань координації та узгодження дій, що управляють на різних рівнях СКМ;

Інструментальні засоби породження і перевірки гіпотез про порівняльних характеристиках достатніх ситуацій в рамках ймовірнісної інтерпретації цих гіпотез з урахуванням впливу інструментальних похибок вихідних даних на результати моделювання;

Процедури узагальнення описів ситуацій з урахуванням пространственновременних відносин між елементами ситуацій, що використовують бібліотеку пространственновременних функцій (ПЗФ).

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

ВІСНИК Кольського наукового центру РАН 4/2015 (23)

Інтерпретація концептуальної моделі ...

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

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

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

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

ВІСНИК Кольського наукового центру РАН 4/2015 (23)

А Я. Фрідман

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

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

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

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

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

Все ПЗФ мають вихід логічного типу, тобто повертають відповідь «так» або «ні» в результаті аналізу входить до них логічного умови. Розроблено два види тимчасових і три види просторових функцій.

ВІСНИК Кольського наукового центру РАН 4/2015 (23)

Інтерпретація концептуальної моделі ...

Тимчасова функція ІНТЕРВАЛ підтримує вибірку ретроспективних даних за певний проміжок часу, її синтаксис такий:

протягом (<условие>,<начало>,<конец>,<доля>), (19)

де<условие>може мати вигляд:

<имя> <знак> <подсписок_значений (n)>, (20)

воно визначає контрольовану характеристику елемента масиву;

<начало>і<конец>задають відповідно початковий і кінцевий моменти інтервалу перевірки (їх отстояние в минуле від теперішнього моменту часу);

<доля>визначає мінімальний допустимий відсоток (кількість) елементів серед усіх аналізованих, які повинні задовольняти<условию>, Щоб функція (19) дала ствердну відповідь на запит.

Якщо введено нульове значення параметра<начало>, Проводиться аналіз всієї наявної інформації до моменту часу<конец>. Аналогічно, при нульовому значенні параметра<конец>, Аналізуються дані від моменту<начало>до поточного моменту часу. При збігу величин<начало>і<конец>розглядається тільки один момент часу в минулому.

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

до заданого в запиті моменту часу:

момент (<условие>,<время>,<доля>), (21)

де<условие>і<доля>формуються аналогічно функції (19), а<время>- фіксований момент часу, для якого проводиться операція.

Просторові функції записуються в формі:

сусідні (<условие>,<доля>) (22)

подібні (<условие>,<доля>,<параметры_сходства>). (23)

параметри<условие>і<доля>задаються як у функціях (19), (21); відмінність між видами просторових функцій полягає в критерії відбору елементів для спільного аналізу: в функції (22) аналізуються елементи, що примикають до поточного геометрично, в функції (23) відбираються елементи, що мають однакові з поточним елементом значення<параметров_сходства>, Які обирають зі списку імен існуючих параметрів і змінних. Наприклад, в додатку ССМ до задачі прогнозування гірських ударів<параметр_сходства>мав ім'я «розлом» і використовувався для спільного аналізу характеристик елементів об'єкта, що належать до тектонічному розлому.

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

найближчий (<условие>,<координаты>,<допуск>), (24)

де параметр<условие>має вже описаний сенс, параметр<координаты>описує просторові характеристики точки прив'язки, параметр<допуск>задає допустиме видалення по просторовим координатам від зазначеної точки.

ПЗФ можна використовувати тільки в частинах ЯКЩО правил і керуючих формул ЕС. Так як всі ПЗФ мають вихід логічного типу, допускається одноразова вкладеність різних ПЗФ один в одного, тобто запити виду

сусідні (подібні (<условие>,<доля1>,<параметры_сходства>),<доля2>). (25)

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

ВІСНИК Кольського наукового центру РАН 4/2015 (23)

А Я. Фрідман

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

Описані вище ПЗФ забезпечують аналіз досить широкого класу

просторово-тимчасові "х співвідношень між характеристиками елементів об'єкта експертизи, проте в залежності від специфіки предметної області можлива розробка і інших ПЗФ.

На відміну від правил, що генеруються при узагальненні ситуацій по їх типам, правила узагальнення розглянутої тут групи відносяться не до ситуації в цілому, а до окремих об'єктів, процесів або навіть ресурсів СКМ. В слоти ПЗФ<условие>

і<параметры_сходства>можна включати логічні умови і різні характеристики елементів СКМ, в тому числі типи і категорії цих елементів. У ССМ не передбачено автоматичних процедур генерації подібних правил, вони конструюються користувачем, і ймовірності в них перераховуються в ході класифікації аналогічно викладеному вище.

висновок

На основі введених формальних визначень різних видів ситуацій, що виникають при моделюванні СДО, розроблена його ієрархічна модель, що включає: формальну систему - СКМ і інтегровану з нею ЕС - з безліччю базових елементів (7) - (10), набором синтаксичних правил породження одних елементів СКМ іншими у вигляді відносин типу (7), (8), системою аксіом (15), (16) і правилами виведення (17), (18), а також правила зміни компонентів цієї формальної системи в залежності від цілей моделювання і сформованої на об'єкті дослідження ситуації, що задаються за допомогою вибору відповідних фрагментів СКМ і управління виводу в ЕС ССМ. СКМ належить до семиотическим (знаковим) моделям, оскільки в ній розроблені три групи логікотрансформаціонних правил - поповнення, класифікації та узагальнення ситуацій.

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

ЛІТЕРАТУРА

1. Кузьмін І.А., Путілов В.А., Фільчаков В.В. Розподілена обробка інформації в наукових дослідженнях. Л .: Наука, 1991. 304 с. 2. Цікрітзіса Д., Лоховскі Ф. Моделі даних. М .: Фінанси і статистика, 1985. 420 с. 3. Самарський А.А. Введення в чисельні методи. М .: Наука, 1987. 288 с. 4. Бржезовскій А.В., Фільчаков В.В. Концептуальний аналіз обчислювальних систем. СПб .: ЛІАП, 1991. 78 с. 5. Фрідман А.Я. Ситуаційне управління структурою промислово-природних систем. Методи і моделі. Saarbrucken, Germany: LAP LAMBERT Academic Publishing, 2015. 530 с. 6. Поспелов Д.А. Ситуаційне управління: теорія і практика. М .: Наука, 1986. 288 с. 7. Мітчел Е. Керівництво ESRI по ГІС-аналізу. 1999. Т. 1. 190 с.

8. Концептуальне моделювання інформаційних систем / під ред. В.В. Фільчакова. СПб .: СПВУРЕ ППО, 1998. 356 c. 9. Автоматичне породження гіпотез в інтелектуальних системах / уклад. Е.С. Панкратова, В.К. Фінн. М .: ЛИБРОКОМ, 2009. 528 с. 10. Darwiche A. Modeling and Reasoning with Bayesian Networks. Cambridge University Press, 2009. 526 p.

Фрідман Олександр Якович - д.т.н., професор, провідний науковий співробітник Інституту інформатики і математичного моделювання КНЦ РАН; e-mail: [Email protected] kolasc.net.ru

ВІСНИК Кольського наукового центру РАН 4/2015 (23)

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

Динамічна система як математичний об'єкт містить в своєму описі такі механізми:

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

Аргументами вхідних і вихідних сигналів системи можуть служити час, просторові координати, а також деякі змінні, використовувані в перетвореннях Лапласа, Фур'є та інших.

У найпростішому випадку оператор системи перетворює векторну функцію Х (t) в векторну функцію Y (t). Моделі такого типу називаються динамічними (тимчасовими).

Динамічні моделі діляться на стаціонарні, коли структура і властивості оператора W (t) не змінюються з часом, і на нестаціонарні.

Реакція стаціонарної системи на будь-який сигнал залежить тільки від інтервалу часу між моментом початку дії вхідного обурення і даними моментом часу. Процес перетворення вхідних сигналів не залежить від зсуву вхідних сигналів в часі.

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

Динамічні моделі діляться на моделі безінерційних і інерційних (моделі з запізненням) систем.

Безінерційні моделі відповідають системам, в яких оператор W визначає залежність вихідних величин від вхідних в один і той же момент часу - y = W (Х, t).

У інерційних системах значення вихідних параметрів залежать не тільки від справжніх, а й попередніх значень змінних

Y = W (Z, ХT, ХT-1, ..., ХT-k).

Інерційні моделі ще називають моделями з пам'яттю. Оператор перетворень може містити параметри, які зазвичай невідомі - Y = W (, Z, Х), де = (1,2, ..., k) - вектор параметрів.

Найважливішою ознакою структури оператора є лінійність або нелінійність по відношенню до вхідних сигналів.

Для лінійних систем завжди справедливий принцип суперпозиції, який полягає в тому, що лінійної комбінації довільних вхідних сигналів ставиться у відповідність та ж лінійна комбінація сигналів на виході системи

Математичну модель з використанням лінійного оператора можна записати у вигляді Y = WХ.

Якщо умова (2.1) не виконується, модель називається нелінійної.

Класифікуються динамічні моделі відповідно до того, які математичні операції використовуються в операторі. Можна виділити: алгебраїчні, функціональні (типу інтеграла згортки), диференціальні, звичайно-різницеві моделі та ін.

Одновимірної моделлю називається така, у якій і вхідний сигнал, і відгук одночасно є величинами скалярними.

Залежно від розмірності параметра моделі поділяються на одно- і багатопараметричні. Класифікація моделей може бути продовжена також в залежності від видів вхідних і вихідних сигналів.

інформації

Особливості просторово-часової

ЗВ'ЯЗКУ ПОКАЗНИКІВ

Багатофакторний ДИНАМІЧНІ МОДЕЛІ

Багатофакторні динамічні моделі зв'язку показників будуються по просторово-тимчасовим вибірках, Які представляють собою безліч даних про значеннях ознак сукупності об'єктів за ряд періодів (моментів) часу.

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

динамічні вибіркиутворюються за допомогою об'єднання динамічних рядів окремих об'єктів в разі тривалої передісторії, Тобто великих вибірок.

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

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

динамічні моделі зв'язкупоказників можуть бути:

· Просторовими, тобто моделирующими зв'язку показників по всіх об'єктах, що розглядаються в певний момент (інтервал) часу;

· Динамічними, які будуються за сукупністю реалізацій одного об'єкта за всі періоди (моменти) часу;

· Просторово-динамічними, які формуються по всіх об'єктах за всі періоди (моменти) часу.

моделі динамікипоказателейгруппіруют за такими видами:

1) одномерниемоделі динаміки: характеризуються як моделі деякого показника даного об'єкта;

2) багатовимірні моделі динаміки одного об'єкта: моделюють кілька показників об'єкта;

3) багатовимірні моделі динаміки сукупності об'єктів : моделюють кілька показників системи об'єктів.

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

Можна виділити основні завдання використання просторово-часової інформації.

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

2. У разі тривалої передісторії: апроксимація закономірностей зміни показників з метою пояснення їх поведінки і прогнозування можливих станів.

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

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

де - просторово зважене середнє значення

Нехай і - постійні, - елемент площі, що оточує точку Q, і - невід'ємні ваговий коефіцієнт.

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

Описана модель дозволяє досить далеко просунути математичні дослідження. Можна показати (з однією-двома застереженнями), що пандемія охопить всю площину в тому і тільки в тому випадку, якщо щільність популяції перевищує порогове значення. Якщо пандемія виникла, то її інтенсивність визначається єдиним позитивним коренем рівняння

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

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

де не просторові координати] і

Для початкового періоду, коли можна наближено вважати постійною величиною, друге рівняння системи (9.56) набуде вигляду

Це стандартне рівняння дифузії, рішення якого має вигляд

де постійна С залежить від початкових умов.

Загальна кількість заражених індивідуумів, що знаходяться поза колом радіусом R, так само

отже,

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

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

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

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

Очевидно, що вибір схеми довільний, проте в нашій роботі використовувалося останнім розташування.

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

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

Таблиця 9. Просторова стохастична модель простий епідемії, побудована на решітці 21x21

У табл. 9 наведені результати, отримані для решітки при наявності одного вихідного джерела інфекції та ймовірності достатнього контакту, рівній 0,6. Можна бачити, що між першим і десятим етапами епідемії середнє число нових випадків кожен раз збільшується приблизно на 7,5. Після цього починає переважати крайової ефект, і епідемічна крива різко падає вниз.

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

Тут ми маємо послідовність розподілів, моди яких збільшуються в лінійній прогресії, а дисперсія безперервно зростає.

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




Сподобалася стаття? поділіться їй