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

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

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

Рассмотрены алгебраические средства спецификации информационных моделей. Описана семантика структурированных имен на языках программирования. Приведены примеры структурирования данных и сравнения особенностей реализации в различных системах программирования. Раскрыты некоторые характеристики построения платформно-независимых программ. Изложен подход к организации работы WAP-шлюза в многопроцессорных вычислительных системах. Особое внимание уделено проблеме создания скоростных компьютерных сетей, предназначенных для поддержки технологий колаборативного обучения в режиме он-лайн. Проанализированы общие характеристики служб интерактивного общения, которые могут использоваться при разработке систем дистанционного он-лайн обучения, систем видеоконференций с использованием современных систем передачи, приема и обработки видео- и аудиоинформации. Освещены теоретические и информационные аспекты построения компьютерной лексикографической картотеки. Рассмотрены проблемы и перспективы создания транспортной платформы интеллектуальных сетей как основного технического базиса для обеспечения инфраструктуры информатизации Украины. Описаны особенности создания транспортной платформы, необходимые для передачи мультимедийного трафика сквозь широкополосную первичную телекоммуникационную связь.

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

Рассмотрены вопросы моделирования диспетчера доступа в защищенных компьютерных системах, создания серверной системы управления базой данных, поддерживающей сетевую модель данных, на базе локальной, а также использования эволюционных методов в процессе построения нейронных сетей для обработки знаний. Представлены модель автоматизированной системы преобразования документов на объекты информационных систем, грамматическая модель преобразования EDIFACT-сообщений на XML-документы. Изложен подход к построению инструментария поддержки электронного издательства. Проанализирована он-лайновая система прогнозирования обменных курсов валют.

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

Розглянуто базові концепції та основні підходи до доцільного використання мобільних пристроїв у комп'ютерних системах підтримки дистанційного навчання за допомогою спеціально розроблених на базі технології J2ME (конфігурації CDLC із застосуванням профілю MIDP) програмних комплексів клієнт-серверного типу. Проілюстровано реалізацію підходу на прикладі підсистеми тестування. Моделювання зв'язку "клієнт - сервер" проведено push-моделлю. Всі питання обміну повідомленнями винесено в окремі класи клієнтського і серверного конекторів. Ефективно розв'язано основну проблему передачі та одержання даних між мобільним пристроєм і системою.

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

На підставі описаного у стандарті ISO 9735 набору нотацій синтаксису EDIFACT-мови побудовано контекстно-вільну граматику для перевірки EDIFACT-повідомлень. Розроблено механізм перетворення дерева граматичного розбору EDIFACT-повідомлення на відповідні XML-схему і XML-повідомлення, погоджений з описаними у стандарті ISO/TS 20625:2002 правилами генерації XML-схем.

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

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

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

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

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

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

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

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

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

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

Розглянуто концепції та підходи до створення клієнт-серверної системи керування базою данних (СКБД), що підтримує сіткову модель даних, на базі локальної моделі, для реалізації якої використовується СКБД dbVista. Наведено схеми реалізації серверної СКБД на платформі Windows NT, де використовуються пойменовані канали та сервіси операційної системи. Показано універсальність запропонованого підходу, що дає змогу за такими самими принципами без великих витрат створити такого типу серверну СКБД на іншій платформі. Розроблена СКБД є одним із основних компонентів АС Деймос (проектування корпусу судна), в якій раніше використовувалася локальна СКБД dbVista. Експлуатація протягом дев'яти місяців серверу, до якого приєднані 25 клієнтів, засвідчила його надійність і прийнятні часові характеристики.

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

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