- •В.М.Лачинов а.О.Поляков
- •Інформодинаміка
- •Шлях до Світу відкритих систем
- •Анотація
- •Авторська передмова до другого видання. Від «не термодинамічної» кібернетики до інформодинаміки
- •Vivorum censura difficilis Судження про живих утруднене (лат.)
- •Інтелектуальність складних систем
- •Розділ 1. Інтелектуальні системи і управління
- •1.1. Інтелектуальні системи і інтелектуальне управління
- •1.2. Від строгості математичної символіки до свободи семантики
- •Розділ 2. Основна термінологія
- •2.1. Інженерне поняття інтелекту
- •2.2. Системи і управління
- •2.3. Подання знань і робота з ним
- •2.4. Інформаційна база
- •Розділ 3. Мови і мовні моделі для управління
- •3.1. Мови природні і штучні
- •3.2. Мови управління
- •3.3. Мови контекстно – залежного управління
- •3.4. Формальна система і теорія, що формалізується
- •3.5. Моделювання і реалізація мовних об’єктів
- •3.6. Числення предикатів
- •3.7. Подання проблемної галузі на основі мови предикатів
- •За фон Берталанфі розділ 4. Складність відкритих систем
- •4.1. Необхідність загальної теорії
- •4.2. Дві загальні теорії систем
- •4.3. Ієрархія систем
- •4.4. Нова парадигма управління
- •4.5. Гомеокінетичне плато інтелектуальної системи
- •4.6. Узагальнена функціональна структура ісу
- •4.7. Мови систем і мови управління
- •4.8. Тріаграма систем
- •Інженерія інтелектуальних систем
- •Розділ 5. Реалізація контекстно-залежного управління
- •5.1. Неформальні вимоги
- •5.2. Інженерні проблеми проектування складних систем
- •5.3. Комп’ютер фон Нойманівської архітектури в системах високих рівнів складності
- •5.4. Частотна оцінка
- •5.5. Інформаційна стійкість
- •Розділ 6. Нова архітектура машин
- •6.1. Машини баз знань
- •6.2. Паралельні обчислення з управлінням від потоку даних
- •Розділ 7. Про технологію управління
- •7.1. Врахування динаміки інформаційних потоків
- •7.2. Вбудовування системи автоматизації в структуру об’єкта
- •7.3. Об’єкт в інформаційному середовищі
- •7.4. Проблема декомпозиції об’єкта як складної системи
- •Розділ 8. Інженерія систем “інтелектуальної спрямованості”
- •8.1. Три основні підходи
- •8.2. Перший підхід. Ідеологія операційної системи
- •8.3. Другий підхід. Ідеологія інструментальної системи
- •8.3.2. Ієрархії і процеси.
- •8.3.3. Концепція відкритої субд.
- •8.3.4. Реалізація розкриваності.
- •8.3.5. Уніфіковане подання об’єкта.
- •8.3.6. Інструментальна концепція – технологія qWord
- •8.3.7. Куди поділася семантика?
- •8.3.8. Проблеми баз, що саморозвиваються.
- •8.3.9. Чому “в Cache’-технології”?
- •8.4. Третій підхід. Спеціалізована виробнича операційна система
- •8.5. Самовдосконалення ісу
- •Розділ 9. Проміжні підсумки
- •9.1. Інформація і інформатика. Шлях до феноменології і інформодинаміки
- •9.2. Про реалізованість інформаційної машини відкритого Світу
- •Частина третя узгоджений світ інформодинаміки
- •Розділ 10. Аксіоми відкритого світу
- •10.1. Феномен інформації як предмет науки про відкриті системи
- •10.2. Аксіоми умовчання
- •10.3. Співвідношення невизначеності - 2
- •10.4. Гармонійні шкали
- •10.5. Обговорення гармонійних побудов
- •10.6. Самоорганізація і структурний резонанс
- •10.7. До організації експериментів із виявлення структурного резонансу
- •10.8. Про механізм структурної взаємодії
- •10.9. Від структурної взаємодії до структурного поля
- •10.10. Про аксіоми або ефективні способи обдурити самого себе
- •10.11. Ще раз про аксіоми умовчання
- •10.12. Деякі висновки
- •Розділ 11. Власна структура інформації
- •11.1. Проблеми розробки інструментарію
- •11.2. Топологія вкладених багатовимірних конусів
- •11.3. Закон рекурсії структур, метаструктур і процесів
- •11.4. До питання про елементарну комірку
- •11.5. Деякі кількісні оцінки елементної бази
- •Розділ 12. Теорія структурної узгодженості
- •12.1. Структурна взаємодія і узагальнений принцип комплементарності
- •12.2. Про правила самоорганізації відкритих систем
- •12.3. Деякі наслідки і перспективи
- •12.4. Про деструкцію систем
- •12.5. Правила тсу – похідні
- •12.6. Попереднє обговорення результатів
- •12.7. Про методологію пізнання з позицій тсу
- •12.8. Обговорення тсу
- •Розділ 13. Інформодинаміка
- •13.1. Дещо про аналогії
- •13.2. Від абстрактної машини до самоорганізації потоків
- •13.3. Деякі властивості інформаційної машини
- •13.4. Умови узгодження потоків. Резонатор динамічного структурного поля
- •13.5. Вільне інформаційне поле. Гіпотеза про дві половини Всесвіту
- •13.6. Інформодинаміка – поки без формалізму
- •13.7. Тсу як інструментарій інформодинаміки
- •13.8. Ще раз про аксіоматику
- •Частина четверта
- •Архітектура
- •Відкритих
- •Попередження: обережно, відкриті системи
- •Розділ 14. Вертикальна машина
- •14.1. Концепція вертикальної машини
- •14.2. Структура команд
- •14.3. Програмування і запуск
- •14.4. “Перед прочитанням знищити…”
- •14.5. Що з нею робити?
- •14.6. Імітація вертикальної машини в адресному середовищі
- •Розділ 15. Про фізику відкритого світу
- •15.1. Без “Великого вибуху”
- •15.2. Доповнюваність моделей. Дві половини цілого
- •15.3. Світ як єдина система
- •15.4. Модифікація перетворення Лоренца
- •15.5. Випадок “малих” об’єктів
- •15.6. Структурно-узгоджена космологія
- •15.7. Узгодження структур об’єкта і теорії
- •15.8. Замітки про реалії нової фізики
- •Експерименти в галузі інформодинаміки
- •Можливий варіант генератора поздовжніх електромагнітних хвиль
- •Реконструкція принципу дії нігнітрона
- •Проблема seti
- •Розділ 16. Відповідальність створюючого
- •16.1. Короткий самовчитель не створення тоталітарного суспільства
- •16.2. Неминучість краху і свобода повтору
- •16.3. Роль Віри
- •16.4. Ментагенез
- •16.5. Відповідальність людини
- •Додаток 1 Короткий огляд способів самодеструкції програмних систем або Загальна Демонологія
- •Додаток 2 Про “інфонауки”
- •Про Ейнштейна, релятивізм і інформацію
- •Додаток 3 Повернення до лекції XVII
- •Література
8.3.2. Ієрархії і процеси.
Щоби реалізувати динамічну розкриваність об’єктів треба навести деякий лад у розумінні, що є ієрархія і процеси, і як вони взаємодіють. Написано із цього приводу багато, тому обмежимося лише констатацією деяких важливих фактів.
За ходом відлагодження СУБД і реструктуризації БД ми спостерігаємо як початкові, стартові ієрархії об’єктів і процесів змінюються, більше того фактично саме це зміна і є змістовною частиною реструктуризації – породження нових відношень і процесів.
Відома ідеологія Get Up (GU) і Check Up (CHU) інтерфейсів обслуговує лише два типи процесів, а саме:
слабозв’язані процеси (див. роботи Е. Дейкстра), тобто такі, що не руйнують локальну структуру;
переривання всіх типів, включаючи логічні (псевдоподії за сучасною термінологією), тобто такі, що руйнують локальне середовище і вимагають її відновлення.
Для обслуговування третього, такого, що власне і представляє для нас інтерес типу процесів, а саме, що руйнує глобальне середовище, адекватного формалізму немає, його просто до цих пір і не намагалися створювати. Тому тут ми беремо працю і відповідальність на себе і запроваджуємо третій тип процесів із ідеологією Crash Restore (CRR).
Дуже корисно розглянути, як вийшло, що найважливіший тип процесів, ради якого власне все і робиться, просто не помітили.
Всі проектовані СУБД існують за єдиною “схемою життя”. По-перше, конструюється модель ПЗ. По-друге, ця модель відображається в модель даних (МД) і вже за нею створюються фізичні структури даних. Далі, на практиці, при настанні події, що спричиняє реструктуризацію, працює наступна послідовність:
блокується частина глобального середовища (або все середовище);
проводиться переналагодження моделі даних;
відповідно до перебудованої МД проводиться перезавантаження блокованої частини глобального середовища з переобчисленням елементів (зв’язків, імен, значень тощо., аж до глобальних дескрипторів і цілих структур);
попередній пункт виконується до тих пір, поки не вичерпані можливості МД, чи можливості переобчислення елементів, чи, нарешті, ця процедура не стала занадто дорогою, після чого “життєвий цикл” СУБД завершується і треба проектувати нову СУБД.
Відмітимо тепер, що те ж саме ми спостерігаємо на апаратному рівні при обробці переривання від збоїв шини пам’яті (або блоку). Якщо апаратура забезпечена засобами резервування і деяким механізмом типу “міжблочного кеша”, то вона чинитиме опір збоям, обходячись частковими гарячими перезавантаженнями, до тих пір, поки не будуть вичерпані можливості резервування.
Заперечення про непередбачуваність моменту переривання, тим більше про його “місце” і “зміст, семантику” цілком правомочно і вірно. Просто це не означає, що з глобальним середовищем можна і повинно чинити так само, як і з локальною – інакше навіщо їх виділяти хоча б термінологічно?
8.3.3. Концепція відкритої субд.
Для вирішення проблеми є і такий шлях – відокремити логічну модель даних від моделі організації фізичних записів, зробити їх логічно автономними. Але при цьому, якщо дотримати деякі умови, нам ніщо не перешкодить реалізувати логічну модель у таких же структурах фізичних записів. Це вкрай важливо і методологічно і практично.
Отже, структура СУБД “розкривається дзеркально відносно ПЗ”. Також як із ПЗ виділяється логічна модель (або моделі), в СУБД виникає власне структура БД і структура управління у вигляді динамічно розкриваного об’єкта.
Структура, що реалізує БД, повинна задовольняти наступним вимогам:
відображати (моделювати) потенційно нескінченну множину (різноманіття) логічних моделей даних;
бути скінченою формальною структурою, тобто в процесі реалізації логічних моделей даних у фізичні структури пам’яті не повинно породжуватися логічних колізій. Це, звичайно, не означає, що такі не виникатимуть – вони за визначенням містяться в логічних моделях, а логічні моделі можуть бути взаємно суперечливими.
Відповідною структурою є механізм В*-дерев. Більше того, нами доведено, що цей механізм є “глобально-мінімаксним” {105. У В*-деревах можна змоделювати будь-яку структуру – це здається вже не потребує пояснень, як і той факт, що розріджені масиви суть один із найбільш економічних способів використання пам’яті. Доказ зводиться до наступного. Система В*-моделей завжди залишається неповною, але ефективно поповнюваною. За рахунок неповноти гарантована несуперечність, тобто ця модель не може сама породити колізію, що руйнує глобальне середовище. Навпаки, будь-яка “багатша” логічна модель таку породить неминуче. Для кожного окремого випадку можливо підібрати подання, економічніше, ніж B*-дерева, але воно обов’язково самозруйнується навіть при простому поповненні даних на деякому кроці цього поповнення, тобто БД фізично руйнуватиметься навіть без зовнішньої причини (події), пов’язаної із зміною логіки моделі даних. Звідси виходить ситуація мінімакса – найбільш економічне (в середньому за сукупністю всіх відображень) подання для потенційно нескінченного числа логічних моделей.}. Розкриваність об’єкта (структури, БД, що управляє), що управляє, зводиться до наступного.
Структура повинна містити компоненти:
опису зовнішньої логічної моделі – зовнішнього подання ПЗ;
описи трансляції зовнішнього подання у В*-модель – це засоби розкриття “назовні-всередину”;
описи сукупності логічних моделей і їх взаємодії, тобто засоби роботи з декількома логічними моделями чи їх комбінацією;
описи інших зовнішніх логічних моделей для роботи з системами інших концепцій – засоби розкриття “вшир”;
засоби для роботи з вище переліченими описами, тобто інтерфейс користувача – засоби “розкриття до користувача”;
інструментальні засоби для корекції, організації взаємодії і створення описів – управління “засобами розкриття”.
Взагалі кажучи, це і не описи, а деяке подання структури, яка може бути, зокрема, і сама динамічним об’єктом зі всіма його компонентами і властивостями.
Тут ми повинні зробити один з найважливіших практичних висновків. Якщо в такій структурі виникає подія, що сигналізує про руйнування глобального середовища, це означає, що джерело події можна однозначно локалізувати або в “зовнішній”, або в “внутрішній” частині моделі даних того об’єкта, який був в даний момент активний. Далі залишається використовувати відповідні інструментальні засоби і скоректувати модель даних, чи побудувати нову.
Фізичні структури даних одномоментно і аварійно чіпати немає необхідності – це можна зробити як фонову роботу в цілях оптимізації ресурсоспоживання.
Таким чином, реалізація концепції відкритості і є той самий інструмент для обробки процесів CRR типу. Власне, ніякого особливого відкриття тут немає – все за старим рецептом: щоб розділити аварійну і глобальну події треба адекватним чином влаштувати ієрархію структур логічного середовища, тобто розширити опис моделі, визначити деякі імена, ключі і значення як залежні від параметрів, хоча при даному конкретному стані БД вони є просто декларативними значеннями.
При такому підході якась частина даних стане обчислюваною, причому в найзагальнішому сенсі (збирання-розбирання по дереву тощо. – теж обчислення), а це неминуче спричинить за собою витрати (пам’ять, швидкодія) можливо і дуже великі.
Необхідно відзначити наступне. Витрати неминучі у будь-якому випадку, при будь-якому способі розширення моделі даних. Але в нашому випадку їх можна вимірювати, збирати статистику і контролювати (у Cache для цього є вбудовані засоби). Ці витрати ніколи не стануть рости обвально, що неминуче при апріорному завданні метаструктури даних, або при періодичному повторенні процесу проектування структури БД. Фактично це еквівалентно обміну обсягу апаратних затрат на затрати багаторазового відновлення проектування.