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

№6, 2001


РЕФЕРАТИ/ABSTRACTS


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

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

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

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

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


РЕФЕРАТИ ABSTRACTS

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

УДК 518.9

Оптим╕зац╕я обчислень в систем╕ ╕м╕тац╕йного моделювання fSim / Михалевич М.В., Лисицький Д.В. // Кибернетика и системный анализ. - 2001. - № 6. - С. 3-17.

Засобами теор╕╖ граф╕в побудовано обчислювальну модель системи fSim. Розглянуто проблему переходу в╕д багатор╕вневих до однор╕вневих моделей систем. Сформульован╕ принципи побудови ╕м╕тац╕йних моделей засобами fSim в умовах розпод╕лення обчислень. Розглянуто алгоритми оптим╕зац╕╖ в розпод╕лених середовищах на основ╕ методу вектора спаду та евристичних метод╕в. ╤л.: 6. Б╕бл╕огр.: 10 назв.

UDC 518.9

Computing optimization in the fSim simulation environment / Mikhalevich M.V., Lisitsky D.V. // Kibernetika i sistemny analiz. - 2001. - N 6. - P. 3-17.

A computational model of the fSim environment is built in terms of the graph theory. The problem of transition from multi-level to one-level models is analyzed. Principles of simulation construction in fSim are described for distributed computing. Optimization algorithms for distributed computing are considered, basing on a slump vector and heuristic methods. Figs: 6. Refs: 10 titles.


УДК 623/518.3/517.5

Про декларативне подання алгоритм╕в поповнення критичними парами / Волков В.А. // Киберненика и системный анализ. - 2001. - № 6. - С. 18-24.

Опису╓ться декларативне представлення для алгоритм╕в типу поповнення критичними парами. Це представлення може розглядатись як породжуюча програма, що при параметризац╕╖ деяких функц╕й реал╕зу╓ або алгоритм Кнута-Бенд╕кса для розв'язання проблеми сл╕в в ун╕версальних алгебрах, або алгоритм Бухбергера побудови базис╕в Гребнера пол╕ном╕ального ╕деалу. Розглядаються властивост╕ цього представлення, пов'язан╕ з завершим╕стю та коректн╕стю. Опису╓ться реал╕зац╕я у систем╕ алгебра╖чного програмування АПС. ╤л.: 1. Б╕бл╕огр.: 10 назв.

UDC 623/518.3/517.5

On the declarative presentation for algorithms completion with critical pairs / Volkov V.A. // Kibernetika i sistemny analiz. - 2001. - N 6. - P. 18-24.

This paper describes declarative presentation of critical pairs (completion like algorithms) The presentation could be considered as a generic program that if paramerizing some functions implements either Knuth-Bendix algorithm for word problem solving in universal algebras or Buchberger algorithm for Grebner basis construction for polynomial ideal. Termination and correction properties are considered. The implementation in algebraic system APS is described. Fig.: 1. Refs: 10 titles.


УДК 519.716.35

Про деяк╕ дескриптивн╕ системи / Л╕совик Л.П. // Кибернетика и системный анализ. - 2001. - № 6. - С. 24-36.

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

UDC 519.716.35

On some descriptive systems / Lisovik L.P. // Kibernetika i sistemny analiz. - 2001. - N 6. - P. 24-36.

The paper describes some principles of making up a descriptive subsystem for languages of various directions, for example, for languages of mathematical and scientific disciplines. A semantical configuration separation principle is specifically concidered. Refs: 4 titles.


УДК 519.713.1

Теоретико-автоматний п╕дх╕д до вериф╕кац╕╖ реактивних систем / Чеботарьов А.М. // Кибернетика и системный анализ. - 2001. - № 6. - С. 37-49.

Розглядаються основн╕ проблеми, пов'язан╕ з використанням теоретико-автоматних метод╕в вериф╕кац╕╖, зокрема побудова автомата-розп╕знавача за формулою темпорально╖ лог╕ки та редукц╕я автомата, що вериф╕ку╓ться. ╤л.: 6. Б╕бл╕огр.: 11 назв.

UDC 519.713.1

An automata-theoretic approach to reactive systems verification / Chebotarev A.N. // Kibernetika i sistemny analiz. - 2001. - № 6. - P. 37-49.

