УДК 519.9

Про одну нечітку задачу багатопараметричного вибору оптимальнихрішень / Сергієнко І.В., Парасюк І.М., Каспшицька М.Ф. // Кибернетика и системный анализ. - 2003. - № 2. - С. 3-15.

Розглянуто задачу вибору оптимальних за сукупністю параметріврішень в нечіткій постановці. При інтерпретації нечіткостей використовуються S-подібні (дзвоноподібні) функції. Для випадку лінгвістичних змінних запропоновано спосіб дефадзифікації. Наведено деякі результати стосовно стійкості задачі. Іл.: 5. Бібліогр.: 11 назв.

UDC 519.9

On a fuzzy multiparameter optimal choice problem / Sergienko I.V., Parasyuk I.N., Kaspshitskaya M.F. // Kibernetika i sistemny analiz. - 2003. - N 2. - P. 3-15.

A parameter set optimal choice problem is considered in fuzzy formulation. Bell-shaped S-functions are used for interpretation of fuzziness. A defuzzification method for linguistic variables is proposed. Some stability results are given. Figs: 5. Refs: 11 titles.

УДК 51.681.3

Формальні методи аналізу властивостей систем / Кривий С.Л., Матвєєва Л.Е. // Кибернетика и системный анализ. - 2003. - № 2. - С. 15-36.

Представлено загальний огляд застосувань формальних методів для специфікації та верифікації програмних технічних систем, а також запропонованопідхід до ідентифікації розв'язку проблеми конфлікту функціональностей (Feature Interaction) у телекомунікаційних системах за допомогою формальних методів. Іл.: 3. Табл.: 1. Бібліогр: 40 назв.

UDС 51.681.3

Formal methods of system feature analysis / Kryvyi S.L., Matveeva L.E. // Kibernetika i sistemny analiz. - 2003. - N 2. - P. 15-36.

The paper gives an overview of formal methods and their applications for specification and verification of software and hardware. A definition of and a solution to the feature interaction problem in telecommunication systems are discussed. Figs: 3. Tabl.: 1. Refs: 40 titles.

УДК 681.3

Застосування графових моделей у перенацілюваних оптимізуючих компіляторах длямікропроцесорів з VLIW-архітектурою / Дорошенко А.Ю., Рагозін Д.В. // Кибернетика и системный анализ. - 2003. - № 2. - С. 37-62.

Описано математичну модель програми, що базується на поняттi iєрархiчного графа, що використовується в перенацiлюваному оптимiзуючому компiляторi НВРК-2 для мiкропроцесорних архiтектур з нерегулярним довгим командним словом. Запропоновано формальний опис мiкропроцесора зтакою архiтектурою i розглянутi питання генерацiї та аналiзу коду для мiкропроцесорiв з довгим командним словом, розширених набором команд для цифрової обробки сигналiв та мультiмедiа застосувань. Розглянуто питання прискорення обчислень в процесорах, орiєнтованих на виконання вказаного кола завдань. Іл.: 8. Бібліогр: 40 назв.

UDC 681.3

Applying graph models in retargetable optimizing compilers for microprocessors with VLIW-architectures / Doroshenko A.E., Ragozin D.V. // Kibernetika i sistemny analiz. - 2003. - N 2. - P. 37-62.

A mathematical program model, based onan hierarchical graph concept, is described. It is used in the retargetable optimizing NVRK-2 compiler for microprocessor architectures with an irregular, very long command word. An optimizing graph transformation system, developed foran hierarchical graph program model is discussed. Formal description of such microprocessor architectures is proposed and issues of code generation and analysis for microprocessors with a very long command word, extended with a command for signal processing and multimedia application, are discussed. Problems of how to speed up computation in processors oriented to application-specificdevelopment, are also considered. Figs: 8. Refs: 40 titles.

УДК 519.713

Новий метод кодуванняпідфункцій у задачах синтезу цифрових пристроїв на ПЛМ / Рицар Б.Є., Кметь А.Б. // Кибернетика и системный анализ. - 2003. - № 2. - C. 63-89.

Запропоновано новий метод кодуванняпідфункцій при декомпозиції системи булевих функцій. Метод грунтується на так званому початковому кодуванні, одержаному з мінімального зображення системи у теоретико-множинній декомпозиційній формі, утвореної q-розбиттям кон'юнктермів у ДНФ функцій. Відмінною особливістю методу є дотримання відповідності сформованих кодівпідфункцій до блокової структури декомпонованої системи, що забезпечує мінімальну інформаційну ємність ПЛМ. Іл.: 5. Табл.: 23. Бібліогр.: 18 назв.

