РАДІОЕЛЕКТРОННІ І КОМП’ЮТЕРНІ СИСТЕМИ. – Харків, НАУ ХАІ, 2010. - № 7(48). – 315 с.
РАДИОЭЛЕКТРОННЫЕ И
КОМПЬЮТЕРНЫЕ СИСТЕМЫ. – Харьков, НАУ ХАИ, 2010. -
№ 7(48). – 315 с.
RADIOELECTRONIC AND COMPUTER SYSTEMS. – Kharkiv, NAU KhAI, 2010. – Vol.
7(48). – 315 p.
ЗМIСТ
Гарантоздатність сервіс-орієнтованих систем
С. 13–17
Рассматривается
причинно-следственная модель рынка акций. Приводятся примеры построения частных
универсумов, математическая интерпретация причинно-следственного комплекса
рынка акций. Показано, что описание
причинно-следственного комплекса рынка акций с банками данных элементарных
звеньев и операции над ними является формализованной моделью объекта управления
и диагностирования надежности системы, зависящей от влияния внешней среды,
критических ошибок, сбоя в работе и т.д. Полученные результаты могут использоваться
для выбора управляющего воздействия, оптимизации процессов управления и
увеличения надежности функционирования. Модель потенциально может служить для
диагностирования свойств системы на предмет неисправностей, ошибок,
несоответствий, для выбора путей модификации, оптимизации и выбора стратегий
игры на рынке акций.
Ключевые слова: причинно-следственный
комплекс, причинно-следственный механизм, математическая модель, причина,
следствие, универсум, рынок акций.
ПРИЧИННО-НАСЛІДКОВИЙ КОМПЛЕКС РИНКУ АКЦІЙ
ЯК ОБ'ЄКТ УПРАВЛІННЯ І ДІАГНОСТУВАННЯ
НАДІЙНОСТІ СИСТЕМИ
П.В. Бєлобровий
Розглядається причинно-наслідкова модель ринку
акцій. Наводяться приклади побудови приватних універсумів, математична
інтерпретація причинно-наслідкового комплексу ринку акцій. Показано, що
описання причинно-наслідкового комплексу ринку акцій з банками даних
елементарних ланок і операції над ними є формалізованою моделлю об'єкту
управління і діагностування надійності системи, залежної від впливу зовнішнього
середовища, критичних помилок, збоїв в роботі і т.д. Отримані результати можуть
використовуватися для вибору дії, що управляє, оптимізації процесів управління
і збільшення надійності функціонування. Модель потенційно може служити для
діагностування властивостей системи на предмет несправностей, помилок,
невідповідностей, для вибору шляхів модифікації, оптимізації і вибору стратегій
гри на ринку акцій.
Ключові слова: причинно-наслідковий комплекс,
причинно-наслідковий механізм, математична модель, причина, наслідок,
універсум, ринок акцій.
CAUSE-EFFECT COMPLEX OF THE SHARE MARKET AS THE OBJECT OF MANAGEMENT AND
DIAGNOSING OF SYSTEM RELIABILITY
P.V. Belobrovy
The cause-effect model of the share
market is considered. The examples of construction of particular universes,
mathematical interpretation are given. It is shown, that the description of the
cause-effect complex of the share market with databanks of elementary parts and
operations above them is the formalized model of object of management and
diagnosing of reliability of the system, depended on influence of an
environment, critical mistakes, failure in work, etc. The findings can be used
for a choice of managing influence, optimization of managerial processes and
increase in reliability of functioning. The model can potentially serve for
diagnosing properties of system for malfunctions, mistakes, discrepancies, for
a choice of ways of updating, optimization and a choice of strategy of game in
the share market.
Key words:
cause-effect complex, cause-effect mechanism, mathematical model, universe,
share market.
MULTI VERSION SERVICE ORIENTED ARCHITECHTURES
DEPENDABILITY ANALISYS
С. 18–23
This article is targeted on investigating the
web-services dependability problem and, in particular, the reasonableness of
multi version architecture usage to solve it and guarantee the customer he is
safe while using the web-service. It provides a reader with general information
about web-services architecture, challenges that such architecture faces and
ways of solving such problems. The design of the model used for analysis of
multi version architecture is represented. Results of comparison of different model
configurations are carried out showing the vulnerabilities of each
configuration. The efficiency of multi version service oriented architecture is
proved on a basis of the experimental research.
Key words: web-service, Service Oriented Architecture, SOA,
dependability, vulnerability, intruders, multi-version, majority element, web
server, application server, database management system (DBMS).
АНАЛІЗ ГАРАНТОЗДАТНОСТІ БАГАТОВЕРСІЙНИХ СЕРВІС-ОРЕЄНТОВАНИХ АРХІТЕКТУР
О.С. Гончаров, О.А. Фурманов
Розглядається проблема гарантоздатності
веб-сервісов, зокрема доцільність використовування багатоверсійної архітектурі
для її рішення, тим самим забезпечення безпеки клієнтам під час використання
веб-сервіса. Читачеві надається загальна інформація що до архітектури
веб-сервісів, викликів, що їх стикається така архітектура, та шляхи вирішення
цих проблем. Описано проектування моделі, використовуваної для аналізу
багатоверсійной архітектури. Проіллюстровані результати порівняння різних
конфігурацій моделі, показані вразливості кожної конфігурації. Доводиться
ефективність багатоверсійної сервіс-орієнтованої архітектири на базі
результатів експериментального дослідження.
Ключові слова: веб-сервіс, сервіс-орієнтована архітектура, SOA,
гарантоздатність, вразливість, зломщик, багатоверсійність, мажоритарний
елемент, веб сервер, сервер пристосунків, система управління базами данних.
АНАЛИЗ ГАРАНТОСПОСОБНОСТИ ДИВЕРСНЫХ СЕРВИС-ОРИЕНТИРОВАННЫХ АРХИТЕКТУР
А.С. Гончаров, А.А. Фурманов
Рассматривается проблема гарантоспособности
веб-сервисов, в частности целесообразность использования диверсной архитектуры
для её решения, тем самым обеспечения безопасности клиентам при работе с
веб-сервисом. Читателю предоставляется общая информация об архитектуре
веб-сервисов, вызовах, с которыми сталкивается такая архитектура, и пути
решения этих проблем. Описано проектирование модели, используемой для анализа
диверсной архитектуры. Проиллюстированы результаты сравнения различных
конфигураций модели, показаны уязвимости каждой конфигурации. Доказывается
эффективность диверсной сервис-ориетированной архитектуры на базе
результатов экспериметального
исследования.
Ключевые слова: веб-сервис,
сервис-ориентированная архитектура, SOA, гарантоспособность, уязвимость,
взломщик, диверсный, мажоритарный элемент, веб-сервис, сервер приложений,
система управления базами данных.
Блажко А.А., Левченко А.Ю., Пригожев
А.С.
МОДЕЛИ ДЛЯ АВТОМАТИЗИРОВАНННОЙ ОПТИМИЗАЦИИ ПРОИЗВОДИТЕЛЬНОСТИ СИСТЕМ УПРАВЛЕНИЯ БАЗАМИ ДАННЫХ
С. 24–29
В работе
рассматриваются методы повышения производительности информационных систем,
построенных на базе СУБД. Предлагается использовать метод настройки параметров
СУБД для сокращения времени ответа и уменьшения ресурсоемкости операций по
настройке СУБД. Для выработки управляющих воздействий на СУБД предлагается
структурная параметрическая модель. Для описания структуры базы данных и
поведения пользователя в системе предлагается поведенческая модель. Для
получения значений конфигурационных параметров для СУБД в заданных условиях
функционирования предложено выполнять отображение параметрической модели на
поведенческую модель. Рассмотрена архитектура и алгоримт построения
операционного профиля БД.
Ключевые слова: система управления базой
данных, настройка параметров.
МОДЕЛІ ДЛЯ АВТОМАТИЗИРОВАНННОЙ
ОПТИМІЗАЦІЇ ПРОДУКТИВНОСТІ СИСТЕМ КЕРУВАННЯ БАЗАМИ ДАНИХ
О.А. Блажко, О.Ю. Левченко, О.С. Пригожев
У роботі розглядаються методи підвищення продуктивності інформаційних систем,
побудованих на базі СКБД. Пропонується використовувати метод настроювання
параметрів СКБД для скорочення часу відповіді й зменшення ресурсоємності
операцій по настроюванню СКБД. Для виробітку керуючих впливів на СКБД
пропонується структурна параметрична модель. Для опису структури бази даних і
поведінки користувача в системі пропонується поведінкова модель. Для одержання
значень конфігураційних параметрів для СКБД у заданих умовах функціонування
запропоновано виконувати відображення параметричної моделі на поведінкову
модель. Розглянута архітектура й алгоритми побудови операційного профілю БД.
Ключові
слова: Тестування баз даних ,
налагодження параметрів.
models FOR
AUTOMATED OPTIMIZATION DBMS PERFOMANCE
O.A. Blazhko, O.Yu.
Levchenko, O.S. Prigozhev
We consider the methods to enhance the DBMS
based information systems performance. It is proposed to use the database
parameters setting method to reduce response time and to minimize the
resource-intensive of the database configuring operations. The structural
parametric model proposed to develop control actions on the database. The
behavioral model is proposed to describe the database structure and user
behavior. It is proposed to map the parametric model on behavioral model to
obtain the database configuration parameters values in specified operating
conditions. The architecture and algorithm for database operational profile
constructing is considered.
Key words: DBMS testing, parameters
configuration.
Мащенко Е.Н., Иванченко О.В.,
Смахашева Н.В.
АНАЛИТИКО-СТОХАСТИЧЕСКАЯ МОДЕЛЬ УПРАВЛЕНИЯ ТЕХНИЧЕСКИМ СОСТОЯНИЕМ ИЗДЕЛИЙ КРИТИЧЕСКОГО ПРИМЕНЕНИЯ
С. 30–34
Изложен порядок
разработки и построения математической модели управления техническим состоянием
изделия критического применения (ИКП) с учетом различных режимов
функционального контроля и эксплуатации. Разработана аналитико-стохастическая
модель. Выполнен расчет надежностных характеристик функционирования ИКП.
Представлены соответствующие графики зависимости в различных режимах. Получены
соотношения для расчета значений комплексных показателей надежности, которые
целесообразно использовать для численного обоснования требований к
гарантоспособности ИКП.
Ключевые слова: изделия критического
применения, контроль технического состояния, техническое обслуживание по
состоянию, комплексный показатель надежности.
АНАЛІТИКО-СТОХАСТИЧНА МОДЕЛЬ
УПРАВЛІННЯ ТЕХНІЧНИМ СТАНОМ ВИРОБІВ КРИТИЧНОГО ЗАСТОСУВАННЯ
О.М. Мащенко, О.В. Іванченко, Н.В.
Смахашова
Викладено порядок розробки та побудови математичної моделі управління
технічним станом виробу критичного застосування (ВКЗ) з
урахуванням різних режимів функціонального контролю та експлуатації. Розроблена аналітико-стохастична
модель. Виконаний розрахунок надійностних характеристик функціонування ВКЗ.
Представлені відповідні графіки залежності в різних режимах. Отримано
співвідношення для розрахунку значень комплексних показників надійності, які
доцільно використовувати для чисельного обґрунтування вимог до гарантоздатності
ВКЗ.
Ключові слова: вироби критичного застосування, контроль
технічного стану, технічне обслуговування за станом, комплексні показники
надійності.
analytical and stochastic model of technical state management
of critical product
O.M. Mashenko, O.V. Ivanchenko, N.V. Smachasheva
The order
of development and mathematic model's making of controlling the product’s
technical state of critical application (CAP) was stated. It was obtained
considering different modes of the functional control and maintenance. An
analytical-stochastic model is developed. The calculation of reliable features
of CAP functioning is made. The corresponding diagrams of dependence are
presented in the different modes. The formula for the complex reliability index
values calculation was obtained. This information can be used for numerical
requirements formulation of the CAP dependability.
Key words: critical application product,
maintenance on technical state control, maintenance on technical state, complex
reliability index.
ЖИТТЄВИЙ ЦИКЛ ПРОЦЕСІВ КОМП'ЮТЕРНОЇ
СИСТЕМИ
С. 35–38
Ключові слова: процес, ресурс, взаємоблокування,
стан процесу, сигнатура процесу, життєвий цикл процесу.
ЖИЗНЕННЫЙ ЦИКЛ ПРОЦЕССОВ КОМПЬЮТЕРНОЙ СИСТЕМЫ
О.С. Савенко, С.В. Мостовой
В работе представлена информация об актуальности проблемы взаимоблокировки процессов в современных операционных системах. Также проведен анализ жизненного цикла процесса, выделены понятия «процесс» и «ресурс». Были рассмотрены основные состояния процессов, и как следствие осуществленного анализа было выделено граничное состояние, предшествующее состоянию взаимоблокировки. Понимание и наличие четких характеристик этого граничного состояния позволяет в текущий момент времени определить множество процессов, которые могут попасть в состояние взаимоблокировки в следующий момент времени.
Ключевые слова: процесс,
ресурс, взаимоблокировки, состояние процесса, сигнатура процесса, жизненный
цикл процесса.
LIFE CYCLE OF PROCESSES OF COMPUTER SYSTEM
O.S. Savenko, S.V. Mostovoy
The paper provides information on the relevance of the problem of
deadlock processes in modern operating systems. Also, an analysis of the
process life cycle was done, the concept of "process" and
"resource" were highlighted. The main statuses of the process were
considered, and the boundary state prior to the deadlock state was defined as a
result of analysis. Understanding and clear characteristics of this boundary
state allows determine in the current time the set of processes that can be
caught in a deadlock state in the next time.
Key words: processes, resources, deadlocks, status of the process,
process signature, process life cycle.
Мартынюк А.Н., Васим Аль Шариф
АНАЛИЗ ПРОТОКОЛА Wi-Fi ВЫЧИСЛИТЕЛЬНЫХ СЕТЕЙ
С. 39–43
Рассмотрена методика
моделирования, спецификации и верификации протоколов информационных
вычислительных сетей. Показан способ использования автоматной модели в качестве
формальной спецификации коммуникационного протокола. Приведены свойства и
соответствующие им формулы, которым должен отвечать любой протокол. Представлен
способ использования автоматной модели в качестве исходной модели для метода
проверки моделей (model checking). Показан фрагмент реализации модели протокола
передачи. Практическим результатом работы является верификация протокола
передачи с проверкой общего доступа к среде беспроводных локальных сетей (IEEE
802.11).
Ключевые слова: верификация, протокол, проверка
моделей, спецификация, автомат.
АНАЛІЗ ПРОТОКОЛУ WI-FI ОБЧИСЛЮВАЛЬНИХ МЕРЕЖ
О.М. Мартинюк, Васім Аль Шаріф
Розглянуто методику моделювання, специфікації і верифікації протоколів
інформаційних мереж. Показано спосіб використання автоматної моделі як
формальної специфікації комунікаційного протоколу. Приведені властивості і
відповідні їм формули, яким повинен відповідати будь-який протокол. Показано
спосіб використання автоматної моделі як вихідної моделі для методу перевірки
моделей (model checking). Показаний фрагмент реалізації моделі протоколу
передачі. Практичним результатом роботи є верифікація протоколу передачі з
перевіркою загального доступу до середовища бездротових локальних мереж (IEEE
802.11).
Ключові
слова: верифікація, протокол, перевірка моделей, специфікація, автомат.
ANALYZE OF NETWORK
PROTOCOL Wi-Fi
O.M. Martynyuk, Waseem Al Sharif
The method of design, specification and
verification of protocols of the informative computer networks is considered.
The method of the using of automat model as a formal specification of
communication protocol is shown. Properties and proper formulas which any
protocol should correspond are resulted. The method of the using of automat
model as an initial model for the method of verification of models (model
checking) is presented. The fragment of implementation of the model of
transmission protocol is described. A practical result is verification of
transmission protocol with checking of general access to the environment of
wireless local networks (IEEE 802.11).
Key words: verification, protocol, model
checking, specification, automat.
DETERMINATION OF DISTRIBUTION LAWS OF DELAYS CONTRIBUTING
TO WEB-SERVICES RESPONSE TIME
С. 44–48
The paper reports results of finding distribution laws
representing Web-Services response time and delays contributing. Theoretical
investigations provided are based on real-live statistics. Results of
hypotheses checking are reported. Response time simulation approaches are
described. Experimental investigation and mathematical analysis of response
time are reported. Our experiments have shown that delays arising in
Service-Oriented Architecture have unstable characteristics make them really
difficult to describe theoretically over a long period of time.
Key words: Web Service, Service-Oriented Architecture, Response
Time, Distribution Law.
ВИЗНАЧЕННЯ ЗАКОНІВ
РОЗПОДІЛУ ЗАТРИМОК, СКЛАДАЮЧИХ ЧАС ВІДКЛИКУ WEB-СЛУЖБ
А.В. Горбенко
У статті представлено
результати пошуку законів розподілу, що описують час відклику Web-служб та його складові. Теоретичні дослідження базовані
на реальній статистиці. Представлені результати перевірених гіпотез. Описані
підходи до моделювання симуляції часу відклику. Обгрунтовано
експериментальне дослідження і проведений
математичний аналіз часу відклику. Визначено, що
затримки, які виникають у Сервіс-Орієнтованих Системах мають дуже невизначені
статистичні характеристики, що значно ускладнюють їхнє представлення впродовж
тривалого часу за допомогою теоретичних законів розподілу випадкової величини.
Ключові слова: Web-служба,
сервіс-орієнтована архітектура, час відклику, закон розподілу.
ОПРЕДЕЛЕНИЕ ЗАКОНОВ РАСПРЕДЕЛЕНИЯ ЗАДЕРЖЕК, СОСТАВЛЯЮЩИХ ВРЕМЯ ОТКЛИКА WEB-СЛУЖБ
А.В.
Горбенко
В статье представлены результаты поиска законов распределения времени отклика и других временных характеристик Web-служб. Теоретические исследования основаны на реальной статистике. Представлены результаты проверенных гипотез. Описаны подходы к моделированию симуляции времени отклика. Обосновано экспериментальное исследование и проведен математический анализ времени отклика. Установлено, что задержки, возникающие в Сервис-Ориентированных Системах имеют высокую степень неопределенности статистических характеристик, что существенно затрудняет их описание с помощью теоретических законов распределения случайной величины.
Ключевые
слова: Web-служба, сервис-ориентированная архитектура, время
отклика, закон распределения.
Скаткова Н.А., Воронин Д.Ю., Ткаченко
К.С.
С. 49–55
Рассмотрена
задача дискриминационного анализа систем имитационного моделирования с
использованием версионно-модельной избыточности. Основное внимание уделено
процессу организации имитационных экспериментов в различных средах. Предложен
подход, позволяющий при помощи введения версионно-модельной избыточности
парировать дефекты проектирования и взаимодействия алгоритмических и вычислительных
составляющих имитационных моделей, а также принимать Парето-оптимальные решения
об организации имитационных экспериментов.
Ключевые слова: имитационное моделирование,
версионная избыточность, объекты критического применения, AnyLogic, GPSS, дефекты проектирования и взаимодействия,
Парето подход.
ДИСКРИМІНАЦІЙНИЙ
АНАЛІЗ СИСТЕМ ІМІТАЦІЙНОГО МОДЕЛЮВАННЯ
З ВИКОРИСТАННЯМ ВЕРСІЙНО-МОДЕЛЬНОЇ НАДМІРНОСТІ
Н.О. Скаткова, Д.Ю. Воронiн, К.С. Ткаченко
Розглянуто задачу дискримінаційного аналізу систем імітаційного моделювання
з використанням версійно-модельної надмірності. Основну увагу приділено процесу
організації імітаційних експериментів у різних середовищах. Запропоновано
підхід, що дозволяє за допомогою введення версійно-модельної надмірності
парирувати дефекти проектування та взаємодії алгоритмічних і обчислювальних
складових імітаційних моделей, а також приймати Парето-оптимальні рішення про
організацію імітаційних експериментів.
Ключові слова: імітаційне моделювання, версійна надмірність,
об'єкти критичного застосування, AnyLogic, GPSS, дефекти проектування і
взаємодії, Парето підхід.
DISCRIMINATORY ANALYSIS OF SIMULATION SOFTWARE USING VERSION‑MODEL REDUNDANCY
N.O. Skatkova, D.Y. Voronin, K.S. Tkachenko
The problem of simulation
software discriminatory analysis using version-model redundancy is considered.
The paper focuses on the process of organizing simulation experiments in
various environments. The proposed approach allows parrying design and
interaction faults of simulation models, as well as to organize simulation
experiments on the base of Pareto approach.
Key words: simulation, version redundancy, objects of
critical applications, AnyLogic, GPSS, the design and interaction faults,
Pareto approach.
ТЕОРИЯ МУЛЬТИМНОЖЕСТВ: БИБЛИОГРАФИЯ, ПРИМЕНЕНИЕ В ТЕОРИИ ТАБЛИЧНЫХ БАЗ ДАННЫХ
С. 56–61
В статье
рассматриваются элементы теории мультимножеств. Дано формальное определение мультимножеству,
его характеристической функции, а также операциям объединения и пересечения
мультимножеств. Строится решетка мультимножеств. Приводятся результаты о
структуре семейства мультимножеств. Раскрывается библиография по
мультимножествам. Также рассматривается применения мультимножеств в табличных
базах данных. Даны формальные определения операциям проекции, селекции и
декартового соединения.
Ключевые слова: мультимножество, базы данных,
полная решетка, объединение мультимножеств, пересечение мультимножеств.
ТЕОРІЯ МУЛЬТИМНОЖИН: БІБЛІОГРАФІЯ, ЗАСТОСУВАННЯ В ТЕОРІЇ ТАБЛИЧНИХ БАЗ
ДАНИХ
Д.Б. Буй, Ю.О. Богатирьова
У статті розглядаються елементи теорії мультимножин. Надано формальне визначення мультимножини, її характеристичній функції, а також операцій об'єднання і перетину мультимножин. Будуються грати мультимножин. Наводяться результати про структуру сімейства мультимножин. Розкривається бібліографія по мультимножинам. Також розглядається застосування мультимножини в табличних базах даних. Дані формальні визначення операціям проекції, селекції і декартового з'єднання.
Ключові слова: мультимножина, бази даних, повна решітка, об’єднання мультимножин, перетин мультимножин.
MULTISET’S THEORY: BIBLIOGRAPHY, APPLICATION IN TABLE DATA BASES THEORY
D.B. Buy, J.O. Bogatyreva
The elements of multisets theory are
considered. Formal definition of multisets, its characteristic function and
operations of association and crossing of multisets is given. The lattice of
multisets is constructed. The results on multisets family structure are
described. The analysis of bibliography on multisets is conducted. Application
multisets in relation data bases are examined.. Formal definitions for
projection, selection and cartesian connection operations are proposed.
Key words:
multiset, data bases, complete lattice, multiset union, multiset intersection.
ТАКСОНОМИЧЕСКАЯ СХЕМА И МЕТОДЫ ОБЕСПЕЧЕНИЯ ГАРАНТОСПОСОБНОСТИ БАНКОВСКИХ ИНФОРМАЦИОННЫХ СИСТЕМ
С. 62–67
Проведен анализ
понятия гарантоспособности банковских информационных систем (БИС). Определены
основные задачи функционирования гарантоспособных банковских систем (ГБС).
Разработана таксономическая схема гарантоспоспособности БИС, учитывающая
факторы эволюционирования. Выделены и проанализированы методы обеспечения
гарантоспособности банковских систем. Конкретизированы подходы противодействия
нарушениям безопасности. Определены важные требования специфические для
гарантоспособности систем автоматизации банка, в отличие от других компьютерных
систем.
Ключевые слова: гарантоспособность, банковская
информационная система, система автоматизации банка, таксономия, безопасность,
угроза, дефект.
ТАКСОНОМІЧНА СХЕМА ТА МЕТОДИ
ЗАБЕЗПЕЧЕННЯ ГАРАНТОЗДАТНИХ БАНКІВСЬКИХ ІНФОРМАЦІЙНИХ СИСТЕМ
Р.М. Лахижа
Проведений
аналіз поняття гарантоздатність банківських інформаційних систем (БІС).
Визначені основні задачі функціонування гарантоздатних
банківських систем (ГБС). Розроблена таксономічна схема гарантоздатності БІС,
що враховує фактори еволюціонування. Виділені та проаналізовані методи
забезпечення гарантоздатності банківських систем. Конкретизовані підходи
протидії порушенням безпеки. Визначені важливі вимоги специфічні для
гарантоздатності систем автоматизації банку, на відміну від інших комп’ютерних
систем.
Ключові слова: гарантоздатність, банківська інформаційна система,
система автоматизації банка, таксономія, безпека, загроза, дефект.
TAXONOMY SCHEME AND METHODS
OF BANKING INFORMATION SYSTEMS DEPENDABILITY PROVIDING
R.M. Lakhyzha
The
analysis of concept dependability of the banking information systems (BIS) is
carried out. The primary goals of
dependable banking systems functioning are defined. The BIS
dependability taxonomy scheme is developed with the respect to evolvability factors. The methods of banking information
systems dependability providing are allocated and analysed. The approaches to security violation counteraction are specified. The
particular important requirements for banking systems are defined.
Key words:
dependability, banking
information system, banking automation system, taxonomy, security, threat,
defect, fault.
АНАЛИЗ МЕТОДОВ ВЫЧИСЛЕНИЯ КОЭФФИЦИЕНТА РЕЛЕВАНТНОСТИ ДЛЯ ВЕБ-СТРАНИЦ ПОИСКОВЫМИ СИСТЕМАМИ
С. 68–71
Приведен метод
расчета релевантности для веб-ресурсов, который позволяет учитывать
неограниченное количество критериев, а так же имеет очень простую для
программирования структуру, которая легко расширяется или сужается, в
зависимости от количества используемых критериев. Аналитические методы
доказывают возможность соответствия данного метода, тем методам, которые применяются
в популярных поисковых системах Интернета. В данной статье рассматривается
больше математическая модель и особенности её организации, нежели практическое
использование данной модели на практике. На сегодняшний момент работа
находиться на этапе уточнения параметров, применяемых в этой модели. Следующим
этапом планируется проведение опытных испытаний по расчету релевантности
веб-ресурсов на основе окончательной модели.
Ключевые слова: релевантность, поиск по тексту,
коэффициент релевантности, веб-документ.
АНАЛІЗ МЕТОДІВ ОБЧИСЛЕННЯ КОЕФІЦІЄНТА РЕЛЬОВАНТНОСТІ ДЛЯ ВЕБ-СТОРІНОК
ПОШУКОВИМИ СИСТЕМАМИ
О.С. Годунов
Приведений метод розрахунку рельовантності для
веб-ресурсів, який дозволяє враховувати необмежену кількість критеріїв, а так само
має дуже просту для програмування структуру, яка легко розширюється або
звужується, залежно від кількості використовуваних критеріїв. Аналітичні методи
доводять можливість відповідності даного методу, тим методам, які
використовуються в популярних пошукових системах Інтернету. У даній статті
розглядається більше математична модель і особливості її організації, ніж
практичне використання даної моделі. На сьогоднішній момент робота знаходитися
на етапі уточнення параметрів, вживаних в цій моделі. Наступним етапом
планується проведення дослідних випробувань за розрахунком рельовантності
веб-ресурсів на основі остаточної моделі.
Ключові слова: рельовантность, пошук по тексту, коефіцієнт рельовантності, веб-документ.
ANALYSIS OF RELEVANCE RATIO’s
CALCULATION METHODS FOR WEB PAGES BY SEARCH ENGINES
O.S. Godunov
Article describes the method of
calculating the relevance ratio for web pages, which could be used by search
engines like Google, Yandex or any other as the top level algorithm. This
method has an easy programmed body, which could be enlarged to as much criteria
as needed. The analysis of this method proves that it could be used in real
working search engines. It is allow taking into consideration all possible criteria
with positive and negative influence. The list of criteria is also discussed in
this article. Real state of algorithm development is the mathematical model,
which is in the phase of collecting the criteria. The next step will be the
programming of search engine core based on this algorithm.
Key words: text relevance, text search, relevance ratio, web
pages, search engines.
С. 72–76
Выполнен
наукометрический анализ трудов конференции «Гарантоспособные системы, сервисы и
технологии (DeSSerT)» за 2006‑2010 г.г. Показано, что работа конференции
вызывает интерес у специалистов не только Украины, но многих других стран.
Используя метрические методы представления нечисловой информации показано, что
конференции DeSSerT хорошо вписаны в систему международного обмена научной
информацией. Применяя непараметрические методы статистики показано место
конференций DeSSerT в системе подготовки научных кадров. Выявлено существование
устойчивого ядра участников конфереций DeSSerT.
Ключевые слова: наукометрия, наукометрический
анализ, гарантоспособные системы.
НАУКОМЕТРИЧНИЙ
АНАЛІЗ ПРАЦЬ КОНФЕРЕНЦІЇ «ГАРАНТОЗДАТНІ СИСТЕМИ, СЕРВІСИ ТА ТЕХНОЛОГІЇ (DESSERT
2006 ‑2010)»
А.О. Андрашов,
В.Ю. Дубницький
Виконано наукометричний аналіз праць конференції
«Гарантоздатні системи, сервіси та технології (DeSSerT)» за 2006‑20010 р. Показано, що робота
конференції викликає інтерес у фахівців не тільки України, але багатьох інших
країн. Використовуючи метричні методи представлення нечислової інформації,
показано, що конференції DeSSerT добре вписані в систему міжнародного обміну науковою інформацією. Застосовуючи
непараметричні методи статистики, показано місце конференцій DeSSerT в системі підготовки наукових
кадрів. Виявлено існування стійкого ядра учасників конференцій DeSSerT.
Ключові слова: наукометрия, наукометричний аналіз, гарантоздатні системи.
SCIENTOMETRIC ANALYSIS OF «DEPENDABLE SYSTEMS, SERVICES AND TECHNOLOGIES
(DESSERT 2006 ‑2010)» CONFERENCE PROCEEDINGS
А.А. Andrashov, V.Y. Dubnickiy
Scientometric analysis of «Dependable systems, services and technologies
(DeSSerT)» conference proceedings for 2006‑2010 is conducted. It is
outlined that conference’s activity attracts interest of professionals not only
from
Key words:
scientometrics, scientometric analysis, dependable system.
Інформаційна безпека
МЕТОД ФОРМУВАННЯ ФУНКЦІОНАЛЬНИХ ПРОФІЛІВ ЗАХИЩЕНОСТІ ВІД НЕСАНКЦІОНОВАНОГО ДОСТУПУ
С. 77–81
Проведено
аналіз вимог нормативних документів в частині формування профілів захищеності.
Визначені недоліки існуючого підходу до формування профілю захищеності. Сформульовані
вимоги до методу формування профілів захищеності, надано його опис. Показано,
що розроблений метод відповідає вимогам із: часової складності,
стандартизованості підходу (повторюваність і порівнюваність результатів),
несуперечності нормативним документам, зрозумілості проміжних результатів та їх
впливів на остаточний вибір, а також можливості самоперевірки особи, що
використовує метод.
Ключові слова: профіль захищеності, захист
інформації, критерії оцінки захищеності від несанкціонованого доступу,
комплексна система захисту інформації.
МЕТОД ФОРМИРОВАНИЯ
ФУНКЦИОНАЛЬНЫХ ПРОФИЛЕЙ ЗАЩИЩЕННОСТИ ОТ НЕСАНКЦИОНИРОВАННОГО ДОСТУПА
А.В. Леншин, П.В. Буслов
Проведен анализ требований нормативных документов в части формирования профилей защищенности. Определены недостатки существующего подхода к формированию профиля защищенности. Сформулированы требования к методу формирования профилей защищенности, дано его описание. Показано, что разработанный метод соответствует требованиям по: временной сложности, стандартизированности подхода (повторяемость и сравнимость результатов), непротиворечивости требованиям нормативных документов, понятности промежуточных результатов и их воздействий на окончательный выбор, а также возможности самопроверки лица, использующего метод.
Ключевые слова: профиль защищенности, защита информации, критерии
оценки защищенности от несанкционированного доступа, комплексная система защиты информации.
METHOD FOR DESIGN OF THE FUNCTIONALITY PROFILES
OF UNAUTHORIZED ACCESS PROTECTION
A.V. Lyenshyn, P.V. Buslov
The analysis of the normative
documents requirements concerning protection profiles is conducted.
Shortcomings of existing approach to designing of protection profiles are
identified. The requirements to the method for design of the functionality
protection profile from unauthorized access are formulated and it description
is given. Shown that the developed method complies with the requirements of:
the time complexity, standardize the approach (repeatability and comparability
of results), non-contradictory requirements of the normative documents,
understandability of interim results and their impact on the final choice, as
well as the possibility of self-verification for a person who uses
the method.
Key words: protection profile, information
security, evaluation criteria of unauthorized access protection, complex
information protection system.
Модель-орієнтовані технології розробки та верифікації
ІНТЕРПОЛЯЦІЯ БАГАТОПАРАМЕТРИЧНИХ ФУНКЦІЙ НА ОСНОВІ МОДИФІКАЦІЙ РІЗНИЦЕВИХ МЕТОДІВ ГАУСА
С. 82–85
В даній статті
розглядаються інтерполяційні методи моделювання обєктів, які описуються багатопараметричними
математичними моделями. Запропоновано різницеві методи, що дозволяють досить
вдало промоделювати тривимірні поверхні різних типів. Розглянуто приклад
моделювання трьохвимірної поверхні, яка задана статично, за допомогою
запропонованих методів. Дані методи на відміну від класичних дозволяють
моделювати багатопараметричні об’єкти, які задано на основі експериментальних
даних.
Ключеві слова: моделювання, інтерполяційні
методи моделювання, інтерполяція, різницеві методи, інтерполяційні методи
Гауса, багатопараметрична інтерполяція, різницева інтерполяція.
ИНТЕРПОЛЯЦИЯ МНОГОПАРАМЕТРИЧЕСКИХ ФУНКЦИЙ НА ОСНОВЕ МОДИФИКАЦИЙ
РАЗНОСТНЫХ МЕТОДОВ ГАУСА
М.А.
Машницкий
В данной статье рассматриваются интерполяционные методы моделирования объектов, которые описываются многопараметрических математическими моделями. Предложены разностные методы, которые позволяют удачно моделировать трехмерные поверхности разных типов. Рассмотрен пример моделирования трехмерных поверхности, которая задано статически, с помощью предложенных методов. Данные методы в отличии от классических разрешают моделировать многопараметрических объекты, которые заданы на базе экспериментальных данных.
Ключевые слова: моделирование, интерполяционные методы моделирования, интерполяция, разностные методы, интерполяционные методы Гаусса, многопараметрическая интерполяция, разностная интерполяция.
MULTI-PARAMETERS
FUNCTION INTERPOLATION BASED ON MODIFICATION OF GAUSS DIFFERENCE INTERPOLATION
METHODS
M.O. Mashnitskyy
Interpolation methods are represented in this
article for modeling of object that described by multi-parameters mathematical
model. Proposed difference-based interpolation methods allows to implement
modeling of three-dimension surface. Example of three-dimension surface defined
statically modeling is described by suggested methods. As opposed to classic
methods, these methods allow modeling multi-parameters object defined by
experimental results.
Key words: modeling, modeling interpolation
methods, interpolation, difference methods, Gauss interpolation method, interpolation of multi-parameters function, difference interpolation.
Кулик А.С.,
Чухрай А.Г., Вагин Е.С., Педан С.И.
ФОРМАЛИЗАЦИЯ ГЕНЕРАЦИИ ЗАДАНИЙ ДЛЯ КОМПЛЕКСА ИНТЕРАКТИВНЫХ WEB-ТЕСТОВ ПО МАТЕМАТИКЕ
С. 86–89
Рассмотрен один
из подходов к формализации генерации заданий, входящих в комплекс интерактивных
web-тестов по математике. Определены основные требования к формализации
генерации заданий. Описан процесс разработки моделей и алгоритмов генерации на
примере заданий, входящих в состав комплекса тестов по математике для
Великобританских школьников. Описан способ тестирования полученных моделей
посредством реализации тестирования программных прототипов заданий.
Ключевые слова: формализация генерации, модели
заданий, задания по математике для школьников.
ФОРМАЛІЗАЦІЯ ГЕНЕРАЦІЇ
ЗАВДАНЬ ДЛЯ КОМПЛЕКСУ WEB-ТЕСТІВ З МАТЕМАТИКИ
А.С.
Кулік, А.Г. Чухрай, Є.С. Вагін, С.І. Педан
Розглянуто один з підходів до формалізації генерації завдань, що входять до
комплексу інтерактивних web-тестів з математики. Визначені основні
вимоги до формалізації генерації завдань. Описано процес розробки моделей й
алгоритмів генерації завдань на прикладі завдань, що входить до складу комплексу тестів з математики
для школярів Великої Британії. Описано спосіб тестування отриманих моделей за
допомогою реалізації тестування програмних прототипів завдань.
Ключові
слова: формалізація генерації, моделі завдань, завдання з математики для школярів.
FORMALIZATION OF GENERATION OF TASKS FOR
COMPLEX OF MATHEMATICAL WEB-TESTS
A.S. Kulik, A.G. Chukhray, Ie.S. Vagin, S.I. Pedan
One of the approaches to formalization of
generation of tasks included to a complex of interactive mathematical web-tests
is listed. The main requirements to formalization of generation of tasks are
defined. Process of models development
and algorithms generation on examples of tasks included to a complex of
mathematical tests for pupils of
Key words: formalization of generation, models
of tasks, mathematical tasks for pupils.
ОЦЕНКА СЛОЖНОСТИ АЛГОРИТМОВ ПО МОДИФИЦИРОВАННЫМ СХЕМАМ ЯНОВА
С. 90–94
В схемах Янова
алгоритм представлен последовательностью операторов, предикатов и указателей переходов
между операторами. Простейшая форма операторов допускает оценку сложности
отдельных операторов. На сложность алгоритмов влияет взаиморасположение
операторов с учетом подготовки данных
выполнением предыдущих операторов. Для оценки этого фактора сложности
предлагается разработанный метод построения спектра числовых показателей,
характеризующих варианты описаний схем Янова и частей схем рекуррентными
формами различных порядков. Приводится пример сравнения по сложности
двух реализаций конкретного алгоритма.
Ключевые слова: алгоритм, логические схемы
Янова, сложность алгоритмов, автомат, автоматное отображение, геометрический
образ автоматного отображения, рекуррентная форма, спектр показателей
рекуррентных форм.
ОЦІНКА СКЛАДНОСТІ АЛГОРИТМІВ ПО МОДИФІКОВАНИХ СХЕМАХ ЯНОВА
В.О. Твєрдохлебов
У схемах Янова алгоритм представлений послідовністю операторів, предикатів
і покажчиків переходів між операторами. Проста форма операторів допускає оцінку
складності окремих операторів. На складність алгоритмів впливає
взаєморозташування операторів з
урахуванням підготовки даних виконанням попередніх операторів. Для оцінки цього
чинника складності пропонується розроблений метод побудови спектру числових
показників, що характеризують варіанти описів схем Янова і частин схем
рекурентними формами різних порядків. Наводиться приклад порівняння по
складності двох реалізацій конкретного
алгоритму.
Ключові слова: алгоритм, логічні схеми Янова, складність алгоритмів, автомат, автоматне відображення, геометричний образ автоматного відображення, рекурентна форма, спектр показників рекурентних форм.
ESTIMATION OF COMPLEXITY OF
ALGORITHMS BY MODIFIED YANOV’S SCHEMES
V.A. Tverdokhlebov
In Yanov schemes the algorithm is presented by sequence
of operators, predicates and indexes of transitions between operators. The
elementary form of operators supposes an estimation of complexity of separate
operators. Complexity of algorithms is influenced with interposition of
operators in view of preparation of the previous operators given by
performance. For an estimation of this factor of complexity is offered the
developed method of construction of a spectrum of the numerical parameters
describing variants of descriptions of schemes and parts of Yanov schemes by
recurrent forms of various orders. The example of comparison on complexity of
two realizations of concrete algorithm is brought.
Key words: Algorithm,
logic Yanov schemes, complexity of algorithms, state machine, automaton map,
geometrical image of automaton map, the recurrent form, spectrum of parameters
of recurrent forms.
ПРИМЕНЕНИЕ ИНТЕРВАЛЬНОГО МОДЕЛИРОВАНИЯ В ПОРОШКОВОЙ МЕТАЛЛУРГИИ
С. 95–98
Ключевые слова: математическое моделирование, упаковка,
оптимизация, интервальная геометрия, интервальная математическая модель,
интервальная сфера, интервальный цилиндр.
застосування інтервального
моделювання в порошковій металургії
Л.Г. Євсеєва, Г.М. Яськов
Пропонується підхід до розв’язання проблеми ущільнення пористого тіла,
що надає можливість при подальшому пресуванні вар’ювати властивості сплаву.
Розглядається задача оптимізації упакування великого числа інтервальних куль в
інтервальній циліндричній трубі. Будується інтервальна математична модель
задачі на основі використання інтервальної геометрії. Розв’язання основної
задачі зводиться до розв’язання послідовності задач упаковки з фіксованим
числом куль. Задачі сформульовані як задачі математичного програмування з
нелінійними обмеженнями. Пропонується підхід до їх розв’язання на основі
занурення інтервальної математичної моделі в евклідів простір. Запропоновано
стратегію пошуку оптимального розв’язку задачі, що базується на використанні
генерації початкових точок на основі решіткової упаковки методом імітаційного
моделювання, модифікованого методу меж та гілок та методу можливих напрямків.
Ключові слова: математичне моделювання, упаковка, оптимізація, інтервальна геометрія,
інтервальна математична модель, інтервальна куля, інтервальний циліндр.
application of interval modelling to Powder metallurgy
L.G. Yevseeva, G.M. Yaskov
An approach to solving a
problem of tamping a porous body which allows to influence on alloy properties
when afterwards pressing is suggested. An optimization problem of packing a
large number of interval spheres into a cylindrical tube is considered. An
interval mathematical model is constructed on the ground of interval geometry
elements. Solving of the main problem is reduced to solving a sequence of
problems of packing fixed numbers of spheres. The problems are defined as
mathematical programming ones with nonlinear constraints. An approach to solve
the problems is suggested on the ground of immerging the interval mathematical
model into the Euclidean space. A search strategy of an optimal solution of the
problem based on generation of initial points making use of the lattice packing
by a simulation method, a modified branch-and-bound algorithm and a modified
feasible direction method is suggested.
Key words: mathematical modelling, packing,
optimization, interval geometry, interval
mathematical model, modelling, interval solid sphere, interval cylinder.
МЕТОД ФРАГМЕНТАЦИИ ВРЕМЕННЫХ ПАРАЛЛЕЛЬНЫХ МОДЕЛЕЙ ЗАДАЧ С ИСПОЛЬЗОВАНИЕМ ФОРМАЛЬНЫХ ПОЛИНОМОВ
С. 99–103
Приведено
описание метода фрагментации временных параллельных моделей задач с
использованием формальных полиномов. Используемые исходные данные: исходный текст
задачи на языке Си; архитектуры ВС: MPP или РВС; варианты задания количества
вычислительных узлов: отсутствие ограничений на количество вычислительных узлов или заданное значение
ресурса ВУ; метод параллельной обработки – совмещение независимых операций;
заданы значения времени выполнения
операций/функций языка Си. Отмечено, что разработанный метод фрагментации
характеризуется существенно меньшей вычислительной сложностью по сравнению с известными комбинаторными
подходами. При этом обеспечивается возможность повышения эффективности
распределенных вычислительных систем за счет уменьшения временных затрат на
обмен сообщениями и снижения временных затрат на решение задач управления
функционированием РВС.
Ключевые слова: суперЭВМ, распределенные
вычислительные сети (РВС), фрагментация задач, обмен сообщениями, Си – граф
задачи, временная параллельная модель, временная параллельная граф-схема
(ВПГС), структуры семантико - числовой спецификации (СЧС) Си-программ и
временных параллельных моделей.
МЕТОД ФРАГМЕНТАЦІЇ
ЧАСОВИХ ПАРАЛЕЛЬНИХ МОДЕЛЕЙ ЗАДАЧ ІЗ ВИКОРИСТАННЯМ ФОРМАЛЬНИХ ПОЛІНОМІВ
С.І. Шматков
Наведено опис методу фрагментації часових
паралельних моделей задач із використанням формальних поліномів.
Використовувані вихідні дані: вихідний текст задачі мовою Сі; архітектури
обчислювальних систем (ОС): MPP або РОМ;
варіанти завдання кількості обчислювальних вузлів: відсутність обмежень
на кількість обчислювальних вузлів (ОВ)
або задане значення ресурсу ОВ; метод паралельної обробки - сполучення
незалежних операцій; задані значення часу
виконання операцій/функцій мови Сі. Відзначено, що розроблений метод
фрагментації характеризується істотно меншою обчислювальною складністю в порівнянні з відомими комбінаторними
підходами. При цьому забезпечується можливість підвищення ефективності
розподілених обчислювальних систем за рахунок зменшення витрат часу на обмін повідомленнями й
зниження витрат часу на рішення задач
керування функціонуванням РОМ.
Ключові слова: суперЕОМ, розподілені обчислювальні мережі (РОМ),
фрагментація задач, обмін повідомленнями, Сі – граф задачі, часова паралельна
модель, часова паралельна граф-схема (ЧПГС), структури семантико - числової
специфікації (СЧС) Сі-програм і часових паралельних моделей.
FRAGMENTATION METHOD
OF TEMPORAL PARALLEL MODELS OF TASKS WITH THE USE OF FORMAL
POLYNOMIALS
S.I. Shmatkov
Specification for a fragmentation method of
time parallel task models with use of
formal polynomials is given. The input data were used: input task code of
C-program; computer system architectures: MPP or DCN; variants of number
setting of computational node: null constraint for number of computational node
or setting value resource of VU; a parallel processing method is combination of
independent operations; the time
implementation values of C-program operations/functions are set. It was
proved, that the developed fragmentation method is characterized substantially
less calculable complication as compared to the known combinatorial approaches.
Possibility of increase of efficiency of the distributed computer systems is
thus provided at the expense of reduction of time expenses for reports
exchange and reduction of time expenses
on the decision of control tasks of functioning of RVS.
Key words: SUPERCOMPUTER, distributed
computer networks (DCN), fragmentation of tasks, exchange by reports, C-graph
of task, time parallel model, time parallel graph -chart (TPGC), structure of
semantic-numerical specification (SNS) of C-program and time parallel models.
С. 104–108
Рассмотрены таксономические
модели профилирования требований информационно-управляющих систем критического
применения, позволяющих представить вербальные нефункциональные требования
стандартов и спецификаций в виде, необходимом для их последующей формальной
обработки, получения профилей требований и последующей оценки их выполнения.
Дано формальное определение таксономических моделей. Выделены критерии
классификации таксономических моделей. Представлена классификация их элементов.
Определены сценарии профилирования требований.
Ключевые слова: ИУС, профилирование требований,
таксономическая модель, формальное представление естественного языка.
ТАКСОНОМІЧНІ
МОДЕЛІ ПРОФІЛЮВАННЯ ВИМОГ ІНФОРМАЦІЙНИХ ТА КЕРУЮЧИХ СИСТЕМ КРИТИЧНОГО
ЗАСТОСУВАННЯ
Розглянуто
таксономічні моделі профілювання вимог інформаційних та керуючих систем
критичного застосування що дозволяють представити вербальні нефункціональні
вимоги стандартів і специфікацій у вигляді необхідному для їх подальшої
формальної обробки, отримання профілю вимог і подальшої оцінки їх виконання.
Надано формальне визначення таксономічних моделей. Визначені критерії
класифікації таксономічних моделей. Наведена класифікація їх елементів.
Визначені сценарії профілювання вимог.
Ключові слова: ІУС, профілювання вимог, таксономічна модель,
формальне представлення природної мови.
TAXONOMIC MODELS FOR CRITICAL
APPLICATION I&C SYSTEMS REQUIREMENTS PROFILING
A.O. Andrashov
Taxonomic models for critical application
I&C systems requirements profiling, which allow to represent verbal
non-functional requirements of the standards and specifications in appropriate
form for their further formal processing, profiling and subsequent evaluation
of their execution, are considered. Formal definition of taxonomic models is
given. The criteria for classification of taxonomic models are outlined. The
classification of the models is represented. Requirements profiling scenarios
are defined.
Key words: I&C system, requirements profiling,
taxonomic model, formal representation of natural language.
SAFETY CASE METHODOLOGY: ARCHITECTING PRINCIPLES
С. 109–112
The paper presents a general Safety Case construction model,
provides a description of its main blocks and their functionality. It also
introduces the concepts of Safety Case Cores and Safety Case Infrastructure,
which demonstrate a new approach to safety assessment and can serve as a basis
for any complex system evaluation. The basic criteria for decomposition are
outlined; general principles, implementation details and key features of Safety
Case Cores are described and illustrated by an example of OTS-component
assessment module.
Key words: safety case, safety case core, safety case
infrustructure.
Методология отчетов
по безОпасности: принципы ПРОЕктирования
Е.И. Неткачёва
В работе представлена общая модель построения отчетов по безопасности, приведено описание её основных блоков и их функциональности. Введены понятия модуля и инфраструктуры отчета по безопасности, которые могут служить основой оценки безопасности сложных систем, что демонстрирует новый подход к оценке безопасности. Основные критерии декомпозиции, общие принципы построения и ключевые характеристики модуля отчета по безопасности изложены и показаны на примере модуля оценки OTS компонентов.
Ключевые слова: отчет по безопасности, модуль отчета по безопасности, инфраструктура отчета по безопасности.
Методологія звітів про
безпеку: принципи проектування
К.І. Неткачова
У роботі представлено загальну модель побудови звітів про безпеку,
надається опис основних блоків та їх функціональності. Введено поняття модуля
та інфраструктури звітів про безпеку, які демонструють новий підхід до оцінки
безпеки і можуть бути основою для оцінки будь-яких складних систем. Основні
критерії декомпозиції, загальні принципи побудови та ключові характеристики
модуля звіту про безпеку викладені та пояснені на прикладі модуля оцінки OTS
компонентів.
Ключові
слова: звіт про безпеку, модуль
звіту про безпеку,
інфраструктура звіту про безпеку.
Надійність програмного забезпечення
КОНЦЕПЦИЯ И ОСНОВНЫЕ ОСОБЕННОСТИ МОДЕЛИ КАЧЕСТВА РАСТУЩЕГО ПАКЕТА ПРОГРАММ RT-OFFICE
С. 113–116
Радиационно-Технологический
Офис (RT-Office) представляет собой пакет из более, чем дюжины программ,
предназначенных для решения научно-технических задач, служащих основой таких
радиационных технологий, как стерилизация медицинского оборудования,
лекарственных препаратов, продуктов питания и т.п. Программы пакета объединяют
общие черты построения, облегчающие расчет параметров соответствующих
технологических процессов. Пакет RT-Office используется более чем в 20 х
компаниях Европы, Азии и Америки. Перспективы поддержки и расширения этого
пакета требуют формального оценивания различных видов и сторон его качества. В
статье представлена концепция применения
подобного оценивания и вытекающие из нее требования к модели качества пакета RT‑Office.
Ключевые слова: качество программного
обеспечения, компьютерное моделирование, радиационные технологии, метод
Монте-Карло, энергетические метрики.
КОНЦЕПЦІЯ ТА ГОЛОВНІ ОСОБЛИВОСТІ
МОДЕЛІ ЯКОСТІ ПАКЕТУ ПРОГРАМ RT-OFFICE, ЩО МАЄ РОЗВИТОК
В.Т. Лазурик, В.О. Міщенко
Радіаційно-Технологічний Офіс (RT-Office) являє собою пакет з понад дюжини
програм, що призначені для вирішення науково-технічних задач, які складають
основу таких радіаційних технологій, як стерилізація медичного обладнання,
лікарських засобів, продуктів харчування тощо. Програми пакету мають загальні
риси побудови, що полегшує розрахунки відповідних технологічних процесів.
Модулі пакету знайшли застосування в понад 20 організаціях Європи, Азії та
Америки. Перспективи підтримки та розширення цього пакету потребують
формального оцінювання різних видів і боків його якості. В статті представлено
концепцію застосування подібного оцінювання та вимоги до моделі якості RT-Office,
що випливають з концепції.
Ключові слова: якість програмного забезпечення, комп’ютерне
моделювання, метод Монте-Карло, енергетичні метрики.
CONCEPTION AND FEATURES OF
THE QUALITY MODEL FOR THE GROWING PROGRAM PACKAGE RT-OFFICE
V.T. Lazurik, V.O. Mishenko
Radiation-Technological Office (RT-Office) is
the package that provides the decision of base scientific
and technical tasks in radiation technological
area such as sterilization of medical equipment, medicines, food, etc. The package
contains more than twelve programs with common
features of construction. RT-Office programs are used in more than 20 companies
in Europe, Asia and
Key
words: software quality, computer modeling, radiation technology,
Конорев Б.М.,
Сергиенко В.В., Алексеев Ю.Г., Чертков Г.Н.
МОДЕЛЬ ИНВАРИАНТО-ОРИЕНТИРОВАННОЙ ОЦЕНКИ ХАРАКТЕРИСТИК КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
С. 117–120
В статье рассматривается
использование формальных методов контроля неизменных свойств (инвариантов)
программного обеспечения (ПО) для оценки характеристик качества ПО.
Рассматривается влияние дефектов на значения инвариантов на уровне исходных
кодов ПО. По результатам измерения инвариантов определяется наличие остаточных
дефектов в программе. Приведена динамическая модель чувствительности набора
методов к дефектам с учетом операционного спектра конкретного проекта.
Предлагаемый подход позволяет формализовать проверки и автоматизировать процесс
оценки основополагающих характеристик качества ПО таких, как функциональная
надежность и безопасность.
Ключевые слова: программное обеспечение,
качество, тестирование, верификация, модели программного обеспечения,
инвариант, профиль дефектов.
МОДЕЛЬ іНВАРіАНТО-ОРієНТоВАНОї ОЦіНКИ ХАРАКТЕРИСТИК якості
ПРОГРАМНОГО забезпечення
Б.М. Конорев, В.В. Сергієнко, Ю.Г. Алексеєв, Г.М. Чертков
У статті розглядається використання формальних методів контролю незмінних властивостей
(інваріантів) програмного забезпечення (ПЗ) для оцінки характеристик якості ПЗ.
Розглядається вплив дефектів на значення інваріантів на рівні вихідних
кодів ПЗ. За результатами виміру інваріантів визначається наявність залишкових
дефектів у програмі. Наведено динамічну модель чутливості набору методів до
дефектів з урахуванням операційного спектра конкретного проекту. Запропонований підхід
дозволяє формалізувати перевірки й автоматизувати процес оцінки основних
характеристик якості ПЗ таких, як функціональна надійність і безпека.
Ключові слова: програмне
забезпечення, якість, тестування, верифікація, моделі програмного забезпечення,
інваріант, профіль дефектів.
invariant-oriented model for software quality characteristics assessment
B.M. Konorev, V.V. Sergiyenko, U.G. Alexeev,
G.N. Chertkov
The present article is concerned with formal methods of software invariable properties (invariants) check for software quality characteristics assessment. The effect of faults on invariant values at the level of source codes is considered. By results of invariants measurement the presence of residual faults in software is defined. The dynamic model of sensitivity of methods to software faults taking into account an operational spectrum of the specific project is presented. The offered approach allows to formalize checking process and automate process of estimation of basic software quality characteristics such as functional reliability and safety.
Key words: software, quality, testing,
verification, software models, invariant, profile of faults.
КОМБІНАТОРНІ ПІДХОДИ ДО РОЗВ'ЯЗАННЯ ЗАДАЧІ МІНІМІЗАЦІЇ ЧАСУ ВИКОНАННЯ ПРОГРАМНОГО ПАКЕТУ
С. 121–126
Розглянуто три постановки
задачі виконання програмного пакету за найкоротший час, що зводяться до задач
одновимірного й двовимірного впакування прямокутників у напівнескінчену смугу.
Відповідна задача одновимірного впакування представлена оптимізаційною моделлю
на переставленнях і полісполученнях. Запропоновано алгоритм точного розв'язання
задачі, що ґрунтуються на побудові правильних відсікань із використанням
властивостей комбінаторних множин і многогранників таких як вершинна
розташованість переставлень, критерій суміжності вершин та незвідна система
обмежень переставного многогранника.
Ключові слова:
програмний пакет, пакет задач, багатозадачність, розпаралелювання
процесів, упакування прямокутників у напівнескінчену смугу, одновимірне та двовимірне
впакування, евклідова комбінаторна множина, комбінаторний многогранник,
вершинно розташована множина, загальна множина переставлень, загальна множина
полісполучень, правильне відсікання, суміжність вершин, система обмежень
многогранника.
КОМБИНАТОРНЫЕ ПОДХОДЫ К РЕШЕНИЮ ЗАДАЧИ МИНИМИЗАЦИИ ВРЕМЕНИ ВЫПОЛНЕНИЯ
ПРОГРАММНОГО ПАКЕТА
О.С. Пичугина
Рассмотрены три постановки задачи выполнения программного пакета за минимальное время, которые сводятся к задачам одномерной и двумерной упаковки прямоугольников в полубесконечную полосу. Соответствующая задача одномерной упаковки представлена оптимизационной моделью на перестановках и полисочетаниях. Предложен алгоритм точного решения задачи, основанный на построении правильных отсечений с использованием таких свойств комбинаторных множеств и многогранников как вершинная расположенность перестановок, критерий смежности вершин и несводимая система ограничений перестановочного многогранника.
Ключевые слова: программный пакет, пакет задач, многозадачность,
распараллеливание процессов, упаковка прямоугольников в полубесконечную полосу,
одномерная и двумерная упаковки, евклидовое комбинаторное множество,
комбинаторный многогранник, вершинно расположенное множество, общее множество
перестановок, общее множество полисочетаний, правильное отсечение, смежность
вершин, система ограничений многогранника.
THE COMBINATORIAL APPROACHES
TO DECISION OF TIME MINIMIZATION PROBLEM OF SOFTWARE PACKAGE RUNNING
O.S. Pichugina
The paper considers
problem of software package performing for minimum time at three statements,
reduced to one-dimensional and two-dimensional rectangle-packing problem into
half-infinite strip. For the one-dimensional packing problem a mathematical
model as optimization problem on permutations and polycombinations is
constructed. The elaborated algorithm of exact solution of the problem uses
building correct cutting on permutations, vertices’ location of permutation
set, criterion of adjacent vertex, permutation polyhedron system of
restrictions and other investigated combinatorial characteristics.
Key
words: software package, package of problems, multitasking, parallel
processes, rectangle-packing problem into half-infinite strip, one-dimensional
and two-dimensional packing problem, the Euclidean combinatorial set, a
combinatorial polyhedron, vertices’ location set, the general set of
permutations, the general set of polycombinations, correct cutting, adjacent
vertex, the system of polyhedron restrictions.
Котко Е.А., Волковой А.В.,
Лебединский С.С.
ПРОЦЕДУРА ВЫБОРА СРЕДСТВ ДЛЯ ОЦЕНКИ СООТВЕТСТВИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НОРМАТИВНЫМ ТРЕБОВАНИЯМ
С. 127–132
Проведен анализ
существующих классификаций методов оценки программного обеспечения. Проведен
анализ информации используемой при оценке соответствия требованиям и предложено
формальное описание метода оценки программного обеспечения на соответствие
требованиям в виде набора компонент, на основании которых формируются критерии
выбора. Разработан алгоритм и процедура выбора методов и инструментальных
средств для оценки программного обеспечения.
Ключевые слова: требования, оценка
соответствия, метрики, выбор методов и средств.
ПРОЦЕДУРА ВИБОРУ ЗАСОБІВ ДЛЯ ОЦІНЮВАННЯ ВІДПОВІДНОСТІ ПРОГРАМНОГО
ЗАБЕЗПЕЧЕННЯ НОРМАТИВНІМ ВИМОГАМ
Є.О. Котко, А.В. Волковий, С.С. Лебединський
Проведено аналіз існуючих класифікацій для методів оцінки програмного
забезпечення (ПЗ). Проаналізована інформація, яка використовується під час
оцінки відповідності вимогам та запропонований формальний опис метода оцінки ПЗ
на відповідність вимогам у вигляді набору компонент, які формують основу для
критеріїв вибору. Розроблено алгоритм та процедуру вибору методів та
інструментальних засобів для оцінки ПЗ.
Ключові
слова: вимоги, оцінка відповідності, метрики, вибір методів та засобів.
SELECTION PROCEDURE FOR MEANS OF SOFTWARE NORMATIVE REQUIREMENTS
CONFORMANCE EVALUATION
E.A. Kotko, A.V. Volkoviy,
S.S. Lebedinskiy
Analysis of classification scheme for software
assessment techniques is performed.
Information used in software evaluation process is analysed, and formal description for method of normative
requirements conformance evaluation is proposed. The formal description of
method in a form of tuple is used as a basis to define
methods selection criteria. The algorithm and procedure for selection methods
and means of software evaluation are developed.
Key words: requirements, conformance
evaluation, metrics, selection of techniques and means.
БАГАТОСТОРОННІ ЗВ'ЯЗКИ В РОЗШИРЕНІЙ МОДЕЛІ "СУТНІСТЬ-ЗВ'ЯЗОК"
С. 133–137
В роботі
розглядаються та уточнюються наступні елементи розширеної моделі
„сутність-зв’язок”: тип зв’язку суперклас/підклас, тип зв’язку isa. Уточнені
поняття базових типів обмеження кардинальності для багатосторонніх типів
зв’язків введенням операторів min, max, mop. При розгляді моделі
„cутність-зв’язок”, особлива увага приділяється обмеженням, які застосовують до
її елементів. Одне з таких обмежень – кардинальність. Тип зв’язку isa є
бінарним типом зв’язку „один до одного” і його уточнення здійснюється за
допомогою відношень за загальною схемою.
Ключові слова: розширена модель
„сутність-зв’язок”, тип зв’язку, тип зв’язку суперклас/підклас, тип зв’язку
isa, обмеження кардинальності, кардинальність „дивитися через”, кардинальність
участі.
МНОГОСТОРОННИЕ СВЯЗИ В РАСШИРЕННОЙ МОДЕЛИ «СУЩНОСТЬ-СВЯЗЬ»
Л.М.
Сильвейструк
В работе рассматриваются и уточняются следующие элементы расширенной модели «сущность-связь»: тип связи суперкласс / подкласс, тип связи isa. Уточнены понятия базовых типов ограничения кардина-льности для многосторонних типов связей введением операторов min, max, mop. При рассмотрении модели «cущность-связь», особое внимание уделяется ограничениям, которые применяют к ее элементов. Одно из таких ограничений - кардинальность. Тип связи isa является бинарным типом связи «один к одному» и его уточнения осуществляется посредством отношений по общей схеме.
Ключевые слова: расширенная модель «сущность-связь», тип связи, тип связи суперкласс / подкласс, тип связи isa, ограничения кардинальности, кардинальность "смотреть через", кардинальность участия.
MULTIWAY RELATIONSHIPS
OF EXTENDED ENTITY-RELATIONSHIP MODEL
L.M. Silveystruk
In the paper the constraints and formalization
the followings elements of the extended entity-relationship model are
superclass/subclass relationship type, isa relationship type. Basic types
notions of cardinality constraints for multilateral relations types were
formalized introductions of operators min, max, mop.
When considering model cutnist-Communications, emphasis restrictions applying
to its elements. One
such limit – cardynality. isa type of communication is the type of binary
relation "to each other and its improvement by using relations for the
overall scheme.
Key words: the extended entity-relationship
model, relationship type, superclass/subclass relationship type, isa
relationship type, cardinality constraints, cardinality constraints, look
across cardinality, participation cardinality.
Відмовостійкі системи
С. 138–141
В данной статье
рассматривается возможность использования системы остаточных классов (СОК) для
построения высокопроизводительных и высоконадежных вычислительных систем
обработки информации (СОИ). Основное внимание уделяется анализу свойств
непозиционных кодовых структур и их влияния на архитектуру, и основные
технические характеристики (производительность и надежность) СОИ. Использование
свойств СОК обеспечивает параллельную обработку цифровой информации с
одновременным обеспечением отказоустойчивости функционирования СОИ. Материалы
данной статьи могут быть использованы при создании средств обработки цифровой
информации, функционирующих в реальном времени решения алгоритма управления.
Ключевые слова: система счисления, система остаточных
классов, производительность, надежность, система обработки информации,
табличная арифметика.
КОНЦЕПЦІЯ СТВОРЕННЯ СИСТЕМИ ОБРОБКИ ЦИФРОВОЇ ІНФОРМАЦІЇ НА ОСНОВІ
ВИКОРИСТАННЯ СИСТЕМИ ЗАЛИШКОВИХ КЛАСІВ
С.О. Кошман
У даній статті розглядається можливість
використання системи залишкових класів (СЗК) для побудови високопродуктивних і
високонадійних обчислювальних систем обробки інформації (СОІ). Основна увага
приділяється аналізу властивостей непозиційних кодових структур та їх впливу на
архітектуру і основні технічні характеристики (продуктивність і надійність)
СОІ. Використання властивостей СЗК забезпечує паралельну обробку цифрової
інформації з одночасним забезпеченням відмовостійкості функціонування СОІ.
Матеріали даної статті можуть бути використані при створенні засобів обробки
цифрової інформації, що функціонують у реальному часі вирішення алгоритму
управління.
Ключові слова:
система числення, система залишкових класів, продуктивність, надійність,
система обробки інформації, таблична арифметика.
CONCEPTION OF CREATION OF INFORMATION-PROCESSING SYSTEM ON BASIS OF THE
USE SYSTEMS OF REMAINING CLASSES
S.O. Koshman
In this article possibility of the
use of the system of remaining classes (SRC) is examined for the construction
of the high-performance and highly reliability computer information-processing
system (IPS). Basic attention is spared the analysis of properties of
position-independent code structures and their influence on architecture and
basic technical descriptions (productivity and reliability) of IPS. The use of
properties of SRC provides the simultaneous processing of digital information
with the simultaneous providing of fail-safety of functioning of IPS. Materials
of this article can be used for creation of facilities of treatment of digital
information, which functioning in real time decisions of control algorithm.
Key words:
number system, system of remaining classes, productivity, reliability,
information-processing system, tabular arithmetic.
Романкевич
А.М., Гроль В.В., Романкевич В.А., Фесенюк А.П.
С. 142–146
Рассматривается
методика расчета вероятности безотказной работы отказоустойчивых
реконфигурируемых многопроцессорных систем, основанная на проведении
статистических экспериментов с иерархическими GL-моделями поведения ОМС в
потоке отказов. Анализируются несколько источников возникновения погрешности
вычислений: методическая погрешность, трансформированная погрешность и
погрешность округления. Приводятся соотношения для оценки погрешности,
позволяющие учесть влияние всех указанных факторов, как каждого в отдельности,
так и их совокупности.
Ключевые слова: надежность, отказоустойчивые
многопроцессорные системы, методическая погрешность, трансформированная
погрешность, погрешность округления, статистический эксперимент.
Оцінка похибки статистичного розрахунку надійності відмовостійких
реконфігуровних багатопроцесорних систем, яким відповідають ієрархічні GL-моделі
О.М. Романкевич, В.В. Гроль, В.О.
Романкевич, А.П. Фесенюк
Розглядається методика розрахунку імовірності безвідмовної роботи
відмовостійких реконфігуровних багатопроцесорних систем, яка базується на
проведенні статистичних експериментів з ієрархічними GL‑моделями поведінки відмовостійких багатопроцесорних систем у потоці відмов.
Аналізуються кілька джерел виникнення похибки
обчислень: методична похибка, трансформована похибка і похибка
округлення. Приводяться співвідношення для оцінки похибки, які дозволяють
врахувати вплив всіх вказаних факторів, як кожного окремо, так і їх сукупності.
Ключові
слова: надійність, відмовостійкі багатопроцесорні системи, методична похибка,
трансформована похибка, похибка округлення, статистичний експеримент.
Error
estimation of the statistical reliability calculation of fault-tolerant multiprocessor systems, described by hierarchical GL-models
O.M. Romankevich, V.V. Grol, V.O. Romankevich,
A.P. Feseniuk
In the
paper considered the methodology of calculating the reliability of
fault-tolerant reconfigurable multiprocessor systems based on conducting
statistical experiments with hierarchical GL-models of system behavior in the
flow of faults. Are analyzed several sources of error of calculation:
methodical error, the transformed error and the error of rounding. The formulas
for the error estimates to take account of the impact of all these factors are
proposed.
Key
words: reliability, fault-tolerant multiprocessor systems, methodical error,
transformed error, rounding error, statistical experiment.
Аврунин О.Г., Корж Ю.Н., Крук О.Я.,
Носова Т.В., Семенец В.В., Тыртышников А.И.
С. 147–151
Показана
актуальность разработки «интеллектуальных» лабораторных стендов для изучения электроники
и аналоговой схемотехники, оснащенных гибкой многофункциональной системой
защиты от ошибок и «некорректных» действий пользователя. Сформулированы
основные требования к встроенной системе защиты лабораторного стенда,
представлен пример ее практической реализации. За год интенсивного
использования в учебном процессе Полтавского национального технического
университета имени Юрия Кондратюка четырнадцати комплектов ЛС не зафиксировано
ни одного отказа.
Ключевые слова: лабораторный стенд, система защиты,
отказоустойчивость, надежность функционирования.
ЗАБЕЗПЕЧЕННЯ
ВІДМОВОСТІЙКОСТІ ЛАБОРАТОРНИХ СТЕНДІВ ДЛЯ ВИВЧЕННЯ АНАЛОГОВОЇ ЕЛЕКТРОНІКИ ТА
СХЕМОТЕХНІКИ
О.Г. Аврунін, Ю.М. Корж, О.Я. Крук,
Т.В. Носова, В.В. Семенець, О.І. Тиртишніков
Показана
актуальність розробки «інтелектуальних» лабораторних стендів для вивчення
електроніки і аналогової схемотехніки, оснащених гнучкою
багатофункціональною системою захисту від помилок та «некоректних» дій
користувача. Сформульовані основні вимоги до убудованої системи захисту
лабораторного стенда, представлений приклад її практичної реалізації. За рік
інтенсивного використання у учбовому процесі Полтавського національного
технічного університету імені Юрія Кондратюка чотирнадцяти комплектів ЛС не
зафіксовано жодної відмови.
Ключові
слова: лабораторний стенд, система захисту, надійність функціонування.
FAULT-TOLERANCE
SUPPORT FOR LAB TEST BENCH USED FOR STUDING ANALOG ELECTRONICS AND CIRCUIT
ENGINEERING
O.G. Avrunin, Yu.M. Korzh, O.Ya. Kruk, T.V.
Nosova, V.V. Semenec, O.I. Tirtishnikov
The
urgency of development of "intellectual" laboratory stands for
studying electronics and the analog circuitry, equipped by flexible
multipurpose system of protection against mistakes and "incorrect" actions of
the user is shown. The basic requirements to the built in system of protection
of the laboratory stand are formulated, the example of its practical
realization is presented. It is proved that there were no failures during a
year of intensive use of fourteen complexes.
Key words: the laboratory test bench, system of protection, reliability of
functioning.
Системи контролю та діагностування
С. 152–156
В статье
представлено математическое описание, разработаны блочно-ориентированные модели
шахтной вентиляционной сети (ШВС) и системы автоматического управления (САУ)
при помощи среды для моделирования, имитации и анализа динамических систем
Simulink. Составлена блочно-ориентированная (БО) модель взаимодействия ШВС и
САУ с добавлением блока задания начальных условий. Получены результаты
изменения расходов воздуха при проведении ряда экспериментов по подключению САУ
в ветви ШВС (соответствующие выемочным участкам). По результатам экспериментов
отмечено, что реализация БО-моделей на языке Simulink открывает хорошие
перспективы модельной поддержки разработок систем управления
воздухораспределением в реальных ШВС действующих шахт.
Ключевые слова: шахтная вентиляционная сеть,
система автоматического управления, дерево, антидерево, ветвь, граф, модель,
регулирующий орган, расход воздуха.
БЛОЧНО-ОРІЄНТОВАНА МОДЕЛЬ СИСТЕМИ АВТОМАТИЧНОГО УПРАВЛІННЯ РЕГУЛЯТОРАМИ
ВИТРАТИ ПОВІТРЯ У ШАХТНИХ ВЕНТИЛЯЦІЙНИХ МЕРЕЖІ
Т.В. Завадська
У статті представлений математичний опис,
розроблені блочно-орієнтовані моделі шахтної вентиляційної мережі (ШВМ) та
системи автоматичного управління (САУ) за допомогою середовища для моделювання,
імітації та аналізу динамічних систем Simulink. Складена блочно-орієнтована
(БО) схема взаємодії ШВМ та САУ з додаванням блоку завдання початкових умов.
Отримані результати зміни витрат повітря при проведенні ряду експериментів з
підключення САУ в гілки ШВМ (що є добувними дільницями). За результатами
експериментів зазначено, що реалізація БО-моделей на мові Simulink відкриває
великі перспективи модельної підтримки розробок систем управління повітрярозподілом в реальних ШВМ діючих шахт.
Ключові слова: шахтна вентиляційна мережа, система автоматичного
управління, дерево, антидерево, гілка, граф, модель, регулюючий орган, потік
повітря.
BLOCK-ORIENTED MODEL OF AUTOMATIC CONTROL SYSTEM OF REGULATOR AIRFLOW
IN MINE VENTILATION NETWORK
T.V. Zavadskaya
In this article presented
a mathematical description, developed a block-oriented model of mine
ventilation network (MVN) and the automatic control system (ACS) using the medium
for modeling, simulation and analysis of dynamic systems Simulink. Compiled by
block-oriented (BO) model
interaction scheme MVN and ACS with the addition of a unit set of initial
conditions. The results change in the expenses of air at a number of experiments
on the connection to the ACS MVN branches (corresponding to the excavation
area). According to the results of experiments indicated that the
implementation of BO-models in the language of Simulink
opens up good prospects for supporting development of control systems of air
distribution in the real MVN.
Key words: mine
ventilation network, automatic control system, tree, anti-tree, branch, graph,
model, a regulatory body, airflow.
Долгов Ю.А., Козак Л.Я., Шестопал О.В.
СХЕМА
МАТЕМАТИЧЕСКОГО МОДЕЛИРОВАНИЯ ТЕХНОЛОГИЧЕСКОГО ПРОЦЕССА ПЛАВКИ СТАЛИ
С. 157–160
Предложена
схема получения математической (статистической) модели технологического процесса
плавки стали, пригодная для любого металлургического процесса и производства.
Схема состоит из двух этапов: получения слабокоррелированной матрицы (таблицы)
технологических факторов и получения вектор-столбца выходной функции –
обобщенного показателя качества продукции, основанного на ряде частных
показателей качества с учетом их весовых коэффициентов. Объединение результатов
расчетов по обоим этапам в одну матрицу, пригодную для моделирования по
пассивным данным, происходит построчно в соответствии с номером плавки.
Ключевые слова: плавка стали, исходная таблица
данных, корреляционные плеяды, матрица факторов, частные и обобщенные
показатели качества, весовые коэффициенты.
СХЕМА МАТЕМАТИЧНОГО
МОДЕЛЮВАННЯ ТЕХНОЛОГІЧНОГО ПРОЦЕСУ ПЛАВЛЕННЯ СТАЛІ
Ю.О. Долгов,
Л.Я. Козак, О.В. Шестопал
Пропонуєма схема отримання математичної (статистичної) моделі
технологічного процесу плавлення сталі є придатною для любого металургійного
процесу виробництва. Схема складається з двох етапів: отримання
слабокорельованої матриці (таблиці) технологічних факторів і отримання
вектор-стовпця вихідної функції узагальненого показника якості продукції,
заснованого на ряді часткових показників якості з урахуванням їх вагомих
коефіцієнтів. Об’єднання
результатів розрахунку за обидва етапи в одно матрицю, яка придатна для
моделювання за пасивними даними, відбувається построково згідно з номером
плавлення.
Ключові слова: плавлення сталі, вихідна таблиця даних,
кореляційні плеяди, матриця факторів, часткові і узагальнені показники якості,
вагові коефіцієнти.
SCHEME OF MATHEMATICAL
MODELLING OF STEEL FOUNDING TECHNOLOGICAL PROCESS
Y.A. Dolgov, L.Y. Cossack, O.V. Shestopal
It is offered a scheme for receipt a
mathematical (statistical) model of
steel founding technological process, suitable for any metallurgical
process and manufacture. The scheme is consisted of two stages: receipt of feebly correlative technological factor
matrix (table) and receipt of output
function vector-column-denerized production quality index, which based on some particular quality with their
weighty coefficients. Unification of both stages calculation results on one
matrix suitable for passive data modeling is taken place for every line
according to founding number.
Key words: steel founding, first data table,
correlation pleiads, factor matrix, particular and denerized quality index,
weighty coefficients.
МОДИФИКАЦИЯ
СТРУКТУРНОГО ГЕНЕРАТОРА ТЕСТОВ FAN
С. 161–165
Работа
посвящена исследованию структурных алгоритмов генерации тестов. Целью
исследования является модификация существующего алгоритма генерации тестов за
счет сокращения числа откатов выполненных алгоритмом. Для этого выполнено
уточнение процедуры расчета контролируемости. В работе также выполнен анализ
алгоритмов, разработаны модификация алгоритма FAN с улучшенной эвристикой,
использованной для управления обратной трассировкой, и прототип системы
генерации тестов на базе исследуемых структурных алгоритмов: D, PODEM
и FAN.
Ключевые слова: константные неисправности,
активизация путей, тест, алгоритм FAN, процедура SCOAP.
МОДИФІКАЦІЯ СТРУКТУРНОГО ГЕНЕРАТОРА ТЕСТІВ FAN
В.О. Андріянов, О.М. Мартинюк
Робота присвячена дослідженню структурних алгоритмів генерації тестів. Метою дослідження є модифікація існуючого структурного алгоритму генерації тестів за рахунок скорочення числа змін рішень, що виконуються алгоритмом. Для цього виконано уточнення процедури розрахунку контрольованості. Також в роботі виконано аналіз алгоритмів, розроблені модифікація алгоритму FAN з покращеною евристикою, яка використовується для керуванням зворотним трасуванням, і прототип системи синтезу тестів на базі досліджуваних структурних алгоритмів: D, PODEM і FAN.
Ключові слова: константні несправності, активізація шляхів, тест, алгоритм FAN, процедура SCOAP.
MODIFICATION OF
STRUCTURAL TEST PATTERN GENERATION ALGORITHM FAN
V.O. Andriyanov, O.M. Martinyuk
This paper is devoted to research of structural
test pattern generation algorithms. Our purpose is to accelerate existing one
structural test generation algorithm by decreasing amount of backtracks. To do
this, we made controllability calculation procedure more accurate. Also in this
paper we made analysis of existing algorithms, described the modification of
FAN algorithm with improved heuristics and prototype of automated test pattern
generation system based on structural test generation algorithms D, PODEM and
FAN.
Key words: stuck-at faults, path
sensitization, test, FAN algorithm, SCOAP procedure.
Благодарный Н.П., Троненко Д.С.
САМОДИАГНОСТИРОВАНИЕ
ВЫСОКОИНТЕГРИРОВАННЫХ ЦИФРОВЫХ СИСТЕМ РЕАЛЬНОГО ВРЕМЕНИ
С. 166–169
Рассматривается
структура программируемых логических интегральных микросхем (ПЛИС), а также математические
модели конфигурируемой матрицы логических блоков ПЛИС, предлагается усовершенствованный метод самодиагностирования цифровых систем
реального времени, построенных на базе программируемых микросхем с более
эффективным использованием аппаратной избыточности. Повышается эффективность
использования ресурсов ПЛИС за счет того, что часть незадействованных ячеек
используются при конфигурировании ДМ, а часть остается в горячем резерве.
Ключевые слова: отказоустойчивость,
самодиагностирование, вычислительный модуль, диагностический модуль, ПЛИС.
самоДіагностування високоінтегрованих цифрових систем реального часу
М.П. Благодарний, Д.С. Троненко
Розглядається
структура програмованих логічних інтегральних мікросхем (ПЛІС), а також
математичні моделі конфігурованих матричних логічних блоків ПЛІС, пропонується
удосконалений метод самодіагностування цифрових систем реального часу,
побудованих на базі програмованих мікросхем з більш ефективним використанням
апаратної надмірності. Підвищується ефективність використання ресурсів ПЛІС за
рахунок того, що частина незадіяних осередків використовуються при
конфігуруванні ДМ, а частина залишається в резерві.
Ключові слова: відмовостійкість,
самодіагностування, обчислювальній модуль, діагностичний модуль ПЛІС.
SELF-DIAGNOSTIC HIGHT-INTEGRATED DIGITAL SYSTEMS OF REAL TIME
M.P.
Blagodarniy, D.S. Tronenko
The structure of programmable logic integrated circuits (FPGAs), as well as mathematical models of configurable logic blocks of the FPGA matrix, is presented. The method of self-diagnosing digital real-time systems, based on the basis of programmable chips with more efficient use of hardware redundancy is proposed and improved. The efficiency of the use of FPGA resources is increased due to the fact that the part of unused cells are used for configuring DM, and the other one remains hot standby.
Key words: fault tolerance, self-diagnosing, computing module, diagnostic module, FPGA.
АЛГОРИТМ
СИМУЛЯЦИИ ОТЖИГА ОПТИМИЗАЦИИ РАССЕИВАНИЯ ТЕПЛА ДИАГНОСТИЧЕСКИХ ТЕСТОВ
С. 170–175
В данной статье
предлагается новый подход к решению задачи построения тестов цифровых устройств
с минимальным рассеиванием тепла, который основан на понятии избыточности
тестовых последовательностей. Данный подход состоит из трех последовательных
этапов: генерация множества избыточных тестовых последовательностей, оценка их
свойств и выбор оптимального подмножества. Особенностью подхода является то,
что последний этап основан на алгоритме симуляции отжига. Приводятся результаты
машинных экспериментов для схем каталога ISCAS-89, подтверждающие эффективность
предложенного подхода.
Ключевые слова: цифровая последовательностная
схема, генерация тестов, диагностическая избыточность, симуляция отжига,
рассеивание тепловой энергии.
алгоритм симуляции отжига оптимизации
рассеивания тепла диагностических тестов
Д.Є. Іванов, Р. Зуауі
У даній статті пропонується новий підхід до
вирішення задачі побудови тестів цифрових пристроїв з мінімальним розсіюванням тепла,
який заснований на понятті надлишковості тестових послідовностей. Даний підхід
складається з трьох послідовних етапів: генерація множини надлишкових тестових
послідовностей, оцінка їх властивостей та вибір оптимальної підмножини.
Останній етап є задачою комбінаторної оптимізації та його рішення базується на
алгоритмі смимуляції віджигу. Наводяться результати машинних експериментів для
схем каталога ISCAS-89, що підтверджують ефективність запропонованого підходу.
Ключові слова: цифрова послідовністна схема, генерація тестів, діагностична надлишковість,
симуляція віджигу, розсіювання теплової енергії.
The simulating annealing algorithm for the optimization of the power dissipation
of the input test sequences
D.E. Ivanov, R. Zouaoui
In
this paper a new approach for solving the problem of the optimization of the
power dissipation under test sequence application is proposed. This approach is
based on the redundancy of test sequences and consists
of the steps: redundant test generation, evaluating power dissipation for
generated test sequences and construction subset of sequences with optimal
parameters. The last stage is the task of the combinatorial optimization and
its solution is based on the simulating annealing algorithm. Also we give the
results of the computer experiments on the ISCAS-89 benchmark circuits that
shows the effectiveness of the propose approach.
Key
words: sequential circuit, test generation, diagnostic redundancy, simulating annealing algorithm, power dissipation.
Арутюнян А.Р., Витер А.В., Кольбик Б.И.
АЛГОРИТМ
ТЕСТИРОВАНИЯ ПРОМЫШЛЕННОЙ КОМПЬЮТЕРНОЙ СЕТИ
С. 176–179
Приведен
алгоритм обнаружения и локализации неисправностей в промышленной компьютерной
сети. Алгоритм основан на свойстве отражения электромагнитного сигнала в
длинных кабельных линиях и модифицированном алгоритме Дейкстры для взвешенных
неориентированных графов. Приведены результаты исследования, подтверждающие
возможность использования волнового метода для определения длины и целостности
кабельной линии. Приведенный алгоритм позволяет проектировать сети сбора данных
с автоматической диагностикой.
Ключевые слова: промышленная компьютерная сеть,
диагностика, волновой метод, алгоритм Дейкстры, кабельная линия, амплитуда
волны.
АЛГОРИТМ ТЕСТУВАННЯ ПРОМИСЛОВОЇ
КОМП'ЮТЕРНОЇ МЕРЕЖІ
А.Р. Арутюнян, А.В. Вітер, Б.І. Кольбік
Описано алгоритм
пошуку та локалізації несправностей в промислової комп’ютерної мережі. Алгоритм
базується на властивості відбиття електромагнітного сигналу у довгих кабельних
лініях та модифікованому алгоритмі Дейкстри для зважених неорієнтованіих
графів. Наведено результати дослідження, що підтверджують можливість
використання хвильового методу для визначення довжини та цілісності кабельної
лінії. Наведений алгоритм дозволяє проектувати мережі збору даних з
автоматичною діагностикою.
Ключові слова: промислова
комп'ютерна мережа, діагностика, хвильової метод, алгоритм Дейкстри, кабельна
лінія, амплітуда хвилі.
ALGORITHM OF TESTING INDUSTRIAL COMPUTER
NETWORK
A.R. Arutyunyan, A.V. Viter, B.I. Kolbik
The article
describes the algorithm for finding faults in the elements of a network
structure, cable lines, terminal connections and power lines, through specialized
units under test network – repeaters. Repeaters have priority in accordance
with the topological level approach and the location, initializes the testing
process leading network. The method is based on representation of mathematical
model and the modified Dijkstra's algorithm for weighted undirected graphs. It
is also proposed a method for the analysis of the integrity of the cable line,
effectively serving with the means to identify faulty network components, based
on the characteristics of electromagnetic waves passing through long cable
lines.
Keywords: industrial
computer network, diagnostics, wave method, Dijkstra's algorithm, cable line,
amplitude of wave.
ОЦЕНКА СЛОЖНОСТИ
И КЛАССИФИКАЦИЯ МАРШРУТОВ ПО СЛОЖНОСТИ НА ОСНОВЕ СПЕКТРА ПАРАМЕТРОВ
С. 180–184
В статье на
основе использования аппарата геометрических образов законов функционирования
автоматов, предложенного и разработанного Твердохлебовым В.А. в работе [1], проводится
анализ свойств трасс 19 официальных
этапов автомобильной гоночной серии «Формула-1». Анализ свойств гоночных трасс
сводится к исследованию свойств плоских кривых, представляющих собой
масштабированные карты реальных трасс. По таким кривым осуществляется
построение законов функционирования дискретных детерминированных динамических
систем (автоматов). Для оценки сложности и классификации трасс используется
спектр динамических параметров, предложенный и разработанный Твердохлебовым
В.А. в монографии [1].
Ключевые слова: конечный детерминированный
автомат, геометрический образ законов функционирования автомата, автодром, код
маршрута, оценка сложности управления движением
ОЦіНКА СкЛадності і
КЛАСИФіКАЦіЯ маРшрутів за складністю на базі спектру параметрів
А.С. Єпіфанов
У статті на базі
використання апарату геометричних образів законів функціонування автоматів, що
був запропонований та розроблений Твєрдохлєбовим В.А. в роботі [1], проводиться
аналіз властивостей трас 19 офіціальних етапів автомобільної гоночної серії
«Формула-1». Аналіз властивостей
гоночних трас зводиться до дослідження властивостей плоских кривих, що
становлять собою масштабовані мапи реальних трас. За такими кривими здійснюється
побудова законів функціонування дискретних детермінованих динамічних систем
(автоматів). Для оцінки складності та класифікації трас використовується спектр
динамічних параметрів, що був запропонований та розроблений Твєрдохлєбовим В.А.
в монографії [1].
Ключові
слова: кінцевий детермінований
автомат, геометричний образ законів функціонування автомату, автодром, код
маршруту, оцінка складності керування рухом.
ESTIMATION of
COMPLEXITY And CLASSIFICATION of routes on complexity on the basis of a spectrum
of parameters
A.S. Epifanov
In article on
the basis of use of the apparatus of geometrical images of laws of functioning
of the state machines offered and developed by V.A. Tverdohlebov in work
[1], the analysis of properties of lines of 19 official stages of an automobile
racing series «Formula-1» is spent. The analysis of properties of racing lines
is reduced to research of properties of the flat curves representing scaled
maps of real lines. On such curves is carried out construction of laws of functioning
of the discrete determined dynamic systems (state machines). For an estimation
of complexity and classification of lines used the spectrum of dynamic
parameters offered and developed by V.A. Tverdohlebov in the monography
[1].
Key words: finite state machine,
geometrical image of lows of functioning of state machine, an autodrome, a code
of a route, an estimation of complexity of management of movement.
МОДЕЛИРОВАНИЕ
ДИАГНОСТИЧЕСКИХ СОСТОЯНИЙ И КОМПЕТЕНТНОСТИ ПОЛЬЗОВАТЕЛЯ КОМПЬЮТЕРНОЙ СИСТЕМЫ
С. 185–189
В статье
рассматривается классификация ошибок пользователя компьютерной системы и
возможные ограничения его допуска для решения практически важных задач.
Последствия ошибок пользователя не менее значительны, чем последствия
аппаратных или программных отказов, поскольку во многих видах деятельности
операторов цена ошибки чрезвычайно велика. Методами нечеткой логики
моделируется компетентность пользователя и состояния компьютерной системы.
Получены продукционные правила для принятия решения о допуске пользователя к
работе на компьютерной системе.
Ключевые слова: компьютерная система, ошибка
пользователя, дефект, компетентность, таксономия, моделирование.
МОДЕЛЮВАННЯ
ДІАГНОСТИЧНИХ СТАНІВ ТА КОМПЕТЕНТНОСТІ КОРИСТУВАЧА КОМП’ЮТЕРНОЇ СИСТЕМИ
Г.Ф. Кривуля, Д.Е. Кучеренко
Розглядається класифікація помилок користувача
комп’ютерної системи та можливі обмеження допуску для рішення практично важливих
задач. Наслідки помилок користувача не менш суттєві, ніж наслідки апаратних або
програмних відмов, тому що у багатьох видах діяльності операторів ціна помилки
надзвичайно велика. Методами нечіткої логіки моделюється компетентність
користувача та стани комп’ютерної системи. Отримані продукційні правила для
прийняття рішення про допуск користувача до роботи на комп’ютерній системі.
Ключевые
слова: комп’ютерна система, помилка користувача, дефект, компетентність, таксономія, моделювання.
SIMULATION OF
G.F. Krivoulya, D.E.
Kucherenko
User error classification and possible
restrictions of user access for practically important tasks solutions are
considered in this paper. The effects of user errors are no less important than
effects of hardware or software faults as far as the cost of error is extremely
high in the major areas of an operator work. The user competence and computer
system states are simulated using fuzzy logic methods. The condition-action
rules for decision making about user access to work on computer system are
received.
Key words: computer system, user error, defect,
competence, taxonomy, simulation.
С. 190–194
В статті
розглянуто критерій надлишковості правил, що дозволяє мінімізувати об’єм надлишкової
діагностичної інформації в базах знань інтелектуальних систем технічного
діагностування. Вплив нечіткої діагностичної інформації посилює значення
критерію ненадлишковості при оцінюванні якості баз знань систем технічного
діагностування. Досліджено чинники, що ускладнюють описані в критерії умови,
які враховують особливості подання та опрацювання нечіткої діагностичної
інформації різними експертами, що в свою чергу дозволяє пом’якшити наслідки
аномальної поведінки інтелектуальних систем технічного діагностування.
Ключові слова: діагностична інформація,
критерій ненадлишковості, дублювання, база знань, лінгвістичні терми, нечітке
логічне виведення
ОБНАРУЖЕНИЕ ИЗБЫТОЧНОСТИ
ПРАВИЛ В НЕЧЕТКИХ БАЗАХ ЗНАНИЙ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ ТЕХНИЧЕСКОГО ДИАГНОСТИРОВАНИЯ
О.В. Поморова, Е.Г. Гнатчук
В статье рассмотрен критерий избыточности правил, который дает возможность минимизировать объем избыточной диагностической информации в базах знаний интеллектуальных систем технического диагностирования. Влияние нечеткой диагностической информации усиливает значение критерия безъизбыточности при оценивании качества баз знаний систем технического диагностирования. Исследованы факторы, которые усложняют описанные в критерии условия, учитывающие особенности представления и обрабатывания нечеткой диагностической информации разными экспертами, что в свою очередь дает возможность смягчить последствия аномального поведения интеллектуальных систем диагностирования.
Ключевые слова: диагностическая информация, критерий безъизбыточности, дублирование, база знаний, лингвистические термы, нечеткий логический вывод.
REVEALING SUPERFLUITY OF RULES IN FUZZY KNOWLEDGE BASES OF INTELLIGENT
TECHNICAL DIAGNOSIS SYSTEMS
O.V. Pomorova, E.G.
Gnatchuk
The article presents a criterion for redundancy
rules, which makes it possible to minimize the amount of excess diagnostic
information in knowledge bases of intelligent systems of technical diagnostics.
Influence of fuzzy diagnostic information increases the value of the criterion
for redundancy in estimating the quality of knowledge base systems of technical
diagnostics. The factors that complicate the conditions described in the
criteria, taking into account the peculiarities of the presentation and working
of fuzzy diagnostic information by different experts, which in turn makes it
possible to mitigate the anomalous behaviour of intelligent systems for the
diagnosis.
Key words: diagnostic information, criterion for redundancy, duplication,
knowledge base, linguistic terms, fuzzy deduction.
ТЕХНИЧЕСКАЯ ДИАГНОСТИКА БОРТОВЫХ РАДИОЛОКАЦИОННЫХ СИСТЕМ В СРЕДЕ STATISTIKA NEURAL NETWORK
С. 195–199
Работа посвящена
проблеме автоматизации поиска неисправностей в бортовых радиолокационных
системах на основе технологий искусственного интеллекта. Предложена
методика построения нейросетевой модели
метода последовательных приближений при поиске неисправностей. В качестве среды
формирования моделей базовых процессов выбран стандартный нейропакет Statistika
Neural Network. Построены модели кластерного анализа входных данных и
двухуровневого классификатора состояний объекта. Предлагаемая методика
позволяет автоматизировать процесс поиска неисправностей РЛС и снизить время на
принятие решений по их восстановлению.
Ключевые слова: радиолокационная система, поиск
неисправностей, кластерный анализ, классификация, нейронная сеть.
ТЕХНІЧНА
ДІАГНОСТИКА БОРТОВИХ РАДІОЛОКАЦІЙНИХ СИСТЕМ В СЕРЕДОВИЩІ STATISTIKA NEURAL NETWORK
О.Л. Ляхов, С.П. Альошин
Робота присвячена проблемі автоматизації пошуку несправностей в бортових
радіолокаційних системах на основі технологій штучного інтелекту. Запропоновано
методику побудови нейромережевої моделі методу послідовних наближень при пошуку
несправностей. В якості середовища формування моделей базових процесів обраний
стандартний нейропакет Statistika Neural
Network. Побудовано моделі кластерного аналізу вхідних даних і
дворівневого класифікатора станів об'єкта. Запропонована методика дозволяє
автоматизувати процес пошуку несправностей РЛС і знизити час на ухвалення
рішень по їх відновленню.
Ключові слова: радіолокаційна система, пошук
несправностей, кластерний аналіз, класифікація, нейронна мережа.
TECHNICAL DIAGNOSTICS OF BOARD RADAR SYSTEMS IN THE
MEDIUM STATISTIKA NEURAL NETWORK
O.L.
Lyakhov, S.P. Aleshin
The work is devoted to the automation
troubleshooting airborne radar systems based on artificial intelligence
techniques. The technique of constructing neural network model of the method of
successive approximations by troubleshooting is proposed. An environment of
basic processes formation models was selected standard package Statistika
Neural Network. A model of cluster analysis of input data and two-level
classification of states of the object was developed. The proposed method
allows to automates the process of troubleshooting the radar and to reduce the
time to make decisions on their recovery.
Key words: radar system, troubleshooting,
cluster analysis, classification, neural network.
Системи програмованої логіки
ПРОБЛЕМИ ПОБУДОВИ ЧАСТКОВО РЕКОНФІГУРОВАНИХ СИСТЕМ НА ПЛІС
С. 200–204
Розглянуто
проблеми побудови частково реконфігурованих систем на базі ПЛІС, котрі
виникатють при побудові таких систем. Відсутність певного стандарту проектування
часткової реконфігурації, як в межах різних типів ПЛІС одного виробника, так і
для різних виробників суттєво ускладнює процес проектування. На прикладі
простого проекту проведено аналіз процесу проектування частково
реконфігурованої системи та показано шляхи її вдосконалення. Звернено увагу на
час реконфігурування системи, який є найбільшим чинником, що гальмує розвиток
реконфігурованих систем на базі ПЛІС.
Ключові слова: ПЛІС, часткова реконфігурація,
модульний проект, час реконфігурації.
ПРОБЛЕМЫ
ПОСТРОЕНИЯ ЧАСТИЧНО РЕКОНФИГУРИРУЕМЫХ СИСТЕМ НА ПЛИС
Р.Б. Дунец, Д.Я. Тиханский
Рассмотрены проблемы построения частично реконфигурируемых систем на базе ПЛИС, возникающие при построении таких систем. Отсутствие определенного стандарта проектирования частичной реконфигурации, как в пределах разных типов ПЛИС одного производителя, так и для разных производителей существенно усложняет процесс проектирования. На примере простого проекта проведен анализ процесса проектирования частично реконфигурируемой системы и показаны пути ее усовершенствования. Обращено внимание на время реконфигурирования системы, которое является основным определяющим фактором, тормозящим развитие систем на базе ПЛИС.
Ключевые слова: ПЛИС, частичная реконфигурация, модульный проект, время реконфигурации.
PROBLEMS OF PARTIALLY RECONFIGURABLE FPGA-BASED SYSTEM
DESIGN
R.B.
Dunets, D.Y. Tykhanskyy
This paper considered design issues of
partially reconfigurable FPGA-based systems. The lack of definite standard of
partial reconfiguration development both for different types of one vendor FPGA
and for different vendors considerably complicates the development process.
Partial reconfiguration process analysis has been done using a simple example.
Paper shows the ways for improvement the design flow. Special attention devoted
to the reconfiguration time, which is the main slow down factor in evolution of
reconfigurable FPGA based system.
Key words: FPGA, partial reconfiguration,
modular design, reconfiguration time.
Хаханов В.И.,
Гузь О.А., Побеженко И.А., Ngene Christopher Umerah
ТЕХНОЛОГИЯ ТЕСТИРОВАНИЯ И ВЕРИФИКАЦИИ СИСТЕМНЫХ HDL‑МОДЕЛЕЙ
С. 205–211
Технология позволяет
осуществлять поиск ошибок с заданной глубиной в программном HDL-коде за
приемлемое для разработчика время путем введения ассерционной избыточности в
критические точки программной модели, определяемые с помощью синтезированных
логических функций тестопригодности. Рассмотрены инновационные технологии
тестопригодного проектирования программных и аппаратных продуктов,
ориентированные на эффективную разработку тестов и верификацию компонентов
цифровых систем на кристаллах. Таким образом, используемые в hardware design
and test критерии управляемости и наблюдаемости применены для оценки качества
программного кода в целях его улучшения и эффективного диагностирования
семантических ошибок.
Ключевые слова: тестирование, тестопригодность,
верификация, ассерция, HDL-модель.
ТЕХНОЛОГІЯ ТЕСТУВАННЯ ТА ВЕРИФІКАЦІЇ СИСТЕМНИХ
HDL-МОДЕЛЕЙ
В.І. Хаханов, О.О. Гузь,
І.О. Побіженко, Ngene Christopher Umerah
Технологія дозволяє
здійснювати пошук помилок із заданою глибиною в програмному HDL-коді за прийнятний для розробника час шляхом введення ассерціонної
надмірності в критичні точки програмної моделі, що визначаються за допомогою
синтезованих логічних функцій тестопридатності. Розглянуто інноваційні
технології тестопридатного проектування програмних та апаратних продуктів, орієнтовані на ефективну
розробку тестів і верифікацію компонентів цифрових систем на кристалах. Таким
чином, використовувані в hardware design and test критерії спостереження та
управління застосовані для оцінки якості програмного коду з метою його
покращення та ефективного діагностування семантичних помилок.
Ключові
слова: тестування,
тестопридатність, верифікація, асерція, HDL-модель.
TECHNOLOGY FOR TESTING AND VERIFICATION OF
SYSTEM HDL-MODELS
V.I. Hahanov, O.O.
Guz, I.O. Pobizhenko, Ngene Christopher Umerah
The technology allows you to search for bugs with a given depth in the
program HDL-code within a reasonable time for the developer by introducing
assertsionnoy redundancy in the critical points of the programming model, that
are defined by the synthesized logic functions testability. Testability is
considered to be innovative in technologies that design software and hardware
products, targeting the effective development of test and verification components of
digital systems in crystals. Thus, they are used in hardware design and in
order to test the criteria for controllability and observability, they are
applied to assess the quality of code in order to improve and effectively
diagnose semantic errors.
Key words: testing, testability, verification,
assertion, HDL-model.
АНАЛИЗ ПОСТРОЕНИЯ ВЫЧИСЛЕНИЙ НА ОСНОВЕ РЕКОНФИГУРИРУЕМЫХ КОМПЬЮТЕРНЫХ СИСТЕМ
С. 212–214
Проведен анализ
особенностей организации вычислений и обработки больших объемов данных на фон
Неймановской архитектуре и на реконфигурируемых вычислительных структурах.
Проанализированы способы построения реконфигурируемых вычислительных структур.
Определены требования к программному обеспечению поддержи работы с
реконфигурируемыми структурами. Предлагаемое решение позволяет перейти от
операций над элементами больших потоков данных к операциям над самими потоками
данных. Показано, что множество кластерных функций возможно использовать
параллельно, что способствует повышению эффективности всей системы вычислений.
Ключевые слова: архитектура ЭВМ,
реконфигурируемые системы, программные средства, аппаратные средства.
АНАЛІЗ ПОБУДОВИ ОБЧИСЛЮВАНЬ НА ОСНОВІ КОМП'ЮТЕРНИХ СИСТЕМ, ЩО РЕКОНФІГУРУЮТЬСЯ
А.О. Біленко, В.С. Ситніков
Наведено аналіз особливостей організації обчислень та обробки великих
об'ємів даних на фон Неймановській архітектурі та на обчислювальних структурах,
що реконфігуруються. Проаналізовані засоби побудови обчислювальних структур, що
реконфігуруються. Визначені вимоги до програмного забезпечення підтримки роботи
зі структурами, що реконфігуруються. Пропоноване рішення дозволяє перейти від
операцій над елементами великих потоків даних до операцій над самими потоками
даних. Показано, що багато кластерних функцій може виконуватися паралельно, що
сприяє підвищенню ефективності всієї системи обчислень.
Ключові
слова: архітектура ЕОМ, системи,
що реконфігуруються; програмні засоби,
апаратні засоби.
THE ANALYSIS OF CONSTRUCTION OF
CALCULATIONS ON THE BASIS OF RE-CONFIGURED COMPUTER SYSTEMS
A.O. Bilenko,
V.S. Sitnikov
The review of the organization of calculations
and processing of great volumes of the data on a background to von Neumann
architecture and on reconfigurable computing structures is presented. The way
of construction of the reconfigurable systems is analyzed. Software
requirements to comply with reconfigurable structures are formulated.
The proposed solution allows to shift from operations with the elements of
large flow of data to operations with data streams themselvers. As a lot of
cluster functions can be used in parallel, a it enhances the effectiveness of
the system's calculations.
Key words: Computer architecture,
reconfigurable systems, software, hardware.
ПОБУДОВА ГЕНЕРАТОРІВ ПРОГРАМНИХ МОДЕЛЕЙ КОМП'ЮТЕРНИХ СИСТЕМ НА КРИСТАЛІ
С. 215–219
Обґрунтовано доцільність
використання генераторів програмних моделей обчислювальних пристроїв при
проектуванні комп’ютерних систем на кристалі та генераторів їх програмних
моделей. Показано, що використання генераторів програмних моделей
обчислювальних пристроїв при проектуванні комп’ютерних систем на кристалі та
генераторів їх програмних моделей дозволяє автоматизувати процес розробки
комп’ютерної системи на кристалі. Запропоновано підхід до проектування
комп’ютерної системи на кристалі, який передбачає використання генераторів
програмних моделей обчислювальних пристроїв, що є компонентами системи, в
якості функціональних блоків генератора програмних моделей комп’ютерних систем
на кристалі.
Ключові слова: програмна модель
обчислювального пристрою, генератор програмних моделей обчислювальних
пристроїв, система на кристалі, генератор програмних моделей систем на
кристалі.
Построение
генераторов
программных моделей компьютерных систем на кристалле
В.А. Мельник, З. Сарайрех
Обоснована целесообразность использования генераторов программных моделей вычислительных устройств при проектировании компьютерных систем на кристалле и генераторов их программных моделей. Получено, что использование генераторов программных моделей вычислительных устройств при проектировании компьютерных систем на кристалле и генераторов их программных моделей позволяет автоматизировать процесс разработки компьютерной системы на кристалле. Предложен подход к проектированию компьютерной системы на кристалле, который предусматривает использование генераторов программных моделей вычислительных устройств, являющихся компонентами системы, в качестве функциональных блоков генератора программных моделей компьютерных систем на кристалле.
Ключевые слова: программная модель
вычислительного устройства, генератор программных моделей вычислительных
устройств, система на кристалле, генератор программных моделей систем на
кристалле.
Development of generators of the software
models of computer systems on a chip
V.A. Melnyk, Z. Saraireh
Expediency of the use of generators of software
models of computing devices in the design of computer systems on a chip and
generators of their program models is
substantiated. It was found that the use of generators of software models of
computing devices at the projection of computer systems on a chip and the use
of generators of their program models automate the process of developing a
computer system on a chip. An approach to
designing a computer system on a chip, which
provides the use of generators of the software models of computing devices,
which are components of the system, as functional blocks of the generator of
the software models of computer systems on a chip is proposed.
Key words:
software model of computing device, the generator of software models of
computing devices, system on chip, the generator of software models of systems
on chip.
Клятченко
Я.М., Тарасенко В.П., Тесленко О.К., Михайлюк А.Ю.
КОМАНДИ СПЕЦІАЛІЗОВАНОГО ПРОЦЕСОРА НА ПЛІС ДЛЯ АДАПТИВНОГО ПОРІВНЯННЯ ІНФОРМАЦІЙНИХ ОБ'ЄКТІВ
С. 220–224
Розглянуто
підходи для створення спеціалізованих команд для soft процесора на базі ПЛІС
для реалізацїі алгоритму швидкісного адаптивного порівняння. Оптимізація алгоритму
порівняння інформаційних об’єктів за рахунок введення спеціалізованих
інструкцій дозволяє досягти показників швидкодії обробки символьних
послідовностей, що перевищують показники програмної моделі алгоритму на базі
стандартних інструкцій. Це створює умови для реалізації низки гібридних
(програмноапаратних) реалізацій інформаційноаналітичних систем, призначених для
оперативної і надоперативної інтелектуальної обробки великих масивів даних
різноманітного типу (електронний текст, числові дані, графіка, мультимедіа
тощо).
Ключові слова: ПЛИС, адаптивне порівняння.
командЫ спецИализированного процессора на ПЛИС
для адаптивного сравнения информацИонных объектов
Я.М. Клятченко, В.П. Тарасенко, А.К. Тесленко, А.Ю. Михайлюк
Рассмотрены подходы для создания специализированных команд для soft процессора на базе ПЛИС для реализации алгоритма скоростного адаптивного сравнения. Оптимизация алгоритма сравнения информационных объектов за счет введения специализированных инструкций позволяет достичь показателей быстродействия обработки символьных последовательностей, превышающие показатели программной модели алгоритма на базе стандартных инструкций. Это создает условия для реализации ряда гибридных (программно-аппаратных) реализаций информационно-аналитические систем, предназначенных для оперативной и сверхоперативной интеллектуальной обработки больших массивов данных различного типа (электронный текст, числовые данные, графика, мультимедиа и т.д.).
Ключевые слова: ПЛИС, адаптивное сравнение.
instructions
implementation of specialized pLD-based processor for adaptive comparison of
information objects
Y.M. Klyatchenko,
V.P. Tarasenko,
O.K. Teslenko,
A.Y. Mykhailyuk
The approaches are considered for PLD-based
soft processor specialized instruction creating for the implementation an algorithm of
high-speed adaptive comparison. Optimization
in comparisons between algorithms of information objects by introducing
specialized instructions can achieve better performance speed in the process of
character sequences, exceeding the performance of a software model of the
algorithm that is based on standard instructions. This creates conditions for a
number of hybrid (software and hardware) implementations of
information-analytical systems to operate and scratch-pad intelligent process
of large data sets of different types (electronic text, numeric data, graphics,
multimedia, etc.).
Key words: FPGA, adaptive comparison.
Куланов В.А.,
Куланов С.А., Скрынник А.С.
С. 225–229
Проведен анализ
существующих техник и инструментально-технических средств засева дефектов встроенных
систем на программируемых логических интегральных схемах (ПЛИС). Предложено
инструментальное средство засева и моделирования одиночных и множественных
константных неисправностей проектов на ПЛИС. Предложенное средство обладает
рядом преимуществ по сравнению с существующими программными комплексами: не
требует знаний языков описания аппаратуры со стороны пользователя,
универсальный формат представления входных данных (EDIF 2.0.0), открытый
программный код, возможность формирования файла «прошивки» для ПЛИС с
инжектированными дефектами.
Ключевые слова: дефект, засев дефектов, ПЛИС,
константная неисправность, stuck-at-fault.
Інструментальний
засіб засіву та моделювання константних несправностей вбудованих систем на пліс
В.О. Куланов, С.О.
Куланов, О.С.
Скриник
Проведено аналіз існуючих технік та інструментально-технічних засобів засіву дефектів вбудованих систем на програмованих логічних інтегральних схемах (ПЛІС). Запропоновано інструментальний засіб засіву та моделювання поодиноких та множинних константних несправностей проектів на ПЛІС.
Ключові слова: дефект, засів дефекту, ПЛІС, константна
несправність, stuck-at-fault.
Stuck-at-fault injection and modeling tool for embedded fpga-based
projects
V.O. Kulanov, S.O. Kulanov, O.S. Skrynnik
Modern fault injection tools for embedded
PLD-based projects are analyzed. A new single and multiple stuck-at-fault
injection and modeling tool for embedded PLD-based projects are proposed.
Key words: defect, fault injection, PLD, stuck-at-fault.
Телекомунікаційні системи та радіоелектронні пристрої
МОДЕЛЬ ФОРМИРОВАНИЯ ЦИФРОВОГО СИГНАЛА В СИСТЕМАХ С АЦП И ЦАП В УСЛОВИЯХ ДЖИТТЕРА ТАКТОВОГО СИГНАЛА
С. 230–232
Разработана модель
формирования цифрового сигнала на выходе аналого-цифрового преобразователя
(АЦП) в системе с цифровой обработкой сигнала. В качестве источника
дискретизируемого аналогового сигнала модель предполагает цифро-аналоговый
преобразователь (ЦАП). Главной особенностью предлагаемой модели является учет
нестабильности положения моментов переключения ЦАП и моментов формирования
отсчетов АЦП (джиттер). Приведены отдельные выражения для напряжений шума,
вызванного джиттером тактового сигнала ЦАП и АЦП, соответственно, полученные в
предположении о малости джиттера.
Ключевые слова: аналого-цифровой
преобразователь, цифро-аналоговый преобразователь, джиттер, линейная
стационарная цепь, отношение сигнал/шум.
МОДЕЛЬ ФОРМУВАННЯ ЦИФРОВОГО
СИГНАЛУ В СИСТЕМАХ З АЦП И ЦАП В
УМОВАХ ДЖИТЕРУ ТАКТОВОГО СИГНАЛУ
М.В. Бондаренко
Розроблена модель формування цифрового сигналу на виході аналого-цифрового
перетворювача (ЦАП) в системі з цифровою обробкою сигналу. За джерело дискретизовуваного
аналогового сигналу модель передбачає цифро-аналоговий перетворювач (ЦАП).
Головною особливістю запропонованої моделі є урахування нестабільності
положення моментів переключення ЦАП и моментів формування відліків АЦП
(джитер). Наведено роздільні вирази для напруги шуму, спричиненого джитером
тактового сигналу ЦАП та АЦП, відповідно, отримані в припущенні о малості
джитеру.
Ключові
слова: аналогово-цифровий перетворювач, цифро-аналоговий перетворювач, джитер,
лінійний стаціонарний ланцюг, відношення сигнал-шум.
DIGITAL SIGNAL FORMING MODEL BY SYSTEMS IN ADC AND DAC CLOCK JITTER CONDITIONS
M.V. Bondarenko
The digital signal forming model of system with
analog-to-digital converter (ADC) and digital-to-analog converter (DAC) clock
jitter is developed. As signal source the DAC is considered. The proposed model
takes into account DAC switch time instability and ADC sample forming time
instability (jitter). The separate expressions of noise signals for ADC and DAC
clock jitter are brought. They were obtained with the assumption that jitter is
small.
Key words: analog-to-digital
converter, digital-to-analog converter, jitter,
linear stationary circuit, signal-to-noise
ratio.
Литвин
В.В., Олейник В.П., Кулиш С.Н., Аль Отти Сами
С. 233–235
Предлагается метод
косвенной диагностики технического состояния прибора «ІХТ-Поріг» по характеристикам, относительно,
более низкочастотных, импульсных токов режима генерации активного элемента. Для
регистрации излучения был применен радиометр позволяющий, производить измерения
на ряде фиксированных частот: 6,9; 18; 35; 54; 90 ГГц. Предложенная модель
искрового заряда в волноводе основывается на представлении разряда в виде
тонкого плазменного цилиндра с заданным временным распределением тока.
Достоверность соответствия устанавливается путем синхронных экспериментальных
измерений параметров низкочастотных процессов и составляющих спектра
электромагнитного излучения миллиметрового диапазона волн.
Ключевые слова: крайне высокие частоты,
электромагнитные поля, информационно-волновая терапия, периодический импульсный
искровой разряд, спектральная плотность мощности излучения.
ГЕНЕРУВАННЯ ТА ОЦІНКА
ПАРАМЕТРІВ ШИРОКОСМУГОВОГО ЕЛЕКТРОМАГНІТНОГО ВИПРОМІНЮВАННЯ КВЧ ДІАПАЗОНУ
НАДНИЗЬКОЇ ІНТЕНСИВНОСТІ ДЛЯ ІНФОРМАЦІЙНИХ ТЕХНОЛОГІЙ В МЕДИЦИНІ
В.В. Литвин, В.П. Олійник, С.М. Куліш, Аль Отти Сами
Пропонується метод непрямої діагностики технічного стану приладу «ІХТ-Поріг» по характеристикам, відносно,
більш низькочастотних імпульсних токів режиму генерації активного елементу. Для
реєстрації випромінювання був застосований радіометр дозволяє, проводити
вимірювання на ряді фіксованих частот: 6,9; 18; 35; 54; 90 ГГц. Запропонована
модель іскрового заряду в хвилеводі ґрунтується на представленні розряду у
вигляді тонкого плазмового циліндра із заданим тимчасовим розподілом струму.
Ключові
слова: край високі частоти, електромагнітні поля,
інформаційно-хвильова терапія, періодичний імпульсний іскровий розряд,
спектральна щільність потужності випромінювання.
GENERATION AND EVALUATE PARAMETRIES OF WIDEBAND ELECTROMAGNETIC
RADIATION OVER A WEAK INTENSITY FOR INFORMATIVE
TECHNOLOGYES IN MEDICINE
V.V Litvin., V.P. Oleynik, S.M. Kulish, Al Otti Sami
The method of indirect diagnostics of the
“IXT-Porig” device technical state is offered on the characteristics with
regard to more low frequency impulse currents active element generation mode.
For the registration of radiation, a radiometer was applied that allows us to
make measurements over a number of fixed frequencies: 6,9,18,35,54,90 GHz. The
proposed model sparks a charge to the waveguide which is based on the
representation of the discharge in the form of a thin cylinder of plasma with a
given temporal distribution of current. The authenticity of correspondence is
made by synchronous experimental measuring of low frequency process parameters
and electromagnetic radiation spectrum components of millimeter wave range.
Key words: super high frequency, electromagnetic fields,
informative-wave therapy, periodical impulse spark discharge, spectral density
power of radiation.
ИНТЕГРАЛЬНОЕ РАСПРЕДЕЛЕНИЕ ЭНЕРГИИ ПО МАСШТАБАМ ВЕЙВЛЕТ-ПРЕОБРАЗОВАНИЯ ПРИ АНАЛИЗЕ ИЗОБРАЖЕНИЙ
С. 236–241
Рассмотрены свойства
интегрального распределения энергии по масштабам непрерывного
вейвлет-преобразования квазипериодических сигналов (ИРЭМ). Проведен анализ ИРЭМ
для базисных функций Гаусса и Хаара. Показано, что ИРЭМ для модели строки
объекта и модели строки символьной последовательности имеет характерные
особенности, которые могут быть использованы при выборе рационального значения
масштабного уровня для локализации в области вейвлет-преобразования отдельных
объектов либо группы объектов (например, символьной информации) на изображении.
Разработанная методика выбора масштабного уровня представляет интерес для
специалистов, занимающихся обработкой сигналов и изображений в прикладных
системах самого широкого применения.
Ключевые слова: вейвлет-преобразование,
интегральное распределение энергии по масштабам, выбор масштабного уровня.
ІНТЕГРАЛЬНИЙ РОЗПОДІЛ ЕНЕРГІЇ ПО МАСШТАБАМ ВЕЙВЛЕТ-ПЕРЕТВОРЕННЯ ПРИ АНАЛІЗІ ЗОБРАЖЕНЬ
С.Г.
Антощук, А.О. Ніколенко
Розглянуті властивості інтегрального розподілу енергії
по масштабам неперервного вейвлет-перетворення квазіперіодичних сигналів
(ІРЕМ). Проведено аналіз ІРЕМ для базисних функцій Гауса та Хаара. Показано, що
ІРЕМ для моделі рядка об’єкта та моделі рядка символьної послідовності має
характерні особливості, що можуть бути використані при виборі раціонального
значення масштабного рівня для локалізації в області вейвлет-перетворення
окремих об’єктів або групи об’єктів (наприклад, символьної інформації) на
зображенні. Розроблена методика вибору масштабного рівня становить інтерес для
фахівців, що займаються обробкою сигналів та зображень у прикладних системах
самого широкого застосування.
Ключові
слова: вейвлет-перетворення, інтегральний розподіл енергії по масштабам, вибір
масштабного рівня.
INTEGRAL ENERGY DISTRIBUTION ON WAVELET
TRANSFORM SCALES AT IMAGE ANALYSIS
S.G. Antoshchuk, A.O.
Nikolenko
Properties of
the integral energy distribution on
wavelet transform scales (IEDS) of quasi-periodical
signals are considered. The IEDS for the base functions of Gausse and Haar is
analyzed. It is demonstrated that that IEDS for
the model of object row and
model of character sequence row has
characteristic features and it can be
used for the choice of rational value of scale level for localization of
separate objects or group of objects (for example, a character information) on
image in wavelet transform field. The developed technique of choosing a scale
level is of interest to professionals involved in signal and image processing
in application systems most widely used.
Key words: wavelet transforms, integral energy distribution on the scales, scale level choice.
БЫСТРО СХОДЯЩИЕСЯ ОРТОГОНАЛЬНЫЕ РЯДЫ В ТЕОРИИ СВЯЗИ
С. 242–250
В работе предлагается
метод представления сигналов в базисе эквидистантных функций, спектральная
плотность которых зависит от энергетического спектра сигнала. Рассмотрен метод
ортогонализации базисных функций путем определения веса ортогональности.
Предложенный метод позволяет улучшить сходимость ряда, описывающего сигнал,
ввести понятие количества степеней свободы сигналов и получить выражение для
пропускной способности физически реализуемого канала связи. Ортогонализация
сигналов, с помощью которых передается информация, позволяет исключить
межсимвольную интерференцию и межканальные помехи. Введение физически
осуществимых базисных функций исключает противоречие, связанное с одновременным
ограничением длительности сигнала и ширины его спектра.
Ключевые слова: сигнал, физически реализуемые
функции, спектральная плотность, ортогонализация, базис, весовая функция, число
степеней свободы, пропускная способность, канал связи, межсимвольная
интерференция, межканальные помехи.
ОРТОГОНАЛЬНІ ЛАВИ, ЩО ШВИДКО СХОДЯТЬСЯ, В ТЕОРІЇ ЗВ'ЯЗКУ
А.М. Дегтярьов
У роботі пропонується
метод представлення сигналів у базисі еквідистантних функцій, спектральна
щільність яких залежить від енергетичного спектру сигналу. Розглянут метод
ортогоналізації базисних функцій шляхом визначення ваги ортогональности.
Запропонований метод дозволяє поліпшити збіжність лави, що описує сигнал,
ввести поняття кількості мір свободи сигналів і отримати вираження для
пропускної спроможності каналу зв'язку, що фізично реалізовується.
Ортогоналізація сигналів, за допомогою яких передається інформація, дозволяє
виключити міжсимвольну інтерференцію і міжканальні перешкоди. Введення фізично
здійсненних базисних функцій виключає суперечність, що пов'язана з одночасним
обмеженням тривалості сигналу і ширини його спектру.
Ключові слова: сигнал, функції, що фізично реалізовуються, спектральна щільність,
ортогоналізація, базис, вагова функція, число мір свободи, пропускна
спроможність, канал зв'язку, міжсимвольна інтерференція, міжканальні перешкоди.
QUICKLY
CONVERGING ORTOGONAL ROWS IN COMMUNICATION THEORY
A.M.
Degtyarev
The method of signals description by physically
implemented functions which depends on the power
spectrum of signal is offered. The
orthogonalizing base functions method by determination of weight is described.
This method allows to enter the concept of amount degrees freedom signals and
to get expression for the communication channel capacity. Signals
orthogonalizing eliminates intercharacter interference and interchannel
hindrances. Introduction of feasible base functions is eliminated by
contradiction, which related to limitation of duration signal and width
spectrum.
Key words: signal, physically implemented functions, spectral concentrations, orthogonalization,
basic, weight function, quantity of freedom, throughput of communication
channel, intersymbol interference, interchannel interference.
Лаврут А.А., Мартиненко А.М., Лаврут
Т.В.
ОПИСАНИЕ СИСТЕМЫ СПУТНИКОВОЙ СВЯЗИ КАК СЛОЖНОГО ДИНАМИЧЕСКОГО ОБЪЕКТА ПРИ ПОМОЩИ МЕТОДА КРОНА
С. 251–256
В статье
предлагается применение метода Крона при проектировании систем спутниковой связи.
Метод Г. Крона дает возможность осуществлять проектирование любых сложных
систем в переходной ситуации, когда вместо старых путей в качестве системы
координат выбираются новые пути, ориентированные на устойчивое развитие,
согласованное с общими законами природы. Таким образом, применяя тензорный
метод Крона для анализа системы спутниковой связи, как сложного объекта,
возможно одновременно учитывать противоречивые параметры системы и
воздействующие на нее факторы в различных (изменяющихся) условиях функционирования,
сохраняя целостность ее рассмотрения.
Ключевые слова: система спутниковой связи, метод
Крона, тензорный анализ.
ОПИС СИСТЕМИ СУПУТНИКОВОГО ЗВ’ЯЗКУ ЯК СКЛАДНОГО ДИНАМІЧНОГО ОБ’ЄКТУ
ЗА ДОПОМОГОЮ МЕТОДУ КРОНА
О.О. Лаврут, А.М.
Мартиненко, Т.В. Лаврут
В статті пропонується застосування методу Крона при проектуванні систем
супутникового зв’язку. Показано, що застосовуючи тензорний метод Крона для
аналізу системи супутникового зв’язку, як складного динамічного об’єкту,
можливо одночасно враховувати суперечливі параметри системи і всі фактори, що
на неї впливають в різних умовах функціонування, зберігаючи цілісність її
розгляду.
Ключові
слова: система
супутникового зв’язку, метод Крона, тензорний аналіз.
DESCRIPTION OF
SATELLITE COMMUNICATION NETWORK AS DIFFICULT DYNAMIC OBJECT THROUGH METHOD OF
KRON
А.А. Lavrut, A.M. Martinenko, T.V. Lavrut
Application of
method of Kron at planning of satellite communication networks is offered in
the article. It is shown that applying the tenzor method of Kron for the analysis of satellite
communication network, as difficult dynamic object, it is possible simultaneously to take
into account the contradictory parameters of the system and all factors
affecting her under various conditions functioning, saving integrity of its
consideration.
Key words: satellite
communications system, method of Kron, tensor analysis.
Коваленко А.А., Кучук Г.А., Можаев
А.А.
ПОСТРОЕНИЕ ЭКСПОНЕНЦИАЛЬНЫХ ВРЕМЕННЫХ ШКАЛ ПРИ АНАЛИЗЕ ОЧЕРЕДЕЙ МУЛЬТИСЕРВИСНЫХ СЕТЕЙ
С. 257–262
В статье
представлены результаты выбора оптимальной временной шкалы при аппроксимации
максимума очереди для трафикового процесса, описываемого фрактальным
броуновским движением (ФБД-трафика). Доказан ряд утверждений, позволяющих
провести анализ выбранных метрик точности, доказана оптимальность на выбранной
метрике экспоненциальных временных шкал. Исследованы асимптотические
характеристики построенных экспоненциальных временных шкал, показаны достоинства
и недостатки предлагаемого подхода при анализе трафика с долговременной
зависимостью, доказана применимость подхода для любого конечного порога
очереди.
Ключевые слова: трафик, шкала, фрактальность,
долговременная зависимость, телекоммуникационная сеть, очередь.
ПОБУДОВА експоненціальних
ЧАСОВИХ ШКАЛ ПРИ АНАЛІЗІ ЧЕРГ МУЛЬТИСЕРВИСНиХ МЕРЕЖ
А.А. Коваленко, Г.А. Кучук,
О.О. Можаєв
У статті представлені результати вибору оптимальної часової шкали при апроксимації максимуму черги для трафикового процесу, що описується фрактальним броунівським рухом (ФБД-трафику). Доведено ряд тверджень, що дозволяють провести аналіз вибраних метрик точності, доведена оптимальність на вибраній метриці експоненціальних часових шкал. Досліджені асимптотичні характеристики побудованих експоненціальних часових шкал, показані переваги і недоліки пропонованого підходу при аналізі трафіку з довготривалою залежністю, доведена застосовність підходу для будь-якого кінцевого порогу черги.
Ключові
слова: трафік, шкала,
фрактальність, довготривала залежність, телекомунікаційна мережа, черга.
Creation
of exponential timescales in multiservice network queues analysis
А.А. Kovalenko, G.A. Kuchuk,
A.A. Mogaev
In the article the results of choice of optimum
timescales are presented during approximation of a maximum of turn for a
traffic process, described fractal brownian motion (FBM-traffic). The row of
assertions, allowing to conduct the analysis of the chosen birth-certificates
of exactness is well-proven, an optimality is well-proven on the chosen
birth-certificate of exponential timescales. Asymptotic descriptions of the
built exponential timescales are investigational, dignities and lacks of
offered approach are rotined at the analysis of traffic with of long duration
dependence, applicability of approach for any eventual threshold of queue is
well-proven.
Key words: traffic,
scale, fractal, long duration dependence, telecommunication network, queue.
Функціональна безпека та живучість
МЕТОДИКА РОЗРАХУНКУ ЕЛЕКТРОМАГНІТНОГО ПОЛЯ БЛИСКАВКИ У ОБМЕЖЕНОМУ ЗАМКНУТОМУ ПРОСТОРІ
С. 263–266
В статті
розглянуто один із методів підвищення ефективності пристроїв блискавкозахисту. Наведено
аналіз існуючого стану справ та запропоновано методику розрахунку
електромагнітного поля блискавки у обмеженому замкнутому просторі приміщення на
ранніх стадіях проектування для розташування обладнання у обмеженому замкнутому
просторі приміщень. Наведено ряд алгоритмів розрахунку. Методика розподілу
електромагнітного полю у обмеженому просторі приміщень включає: визначення
кількості і типу блискавкоприймачів із урахуванням особливостей місцевості
розташування приміщень і т.д.
Ключевые слова: електромагнітне поле,
електромагнітна обстановка, працездатність технічних засобів, електромагнітні
завади.
МЕТОДИКА РАСЧЕТА ЭЛЕКТРОМАГНИТНОГО ПОЛЯ МОЛНИИ В ОГРАНИЧЕННОМ ЗАМКНУТОМ
ПРОСТРАНСТВЕ
М.Ю.
Толкачев
В статье рассмотрен один из методов повышения эффективности устройств грозозащиты. Приведен анализ существующего положения дел и предложена методика расчета электромагнитного поля в ограниченном замкнутом пространстве помещения на ранних стадиях проектирования для расположения оборудования. Приведен ряд алгоритмов расчета.
Ключевые слова: электромагнитное
поле, электромагнитная обстановка, работоспособность технических средств,
электромагнитные помехи.
A TECHNIQUE FOR CALCULATING ELECTROMAGNETIC FIELD OF LIGHTNING
IN A CONFINED CLOSED SPACE
M.U. Tolkachov
The paper describes a method for improving the
effectiveness of lightning protection devices. An analysis of the current state
of the art is provided and a technique is proposed to calculate electromagnetic
field of lightning in a confined space of a premise, which is applicable on
early development stage for determining arrangement of equipment. Several
algorithms for the calculations are described.
Key words: electromagnetic field, lightning
protection devices, space of a premise, calc
С. 267–271
Устойчивость к отказам
программно-аппаратных средств является важной составляющей функциональной
безопасности информационно-управляющих систем (ИУС), а также других критических
характеристик систем, важных для безопасности (гарантоспособности, способность
к эволюции и т.п.). В статье рассмотрены логические модели ошибок контроля
и управления І, ІІ и ІІІ рода с учетом их влияния на безопасность системы.
Дальнейшим направлением исследования может выступать разработка марковских и
полумарковских моделей ИУС с учетом ошибок контроля и управления І, ІІ и ІІІ
рода с дальнейшим определением численных показателей надежности и безопасности.
Ключевые слова: отказоустойчивость, ошибки
контроля и управления, ошибки І и ІІ рода.
АНАЛІЗ ФУНКЦІОНАЛЬНОЇ БЕЗПЕКИ ІНФОРМАЦІЙНО-УПРАВЛЯЮЧИХ СИСТЕМ
З ВИКОРИСТАННЯМ ЛОГІЧНИХ МОДЕЛЕЙ ПОМИЛОК КОНТРОЛЮ ТА УПРАВЛІННЯ
В.В. Скляр
Стійкість до відмов програмно-апаратних засобів є важливою складовою
функціональної безпеки інформаційно-управляючих систем (ІУС), а також інших
критичних характеристик систем, важливих для безпеки (гарантоспособности,
здатність до еволюції й т.п.). У статті розглянуті логічні моделі помилок
контролю й керування І, ІІ й ІІІ роду з урахуванням їх впливу на безпеку
системи.
Ключові
слова: відмовостійкість, помилки контролю та управління, помилки І та ІІ роду.
FUNCTIONAL SAFETY ANALYSIS OF INSTRUMENTATION
AND CONTROL SYSTEMS BY USE OF LOGICAL MODELS CHECKING AND CONTROL ERRORS
V.V. Sklyar
Resilience to software and hardware failures is
an important part of instrumentation and control systems functional safety and
another systems safety critical characteristics (dependability, evolvability
etc.) Logical models of alpha, beta and gamma checking and control errors
taking into account systems safety influence are regarded in this paper.
Key words: fault-tolerance, checking and control
errors, alpha and beta errors.
Бабий С.М.,
Кочкарь Д.А., Чмовж В.В.
АЛГОРИТМ ПОКРЫТИЯ ПЛОЩАДИ ЛЕСНОГО МАССИВА КРУГАМИ ВИДЕОНАБЛЮДЕНИЯ И КОНТРОЛЯ
С. 272–277
В статье
рассмотрен алгоритм покрытия площади лесного массива кругами, центры которых
являются координатами для установки видеокамер наблюдения за состоянием
пожарной опасности. С целью отыскания координат центров кругов
предварительно выполняется упаковка площади многоугольника квадратами. Для
сравнения описана процедура упаковки прямоугольниками. Показано, что выбор
геометрической фигуры зависит от конфигурации площади многоугольника. Приведены
примеры упаковки квадратами и покрытия кругами площади лесного массива.
Ключевые слова: упаковка, покрытие,
многоугольник, лесной массив, видеонаблюдение, пожары.
АЛГОРИТМ ПОКРИТТЯ ПЛОЩІ ЛІСОВОГО МАСИВУ КРУГАМИ ВІДЕОСПОСТЕРЕЖЕННЯ ТА
КОНТРОЛЮ
С.М. Бабій, Д.A. Кочкарь, В.В. Чмовж
У статті приведено алгоритм покриття площі лісовогшо масиву кругами, чії центри є координатами для встановлення відеокамер спостереження за станом пожежної безпеки. З метою відшукування координатцентрів кругов заздалегідь виконуеться пакування площі багатокутника за допомогою квадратів. Для порівняння описано процедуру пакування за допомогою прямокутників. Показано, що вибір геометрічної фігури залежить від конфігурації площі багатокутника. Наведені приклади пакування за допомогою квадратів та покриття кругами площі лісового масиву.
Ключові слова: пакування, покриття, багатокутник, лісовий масив, відеоспостереження, пожежі.
ALGORITHM OF
OVERLAYING
S.М. Babiy, D.А. Kochkar, V.V. Chmovzh
The article contains algorithm of overlaying
the woodland area with circles, which centers are the coordinates of the points
where the video surveillance cameras might be placed for monitoring the fire
hazard condition. With the purpose to find the coordinates of the circle
centers the polygon area was prior packed with squares. The procedure of packing the area with
rectangles is given for comparison. It is shown that selection of geometric
figure depends on configuration of the polygon. Also the examples of packing
with squares and overlaying with circles of the woodland area are given.
Key words: packing, overlaying, polygon,
woodland, video surveillance, fires.
С. 278–282
Приведена
концептуальная модель информационной технологии обеспечения, а также методы оценивания
и обеспечения функциональной безопасности авиационных бортовых
информационно-управляющих систем, основанные на анализе критичности входящих в
них элементов для нормального и безотказного выполнения всех функций, связанных
с безопасностью и определяющих ее полноту. Предложен метод оценивания и
обеспечения функциональной безопасности, в основу которого положен анализ
видов, последствий и критичности отказов отдельных элементов, выполняющих
функции безопасности, а также основные теоретические положения функциональной
безопасности.
Ключевые слова: бортовая
информационно-управляющая система, функциональная безопасность, риск, ущерб,
критичность элемента, метод оценивания, метод обеспечения, информационная
технология.
МЕТОДИ
ОЦІНЮВАННЯ Й ЗАБЕЗПЕЧЕННЯ ФУНКЦІОНАЛЬНОЇ БЕЗПЕКИ БОРТОВИХ
ІНФОРМАЦІЙНО-УПРАВЛЯЮЧИХ СИСТЕМ ЛІТАЛЬНИХ АПАРАТІВ
В.С. Похил, О.В. Харибін
Наведено концептуальну модель інформаційної технології забезпечення, а
також методи оцінювання та
забезпечення функціональної безпеки авіаційних бортових інформаційно-керуючих
систем, що засновані на аналізі критичності елементі, що входять до їх складу,
для нормального та безвідмовного виконання усіх функцій, які пов’язані із
безпекою та визначають її повноту. Запропоновано метод оцінювання і забезпечення
функціональної безпеки, в основу якого покладено аналіз видів, наслідків та
критичності відмов окремих елементів, що виконують функції безпеки, а також
основні теоретичні положення функціональної безпеки.
Ключові слова: бортова
інформаційно-керуюча система, функціональна безпека, риск, критичність
елементу, метод оцінювання, метод забезпечення, інформаційна технологія.
THE
ESTIMATION AND SUPPORTING METHODS OF THE FUNCTIONAL SAFETY OF THE
AIRCRAFT ONBOARD CONTROL & INFORMATION SYSTEM
V.S. Pohyl, O.V. Kharybin
The analytical
review of concept of functional safety is reduced. Importance of reviewing of
functional safety as properties of control & information system (CIS) plant
of critical application is noted. The method of the analysis of criticality of
separate elements and an estimation of functional safety of the aircraft
onboard CIS is offered. A method of evaluating and ensuring the functional
safety, which is based on the analysis of species, effects and criticality of
failures of individual elements that perform security functions, as well as the
basic theoretical principles of functional safety, is proposed.
Key
words: onboard control & information system,
functional safety, risk, criticality of an element, an analysis and estimation
method, supporting method, supporting
information technology.
Бабешко Е.В.,
Ильяшенко О.А., Харченко В.С.
МНОГОЭТАПНЫЙ АНАЛИЗ НАДЕЖНОСТИ И БЕЗОПАСНОСТИ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ
С. 283–287
Информационно-управляющие
системы играют ключевую роль в обеспечении стабильной работы различных
критических объектов и должны соответствовать требованиям национальных
и международных нормативных документов. Для оценки и проверки указанных
соответствий используется множество методов оценки надежности и безопасности.
Преимущества и ограничения отдельных методов подробно описаны в литературе и
закреплены в стандартах, однако далеко не всегда применение только
одного метода является достаточным. В случае же совместного использования
различных методов возникают вопросы совместимости данных между ними, наиболее
рациональных этапов жизненного цикла для применения того или иного метода и
т.д. Данная работа посвящена обсуждению согласованного применения методов анализа
надежности и безопасности на различных этапах жизненного цикла
информационно-управляющих систем.
Ключевые слова: информационно-управляющая
система, надежность, безопасность, FMECA, FTA, RBD.
БАГАТОЕТАПНИЙ АНАЛІЗ НАДІЙНОСТІ ТА БЕЗПЕКИ
ІНФОРМАЦІЙНО‑КЕРУЮЧИХ СИСТЕМ
Є.В.
Бабешко, О.О. Ілляшенко, В.С.
Харченко
Інформаційно-керуючі системи грають ключову роль в
забезпеченні стабільної роботи різних критичних об'єктів і повинні відповідати
вимогам національних і міжнародних нормативних документів. Для оцінки і
перевірки зазначених відповідностей використовується безліч методів оцінки
надійності та безпеки. Переваги та обмеження окремих методів докладно
описані в літературі і закріплені в стандартах, проте далеко не завжди
застосування тільки одного методу є достатнім. У разі ж спільного використання
різних методів виникають питання сумісності даних між ними, найбільш
оптимальних етапів життєвого циклу для застосування того чи іншого методу і
т.д. Дана робота присвячена обговоренню застосування методів аналізу надійності
і безпеки на різних етапах життєвого циклу інформаційно-керуючих систем.
Ключові
слова: інформаційно-керуюча система, надійність, безпека, FMECA, FTA, RBD.
MULTISTAGE RELIABILITY AND SAFETY ANALYSIS OF INFORMATION AND CONTROL
SYSTEMS
E.V. Babeshko,
O.O. Illiashenko, V.S. Kharchenko
Information & control systems
play a key role in ensuring of stable work of various critical objects and
should correspond to requirements of national and international standard
documents. For assessment and check of the specified conformity the set of
methods of reliability and safety estimation is used. Advantages and
restrictions of separate methods are described in the literature in detail and
fixed in standards, however usage of one method is not usually enough. In a
case of various methods usage there questions of data compatibility between
them, the questions of choosing of the most rational stages of life cycle for
use of one or another method etc. This work is dedicated to discussion of the
coordinated application of reliability and safety analysis methods at various
stages of information & control systems life cycle.
Key words: information and control system,
reliability, safety, FMECA, FTA, RBD.
О ДЕГРАДИРУЮЩИХ СИСТЕМАХ С ДЕГРАДИРУЮЩИМИ КОМПОНЕНТАМИ
С. 288–292
Уточняются
понятия, относящиеся к системам с многоуровневой деградацией: глубина, средний шаг
деградации, траектория деградации. Дается классификация систем с многоуровневой
деградацией по признакам: возможности деградации компонент, числа участков
резервирования, чувствительности деградации системы к деградации компонент.
Описываются диаграммы деградации для разных типов систем. Формулируются задачи,
относящиеся к анализу живучести и синтезу живучих систем.
Ключевые слова: многоуровневая деградация,
деградирующая система, деградирующий компонент, множество траекторий
деградации.
ПРО
деградуючі системи з деградуючими компонентами
В.C.
Харченко, Е. Зайцева
Уточнюються поняття щодо систем з багаторівневою деградацією: глибина,
середній крок деградації, траєкторія деградації. Дається класифікація систем з
багаторівневою деградацією за ознаками: можливості деградації компонент,
кількості ділянок резервування, чутливості деградації системи до деградації
компонент. Описуються діаграми деградації для різних типів систем. Формулюються
задачі, що відносяться до аналізу живучості та синтезу живучих систем.
Ключові
слова: багаторівнева
деградація, деградуюча система, деградуючий компонент, множина траєкторій
деградації.
ABOUT MULTI-STATE SYSTEMS OUT OF
MULTI-STATE COMPONENTS
V.S. Kharchenko, Е.
Zaitseva
Concepts of a multi-degradable system or multi-state
system (MSS) and a deep, an average step and a trajectory of multi-level
degradation are specified. The classification of MSSs according to a few
attributes (possibility of components degradation, number of redundancy
sections, sensibility of MSS to degradation of multi-state components (MSC)) is
described. Diagrams of multi-level quality degradation for different sorts of
MSS are analyzed. of proposed. Criteria
of MSS out of MSCs synthesis are formulated. .
Key words: multi-level degradation, multi-state
system, multi-state component, set of degradation trajectories.
АНАЛИЗ МОДЕЛЕЙ И КРИТЕРИЕВ ВЫБОРА МНОГОВЕРСИОННЫХ СИСТЕМ И ТЕХНОЛОГИЙ
С. 293–296
Проанализированы
модели многоверсионных систем (МВС): теоретико-множественные модели МВС, модели
их жизненного цикла, графы многоверсионных технологий (МВТ). Приведен пример
фрагмента графа МВТ для систем с версионно-информационной избыточностью.
Уточняются задачи и критерии выбора МВТ. Определяются направления практического
внедрения МВС и МВТ.
Ключевые слова: модель, многоверсионная
система, многоверсионная технология, граф многоверсионных технологий.
МОДЕЛІ
ТА КРИТЕРІЇ ВИБОРУ БАГАТОВЕРСІЙНИХ СИСТЕМ І ТЕХНОЛОГІЙ
О.А. Сіора
Проаналізовано моделі багатоверсійних
систем (БВС): теоретико-множинні моделі БВС, моделі багатоверсійного життєвого
циклу, графи багатоверсійних технологій (БВТ). Надано приклад графа МВТ для
систем з версійно-інформаційною надмірністю. Уточнено задачі та критерії вибору
БВТ. Визначено напрями практичного впровадження БВС і БВТ.
Ключові
слова: модель,
багатоверсійна система, багатоверсійна технологія, граф багатоверсійних
технологій.
MODELS AND CRITERIA FOR CHOICE OF
MULTI-VERSION SYSTEMS AND TECHNOLOGIES
A.A. Siora
Models of multi-version systems (MVS) including
theoretic-set models, models of life cycle, graphs of multi-version
technologies (MVT) are analyzed. An example of the MVT graph for system with version-information
redundancy is described. Tasks and criteria of BVT choice are specified.
Directions of MVSs and MVTs implementation are proposed.
Key words: model, multi-version system,
multi-version technology, graph of multi-version technologies.
АНАЛИЗ ПРОБЛЕМ ИТ-ИНЖЕНЕРИИ БЕЗОПАСНОСТИ: ПРОЕКТ TEMPUS-SAFEGUARD
С. 297–300
Розглядається
проблема на перетині "критичні об'єкти-інформаційні
технології-безпека". Аналізуються термінологічний, нормативно-методичний,
науково-технічний та освітній аспекти цієї проблеми та можливі шляхи її
вирішення. Описуються задачі, які
вирішуються у рамках проекту TEMPUS-SAFEGUARD, і його очікувані результати.
Ключові слова: безпека, критичні системи,
інформаційні технології, інженерія ІТ-безпеки.
АНАЛИЗ ПРОБЛЕМ ИТ-ИНЖЕНЕРИИ БЕЗОПАСНОСТИ: ПРОЕКТ TEMPUS-SAFEGUARD
В.С. Харченко
Рассматривается проблема на стыке "критические объекты-информационные технологии-безопасность". Анализируются терминологический, нормативно-методический, научно-технический и образовательный аспекты этой проблемы и возможные пути ее решения. Описываются задачи, решаемые в рамках проекта TEMPUS-SAFEGUARD, и ожидаемые результаты.
Ключевые слова: безопасность,
критические системы, информационные технологии, инженерия ИТ-безопасности.
ANALYSIS OF THE PROBLEMS OF SAFEWARE
ENGINEERING:THE PROJECT TEMPUS-SAFEGUARD
V.S.
Kharchenko
The problem “critical systems-information
technologies-safety” is considered. Terminological, normative-methodical,
scientific-technical and educational aspects of the problem and ways of its
decision are analyzed. Tasks and
expected results of the TEMPUS-SFEGUARD project are described.
Key words: safety, critical systems, information
technologies, safeware engineering
Баркалов
А.А., Красичков А.А., Мирошкин А.Н.
С. 301–305
Предлагается
метод синтеза композиционных микропрограммных устройств управления с
разделением кодов и элементарицазией граф-схемы алгоритма управления. Метод
направлен на уменьшение аппаратурных затрат (LUT-элементов) при реализации
устройства управления в базисе FPGA. Уменьшение сложности схемы адресации
микрокоманд достигается за счет введения в формат микрокоманды поля с кодом
класса псевдоэквивалентной операторной линейной цепи. Приводятся условия,
определяющие возможность применения предложенного метода. Приведен пример
применения метода.
Ключевые слова: устройство управления,
элементаризация, операторная линейная цепь, разделение кодов, FPGA,
LUT-элемент.
Розширення
формату мікрокоманд у композиційному мікропрограмному пристрої керування з
елементаризацією операторних лінійних ланцюгів
О.О.
Баркалов, О.О. Красічков, О.М. Мірошкін
Пропонується метод синтезу композиційних мікропрограмних пристроїв
керування з розділенням кодів та елементаризацією граф-схеми алгоритму
керування. Метод спрямований на зменшення апаратурних витрат (LUT-елементів)
при реалізації пристрою керування в базисі FPGA. Зменшення складності схеми
адресації мікрокоманд досягається за рахунок введення до формату мікрокоманд
поля з кодом класу псевдоеквівалентного операторного лінійного ланцюгу.
Приводяться умови, що визначають можливість застосування запропонованого
методу. Приведений приклад застосування методу.
Ключові слова: пристрій керування, елементаризація, операторний лінійний ланцюг, розділення кодів, FPGA, LUT-елемент.
Extension of microinstruction format in compositional microprogram
control unit with code sharing and linear chains elementarization
A.A.
Barkalov, A.A. Krasichkov, A.N. Miroshkin
The new design method for
compositional microprogram control units with code sharing and linear chains
elementarization is proposed. The method targets on reduction in the number of
FPGA LUT-elements in the combinational part of control unit. The additional
field containing code of the class of pseudoequivalent operational linear
chains are used for extension of microinstruction format. Conditions of
proposed method using are given. Proposed method is illustrated by an example.
Key words: control unit, elementarization,
operational linear chain, code sharing, FPGA, LUT-element.
Зеленцов В.А
, Заславский В.А.
ЗАДАЧИ ИЕРАРХИЧЕСКОГО УПРАВЛЕНИЯ ЭКСПЛУАТАЦИЕЙ СЛОЖНЫХ СИСТЕМ
С. 306–310
Рассматриваются
модели принятия решений в двухуровневой иерархической системе управления
эксплуатацией территориально-распределенных систем. Согласование решений
осуществляется в рамках разработанной процедуры, в которой для каждого элемента
нижнего уровня конструируется локальная задача векторной оптимизации и решение,
согласованное для всей системы, ищется на множествах Парето - оптимальных
решений локальных задач. Применение предложенной процедуры позволяет также
существенно снизить объемы информационного обмена между управляющими элементами
и центром.
Ключевые слова: управление эксплуатацией,
иерархические системы, теоретико-игровые модели, многокритериальная
оптимизация, согласование решений.
ЗАВДАННЯ
ІЄРАРХІЧНОГО КЕРУВАННЯ ЕКСПЛУАТАЦІЄЮ СКЛАДНИХ СИСТЕМ
В.О. Зєлєнцов, В.А. Заславський
Розглядаються моделі
ухвалення рішень в дворівневій ієрархічній системі управління експлуатацією
територіально-розподілених систем. Узгодження рішень здійснюється в межах
розробленої процедури, в якій для кожного елементу нижнього рівня конструюється
локальне завдання векторної оптимізації і рішення, узгоджене для всієї системи,
шукається на множині Парето-оптимальних рішень локальних завдань. Застосування
запропонованої процедури дозволяє також істотно зменшити об'єми інформаційного обміну
між елементами, що управляють, і центром.
Ключові
слова: керування експлуатацією, ієрархічні системи, теоретико-ігрові моделі,
багатокритерійна оптимізація, узгодження рішень.
hierarchical
maintenance control problems of the complex systems
V.A. Zelentsov, V.A. Zaslavsky
Decision-making
models in a two-level hierarchical maintenance control system of spatially
distributed systems are presented. The coordination of decisions is made by
developed procedure in which for each element the local multicriteria
optimizations problem is designed, and the optimum decision for system is
defined within of Pareto - optimum decisions of local problems. Application of
proposed procedure allows to significantly decrease volume of information
exchange between controlling elements and center.
Key words: maintenance
control, hierarchical systems, game-theoretic models, multicriteria
optimization, the coordination of decisions.
Кочкарь Д.А.,
Мединцев С.Ю., Орехов А.А.
ОПТИМАЛЬНОЕ РАЗМЕЩЕНИЕ ВЫШЕК НАБЛЮДЕНИЯ НАЗЕМНЫХ СИСТЕМ ВИДЕО-МОНИТОРИНГА ЛЕСНЫХ ПОЖАРОВ
С. 311–314
В статье
рассматривается задача поиска оптимального размещения вышек наблюдения для
проектирования наземных систем видео-мониторинга лесных пожаров с учетом
множества характеристик и ограничений объектов мониторинга. Приводится
математическая модель для решения задач проектирования, которая включает
множество всех возможных типов полигонов и учитывает степень их пожарной
опасности. Предложен эвристический метод и алгоритмы пространственного покрытия
плоских многоцветных фигур произвольной конфигурации с учетом запретных
участков и приоритетных зон.
Ключевые слова: мониторинг лесов, лесной пожар,
покрытие, запретные участки.
ОПТИМАЛЬНЕ
РАЗМІЩЕННЯ ВИШЕК СПОСТЕРЕЖЕННЯ НАЗЕМНИХ СИСТЕМ ВІДЕО-МОНІТОРИНГУ Лісових пожеж
Д.А.
Кочкарь, С.Ю. Медінцев, О.О. Орєхов
У статті розглядается задача пошуку оптимального розміщення вишок
спостереження для проектування наземних систем відео-моніторингу лісових пожеж
с урахуванням характеристик і обмежень об’єктів моніторингу. Доводиться
математична модель для вирішення задач проектування, яка включає безліч усіх
можливих типів полігонів і враховує ступень пожежної небезпеки. Запропоновано
евристичний метод і алгоритми просторового покриття плоских багатобарвних фігур
довільної конфігурації з урахуванням заборонних ділянок та пріоритетних зон.
Ключові слова: моніторинг лісів,
лісова пожежа, покриття, заборонені ділянки.
OPTIMUM ALLOCATION OBSERVANT TOWERS GROUND SYSTEMS OF
VIDEO MONITORING OF FOREST FIRES
D.A. Kochkar, S.U. Medintsev, O.O. Orekhov
A mathematical model for solving
design problems has been proposed. The method and algorithms of spatial
coverage of planar multi-colored figures of arbitrary configuration taking into
account the forbidden plots have been offered. Tools architecture of
ground-based systems of video monitoring has been proposed. The developed
models, methods and algorithms are implemented in design tools of ground-based
systems video monitoring.
Key words: monitoring of forests, forest fire,
covering, forbidden areas.
Шановні
читачі!
Науково-технічний журнал “РАДІОЕЛЕКТРОННІ І КОМП'ЮТЕРНІ СИСТЕМИ“
включений до переліку наукових видань, в яких можуть друкуватися основні
результати дисертаційних робіт (див. постанову президії ВАК України №1-05/3 від
8.07.2009)
Реферативна
інформація зберігається:
– у
загальнодержавній реферативній базі даних «Україніка
наукова» та публікується у відповідних тематичних серіях УРЖ «Джерело» (вільний он-лайновий доступ до
ресурсів на Web-сервері http://www.nbuv.gov.ua);
– у
реферативній базі даних Всеросійського інституту
наукової і технічної інформації (ВІНІТІ) Російської академії наук і
публікується у відповідних тематичних серіях РЖ (вільний он-лайновий доступ до
ресурсів на Web-сервері http://www.viniti.ru).