Кибернетика и системный анализ

№5, 2003


РЕФЕРАТИ/ABSTRACTS


К╤БЕРНЕТИКА/CYBERNETICS

СИСТЕМНИЙ АНАЛ╤З/SYSTEMS ANALYSIS

ПРОГРАМНО-ТЕХН╤ЧН╤ КОМПЛЕКСИ/SOFTWARE-HARDWARE COMPLEXES

СТИСЛ╤ ПОВ╤ДОМЛЕННЯ/BRIEF NOTES

назад до зм╕сту back to contents
назад до головно╖ стор╕нки back to home page


РЕФЕРАТИ ABSTRACTS

К╤БЕРНЕТИКА CYBERNETICS

УДК 621.391.7:510.56

Кодування даних л╕н╕йними формами числових посл╕довностей / Ан╕с╕мов А.В. // Кибернетика и системный анализ. - 2003. - № 5. - С. 3-15.

Запропоновано кодування натуральних чисел ╕ б╕нарних дерев л╕н╕йними формами, що мають вигляд , де ╕ - c ус╕дн╕ члени деяко╖ посл╕довност╕ натуральних чисел. Отриманo нов╕ преф╕ксн╕ коди натуральних чисел, що покращують в╕домий код Левенштейна. Досл╕джено можлив╕сть стиснення ╕нформац╕╖ за допомогою кодування л╕н╕йними формами. Детально досл╕джено властивост╕ л╕н╕йних форм Ф╕боначч╕. ╤л.: 3. Б╕бл╕огр.: 15 назв.

UDC 621.391.7:510.56

Data coding by means of linear forms of integer sequences / Anisimov A.V. // Kibernetika i sistemny analiz. - 2003. - N 5. - P. 3-15.

The paper proposes to code integers and binary trees by means of linear forms of the ( )-type, where and are adjacent members of some integer sequence. New integer prefix codes are established. Such codes have better characteristics than the well-known Levenshtein code. Data compression by means of linear form coding is considered. Linear Fibonacci forms are studied in detail. Figs: 3. Refs: 15 titles.


УДК 681.3.06

Основи дескриптолог╕╖ / Редько В.Н. // Кибернетика и системный анализ. - 2003. - № 5. - С. 16-36.

Наводиться експл╕кац╕я поняття дескрипц╕╖ як дескриптивного процесу. На ц╕й основ╕ буду╓ться ун╕версальна статико-динам╕чна платформа, в як╕й, на в╕дм╕ну в╕д теоретико-множинно╖, динам╕чн╕ сут╕ дом╕нують над статичними. В рамках ц╕╓╖ платформи експл╕цюються поняття дескриптивно╖ лог╕ки та дескриптивно╖ системи. Б╕бл╕огр.: 16 назв.

UDC 681.3.06

Foundations of descriptology / Red'ko V.N. // Kibernetika i sistemny analiz. - 2003. - N 5. - P. 16-36.

The notion of description as a descriptive process is explained, in particular, as a program construction process. A universal static-dynamic platform is built on this basis. In this platform, contrary to the set-theoretic platform, dynamic essences dominate over static ones. Within this platform, the notions of universal descriptive logic and a descriptive system are explicated. Refs: 16 titles.


УДК 510.645:004.832.3

Ев╕денц╕альна парадигма: лог╕чний аспект / Лялецький О.В. // Кибернетика и системный анализ. - 2003. - № 5. - С. 37-47.

Описано лог╕чний формал╕зм, який ╓ частиною так звано╖ ев╕денц╕ально╖ парадигми автоматизованого доведення математичних теорем, запропоновано╖ В.М. Глушковим у вигляд╕ комплексно╖ програми роб╕т «Алгоритм Очевидност╕». Приведено базов╕ секвенц╕йн╕ числення та дано результати коректност╕ та повноти числень, використаних при ╕мплементац╕╖ системи автоматизац╕╖ дедукц╕╖ (САД). Б ╕ бл ╕ огр .: 21 назва .

UDC 510.645:004.832.3

Evidential paradigm: a logical aspect / Lyaletski A.V. // Kibernetika i sistemny analiz. - 2003. - N 5. - P. 37-47.

This paper is devoted to the description of logical formalism that presents a part of a so-called evidential paradigm, advanced by Academician V.M. Glushkov in the form of the complex programme «Evidence Algorithm». Basic sequent calculi, their peculiarities and results about their soundness and completeness are given. These calculi were used when implementation of a system of automated deduction, SAD, was made. Refs: 21 titles.


УДК 519.713.4