UDC 519.713

A new sub-function encoding method in problems of PLD synthesis of digital devices / Rytsar B.E., Kmet' A.B. // Kibernetika i sistemny analiz. - 2003. - N 2. -Р. 63-89.

A new encoding method for sub-functions at decomposition of Boolean function system is proposed. A method is based on the so-called initial encoding obtained from minimum representation of a system in a set-theoretical decomposition form, derived by conjuncterm q-partitioning in SOP-form of functions. A distinctive feature of a method is held a correcpondence of sub-function codes to a block structure of a decomposedsystem, that provides minimization of a PLD informational capacity. Figs.: 5. Tabl.: 23. Refs: 18 titles.

УДК 519.21

Фільтр Калмана-Б'юсі для лінійних стохастичних динамічних систем з розривними траєкторіями / Береза В.Ю., Ясинський В.К. // Кибернетика и системный анализ. - 2003. - № 2. - С. 89-100.

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

UDC 519.21

Kallman-Bjusi filter for linear stochastic dynamic systems with discontinuous trajectories / Bereza V.Ju., Jasinsky V.K // Kibernetika i sistemny analiz. - 2003. - N 2. - P. 89-100.

The paper considers an optimal linear filtration problem on the basis of Kallman-Bjusi results. The sequential linear regression method, i.e. a modification of the fundamental Wiener results, is used. Refs: 9 titles.

УДК 519.21

Оцінка коефіцієнта неготовності відновлюваної системи, що містить елементи істотно різної надійності / Шумська А.А. // Кибе p нетика и системный анализ . - 2003. - № 2. - С . 101-111.

Запропоновано метод прискореного моделювання коефіцієнта неготовності відновлюваної системи. Його ідея полягає у впорядкуваннітраєкторій відмов за їх рангом, що сприяє раціональній організації обчислювального експерименту. Оцінки є незміщеними та мають обмежену відносну середньоквадратичну похибку. Розглянуто чисельний пpиклад. Табл.: 3. Бібліогр.: 25 назв.

UDC 519.21

Evaluating an unavailability of a repairable system consisting of components with significantly differing reliabilities / Shumskaya A.A. // Kibernetika i sistemny analiz. - 2003. - N 2. - P. 101-111.

A new fast simulatiom method is proposed for evaluation of an unavailability of a repairable system. Its idea is to order failure trajectories according to their ranks, and a rational experiment organization is promoted. The estimates are unbiased and possess a bounded coefficient of variation. A numerical example is given. Tabl.: 3. Refs: 25 titles.

УДК 519.6

Оптимальне керування системою, яка описується двовимірнимрівнянням четвертого порядку з умовами спряження / Сергієнко І.В., Дейнека В.С. // Кибернетика и системный анализ. - 2003. - № 2. - С. 112-133.

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

UDC 519.6

Optimal control of a system described by two-dimensional quartic equation with conjugation conditions / Sergienko I.V., Deyneka V.S. // Kibernetika i sistemny analiz. - 2003. - N 2. - P. 112-133.

The paper considers new problems of optimal control of distributed systems described by partial-differential fourth-order two-dimensional equations with conjugation conditions and quadratic cost functions. The theorems about existence of unique optimal solutions are proved for every considered case. Refs: 7 titles.

УДК 517.95:519.86

До розв'язання задач керування для параболічних систем / Скопецький В.В., Стоян В.А., Благовещенська Т.Ю. // Кибернетика и системный анализ. - 2003. - № 2. - С. 133-142.

Ставляться, розв'язуються та досліджуються задачі керування параболічними системами в обмежених просторово-часових, обмежених просторових та обмежених часових областях. Керування функцією стану таких систем виконується розподіленими зовнішньо-динамічними збуреннями, початковими та крайовими умовами. Досліджуються умови точності та однозначності розв'язків. Іл.: 2. Бібліогр.: 8 назв.

UDC 517.95:519.86

Solution to control problems for parabolic systems / Scopetsky V.V., Stoyan V.A., Blagoveshchenskaja T.Yu. // Kibernetika i sistemny analiz. - 2003. - N 2. - P. 133-142.

The problems of control of parabolic systems in bounded space-time, bounded space and bounded time domains are stated, solved and investigated. The control of the state function for such systems is carried trough the distributed external dynamic perturbations, initial and boundary conditions. The solution accuracy and uniqueness conditions are vestigated. Figs: 2. Refs: 8 titles.

УДК 519.2

