УДК 621.391.7:336.71(075.8)

Коаліційні схеми з ключами загального доступу / Анісімов А.В. // Кибернетика и системный анализ. - 2001. - № 1. - С. 3-17.

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

UDC 621.391.7:336.71(075.8)

Coalition public-key cryptosystems / Anisimov A.V. // Kibernetika i sistemny analiz. - 2001. - N 1. - P. 3-17.

Coalition is a formation where entities can collaborate to achieve mutual goals. The main principle of coalition is that its members do not threaten communication flows inside coalition. Two new RSA-coalition protocols are presented in the paper. Only one member (called a leader) forms an RSA-scheme for others in the first version. Only one arbitrary message to a leader by a protected channel is necessary. In the other variant, even general public parameters are hidden, when being transmitted from a leader to a member. This allows to reduce key lengths and to essentially accelerate communication flows. Figs: 4. Refs: 4 titles.

УДК 517.977

Про керованість лінійних розподілених систем у класах узагальнених впливів / Ляшко С.І., Семенов В.В. // Кибернетика и системный анализ. - 2001. - № 1. - С. 18-42.

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

UDC 517.977

Controllability in classes of singular influences for linear distributed parameter systems / Lyashko S.I., Semenov V.V. // Kibernetika i sistemny analiz. - 2001. - N 1. - P. 18-42.

The paper present, a survey some methods for investigation of controllability of linear distributed systems with singular control (pulse, pointwise control). Theory of negative and positive spaces and a priori inequalities with negative norms is the basis for the approach. For pseudo-parabolic and pseudo-hyperbolic systems, the concrete results are given. Refs: 40 titles.

УДК 519.713

Невідмінність скінченних автоматів відносно деяких середовищ / Курганський О.М. // Кибернетика и системный анализ. - 2001. - № 1. - С. 43-55.

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

UDC 519.713

Indistinguishability of finite automata relative to certain environments / Kurganski A.N. // Kibernetika i systemny analiz. - 2001. - N 1. - P. 43-55.

The problem of indistinguishability of finite automata, interacting with the same environment, is considered. A method of efficient environment construction is given, i.e. it is concerned with environments, for which this problem is algorithmically solvable. An example of non-efficient geometric environment is shown. Refs: 12 titles.

УДК 614.2:002.6+61:681.3

Об'єктні технології проектування корпоративних інформаційних систем масового медичного обслуговування / Довгополов І.М. // Кибернетика и системный анализ. - 2001. - № 1. - С. 56-70.

Висвітлені принципові питання проектування корпоративних систем масового медичного обслуговування. Визначені основні принципи проектування інфологічної структури ПрО та інші можливості об'єктних технологій для структурного аналізу та логічного проектування розподілених застосувань. Іл.: 1. Бібліогр.: 26 назв.

UDC 614.2:002.6+61:681.3

An object technology for design of corporate information mass medical service systems / Dolgopolov I.N. // Kibernetika i sistemny analiz. - 2001. - N 1. - P. 56-70.

The paper deals with principal issues of design of corporate mass medical service systems. The main notions of an information environment are defined, a typical cycle of diagnostical data processing and network monitoring components are described. The main aspects of semiotic presentation of a diagnostical process sign system are reviewed. Fig: 1. Refs: 26 titles.

УДК 519.68

Ефективність байєсівської процедури розпізнавання / Вагіс Г.А., Гупал А.M., Сергієнко І.В. // Кибернетика и системный анализ. - 2001. - № 1. - С. 71-77.

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

UDC 519.68

On efficiency of Bayes procedure for recognition problem / Vagis G.A., Gupal A.M., Sergienko I.V. // Kibernetika i sistemny analiz. - 2001. - N 1. - P. 71-77.

An upperbound of an error for Bayes recognition problem solving procedure is obtained, depending on a number of indications and a teaching selection size. It is proved that Bayes method is suboptimal. Refs: 3 titles.

УДК 517.944

Про iнтегральнi та функцiональнi перетворення в просторово-часових областях з порожнинами / Скопецький В.В., Стоян В.А., Благовещенська Т.Ю. // Кибернетика и системный анализ. - 2001. - № 1. - С. 78-82.

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

UDC 517.944

On integral and functional transformations in spatial-temporal domains with voids / Scopetsky V.V., Stoyan V.A., Blagoveshchenskaya T.Ju. // Kibernetika i sistemny analiz. - 2001. - N 1. - P. 78-82.

