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

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

Індекс рубрикатора НБУВ: З810.22 + З973-018

Рубрики:

Нейронні мережі

Комп'ютери та програмування

Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ 

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

Індекс рубрикатора НБУВ: З970.31-018.4

Рубрики:

Комп'ютерні мережі

Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ 

Індекс рубрикатора НБУВ: Ч311.253 + З970.826

Рубрики:

Програмоване навчання в галузі загальної педагогіки

Системи автоматизованого навчання (АСН)

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

Предложен вариант упрощенной инфраструктуры для модель-ориентированной разработки больших программных систем. База построения - первичное представление модели в виде доменно-зависимого XML-формата. Модель имеет максимально компактное представление, допускает использование развитых средств изменения и расширения, позволяет легко определить трансформации для преобразования созданных доменно-зависимых моделей в любые другие модели (например, UML). Использование XSL для описания трансформаций дает возможность эффективно организовывать как вертикальные трансформации с произвольным количеством слоев абстракции, так и горизонтальные; создает оптимальные условия для командной работы.

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

Описана концепция построения программной системы поддержки электронного обучения на основе агентной технологии, разработанная в рамках проекта создания программных средств поддержки колаборативного обучения в Киево-Могилянской академии. В основу системы положен принцип учебного взаимодействия.

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

Рассмотрено применение методологии создания развитых Интернет-программ на основе Adobe Flex 2.0 с применением паттернов проектирования и архитектурного каркаса. Подход проиллюстрирован построением виджет-программ.

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

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

Індекс рубрикатора НБУВ: Ч311.284

Рубрики:

Тести успішності в галузі загальної педагогіки

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

Індекс рубрикатора НБУВ: З973-018

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

Представлен аналитический обзор современных результатов, связанных с созданием семантического Weba и целого ряда проблем, систем, технологий, активно разрабатываемых в общем направлении развития Интернета. Особое внимание уделяется исследованиям онтологии и Wiki технологиям.

Описано использование преимуществ функционального языка программирования Erlang для построения распределенных вычислений в веб-среде на примере разработки поискового робота.

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

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

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