УДК 681.322.012

Iнтегрований пiдхiд до проектування процесорних масивiв iз систолiчною органiзацiєю обчислень / Ефiмова Л.Д., Капiтонова Ю.В. // Кибернетика и системный анализ. - 2002. - № 6. - C. 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в та архітектур. Іл.: 5. Бібліогр.: 30 назв.

UDC 681.322.012

An integrated approach to design of processor arrays with a systolic organization of calculations / Jelfimova L.D., Kapitonova Ju.V. // Kibernetika i sistemny analiz. - 2002. - N 6. - Р. 3-15.

An integrated approach to design of economically efficient and high-performance processor arrays with a systolic organization of calculations, including construction of VLSI-oriented versions of locally recursive algorithms and synthesis of new architecture of processor arrays for transformed algorithms, which maximally take into account fundamental restrictions of VLSI-technology, is proposed. Within the framework of this approach, strategies of reception of specified algorithms and architecture are developed. Figs: 5. Refs: 30 titles.

УДК 51.681.3

Алгоритм перевірки часових протиріч в MSC діаграмах / Годлевський О.Б., Лопатіна М.В., Свіргуненко С.М. // Кибернетика и системный анализ. - 2002. - № 6. - C. 16-29.

Висвітлено проблему перевірки несуперечності діаграм мови MSC, що враховують тривалість подій. Розглянуто підмножину мови, яка включає обмін повідомленнями між інстанціями діаграми та механізм синхронізуючих умов. Наведено необхідний та достатній критерії несуперечності MSC діаграми, а також алгоритм, що реалізує даний критерій. Алгоритм реалізований на мові С++. Іл.: 1. Бібліогр.: 5 назв.

UDC 51.681.3

An algorithm of MSCs time consistency checking / Godlevsky A.B., Lopatina M.V., Svirgunenko S.N. // Kibernetika i sistemny analiz. - 2002. - N 6. - Р. 16-29.

Problem of time consistency in MSC diagrams with time specifications on events is considered. Analyzed subset of MSC language includes sending and receiving message events and synchronizing conditions. A necessary and suficient criterion of MSCs time consistency property as well as an algorinhm of its realization are presented. Prototype of this algorithm is implemented in C++ code. Fig.: 1. Refs: 5 titles.

УДК 330.115/681.3

Економіко-математична модель трансформаційного типу / Алєксєєв Д.А. // Кибернетика и системный анализ. - 2002. - № 6. - С. 30-35.

Розроблено комплексну модель трансформаційного напрямку. Наведений приклад і модель можуть знайти використання для розрахунків показників оновлення фондів в економіці України. Іл.: 1. Бібліогр.: 3 назви.

UDC 330.115/681.3

Economic-mathematical model of transformation type / Alekseev D.A. // Kibernetika i sistemny analiz. - 2002. - N 6. - P. 30-35.

A complex model of transformation type is developed, an example and the model can be used for evaluation of new Ukrainian funds. Fig.: 1. Refs: 3 titles.

УДК 521.19

Оцінка стаціонарної ефективності промислової лінії з двома ненадійними агрегатами / Погоруй А.O., Турбін А.Ф. // Кибернетика и системный анализ. - 2002. - № 6. - С. 35-42.

Досліджується коефіцієнт стаціонарної середньої продуктивності системи типу агрегат 1 + бункер 1 + агрегат 2 + бункер 2 + споживач як функція від параметрів системи у випадку баланса. Бібліогр.: 5 назв.

UDC 521.19

Estimating a stationary efficiency of a productivity line with two unreliable devices / Pogoruy A.A., Turbin A.F. // Kibernetika i sistemny analiz. - 2002. - N 6. - P. 35-42.

The paper investigates a coefficient of stationary productivity for the device 1 + volume 1 + device 2 + volume 2 + customer type system as a function of system parameters in the balance case. Refs: 5 titles.

УДК 51:621.391

Про одну інтерпретацію системи перетворень на абстрактному регістрі / Бєляєв А.К. // Кибернетика и системный анализ. - 2002. - № 6. - C. 43-50.

Розглядається можлива геометрична інтерпретація перетворень абстрактного регістру. Досліджується питання побудови кінцевих групових площин елементами групи перетворень на цьому регістрі. Табл.: 2. Бібліогр.: 5 назв.

UDC 51:621.391

On one interpretation of a system abstract register transformation / Belyaev A.K. // Kibernetika i sistemny analiz. - 2002. - N 6. - Р. 43-50.

The possible geometrical interpretation of abstract register transformations is considered. Building of a finite group flats by a transformation element group on this register is investigated. Tabl.: 2. Refs: 5 titles.

УДК 519.6

