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