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

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

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

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

Формальная модель структуры событий направлена на описания поведения конкурирующих и распределенных систем. Преимущество таких структур событий в том, что они являются естественным способом представления всех отношений (причинность, конкурентность, конфликт) между событиями в структуре. Однако в такой модели не принимается во внимание временные аспекты поведения системы. В работе вводятся и исследуются временные структуры событий и их эквивалентности.

Ключ. слова: криптографія, методи шифрування інформації, рекурентні послідовності, спеціалізовані процесори
Індекс рубрикатора НБУВ: З970.7-048 + З970.403

Рубрики:

Спеціалізовані обчислювальні системи

Шифрування даних

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

Розглянуто розроблений із застосуванням системи керування базою даних ORACLE Інтегрований банк даних обліку кримінальної інформації.

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

Is reviewed designed with applying of a DBMS ORACLE the Integrated data bank of the registration of the criminal information

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

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

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

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

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

Запропоновано теорію створення економічних високопродуктивних спеціалізованих цифрових обчислювачів із гнучкою архітектурою для швидкої обробки великих інформаційних масивів на основі нейромережного підходу на базі нейромережі CMAC (Cerebellar Model Articulator Controller), методів і засобів сплайн-апроксимації та функціональної регенерації. Наведено методи практичної економічної реалізації нового покоління обчислювальних структур на базі традиційних для України технологій. Увагу приділено спеціалізованим процесорам для колориметричної обробки зображень, методам і технічним засобам збільшення точності формування зображень на растрових засобах візуалізації, базовим структурам відеопроцесорів.

Предложена теория создания экономических высокопродуктивных специализированных цифровых вычислителей с гибкой архитектурой для быстрой обработки больших информационных массивов на основе нейросетевого подхода на базе нейросети CMAC (Cerebellar Model Articulator Controller), методов и средств сплайн-аппроксимации и функциональной регенерации. Приведены методы практической экономической реализации нового поколения вычислительных структур на базе традиционных для Украины технологий. Уделено внимание специализированным процессорам для колориметрической обработки изображений, методам и техническим средствам повышения точности формирования изображений на растровых средствах визуализации, базовым структурам видеопроцессоров.

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

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

Specialized computational modules test diagnostics peculiarities are discussed with respect to the architectural aspects, timing and parametric features of digital test vectors generation subsystem. The offered approach enables to build a scalable andreconfigurable architecture with permanent base control part. Test conditions for modules, utilizing standard data interfaces are given.

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

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

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

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

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

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

Розглянуто специфіку керуючої обчислювальної техніки (ОТ) та її стан в Україні; проблему - виробляти чи закуповувати ?; недоліки і проблеми, властиві виробництву та використанню вітчизняної керуючої ОТ, можливі шляхи розвитку керуючої ОТ та розв'язання проблем. Запропоновано два етапи в розвитку керуючої ОТ і забезпеченні її конкурентоздатності, відповідні наукові, виробничі та організаційні заходи. Розглянуто розробки з нового перспективного напряму систем реального часу - інтелектуальних відеокомп'ютерних пристроїв і систем - та їх перспективи.