УДК 681.3.06

Дeскриптологiчнi основи програмування / Редько В.Н. // Кибернетика и системный анализ. - 2002. - № 1. - С. 3-19.

Будуються дескриптолог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.3.06

Descriptive-logical foundations of programming / Redko V.N. // Kibernetika i sistemny analiz. - 2002. - N 1. - P. 3-19.

Descriptive-logical foundations of programming are constructed. An explication to a notion of descriptive process is given. Introduction and deleting operations for process level abstraction are specialized. A intensional notion of a bipolar function is introduced. An explication to notions of abstraction introducing and deleting operations for a bipolar level is given. A complete set of descriptive-logical operations is constructed on this basis. Refs: 11 titles.

УДК 519.854

Нові нижні оцінки об'єму перешкодозахисних кодів для Z-каналу / Шило В.П. // Кибернетика и системный анализ. - 2002. - № 1. - С. 19-23.

Формулюються оптимізаційні задачі на графах для одержання нижніх оцінок об'єму кодів, які коректують помилки, та наводяться нові нижні оцінки для Z-каналу. Іл.: 1 Табл.: 6. Бібліогр.: 10 назв.

UDC 519.854

New lower bounds on sizes of error-correcting codes for Z-channel / Shylo V.P. // Kibernetika i sistemny analiz. - 2002. - N 1. - P. 19-23.

Optimization problems on graphs for obtaining lower bounds on sizes of error-correcting codes are formulated, new lower bounds for Z-channel are presented. Fig.: 1. Tabl.: 6. Refs: 10 titles.

УДК 51.681.3

Сумісність систем лінійних констрейнтів в області натуральних чисел / Кривий С.Л. // Кибернетика и системный анализ. - 2002. - № 1. - С. 24-36.

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

UDC 51.681.3

Compatability of systems of linear constraints over a natural number set / Kryvyi S.L. // Kibernetika i sistemny analiz. - 2002. - N 1. - P. 24-36.

Criteria of compatibility for system of linear Diophantine equvations, strict inequalitiess and nonstrict inequalities are described. Upper bounds for components of solutions from a solution basic are given. These criteria and corresponding algorithms for building a minimal supported set of solutions can be applied to each type of systems and to mixed systems. Refs: 17 titles.

УДК 518.25

Метод розв'язування систем лінійних алгебраїчних рівнянь з m-мірними -матрицями / Босікова І.І. / Кибернетика и системный анализ. - 2002. - № 1. - С. 37-47.

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

UDC 518.25

A method for solution of systems of linear algebraic equations with m-dimensional -matrixes / Bosikova I.I. // Kibernetika i sistemny analiz. - 2002. - N 1. - P. 37-47.

A system of linear algebraic equations with m-dimensional -matrixes is considered. The paper proposes to search for a solution by reduction to a special-type numerical system. Refs: 12 titles.

УДК 519.216

Алгоритм нелiнiйної екстраполяцiї реалiзацiй скалярного випадкового процесу / Кудрицький В.Д. // Кибернетика и системный анализ. - 2002. - № 1. - С. 47-53.

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

UDC 519.216

Nonlinear extrapolation algorithm for realizations of a scalar random process / Kudritsky V.D. // Kibernetika i sistemny analiz. - 2002. - N 1. - P. 47-53.

A methodology of a nonlinear extrapolation algorithm construction is supposed. This methodology permits to take into account any nonlinear random dependences, which exist in an investigated process and which are described by mixed central moment functions. This methodology uses V.S. Pugachov's canonical decomposition apparatus. A problem solution is given for the third-moment function as an example. Refs: 3 titles.

УДК 62.519

Новий підхід до декомпозиції бульових функцій методом q-розбиття. II. Повторна декомпозиція / Рицар Б.Є. // Кибернетика и системный анализ. - 2002. - № 1. - С. 54-63.

Розглянуто новий підхід до декомпозиції бульових функцій n змінних різних форм задання, що грунтується на методі q-розбиття мінтермів і введеному понятті декомпозиційних клонів. Формулюється теорема про просту роздільну декомпозицію повних і часткових функцій. Запропoнований підхід ілюструється прикладами. Іл.: 5. Табл.: 3. Бiблiогр.: 9 назв.

UDC 62.519

A new approach to decomposition of Boolean functions by q-decomposition. II. Repeated decomposition / Rytsar B.E. // Kibernetika i systemny analiz. - 2002. - N 1. - P. 54-63.

A new approach to the decomposition of different given forms Boolean function of n variables has been considered. This approach is based on the q-partition minterms method and introduced concept of decomposition clones. The theorem about simple disjunctive decomposition of compelte and partial functions has been formulated.. Suggested approach is illustrated by the examples. Figs: 5. Tabl.: 3. Refs: 9 titles.

УДК 519.8

