|
Кибернетика и системный анализ №3, 1997 РЕФЕРАТИ/ABSTRACTS
К╤БЕРНЕТИКА/KIBERNETIKA СИСТЕМНИЙ АНАЛ╤З/SYSTEMS ANALYSIS ПРОГРАМНО-ТЕХН╤ЧН╤ КОМПЛЕКСИ/SOFTWARE-HARDWARE COMPLEXES СТИСЛ╤ ПОВ╤ДОМЛЕННЯ/BRIEF NOTES
УДК 519.68 До питання про складн╕сть та нерозв'язн╕сть в математичних теор╕ях / Серг╕╓нко ╤.B., Гупал А.М., Пашко С.В. // Кибернетика и системный анализ. – 1997. – № 3. – С. 3-6. Показано, що апарат формальних лог╕чних систем ╓ недостатньо потужним. Обгрунтовано застосування ймов╕рностного математичного апарату для побудови теор╕╖ складност╕ задач розп╕знавання. Б╕бл╕огр.: 6 назв.
UDC 519.68 On complicacy and unsoivility problems in a mathematical theories / Sergienko I.V., Gupal A.M., Pashko S.V. // Kibernetika ╕ sistemny analiz. – 1997. – № 3. – P. 3-6. It is shown that the formal logical systems have the unsufficient power. The probabilistic mathematical apparatus application for construction of the pattern recognition problem complicacy theory is substantiated Refs: 6 titles.
УДК 519.71635 Ск╕нченно-неоднозначн╕ регулярн╕ под╕╖ у прямому добутку нап╕вгруп / Л╕совик Л.П. // Кибернетика и системный анализ. – 1997. – № 3. – С. 7 -22.Розглядаються ск╕нченно-неоднозначн╕ регулярн╕ под╕╖ у прямому добутку в╕льно╖ нап╕вгрупи Σ+ та будь-яко╖ нап╕вгрупи S, що вкладена у групу. Доведено, що кожна така k-неоднозначна регулярна под╕я Ri Н Σ+ ╜ S може бути представлена як об'╓днання k-однознач-них регулярних под╕й у нап╕вгруп╕ Σ+ ╜ S. Б╕бл╕огр.: 8 назв.
UDC 519.71635 The finite-valued regular events in Cartesian product of semigroups / Lisovik L.P. // Kibernetika ╕ sistemny analiz. – 1997. – № 3. – P. 7-22. The finite-valued regular events are copnsidered in Cartesian product of a free semigroup Σ+ and any semigroup S embedded into a group. It is proved that every such k-valued regular Ri Н Σ+ ╜ S is equal to the union of k single-valued regular events in the semigroup Σ+ ╜ S. Refs 8 titles.
УДК 681.325.5; 658.512.011.56 Про одну систему автоматизованого синтезу автомат╕в / М╕щенко О.А. // Кибернетика и системный анализ. – 1997. – № 3. – С. 23-30. Опису╓ться експериментальна система проектування автомат╕в для персональних компью-тер╕в. Система використову╓ формальну методику синтезу автомат╕в за ╖х алгоритм╕чним описам на баз╕ ун╕ф╕кованих блок╕в. Наводяться результати експеримент╕в, ╤л.: 2 . Табл.: 1. Б╕бл╕огр.: 8 назв.
UDC 681.325.5; 658.512.011.56 A system for the computer-aided design of automata / Mischenko A. A. // Kibernetika ╕ sistemny analiz. – 1997. – № 3. – P. 23-30. An experimental system of automata design for personal computers is described. The system utilizes the standardized units and is it based on a formalistic method of automata synthesis proceeding from the algorithmic descriptions. The experimental results are given. Figs: 2. Table: 1. Refs: 8 titles.
УДК 681306:519 Режими вза╓мод╕╖ неоднор╕дних розпод╕лених конкуруючих процес╕в / Коваленко Н.С., Метельский В.М. // Кибернетика и системный анализ. – 1997. – № 3. – С. 31-43. Вводяться та досл╕джуються два синхронн╕ режими в орган╕зац╕╖ неоднор╕дних розпод╕лених конкуруючих процес╕в, вид╕лено специальный клас структурувань, для якого м╕н╕мальний загальний час виконання множини конкуруючих процес╕в в асинхроному та синхроному режимах зб╕га╓ться. ╤л.: 3. Б╕бл╕огр.: 5 назв.
UDC 681306:519 The modes of the interaction of the nonuniform distributed competing processes / Kovalenko N.S., Metelsky V.M. // Kibernetika ╕ sistemny analiz. – 1997. – № 3. – P. 31-43. Two synchronous modes of the organization of the nonuniform distributed competing processes are introduced and investigated. A special class of structurization is singled out with respect to the coincidence of the minimal total execution time of performing of the set of competing processes set. Figs: 3 Refs: 5 tities.
УДК 519.8 Про деяк╕ особливост╕ структур под╕й / В╕рб╕цкайте ╤.Б. // Кибернетика и системный анализ.– 1997. – № 3. – С. 43-52. В контекст╕ структур-под╕й досл╕джу╓ться ряд "акс╕ом паралел╕зму" (зокрема властивост╕ дискретност╕. К-м╕цност╕, "перес╕ченост╕"), як╕ перв╕сно були запропонован╕ К. Петр╕ для мереж-процес╕в для одерження моделей, що адекватно в╕дтворюють повед╕нку реальних паралельних/розпод╕лених систем. Б╕бл╕огр.: 14 назв.
UDC 519.8 On some features of the event structures / Virbitskajte I.B. // Kibernetika ╕ sistemny analiz. – 1997. – № 3. – P. 43-52. The paper investigates the relative strength of the "axioms of concurrency" (including the discreteness, K-density and crossing properties) within the event structures context. These properties have been first introduced by C. Petri for the concurrent structures (with occurrence nets as a special case thereof) to provide the appropriate models adequately representing the behaiviour of the real concurrent/distributed systems. For the model under consideration, the closed relationships between the above properties are shown. We also formulate the necessary and sufficient conditions for these properties to hold. Refs: 14 titles.
УДК 681.327 Застосусання лог╕чних правил виводу у реляц╕йних СУБД./ Краморенко Р.П. Поляковська Н.О. // Кибернетика и системный анализ. – 1997. – № 3. – С. 53-62. Розглянуто питання побудови та оптим╕зац╕╖ лог╕чних правил виводу у реляц╕йних та по-стреляц╕йних СУБД Розкриваються можливост╕ мови даних КРЕЗ СУБД "Пальма" як мови правил. Розглядаються семантика Дейталогу ╕з запереченням та агрегац╕╓ю. Б╕бл╕о╕раф.: 10 назв.
UDC 681.327 Applying the logical reasoning rules in the relational DBMSs/ Kramorenko R.P., Polyakovskaya N.O. // Kibernetika ╕ sistemny analiz. – 1997. – № 3. – P. 53-62. The article considers the problems of creation and optimization of logical reasoning rules in the relational and postrelational DBMSs. The PALMA DBMS KREZ data language possibilities are considered as the language of the rules. The Datalog semantics with aggregation and negation is discussed. Bibliogr.: 10 titles.
УДК 519.3 Чисельне моделювання розривних пол╕в / Скопецький В.В., Дейнека B.C. // Кибернетика и системный анализ. – 1997. – № 3. – С. 63-74. Для розв'язку проблеми керування ф╕зичними процесами в багатокомпонентних середовищах дослиджен╕ питання високоточного анал╕зу та прогнозу пол╕в з розривними характеристиками Б╕бл╕огр.: 5 назв.
UDC 519.3 Numerical simulation of the discontinuous fields / Skopetsky V.V., Dejneka V.S. // Kibernetika ╕ sistemny analiz. – 1997. – № 3. – P. 63-74. The problems of the high-precision analysis and prognosis of the fields with the discontinuous characteristics are investigated in order to solve the problem of control of the physical processes in the multicomponent media. Bibliogr.: 5 titles.
УДК 517.9 Про стац╕онарн╕ вар╕ац╕йн╕ нер╕вност╕ з багатозначними операторами / Мельник B.C., Coлонуха О.В. // Кибернетика и системный анализ. – 1997. – № 3, – С. 74-89. Робота присвячена досл╕дженню нового класу математичних об'╓кт╕в – вар╕ац╕йних нер╕вностей з багатозначними в╕дображеннями. Введено та вивчено класе багатозначних оператор╕в, в якому встановлено теореми ╕снування розв'язк╕в вар╕ац╕йних нер╕вностей та ╖х тополог╕чн╕ властивост╕. Вперше розглянут╕ так зван╕ -слабк╕ р╕шення. Б╕бл╕огр.: 11 назв.
UDC 517.9 On the stationary variational inequalities with the multivaluen operators / Melnik V.S., Solonoukha O.V. // Kibernetika ╕ sistemny analiz. – 1997. – № 3. – P. 74- 89. This work explores some problems for the new class of the mathematical objects: the stationary variational inequalities with the multivalued mappings. We introduce and study the class of multivaluend operators for which the theorems of the variational inequality solvability are proved. The topological properties of the solutions sets are studied. It is for the first time so-called -weak solution of the variational inequalities are considered. Refs: 11 titles.
УДК 519.81 Адаптивна математична модель багатофакторного оц╕нювання / Овезгельди╓в А.О., Петров К.Е. // Кибернетика и системный анализ. – 1997. – № 3. – С. 90-97. Запропановано адаптивну математичну модель формування багатофакторних оц╕нок при вир╕шенн╕ задач багатокритер╕ально╖ оптим╕зац╕╖. Показано, що модель в окремих випадках дозволя╓ реал╕зувати адитивну, лексикограф╕чну та м╕н╕максну схеми компром╕су залежно в╕д ситуац╕╖ прийняття р╕шень. Б╕бл╕огр.: 7 назв.
UDC 519.81 An adaptive mathematical model of multifactor estimation / Ovezgeldiev A.O., Petrov K.E. //Kibernetika ╕ sisferony analiz. – 1997. – № 3. – P. 90-97. The paper proposes the mathematical model forming the multifactor estimations for the multiobjective optimization problem solution case. It is shown that, in some cases, the model allows to realize the additive, lexicographic and minimax scenies of compromise, depending on the decision-making situation. Refs: 7 titles.
УДК 519.8 Ортогонал╕зуюч╕ л╕н╕йн╕ оператори в опуклому програмуванн╕. ╤ / Стецюк П.╤. // Кибернетика и системный анализ. – 1997. – № 3. – С 97-119 Розглянуто два однорангових л╕н╕йних оператори перетворення простору, ╖х використання дозволя╓ об╜рунтовувати зб╕жн╕сть с╕мейства метод╕в зм╕нно╖ метрики для розв'язування задач╕ опуклого програмування. На основ╕ цих оператор╕в побудован╕ субград╕╓нтн╕ методи фей╓ровського типу для знаходження м╕н╕муму опукло╖ функц╕╖ при в╕домому оптимальному значенн╕ функц╕╖. Табл.: 2. Б╕бл╕огр.: 16 назв.
UDC 519.8 Orthogonalizing linear operators in convex programming. I / Stetsyuk P.I. // Kibernetika ╕ sistemny analiz. – 1997. – № 3 – P. 97-119. Two one-rank linear operators for space transformation are considered. The application of these operators allows to prove the convergence for the family of the variable metric methods for solution of the convex programming ргоblеm. Fejer-type subgradient methods finding the minimum of a convex function with the known optimal value are developed on the basis of these operators. Numerical results for these methods are presented. Tabls: 2. Refs: 16 titles.
УДК 658.512.011.56 ╤дентиф╕кац╕я статичних модельних параметр╕в д╕ода Шотк╕ / Богуш О.О. // Кибернетика и системный анализ. – 1997. – № З, – С. 119–126. Запропонован та досл╕джен оптимизац╕йний метод ╕ алгоритм ╕дентиф╕кац╕╖ статичних модельних параметр╕в стандартно╖ електрично╖ SPICE-модел╕ д╕ода Шотк╕ для схемотехн╕чного моделювання GaAs електронних пристро╖в. Метод в╕др╕зня╓ться високою точн╕стю ╕ швидк╕стю ╕дентиф╕кац╕╖. Табл.: 1. ╤л.: 2. Б╕бл╕огр.: 12 назв.
UDC 658.512.011.56 The extraction of Schottky diode static model parameters / Bogush A.O. // Kibernetika ╕ sistemny analiz. – 1997. – № 3. – P. 119-126. The optimization method and algorithm of Schottky diode static model parameters extraction of standard electrical SPICE-model is offered and investigated for circuit simulation of GaAs electronic devices. The method differs of high accuracy and speed of identification. Table: 1. Figs: 2. Refs: 12 titles.
УДС 517 Нел╕н╕йн╕ некоерцитивн╕ операторн╕ р╕вняння та ╖х регуляризац╕╖ в банахових просторах / Акбаров Д.Е. // Кибернетика и системный анализ. – 1997. – № 3. – С. 127-134. Досл╕джу╓ться питання розробки метод╕в регуляризац╕╖ некоерцитивних нел╕н╕йних опе-раторних р╕внянь. Розглядаються так зван╕ слабко-коерцитивн╕ в╕дображення. Для них вдалося побудувати регуляризатор, який в композиц╕╖ з вих╕дним в╕дображенням породжу╓ регулярне операторне р╕вняння. Б╕бл╕огр.: З назви.
UDC 517 On the nonlinear noncoercive operator equations and their regularization in Banach spaces /Akbarov D.E., // Kibernetika ╕ sistemny analiz. – 1997. – № 3. – P. 127-134. The reguiarization methods for noncoercive nonlinear operator equations are studied. The so-called weak-coercive mappings are considered. The author has been able to build the regularizer which, in composition with initial mapping, generates the regular operator equation, and the solution set of the regularized equation is the subset of the initial equation solution. Refs: 3 titles.
УДК 001.57 Системна оптим╕зац╕я як узагальнення оптим╕зац╕╖ класично╖ / Мо╖се╓нко В.В., Яцкевич В.В. // Кибернетика и системный анализ. – 1997. – № 3. – С. 135–139. Розгляда╓ться ╕дея системно╖ оптим╕зац╕╖ академ╕ка В.М. Глушкова. Фopмyлю╓тьcя новий п╕дх╕д щодо постановки оптим╕зац╕йних задач, що виникають при вир╕шенн╕ планово-економ╕чних проектно-конструкторських проблем. Б╕бл╕огр.: 5 назв.
UDC 001.57 System optimozation as the generalization of the classical one / Moiseenko V.V., Yatskevich V.V.// Kibernetika ╕ sistemny analiz. – 1997. – № 3. – P. 135-139. The idea of the system optimization of the academician V.M. Glushkov is considered. The paper is concerned a new approach to static optimization problems arising in planning and design problems. Refs: 5 titels.
УДК 519.6 Л╕н╕йн╕ нер╕вност╕ для узагальненого закону К╕рхгофа / Остапенко В.В., Павлиг╕н O.╤. // Кибернетика и системный анализ. – 1997. – № 3. – С. 140–147. Розглядаються системи л╕н╕йних нер╕вностей для мереж, для як╕х закон К╕рхгофа викону╓ться з деякою пох╕бкою. Запропоновано ефективн╕ методи ╖х розв'язку. Б╕бл╕огр.: 11 назв.
UDC 519.6 On linear inequalities for the generalized Kirhgof law / Ostapenko V.V., Pavlygin A.I. //Kibernetika ╕ systeeiny analiz. – 1997. – № 3. – P. 140-147. The systems of linear inequalites for the networks, for which Kirhgof law is met with a certain error, are considered. The efficient methods of their solution are proposed. Refs: 11 titles.
УДК 61:681 Рекурсивн╕ г╕перструктури / Ан╕с╕мов А.В. //Кибернетика и системный анализ. – 1997. – № 3. – С 148-157. З метою побудови комун╕кац╕йних архитектур багатопроцесорних систем пропону╓ться формальне визначення зростаючо╖ рекурсивно╖ структури, яке узагальню╓ в╕дом╕ випадки: дерева, булеви гиперкуби та ╕нш╕. Як приклад вивча╓ться структура, базована на зростанн╕ вершин графа по законах чисел Ф╕бонач╕ – Ф╕бонач╕в гиперкуб. Ця структура ╓ альтернативною булеву гиперкубу, ╤л.: 1. Б╕бл╕огр.: 7 назв
UDC 61:681 Recursive hyperstructures / Anisimov A.V. // Kibernetika ╕ sistemny analiz. – 1997. – № 3. – P. 148-157. With the purpose to design the communication architecture of the multiprocessor systems, the formal definition of the growing recursive structure is suggested. This notion encompasses the known cases, such as trees. Boolean hypercubes, etc. The new structure, i.e. Fibonacci hypercube, based on the law of generating Fibonacci numbers is studied in detail as the example. This structure is the alternative to the Boolean hypercube. II. 1. Refs: 7 titles.
УДК 519.6+681.3.012 Метод побудови паралельних форм алгоритм╕в на основ╕ зм╕шано╖ стратег╕╖ / Лиходед М.О., Т╕унч╕к О.О. // Кибернетика и системный анализ. – 1997. – № 3. – С. 158-171. Пропону╓ться конструктивний метод побудови паралельних форм ф╕ксовано╖ ширини для алгоритм╕в, як╕ представлен╕ графами залежностей. Розглядаються питання м╕н╕м╕зац╕╖ висоти паралельних форм. ╤л.: 2. Б╕бл╕огр.: 12 назв.
UDС 519.6 + 681.3.012 A method used to construct the parallel forms of the algorithms on the basis of the on combined strategy / Likhoded N.A., Tiountchik A.A. // Kibernetika ╕ sistemny analiz. – 1997. – № 3. – P. 158-171. The paper proposes the constructive method used for construction of the fixed-size parallel forms for the algorithms represented by the dependence graphs. The parallel form attitude minimization problems are considered. II. 2. Refs: 12 titles.
УДК 518.681.3.:06 Програмний модуль "Алгебра диференц╕ювання "TAYLOR": результати чисельних експеримент╕в. Пов╕домлення про верс╕ю 2.1 2 / Б╓л╓ньк╕й В.З., Василь╓ва О.А., Кукарк╕н А.Б. // Кибернетика и системный анализ. – 1997. – № 3. – С. 171-184. Дано пов╕домлення про нову верс╕ю програмно╖ системи "TAYLOR", яка реал╕зу╓ р╕шення типових задач обчислювально╖ математики на основ╕ функц╕й (поданих в формульному вигляд╕), що являють собою ряди Тейлора високого порядку. Верс╕я 21 тестирована в сер╕╖ спец╕альних чисельних зксперимент╕в, як╕ св╕дчать, на думку автор╕в, про ╖╖ ефекивн╕сть. ╤л.: 1. Табл.: 5. Б╕бл╕огр.: 9 назв.
UDC 518.681.3.:06 The "Algebra of Differentiation TAYLOR" Software package: Notification on version 2.1 and some results of the testing experiments / Belenky V.Z., Vasilieva O.A., Kukarkin A.B. // Kibernetika ╕ sistemny analiz. – 1997. – № 3. – P. 171-184. The report announces the new version of the TAYLOR program system. This system is designed in order to solve the typical problems of computational mathematics on the basis of Taylor series extensions of high orders. Version 2.1 was examined by the special numerical experiments which verified its efficiency. Fig.: 1. Таbl.: 5. Refs: 9 titles.
ISSN 0023-1274, Кибернетика и системный анализ, 1997, № 3 Web-design by Olga V. Baykalova, 2003 | ||||||||||||||||||||||