Про комп'ютерну технологiю побудови T-ефективних алгоритмiв обчислення -розв'язкiв задач обчислювальної та прикладної математики / Сергiєнко I.В., Задiрака В.К., Бабич М.Д., Березовський А.I., Бесараб П.М., Людвиченко В.О. // Кибернетика и системный анализ. - 2002. - № 6. - С. 51-64.

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

UDC 519.6

On a computer technology for building up of T-efficient algorithms for calculation of -solutions in numerical and applied mathematics problems / Sergienko I.V., Zadiraka V.K., Babych M.D., Berezovsky A.I., Besarab P.N., Lyudvichenko V.A. // Kibernetika i sistemny analiz. - 2002. - N 6. - P. 51-64.

The paper considers a general technological scheme of building up an algorithm used to calculate an approximate solution to a problem with certain initial data, set limitations for an approximate solution error and a computation time under limited compution resources. Fig.: 1. Refs: 26 titles.

УДК 519.21

Умови асимптотичної нечутливостi ймовiрностi втрати для системи обслуговування GI/G/m/0 / Коваленко I.М., Аткiнсон Дж.Б. // Кибернетика и системный анализ. - 2002. - № 6. - С. 64-73.

Розглядається система обслуговування iз втратами GI/G/m/0. Позначимо a(x) щiльнiсть ймовiрностi iнтервалу мiж подiями вхiдного потоку. Припустимо, що a(x) змiнюється, як при малих x. Нехай час обслуговування має функцiю розподiлу B(x) i середнє значення . Вивчено умови нечутливостi ймовiрностi втрати до форми В(x) за умови, що . Зокрема, для цього необхiдно, щоб . Oтpимaно оцiнки ймовiрностi втрати. Бібліогр.: 42 назви.

UDC 519.21

Conditions for the light-traffic insensitivity of the loss probability in a GI/G/m/0 queueing system / Kovalenko I.N., Atkinson J.B. // Kibernetika i sistemny analiz. - 2002. - N 6. - P. 64-73.

A loss queueing system GI/G/m/0 is considered. Let a(x) be a p.d.f. of interarrival intervals. Assume that this function behaves like for small x. Further let B(x) be a d.f. of service time; be the mean service time. Conditions are derived for the light-traffic insensitivity of the loss probability to the form of B(x) as . In particular, the condition is necessary. Bounds for the loss probability are obtained. Refs: 42 titles.

УДК 519.8

Монотонні модифікації r-алгоритмів та їх застосування / Шор Н.З. // Кибернетика и системный анализ. - 2002. - № 6. - С. 74-96.

Розглядаються монотонні модифікації r-алгоритмів та їх застосування для розв'язку різноманітних задач оптимізації: спеціальних квадратичних, про максимальний розріз графа, мінімаксних. Наводяться результати експериментальних досліджень. Іл.: 1. Табл.: 4. Бібліогр.: 16 назв.

UDC 519.8

Monotonous modifications of r-algorithms and their applications / Shor N.Z. // Kibernetika sistemny analiz. - 2002. - N 6. - P. 74-96.

Monotonous modifications of r-algorithms and their applications for solution to various optimization (special quadratic, max-cut, minimax) problems are considered. The computational experimental results are given. Fig.: 1. Tabl.: 4. Refs: 16 titles.

УДК 519.11

Про способи утворення аргумента цільової функції в задачах комбінаторної оптимізації / Тимофієва Н.К. // Кибернетика и системный анализ. - 2002. - № 6. - C. 96-103.

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

UDC 519.11

On methods of goal function argument construction in combinatoric optimization problems / Timofeeva N.K. // Kibernetika i sistemny analiz. - 2002. - N 6. - Р. 96-103.

A combinatorial configurations of different types are investigated. A new point of view is proposed. Three recurrent combinatoric operators is implemented, with the help of which different types of combinatoric configurations are formed. Refs: 28 titles.

УДК 519.6:681.5

Методи синтезу ефективних ортогональних перетворень високої та низької кореляцiї та їх швидких алгоритмiв для кодування та стиснення цифрових зображень / Гнатiв Л.О., Шевчук О.С. // Кибернетика и системный анализ. - 2002. - № 6 - С. 104-117.

На основi рекурентних матричних методів синтезу ортонормованих перетворень розробленi ефективнi швидкi алгоритми, що потребують перестановки лише вихiдних даних. Проведено тестування цих перетворень на несепарабельних i кореляцiйних моделях. Наводиться їх порiвняльний аналiз з вiдомими слент-перетворенням, перетворенням Уолша за такими характеристиками: ефективнiсть перетворення, максимальне число скорочення бiтiв, середньоквадратична похибка усiчення базису, ефективнiсть кодування з перетворенням та обчислювальна складнiсть. Іл.: 7. Табл.: 1. Бібліогр.: 11 назв.