Integral and functional transformations of continuous and discrete entries of linear dynamic class of spatial-temporal domains with vacuum inclusions are investigated. Spatial-temporal boundary terms are supposed to be given on boundaries of these inclusions. An influence of spatial-temporal boundary terms on output functions is simulated by imaginary exterior-dynamic perturbations, operating in them. Precision and uniqueness of such simulation is examined. Refs: 5 titles.

УДК 519.6

Гарантоване оцінювання станів динамічних систем методом двостороннього динамічного програмування / Бакан Г.М. // Кибернетика и системный анализ. - 2001. - № 1. - С. 83-96.

На підставі узагальнення процедури динамічного програмування на випадки послідовної оптимізації в прямому та зворотному часі розв'язана задача гарантованого оцінювання (згладжування, фільтрації, завбачення) динамічного процесу, спостережуваного на скінченному інтервалі дискретного часу. Бібліогр.: 9 назв.

UDC 519.6

A guaranteed state estimation of dynamic systems by the two-direction dynamic programming method / Bakan G.M. // Kibernetika i sistemny analiz. - 2001. - N 1. - P. 83-96.

On the basis of generalization of a dynamic programming procedure for the case with sequence optimization in direct and opposite time, a problem of guaranteed estimation (smoothing, filtration, prediction) of a dynamic process, observed on a finite discrete time interval, is solved. Refs: 9 titles.

УДК 518.9

Аналітичний метод рішення ігрової задачі про "м'яку посадку" для рухомих об'єктів / Альбус Дж., Мейстел А., Чикрій А.О., Бєлоусов О.А., Козлов О.І. // Кибернетика и системный анализ. - 2001. - № 1. - С. 97-115.

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

UDC 518.9

An analytical method for solving a game problem of soft landing for moving objects / Albus J., Meystel A., Chikrii A.A., Belousov A.A., Kozlov A.I. // Kibernetika i sistemny analiz. - 2001. - N 1. - P. 97-115.

A game problem as for pursuit of a controlled object, moving in a horizontal plane, by another, moving in a three-dimensional space, is treated. The dynamics of players models motions in a medium, characterized by friction. Initial phase states are described, and sufficient conditions on parameters of a conflict-controlled object are derived, for which the soft landing may be performed. Figs: 4. Refs: 26 titles.

УДК 681.3

Модель ціноутворення в схемі економічної рівноваги Вальраса / Алєксєєв А.А. // Кибернетика и системный анализ. - 2001. - № 1. - С. 115-123.

У схемі з n індивідами і m продуктами знайдені зручні формули ціноутворення у сенсі трудових вартостей. Вони визначаються з системами рівнянь балансів попиту та пропозиції на ринках труда, продуктів і капіталу з урахуванням видів виробничих функций і функцій корисності. Табл.: 3. Бібліогр.: 1 назвa.

UDC 681.3

Pricing model for the scheme of Valras economic equilibruim / Alekseev A.A. // Kibernetika i sistemny analiz. - 2001. - N 1. - P. 115-123.

In a scheme with n individuals and m products, useful formulas of pricing in sense of labor costs are found. They are defined from systems of equations for balances of sells and demands at labor, product and capital markets, when types of productivity and usefulness function are taken into consideration. Tabl.: 3. Ref.: 1 title.

УДК 519.21

Пpискоpене моделювання ймовipностi невиконання планового завдання магiстpальним нафтопpоводом / Кузнєцов М.Ю. // Кибеpнетика и системный анализ. - 2001. - № 1. - С. 124-134.

Дослiджується послiдовна модель системи магiстpального нафтопpоводу пpи загальних пpипущеннях вiдносно функцiй pозподiлу часу безвiдмовної pоботи та вiдновлення пpистpоїв системи. Запpопоновано новий метод пpискоpеного моделювання ймовipностi невиконання планового завдання, який дозволяє також оцiнювати вклад кожного з пpистpоїв пеpекачки нафти у надійність системи. Hаведено чисельний пpиклад. Iл.: 2. Табл.: 2. Бiблiогp.: 24 назви.

UDC 519.21

Fast simulation of pipeline work quota non-fulfilment probability / Kuznetsov N.Yu. // Kibernetika i sistemny analiz. - 2001. - N 1. - P. 124-134.

A serial model of a main pipeline system is investigated. Lifetimes and repair times distribution functions of components are supposed to be of a general form. A new fast simulation method enabling both to construct high-accuracy estimates for pipeline work quota non-fulfilment probability and to evaluate the reliability importance of every system component is proposed. A numerical example is given. Figs: 2. Tabl.: 2. Refs: 24 titles.

УДК 681.322.012

