УДК 519.716.35

Макроперетворювачі і аплікативні системи для часткових неперервних функцій / Лісовик Л.П. // Кибернетика и системный анализ. - 2001. - № 2. - С. 3-15.

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

UDC 519.716.35

Macrotransducers and applicative systems for partialy continuous functions // Lisovik L.P. // Kibernetika i sistemny analiz. - 2001. - N 2. - P. 3-15.

It is proved that a -calculus can be interpreted in the theory of partial continuous operators in a space . This calculus has universality and approximation axioms and also an s-m-n-axiom. Realizeability, continuity and compatibility problems are considered. As realizeability of functionals and operators their determination by means of macrotransducers over labeled trees is implied. Refs: 22 titles.

УДК 681.3.06, 517.11

Аплікативні композиції часткових предикатів / Нiкiтченко М.С. // Кибернетика и системный анализ. - 2001. - № 2. - С. 15-33.

Визначаються та досліджуються композиції часткових предикатів граничного конкретного рівня абстракції, які є основою різних інфінітарних логік предикатів. Наведений повний опис таких композицій в термінах спеціальних алгебр Кліні та побудовано повні системи тотожностей для таких композицій. Визначено необхідні та достатні умови застосування правила виведення modus ponens для логік часткових предикатів. Бiблiогр.: 19 назв.

UDC 681.3.06, 517.11

Applicative compositions of partial predicates / Nikitchenko N.S. // Kibernetika i sistemny analiz. - 2001. - N 2. - P. 15-33.

Compositions of partial predicates of the lowest abstraction level, which form a basis for infinitary predicate logics, are defined and investigated. Complete descriptions of such compositions in terms of special Kleene algebras are given, and complete equational systems for such compositions are constructed. Necessary and sufficient conditions for correctness of the modus ponens rule in logics of partial predicates are defined. Refs: 19 titles.

УДК 007:159.955:519.72

Структурний синтез модульних слабозв'язних нейронних мереж. I. Методологія структурного синтезу модульних нейронних мереж / Дорогов О.Ю. // Кибернетика и системный анализ. - 2001. - № 2. - С. 34-42.

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

UDC 007:159.955:519.72

A structural synthesis of modular poorly connected neural nets / Dorogov A.Yu. // Kibernetika i sistemny analiz. - 2001. - N 2. - P. 34-42.

Structural models of modular neural nets without contours are considered. A concept of weakly connected neural nets is introduced. A genetic principle of generation of poorly connected neural nets is offered, and its reproductivity is provided on the basis of theories of categories. Algorithmic realizations of structural synthesis are considered. The examples are given. Figs: 5. Refs: 12 titles.

УДК 519.7

Структура семантичної нейронної мережі, що добуває у реальному часі зміст із тексту на звичайній мові / Шуклін Д.Є. // Кибернетика и системный анализ. - 2001. - № 2. - С. 43-48.

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

UDC 519.7

Structure of semantic neural net parsing text meaning in real time / Shuklin D.E. // Kibernetika i sistemny analiz. - 2001. - N 2. - P. 43-48.

A synchronized linear tree as structure of links between neurons in semantic neural net, parsing text meaning in real time is described. Parsing texts meaning in natural language is distribution of neurons activation waves in a neural net. Meaning is semantic neural net state. Figs: 5. Refs: 2 titles.

УДК 517.11, 681.3

Т-ефективнi алгоритми обчислення -розв'язкiв задач обчислювальної та прикладної математики. I / Бабич М.Д., Березовський А.І., Бесараб П.M., Задiрака В.К., Людвиченко В.O., Сергiєнко I.В. // Кибернетика и системный анализ. - 2001. - № 2. - С. 49-70.

Викладено пiдхiд до побудови ефективних за складнiстю алгоритмiв обчислення -розв'язкiв задач обчислювальної та прикладної математики, а також виявленi резерви, якi при цьому можуть бути використанi. Даний пiдхiд проiлюстрований на двох класах задач: наближення функцiй та чисельне iнтегрування. Табл.: 1. Бiблiогр.: 23 назви.

UDC 517.11, 681.3

T-efficient algorithms for calculation of -solutions of calculus and applied mathematics problems. I / Babich M.D., Berezovsky A.I., Besarab P.N, Zadiraka V.K., Lyudvichenko V.A., Serhienko I.V. // Kibernetika i sistemny analiz. - 2001. - N 2. - P.. 49-70.

For the problems of the calculus and applied mathematics, an approach to construction of the efficient by complexity algorithms, calculating -solutions, is stated. The reserves, which can be used in this approach are found. The present approach is illustrated by two problem classes: the function approximation and the numerical integration. Tabl.: 1. Refs: 23 titles.

УДК 517.9

Метод штрафу для варіаційних нерівностей з багатозначними відображеннями. III / Згуровський М.З., Мельник В.С. // Кибернетика и системный анализ. - 2000. - № 2. - С. 70-83.

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

UDC 517.9

Penalty method for variational inequalities with multivalued mapping. III / Zgurovsky M.Z., Melnik V.S. // Kibernetika i sistemny analiz. - 2000. - N 2. - P. 70-83.

By means of penalty operators, a regularization method of variational inequalities is generalized to a class of variational inequalities with multivalued mappings. Refs: 6 titles.

УДК 519.10

Про ядро стiйкостi векторної квадратичної задачi булева програмування / Ємелiчев В.О., Нiкулiн Ю.В. // Кибернетика и системный анализ. - 2001. - № 2. - С. 83-90.

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

UDC 519.10

On stability kernel of a vector quadratic problem of Boolean programming / Emelichev V.A., Nikulin Yu.V. // Kibernetika i sistemny analiz. - 2001. - N 2. - Р. 83-90.

