УДК 519.6

Про використання байєсових мереж для моніторингу користувачів комп'ютера / Капітонова Ю.В., Міщенко Н.М., Феліжанко О.Д., Щоголєва Н.М. // Кибеpнетика и системный анализ. - 2004. - № 6. - C. 3-15.

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

UDC 519.6

Using Bayesian networks for monitoring of computer users / Kapitonova Yu.V., Mishchenko N.M., Felizhanko O.D., Shchegoleva N.N. // Kibernetika i sistemny analiz. - 2004. - N 6. - P. 3-15.

Structure and methods of knowledge base as a part of personal expert systems intended for monitoring users and computer environment to prevent users from unhealthy influence of computers are discussed. Expert systems under discussion are based on Bayesian networks of a simple topology that express casual relationships between unhealthy conditions of computer environment and a state of user's health. Figs: 3. Tabl.: 9. Refs: 5 titles.

УДК 518.9

Конфліктно-керовані процеси з розривними траєкторіями / Чикрій А.О., Матичин І.І., Чикрій К.А. // Кибеpнетика и системный анализ. - 2004. - № 6. - C. 15-29.

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

UDC 518.9

Conflict controlled processes with discontinuous trajectories / Chikrii A.A., Matychyn I.I., Chikrii K.A. // Kibernetika i sistemny analiz. - 2004. - N 6. - P. 15-29.

Differential games with impulse control of players, what is represented by Dirac delta-function, are dealt with. For this class of games, the sufficient conditions for solvability of the approach problem are derived. The basis for the research of these problems is the Method of Resolving Functions. The result is supported by a model example with a simple motion dynamics. Refs: 7 titles.

УДК 004.82

До проблем створення образного комп'ютера / Мейтус В.Ю. // Кибернетика и системный анализ. - 2004. - № 6. - С. 29-44.

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

UDC 004.82

To the problem of creation of pattern computer / Meitus V.Yu. // Kibernetika i sistemny analiz. - 2004. - N 6. - P. 29-44.

The problem of creation of a new computer class called a pattern computer is considered. This system is based on the concept presentation of environment information as a pattern of real objects. The computer also works with a pattern information. The patterns exchange information and the computer models this interaction. A version of pattern description and examples of patterns are proposed. Fig.: 1. Refs: 8 titles.

УДК 519.21

Ймовiрнiсна схема незалежних випадкових елементiв, що розподiленi на кiнцевiй гратцi. II. Метод граткових моментiв / Олексiйчук А.М. // Кибернетика и системный анализ. - 2004. - № 6. - С. 44-65.

Пропонується новий метод доведення теорем про зб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перребрами. Бібліогр.: 19 назв.

UDC 519.21

Probabilistic scheme of independent random elements distributed on a finite lattice. II. Lattice moments method / Aleksejchuk A. N. // Kibernetika i sistemny analiz. - 2004. - N 6. - P. 44-65.

The paper proposes a new method for proof of some theorems about approximation of random value sequences getting values from the set , to the discrete probability distributions based on research of definite number characteristics asymptotic behavior (which are called lattice moments) of distributions . The paper consideres some examples of a proposed method applications for research of an asymptotic behavior of a probability distribution which size is a space of solutions of a smooth linear equation system over a finite field and a number of binding components for a random (not equally distributed) hypergraph with independent hyperedges. Refs: 19 titles.

УДК 519.688.004.421

Машинна математика. Проблеми та перспективи / Молчанов І.М. // Кибернетика и системный анализ. - 2004. - № 6. - С. 65-72.

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

UDC 519.688.004.421

Mashine mathematics. Problems and prospects / Molchanov I.N. // Kibernetika i sistemny analiz. - 2004. - N 6. - Р. 65-72.

"Pitfalls" arising during implementation of theoretically substantiated algorithms for computational mathematics are dealt with due to which the obtained machine solutions to scientific and technical problems make no physical sense. Refs: 8 titles.

УДК 007:57 + 004.8

Гіпотеза свідомості або нейроінформаційні системи / Шевченко О.В. // Кибернетика и системный анализ. - 2004. - № 6. - С. 73-86.

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

UDC 007:57 + 004.8

The hypothesis of consciousness or the neuro-intelligence systems / Shevchenko A.V. // Kibernetika i sistemny analiz. - 2004. - N 6. - Р. 73-86.

The paper relates to the artificial intelligence problematics and is devoted to the researches problem of natural and synthesis of artificial intelligence systems. The specificity of functioning of biological intelligence systems allowing to reveal the probable mechanism of consciousness's forming inherent in alive beings and explicit manifestation of which is intellection is analyzed in the simple examples. The natural-science aspect of the fundamental concepts of information's nature gist - semantics and knowledge - is also examined as applied to functioning of these systems. Relying on the paradigms of more that one scientific school and using the system approach are presented in general concepts and guidelines to problem solving of artificial intellect. Refs: 23 titles.