Швидкий алгоритм для множення матриць та його ефективна реалiзацiя на систолiчних масивах / Єлфiмова Л.Д., Капiтонова Ю.В. // Кибернетика и системный анализ. - 2001. - № 1. - С. 135-150.

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

UDС 681.322.012

A fast matrix multiplication algorithm and its efficiet implementation on systolic arrays / Jelfimova L.D., Kapitonova Ju.V. // Kibernetika i sistemny analiz. - 2001. - N 1. - Р. 135-150.

The paper proposes a new fast matrix multiplication algorithm, which, in comparison with Winograd algorithm, has the lower multiplicative complexity, equal to multiplication operations. New optimized architectures of systolic arrays exiting for a proposed arrays, are synthesized. This synthesis is based on a goal-directed transformation of its basic graph. A systolic variant of Strassen algorithm is represented for the first time. Figs: 7. Refs: 39 titles.

УДК 681.3.06

Застосування формалізму породжуючих граматик до аналізу споріднених мов / Колодниць-кий М.М., Левицький В.Г . // Кибернетика и системный анализ. - 2001. - № 1. - С. 151-162.

Проанал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днених мов. Іл.: 1. Табл.: 1. Бібліогр.: 17 назв.

UDC 681.3.06

Applying a formalization of generating grammars for analysis of similar languages / Kolodnitsky N.M., Levitsky V.G. // Kibernetika i sistemny analiz. - 2001. - N 1. - P. 151-162.

Some difficulties, arising under implementation of several compilers of similar languages within the framework of а uniform software system, are analyzed. The problem of similar languages compilers effective construction is formulated. The ways of its solution are proposed. An organisation of any similar languages parser is also proposed and its advantages are considered. Fig.: 1. Tabl.: 1. Refs: 17 titles.

УДК 517.11, 681.3

Бульова алгебра як фрагмент теорії бульових топосів / Провотар O.І., Кондратенко В.О., Дудка Т.М. // Кибернетика и системный анализ. - 2001. - № 1. - С. 163-170.

Розглянуто основні тотожності бульової алгебри та доведено їх категорні аналоги. Бібліогр.: 5 назв.

UDC 517.11, 681.3

Boolean algebra as a fragment of boolean topoi theory / Provotar A.I., Kondratenko V.A., Dudka T.N. // Kibernetika i sistemny analiz. - 2001. - N 1. - P. 163-170.

The basic identities of the Boolean algebra are considered and them categorical analogies are proved. Refs: 5 titles.

УДК 519.6

Евристичний алгоритм розпізнання ізоморфізму графів / Глібовець М.М., Іващенко С.А. // Кибернетика и системный анализ. - 2001. - № 1. - С. 170-176.

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

UDC 519.6

A heuristic algorithm of graph isomorphism distinction / Glybovets N.N., Ivashchenko S.A . // Kibernetika i sistemny analiz. - 2001. - N 1. - P. 170-176.

A heuristic polynomial algorithm of graph isomorphism distinction is presented, which may be attributed to a group of methods, that utilize local characteristic invariants of graphs. On every new step, algorithm behaviour depends on an information about a graph collected during previous steps. All the theorems are proved for a class of non-oriented graphs. Figs: 3. Refs: 3 titles.

УДК 519.852.3

Параметричний узагальнений розв'язок в лінійній векторній оптимізації / Зикіна Г.В. // Киберненика и системный анализ. - 2001. - № 1. - С. 177-181.

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

UDC 519.852.3

A parametrical generalized solution in linear vector optimization / Zykina A.V. // Kibernetika i sistemny analiz. - 2001. - N 1. - P. 177-181.

A parametrical representation of a linear problem of Pareto optimization is considered. A concept of a generalized solution for an appropriate pair of dual problems is introduced. A structure of a parametrical generalized solution is investigated. A correlation between generalized solutions and efficient ones of an initial problem is established. Refs: 5 titles.

УДК 519.21

Про умову ергодичності однієї циклічної системи масового обслуговування / Ціціашвілі Г.Ш. // Кибернетика и системный анализ. - 2001. - № 1. - С. 182-184.

Знайдено умову ергодичності дискретної системи з m чергами, що взаємодіють із приладом періодично. Бібліогр.: 2 назви.

UDC 519.21

An ergodicity condition for a cyclic queueing system / Tsitsiashvili G.Sh. // Kibernetika i sistemny analiz. - 2001. - N 1. - P. 182-184.

An ergodicity condition is obtained for a discrete system including m queues, periodically interacting with a channel. Refs: 2 titles.