|
Кибернетика и системный анализ №5, 1997
РЕФЕРАТИ/ABSTRACTS
К╤БЕРНЕТИКА/KIBERNETIKA СИСТЕМНИЙ АНАЛ╤З/SYSTEMS ANALYSIS ПРОГРАМНО-ТЕХН╤ЧН╤ КОМПЛЕКСИ/SOFTWARE-HARDWARE COMPLEXES СТИСЛ╤ ПОВ╤ДОМЛЕННЯ/BRIEF NOTES
УДК 681.3.06 Реляц╕йн╕ алгебри: операц╕╖ д╕лення ╕ перейменування / Редько В.Н., Брона Ю.Й., Буй Д.Б. // Кибернетика и системный анализ. – 1997. – № 5. – С. 3-15. Досл╕джуються наступн╕ властивост╕ операц╕й д╕лення ╕ перейменування: дистрибутивн╕сть, зокрема достатн╕ умови для дистрибутивност╕, переставн╕сть в╕дносно композиц╕╖ з ╕ншими операц╕ями, вираз одних операц╕й через ╕нш╕, представлення у вигляд╕ операц╕╖ групування. Б╕бл╕огр.: 4 назв. UDC 681.3.06 The relational algebras: division and renaming / Redko V.N., Brona J.J., Buj D.B. // Kibernetika ╕ sistemny analiz. – 1997. – № 5. – P. 3 -15.The paper studies such of division and thе renaning operations as distributivity, in particular, the sufficient conditions for distributivity, permutability with respect to composition, monotonicity with respect to natural orders, correlations between operations, representation of division in the form of grouping operator, etc. Refs.: 4 titles.
УДК 519.7 Сингулярн╕ простори невизначеност╕ та сингулярн╕ перетворення / Д╕дук Μ . Μ // Κθαернетика и системный анализ. – 1997. – № 5. – С16-29.Розгляда╓ться новий тип невизначеност╕. який характеризу╓ться розривними функц╕оналами. Сингулярн╕ простори невизначеност╕ можуть, зокрема, використовуватись для л╕м╕тованого кодування. Б╕бл╕огр.: 6 назв. UDC 519.7 The singular uncertainty spaces and singular transformations / Diduk N.N. // Kibernetika ╕ sistemny analiz. – 1997. – № 5. – P. 16-29. A new kind of uncertainty being characterized by discontinuous functionals is considered. The singular uncertainty spaces in particular can be applied to trancated coding. Refs: 6 titles.
УДК 519.14 Про уточнення класу задач, що розв'язуються недетерм╕нованою машиною Тьюр╕нга / Плотн╕ков А.Д. // Кибернетика и системный анализ, – 1997. – №5. – С. 30-36. Уточню╓ться клас NP переб╕рних задач, як╕ розв'язуються недетерм╕нованою машиною Тьюр╕нга. ╤л.:2. Б╕бл╕огр.: 8 назв. UDC 519.14 Clarifying the class of the problems solved by nondeterministic Turing machines / Plotnikov A.D. // Kibernetika ╕ sistemny analiz. – 1997. – №5. – P. 30-36. The paper clarifies the NP class of the problems solved by nondeterministic Turing machine. Figs:2. Refs: 8 titles.
УДК 519.21 Про необх╕дн╕ та достатн╕ умови екв╕валентност╕ ймов╕рносних м╕р, що в╕дпов╕дають однор╕дним випадковим полям з╕ спектральними щ╕льностями / Краснитський С.М. // Кибернетика и системный анализ. – 1997. – №5. – С. 36–44. Наводяться умови екв╕валентност╕ гаусових м╕р, що в╕дпов╕дають однор╕дним узагальненим випадковим полям. Вказан╕ умови формулюються у терм╕нах спектральних щ╕льностей даних пол╕в. Б╕бл╕огр.: 14 назв. UDC 519.21 On necessary and sufficient conditions of the probabilistic measures corresponding to homogeneous random fields with special densities / Krasnitsky S.M. // Kibernetika ╕ sistemny analiz. – №5. – P. 36-44. Some equivalence conditions of Gaussian measures corresponding to gomogeneous generalized fields are given. These conditions are formulated in terms of spectral densities of fields. Refs: 14 titles.
УДК 681.325.5; 658.512.011.56 Про властивост╕ реверсивних пол╕ном╕альних функц╕й / М╕щенко О.А. // Кибернетика и системный анализ. – 1997. – № 5. – С. 44-49. Описан╕ та теоретично обгрунтован╕ пол╕ном╕альн╕ функц╕╖, що зумовлюють простоту та швидкод╕ю реверсивних л╕чильник╕в, на основ╕ яких проектуються автомати, що реал╕зують алгоритми дов╕льно╖ складност╕. Б╕бл╕огр.: 8 назв. UDC 681325.5; 658.512.011.56 On properties of reversible polynomial functions / Mischenko A.A. // Kibernetika ╕ sistemny analiz. – 1997. – № 5. – P. 44-49. Reversible polynomial functions are described and theoretically validated. The functions fascilitate building simple and effective reversible counters, which are utilized for the design of finite state machines that implement algorithms of any complexity. Refs: 8 titles.
УДК 6913.06:519. 24╤нтегрована система перев╕рки г╕потез: програмно-алгоритм╕чн╕ засоби / Заложенкова ╤. А., Парасюк ╤.М. // Кибернетика и системный анализ. – 1997. – № 5. – С. 50-58. Розгляда╓ться математичне забезпечення ╕нтегровано╖ ╕нтелектуально╖ системи для розв'язання задач перев╕рки г╕потез на основ╕ експертних ╕ експериментальних даних. Основна увага прид╕ля╓ться методам, що грунтуються на критер╕ях значимост╕, а також на бай╓с╕вських та близьких до них механ╕змах виведення. Б╕бл╕огр.: 14 назв.
UDC 691.3.06:519.24 The integrated intelligent system of hypothesis testing: algorithmic software / Zalozhenkova I.А., Parasyuk I.N. // Kibernetika ╕ sistemny analiz. – 1997. – № 5. – P. 50-58. The mathematical software of integrated intelligent system for solution of problems of hypothesis testing testing based on expert and experimental data is considered. The main attention is paid to methods grounded on significance tests and on Bayesian and the similar inference engines. Refs: 14 titles.
УДК 519.74 Р╕вняння стану ╕ екв╕валентн╕ перетворення часових мереж Петр╕ / Зайцев Д,А., слепцов A.╤. // Кибернетика и системный анализ. – 1997. – № 5. – С. 59-76 Вводяться поняття передаточно╖ функц╕╖ ╕ функц╕онально╖ екв╕валентност╕ для мереж Петр╕. 3 вх╕дними ╕ вих╕дними позиц╕ями. Пода╓ться алгебра╖чний метод для екв╕валентних перетворень структурно-безконфл╕ктних часових мереж. ╤л.: 6. Б╕бл╕огр.: 14 назв. UDC 519.74 State equations and equivalent transformations of timed Petri nets. / Zaitsev D.A., Sleptsov A.I. // Kibernetika ╕ sistemny analiz. – 1997. – № 5. – P. 59-76. The transfer function and functional equivalence concepts are introduced for Petri nets with the input and output places. An algebraic method for an equivalent transformation of the structurely conflict-free timed nets is presented. Figs.: 6. Refs: 14 titles.
УДК 519.8 Про вир╕шення багатор╕вневих коал╕ц╕йних динам╕чних ╕гор / Полум╕енко С.К. // Кибернетика и системный анализ. – 1997. – № 5. – С. 76-85. Стаття с продовженням роб╕т, де введен╕ та досл╕джен╕ багатор╕внев╕ розширення коал╕ц╕йних ╕гор та коал╕ц╕йн╕ стохастичн╕ ╕гри. Розглядаються умови, за яких ц╕ ╕гри мають р╕шення у клас╕ точних алгоритм╕в. Б╕бл╕огр.: 10 назв. UDC 519.8 On the solution of multilevel coalitional dynamic games / Polumienko S.K. // Kibernetika ╕ sistemny analiz. – 1997. – № 5. – P. 76-85. The paper continues the articles where are introduced and studied multilevel extensions of coalitional games and coalitional stochastic games. Conditions under which these games have solution in the class of precise algorithms are studied in this paper. Refs: 10 titles.
UDC УДК 519.81 Формування багатофакторних оц╕нок при ╕нтервальному завданн╕ переваг фактор╕в / Овезгельди╓в А.О., Петров К.Е. // Кибернетика и системный анализ. – 1997. – № 5. – С. 85-92. Розглянут╕ математичн╕ модел╕ вибору конкретних значень вагових коеф╕ц╕╓нт╕в фактор╕в в задач╕ багатофакторного оц╕нювання при завданн╕ вих╕дно╖ ╕нформац╕╖ у вигляд╕ ╕нтервалу можливих значень функц╕╖ щ╕льност╕ розпод╕лу чи з допомогою л╕нгв╕стичних зм╕нних. Б╕бл╕огр.: 4 назв. UDC 519.81 Forming the multifactor estimates under an interval specification of factor priority / Ovezgeldyev A.O., Petrov K.E. // Kibernetika ╕ sistemny analiz. – 1997. – № 5. – P. 85-92.The paper considers the mathematical models choosing the concrete values of the factor priority coefficients in the multifactor estimation problems, and this is done under the initial information in the form of the interval of possible values, distribution density functions, or by linguistic variables. Refs: 4 titles.
УДК 519.8 Необх╕дн╕ та достатн╕ умови ╕снування седлово╖ точки в параметризованих програмних диференц╕йних ╕грах / Смольяков Е Р. // Кибернетика и системный анализ. – 1997. – № 5. – С 93 -103. Одержан╕ необх╕дн╕ умови ╕снування седлово╖ точки в антагонистичних програмних дифер╓нц╕йних ╕грах з двуточечними крайовими умовами та параметризованими ╕ керованими межами множин дов╕льних керуючих функц╕й гравц╕в. Доказана теорема ╕снування с╕длово╖ точки, яка узагальню╓ в╕дом╕ теореми в ц╕й галуз╕. Б╕бл╕огр.: 16 назв UDC 519.8 Necessary and sufficient conditions for existence of saddle point in (he parametrizable programming differential games / E. R. Smoljakov // Kibernetika ╕ sisiemny analiz. – 1997. – № 5. – P. 93-103. Necessary conditions for existence of a saddle point in the parametrizable programming differential games having two-point boundary conditions and the parametrizable controllable boundaries for the sets of the control functions are found. It is proved the existence theorem for saddle point generalizing all known theorems in this sphere. Refs: 16 titles.
УДК 518.9 Л╕н╕йн╕ диференц╕йн╕ ╕гри у банаховому простор╕ / Остапенко В.В., Грабовий ╤.П. // Кибернетика и системный анализ. – 1997. – № 5 – С. 103 - 110. Перенесено деяк╕ результати теор╕╖ ε-стратег╕й у диференц╕йних ╕грах з к╕нцевовим╕рного у банах╕в прост╕р. Наведено приклад зб╕гу оператор╕в Ρθ ╕ Ρθ для диференц╕йно╖ гри в банахов╕м простор╕ з ╕стотно нетрив╕альною матрицею. Б╕бл╕огр.: 9 назв.UDC 518.9 Linear differential games in Banach space / Ostapenko V.V., Hrabovy I.P. // Kibernetika ╕ sistemny analiz. – 1997. – № 5. – P. 103-110. Some results of the ε-strategy theory in differential games were transposed from finite-d imensional to Banach space. The example is given which demonstrates the coincidence of Pθ and Pθ operators for a differential game in Banach space for an essentially nontrivial matrix. Refs: 9 titles.
УДК 519.8 Ортогонал╕зуюч╕ л╕н╕йн╕ оператори в опуклому програмуванн╕. II / Стецюк П.╤. // Кибернетика и системный анализ. – 1997. – № 5. – С. 111 - 124. Розглянуто два однорангових л╕н╕йних оператори перетворення простору. ╥х використання дозволя╓ об╜рунтовувати зб╕жн╕сть с╕мейства метод╕в зм╕нно╖ метрики для розв'язування задач╕ опуклого програмування. На основ╕ цих оператор╕в побудован╕ субград╕снтн╕ методи фейср╕вського типу для знаходження м╕н╕муму опукло╖ функц╕╖ при в╕домому оптимальному значенн╕ функц╕╖ Приведен╕ числов╕ експерименти з цими методами. Табл.: 5. Б╕бл╕огр.: 20 назв. UDC 519.8 Ortogonalizing linear operators in convex programming / Stetsyuk P.I. // Kibernetika ╕ sistemny analiz. – 1997. – № 5. – P. 111-124. 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 problem. 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. Tabl.: 5. Refs: 20 titles.
УДК 517.2:519.6 Про задачу керування температурним станом шаруватих т╕л обертання / Дейнека B.C., Скопецький В.В. // Кибернетика и системный анализ. – 1997. – № 5. – С. 124-134. Розглянуто крайову задачу для р╕вняння ел╕птичного типу з розривним розв'язком на розр╕з╕ γ област╕ його визначення. Показано ╕снування вза╓мнооднозначно╖ в╕дпов╕дност╕ м╕ж класами ψ (множиною параметр╕в неоднор╕дност╕ умов спряження на γ) ╕ W (множиною необх╕дних значень розв'язку диференц╕ального р╕вняння на γ). Б╕бл╕огр.: З назв.UDC 517.2:519.6 On the problem of control of the temperature state for multilayer revolution bodies / Deineka V.S., Skopetsky V.V. // Kibernetika ╕ sistemny analiz. – 1997 – № 5. – P. 124-134. The boundary-value problem is considered for the elliptic – type equation with dis continuous solution on the profile γ of it's definition domain. The existence of the one-to-one correspondence betw een the classes ψ (the set of parameters of heterogeneity conditions of conjugation on γ) and W (the set of the necessary values for the solution of the differential equation on γ) is shown. Refs: 3 titles.
УДК 519.6 Створення базис╕в, Гребнера для досл╕дження систем пол╕ном╕альних р╕внянь / Рисцова А.Ю., Рисцов ╤.К. // Кибернетика и системный анализ. – 1997. – № 5. – С. 134-141. Для досл╕дження систем пол╕ном╕альних р╕внянь запропоновано використовувати базис Гребнера, побудований засобами комп'ютерно╖ алгебри. Наведено приклади побудови базису Гребнера з метою досл╕дження сум╕сност╕ систем пол╕ном╕альних р╕внянь, як╕ не розв'язуються за допомогою чисельних метод╕в. Б╕бл╕огр.: 8 назв. UDC 519.6 Analysis of polynomial equations by Grebner's basis / Rystsova A.J., Rystsov I.К. // Kibernetika ╕ sisterany analiz. – 1997. – № 5. – P. 134-141. It is proposed to use Grebner's basis for the preliminary analysis of a system of polynomial equations before its numerical solution. The examples are given of using Grebner's basis for finding the number of roots of polynomial systems. Refs: 8 titles.
УДК 519.713:512.62 Про можлив╕сть представлення багатоканальних сигнатурних анал╕затор╕в л╕н╕йними пол╕номами над ск╕нченними полями / Барашко А.С. // Кибернетика и системный анализ. – 1997 – № 5. – С. 142-151. Визначено поняття представлення та стандартного представлення сигнатурних анал╕затор╕в (СА) л╕н╕йними пол╕номами над розширенням поля GF(2). Знайдено критер╕╖ можливост╕ такого представлення СА. Б╕бл╕огр.: 7 назв.UDC 519.713:512.62 On the possibility to represent the multichannel signature analyzers by linear polynomials on finite fields / Barashko A.S. // Kibernetika ╕ sistemny analiz. – 1997. – № 5. – P. 142-151. The notions of representation and standard representation of the signature analyzers (SA) by linear polynomials on the extension of the field CF(2) are defined. The criteria of the possibility to represent such SA are obtained. Refs: 7 titles.
УДК 519.6 Визначення внутр╕шньо╖ допустимо╖ точки системи л╕н╕йних обмежень / Д╕к╕н I.I. // Кибернетика и системный анализ. – 1997. – № 5. – С. 152-164. Запропоновано алгоритм пошуку вектора, що належить до в╕дносно╖ внутр╕шност╕ допустимо╖ област╕ системи л╕н╕йних обмежень у форм╕ р╕внянь та двоб╕чних нер╕вностей. Б╕бл╕огр.: 18 назв. UDC 519.6 Determination of an interior feasible point of a system of linear constraints / Dikin I.I. // Kibernetika ╕ sistemny analiz. – 1997. – № 5. – P. 152-164. The paper studies the author's algorithm searching for a poit belonging to the relative interior of a system in the form of linear equalities and two-sided inequalities. Refs: 18 titles.
УДК 358.111.6 Алгоритм прогнозування к╕нематичних параметр╕в руху ракет-нос╕╖в косм╕чних апарат╕в з використанням телеметричних та тра╓кторних вим╕р╕в / Кул╕ков С.П. // Кибернетика и системный анализ, – 1997. – № 5. – С 164 - 169. Приведено методику розрахунку р╕вняння прогнозування алгоритму ф╕льтрац╕╖ параметр╕в руху ракет-нос╕╖в косм╕чних апарат╕в з використанням телеметричних та тра╓кторних вим╕рювань, що одержуються у реальному масштаб╕ часу у процес╕ проведення польотно-конструкторських випробувань. Б╕бл╕огр.: 2 назв. UDC 358.111.6 Algorithm forecasting the kinematics parameters of space vehicle rocket-carrier motion with the use of telemeteric and trajectory measurements / Kulikov S.P. // Kibernetika ╕ sislemny analiz. – 1997. – № 5. – P. 164-169. The paper gives a technique this calculates the equation used to forecast the algorithm filtering the parameters of space vehicle rocket - carrier motion with the use of the telemetric and trajectory measurements which are received in real time during realisation of flying-design tests. Refs: 2 titles.
УДК 681.3.06 Про реал╕зац╕ю алгебри багатом╕рних вектор╕в евкл╕дового простору в ЕОМ / Вишинський В.А. // Кибернетика и системный анализ. – 1997. – № 5. – С. 1 70-178. Досл╕джу╓ться можлив╕сть використання операц╕й алгебри багатом╕рних вектор╕в евкл╕дового простору як машинних команд ЕОМ. Б╕бл╕огр.: 5 назв. UDC 681.3.06 On computer implementation of the algebra of multidimersional Euclidean space vectors / Vyshinsky V.A. // Kibernetika ╕ sistemny analiz. – 1997. – № 5. – P. 170-178. The paper investigates the possibility to use the operations of the algebra of multidimensional vectors of Euclidean space, while these operations are the machine computer commands. Refs: 5 titles.
УДК 519.21 Про систему з втратами об'╓днанням обслуговуючих прилад╕в / Лебедев ╢.О., Пономарчук О.╤. // Кибернетика и системный анализ. – 1997. – № 5. – С. 176-179. Розгляда╓ться система масового обслуговування, на вх╕д яко╖ надходить дек╕лька поток╕в вимог, ╕ для обслуговування одн╕╓╖ вимоги можливе об'╓днання прилад╕в. Для багатовим╕рного процесу обслуговування отриман╕ явн╕ формули стац╕онарних ╕мов╕рностей, в тому числ╕ ╕мов╕рностей втрати вимог кожного потоку. Ц╕ формули ╓ основою алгоритму оптим╕зац╕╖ структури вх╕дного потоку. ╤л. 1. Б╕бл╕огр.: З назв. UDC 519.21 On a queueing system with lossess and association of servers / Lebedev E.A., Ponomarchyk O.I. // Kibernetika ╕ sislemny analiz. – 1997. – № 5. – P.176-179 A queueing system on input of which some flows of calls arrive and for the service of a call it may be created an association of servers is considered. For a multivariate servicing process the explicit formulae of stationary probabilities including loss probabilities in each flow are obtained. These formulae are a basis of the algorithm finding an optimal structure of input. Figs. 1. Refs: 3 titles.
УДК 519.854.2 До питання про ст╕йк╕сть одного алгоритму маршрутно╖ оптим╕зац╕╖ / Бусла╓ва Л.Т. // Кибернетика и системный анализ. – 1997. – № 5 – С. 179-183. Досл╕жу╓ться ст╕йк╕сть маршруту у задач╕ ком╕вояжера при додаванн╕ до першопочаткових м╕ст ще одного. Для маршруту, побудованого за правилом "йди до найближчого", наведено необх╕дна та достатня умова тако╖ ст╕йкост╕. Ця умова про╕люстрована на модельному приклад╕. На цьому ж приклад╕ проводиться обчислювальний експеримент з пор╕внянням розв'язку задач╕ про ст╕йк╕сть за правилом "йди до найближчого" з оптимальним розв'язком. Б╕бл╕огр.: 10 назв UDC 519.854.2 On stability of one route optimization algorithm / Buslaeva L.T. // Kibernetika ╕ sistemny analiz.– 1997. – № 5. – P. 179-183 The stability of a route in the travelling salesman problem is investigated under addition a one more city to the initial cities. The necessary and sufficient condition is given for such stability for a route constructed according to the "go to the nearest point" principle. This condition is illustrated by the model problem for which the computing experiment is carried out in order to compare the stability problem solution based on the "go to the nearest point" principle with the optimal solution. Refs: 10 titles.
ISSN 0023-1274, Кибернетика и системный анализ, 1997, № 5 Web-design by Olga V. Baykalova, 2003 | ||||||||||||||||||||||