УДК 623/518.3/517.5

Перевірка коректності потреб до програмних систем, поданих атрибутними транзиційними системами / Баранов С.М., Волков В.А., Годлевський О.Б., Капітонова Ю.В., Летичевський О.А. // Кибернетика и системный анализ. - 2003. - № 6. - С. 3-11.

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

UDC 623/518.3/517.5

Verification of software requirements presented as an attribute transition system / Baranov S.N., Volkov V.A., Godlevsky A.B., Kapitonova Yu.V., Letichevsky A.A. // Kibernetika i sistemny analiz. - 2003. - N 6. - P. 3-11.

An approach is presented to verification of requirements. A formal requirement language is described and the properties to be checked are formulated. A scheme for proving some important dynamic properties is developed. Refs: 4 titles.

УДК 681.327

Властивості мультиалгебраїчних систем в задачах компаративного розпiзнавання / Машталір В.П., Шляхов В.В. // Кибернетика и системный анализ. - 2003. - № 6. - С. 12-32.

Для розпiзнавання образiв на основi порiвняння з еталонами введенi i вивченi мультиалгебраїчні системи, що дозволяють проводити спiльну обробку вхiдних даних i класiв їх еквiвалентностi. Сформульовано i доведено необхiднi i достатнi умови iснування таких систем. Показано, що будь-яку алгебраїчну систему можна представити як мультиалгебраїчну. З метою манiпулювання даними дослiдженi умови iзоморфiзму мультиалгебраїчних систем. Бібліогр.: 11 назв.

UDC 681.327

Features of multialgebraic systems in comparative recognition problems / Mashtalir V.P., Shlyakhov V.V. // Kibernetika i sistemny analiz. - 2003. - N 6. - P. 12-32.

Multialgebraic systems, ensuring a coprocessing of input data and classes of their equivalence, are introduced and studied for pattern recognition via template matching. Necessary and sufficient conditions of existence of such systems are formulated and proved. It is ascertained that any algebraic system may be implemented as a multialgebraic one. With the purpose of a data representation manipulation, conditions of multialgebraic system isomorphism are studied. Refs: 11 titles.

УДК 512

Прискорення обчислення визначника та характеристичного поліному без ділення / Сейфуллін Т.Р. // Кибернетика и системный анализ. - 2003. - № 6. - С. 32-45.

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

UDC 512

Acceleration of computing of a determinant and a characteristic polynomial without divisions / Seifullin T.R. // Kibernetika i sistemny analiz. - 2003. - N 6. - P. 32-45.

Algoritms are given that compute a determinant and a characteristic polynomial matrix in ring operations and an adjoint matrix in 3 times more ring operations for an matrix without divisions. Refs : 6 titles .

УДК 512.64:519.61

Граничні зображення зважених псевдообернених матриць з додатно-означеними вагами та регуляризація задач / Сергієнко І.В., Галба Є.Ф., Дейнека В.С. // Кибернетика и системный анализ. - 2003. - № 6. - С. 46-65.

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

UDC 512.64:519.61

Limiting representations for weighted pseudo-inverse matrices with positive definite weights and regularization of problems / Sergienko I.V., Galba Ye. F., Dejneka V.S. // Kibernetika i sistemny analiz. - 2003. - N 6. - P. 46-65.

Limiting representations for weighted pseudo-inverse matrices with positive definite weights are derived. It is shown that regularized problems can be constructed based on such limiting representations intended for evaluation of weighted pseudo-inverse matrices and weighted normal pseudo-solutions with positive definite weights. The obtained results, concerning regularization of problems on evaluation of weighted normal pseudo-solutions, are employed for regularization of least-squares problems with restrictions. Refs: 27 titles.

УДК 514.17+513

Мінімальні еліпсоїди та максимальні симплекси в трьохвимірному евклідовому просторі / Ляшко С.І., Рубльов Б.В. // Кибернетика и системный анализ. - 2003. - № 6. - C. 65-70.

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

UDC 514.17+513

Minimal ellipsoids and maximal simplexes in 3D Euclidean space / Lyashko S.I., Rublyov B.V. // Kibernetika i sistemny analiz. - 2003. - N 6. - Р . 65-70.

The problem of constructing a minimal volume ellipsoid enclosing a given finite set of points and the problem of constructing a maximal volume simplex inscribed in a convex hull of a fine set of points are considered. Properties of these objects are presented as well as a relation between them that provides the possibility to improve geometrical algorithms for finding the objects. Refs: 12 titles.

УДК 519.21

Гранична поведінка оцінок параметрів випадкових величин експоненціального типу / Кнопов П.С., Волох Л.В. // Кибернетика и системный анализ. - 2003. - № 6. - С. 71-75.

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

UDC 519.21

A limiting behaviour of estimations for parameters of random exponential variables / Knopov P.S., Volokh L.V. // Kibernetika i sistemny analiz. - 2003. - N 6. - Р . 71-75.