Basic problems related to automata-theoretic verification methods are considered. They are construction of an automaton from temporal logic specification and reduction of the automaton to be veryfied. Figs: 6. Refs: 11 titles.


УДК 681.327

Метод вир╕шення проблеми дискретного логарифмування на ел╕птичних кривих шляхом под╕лу точок на два / Бессалов А.В. // Кибернетика и системный анализ. - 2001. - № 6. - С. 50-53.

Запропоновано новий п╕дх╕д до розв'зку проблеми дискретного логарифмування в абелев╕й груп╕ точок ел╕птично╖ криво╖, оснований на процедур╕ под╕лу точок деяко╖ п╕дгрупи криво╖ на два. Б╕бл╕огр.: 7 назв.

UDC 681.327

A method for solving a elliptic curve discrete logarithm problem under division by two / Bessalov A.V. // Kibernetika i sistemny analiz. - 2001. - N 6. - P. 50-53.

A newapprach is proposed for solution to a elliptic curve discrete logarithm problem of inatelian group points. It is based on the procedure of division of points of some curve subgroup by two. Refs: 7 titles.


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

УДК 532.546:539.3

Системний анал╕з об'╓кт╕в, що перебувають п╕д впливом вза╓мод╕ючих процес╕в / Скопецький В.В., Марченко О.О., Л╓жн╕на Н.А. // Кибернетика и системный анализ. - 2001. - № 6. - С. 54-66.

Запропонована нова модель досл╕дження ст╕йкост╕ грунтових г╕дротехн╕чних об'╓кт╕в з╕ зм╕нним температурним режимом. Сформульована зм╕шана початково-крайова задача для системи двох нел╕н╕йних парабол╕чних та двох р╕внянь теор╕╖ пружност╕, доведено ╓дин╕сть класичного розв'язку дано╖ задач╕. Отримана оц╕нка швидкост╕ зб╕жност╕ наближеного узагальненого розв'язку, побудованого на баз╕ методу ск╕нченних елемент╕в. Наведено результати розрахунку модельного прикладу. ╤л.: 1. Б╕бл╕огр.: 5 назв.

UDC 532.546:539.3

System analysis of objects under the influence of interactive processes / Skopetsky V.V., Marchenko O.A., Lezhnina N.A. // Kibernetika i sistemny analiz. - 2001. - N 6. - P. 54-66.

A new model is proposed for examination of stability of ground hydroengineering objects with variable temperature mode. An initial-boundary problem for a system of two nonlinear parabolic equations and two elasticity theory equations is formulated. A uniqueness of the classic solution to this problem is proved. Convergence rate estimates of approximate generalized solution, built on the basis of the finite element method, are obtained. Illustrative example solution results are given. Fig.: 1. Refs: 5 titles.


УДК 519.68

Iгровi задачi керування для квазiлiнiйних систем з дробовими похiдними Рiмана-Лiувiлля / Чикрiй А.О., Ейдельман С.Д. // Кибернетика и системный анализ. - 2001. - № 6. - С. 66-99.

Досл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львестра. Б╕бл╕огр.: 23 назви.

UDC 519.68

Game problems of control for quasilinear systems with Riemann-Liouville fractional derivatives / Chikrii A.A., Eidelman S.D. // Kibernetika i sistemny analiz. - 2001. - N 6. - P. 66-99.

