|
Кибернетика и системный анализ №6, 1997
РЕФЕРАТИ/ABSTRACTS
К╤БЕРНЕТИКА/KIBERNETIKA СИСТЕМНИЙ АНАЛ╤З/SYSTEMS ANALYSIS ПРОГРАМНО-ТЕХН╤ЧН╤ КОМПЛЕКСИ/SOFTWARE-HARDWARE COMPLEXES СТИСЛ╤ ПОВ╤ДОМЛЕННЯ/BRIEF NOTES
УДК 002;007;681.5 Про основн╕ напрямки розвитку ╕нформатики / Серг╕╓нко ╤.В. // Кибернетика и системный анализ. – 1997: – № 6. – С. 3-93. Розглядаються науков╕ напрями та етапи розвитку к╕бернетичних досл╕джень в ╤нститут╕ к╕бернетики ╕м. В. М. Глушкова НАН Укра╖ни за 40 рок╕в його ╕снування. Подасться огляд основних праць пров╕дних спец╕ал╕ст╕в, розпов╕да╓ться про найхарактерн╕ш╕ застосування результат╕в теоретичних досл╕джень. Зосереджено увагу на найважлив╕ших проблемах, як╕ розв'язувалися вченими, ╕нженерами ╕нституту, та завданнях, що чекають свого вир╕шення ╤л.: 1. Табл.: 1. Б╕бл╕огр: 425 назв. UDC 002;007;681.5 On the principal directions of informatics development / Sergienko I.V. // Kibernetika ╕ sistemny analiz. – 1997. – № 6. – P. 3-93. The paper considers the scientific directions and stages of development of the cybernetical investigations performed at V.M. Glushkov Cybernetics Institute of the National Academy of Sciences of Ukraine during 40 years of its existence. The main works of the leading specialists are reviewed. The most characteristic implementations of the theoretical investigation results are considered. The attention is aimed at the most important problems that were resolved by the scientists and engineers of Institute, and also at the tasks are now waiting for their resolution. Fig.: 1. Tabl.: 1. Refs: 425 titles.
УДК 658.512.011.56 Про автоматизац╕ю проектування та моделювання компонент╕в комп'ютерних систем / Кап╕тонова Ю.В., Мар'янович Т.П., М╕щенко О.А. // Кибернетика и системный анализ. – 1997: – № 6. – С. 94-108. Викладена точка зору на автоматизац╕ю проектування компонент╕в комп'ютерного св╕ту (програм, пристро╖в, ╖х композиц╕й та ╕н.), що грунту╓ться на нов╕й парадигм╕ в проектуванн╕ та програмуванн╕ Окрем╕ елементи парадигми ╕люструються ╕деями з област╕ проектування апаратури. Формулю╓ться система вимог до нового покол╕ння засоб╕в автоматизац╕╖ проектування. ╤л: 1. Табл.: 1. Б╕бл╕огр.: 50 назв. UDC 658.512.011.56 On computer-aided design and simulation of computer system components / Kapitonova Yu.V., Marianovich T.P., Mischenko A.A. // Kibernetika ╕ sistemny analiz. – 1997. – № 6. – P. 94-108. The paper gives a point of view concerned with design automation of the computer system components (software modules, hardware units, software-hardware systems, etc.) based on a new paradigm in computer-aided design and software engineering. Some aspects of the paradigm are illustrated with the help of the concepts from the hardware design field. A set of the requirements for the new generation of the design computerization means are formulated. Fig.: 1. Tabl.: 1. Refs: 50 titles.
УДК 519.716.35 Проблеми екв╕валентност╕ перетворювач╕в з обмеженим числом стан╕в / Л╕совик Л.П. // Кибернетика и системный анализ. – 1997. – № 6. – С. 109-114. Доведено нерозв'язн╕сть проблеми екв╕валентност╕ недетерм╕нованих ск╕нченних перетворювач╕в, як╕ мають два стани, один вх╕дний, два вих╕дн╕ символи ╕ за один такт роботи можуть прочитати не б╕льше чотирьох вх╕дних символ╕в. Б╕бл╕огр.: 7 назв. UDC 519.716.35 The equivalence problems of transducers with bounded number of states / Lisovik L.P. //Kibernetika ╕ sistemny analiz. – 1997. – № 6. – P. 109-114. The paper shows the undecidability of the equivalence problem for the nondeterministic finite transducers which have two states (one input symbol and two output symbols) and can read no more than four input symbols in one step. Refs: 7 titles.
УДК 519.7131 Синтез процедурного подання автомата, що специф╕ку╓ться лог╕чною мовою L*. Π / Χεαотарьов A.M. // Кибернетика и системный анализ. – 1997. – № 6. – С. 115-126.Розгляда╓ться заключна частина процедури синтезу автомата, що специф╕ку╓ться лог╕чною мовою L*. Ця частина процедури поляга╓ у перев╕рц╕ ф╕ктивност╕ деяких стан╕в автомата, який асоц╕ю╓ться з формулою. Проблема сформульована у терм╕нах перев╕рки зд╕йсненност╕ формули у стан╕ автомата. ╤л.: 4. Б╕бл╕огр.: 2 назви.UDC 519.713.1 Synthesizing of the procedural representation of the automaton specified in the logical language L*.II / Chebotarev A.N. // Kibernetika ╕ sistemny analiz. – 1997. – № 6. – P. 115-126. The final part of the synthesis procedure for the automaton specified in the logical language L* is considered. This part consists in checking of some states of the automaton associated with the formula for validity. The problem is stated in terms of checking of the formula for satisfiability in the automaton state. Figs: 4. Refs: 2 titles.
УДК 519.6 Про зб╕жн╕сть одного методу обчислення економ╕чних р╕вноваг // Норк╕н B.╤., ╢рмоль╓в Ю.М., Ф╕шер Г. / Кибернетика и системный анализ. – 1997. – №6. – С. 127-142. Вивчаються умови одного методу посл╕довно╖ сум╕сно╖ максим╕зац╕╖ (функц╕й корисност╕ споживач╕в) для визначення р╕вноваг у прикладних економ╕чних моделях. Б╕бл╕огр.: 16 назв. UDC 519.6 On convergence of one method of computation of economic equilibria // Norkin V.I., Ermoliev Yu.M., Fisher G. / Kibernetika ╕ sistemny analiz. – 1997. – № 6. – P. 127–142. The paper studies the conditions of convergence of the method of serial joint maximization (as for the consumer usefulness functions), used to find equilibria in applied economic models. Refs: 16 titles.
УДК 519.8 Модиф╕кований метод в╕дс╕чення для м╕н╕м╕зац╕╖ опукло╖ функц╕╖ / Пшеничний Б.M., Нена-хов E.╤., Кузьменко В.М. // Кибернетика и системный анализ. – 1997. – № 6. – С. 142-149. Розгляда╓ться задача м╕н╕м╕зац╕╖ опукло╖ функц╕╖ в ск╕нченом╕рному простор╕ Метод комб╕ну╓ к╕лька в╕домих п╕дход╕в: метод в╕дс╕чення г╕перплощин, методи з розтягом простору, метод л╕неар╕зац╕╖ та ╕н. Табл.: 6. Б╕бл╕огр.: 10 назв. UDC 519.8 Modified cutting method for convex function minimization / Pshenichniy В.N., Nenakhov E.I., Kuzmenko V.N. // Kibernetika ╕ sistemny analiz. – 1997. – № 6. – P. 142-149. The problem of minimization of a convex function in a finite-dimensional space is considered. The method combines the ideas of several well-known approaches: the cutting-plane method, methods with dilation of space, method of linearization, and others. Tabl.: 6. Refs: 10 titles.
УДК 51.681.3.06 Проблема ун╕ф╕кац╕╖ в еквац╕ональних теор╕ях / Кривий С.Л. // Кибернетика и системный анализ. – 1997. – № 6. – С. 150-179 Дано короткий огляд проблеми ун╕ф╕кац╕╖ в еквац╕ональних теор╕ях для ун╕версальних алгебр. Основна увага прид╕ля╓ться проблемам 0 -, АС-ун╕ф╕кац╕я як найб╕льш уживаним. ╤л.: 3. Табл.: 1. Б╕бл╕огр.: 64 назви. UDC 51.681.3.06 A unification problem in the equational theory / Kryvyi S.L. // Kibernetika ╕ sistemny analiz. – 1997. – № 6. – P. 150 - 179. A brief review of the unification problems in the Ε-theory is presented. The problems of - unification and AC-unification are considered in details. Figs 3. Tabl.: 1. Refs: 64 titles.
УДК 519.6 Прискорене обчислення медулярно╖ редукц╕╖ / Ан╕с╕мов А.В. // Кибернетика и системный анализ. – 1997. – № 6. – С. 180-181. Розгляда╓ться застосування л╕н╕йного сп╕вв╕дношення щодо НСД двох чисел з метою прискореного обчислення медулярно╖ редукц╕╖. Б╕бл╕огр.: 2 назви. UDC 519.6 Accelerating computation of modular reduction / Anisimov A.V. // Kibernetika ╕ sistemny analiz. – 1997. – № 6. – P. 180-181. The application of linear relation for greatest common divizer of two numbers for accelerating computation of modular reduction is considered. Refs: 2 titles.
УДК 519.8 Множина строго ефективних точок задач╕ частково ц╕лочислово╖ векторно╖ оптим╕зац╕╖ як характеристика ╖╖ ст╕йкост╕ / Козерацька Л.М. // Кибернетика и системный анализ. – 1997. – № 6. – С. 181-184. Опису╓ться ядро ст╕йкост╕ для задач╕ векторного частково-ц╕лочислового програмування, показано, що для задач╕ векторного програмування з обмеженою допустимою областю ядро ст╕йкост╕ сп╕впада╓ з множиною вс╕х строго ефективних точок. Проанал╕зовано ╕нш╕ вар╕анти означення ядра ст╕йкост╕. Б╕бл╕огр.: 4 назви. UDC 519.8 Set of strictly efficient points of the mixed integer vector optimization problem as a characteristic of its stability / Kozeratskaya L.N. // Kibernetika ╕ sistemny analiz. – 1997. – № 6. – P. 181-184. The purpose is to give the description for the stability kernel in the mixed integer vector optimization case. It is shown that the stability kernel coincides with the set of all the strictly efficient points. The other definitions of this notion are investigated. Refs: 4 titles.
ISSN 0023-1274, Кибернетика и системный анализ, 1997, № 6 Web-design by Olga V. Baykalova, 2003 | ||||||||||||||||||