A vector problem of Boolean programming with quadratic partial criteria is investigated. A set of Pareto-optimal solutions, such that ones preserves optimality under small perturbations of vector criterion parameters is considered. The formulas for evaluating numerical measures of two types of stability are found. Refs: 8 titles.

УДК 330.115

Проблеми страхування катастрофічних ризиків / Єрмольєв Ю.М., Єрмольєва Т.Ю., МакДональд Г., Норкін В.І. // Кибернетика и системный анализ. - 2001. - № 2. - С. 90-110.

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

UDC 330.115

Problems of catastrophic risks insurance / Ermoliev Y.M., Ermolieva T.Y., MacDonald G., Norkin V.I. // Kibernetika i sistemny analiz. - 2001. - N 2. - Р. 90-110.

Risk process with rare dependent catastrophic claims are studied. Problems of estimation of small probability of ruin and selection of optimal portfolio of insurance contracts are considered. Monte Carlo method and stochastic optimization technique are applied for their solution. Refs: 44 titles.

УДК 519.711.3

До питання щодо коректного розширення деякої нестійкості задач обробки статистичної інформації / Ченцов О.Г. // Кибернетика и системный анализ. - 2001. - № 2. - С. 110-131.

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

UDC 519.711.3

On correct extension of some unstable problems of statistical information processing / Chentsov A.G. // Kibernetika i sistemny analiz. - 2001. - N 2. - P. 110-131.

A scheme of compactification for solution space in a class of finitely additive probabilities is constructed. On this basis, a generalized problem of attainability "on the average", equivalent to differeeent asymptotic versions of prediction domains under conditions of perturbations, is proposed. This generalized problem uses a solution of a relaxed inverse problem of probability determination. Refs: 31 titles.

УДК 519.854

Дослідження стійкості в оптимізаційних задачах на матроїдах у метриці / Гордєєв Е.М. // Кибернетика и системный анализ. - 2001. - № 2. - С. 132-144.

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

UDC 519.854

Research of stability in optimization problems on matroids in the metrics / Gordeev E.N. // Kibernetika i sistemny analiz. - 2001. - N 2. - P. 132-144.

The optimization problem on the matroids are considered. In vector space of weight of elements of matroid the norm is introduced. Weight are exposed perturbation. The stability of the solutions of problems is investigated. The formulas for radius of stability and polynomial algorithms of his calculation are obtained. Refs: 15 titles.

УДК 519.83

Порядкові інваріанти і проблема "оточення" для ігор з упорядкованими наслідками / Розен В.В. // Кибернетика и системный анализ. - 2001. - N 2. - С. 145-159.

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

UDC 519.83

Order invariants and the problem of "environment" for games with ordered outcomes / Rozen V.V. // Kibernetika i sistemny analiz. - 2001. - N 2. - P.145-159.

The paper finds some important order invariants for antagonistic games with ordered outcomes. It is shown that these invariants are connected with equilibrium points in the sense of Nash. The paper constructs the so-called majorant extension of a given game G, such that certain non-invariant properties of the game G become invariants of a game . Figs: 2. Tabl.: 2. Refs: 7 titles.

УДК 519.217.8

Про одну задачу управлiння марковськими процесами на графi / Чорней Р.К. // Кибернетика и системный анализ. - 2001. - № 2. - С. 159-163.

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

UDC 519.217.8

On a problem of control of Markovian processes on a graph / Chorney R.K. // Kibernetika i sistemny analiz. - 2001. - N 2. - P. 159-163.

The paper considers control of Markovian processes on a graph provided, that a control at any time can move from one vertex to another (neigbouring) vertex. Sufficient conditions for existence of the optimal Markovian stationary nonrandomized strategies are obtained. Ref.: 1 title.

УДК 62-50

Кількісна оцінка вияву причинно-наслідкових відношень в послідовності результатів спостережень / Покрас О.Д. // Кибернетика и системный анализ. - 2001. - № 2. - С. 164-170.

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

UDC 62-50

A quantitative charecterization of presence of cause-and-effect relations in a sequence of observation results / Pokras A.D. // Kibernetika i sistemny analiz. - 2001. - N 2. - P. 164-170.

A measure, allowing to quantitatively characterize an orderliness of a dynamic series of statistical observation is proposed. Is shown, that, on the basis of this measure, it is possible to construct a scale, admitting a interpretation of a sequence behaviour in terms of levels of cause-and-effect relations between an attribute - argument (a parameter) and an attribute - function (a response). Refs: 3 titles.

УДК 517.977.8

Необхідні умови існування слабких рівноваг у некооперативних програмних диференціальних іграх / Смольяков Е.Р. // Кибернетика и системный анализ. - 2001. - № 2. - С. 171-183.

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

UDC 517.977.8

Necessary conditions for existence of weak equilibria in noncooperative program differential games / Smoljakov E.R. // Kibernetika i sistemny analiz. - 2001. - N 2. - P. 171-183.

The paper gives necessary conditions for existence of active equilibria and maxmins, and it demonstrates a method for the search of their in noncooperative programme differential games with obvious and nonobvious dependences between strategies which can be pure and mixed. Refs: 9 titles.

УДК 519.8

Нова форма квадратичної задачi про призначення та наближенi розв'язки / Рева В.М. // Кибернетика и системный анализ. - 2001. - № 2. - С. 184-187.

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

UDC 519.8

A new formulation for a quadratic assignment problem and approximate solutions / Reva V.N. // Kibernetika i sistemny analiz. - 2001. - N 2. - P. 184-187.

A new formulation for a quadratic assignment problem is described. New bounds for an objective function are obtained on the basis of the properties of this formulation. Refs: 5 titles.