|
Кибернетика и системный анализ №4, 1997
РЕФЕРАТИ/ABSTRACTS
К╤БЕРНЕТИКА/KIBERNETIKA СИСТЕМНИЙ АНАЛ╤З/SYSTEMS ANALYSIS ПРОГРАМНО-ТЕХН╤ЧН╤ КОМПЛЕКСИ/SOFTWARE-HARDWARE COMPLEXES СТИСЛ╤ ПОВ╤ДОМЛЕННЯ/BRIEF NOTES
УДК 519.21 Доведення г╕потези Дев╕да Кендала про форму випадкових многокутник╕в велико╖ площ╕ / Коваленко ╤. М. // Кибернетика и системный анализ. – 1997. – № 4. – С. 3-10.При розбитт╕ площини на випадков╕ многокутники, визначеному пуасон╕вським полем прямих, форма типового многокутника велико╖ площ╕ близька до форми кола. ╤л.: 1. Б╕бл╕огр.: 8 назв.
UDC 519.21 A proof of a conjecture of D.G. Kendall concerning shapes of random polygons of large areas / Kovalenko I.N. // Kibernetika ╕ sistemny analiz. – 1997. – № 4. – P. 3-10. The tesselation of a plane into random polygons, determined by a poissonian line process, is considered. The shape of a typical random polygon of a large area is proved to be close to that of a disc. Fig.: 1. Refs: 8 titles.
УДК 519.21 Асимптотичн╕ властивост╕ деяких клас╕в М-оц╕нок // Кнопов П.С. // Кибернетика и системный анализ. – 1997. – № 4. – С. 10-27. Досл╕джуються М-оц╕нки для нев╕домих коеф╕ц╕╓нт╕в регрес╕╖ при спостереженнях з адитивною ╕ мультипл╕кативною перешкодами. Розглядаються умови спроможност╕ оц╕нок, а також знайдено ╖х асимптотичний розпод╕л. Б╕бл╕огр.: 11 назв.
UDC 519.21 The asymptotic fealures of some classes of М-estimations / Knopov P.S. // Kibernetika ╕ sistemny analiz. – 1997. – № 4. – P. 10-27. The M-estimations are investigated for the unkown regression the coefficients under the observations with additive and multiplicative noises. The estimation consistency conditions and asymptotic distribution are obtained. Refs: 11 titles.
УДК 519.8 Використання модиф╕кац╕╖ r-алгоритму для знаходження глобального м╕н╕муму пол╕ном╕альних функц╕й / Шор Н.З., Стецюк П.╤. // Кибернетика и системный анализ. – 1997. – № 4. – С. 28-49.Розглянуто властивост╕ квадратичних дво╖стих оц╕нок для пол╕ном╕альних функц╕й, алгоритми знаходження цих оц╕нок, заснован╕ на методах негладко╖ оптим╕зац╕╖. Наведен╕ результати тестових експеримент╕в для екстремальних задач, як╕ описуються в вигляд╕ моделей нел╕н╕йного програмування квадратичного типу. Показано, що використання надлишкових обмежень в ряд╕ випадк╕в значно покращу╓ дво╖ст╕ оц╕нки. Табл.: 5. Б╕бл╕огр.: 21 назв.
UDC 519.8 Using the modification of r-algorithm for obtaining of a global minimum of polynomial functions / Shor N.Z., Stetsyuk P.I. // Kibernetika ╕ sistemny analiz. – 1997. – № 4. – P. 28-49. The properties of the dual the quadratic estimates for polynomial functions, and the algorithms for their determination based on nonsmooth optimization, are considered. The results of the test experiments for the extremal problems, described in the form of the nonlinear programming quadratic models, are given. It is shown that, in many cases, the use of the superfluous constraints leads to the essential improvement of the dual the estimates. Tabl.: 5. Refs: 21 titles.
УДК 517.9 + 5╤3.6 До теор╕╖ двоякост╕ векторних та аф╕нних процес╕в / Мельник B.C. // Кибернетика и системный анализ. – 1997. – № 4. – С. 49-59. Розглянуто елементи теор╕╖ двоякост╕ векторних та аф╕нних багатозначних в╕дображень. Встановлено властивост╕ спряжених в╕дображень та наведено застосування до субдиференц╕йного числення теор╕╖ багатозначних в╕дображень тощо, Б╕бл╕огр.: 12 назв.
UDC 517.9 + 513.6 On toe of duality theory of the vector and affine and affine processes / Melnik V.S. // Kibernetika ╕ sistemny analiz. – 1997. – № 4. – Ρ 49-59.The elements of the duality theory for the vector and affine multivalued mappings are considered The properties, inherent in the conjugated mappings, are established. The application to the subdifferential computation is given for the multivalued mapping theory. Refs: 12 titles
УДК 519.713.1 Синтез процедурного подання автомата, що специф╕ку╓ться лог╕чною мовою L*. ╤ / Чеботарьов А.М. II Кибернетика и системный анализ. – ╤997. – № 4. – С. 60-74.Розгляда╓ться метод побудови подання автомата у терм╕нах стан╕в та функц╕╖ переход╕в за його специф╕кац╕╓ю лог╕чною мовою L*, Цей метод базу╓ться на перетворенн╕ формули, яка специф╕ку╓ автомат, до виду, що задовольня╓ умовам теореми про специф╕кац╕ю. ╤л.: 1. Б╕бл╕огр: 4 назви
UDC 519.713.╤ Syntnesis of the procedural representation of an automaton specified in the logical language L*. 1 / Chebotarev A.N. // Kibernetika ╕ sislemny analiz. – 1997. – № 4. – P. 60-74. A method for constructing a representation of an automaton in terms of states and a transition function from its specification in the logical language L* is considered. The method is based on the transformation of the formula that specifies an automaton to the form that satisfies the specification theorem. Fig.: 1. Refs: 4 titles.
УДК 517 Регуляризац╕я об'╓кт╕в, що опису╓ться системою нел╕н╕йних некоерцетивних операторних р╕внянь, та ╖х ст╕йк╕сть / Акбаров Д.╢. // Кибернетика и системный анализ, – 1997. – № 4. - С. 75-82. Досл╕джу╓ться питання розробки метод╕в регуляризац╕╖ системи некоерцитивних нел╕н╕йних операторних р╕внянь. Для слабо коерцитивних в╕дображень вдалося побудувати регуляризатор, який в композиц╕╖ з вих╕дним в╕дображенням породжу╓ регулярне операторне р╕вняння. Б╕бл╕огр.: 4 назви.
UDC 517 Reguiarization of the objects described by a system of nonlinear noncoercive operator equations and their stability / Akbarov D.E. // Kibernetika ╕ sistemny analiz. – 1997. – № 4. – P. 75-82. The reguiarization methods for the system of noncoercive nonlinear operator equations are studied. The so-called weak-coercive mappings are regarded. The author was able to build the reguiarizer which, in composition with an initial mapping, generates the regular operator equation, and the solution set of the regularized equation is the subset of the initial equation solutions. Refs: 4 titles.
УДК 519.10 Стаб╕льн╕сть л╕н╕йних тра╓кторних аадач лексикограф╕чно╖ оптим╕зац╕╖ / Бердишева Р.А., ╢мел╕чев В.О. // Кибернетика и системный анализ. – 1997. – № 4. – P. 83-88. Встановлен╕ необх╕дн╕ та достатн╕ умови локально╖ стаб╕льност╕, а також формула для рад╕уса стаб╕льност╕ лекс╕кограф╕чно╖ множини багатокритер╕ально╖ задач╕ на системах п╕дмножин (тра╓кторна проблема). Б╕бл╕огр.: 10 назв.
UDC 519.10 Stability of iinear trajectory problems of lexicographic optimization / Berdysheva R.A., Emelichev V.A. // Kibernetika ╕ sistemny analiz. – 1997. – № 4. – P. 83-88. The necessary and sufficient conditions of local stability are established with the formula for the stability radius of a lexicographic set of the multicriterion problem on the systems of subsets ( the trajectory problem). Refs.: 10 titles.
УДК 6813.06 Реляц╕йн╕ алгебри: операц╕╖ проекц╕╖ ╕ з'╓днання / Редько В.Н., Брона Ю.Й., Буй Д.Б. / Кибернетика и системный анализ. – 1997. – № 4. – С. 89–100. досл╕джуються наступн╕ властивост╕ операц╕й проекц╕╖ ╕ з'╓днання: комутативн╕сть, ╕демпотентн╕сть, асоц╕ативн╕сть, дистрибутивн╕сть, зростання та монотонн╕сть , в╕дносно природних порядк╕в, переставн╕сть в╕дносно композиц╕╖, вираз одних операц╕й через ╕нш╕. Б╕бл╕огр.: 11 назв.
UDC 681.3.06 The relational algebras: projection and join operator / Redko V.N., Brona J.J., Byi D.B. // Kibernetika ╕ sistemny analiz. – 1997 – № 4. – P. 89-100 Such properties of the projection and the join operator are stydied: commutativity, idempotency, associativity, distributivity, permutability wich respect to composition, increment and monotonicity with respect to natural orders, correlations between operations etc. Refs: 11 titles.
УДК 519.716.35 Детерм╕нован╕ аксептори для ╕ндексних мов / Л╕совик Л.П. // Кибернетика и системный анализ. – 1997. - № 4. – С. 100-114. Одержано розв'язок в╕домо╖ в╕дкрито╖ проблеми: доведено, то кожна ╕ндексна мова зада╓ться детерм╕нованим л╕н╕йно обмеженим автоматом. В доведенн╕ використову╓ться поняття досконалого розм╕ченого дерева. ╤л.: 1. Б╕бл╕огр: 4 назви.
UDC 519.716.35 Deterministic acceptors for indexed languages / Lisovik L.P. // Kibernetika ╕ sistemny analiz. – 1997. – № 4. – P. 100-114.The solution of the known open problem is obtained: any indexed language can be recognizable by a deterministic linear bounded automaton. The proof uses the notion of the perfect labelled tree. Fig. 1. Refs: 4 titles.
УДК 519.76 Про повн╕ ╕нтерпретац╕╖ Ω-мов та в╕льних алгебр Ω-елемент╕в / Суржко С.В., Ющенко К.Л. // Кибернетика и системный анализ. – 1997. – № 4. – С. 114-121. Досл╕джено ╕нтерпретац╕╖ в╕льних алгебр Ω-елемент╕в, що в╕дм╕нн╕ в╕д в╕льних ╕нтерпретац╕й та задовольняють умов╕: ╕з сп╕впад╕ння про╕нтерпретованих в╕дпов╕дним чином терм╕н в╕льно╖ алгебри виплива╓ ╖х сп╕впад╕ння при будь-яких ╕нтерпретац╕ях. Б╕бл╕огр.: 6 назв.
UDC 519.76 On complete interpretations of Ω-languages and of free Ω-elements algebras / Surz hko S.V., Yushcnenko E.L. // Kibernetika ╕ sistemny analiz. – 1997. – № 4. – P. 114-121.We construct the complete (non-free) interpretation of Ω-languages and of free algebras Ω-elements algebras, that matches the following condition: if interpreted objec ts are equal, then they are equal under any interpretation. Refs: 6 titles.
УДК 51.681.3 Про обчислення конгруентних замикань на термах / Кривой С.Л. / Кибернетика и системный анализ. – 1997. – № 4. – С. 121-133. Розгляда╓ться проблема обчислення конгруентних замикань вираз╕в у ск╕нченно-визначених алгебрах. Пропонуються ефективн╕ алгоритми обчислення таких замикань для деяких клас╕в алгебр. Б╕бл╕огр.: 9 назв.
UDC 51.681.3 Computation of congruence closures on terms / Krivoi S.L. // Kibernetika ╕ sistemny analiz. – 1997. – № 4. – P. 121-133. The problem of congruence closure of terms in finitely-presented algebras is considered. The efficient algorithms for the computations of congruence closure in some algebras are proposed. Refs: 9 titles.
УДК 68 13Псевдоймов╕рн╕сн╕ швидк╕сн╕ блочн╕ шифри для програмно╖ реал╕зац╕╖ / Молдовян О.А., Молдовян М.А. // Кибернетика и системный анализ. – 1997. – № 4. – С. 133-142. Розглянуто метод зменшення усереднено╖ складност╕ криптограф╕чних перетворень при використанн╕ локально╖ псевдовипадковост╕. Запропоновано швидк╕сний програмно-ор╕╓нтований шифр з п╕дсистемою настроювання, що ма╓ високий р╕вень криптост╕йкост╕. Б╕бл╕огр.: 12 назв.
UDC 681.3 On fast pseudoprobabilistic block ciphers for software implementation / Moldovyan A.A.. Moldovyan N.A.// Kibernetika ╕ sistemny analiz. – 1997. – № 4. – P. 133-142. The method is considered which reduces the averaged encryption procedure complexity by the local pseudorandomness. The paper proposes the fast program-oriented cipher with the subsystem having the high encryption-robustness level Refs: 12 titles.
УДК 336.467 Економ╕ко-математичн╕ методи ╕ модел╕ ╕нвестиц╕йно╖ д╕яльност╕ судноплавно╖ компан╕╖ // Ре-аенко В.Л., Лапк╕на ╤. О. // Кибернетика и системный анализ. – 1997, – № 4. – С. 142-154. Комплексно вир╕шу╓ться питання ╕нвестиц╕йно╖ д╕яльност╕ судноплавно╖ компан╕╖. Розроблено систему оц╕нок., за допомогою яко╖ можна перев╕ряти повернення ╕нвестиц╕й, здатн╕сть до самоф╕нансування ╕ т.п. ╤л.: 3. Табл.: 4. Б╕бл╕огр.: 11 назв.
UDC 336.467 The economical and mathematical method and models for the investment activities of a navigation company / Revenko V.I., Lapkina I.А. // Kibetnetika ╕ sistemny analiz. – 1997. – № 4. – P. 142-154. The paper comprehensively resolves the problem concerned with the investment activities of a navigation company. The assessment system is developed which helps to check up the efficiency of the contributions made into a project The same concerns the return of investments, the self-financing ability, and so on. Figs: 3. Tabl.: 4. Refs: 11 titles.
Концепц╕я проекту ун╕версально╖ формал╕зовано╖ мови знань / Гарбуз А.С. // Кибернетика и системный анализ. – 1997. – № 4. – С . 154-162.Обгрунтовано можлив╕сть побудови ун╕версально╖ формал╕зовано╖ мови знань шляхом знаходження: науково╖ картини св╕ту реально╖ д╕йсност╕ та науково╖ картини св╕ту наук; обмежених множин нормальних лексем ╕ елементарних часток словоформ, словосинт (член╕в речення ╕ допом╕жних сл╕в) та аспект╕в пов╕домлення; ф╕ксовано╖ схеми речення та ф╕ксовано╖ схеми пов╕домлення; ╕нформац╕йно╖ карти акумуляц╕╖ ретроспективно╖ ╕нформац╕╖. ╤л.:1. Табл.:4. Б╕бл╕огр: 18 назв.
A concept of the universal formalized knowledge language / Garbuz A.S. // Kibernetika ╕ sistemny analiz. – 1997. – № 4. – P. 154-162. The paper substantiates the possibility to completely construct the universal formalized language by the way of derivation of: the scientific real-world picture and the science-world one; the limited sets of normal lexemes and elementary word-form parts, sentence members and auxiliary words, and message aspect; the fixed sentence and message schemes; and the information chart of retrospective data accumulation. Fig.: 1. Tabl.: 4. Refs: 18 titles.
УДК 519.8 Про одну задачу стаб╕л╕зац╕╖ коливно╖ розпод╕лено╖ двовим╕рно╖ системи / Бублик Б.М. // Кибернетика и системный анализ. – 1997. – № 4. – С, 163–166. Для двовим╕рного г╕пербол╕чного р╕вняння в р╕зницев╕й постановц╕ розв'язу╓ться задача стаб╕л╕зац╕╖ коливних форм розв'язку при нульових крайових умовах. Розв'язок вда╓ться д╕стати в анал╕тичн╕й форм╕ Б╕бл╕огр.: 2 назви.
UDC 519.8 A problem of stabilization of two-dimensional distributed vibration system // Bublik B.N. // Kibernetika ╕ sistemny analiz. – 1997. – № 4. – P. 163-166. The problem of vibration solution form stabilization is solved for a two-dimensional hyperbolic equation in the difference statement and under the zero boundary conditions. The solution has been found analytically. Refs: 2 titles.
УДК 519.8 До проблем контролю за ╕нтенсивн╕стю в задачах переносу та дифуз╕╖ / Наконечний О.Г., Левошич О.Л., Кордас В.А. // Кибернетика и системный анализ. – 1997. – № 4. – С. 167-171 Розгляда╓ться задача оц╕нювання ╕нтенсивност╕ як розв'язку в╕дпов╕дного диференц╕ального р╕вняння в частинних пох╕дних. При р╕зних припущеннях отриман╕ оц╕нки ╕нтенсивност╕ та похибки оц╕нювання. Б╕блюгр.: 4 назв.
UDC 519.8 On intensity control in the transfer and diffusion problems / Nakonechny A.G., Levoshich O.L., Kordas V.A. // Kibernetika ╕ sistemny analiz – 1997. – № 4. – P. 167-171, The intensity estimation is considered as the soiution of the corresponding partial differential equation. The intensity estimates and errors are obtained under different assumptions. Refs.: 4 titles.
УДК 519.2.24 Вплив помилок оц╕нок ╕мов╕рностей прийняття часткових р╕шень на достов╕рн╕сть колективного розп╕знавання / Бондаренко А.Л. // Кибернетика и системный анализ. – 1997. – № 4. – С. 171-175. Розроблено методику визначення ╤мов╕рностей колективних р╕шень про клас об'╓кту за частковими р╕шеннями дек╕лькох незалежних автомат╕в розп╕знавання, коли ╕мов╕рност╕ часткових р╕шень е оц╕нками з в╕домими розпод╕лами. ╤л.: 1. Б╕бл╕огр.: 3 назви.
UDC 519.2.24 On the influence exerted by a private decision-making probability error onto collective recognition quality / Bondarenko A.L. // Kibernetika ╕ sistemny analiz. – 1997. – № 4. – P. 171-175. The method is developed which defines the probabilities of collective decisions, concerning the object class and according to the private designaitions of some independent recognition automata. Here, the private designation probabilities are the estimations with the known distributions. Fig.: 1. Refs: 3 titles.
УДК 517.9:62-50 Усереднення р╕внянь керованого руху в метричному простор╕ / Плотн╕ков В.О., Плотн╕кова Л.╤. // Кибернетика и системный анализ. – 1997. – № 4. – С. 175-180.Об╜рунтовуються схеми усереднення для кваз╕диференц╕альних р╕внянь, що задають керований рух у метричному простор╕. Б╕бл╕огр.: 13 назв.
UDC 517.9:62-50 Averaging the controlled-motion equations in a metric space / Plotnikov V.A., Plotnikova L.I. // Kibernetika ╕ sistemny analiz. – 1997. – № 4. – P. 175-180. The paper introduces the proof of the averaging method for the quasidifferemial equations which define the controlled motion in a metric space. Refs.: 13 titles.
УДК 519.8 Про оптимальност╕ за багатьма р╕вноважними критер╕ями / Червак О.Ю. // Кибернетика и системный анализ. – 1997. – № 4. – С. 181-182. Умови р╕вноважливост╕ критер╕╖в е основою парет╕вського багатокритер╕ального вибору. За допомогою цих умов утворюються р╕зн╕ згортки критер╕╖в ╕ сформульован╕ в╕дпов╕дн╕ умови оптимальност╕. Б╕бл╕огр.: 1 назва.
UDC 519.8 About the optimals on many equivalent criteria / Chervak O.Yu. // Kibernetika ╕ systemny analiz. – 1997. – № 4. – P. 181-182. The Pareto muiticriterion selections are based on the criteria equivalence conditions. These conditions help to form different unions of the criteria, and the conditions of optimals are formulated. Refs: 1 title.
УДК 6813.06 Деяк╕ математичн╕ та програмн╕ засоби створення спец╕ал╕зованих експертних систем / Захар╕я Л.М. // Кибернетика и системный анализ. – 1997. – № 4. – С. 182- 186. Описано математичн╕, мовн╕ та програмн╕ засоби подання алгоритм╕чних баз знань та створення спец╕ал╕зованих експертних систем на приклад╕ алгоритм╕в внутр╕шнього сортування даних. Б╕бл╕огр.: 8 назв.
UDC 6813.06 Some mathematical and program tools used for creation of the specialized expert systems / Zahariya L.M. // Kibernetika ╕ sistemny analiz. – 1997, – № 4. – P. 182-18 6.The mathematical, language and program tools, representing the algorithmic knowledge bases representation and creating the specialized expert systems, are described on the example of the interior data sorting algorithms. Refs: 8 titles,
ISSN 0023-1274, Кибернетика и системный анализ, 1997, № 4 Web-design by Olga V. Baykalova, 2003 | ||||||||||||||||||||||