УДК 519.68

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

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

UDC 519.68

On efficiency of Bayes procedure for recognition problem. Discrete problem / Vagis G.A., Gupal A.M., Sergienko I.V. // Kibernetika i sistemny analiz. - 2001. - N 4. - P. 3-13.

An upperbound of an error for Bayes recognition problem solving procedure is obtained depending on a teaching size. It is proved that Bayes method is suboptimal. Refs: 9 titles.

УДК 007:159.955:519.72

Структурний синтез модульних слабкозв'язних нейронних мереж. II. Ядерні нейронні мережі / Дорогов О.Ю. // Кибернетика и системный анализ. - 2001. - № 4. - С. 13-20.

Досліджується найпростіший випадок модульної нейронної мережі, де кожен модуль являє собою одношаровий персептон (нейронне ядро). Введено кількісні відзнаки структурних властивостей ядерних нейронних мереж за критеріями швидкодії та пластичності. Виходячи з введених показників якості, побудовані оптимальні процедури стуктурового синтезу. Iл.: 4. Бiблiогр.: 6 назв.

UDC 007:159.955:519.72

Structural synthesis of weakly-associated modular networks. II. The kernel neural networks / Dorogov A.Yu. // Kibernetika i sistemny analiz. - 2001. - N 4. - Р. 13-20.

The simplest case with modular neural networks is investigated. Each neural module represents a single-layer perceptron (a neural kernel). Quantitative evaluations of structural properties of neural networks are introduced on speed and plasticity criteria. On the basis of these criteria the optimum procedure of structural synthesis are constructed. Figs: 4. Refs: 6 titles.

УДК 519.86

Прогнозування значень параметрів динамічних систем за допомогою адаптивного фільтра Калмана / Бідюк П.І., Гасанов А.С., Подладчіков В.М. // Кибернетика и системный анализ. - 2001. - № 4. - С. 21-33.

Розглянуто в просторі станів моделі динамічних систем, апріорна інформація про параметри яких невизначена. Обгрунтовано прийняття рішень про вибір коваріаційної матриці похибок початкової оцінки параметрів динамічних систем. Отримано розв'язок для загального вигляду перехідної матриці фільтра Калмана. Іл.: 4. Бібліогр.: 7 назв.

UDC 519.86

Prognosis of dynamic systems parameters using adaptive Kalman filter / Bidyuk P.I., Gasanov A.S., Podladchikov V.N. // Kibernetika i sistemny analiz. - 2001. - N 4. - Р. 21-33.

Some dynamic systems are considered in state space the a priori information about parameters of which is uncertain. The decision on selection of error covariance matrix for initial estimate of state is substantiated for the case when it is defined only by a region to which it belongs. The solution for general case of Kalman filter transition matrix is given. Figs: 4. Refs: 7 titles.

УДК 519.17+681.3.06

Табличні інваріанти на графах та їх застосування / Пінчук В.П. // Кибернетика и системный анализ. - 2001. - № 4. - С. 33-45.

Запропоновано систему табличних інваріантів на графах, вивчено їх властивості та можливості застосування для побудови ефективних алгоритмів розв'язку деяких задач на графах, які "важко обчислюються". Сформульовано поняття -множини, доведено теорему про упорядкованість таких множин. Проведені емпіричні оцінки імовірності відмови табличних інваріантів першого та другого порядків, а також впорядкованого вектора ступенів вершин (-інваріанта) для графів з числом вершин від 8 до 20. Іл.: 5. Табл.: 6. Бібліогр.: 8 назв.

UDC 519.17+681.3.06

Table invariants for graphs and their application / Pinchuck V.P. // Kibernetika i sistemny analiz. - 2001. - N 4. - Р. 33-45.

A system of table invariants for graphs is proposed, their properties and possibilities to apply them for construction of efficient algorithms, used to solve some heavy-calculating problems on graphs are investigated. A concept of a -set is given, a theorem about their ordering is proved. Empirical estimates of refuse probability for first- and second-order table invariants are made as well as for vertex power ordered vector (-invariant) for graphs with 8-20 vertices. Figs: 6. Tabls: 5. Refs: 8 titles.

УДК 658.012:007

Здобування нечiтких баз знань iз експериментальних даних за допомогою генетичних алгоритмiв / Ротштейн О.П., Мiтюшкiн Ю.I. // Кибернетика и системный анализ. - 2001. - № 4. - С. 45-53.