Репрезентац╕я регулярних ╕деал╕в у ск╕нчених автоматах / Рисцов ╤.К. // Кибернетика и системный анализ. - 2003. - № 5. - С. 48-58.

Показано, що регулярним ╕деалам в╕льного моно╖ду притаманн╕ неявн╕ (слабк╕) репрезентац╕╖ у ск╕нчених автоматах. Показано також, що клас ядерних ╕деал╕в ╓ ╕нвар╕антним в╕дносно дек╕лькох автоматних функтор╕в ╕ сп╕впада╓ з класом нульових ╕деал╕в. Б╕бл╕огр.: 10 назв.

UDC 519.713.4

Representat╕ons of regular ╕deals ╕n f╕n╕te automata / Rystsov I.K. // Kibernetika i sistemny analiz. - 2003. - N 5. - P. 48-58.

It ╕s shown that regular ╕deals of a free mono╕d are character╕zed by weak (non-╕n╕t╕al) representat╕ons ╕n f╕n╕te automata. ╕t ╕s also shown that the class of kernel ╕deals ╕s ╕nvar╕ant under an act╕on of several automata functors and ╕s equal to the class of zero ╕deals. Refs: 10 titles.


УДК 51.681.3

Про алгоритми розв'язку систем л╕н╕йних д╕офантових констрейнт╕в в област╕ {0,1} / Кривий С.Л. // Кибернетика и системный анализ. - 2003. - № 5. - С. 58-69.

Розглянуто два алгоритми розв'язку систем л╕н╕йних д╕офантових констрейнт╕в у множин╕ {0,1}. Досл╕джуються деяк╕ властивост╕ даних алгоритм╕в щодо оц╕нки ╖х складност╕. ╤ л .: 1. Б ╕ бл ╕ огр .: 12 назв .

UDС 51.681.3

Algorithms used to solve systems of linear Diophantine constraints over a set {0,1} / Kryvyi S.L. // Kibernetika i sistemny analiz. - 2003. - N 5. - P. 58-69.

The paper considers two algorithms solving systems of linear Diophantine constraints over a set {0,1}. Some properties of these algorithms and estimates of their complicacy are investigated. Fig .: 1. Refs : 12 titles.


УДК 681.513

Принцип редукц╕╖ в задачах виявлення законом╕рностей. I / Василь╓в В.В. // Кибеpнетика и системный анализ. - 2003. - № 5. - С. 69-81.

Розглядаються iндуктивнi методи виявлення закономiрностей подiбностi. Показано, що спрощення (редукування) вихiдно╖ задачi пiдвищу╓ надiйнiсть iндуктивних методiв для задач виявлення закономiрностей, а також для задач по розпiзнаванню образiв. ╤л.: 2. Табл.: 2. Б╕бл╕огр.: 6 назв.

UDC 681.513

Reduction principle in law revealing problems. I / Vasil'yev V.V. // Kibernetika i sistemny analiz. - 2003. - N 5. - P. 69-81.

Inductive methods of similarity law revealing problems are considered. It is shown that simplification (reduction) of an output problem increases reliability of inductive methods when law revealing problems are solved including pattern recognition training ones. Figs: 2. Tabl.: 2. Refs: 6 titles.


УДК 61.681

Про природн╕ механ╕зми мислення та ╕нтелектуал╕зац╕╖ ЕОМ / Раб╕нович З.Л. // Кибернетика и системный анализ. - 2003. - № 5. - С. 82-88.

Розгляда╓ться Модель, як з'╓днувальна ланка м╕ж природним та штучним ╕нтелектом. Вона ма╓ як п╕знавальне, так ╕ прикладне значення, базу╓ться на в╕домих фактах природничих наук та необх╕дних для ╖╖ побудови к╕бернетичних г╕потезах. Вказан╕ можливост╕ та доц╕льн╕сть використання властивостей Модел╕ у розвитку внутр╕шнього ╕нтелекту ЕОМ, як приклад наводяться основн╕ принципи побудови нового класу (╕нтелектуальних вир╕шуючих машин). Б╕бл╕огр.: 18 назв.

UDC 61.681

On natural thinking mechanisms and computer intelligence / Rabinovich Z.L. // Kibernetika i sistemny analiz. - 2003. - N 5. - P. 82-88.

The paper considers a model as a communication link between natural intelligence and artificial one. It is of cognitive and application value, based on known facts of natural science and on cybernetical hypotheses necessary for its creation. The paper shows that it is possible and expedient to use the model features in development of internal computer intelligence. The main principles of construction of the new-class intelligent solving machines are given as the example. Refs : 18 titles .


СИСТЕМНИЙ АНАЛ╤З SYSTEMS ANALYSIS

