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

Розглянуто питання створення розподіленої системи моделювання з використанням формального апарату Е-мереж у рамках теорії агрегатів. Технологічною базою реалізації є специфікація CORBA із застосуванням пакета інструментальних засобів ACE/TAO. Оцінку спроможності створеної системи імітаційного моделювання здійснено на прикладі розробки та дослідження моделі системи масового обслуговування.

Рассматривается формальная модель распределенной системы имитационного моделирования (РСИМ). В качестве аппарата формализации предлагается использовать аппарат E-сетей. В качестве базовой методологии реализации РСИМ принимается объектный подход. Рассматривается разработанная на основе этого подхода распределенная система имитационного моделирования, которая позволяет инвариантно подходить к моделированию ряда систем независимо от предметной области их применения.

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

Рубрики:

Автоматика

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

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

Висвітлено основні концепції об'єктно-орієнтованого програмування й особливості їх реалізації за найбільш поширених умов програмування Smalltalk, C++, Object Pascal і Java. Визначено причини зародження об'єктного підходу у програмуванні. Розкрито суть керування даними у процесі виконання програм. Описано механізм раннього та пізнього зв'язування у C++, специфіку перевизначення та заміщення методів. Розглянуто питання щодо застосування бібліотеки класів мови C++. Наведено приклад використання узагальнених алгоритмів, що будуються з використанням шаблонів.

Освещены основные концепции объектно-ориентированного программирования и особенности их реализации в наиболее распространенных условиях программирования Smalltalk, C++, Object Pascal и Java. Определены причины зарождения объектного подхода в программировании. Раскрыта сущность управления данными при выполнении программ. Описаны механизм раннего и позднего связывания в C++, специфика переопределения и замещения методов. Рассмотрены вопросы о применении библиотеки классов языка C++. Приведен пример использования обобщенных алгоритмов, которые строятся с использованием шаблонов.

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

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

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

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

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

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

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

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

Розглянуто принципи паралельного виконання E-мережевих імітаційних моделей на базі процесо-орієнтованої парадигми та створення алгоритму синхронізації паралельних ділянок у межах консервативного підходу з застосуванням методу запобігання взаємних блокувань на базі NULL-повідомлень. Для досягнення поставленої мети формалізовано алгоритми роботи E-мережевого переходу та планувальника у процесі традиційного послідовного моделювання, виділено паралельні процеси переходів і планувальника, а також розроблено їх формальний опис за допомогою процесної алгебри CSP Т. Хоара.

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

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

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

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

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

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

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