|
Кибернетика и системный анализ №1, 1997 РЕФЕРАТИ/ABSTRACTS К╤БЕРНЕТИКА/KIBERNETIKA СИСТЕМНИЙ АНАЛ╤З /SYSTEMS ANALYSISПРОГРАМНО-ТЕХН╤ЧН╤ КОМПЛЕКСИ/SOFTWARE-HARDWARE COMPLEXES СТИСЛ╤ ПОВ╤ДОМЛЕННЯ/BRIEF NOTES
УДК 519.8 Ст╕йк╕сть та необмежен╕сть задач векторно╖ оптим╕зац╕╖ / Серг╕╓нко ╤.В., Козерацька Л.М., Кононова А.О. // Кибернетика и системний анализ. – 1997. – № 1 – С 3-10. Досл╕джено вплив збурень коеф╕ц╕╓нт╕в критер╕╖в на повед╕нку розв'язк╕в багатокритер╕альних задач (в тому числ╕ ц╕лочислових) з необмеженою допустимою областю. Б╕бл╕огр.: 8 назв. UDC 519.8 On stability and unboundedness of the vector optimization problems / Sergienko I.V., Kozeratska L.M., Kononova A.A. // Kibernetika ╕ sistemny analiz. – 1997. – № 1. – P. 3-10. The influence externed by the problem data perturbations onto the behaviour of the solutions of vector optimization problems (including the integer ones) with an unbounded region is investigated. Refs: 8 titles.
УДК 681316 Г╕потетичне моделювання: методолог╕я та застосування / Гладун В.П. // Кибернетика и системний анализ. – 1997. – № 1. – С. 10-20. Розглядаються процеси та методи г╕потетичного моделювання. Описан╕ методи формування г╕потез на основ╕ ╕ндукц╕╖, аналог╕╖, дедукц╕╖, а також ╖х практичн╕ використання в медицин╕, х╕м╕╖, б╕знес╕ та ╕н. Б╕бл╕огр..: 20 назв. UDC 681316 Hypothetic modeling: methodology and application / Gladun V.P. // Kibernetika ╕ sistemny analiz.– 1997. – № 1. – P. 10-20. The process and methods of hypothetic modelling are defined. The hypotheses formation methods are described on the basis of induction, analogy and deduction. Their practical applications in medicine, chemistry, business are also discussed. Refs: 20 titles.
УДК 6813 П╕двищення точност╕ обчислень при розрядно-логарифм╕чному представленн╕ даних / Гамаюн В.П. // Кибернетика и системний анализ. – 1997. – № 1. – С. 21-27. Розглянуто п╕двищення точност╕ обчислень в зв'язку з╕ зб╕льшенням с╕тки операнд╕в при розрядно-логарифм╕чному представленн╕ даних. Наведен╕ област╕ використання та правила реал╕зац╕╖ арифметичних операц╕й на п╕дстав╕ розрядно-логарифм╕чного представлення даних Табл; 3. Б╕бл╕огр.: 6 назв. UDC 6813 Enhancing the computation accuracy under the bit-logarithmic data representation / Gamajun V.P. // Kibernetika ╕ sistemny analiz. – 1997. – № 1. – P. 21-27. The computing accuracy enhancement is considered with respect to increasing the set bit of the operands under the bit-logarithmic data representation. The applications domains and rules of realization of the arithmetic operations are defined on the basis of the bit-logarithmic data represantation. Tabk 3. Refs: 6 titles.
УДК 519.8 Побудова реш╕тки п╕далгебр алгебри Дейкстри / Цейтл╕н Г.О. // Кибернетика и системний анализ. – 1997. – № 1 – С 27-45. Розглянуто побудову поверхн╕, яка склада╓ться ╕з сукупност╕ ск╕нченно-породжених п╕далгебр алгебри Дейкстри. Основний висновок – р╕шення проблем функц╕онально╖ повноти та виразност╕ для найб╕льш ц╕кавих таких п╕далгебр. Зд╕йснена також локал╕зац╕я конт╕нуума, яка поляга╓ в ╕ксац╕╕ п╕далгебр, що мають конт╕нуум замкнених клас╕в, ╤л.: 2. Б╕бл╕огр; 7 назв.UDC 519.8 Construction of lattice of the Dickstra algebra subalgebra / Tseitlin G.E. // Kibernetika ╕ sistemny analiz. – 1997. – № 1. – P. 27-45. The present article is devoted to the design of the surface being a totality of finite-generated subalgebras the Digkstra algebra. The basic result is the solution of the problems offunctional completeness and ability to be expressed for most interesting of these subalgebras. The continuum localization, i.e., fixing the subalgebras possessing a continuum of closed classess has been realized too. Figs: 2. Refs: 7 titles.
УДК 51:621.391 Про нумерац╕ю елемент╕в симетрично╖ нап╕вгрупи / Беляев А.К. // Кибернетика и системный анализ. – 1997. – № 1. – С 46-56. П╕дх╕д, який пропону╓ться до нумерац╕╖ елемент╕в симетрично╖ нап╕вгрупи, заснований на розпод╕л╕ елемент╕в нап╕вгрупи на сум╕жн╕ класи в╕дносно групових елемент╕в ╕ може бути використаний при подач╕ елемент╕в нап╕вгрупи перетворень р╕зними системами тв╕рних. ╤л.: 2. Б╕бл╕огр: 3 назви. UDC 51:621.391 On numbering of the elements in a symmetrical semigroup / Belyaev A.K. // Kibernetika i sistemny analiz. – 1997. – № 1. – P. 46-56. The proposed method of the approach to numbering the symmetrical semigroup elements has been connected with partitioning of the semigroup into the cosets elements relative to the group elements,and it may be useful for representing the semigroup elements of transformations by different systems of generators. Figs: 2. Refs: 3 titles.
УДК 518.74 Декомпозиц╕я лог╕ко-л╕нгв╕стичних моделей прийняття р╕шень у розпод╕льних обчислювальних середовищах / Самохвалов Ю.Я. // Кибернетика и системный анализ. – 1997. – № 1. – С 57-65. У рамках немонотонно╖ лог╕ки замовчувань розглянуто формальний апарат декомпозиц╕╖ задач при розв'язку ╖х у розпод╕льних системах прийняття р╕шень з в╕дкритою мереживною арх╕тектурою. Приведена стратег╕я розпод╕льного розв'язування. ╤л.: 1. Б╕бл╕огр. 8 назв. UDC 518.74 Decomposing the logic-linguistic decision-making models in the distributed computer environments / Samokhvalow Yu.Ya. // Kibernetika ╕ sistemny analiz. – 1997. – № 1. – P. 57-65. The formal apparatus of task decomposition (when the tasks are resolved in the distributed decision-making systems with an open network architecture) is treated due to the nonmonotonic default logic Distributed decision strategy has been presented. Fig; L Refs: 8 titles.
УДК 519.87:355 Досл╕дження соц╕ально-пол╕тичних процес╕в методами системного анал╕зу / Згуровський М.З., Померанцева Т.О., Доброногов А.В., Артьомов О.Ю. // Кибернетика и системный анализ. – 1997. – № 1. – С. 66-85. Розглядаються актуальн╕ проблеми використання формальних метод╕в досл╕дження складних соц╕альних систем. Математичним апаратом с модельн╕ системи ╤з╕нга (ч. 1) та нейромережн╕ – на зразок хопф╕лдовських (ч. 2). Наводяться приклади реал╕зац╕╖ запропонованих метод╕в для моделювання конкретних соц╕ально-пол╕тичних процес╕в ╕ систем. ╤л.: 3. Б╕бл╕огр: 4; 9 назв. UDC 519.87:355 Investigating the social and political processes by the system analysis methods / Zgurovsky M.Z., Pomerantseva T.A., Dobronogov A.V., Artjomov O.Ju. // Kibernetika ╕ sistemny analiz. – 1997. –№ 1. – P. 66-85. The paper considers the urgent problems concerned with application of the formal methods used to examine the complicated social systems. The mathematical apparatus of the examined system consists of Easing model systems (part 1) and the neural-network (like Hopfield) ones (part 2). Also, the paper gives the examples of implementation of the proposed methods simulating the specific social and political processes and systems. Figs: 3. Refs: 4; 9 titles.
УДК 517.53 Узагальнен╕ ╕нтерполяц╕йн╕ многочлени / Абрамчук B.C., Ляшко С.1., Скопецький В.В. // Кибернетика и системный анализ. – 1997. – № 1. – С. 86-98. Узагальненим многочленом з базовою функц╕╓ю
визначаються з умов ╕нтерполяц╕╖. Показано, що з допомогою узагальнених ╕нтерполяц╕йних многочлен╕в можна одночасно розв'язувати ряд задач нел╕н╕йного наближення. Б╕бл╕огр; 13 назв. УДК 517.53 On the generalized interpolation polynomials / Abramchuk V.S., Lyashko S.I., Skopetsky V.V. // Kibernetika ╕ sistemny analiz. – 1997. – № 1. – P. 86-98. A polynomial of the form
is called the generalized polynomial with the basic function j (x,` a) and nod coefficients р╕(х) О С [а, b], i О I. The work shows that, with the use of the generalized interpolation polynomial it is possible to solve a number of the problems of non-linear approximation simultaneously. Refs: 13 titles.
УДК 517.53 Ефективний алгоритм призначення безперервно виконуваних двоетапних роб╕т в керуванн╕ вантажно-транспортним процесом / Пан╕шев А.В., Журавок А.Г. // Кибернетика и системный анализ. – 1997. – № 1. – С 99-107. Досл╕джу╓ться модель упорядкування n двоетапних роб╕т в систем╕, яка ма╓ 1+m процесор╕в, n>m, коли протяжн╕сть першого етапу кожно╖ роботи дор╕вню╓ 1. Мета роботи – визначити алгоритм побудови оптимального швидкод╕ючого розкладу ╕ оц╕нки його повед╕нки. Iл; 5. Б╕бл╕огр- 3 назваUDC 517.53 On an efficient algorithm of cotinuous twostage work assignment in load-transportation process control / Panishev A.Y., Zhuravok A.G. // Kibernetika ╕ sistemny analiz. – 1997. – № 1. – P. 99-107. This article investigates the seguence model of n twostage works in the system containing 1+m processors, n>m, when the first stage length of each work is egual to 1. The goal of the article is to develop the algorithm constructing the schedule optimal as for the performance and to examine its behavior. Figs. 5. Pefs 3 titles.
УДК 623. /518.3/517.5 Реал╕зац╕я чисельно-анал╕тичних метод╕в наближення функц╕й, що задан╕ звичайними ди-ференц╕йними р╕вняннями / Летичевский О.А., Денисенко П.М., Б╕ленко В.1., Волков В.А. // Кибернетика и системный анализ. – 1997. – № 1. – С 108-112. Описана реал╕зац╕я засобами алгебра╖чного програмування оптимальних за точн╕стю пол╕ном╕альних метод╕в апроксимац╕╖ функц╕й, що ╓ розв'язками звичайних диференц╕йних р╕внянь. Дан╕ методи можуть бути застосован╕ як для л╕н╕йних диференц╕йних р╕внянь з пол╕ном╕альними коеф╕ц╕╓нтами, так ╕ для диференц╕йних р╕внянь з алгебра╖чними нел╕н╕йностями. Б╕бл╕огр; 9 назв. UDC 623. /518.3/517.5 Implementing the symbolic-numerical approximation methods for the functions defined by ordinary-differential equations / Letichevsky A.A., Denisenko P.M., Bilenko V.I., Volkov V.A, // Kibernetika ╕ sistemny analiz. – 1997. – № 1. – P. 108-111 The implementation of optimal by accuracy polynomial methods of function approximation is described. These functions are defined by the ordinary-differential equations. The proposed methods are applicable for the linear differential equations with the polynomial coefficients as well as for the differential equations with algebraic non-linearities. Refs: 9 titles.
УДК 519.21 Уточнення експоненц╕ально╖ асимптотики для функц╕╖ розпод╕лу суми випадкового числа нев╕д'╓мних випадкових величин / Наконечний О.М // Кибернетика и системный анализ. –1997. – № 1. – С 112-121. Одержано два перш╕ члени асимптотичного розкладу розпод╕лу суми випадкового числа UDC 519.21 Refining the exponential asymptotics of the distribution function for the sum of a random number of nonnegative random variables / Nakonechnyi A.N. // Kibernetika ╕ sistemny analiz. –1997. – № 1. – P. 112-121. Two first terms of the asymptotical expansion of the distribution function for the sum of a random number of nonnegative random variables are given. Refs: 16 titles.
УДК 519 Про методи нел╕н╕йно╖ структури в задачах оптим╕зац╕╖ / Антонюк А.О. // Кибернетика и системный анализ. – 1997. – № 1. – С 121-130. Да╓ться огляд наукових публ╕кац╕й доктора ф╕зико-математичних наук М.М. Редковського, який недавно п╕шов з життя. Сво╖ми роботами по методам нел╕н╕йно╖ структури в задачах оптим╕зац╕╖, а також по математичному моделюванню в╕н зробив значний внесок в теор╕ю та практику чисельних метод╕в оптим╕зац╕╖. Б╕бл╕огр. 65 назв. UDC 519 On the methods of nonlinear structure in optimization problems / Antonjuk A.A. // Kibernetika ╕ sistemny analiz. – 1997. – № 1. – P. 121-130. The paper gives a brief report of the scientific publications of Redkovsky, Doctor of Physical and Mathematical Sciences, who has recently died He has made a considerable contribution into the theory and practice of the numerical optimization methods by his works on the methods of nonlinear structure in optimization problems and mathematical simulation. Refs: 65 titles.
УДК 519.816 Про задачу групового вибору з обмеженнями / Бурдюк В.Я., Горго Ю.М. // Кибернетика и системный анализ. – 1997. – № 1. – С 131-136. Запропоновано оптим╕зац╕йний алгоритм розв'язання задач╕ групового вибору, коли експертн╕ упорядкування ╓ дов╕льн╕, а групове упорядкування ма╓ ф╕ксовану структуру. Подано рекомендац╕╖ щодо розв'язання реальних задач групового вибору. Б╕бл╕огр: 6 назв. UDC 519.816 A group choice problem with constraints / Burdyuk V.Ya., Horho Yu.M. // Kibernetika ╕ systemny analiz. – 1997. – № 1. – P. 131-136. We propose the optimization algorithm solving the group choice problem with constraints. We also give some recomendations as for solvation of the real choice problems. Refs: 6 titles.
УДК 330.115 Грошова модель попиту та пропозиц╕╖ / Алекс╓╓в А.О. // Кибернетика и системный анализ. – 1997. – № 1. – С 136-141. Розгляда╓ться загальна схема моделювання ф╕нансового механ╕зму обслуговування боргу, в як╕й виявляються важлив╕ властивост╕ ╕нвар╕антност╕ параметр╕в реал╕зац╕╖ схем розрахунк╕в. Ф╕нансово-кредитну модель побудовано як оптим╕зац╕йну. Табл.: 3. Б╕бл╕огр; 4 назви. UDC 330.115 A monetary model of demand and supply / Alekseev A.A. // Kibernetika ╕ sistemny analiz. – 1997. – № 1. – P. 136-141. A common scheme simklating the financial dept-service mechanism is considered. There are some important properties of the parameter invariance in realization of the calculation schemes. The financial-credit mechanism model is designed as the optimization one. Tabl.: 3. Refs: 4 titles.
УДК 623. /518.3/517.5 Розробка зм╕шаного обчислювача для розширеного l -обчислення / Летичевський О.А. //Кибернетика и системный анализ. – 1997. – № 1. – С. 141-160. Розгляда╓ться розробка зм╕шаного обчислювача для розширеного l -обчислення вищого порядку. Зм╕шаний обчислювач не потребу╓ обмежень на програму, що спец╕ал╕зу╓ться, ╕ розб╕га╓ться лише у випадку розб╕жност╕ програми для вс╕х динам╕чних зм╕нних Б╕бл╕огр.: 15 назв.UDC 623. /518.3/517.5 The development of a partial evaluator for extended lambda calculus / Letichevsky A.A. // Kibernetika i sistemny analiz. – 1997. – № 1. – P.141-160. The development of a partial evalutor for the extended higher order untyped lambda calculus is presented. There are no restrictions on a specialized program and the partial evaluator diverges only when the specialized program diverges for all values of the dynamic variables. Refs: 15 titles.
УДК 519.6 Оптимальне управл╕ння ╕мунною в╕дпов╕ддю, що синхрон╕зу╓ окрем╕ регуляторн╕ ланки ╕мунно╖ системи. ╤╤. ╤дентиф╕кац╕я параметр╕в модел╕ та поновлення пропущених даних / Серг╕╓нко ╤.В., Яненко В.М., Ато╓в K.Л. // Кибернетика и системный анализ. – 1997. – № 1 – С. 161-176. Розроблена математична модель гуморально╖ ╕мунно╖ в╕дпов╕д╕, автоматизована технолог╕я поновлення даних та досл╕джена задача управл╕ння гуморальною ╕мунною в╕дпов╕ддю та корегуванням ╤CO. Табл. 1. ╤л.: 8. Б╕бл╕огр.: 37 назв. UDC 519.6 On the optimal immune response regulation synchronizing several links of an immune system. ╤╤. Identifying the model parameters and handling the I╤╤-conditioned data / Sergienko I.V., Yanenko V.M., Atoev K.L. // Kiberneiika ╕ stetemny amliz. – 1997. – № 1. – P. 161-176. A mathematical model of humor immune response and a computer technique handling the Ш-condltioned data are created. The problem of control of humor immune response and immune status correction is investigated. Tabl 1. Figs: 8. Refs: 37 titles.
УДК 519.6 Проблеми над╕йност╕ прикладного програмного забезпечення / Молчанов ╤.М., // Кибернетика и системный анализ. – 1997. – № 1. – С 177-181.Розгляда╓ться проблема над╕йност╕ прикладного програмного забезпечення для розв'язування науково-техн╕чних задач. Пропону╓ться вир╕шити цю проблему за допомогою застосування ╕нтелектуальних програмних засоб╕в та ╤нтелектуальних програм. Б╕бл╕огр.: 2 назви. UDC 519.6 On problem of application software reliability / Molchanov I.N. // Kibernetika ╕ sistemny analiz.– 1997. – № 1. – P. 177-181. The application software reliability problem aimed at solution of the scientific-technical problems is discussed. This problem is supposed to be solved by using both the intelligent software and intelligent programs. Refs: 2 titles.
УДК 53.083 Математична модель оптимального в╕дбору ╕нформац╕╖ в автоматизованих системах експериментальних досл╕джень / Лауринав╕чус А.Б. // Кибернетика и системный анализ. – 1997. – № l. – С . 181-187. Досл╕джу╓ться залежн╕сть в╕рог╕дност╕ втрат експериментально╖ ╕нформац╕╖ при попередньому статистичному в╕дбор╕ на вход╕ автоматизовано╖ системи експериментальних досл╕джень (АСЕД). Для багатоканально╖ АСЕД з рекурентним вх╕дним потоком отриман╕ анал╕тичн╕ вирази, що дозволяють зд╕йснювати оптимальний в╕дб╕р експериментально╖ ╕нформац╕╖ ╤л.: 2. Б╕бл╕огр; 4 назви. UDC 53.083 A mathematical model of the optimal data selection in the computer-aided system of experimental analysis / Laurinavichius A.B. // Kibernetika ╕ sistemny analiz. – 1997. – № 1. – P. 181-187. A mathematical model is derived to determine the domain of the optimal data selection in the multichannel computer-aided systems of experimental analysis for a recurrent input The analytical expressions, derived on the basis of the stochastic processes, enables the optimal selection of the experimental data. Figs: 2. Refs: 4 titles.
ISSN 0023-1274, Кибернетика и системный анализ, 1997, № 1 Web-design by Olga V. Baykalova, 2003 | ||||||||||||||||||||||||||||||||||