УДК 519.6

Методи розв'язання неопуклих негладких задач стохастично╖ оптимiзацi╖ / ╢рмоль╓в Ю.М., Норкiн В.╤. // Кибернетика и системный анализ. - 2003. - № 5. - C. 89-106.

Проаналiзовано рiзноманiтнi класи неопуклих негладких задач стохастично╖ оптимiзацi╖, дослiджено ╖х узагальнен╕ диференцiальнi властивостi, необхiднi умови екстремума, розроблена методика обчислення стохастичних градi╓нтiв. Для кожного класу задач визначенi методи ╖х розв'язання, зокрема узагальнення методу стохастичних квазiградi╓нтiв. Б╕бл╕огр.: 68 назв.

UDС 519.6

Methods for solution to nonconvex nonsmooth stochastic optimization problems / Ermoliev Yu.M., Norkin V.I. // Kibernetika i sistemny analiz. - 2003. - N 5. - Р . 89-106.

The paper deals with different classes of nonconvex nonsmooth stochastic optimization problems, investigates thier generalized differentiability properties, neccessary optimality conditions, develops a technique for calculation of stochastic gradients. For each class of problems, corresponding solution methods are proposed, in particular, generalizations of a stochastic quasigradient method are considered. Refs: 68 titles.


УДК

Графов╕ модел╕ комун╕кац╕╖ моб╕льних пристро╖в у зонах доступу / Баум Д., Коваленко ╤.М. // Кибернетика и системный анализ. - 2003. - № 5. - С. 107-121.

Наведен╕ графов╕ модел╕ повед╕нки користувач╕в моб╕льних пристро╖в у середовищах з к╕лькома зонами доступу, таких як ст╕льники у ст╕льникових мережах, Bluetooth-кластери у спец╕ал╕зованих мережах керування моб╕льними пристроями та ╕нш╕ аналог╕чн╕ конф╕гурац╕╖. На основ╕ вказаних моделей побудован╕ розпод╕ли числа канал╕в зв'язку у р╕зних зонах доступу. Б╕бл╕огр.: 9 назв.

UDC

Graph models for communicating of mobiles in access areas / Baum D., Kovalenko I.N. // Kibernetika i sistemny analiz. - 2003. - N 5. - P. 107-121.

The paper represents graph models for investigation of a behavior of mobile users in an environment with several access areas such as cells in a cellular network, Bluetooth clusters in devices controlling ad hoc networks, or similar configurations. Based on these models, we derive distributions of a number of communication links in different access areas. Refs: 9 titles.


УДК 517.9:519.63

Про оптим╕зац╕ю хвильових процес╕в у неоднор╕дних середовищах / Гладкий А.В. // Кибернетика и системный анализ. - 2003. - № 5. - С. 122-131.

Розгляда╓ться задача оптимального керування для параболiчного хвильового рiвняння типу Шредiнгера з комплексним несамоспряженим оператором. Сформульовано критерiй оптимальностi, запропоновано чисельний метод розв'язання оптимiзацiйно╖ задачi та дослiджено стiйкiсть рiзницево╖ схеми. Б╕бл╕огр.: 9 назв.

UDC 517.9:519.63

On optimization of wave processes in inhomogeneous domains / Gladky A.V. // Kibernetika i sistemny analiz. - 2003. - N 5. - P. 122-131.

An optimal control problem for parabolic Schrodinger-type wave equation with a complex non-self conjugate operator is considered. An optimality criterion is formulated. A numerical method is proposed for solution of an optimization problem. A difference scheme stability is examined. Refs: 9 titles.


УДК 517.966.6

Узагальнений розв'язок ╕ оптим╕зац╕я парабол╕чних систем в областях з тонкими слабопроникними включеннями / Ляшко С.╤., Ном╕ровський Д.А. // Кибеpнетика и системний анализ. - 2003. - № 5. - С. 131-142.

Розгляда╓ться задача ╕снування та ╓диност╕ узагальненого розв'язку, а також оптим╕зац╕╖ параболч╕но╖ системи в областях з тонкими слабкопроникними включеннями (умови спряження типу не╕деального контакту). Досл╕дження базуються на доведенн╕ для оператора задач╕ апр╕орних нер╕вностей в негативних нормах. Б╕бл╕огр.: 7 назв.

UDC 517.966.6

Generalized solvability and optimization for parabolic systems in domains with low-penetrating insertions / Lyashko S.I., Nomirovsky D.A. // Kibernetika i sistemny analiz. - 2003. - N 5. - P. 131-142.