Розглядається задача, зворотна до задач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л.: 3. Табл.: 3. Бiблiогр.: 7 назв.

UDC 658.012:007

Fuzzy knowledge bases extraction from experimental data by genetic algorithms / Rotshtein A.P., Mitushkin Yu.I. / Kibernetika i sistemny analiz. - 2001. - N 4. - P. 45-53.

The problem of linguistic if-then rules extraction from experimental data is inverse with respect to the problem of nonlinear object identification by fuzzy knowledge bases. The method of genetic algorithms is proposed to solving this problem. Initial set of solutions is coded in so called chromosomes. The most optimal chromosome is produced after operations of crossover, mutation and selection. Computer simulation of knowledge extraction from nonlinear object with two input and one output variables illustrates the proposed method. Figs: 3. Tabl.: 3. Refs: 7 titles.

УДК 681.61

Автоматичне доведення теорем та нeчіткий ситуаційний пошук рішень / Самохвалов Ю.Я. // Кибернетика и системный анализ. - 2001. - № 4. - С. 53-60.

Розглянуто заcтосування автоматичного доведення теорем як методологічної основи нечіткого ситуаційного пошуку рішень. Іл.: 2. Бібліогр.: 4 назви.

UDC 681.61

Automatic theorem proving and fuzzy situational search of decisions / Samohvalov Yu.Ya. // Kibernetika i sistemny analiz. - 2001. - N 4. - P. 53-60.

An application of automatic theorem proving is considered as methodological fundamentals of fuzzy situational search of decisions. Figs: 2. Refs: 4 titles.

УДК 519.8

Моделювання зовнiшньоекономiчної дiяльностi за умов перехiдної економiки / Михалевич М.В., Сергiєнко І.В., Кошлай Л.Б. // Кибернетика и системный анализ. - 2001. - № 4. - С. 61-84.

Розглянуто систему моделей зовнiшньоекономiчної дiяльностi за умов перехiдної економiки. <215>ї основу складають оптимiзацiйнi мiжгалузевi балансовi моделi та економетричнi моделi процесiв, що вiдбуваються на мiкрорiвнi. Проведено розрахунки на реальних даних за запропонованими моделями. Одержанi результати дозволили пояснити деякi особливостi структури українського експорту. Табл.: 5. Бiблiогр.: 15 назв.

UDC 519.8

Simulatiоn of a foreign economic activity in transition economy / Mikhalevich M.V., Sergienko I.V., Koshlai L. B. //Kibernetica i sistemny analiz - 2001. - № 4. - P. 61-84.

A system of mathematical models of a foreign economic activity in transition economy is considered. Input-output optimization models and econometrical micromodels are the basis of this system. Real data simulations are performed when using the mentioned models. The obtained results allow to explain some features in the structure of the Ukrainian export. Tabl.: 5. Refs: 15 titles.

УДК 517.944

До керування динамікою систем з просторово-часовими інтегральними моделями / Скопецький В.В., Стоян В.А., Благовещенська Т.Ю. // Кибернетика и системный анализ. - 2001. - № 4. - С. 84-91.

В обмеженій просторово-часовій області розв'язуються задачі керування динамікою систем з інтегрально заданою моделлю. Розглянуто випадки керування розподіленими зовнішньо-динамічними збуреннями, а також крайовими умовами на зовнішніх та внутрішніх контурах області. Бібліогр.: 3 назви.

UDC 517.944

Controlling a dynamics of systems with spatial-temporal integral models / Scopetsky V.V., Stoyan V.A., Blagoveshchenskaya T.Yu. // Kibernetika i sistemny analiz. - 2001. - N 4. - P. 84-91.

System dynamics control problems under an integral model in a bounded spatial-temporal domain are solved. The cases of control of distributed external dynamic disturbances and boundary conditions on internal and external domain contours are considered. Refs: 3 titles.

УДК 519.713.1

Побудова автомата (розпізнавача) за формулою монадичної теорії першого порядку для натуральних чисел / Чеботарьов А.М. // Кибернетика и системный анализ. - 2001. - № 4. - С. 91-106.

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

UDC 519.713.1

Construction of an automaton from a formula of the monadic first-order theory of the natural numbers / Chebotarev A.N. // Kibernetika i sistemny analiz. - 2001. - N 4. - P. 91-106.