Conflict-controlled processes for the systems with Riemann-Liouville fractional derivatives of arbitrary order are studied here. The representation of such systems solution in the form of Cauchy formula analog is given. Also using the method of resolving functions, sufficient condition for the game termination are obtained. These conditions are based on the modified Pontryagin`s condition, expressed in the terms of Mittag-Leffler matrix functions. To find the latter the apparatus of Lagrange-Silvester interpolating polynomials is applied. Refs: 23 titles.


УДК 519.8

Анал╕з складност╕ алгоритму множення надвеликих чисел на основ╕ коеф╕ц╕╓нт╕в Уолша / Зад╕рака В.К., Мельникова С.С. // Кибернетика и системный анализ. - 2001. - № 6. - С. 99-110.

Розвива╓ться п╕дх╕д Штрассена до швидкого множення великих чисел в план╕ використання при його реал╕зац╕╖ алгоритму ╤╤ПТУ для обчислення дискретно╖ цикл╕чно╖ згортки. Наводяться апр╕орн╕ оц╕нки складност╕ побудованого алгоритму, результати пор╕вняльного анал╕зу з алгоритмом Карацуби-Оффмана, Шенхаге-Штрассена та стандартним алгоритмом, а також област╕ його ефективного використання. ╤л.: 2. Табл.: 3. Б╕бл╕огр.: 8 назв.

UDC 519.8

Analysis of completeness of the algorithm for large numbers multiplication using Walsh coefficients / Zadiraka V.K., Melnikova S.S. // Kibernetika i sistemny analiz. - 2001. - N 6. - P. 99-110.

The Shtrassen approach for rapid multiplication of large numbers with using FWT algorithm for its realization for discrete convolutiion calculation is developed. A priori completeness estimations of the built algorithm, results of the comparison analysis with Karatsuba-Offman, Shenhage-Shtrassen and standard algorithms as well as spheres of its efficient implementation are given. Figs: 2. Tabls: 3. Refs: 8 titles.


УДК 519.21

Деяк╕ маркiвскi системи обслуговування з повторними вимогами в умовах мало╖ загрузки / Анiсiмов В.В., Куртулуш М. // Кибернетика и системный анализ. - 2001. - № 6. - С. 110-126.

Дослiджу╓ться асимптотична поведiнка моменту першо╖ втрати вимоги в маркiвських одно- i багатоканальних системах обслуговування з повторними вимогами та скiнченим буфером, а також при наявост╕ зовнiшнього маркiвського середовища. Розгляда╓ться два випадки: вiдношення параметру вхiдного потоку до iнтенсивностi обслуговування пряму╓ до нуля, а також одночасно вiдношення параметра вхiдного потоку до iнтенсивнiстi обслуговування i до iнтенсивностi повторних вимог прямують до нуля. Використовуючи метод S-множин та поняття монотонно╖ структури, введених в роботах Анiсiмова, доведена експоненцiальна апроксимацiя моменту першо╖ втрати вимоги i пуасонiвська апроксимацiя потоку втрачених вимог. Б╕бл╕огр.: 28 назв.

UDC 519.21

Some markov retrial queueing models in light traffic conditions / Anisimov V.V., Kurtulus M. // Kibernetika i sistemny analiz. - 2001. - N 6. - P. 110-126.

An asymptotic analysis of a time of the first loss for a call and a flow of lost calls for Markov single-server as well as multiserver retrial queueing models with a finite buffer and also in the presence of external Markov environment is considered. Two cases are studied: the ratio of an input rate to a service rate tends to 0, and both ratios of an input rate to a service rate and an input rate to a retrial rate tend to 0. Using the method of so-called S-sets and the notion of monotone structure introduced by Anisimov, an exponential approximation for a time of the first call loss and Poisson approximation for a flow of lost calls are proved for all the considered cases. Refs: 28 titles.


УДК 681.513

Новий п╕дх╕д до р╕шення задач╕ кластеризац╕╖ даних / Бабак О.В., Гасанов А.С. // Кибернетика и системный анализ. - 2001. - № 6. - С. 126-133.

Запропоновано новий п╕дх╕д до вир╕шення деяких задач кластерного анал╕зу, який поляга╓ в зведенн╕ багатовим╕рно╖ задач╕ до одном╕рно╖. ╤л.: 4. Б╕бл╕огр.: 6 назв.

UDC 681.513

A new approach to data clasterization problem solution / Babak O.V., Gasanov A.S. // Kibernetika i sistemny analiz. - 2001. - N 6. - P. 126-133.

A new approach to data clasterization problem solution reducing a multi-dimensional problem to a one-dimensional problem is suggested. Figs: 4. Refs: 6 titles.


УДК 519.2

Про необх╕дн╕ умови екстремальност╕ крайн╕х розпод╕л╕в в узагальнених нер╕вностях Чебишова та ╖х застосування у теор╕╖ над╕йност╕. I / Стойкова Л.С. // Кибернетика и системный анализ. - 2001. - № 6. - C. 133-146.

Розглянуто задачу оптим╕зац╕╖ л╕н╕йного функц╕оналу на множин╕ функц╕й розпод╕лу з двома ф╕ксованими степеневими моментами. Запропонован╕ ╕ досл╕джен╕ нов╕ необх╕дн╕ умови екстремальност╕ крайн╕х розпод╕л╕в у ц╕й задач╕. ╤л.: 3. Б╕бл╕огр.: 10 назв.

UDC 519.2

On necessary conditions of extremality of extreme distributions in generalized Chebyshev inequalities and application to theory reliability. I / Stoikova L.S. // Kibernetika i sistemny analiz. - 2001. - N 6. - P. 133-146.

An optimization problem for a linear functional on a set distribution functions with two fixed power moments is considered. New necessary conditions of extremality of exterme distributions in this problem are proposed and investigated. Figs: 3. Refs: 10 titles.


УДК 519.6:511.3

Про ╕нтервальне оц╕нювання значень деяких дзета- та L-функц╕й та ╖х застосування / Глазунов М.М. // Кибернетика и системный анализ. - 2001. - № 6. - С. 147-154.

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

UDC 519.6:511.3

On interval evaluation of values of some zeta- and L-functions and their applications / Glazunov N.M. // Kibernetika i sistemny analiz. - 2001. - N 6. - P. 147-154.

The paper briefly describes some aspects of interval evaluation of Riemann zeta-function, Dirichlet L-functions, Dedekind zeta-functions and applications of evaluation. Refs: 20 titles.


УДК 519.8

Уточнення формули Блека-Шоулза для вартост╕ опц╕ону / Треньов М.М. // Кибернетика и системный анализ. - 2001. - № 6. - С. 154-161.

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

UDC 519.8

Revision of Black-Scholes formula for option valuation / Trenev N.N. // Kibernetika i sistemny analiz. - 2001. - N 6. - P. 154-161.

A most important problem of actuarial mathematics, that is option (a document for purchase and sale securities of a certain form) valuation in the future, is considered. The well-known approximate formula for option valuation is specified Tabls.: 3. Refs: 3 titles.


УДК 681.5.015:007

Розв'язання задачi дiагностики на основi нечiтких вiдношень i генетичного алгоритму / Ротштейн О.П., Ракитянська Г.Б. // Кибернетика и системный анализ. - 2001. - № 6. - С. 162-170.

Розгляда╓ться застосування оберненого логiчного виведення в експертних системах дiагностики. Пропону╓ться генетичний алгоритм розв'язання систем нечiтких логiчних рiвнянь, що базу╓ться на операцiях схрещування, мутацi╖ i селекцi╖ початкового набору хромосом. Ефективнiсть алгоритму iлюстру╓ться шляхом комп'ютерного експерименту. Iл.: 6. Табл.: 3. Бiблiогр.: 10 назв.

UDC 681.5.015:007

A solution to a problem of diagnosis on the basis of a fuzzy relation and a genetic algorithm / Rotshtein A.P., Rakytjanska A.B. // Kibernetika i sistemny analiz. - 2001. - № 6. - P. 162-170.

An application of inverse logic inference in expert diagnosis systems is considered. A genetic algorithm based on crossover, mutation and selection of an initial set of chromosomes is proposed in order to solve systems of fuzzy logic equations. Computer simulation illustrates an algorithm efficiency. Figs: 6. Tabls.: 3. Refs: 10 titles.


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

УДК 519.2

Модель м╕кропроцесора з широким командним словом / Герасимов O.╤. / Кибернетика и системный анализ. - 2001. - № 6. - С. 171-180.

Запропоновано анал╕тичний п╕дх╕д для оц╕нки характеристик м╕кропроцесорних обчислювальних систем з широким командним словом. Як модел╕ використовуються мереж╕ масового обслуговування. Iл.: 10. Б╕бл╕огр.: 31 назвa.

UDC 519.2

A model of microprocessors with a broad command word / Gerasimov A.I. // Kibernetika i sistemny analiz. - 2001. - N 6. - P. 171-180.

The paper proposes an analytical approach, used to estimate characteristics of microprocessor computer systems with a broad command word. The queing networks are used as models. Figs: 10. Refs: 31 titles.



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

 

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