Ідентифікація станів складних систем з оцінкою допустимої похибки вимірів при нечіткій інформації / Насібов Е.Н. // Кибернетика и системный анализ. - 2002. - № 1. - C. 63-71.

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

UDC 519.8

The identification of conditions of complex systems in fuzzy information with the estimation of allowable mistakes of measurements / Nasibov E.N. // Kibernetika i sistemny analiz. - 2002. - N 1. - Р. 63-71.

The paper considers a problem of identifications of condition of complicated systems on a set of fuzzy meanings of separate attributes. Some estimate of a maximaly admissible measurement error degree is obtained in order to make it possible to correctly identify a system state by fuzzy set theory apparatus. Figs: 3. Refs: 9 titles.

УДК 517.54 + 519.3

Обчислювальні схеми МСЕ для задач оптимального керування еліптичною системою з умовами спряження / Сергієнко І.В., Дейнека В.С. // Кибернетика и системный анализ. - 2002. - № 1. - C. 72-88.

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

UDC 517.54 + 519.3

Computation FEM schemes for optimal control problems of elliptic system with conjugate conditions / Sergienko I.V., Dejneka V.S. // Kibernetika i sistemny analiz. - 2002. - N 1. - Р. 72-88.

New optimal control distributed system problems described by elliptic system with conjugate conditions and squared minimized function are discussed. Highly-accurate computation schemes of their discretization are built in case of feasible control set coinsides with full Hilbert's control space U. Refs: 5 titles.

УДК 519.21

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

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

UDC 519.21

Fast simulation of steady-state availability of non-Markovian systems / Kuznetsov N.Yu. // Kibernetika i sistemny analiz. - 2002. - N 1. - P. 89-98.

A general fast simulation method for evaluation of steady-state availability of non-Markovian systems is proposed. It is applied to the investigation of a class of systems with repair. Numerical examples are given. Tabl.: 2. Refs: 29 titles.

УДК 519.1

Розв'язання задач про сейф на (0,1)-матрицях / Донец Г.А. // Кибернетика и системный анализ. - 2002. - № 1. - C. 98-105.

Наведено розв'язок задачі про сейф, що має mn замків. Розв'язок зводиться до розв'язання системи лінійних рівнянь у класі лишків за mod 2. В залежності від парності чисел m та n отримані три варіанти, з яких тільки один має рішення. У двох останніх випадках пропонується корекція вихідного стану сейфу, що забезпечує розв'язок. Бібліогр.: 2 назви.

UDC 519.1

Solution of safe problem on (0,1)-matrices / Donets G.A. // Kibernetika i sistemny analiz. - 2002. - N 1. - Р. 98-105.

A safe problem with mn locks is studied. It is reduced to solving a system of linear equations in a class of residues in mod 2. There are three possible variant, defined by numbers Em and n evenness, only оne of them has a solution. In two other cases, an initial safe state, correction insuring a solution, is proposed. Refs: 2 titles.

УДК 681.3:06.51

Математичні основи побудови нечітких байєсівських механізмів виведення / Верьовка О.В., Парасюк І.М. // Кибернетика и системный анализ. - 2002. - № 1. - C. 105-117.

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

UDC 681.3:06.51

The mathematical foundations of fuzzy Bayesian inference engines construction / Verovka O.V., Parasyuk I.N. // Kibernetika i sistemny analiz. - 2002. - N 1. - Р. 105-117.

Problems and an associated apparatus (tools, techniques) for development of Bayesian approach to decision-making in a fuzzy data case are represented. The notions of a fuzzy value and a pseudofuzzy value are proposed, the main operations with pseudofuzzy values are considered. The basic relationships and the principal concepts of the Bayesian decisive procedure, using the modus-ponens rule construction, are proposed. Some problems, concerned with practical realization of fuzzy Bayesian method, are considered. Figs: 8. Refs: 10 titles.

УДК 519.688 + 519.683.7

Про новий метод системологічного аналізу, узгоджений з процедурою об'єктно-орієнтованого проектування. II / Маторін С.І. // Кибернетика и системный анализ. - 2002. - № 1. - С. 118-130.

Наведені результати розвитку об'єктно-орієнтованого системологічного методу аналізу та проектування складних систем. Запропановано формальне подання системи і аксіоматика обчислення систем як функціональних проточних об'єктів на основі ієрархії класів Вузол-Функції-Об'єкти (ВФО). Розглядається формалізований алгоритм ВФО/UFO-аналізу та CASE-інструментарій його підтримки. Іл.: 3. Бібліогр.: 10 назв.

UDC 519.688 + 519.683.7

A new systematic analysis method coordinated with object-oriented design procedure. / Matorin S.I. // Kibernetika i sistemny analiz. - 2002. - N 1. - Р. 118-130.

