Рассмотрены новые более эффективные алгоритмы трансформации байесовских сетей в узловое дерево, полученные в результате модификации известных алгоритмов, состоящей во введении некоторой дополнительной структуры данных для ...
Композиция Веб-сервисов вызывает значительный интерес в контексте проблематики семантической Веб-сети. Ее цели заключаются в том, чтобы сделать существующий Веб более эффективным и обеспечить гибкий подход к управлению ...
Рассматриваются вопросы построения распределенных программных систем, в частности, Grid-систем обработки данных
наблюдения Земли. При этом особое внимание уделяется анализу предметной области, а также подходам к анализу ...
Описаны общие принципы подхода, позволяющего определять требования качества к программной системе на основе оценок, дан-ных заинтересованными лицами в ходе их интерактивного взаимодействия с имитационной моделью или ...
Актуальное современное направление, связанное с извлечением знаний из данных, во многом является применением методов
классификации и распознавания образов. Традиционная постановка задачи классификации предполагает ...
Изложена схема преобразования сортировки Хоара в параллельную форму с помощью матриц сравнения. В параллельной форме сортировка устойчива и устанавливает взаимно однозначное соответствие между входными и выходными индексами ...
Описана система переписывания термов TermWare и ее применение к задачам анализа и преобразования исходного кода. Особенностью подхода является комбинирование декларативного и императивного стилей программирования и построение ...
Рассматриваются общие принципы разработки и функционирования систем передачи и обработки сообщений в реальном времени, проблемы, возникающие при разработке и сопровождении таких систем и возможные пути их решения. Предлагается ...
Доказываются тезисы экзистонности, компаундности, полиадности и полноты. Обосновывается их согласованность с принципом обратимости. Строятся программологические основания сущностной платформы.
Розглядаються можливості використання технологій мультимедіа в електронному навчанні. Особливу увагу звернуто до проблеми
синхронізації мультимедійних метеріалів різних форматів в електронних лекціях.
Представлено створені в Інституті кібернетики ім. В.М. Глушкова програмні засоби для аналізу взаємозв’язку бюджетно-
податкової та грошово-кредитної політики у системі регулювання міжбюджетних відносин. Продемонстровано ...
У багатьох випадках, коли не вдається в автоматичному режимі побудувати схеми розкрою, які б задовольняли технологічним вимогам, доводиться одержані схеми коригувати в інтерактивному режимі. Запропоновано алгоритм ...
В роботі зроблено спробу окреслити місце інформатики у колі природничих наук. Пропонується визначення предмета та деяких основних понять інформатики. На основі введеної термінології зроблено стислий огляд історії становлення ...
В работе рассмотрена проблема противодействия атакам на отказ в сети Интернет. Рассмотрен этап построения модели сетевых взаимодействий. Проведен обзор существующих инструментов создания моделей и выполнен их сравнительный анализ
Робота присвячена дослідженню одного з типів вторгнень через мережу Інтернет – атакам на відмову. Описана історія виникнення проблеми та причини, що зумовили її появу. Проведено огляд існуючих видів атак. Розглянута загальна ...
Запропоновано новий метод в області інформаційних технологій по наданню локальних послуг через безшовну інтеграцію мобільних пристроїв. Підхід базується на класі протоколів XDEP (XML data exchange protocol). Основним ...
Разработан программный комплекс для автоматической проверки динамических свойств формальных моделей и построения
тестовых сценариев. Описаны методы направленного поиска, а так же методы оптимизации обхода пространства поведения.
В связи с широким распространением в научной среде проектов на базе разнообразных Grid-платформ актуальной становится проблема их эффективного совместного использования. Существенным ограничением на этом пути является, в ...
На прикладі продемонстрована можливість формалізованого переходу від алгоритму до програми за рахунок розвитку і використання засобів розширеної системи алгоритмічних ал-гебр. Показано можливості перетворення отриманої ...
Рассмотрен метод управляемой объектом реинженерии наследуемого программного обеспечения, ориентированный на использование в области разработки информационно-моделирующих комплексов. Применение метода показано на примере ...