UDC 519.6:681.5

Methods used for synthesis of efficient orthogonal transforms of high and low correlation and their fast algorithms for digital image coding and compression / Gnativ L.A., Shevchuk E.S. // Kibernetika i sistemny analiz. - 2002. - N 6. - P. 104-117.

On the basis of recurrent matrix methods of synthesis of the orthogonal transforms, the efficient fast algorithms, that need only output data rearrangement, are developed. These transforms are tested on non-separable and correlation models. The comparative analysis of these transforms with the well-known slant and Walsh transforms is given with the following characteristics: transform efficiency, maximum reducible bits, mean-square error of basis restriction, transform coding efficiency and computational complicacy. Figs: 7. Tabl.: 1. Refs: 11 titles.

УДК 519.8

Умови оптимальності та метод розв'язання для одного класу багатокритеріальних неперервних задач розбиття множин / Кисельова О.М., Васильєва Н.К. // Кибернетика и системный анализ. - 2002. - № 6. - С. 118-128.

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

UDC 519.8

Optimality conditions and a solution method for one class of multi-criterion continuous set partitioning problems / Kiseleva E.M., Vasyl'yeva N.K. // Kibernetika i sistemny analiz. - 2002. - N 6. - P. 118-128.

Multi-criterion continuous problems of partitioning sets into subsets with fixed centres under constraints are considered. Two approaches to obteining optimality conditions by Slater are proposed. A solution algorithm for these problems is developed on their basis. Estimates for net steps, that approximate a partitioned set and a criterion reduction parameter set are built. Numerical results of test example solutions are given. Fig.: 1. Refs: 9 titles.

УДК 519.237.5

Визначення точностi оцінювання параметрiв лiнiйної регресiї з урахуванням обмежень-нерiвностей на основi усiченої матрицi середнiх квадратiв помилок оцiнок параметрiв / Корхiн А.С. // Кибернетика и системный анализ. - 2002. - № 6. - C. 128-133.

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

UDC 519.237.5

The definition of linear regression parameters accuracy estimation with consideration the inequality constraints based upon the mean squares errors estimations truncate matrix parameters / Korkhin A.S. // Kibernetika i sistemny analiz. - 2002. - N 6. - Р. 128-133.

There were compared the regression estimation inequality constraints and forecast according to this model with estimation with the least square method. It is shown that introduced constraints allows to increase the accuracy estimation and forecasting. Refs: 3 titles.

УДК 519.21

Проблема Ляпунова в задачах управління динамічними системами / Зaдорожний В.Ф. // Кибернетика и системный анализ. - 2002. - № 6. - С. 133-142.

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

UDC 519.21

Lypunov problem in dynamical control systems / Zadorozhny V.F. // Kibernetika i sistemny analiz. - 2002. - N 6. - P. 133-142.

Vector fields on a compact generate a semi-group ( ) of difeomorfism. If a compact belong to an attraction domain, then this semi-group is transformed in to a compression group in . This result is used to prove that a resolvent of such a semi-group is a kernel operator in the space. Refs: 7 titles.

УДК 004.451.52+616.071

Топо-типологія розвернутого клінічного діагнозу в сучасних медицинських інформаційних системах і технологіях / Весненко А.І., Попов А.О., Проненко М.І. // Кибернетика и системный анализ. - 2002. - № 6. - С. 143-154.

Розглядається рівень розвитку медичних інформаційних систем і технологій на початку XXI століття. Показано складність побудови розвернутого клінічного діагнозу хворого як основи інфраструктури баз медичних даних різних топо-типологій. Іл.: 3. Бібліогр.: 42 назви.

UDC 004.451.52+616.071

The topo-typologie of the structure of full clinic diagnosis in the modern medical information systems and technologies / Vesnenko A.I., Popov A.A., Pronenko M.I. // Kibernetika i sistemny analiz. - 2002. - N 6. - P. 143-154.

The paper shows the medical-information system and technology level in the XXI century. A complicacy of building of a full clinical patienst's diagnosis is shown as a fundament for medical data bases of different topo-typologies. Figs: 3. Refs: 42 titles.

УДК 681.3.007

Шестирiвнева архiтектура розробки прикладних програм для Iнтернету / Рокицький Р.Б. // Кибернетика и системный анализ. - 2002. - № 6. - С. 155-160.

Трирiвнева архiтектура довела свою важливiсть при розробцi прикладних програм. Однак розбиття прикладної програми на три рiвнi недостатньо для забезпечення високого рiвня адаптовностi i повторного використання коду. Запропоновано подальше розбиття кожного рiвня, що уможливлює розробку адаптовних компонентів для кожного з пiдрiвнiв. Реалiзацiя шестирiвневої архiтектури в системi AFW пiдтверджує правильнiсть обраного пiдходу. Іл.: 1. Бібліогр.: 16 назв.