A method for the construction of an automaton from a first-order logical formula is proposed. The method is similar to the tableau method and can be viewed as its modification and improvement. Fig.: 1. Refs: 10 titles.

УДК 539.3

Повнота структурних розв'язків у крайових задачах для областей спеціального вигляду / Рвачов В.Л., Михаль O.О. // Кибернетика и системный анализ. - 2001. - № 4. - С. 107-118.

Розглянуто структури розв'язків (GSS) для крайових задач математичної фізики в областях, що містять вузькі розрізи, малі тріщини, порожнини та ін. Показано, що використання класичної GSS Л.В. Канторовича в таких випадках призводить до неповноти структурних формул. Для областей вказаного вигляду запропоновано нові структурні формули, що мають повноту. Іл.: 8. Табл.: 1. Бібліогр.: 7 назв.

UDC 539.3

Completeness of structural solutions in the boundary value problems for special domains / Rvachev V.L., Mikhal' E.O. // Kibernetika i sistemny analiz. - 2001. - N 4. - P. 107-118.

General structures of solutions to mathematical physics boundary value problems in domains, which contain thin cuts, small cracks, hollows etc., are considered. It is shown that in such cases, the classic L. V. Kantorovich GSS leads to incompleteness of structure formulae. For domains of indicated type, new structure formulae, which are complete, are proposed. Figs: 8. Table: 1. Refs: 7 titles.

УДК 519.688+519.683.7

Про новий метод системологічного аналізу, узгоджений з процедурою об'єктно-орієнтованого проектування. I / Маторін С.І. // Кибернетика и системный анализ. - 2001. - № 4. - С. 119-132.

Запропонованo формальне представлення системи як функціонального об'єкта. Розглядається новий метод системологічного аналізу складних динамічних систем, відповідний вимогам об'єктного проектування, заснований на формально семантичній ноpмативній системі з адаптивним алфавітом. Подана базова ієрархія класів для побудови концептуальних моделей в процесі об'єктно-орієнтованого аналізу та проектування. Іл.: 5. Табл.: 2. Бібліогр.: 20 назв.

UDC 519.688+519.683.7

A new systemological analysis method co-ordinated with object-oriented design procedure& I / Matorin S.I. // Kibernetika i sistemny analiz. - 2001. - N 4. - P. 119-132.

A formal system concept is proposed as a functional object. A new method systemological analysis of complicated dynamic system, conforming to requirements of object-oriented design, based on a formal semantic normative system with an adaptive alphabet, is considered. The base class hierarchy is represented for construction of conceptual models during object-oriented analysis and design. Figs: 5. Tabl.: 2. Refs: 20 titles.

УДК 519.21

Мережі обслуговування з багатоканальними вузлами і рекурентним вхідним потоком / Лебєдєв Є.О. // Кибернетика и системный анализ. - 2001. - № 4. - С. 133-141.

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

UDC 519.21

Queuing networks with multi-channel nodes and a recurrent input flow / Lebedev E.A. // Kibernetika i sistemny analiz. - 2001. - N 4. - P. 133-141.

Queuing networks with the -type nodes are considered. By the renewal theory methods the conditions of stationary regime existence are found and asymptotic properties of multivariate binomial moments are studied. For binomial moments of any degree, a recurrent moment finding scheme is proposed. In the case with the -networks, operating in stationary regime, extended Jackson law is proved. Refs: 7 titles.

УДК 681.3.06:681.323(519.6)

Метод обчислювання нулів і екстремумів функцій на основі сортування із застосуванням до пошуку та розпізнавання. I / Ромм Я.О. // Кибернетика и системный анализ. - 2001. - № 4. - С. 142-159.

Стійке адресне сортування використовується для приблизного обчислювання нулів та екстремумів функцій однієї та двох змінних. Дається новий метод локалізації та приблизного обчислювання всіх коренів многочлена довільного ступеню. Метод включає випадок погано відділених коренів, відрізняється обчислювальною стійкістю та максимальним паралелзімом. Іл.: 1. Бібліогр.: 8 назв.

UDC 681.3.06:681.323(519.6)

A method for calculations of zeroes and function extrema on sorting with application to retrieval and recognition. I / Romm Ya.E. // Kibernetika i sistemny analiz. - 2001. - N 4. - P. 142-159.

