УДК 519.21

Ймовiрнiсна схема незалежних випадкових елементiв, що розподiленi на скiнченнiй решітці. I. Точнi розподiли ймовiрностей функцiоналiв об'єднання випадкових елементiв / Олексiйчук А.М. // Кибернетика и системный анализ. - 2004. - № 5. - С. 3-15.

Вводиться ймовiрнiсна схема незалежних випадкових елементiв, якi приймають значення в скiнченнiй решітці. Для цiєї схеми отримано точнi вирази розподiлiв ймовiрностей функцiоналу загального виду та корангу об'єднання випадкових елементiв. Показано, що в термiнах побудованої схеми можуть бути природним чином сформульованi рiзноманiтнi ймовiрнiсно-комбiнаторнi задачi (про розподiли ймовiрностей числа непокритих точок в узагальненiй схемi розмiщення частинок комплектами, числа компонент зв'язностi випадкового гiперграфу, числа рiшень системи випадкових лiнiйних рiвнянь над скiнченним кiльцем з одиницею та ряд iнших). Бібліогр.: 17 назв.

UDC 519.21

Probabilistic scheme of independent random elements distributed on finite lattice. I. Precise probability distributions of random elements union functional / Aleksejchuk A. N. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 3-15.

A probabilistic scheme of independent random elements, getting values from a finite lattice is introduced. For the introduced scheme, exact expressions of a common-type functional and union of co-rank random elements probability distributions are obtained. It is shown, that, in the terms of built scheme, it is possible to naturally form various probabilistic-combinatory problems (about probability distributions for a number of uncovered dots in generalized scheme of particle positioning in one set, a number of binding components for a random hypergraph, a number of solutions to a random linear equations system over a finite ring with one, etc.). Refs: 17 titles.

УДК 519.816

Особливості застосування методу аналізу ієрархій за оцінкою проблем за метричними критеріями / Самохвалов Ю.Я. // Кибернетика и системный анализ. - 2004. - № 5. - С. 15-19.

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

UDC 519.816

Features of hierarchy analysis technique application under alternative assessment by metric criteria / Samohvalov Yu. Ja. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 15-19.

The paper shows that hierarchy analysis technique application under alternative assessment by metric criteria results in a probable change of their binary preference relations. A constructive mechanism allowing to eliminate such an effect is proposed. Fig.: 1. Refs: 3 titles.

УДК 512.64:519.61

Ітераційні методи з різними швидкостями збіжності для обчислення зважених псевдообернених матриць та зважених нормальних псевдорозв'язків з додатно-означеними вагами / Сергієнко І.В., Галба Є.Ф., Дейнека В.С. // Кибернетика и системный анализ. - 2004. - № 5. - С. 20-44.

Побудовано та досліджено ітераційні методи з різними швидкостями збіжності (лінійною, квадратичною, порядку ) для обчислення зважених псевдообернених матриць з додатно-означеними вагами. Для обчислення зважених нормальних псевдорозв'язків з додатно-означеними вагами побудовані та досліджені ітераційні методи з квадратичною швидкістю збіжності. Дані ітераційні методи для обчислення зважених нормальних псевдорозв'язків застосовуються для розв'язування задач найменших квадратів з обмеженнями. Бібліогр.: 37 назв.

UDC 512.64:519.61

Iteration methods with different convergence rates used to calculate weighted pseudoinverse matrices and weighted normal pseudosolutions with positively defined weights / Sergienko I.V., Galba Ye.F., Deineka V.S. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 20-44.

The paper creates and investigates iteration methods with different (linear, quadratic, order) convergence rates. They are used to calculate weighted pseudoinverse matrices with positively defined weights. To find weighted normal pseudosolutions with positively defined weights, iteration methods with a quadratic rate of convergence are made up and examined. Created iteration methods, aimed at calculation of weighted normal pseudosolutions, are used to solve least-square problems with constraints. Refs: 37 titles.