Limiting behaviour of estimations for unknown parameters of random variables that satisfy a condition of strong hashing is considered. It should be noted that distribution of functionals of such estimations under the condition that true value of parameter is an inside point is normal. Refs: 3 titles.

УДК 519.633.6

Моделювання двовимірних процесів переносу за допомогою нелінійних монотонних схем другого порядку / Акіменко В.В. // Кибернетика и системный анализ. - 2003. - № 6. - С. 75-93.

Розглянуто задачу Коші для двовимірного рівняння переносу. На основі принципу максимуму для багатошарових нелінійних різницевих схем розроблені явна двошарова безумовно монотонна, тривка при великих значеннях різницевого числа Куранта схема другого порядку і неявна двошарова безумовно монотонна схема другого порядку. Іл.: 5. Табл.: 1. Бібліогр.: 19 назв.

UDC 519.633.6

Modelling of two-dimensional transport processes using non-linear monotonous second-order schemes / Akimenko V.V. // Kibernetika i sistemny analiz. - 2003. - N 6. - P. 75-93.

A Cauchy problem for a two dimensional transport equation is considered. On the basis of a maximum principle for multi-layered non-linear numerical schemes, two-layer certainly monotonous, steady at large value of a difference Curant number, an obvious second-order scheme and an implicit two-layered, certainly monotonous, second-order scheme are developed. Figs: 5. Tabl.: 1. Refs: 19 titles.

УДК 519.6

Псевдообернення в задачах керування з обмеженнями / Донченко В.С., Кириченко М.Ф. // Кибернетика и системный анализ. - 2003. - № 6. - С. 93-102.

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

UDC 519.6

Generalized inverse in control with constraints / Donchenko V.S., Kirichenko N.F. // Kibernetika i sistemny analiz. - 2003. - N 6. - P. 93-102.

The task of control for linear systems with constraints is under consideration. It is proved that the task is equivalent to appropriate matrix inequality. A sufficient condition for controls with constraints is also represented. This condition is based on a corresponding sufficient condition for solutions to matrix inequalities. It is proved previously in the paper. The characteristic feature of the condition is its constructiveness. Refs: 13 titles.

УДК 517.63

Некласичн і асимптотичн і формули та апроксимац і я пох і дного порядку точност і властивих значень задач і Штурма - Ліувілля з умовами Біцадзе - Самарського / Макаров В.Л., Лазурчак І.І., Бандирський Б.Й. // Кибернетика и системный анализ . - 2003. - № 6. - С. 102-121.

Розглянуто задачу Штурма-Ліувілля з умовами Біцадзе-Самарського. Дослідження проведено в двох напрямках: побудова та обгрунтування чисельно-аналітичного методу для знаходження власних функцій та власних значень; знаходження власних умов, які базуються на FD-методі. Зазначений метод повинен забезпечити дійсність власних значень, простоту та збіжність узагальненого некласичного аналітичного ряду. Табл.: 2. Бібліогр.: 11 назв.

UDC 517.63

Non-classic asymptotic formulas and approximtion of any order precision of eigenvalues in Sturm-Liouville problem with Bitsadse-Samarsky conditions / Makarov V.L., Lazurchak I.I., Bandyrskii B.I. // Kibernetika i sistemny analiz. - 2003. - N 6. - P. 102-121.

The paper studies the Sturm-Liouville problem with Bitsadse-Samarsky conditions. The study in is carried out in two directions: construction and grounding of a numerical-analytical method used to find an approximation of eigenfunctions and eigenvalues; finding sufficient conditions are based on the FD-method that has to guarantee eigenvalue reality and simplicity and convergence of generalized non-classical analytical series. It is proved that FD-method converges is not slower than geometric progression with denominator, that depends on a discretization parameter in direct proportion, and it depends on a sought eigenvalue number inversely. Tabl.: 2. Refs: 11 titles.

УДК 517.988

Модифiкований варiацiйно-градiєнтний метод для квазiлiнiйних рiвнянь / Лучка А.Ю. // Кибернетика и системный анализ. - 2003. - № 6. - С. 122-131.

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

UDC 517.988

A modified variation-gradient method for quasi-linear equations / Luchka A.Yu. // Kibernetika i sistemny analiz. - 2003. - N 6. - P. 122-131.

The paper proposes modified variation-gradient method for quasi-linear operational equations in a Hilbert space, and substantiates such method. Refs: 5 titles.

УДК 519.85

Розв'язок лінійних задач оптимізації на розміщеннях методом відсікання / Ємець О.О., Барболіна Т.Н. // Кибернетика и системный анализ. - 2003. - № 6. - С. 131-141.

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

UDC 519.85

Solving linear optimization problems on arrangements by a cut method / Yemets О .A., Barbolina T.N. // Kibernetika i sistemny analiz. - 2003. - N 6. - P. 131-141.

An exact combinatorial method cut is proposed for solution to a Euclidean combinatorial optimization problem on arrangements with a linear goal function and linear additional restrictions. An algorithm for this method is developed and justified. Refs: 7 titles.

УДК 519.816

