Компонентне програмування (КП) є різновидом збирального програмування, де роль елементів зборки відіграє програмний компонент чи компонент повторного використання (КПВ, reuse) й інтерфейс. Для програмування КПВ розроблено теорію моделювання предметної області за об'єктами, подання їх функцій компонентами й інтерфейсами з формальними анотаціями для їх збереження в бібліотеках, необхідних різним програмним системам. Математичний апарат КП - це моделі, методи, алгебра об'єднання і змінювання КПВ, алгебричні системи перебудови типів даних КПВ та моделі варіабельності і взаємодії СПС. Теоретичні аспекти КП автоматизовані на веб-сайті інструментально-технологічного комплексу (http://sestudy.edu-ua.net).

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

Рубрики:

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

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

Розглянуто різні способи описання невизначеної величини, а саме: ймовірнісний, через випадкову величину; можливістний, через нечітку величину, та змішаний, через нечітку випадкову величину. Наведено приклади задач, в яких можна побачити основні схожості та розбіжності способів опису.

Розглянуто 3 моделі нечіткого логічного виведення: нечіткий шаблон, нечіткі нейронні мережі ANFIS і NEFPROX. Показано, що мережа ANFIS надає якісний результат апроксимації, але вимагає навчання великої кількості параметрів та складна для інтерпретації результатів. Мережа NEFPROX зручна для інтерпретації результатів. Модель на основі нечіткого шаблону надає низьку якість апроксимації та складна для інтерпретації результатів.

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

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

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

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

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

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

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

На основе конструктивной структуры предложено унифицированное представление гибридных множественных объектов. Рассмотрены алгебраические свойства и операции над этими объектами.

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

Розглянуто особливості використання Grid-середовища для вирішення різних типів обчислювальних завдань. Визначено вимоги до засобів розробки високорівневих Grid-застосувань та наведено результати дослідження існуючих. Запропоновано розширення архітектури відкритого фреймворку gUSE/WS-PGRADE сервісами оптимізації планування та виконання різних типів завдань у Grid-середовищі шляхом аналізу особливостей структури завдання, стану та QoS рівня ресурсів Grid-мережі.

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

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

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

Проведен системно-онтологический анализ процесса проведения испытаний комплексной системы защиты информации (КСЗИ). Рассмотрены феномен онтологии, методика ее построения, онтологический подход к анализу предметной области исследования. Проведен анализ онтологических моделей проведения предварительных и экспертных испытаний КСЗИ. Рассмотрен фрагмент онтологического графа и глоссарий разрабатываемой онтологии процесса проведения испытаний КСЗИ.

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

Разработан специализированный программно-моделирующий комплекс (МК) для симуляции основных эффектов, выявленных при функционировании автономных механизмов обеспечения баланса между скоростью синтеза (СС) и скоростью потребления (СП) молекул аденозинтрифосфата (АТФ) в виртуальной аэробной клетке (ВАК) при изменениях СП. Основа МК - это двухкомпонентная математическая модель (ММ) реакций митохондрий на дисбаланс между СП и СС. Один компонент ММ описывает зависимость быстрой биохимической регуляции СС при изменениях соотношения концентраций АДФ/АТФ, а второй компонент ММ связывает СС с тотальной площадью митохондрий ВАК. Интерфейс пользователя МК ориентирован на физиолога-исследователя и позволяет настраивать характеристики ВАК для проведения и анализа компьютерных экспериментов. Тестовые исследования выявили адекватность ММ к ВАК. МК является компонентом для включения в разрабатываемый программно-моделирующий комплекс, который будет симулировать физиологические и патологические реакции разномасштабных регуляторов энергетической мега-системы человека.