Про необхідні і достатні умови існування крайніх розподілів у задачі отримання узагальненихнерівностей Чебишова. II / Стойкова Л.С. // Кибернетика и системный анализ. - 2003. - № 2. - С. 142-149.

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

UDC 519.2

On necessary and sufficient condition of the existence of extreme distribution in the generalized Chebyshof inequalities problem. II / Stoikova L.S. // Kibernetika i sistemny analiz. - 2003. - N 2. - P. 142-149.

The optimization problem for linear functional on the set of distribution with two fixed power moments is considered. New criteria are proposed for the existence distributions, on which the linear functional may get the extremum. Refs: 2 titles.

УДК 519.21

Про моделі керування запасами з опуклою функцією збитків / Кнопов П.С., Дерієва О.М., Демченко С.С. // Кибернетика и системный анализ . - 2003. - № 2. - С . 149-156.

Розглянуто модель керування запасом одного виду продукції з EA-опуклою функцією збитків.Як параметр керування використовується величина поповнення запасу. Знайдено та досліджено стратегії, що є оптимальними у сенсі середніх очікуваних збитків та у сенсі середніх переоцінених збитків з коефіцієнтом переоцінкиb. Бібліогр.: 4 назви.

UDC 519.21

On control inventory tracking models with convex cost function / Knopov P.S., Deriyeva E.N., Demchenko S.S. // Kibernetika i sistemny analiz. - 2003. - N 2. - P. 149-156.

An inventory model, used to control a one-type product stock with A-convex cost function, is investigated. A replenish amount is taken as a control parameter. Strategies, that are optimal in the sense of a mean expected cost and a summary revalued cost with a revaluecoefficientb, are found and examined. Refs: 4 titles.

УДК 519.6

Збіг послідовності векторів двоїстих змінних при дослідженні однієї задачі напіввизнеченого програмування / Дікін І.Й. // Кибернетика и системный анализ . - 2003. - № 2. - С . 156-163.

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

UDC 519.6

Convergence of a dual-variable vector sequence in a semidefinite programming problem / Dikin I.I. // Kibernetika i sistemny analiz. - 2003. - N 2. - P. 156-163.

The paper proposes an iterative algorithm for determination of a feasible solution to a linear semidefinite programming problem. A basic result of convergence ofa interior point method is proved. Two strategies of choosing a step value are considered. Refs: 10 titles.

УДК 681.3

Алгоритми перетворення інформації на основі керованих двомісних операцій / Ізотов Б.В., Молдовян О.А., Молдовян М.А. // Кибернетика и системный анализ . - 2003. - № 2. - С . 164-177.

Для підвищення ефективності сучасних систем захисту інформації запропоновано новий підхід до побудови швидкісних алгоритмів перетворення даних, який базується на застосуванні керованих двомісних операцій. Обговорюються моделі, конструктивні особливості та математичні властивості керованих двомісних операцій. Розглянуто принципи використання таких операцій, перспективних для широкого застосування врізних схемах перетворення інформації. Іл.: 2. Бібліогр.: 15 назв.

UDC 681.3

Algorithms for information conversion on the basis of controlled two-place operations / Izotov B.V., Moldovyan A.A., Moldovyan N.A. // Kibernetika i sistemny analiz. - 2003. - N 2. - P. 164-177.

To increase efficiency of present-day information protection systems, a new approach to design of fast encryption algorithms is proposed. The approach is based on the use of controlled two-place operations. Models, design features and mathematical features of controlled two-place operations are considered. Principles of application of such operations in iterative cryptoschemes are discussed. Figs.: 2. Refs: 15 titles.

УДК 519.21

Осцилюючі системи типу M-M/G/1 / Хидзінський A. / Кибернетика и системный анализ. - 2003. - № 2. - С. 178-187.

Розглянуто осцилюючу систему обслуговування із інтенсивністю вхідого потоку, яка перемикається. Стаття продовжує дослідження в теорії осцилюючих випадкових процесів. Одержано представлення для стаціонарного розподілу довжини черги в системі M-M/G/1. Наведено числовий приклад, який демонструє корисність одержаного представлення. Іл.: 1. Бібліогр.: 11 назв.

UDC 519.21

The M-M/G/1-type oscillating system / Chydzinski A. // Kibernetika i sistemny analiz. - 2003. - N 2. - P. 178-187.

The paper considers an oscillating queueing system with input stream intensity switching. The research on this topic is a continuation of previous studies on oscillating stochastic processes. A steady-state distribution of a queue length in the M-M/G/1 oscillating system is obtained and presented. In addition, the paper gives a numerical example that illustrates the usefulness of this formula is given. Fig.: 1. Refs: 11 titles.