UDC 681.3.007

A six-layer architecture for Internet application development / Rokytskii R.B. // Kibernetika i sistemny analiz. - 2002. - N 6. - P. 155-160.

Three-layered architecture proved its usefulness for application development. However, it is not sufficient for provision of a high of customisability and code reuse level. The paper proposes to divide each layer into additional sublayers and to provide customisable components for them. Implementation of Internet application framework, called AFW, proved that this approach is useful. Fig.: 1. Refs: 16 titles.

УДК 681.513

Про один підхід до розв'язку багатомірних задач навчання розпізнаванню образів / Бабак О.В., Гасанов А.С. // Кибернетика и системный анализ. - 2002. - № 6. - С. 161-167.

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

UDC 681.513

On an approach to solution to multi-dimensional pattern recognition problems / Babak O.V., Gasanov A.S. // Kibernetika i sistemny analiz. - 2002. - N 6. - P. 161-167.

The paper describes one possible approach to solution to multi-dimentional pattern recognition problems. It consists in reduction of multi-dimentional problem to one-dimentional one. Tabl.: 4. Refs: 8 titles.

УДК 519.8

Оптимальні області управління у диференціальних іграх з нефіксованим часом закінчення / Остапенко В.В., Колесник Д.В. // Кибернетика и системный анализ. - 2002. - № 6. - С. 168-172.

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

UDC 519.8

Optimal control in differential games with nonfixed termination / Ostapenko V.V., Kolesnik D.V. // Kibernetika i sistemny analiz. - 2002. - N 6. - P. 168-172.

The paper considers a problem concerned with finding an optimal control domain for a player who overtakes. This domain guarantees a differential game termination in his favor from some starting point that belongs to a defined plurality. Refs: 4 titles.

УДК 681.3:312.2:002.6

Загальні принципи проектування програмного забезпечення для багатопрофільної лікарні / Алєєв Л.С., Болгов М.Ю., Коміссаренко І.В., Максіменко Н.А., Солом'яний Ю.С. // Кибернетика и системный анализ. - 2002. - № 6. - C. 172-175.

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

UDС 681.3:312.2:002.6

Main principles of software design for multiprofile clinics / Aleev L.S., Bolgov M.Yu., Komissarenko I.V., Maksimenko N.A., Solomenny Yu.S. // Kibernetika i sistemny analiz. - 2002. - N 6. - Р. 172-175.

The paper discusses principal features of creation of computer database systems for a multiprofile clinics. They determine a quality and a life ability of such systems in real practice. The main ones are: to use the "items and additions" techniques to store fields (for example, diagnosis); to apply special items to store users' parametres; to apply two-stage data analysis method and a special utility of interactive pointing to necessary data. Refs: 7 titles.

УДК 519.21

Розклад за степенями малого параметра розподілу максимального рангу випадкової булевої матриці / Масол В.В. // Кибернетика и системный анализ. - 2002. - № 6. - С. 176-180.

Розглядається матриця ( ) над полем GF(2), елементами якої є випадкові величини з розподілом, залежним від малого параметра e (epsilon). Знайдено розклад за степенями параметра e ймовірності того, що ранг матриці дорівнює n. Вказані точні значення перших трьох коефіцієнтів. Бібліогр.: 3 назви.

UDC 519.21

Expanding a small parameter distribution of a maximum rank for a random Boolean matrix / Masol V.V. // Kibernetika i sistemny analiz. - 2002. - N 6. - P. 176-180.

The paper considers an matrix ( ) over a field GF(2) that consists of random values with a distribution dependent on a small parameter e. The expansion is found on e power of the probability that the matrix rank is equal to n. Exact values of the first three coefficients are indicated. Refs: 3 titles.

УДК 519.68

Застосування генетичних алгоритмів до задачі про разміщення прямокутників / Ліпницький А.О. // Кибернетика и системный анализ. - 2002. - № 6. - С. 180-184.

Розглядається задача разміщения об'єктів прямокутної форми в заданий прямокутник. Для розв'язку пропонується використовувати генетичні алгоритми. Наводяться деталі реалізації такого підходу. На прикладах показана висока ефективність даного методу. Іл.: 2. Табл.: 3. Біблогр.: 5 назв.

UDC 519.68

Applying genetic algorithms to rectangle packing problem / Lipnitsky A.A. // Kibernetika i sistemny analiz. - 2002. - N 6. - P. 180-184.

The paper considers a problem of packing a rectangular-shape object into a given rectangle. To solve this problem, genetic algorithm approach is proposed. The Details of this methods are provided. A high performance of this mode is shown by two examples. Figs: 2. Tabl.: 3 Refs: 5 titles.