We consider existence and uniqueness of a solution, optimization problems of a parabolic system with low-penetrating insertions (imperfect interface). The investigation is based on the inequalities in negative norms. Refs: 7 titles.


УДК 519.21

Анал╕з над╕йност╕ систем, що описуються деревами в╕дмов з ефективностями / Кузн╓цов М.Ю., Михалевич К.В. // Кибеpнетика и системний анализ. - 2003. - № 5. - С. 142-151.

Запропонована модель дерева в╕дмов, що опису╓ побудову та функц╕онування систем з р╕зними р╕внями ефективност╕ роботи. Розроблено наближен╕ анал╕тичн╕ та статистичн╕ методи оц╕нки ймов╕рносних характеристик таких систем. Створено в╕дпов╕дне програмне забезпечення. Табл.: 1. Б╕бл╕огр.: 12 назв.

UDC 519.21

Reliability analysis for systems described by fault trees with efficiencies / Kuznetsov N.Yu., Mikhalevich K.V. // Kibernetika i sistemny analiz. - 2003. - N 5. - P. 142-151.

A fault tree model is proposed that describes a structure and functioning of systems with different levels of operation quality is proposed. Approximate analytical and statistical methods for the evaluation of such system reliability characteristics are developed. An appropriate software is worked out. Tabl.: 1. Refs: 12 titles.


УДК 517.95:519.86

Про задачу iдентифiкацi╖ матрично-iнтегруючих систем / Стоян В.А. // Кибернетика и системный анализ. - 2003. - № 5. - С. 152-164.

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

UDC 517.95:519.86

Problem of matrix integration system identification / Stoyan V.A. // Kibernetika i sistemny analiz. - 2003. - N 5. - P. 152-164.

Problems of identification, where the entering signal is represented by the integral transformation kernels of discrete and continuous in time vector functions and the resulting signal is the static vector based on the number of observations over system, are solved. Algorithms of solving this problem are given for the case when one of the entrances of the system is informationally dependent on the others. Refs: 8 titles.


ПРОГРАМНО-ТЕХН╤ЧН╤ КОМПЛЕКСИ SOFTWARE-HARDWARE COMPLEXES

УДК 681.324

Пам'ять розпод╕лених комп'ютерних систем: особливост╕ арх╕тектурно-структурно╖ орган╕зац╕╖ ╕ застосування / Яковл╓в Ю.С. // Кибернетика и системный анализ. - 2003. - № 5. - С. 165-180.

Розглянуто особливост╕ арх╕тектурно-структурно╖ орган╕зац╕╖ ╕ застосування мереж пам'ят╕ з метою вибору оптимально╖ конф╕гурац╕╖ при проектуванн╕ розпод╕лених комп'ютерних систем. ╤л.: 5. Табл.: 1. Б╕бл╕огр.: 21 назва.

UDC 681.324

A distributed computer system memory: architectural and structural arrangement features, application / Yakovlev Yu.S. // Kibernetika i sistemny analiz. - 2003. - N 5. - P. 165-180.

Features of an architectural-structural arrangement and application of memory networks are considered for choice of an optimal configuration when distributed computer systems are designed. Figs: 5. Tabl.: 1. Refs: 21 titles.


УДК 004.085

Оптичн╕ диски - основа сучасно╖ безпаперово╖ технолог╕╖ обробки даних / Петров В.В., Крючин О.О., Шанойло С.М., Сидоренко В.╤ // Кибернетика и системный анализ. - 2003. - № 5. - С. 181-187.

Проанал╕зовано можлив╕сть метод╕в обробки, розпод╕лу та збер╕гання ╕нформац╕╖ з використанням оптичних нос╕╖в. Показано напрямки удосконалення характеристик оптичних нос╕╖в ╕нформац╕╖, визначено нов╕ област╕ ╖х застосування. Розглянуто можливост╕ використання оптичних нос╕╖в для довгочасного збер╕гання цифрово╖ ╕нформац╕╖. Б╕бл╕огр.: 16 назв.

UDC 004.085

Optical disks - the basis for the present day paperless data processing technology / Petrov V.V., Kryuchin A.A., Shanoylo S.M., Sidorenko V.I. // Kibernetika i sistemny analiz. - 2003. - N 3. - P. 181-187.

Abilities of information processing, distribution and storage methods are analyzed. The paper shows directions in which optical information media characteristics are improved. New application spheres are stated. Possibilities to use optical media are considered for the case when digital information is stored for a long time. Refs: 16 titles.



назад до зм╕сту back to contents
назад до головно╖ стор╕нки back to home page

 

Кибернетика и системный анализ, 2003, № 5