УДК 517.95:518.96

Про оптимізацію результатів псевдоінверсного моделювання динаміки розподілених просторово-часових процесів / Скопецький В.В., Стоян В.А., Кривонос Ю.Г. // Кибернетика и системный анализ. - 2004. - № 5. - С. 45-57.

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

UDC 517.95:518.96

Optimization of results of pseudo-inverse modeling of dynamics of distributed spatial-temporal processes / Scopetskiy V.V., Stoyan V.A., Krivonos Yu.G. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 45-57.

The research of root-mean-square modeling of initial boundary-value problems of dynamics of systems with distributed parameters is continued. The paper states and solves the problems of minimization of inaccuracies of such modeling by optimization of experimental observation of initial edge conditions of a system and by selection of reference points for modeling functions. Refs: 11 titles.

УДК 519.71:510.22:519.21

Інтервальні характеристики хаотичних послідовностей / Личак М.М. // Кибернетика и системный анализ. - 2004. - № 5. - С. 58-71.

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

UDC 519.71:510.22:519.21

Interval characteristics of chaotic sequences / Lychak M.M. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 58-71.

The basis of mathematical chaotic theory for investigation of sequences, that are formed by a chaotic choice of the elements from an event set, is constructed. Their own and mutual interval characteristics (interval functions) are introduced. Within the framework of the set-theoretic approach the analogs to probability characteristics are introduced. They are represented as a particular case, when similar features are exhibited only under certain conditions when limiting cases of the numerical sequence analysis are considered. Refs: 11 titles.

УДК 519.2

Точні верхні границі ймовірності відмови системи в інтервалі часу при неповній інформації про функцію розподілу / Стойкова Л.С. // Кибернетика и системный анализ. - 2004. - № 5. - С. 72-83.

Отримано точні верхні оцінки ймовірності , в класі функцій розподілу невід'ємних випадкових величин, що мають унімодальну щільність з довільною модою і один або два перших фіксованих моменти. Табл.: 7. Бібліогр.: 14 назв.

UDC 519.2

Least upper bounds of system failure probability in time interval under an incomplete information about a distribution function / Stoikova L.S. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 72-83.

Least upper bounds are obtained for probability , on the set of distribution functions of nonnegative random variables with unimodal density with an arbitrary mode and one or two first moments. Tabl.: 7. Refs: 14 titles.

УДК 517.9:519.3

Оптимальне кеpування поpядком асимптотик для елiптичних piвнянь зi швидко осцилюючими коефiцiєнтами. I. Фоpмальнi побудови / Капустян В.О., Шамаєв Є.В. // Кибеpнетика и системный анализ. - 2004. - № 5. - C. 84-95.

Побудовано фоpмальнi алгоpитми повних асимптотичних pозкладень pозв'язкiв задач оптимального глобально обмеженого кеpування елiптичними piвняннями зi швидко осцилюючими коефiцiєнтами. Якщо pозмipнiсть ядpа дифеpенцiального опеpатоpа вихiдної задачi вiдpiзняється вiд нуля, то для кеpованої системи можуть iснувати асимптотики piзних поpядкiв. Бiблiогp.: 16 назв.

UDC 517.9:519.3

Optimal control by asymptotics order for elliptic equations with fast oscillating coefficients. Part 1. Formal constructions / Kapustyan V.Ye., Shamaev Ye.V. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 84-95.

In this paper formal algorithems for full asymptotic decompositions of solutions of optimal global bounded control problems for elliptic equations with fast oscillating coefficients are built. Under condition that dimension of differential operator kernel of initial problem is not zero it is found, that asymptotics of different orders can exist for control system. Refs: 16 titles.

УДК 517.9

Базові рівноваги теорії некооперативних ігор / Смольяков Е.Р. // Кибеpнетика и системный анализ. - 2004. - № 5. - С. 95-108.