УДК 004.27

Порiвняльний аналiз топологiчних конструкцiй Sparse Flat Neighborhood Network для кластерних суперкомп'ютерiв / Кошулько О.А. // Кибернетика и системный анализ. - 2004. - № 6. - С. 87-92.

Розглядається мережева топологiя Sparse Flat Neighborhood Network (SFNN), проаналiзовано переваги та недолiки. Проведено порiвняльний аналiз якостi SFNN-конструкцiй, побудованих модифiкованим методом циклiчного зсуву. Сформовано набiр критерiїв оцiнки SFNN-конструкцiй для з'ясування їх практичної цiнностi. Іл.: 2. Табл.: 4. Бібліогр.: 4 назви.

UDC 004.27

Comparative analysis of The Sparse Flat Neighborhood Network for cluster supercomputers / Koshul'ko A.A. // Kibernetika i sistemny analiz. - 2004. - N 6. - Р. 87-92.

The topology of The Sparse Flat Neighborhood Network is considered, for which the advantages and limitations are analyzed. The quality of the SFNN designs based on modified cyclic method is analyzed. Also the set of the quality criteria for the estimation of practical usefulness of the SFNN designs is suggested. Figs: 2. Tabl.: 4. Refs: 4 titles.

УДК 519.6

Оптимальне керування елiптичною системою з умовами спряження та крайовими умовами Неймана / Сергiєнко I.В., Дейнека В.С. // Кибернетика и системный анализ. - 2004. - № 6. - С. 93-111.

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

UDC 519.6

Optimal control of elliptic system with conjugation conditions and boundary Neumann conditions / Sergienko I.V., Deineka V.S. // Kibernetika i sistemny analiz. - 2004. - N 6. - P. 93-111.

New problems of optimal control of a distributed system, a state of which is described by boundary-value Neumann problems with conjugation conditions and non-unique solutions, are constructed and considered. Highly-accurate computation schemes of optimal problem discretization are proposed for the case of coincidence of a control set with a complete Hilbert space. Refs: 8 titles.

УДК 519.21; 681.513

Оптимальне керування стохастичними динамічними системами зі всією передісторією з пуасонівськими перемиканнями / Королюк В.С., Ясинський В.К., Антонюк С.В. // Кибернетика и системный анализ. - 2004. - № 6. - С. 112-118.

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

UDC 519.21; 681.513

Optimal control of stochastic dynamic systems with all previous history and Poisson switchings / Korolyuk V.S., Yasinsky V.K., Antonyuk S.V. // Kibernetika i sistemny analiz. - 2004. - N 6. - P. 112-118.

In this work the formulation of problem of optimum control of systems of stochastic functional-differential equations with all previous history and Poisson switchings is reviewed, the Bellman equation for the solution of this problem is obtained. Refs: 8 titles.

УДК 517.535.4 + 530.1

Атомарні функції трьох змінних, інваріантні відносно групи обертання / Колодяжний В.М., Рвачов В.О. // Кибернетика и системный анализ. - 2004. - № 6. - С. 118-130.

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

UDC 517.535.4 + 530.1

Atomic functions of three variables invariant relative to a revolution group / Kolodyazhny V.M., Rvachov V.A. // Kibernetika i sistemny analiz. - 2004. - N 6. - P. 118-130.

The paper considers atomic functions of three variables, i.e. - infinite differentiated compactly supported solutions of functional differential special type equations. The existence theorem, conclusion about function positiveness on the support, probability sense and the calculus algorithm for moments of a compactly supported functions are demonstrated. Refs: 13 titles.

УДК 519.2 + 539.1

Розподiл ймовiрностей інтегрального квадратичного функцiоналу вiд траєкторiй комплексновизначеного процесу Орнштейна-Уленбека / Вiрченко Ю.П., Мазманiшвiлi О.С. // Кибернетика и системный анализ. - 2004. - № 6. - С. 130-139.

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

UDC 519.2 + 539.1

Probability distribution of integral quadratic functional on the complex-valued Ornstein-Uhlenbeck process trajectories / Virchenko Yu.P., Mazmanishvili A.S. // Kibernetika i sistemny analiz. - 2004. - N 6. - P. 130-139.

The local limit theorem for probability distribution density of random values of an additive quadratic functional on the complex-valued Ornstein-Uhlenbeck process trajectories is proved. This result takes place if the additive functional support is extended unlimitedly. The guaranteed estimate of the obtained asymptotic formula is given. Refs: 16 titles.