A stable address sorting is used for approximate calculation of zeroes and extrema of functions of one variable and two variables. In particular, the paper gaves a new method for localization and approximate calculation of all the roots of a polynomial with an arbitrary power. A method includes badly separated roots and its distinctive features are computational stability and a maximum parallelism. Fig.: 1. Refs: 8 titles.

УДК 62-50

Використання алгоритмів декомпозиції для розрахунку лінійних стохастичних моделей / Хиленко В.В. // Кибернетика и системный анализ. - 2001. - № 4. - С. 159-163.

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

UDC 62-50

Using of algorithms of decomposition for account of linear stochastic models / Khilenko V.V. // Kibernetika i sistemny analiz. - 2001. - N 4. - P. 159-163.

It is studied the question of using of algorithms of decomposition for account of stiff systems of stochastic differential equations. The theorem proving adequacy of the received decision is formulated and the algorithm of account of stiff stochastic systems by a method of downturn of the order is given. Refs: 2 titles.

УДК 519.21

Асимптотичний аналіз систем зі швидким обслуговуванням та неоднорідною структурою / Гилевич Я. // Кибернетика и системный анализ - 2001. - № 4. - С. 163-166.

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

UDK 519-21

The asymptotics analysis of systems with quick service and not uniform structure / Gilewicz J. // Kibernetika i sistemny analiz. - 2001. - N 4. - P. 163-166.

The asymptotics distribution of the moment of first refusal in systems with quick service and not uniform structure, for which characteristic the natural consolidation of the states, are investigated. Refs: 6 titles.

УДК 519.3

Субмодулярні функції в задачах синтезу мережі / Шаріфов Ф.А. // Кибернетика и системный анализ. - 2001. - № 4. - С. 166-174.

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

UDC 519.3

Submodular functions and problems in networks synthesis / Sharifov F.A. // Kibernetika i sistemny analiz. - 2001. - N 4. - P. 166-174.

It is proveded that the submodular function minimizaation problem is the network minimum cut problem, if dual function for f is determined by its values on sets of cardinality with two elements. This result is used to design networks by the given cut submodular function. Refs: 13 titles.

УДК 518.25

Розв'язування систем лiнiйних алгебраїчних рiвнянь з двомiрними -матрицями / Босiкова I.I. // Кибернетика и системный анализ. - 2001. - № 4. - С. 175-179.

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

UDC 518.25

Solution of systems of the linear algebraic equations with two-dimensional -matrixes / Bosikova I.I. // Kibernetika i sistemny analiz. - 2001. - N 4. - P. 175-179.

The finite difference approach to a solution of systems of the linear algebraic equations with two-dimensional by -matrixes of a special aspect is considered. The recurrent relations for an evaluation of elements of an arbitrary row of a matrix of the given system, and also formula for definition of solutions of a system are obtained. Refs: 4 titles.

УДК 519.872

Система обслуговування із втратою перерваної заявки / Таташев О.Г. // Кибернетика и системный анализ. - 2001. - № 4. - С. 179-183.

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

UDC 519.872

The queuing system with losses of an interrupted demand/ Tatashev A.G. // Kibernetika i sistemny analiz. - 2001. - N 4. - P. 179-183.

Formulas are derived for the stationary probabilities for states of a queuing system which has one waiting position and Poisson input. Interruption of the served demand by the coming one is allowed with probability depending on types of demands. Refs: 3 titles.

УДК 517.9

Моделювання коливних процесів у квазілінійній системі другого порядку з запізненням і випадковим збуренням / Коломієць О.В. // Кибернетика и системный анализ. - 2001. - № 4. - С. 183-187.

Розглянуто моделювання коливних процесів, що виникають у системах з запізненням сигналу під впливом зовнішніх випадкових збурень. У складі пакету "Геопошук" для інтерпретації геологорозвідувальних даних реалізовано алгоритм моделювання, що подає результати в числовому та графічному виглядах. Іл.: 3. Табл.: 2. Бібліогр.: 7 назв.

UDC 517.9

Simulation of oscillating processes in randomly excited second-order quasi-linear system with time lag / Kolomiets A.V. // Kibernetika i sistemny analiz. - 2001. - N 4. - P. 183-187.

Simulation of oscillating processes, arising in randomly excited systems with time lag, is studied. A simulation is implemented as a part of the GeoPoisk Geological Interpretation Package. It presents outputs both numerically and as charts. Figs: 3. Tabl.: 2. Refs: 7 titles.