Пропонується ієрархічно зв'язана група несиметричних рівноважень, що доповнює відомі поняття симетричних рівноважень та допомагає знайти єдине найсильніше симетричне рішення в будь-яких іграх. Бiблiогp.: 22 назви.

UDC 517.9

Basis equilibria for noncooperative games theory / Smoljakov E.R. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 95-108.

An hierarchically connected group of nonsymmetric equilibria is proposed that supplements the known notions of symmetric equilibria and helps to find a single strongest symmetric solution in any games. Refs: 22 titles.

УДК 517.977.8

Математичне моделювання динамічної гри в задачі конкуренції підприємств / Константінов Р.В., Половінкін Є.С. // Кибеpнетика и системный анализ. - 2004. - № 5. - C. 108-115.

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

UDC 517.977.8

Mathematical modeling of a dynamic game in an enterprise competition problem / Konstantinov R.V., Polovinkin E.S. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 108-115.

The paper solves a problem of competition between two enterprises. Such a problem is reduced to an antagonistic dynamic game on a fixed time interval with a convex compact objective set in the presence of a phase constraint, i.e. a convex compact set. Refs: 8 titles.

УДК 519.85

Розв'язок задач евклідової комбінаторної оптимізації методом побудови лексикографічної еквівалентності / Ємець О.О., Барболіна Т.М. // Кибернетика и системный анализ. - 2004. - № 5. - С. 115-125.

Даний метод оснований на розбитті простору за допомогою відношення еквівалентності. На базі лексикографічного перебору класів еквівалентності розроблено алгоритми розв'язку нового класу оптимізаційних задач - лінійної умовної евклідової задачі лексикографічної комбінаторної оптимізації. Бібліогр.: 12 назв.

UDC 519.85

Solving Euclidean combinatorial optimization problems by lexicographic equivalence method / Yemets O.A., Barbolina T.N. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 115-125.

The paper considers a method based on space splitting with an equivalence relation. On the basis of lexicographic exhaustive search of equivalence classes, the paper develops algorithms for solution of the new class of optimization problems, i.e., a linear conditional Euclidean problem of lexicographic combinatorial optimization. Refs: 12 titles.

УДК 519.8

Задачi синтезу зв'язних мереж відносно iзоморфних пiдграфів / Шаріфов Ф.А. // Кибернетика и системный анализ. - 2004. - № 5. - С. 126-131.

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

UDC 519.8

Problems of annected network synthesis with respect to isomorphic subgraphs / Sharifov F.A. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 126-131.

This paper deals with problems of design of networks with a minimum cost in such a way that an optimal network remains connected in cases of when all edges of an isomorphic subgraph for a given graph are deleted from a network. Existence of a solution to the considered problems is investigated for different isomorphic subgraphs. Refs: 9 titles.

УДК 519.74

Декомпозиція мереж Петрі / Зайцев Д.А. // Кибернетика и системный анализ. - 2004. - № 5. - С. 131-140.

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

UDC 519.74

Decomposition of Petri nets / Zaitsev D.A. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 131-140.

A problem of splitting of any given Petri net on functional subnets is considered. Features of functional subnets and their inducing sets are investigated. A net decomposition algorithm of a polynomial complexity is constructed. Figs: 6. Refs: 9 titles.

УДК 519.21

Аналіз надійності системи з комбінованим резервом часу / Обжерін Ю.Є., Песчанський О.І. // Кибернетика и системный анализ. - 2004. - № 5. - С. 141-149.

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

UDC 519.21

Analysis of system realiability with an integrated time reserve / Objerin Yu.E., Peschansky A.I. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 141-149.

A semi-Markov model with a discrete-continious phase space of system states with an integrated time reserve is considered. Main reliability characteristics of this system are found. Refs: 5 titles.

УДК 519.853:517.988

Регуляризований неперервний проекційний метод мінімізації другого порядку зі змінною метрикою / Малінов В.Г. // Кибернетика и системный анализ. - 2004. - № 5. - С. 150-159.

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