УДК 518:517.948

Ефективна реалізація методу Гальоркіна з урахуванням нових властивостей багаточленів Чебишева / Буличев Ю.Г., Буличева Є.Ю. // Кибернетика и системный анализ. - 2004. - № 6. - C. 140-148.

На базі методу Гальоркіна з урахуванням нових властивостей багаточленів Чебишева першого і другого роду показана можливість значного спрощення процедури наближеного аналізу і синтезу різних систем, описаних операторними рівняннями. Табл.: 3. Бiблiогр.: 11 назв.

UDC 518:517.948

Efficient implementation of Galerkin method in the view of new features of Chebyshev multinominals / Bulychev Yu.G., Bulycheva E.Yu. // Kibernetika i sistemny analiz. - 2004. - N 6. - Р. 140-148.

On the basis of Galerkin method, in the view of new features of Chebyshev multinominals of the first and second sort, the possibility of an essential simplification of a procedure for the analysis and synthesis of various systems, described by operational equation, is shown. Tabl.: 3. Refs: 11 titles.

УДК 519.21

Метод послiдовних наближень для обчислення ймовiрностi банкрутства процесу ризику у марковському середовищi / Норкiн Б.В. // Кибернетика и системный анализ. - 2004. - № 6. - C. 149-161.

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

UDC 519.21

A successive approximation method for calculation of bankruptcy probability of a risk process in a markovian environment / Norkin B.V. // Kibernetika i sistemny analiz. - 2004. - N 6. - Р. 149-161.

A generalization of a model of a classical risk process describing an evolution of the capital of an insurance company in a stochastic environment is considered. A system of integral equations for probability of bankruptcy of the company as a function of initial state is presented. A successive approximation method for solution to this system is validated. The method produces approximations converging from above and below to the system solution. Figs: 4. Refs: 15 titles.

УДК 519.872

Чисельні методи дослідження багатопотокових систем обслуговування із віртуальним розподілом загального буфера / Пономаренко Л.А., Меліков А.З., Фаттахова М.І. // Кибернетика и системный анализ. - 2004. - № 6. - C. 162-172.

Запропоновано новий підхід до дослідження систем обслуговування зі спеціалізованими за типом вимог каналами і загальним скінченним буфером для чекання у черзі різнотипних вимог. Для розподілу загального буфера використовується стратегія віртуального розділення. Одержанo явні формули для розрахунку ймовірностей втрати різнотипних вимог і розв'язані задачі оптимізації. Наводяться результати відповідних чисельних експериментів. Іл.: 4. Табл.: 3. Бібліогр.: 21 назвa.

UDC 519.872

Numerical methods to studying of multiflow queuing systems with virtual partitioning of a common buffer / Ponomarenko L.A., Melikov A.Z., Fattahova M.I. // Kibernetika i sistemny analiz. - 2004. - N 6. - Р. 162-172.

A new approach to studying of a queuing system with typed channels and common finite buffer for waiting of customers of different types is proposed. For sharing a common buffer, a virtual partitioning strategy is used. Explicit formulae for calculation of blocking probabilities of customers of different types are obtained and optimization problems are solved. The results of appropriate numerical experiments are given. Figs: 4. Tabl.: 3. Refs: 21 titles.

УДК 519.21

Про одну модель керування страховою компанією / Дерієва О.М. // Кибернетика и системный анализ. - 2004. - № 6. - C. 172-176.

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

UDC 519.21

A model of control of an insurance company / Deriyeva E.N. // Kibernetika i sistemny analiz. - 2004. - N 6. - Р. 172-176.

The problem of optimal insurance company behavior under reinsurance condition in infinite time horizon is considered. The payment moment and insurance obligations payment value are random. The money resources replenishment value is chosen as a control parameter. The goal is to minimize an average lost per time unit and, therefore, to optimize an invested value. Refs: 6 titles.

УДК 519.716.35

Розпiзнавання мов двостороннiми детермiнованими магазинними автоматами / Лiсовик Л.П., Коваль Д.А. // Кибернетика и системный анализ. - 2004. - № 6. - С. 177-181.

Доведено, що будь-яка обмежена контекстно-вiльна мова розпiзнається двостороннiм детермiнованим автоматом зі скiнченно-поворотним лiчильником. Іл.: 1. Бiблiогр.: 8 назв.

UDC 519.716.35

Language recognazability by two-way deterministic push-down automata / Lisovik L.P., Koval D.A. // Kibernetika i sistemny analiz. - 2004. - N 6. - P. 177-181.

It is proved that every bounded context-free language can be accepted by two-way deterministic automaton with finite-turned counter. Fig.: 1. Refs: 8 titles.