Груповий облiк вiдносної переваги альтернатив у задачах прийняття рiшень / Самохвалов Ю.Я. // Кибернетика и системный анализ. - 2003. - № 6. - С. 141-145.

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

UDC 519.816

A group account of a relative superiority of alternatives in decision-making problems / Samokhvalov Yu.Ya. // Kibernetika i sistemny analiz. - 2003. - N 6. - P. 141-145.

A reveal effect of a single normalization that in a number of decision-making problems results in incorrect outcomes, and the conditions of its origin are determined. The new approach to a multicriterion choice is proposed, the characteristic feature of which is the possibility to shape relations of preference on a set of alternatives by means of a group accounting (record-keeping) of their relative superiority. Refs : 5 titles .

УДК 681.3.06:519

Оптимізація числа процесорів при реалізації неоднорідних розподілених конкуруючих процесів / Коваленко М.С., Метельський В.М., Самаль С.О., Шевченко Л.І. // Кибернетика и системный анализ. - 2003. - № 6. - С. 146-155.

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

UDC 681.3.06:519

Optimizing a number of processors under implementation of heterogeneous distributed competing processes / Kovalenko N.S., Metelsky V.M., Samal' S.A., Shevchenko L.I. // Kibernetika i sistemny analiz. - 2003. - N 6. - P. 146-155.

The paper proposes methods of finding an optimal number of processors, that provide implementation of specified sizes of calculations in directive and minimal time in the asynchronous mode of competing process interaction under a sufficient or a limited number of processors in multiprocessor systems. Fig.: 1. Refs: 5 titles.

УДК 656.222.3

Cистема імітаційного моделювання оцінювання ефективності нових технологій та організації перевезень на залізничному транспорті / Кутах О.П., Фурсова Т.І. // Кибернетика и системный анализ. - 2003. - № 6. - С. 156-166.

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

UDC 656.222.3

Simulation modeling system for estimation of an efficiency of new technologies and organisation of railway transportations / Kutakh A.P., Fursova T.I. // Kibernetika i sistemny analiz. - 2003. - N 6. - P. 156-166.

The paper describes a system of simulation modeling, that allows to investigate the problems of improvement of a transport process, to estimate an efficiency of new technologies and organization of railway transportation, to modify computation criterions, to take dynamics of transportation volumes, their structure, time irregularity; prices, tariffs and normative index variation into account. Refs: 4 titles.

УДК 519.872

Стаціонарні ймовірності станів системи обслуговування з інверсійною дисципліною та замовленнями трьох типів / Таташев О.Г. // Кибернетика и системный анализ. - 2003. - № 6. - С . 167-170.

Знайдено стаціонарні ймовірності станів системи обслуговування з різнотипними замовленнями та інверсійною дисципліною з перериванням. Перерване замовлення залежно від свого типу пізніше дообслуговується або обслуговується заново з новим (або з попереднім) відрізком часу. Бібліогр.: 6 назв.

UDC 519.872

Stationary state probabilities for the queueing system with an inverse discipline and demands of three types / Tatashev A.G. // Kibernetika i sistemny analiz. - 2003. - N 6. - P. 167-170.

The formulas are derived for stationary state probabilities for a queueing system in which a coming demand interrupts a served one or ocupies the first place of a queue. Returning on the server, an interrupted demand of the first type continues its service. An interrupted demand of the second (third) type is served with a new (or with an old) length. Refs: 6 titles.

УДК 519.716.35

Деякі екстремальні задачі для неперервних дійсних функцій, заданих перетворювачами / Коваль Д.А. // Кибернетика и системный анализ. - 2003. - № 6. - С. 170-176.

Розглянуто екстремальні задачі для неперервних дійсних функцій з просторуС[0,1] та можливість їх реалізації. Введені деякі засоби програмування, за допомогою яких полегшується запис апроксимуючих програм. Іл.: 1. Бібліогр.: 5 назв.

UDC 519.716.35

On some extremal problems for continuous real functions specified by converters / Koval' D.A. // Kibernetika i sistemny analiz. - 2003. - N 6. - P. 170-176.

The paper considers extremal problems for continuous real functions from the spaceC[0,1] and the possibilities to implement them. Also, some programming means are introduced, by means of which approximating programs are written in the simpler way. Fig.: 1. Refs: 5 titles.

УДК 519.71

Iдентифiкацiя нелiнiйних нестацiонарних об'єктiв у реальному часі за допомогою радiально-базисних мереж / Руденко О.Г., Безсонов О.О. // Кибернетика и системный анализ. - 2003. - № 6. - С. 177-185.

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

UDC 519.71

On-line identification of nonlinear time-varying systems using a radial basis function network / Rudenko O.G., Bessonov A.A. // Kibernetika i sistemny analiz. - 2003. - N 6. - P. 177-185.

A multistep version of Kaczmarz's projection algorithm is presented. for learning of radial basis function network for identification of nonlinear dynamic systems. A new recursive form of the algorithm is derived. Computer simulation shows that the new algorithm outmatches RLS algorithm both in convergence rate and in computation time required. Figs: 8. Refs: 12.