The paper represents the rsults on development of an object-oriented systematic method used to design complicated systems. A formal system representation, as well as an axiomatics of calculus of systems as functional low objects on the basis of a Node-Function-Object class hierarchy are proposed. A formalized NFO/UFO analysis algorithm and a CASE toolkit, used to support it, are considered. Figs: 3. Refs: 10 titles.

УДК 519.21

Про оптимальнi моменти переключення мiж портфелями цiнних паперiв / Пепеляєва Т.В. // Кибернетика и системный анализ. - 2002. - № 1. - С. 130-137.

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

UDC 519.21

On optimal moments of switching between portfolios of valuable papers / Pepeljaeva T.V. // Kibernetika i sistemny analiz. - 2002. - N 1. - P. 130-137.

Optimal moments of switching between several portfolios of valuable papers are found with the profit maximization purpose. Two methods of their determination are considered. The cases with three and n portfolios are investigated in detail. Refs: 6 titles.

УДК 519.85

Розв'язування деяких евклідових комбінаторних задач оптимізації методом динамічного програмування / Ємець О.О., Роскладка О.В. // Кибернетика и системный анализ. - 2002. - № 1. - C. 138-146.

Виділенo клас задач евклідової комбінаторної оптимізації, розв'язок яких можна отримати методом динамічного програмування. Алгоритм розв'язування розглянуто на прикладі задач розміщення об'єктів обслуговування. Табл.: 7. Бібліогр.: 8 назв.

UDC 519.85

A solution to some Euclidean combinatorial optimization problems by a dynamic programming method / Yemets O.A., Roskladka Е.V. // Kibernetika i sistemny analiz. - 2002. - N 1. - Р. 138-146.

A class of Euclidean combinatorial optimization problems is chosen. It is possible to obtain a solution to them by a dynamic programming method. A solution algorithm is considers on an example of a service plant arrangement problem. Tabl.: 7. Refs: 8 titles.

УДК 519.21

Оптимальні стратегії для напівмарковської системи запасів / Демченко С.С., Кнопов П.С., Чорней Р.К. // Кибернетика и системный анализ. - 2002. - № 1. - C. 146-160.

Розглядається керування напівмарковською системою запасів, для якої при досить загальних припущеннях про функціонування системи знайдені умови існування оптимальної нерандомізованої марковської стратегії. За деякими додатковими припущенями про умови зберігання запасу показується, що оптимальна стратегія має порогову (s,S)-структуру. Бібліогр.: 19 назв.

UDC 519.21

Optimum policies for a semi-Markovian stock system / Demchenko S.S., Knopov P.S., Chornei R.K. // Kibernetika i sistemny analiz. - 2002. - N 1. - Р. 146-160.

A control by a semi-Markovian stock system is esteemed, for which, under rather general assumptions about system operation, the conditions of existence of an optimum nonrandomized Markov policy are found. Under some additional assumptions about storage conditions of a stock it is shown, that an optimum policy has a threshold (s,S)>-frame. Refs: 19 titles.

УДК 519.86

Моделювання еколого-економiчних функцiй структурного типу / Григоркiв В.С. // Кибернетика и системный анализ. - 2002. - № 1. - С. 160-167.

Запропонований оптимiзацiйний пiдхiд в моделюваннi еколого-економiчних функцiй структурного типу. Розроблена методологiя побудови таких функцiй у явному аналiтичному виглядi. Бiблiогр.: 8 назв.

UDС 519.86

Modelling of ecologic-economical structural-type functions / Grygorkiv V.S. // Kibernetika i sistemny analiz. - 2002. - N 1. - P. 160-167.

An optimization approach is proposed to model ecologic-economical structural-type functions. A metodology for construction of such functions is developed in an explicit analytical form. Refs: 8 titles.

УДК 517.988

Про точність поліноміальної інтерполяції в гільбертовому просторі у випадку збурених значень оператора у вузлах / Хлобистов В.В., Кашпур О.Ф. // Кибернетика и системный анализ. - 2002. - № 1. - С. 168-173.

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

UDС 517.988

On accuracy of polynomial interpolation in Hilbert space in case of the approximately given values of the operator in nodes / Khlobystov V.V., Kashpur E.F. // Kibernetika i sistemny analiz. - 2002. - N 1. - P. 168-173.

In Hilbert space with measure the interpolation polynomial operators accuracy estimations in a case of the approximately given values of these operator in nodes are obtained. Refs: 7 titles.

УДК 517.97

Теорема існування для невипуклих задач варіаційного числення / Ніфтієв А.А. // Кибернетика и системный анализ. - 2002. - № 1. - С. 174-178.

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

UDC 517.97

An existence theorem for non-convex variational calculus problems / Niftiyev A.A. // Kibernetika i sistemny analiz. - 2002. - N 1. - P. 174-178.

A solution to a variational calculus problem is investigated. Under the integrant convexity conditions, an existence theorem is proved. As an example a function is given which satisfies all the theorem conditions, but it is not convex. Refs: 2 titles.