UDC 519.853:517.988

A regularized projection continuous variable metric minimization method of the second order / Malinov V.G. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 150-159.

A regularized variable metric method in Hilbert space is proposed for minimization problems with inaccurate initial date, based on continuous second-order projection variable metric method in conjunction with the Tikhonov function method. Sufficient conditions for method convergence are investigated. Refs: 14 titles.

УДК 512.8

Перетворення А.І. Лобанова / Великий А.П., Турбін А.Ф. // Кибеpнетика и системный анализ. - 2004. - № 5. - С. 160-168.

Введено поняття перетворення Лобанова, вивчено його властивості та можливості застосування до кодування інформації. Показано, що ці перетворення відносяться до класу геометричних. Табл.: 1. Бiблiогp.: 11 назв.

UDC 512.8

A.I. Lobanov transformations / Velikii A.P., Turbin A.F. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 160-168.

A notion of Lobanov transformation is introduced. Its features and application to information encoding are studied. It is shown that such transformations belong to the geometric transformation class. Tabl.: 1. Refs: 11 titles.

УДК 621.325.5:621.382.049.77

Відмовостійкий мультипроцесор реального часу з вбудованим механізмом відновлення / Косовець М.А., Косовець Л.М. // Киберненика и системный анализ. - 2004. - № 5. - С. 169-176.

Описано архітектуру відмовостійкого мультипроцесора з вбудованим механізмом відновлення. Ефект досягається за рахунок перезапуску процесу або його частини при виникненні помилки. Взаємодія декількох процесорів при виникненні помилки веде до багатошагового відновлення обчислювального процесу. Наведено оцінку ефективності даної відмовостійкої технології. Библіогр.: 7 назв.

UDK 621.325.5:621.382.049.77

Fault-tolerant real-time multiprocessor with an embedded recovery mechanism / Kosovets N.A., Kosovets L.N. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 169-176.

An architecture of fault-tolerant multiprocessor with a rollback recovery mechanism is described. The effect is achieved due to process restart or its assorted parts when an error occurs. Interaction of some processes leads here to multistep reconstruction of computing process. An evaluation of efficiency of this fault-tolerant technology is given. Refs: 7 titles.

УДК 517.977.5,519.7

Побудова та вивчення стiйкостi моделi протипухлинного iмунiтету / Марценюк В.П. // Кибеpнетика и системный анализ. - 2004. - № 5. - C. 177-182.

Запропоновано спрощену модель опису протипухлинного iмунiтету. Вона опирається на модель iмунного захисту Г.І. Марчука та модель Гомперца. Отримано достатнi умови асимптотичної стiйкостi рiвноважного стану в термiнах коефiцiєнтiв характеристичного квазiполiнома. Бiблiогp.: 8 назв.

UDC 517.977.5,519.7

Construction and stability investigation of tumor immunity model / Martseniuk V.P. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 177-182.

The paper proposes a simplified model for tumor immunity description. It is based on G.I. Marchuk's immune protection model and Gompertzian model. Sufficient conditions of its equilibrium state asymptotic stability in terms of characteristic quasipolynomial coefficients are obtained. Refs: 8 titles.

УДК 519.21

Ергодичний розподіл ресурсу системи / Алієва Т.А., Насірова Т.І. // Кибеpнетика и системный анализ. - 2004. - № 5. - C. 183-187.

Знайдено розподіл Лапласа ергодичного розподілу процесу напівмарківського блукання із затримуючим екраном у нулі. Бiблiогp.: 6 назв.

UDC 519.21

Ergodic distribution of a system resource / Aliyeva T.A., Nasirova T.I. // Kibernetika i sistemny analiz. - 2004. - N 5. - P. 183-187.

The paper finds a Laplace transform of an ergodoc distribution for a semi-Markov process of a random walk with a delaying screen in zero. Refs: 6 titles.