|
Кибернетика и системный анализ №2, 1997
РЕФЕРАТИ/ABSTRACTS
К╤БЕРНЕТИКА/KIBERNETIKA СИСТЕМНИЙ АНАЛ╤З/SYSTEMS ANALYSIS ПРОГРАМНО-ТЕХН╤ЧН╤ КОМПЛЕКСИ/SOFTWARE-HARDWARE COMPLEXES СТИСЛ╤ ПОВ╤ДОМЛЕННЯ/BRIEF NOTES
УДК 517.11, 517.12 Л╕н╕йн╕ морф╕зми в топос╕ / Провотар О.1. // Кибернетика и системный анализ. – 1997. – № 2. – С. 3-11. Розглядаються л╕н╕йн╕ морф╕зми в топос╕ з акс╕омою замкнутост╕ та досл╕джуються ╖х властивост╕ в╕дносно композиц╕╖ та кодобутку. Б╕бл╕огр.: 6 назв. UDC 517.11, 517.12 Linear morphisms in topos / Provotar A.I. // Kibernetika ╕ sistemny analiz. – 1997. – № 2.– P. 3-11. The linear morphisms in topos with the reserve axiom are considered. The properties concerned with the composition and coproduct of such morphisms are investigated. Refs: 6 titles.
УДК 519.8 Проблеми динам╕чного розпаралелювання обчислень / Хал╕лов А.╤. // Кибернетика и системный анализ. – 1997. – № 2. – С. 11-19. Сформульовано деяк╕ постановц╕ проблеми розпаралелювання обчислювального процесу в рамках концептуально╖ структури ╕нформац╕йно-обчислювально╖ системи колективного користування паралельно╖ д╕╖. Зокрема, розгляда╓ться постановка задач╕ оптим╕зац╕╖ навантажень з використанням методу вагових функц╕й. ╤л.: 3. Б╕блiогр.: 11 назв.UDC 519.8 The problems of the dynamical computation parallelization /Khalilov A.I. // Kibernetika ╕ sistemny analiz. – 1997. – №2. – P. 11-19. The paper formulates some source problems of parallelization of a computation process within the framework of the conceptual structure inherent in the informational and computational shared parallel system. In particular, the paper considers the statement for the problem concerned with optimization of loads, and the weight-function method is used here. Figs: 3. Refs: 11 titles.
УДК 519.7, 6813 Лог╕кo-алгебра╖чна модель ╕нформац╕йно-пошуково╖ системи з ╕нтерфейсним компонентом / Гошко Б.М. // Кибернетика и системный анализ. – 1997. – № 2. – С. 19-23. Пропону╓ться лог╕ко-алгебра╖чна модель ╕нформац╕йно-пошуково╖ системи з ╕нтерфейсним компонентом. Б╕бл╕огр.: 5 назв. UDC 519.7, 681.3 A logical-algebraic model of the information retrieval system with the interface component / Goshko B.M. // Kibernetika ╕ sistemny analiz. – 1997. – № 2. – P. 19-23. A logical-algebraic model of information retrieval system with the interface component is suggested. Refs: 5 titles.
УДК 519.71635 Про ╕нше представлення ск╕нченних перетворювач╕в над д╕йсними числами / Л╕совик Л.П. // Кибернетика и системный анализ. – 1997. – № 2. – С. 23-31. Доведено, що будь-яка функц╕я д╕йсно╖ зм╕нно╖ f(х), що зада╓ться ск╕нченним R-пере-творювачем на пром╕жку [0,1], може бути задана парою квадратних числових матриць. Знайдено також узагальнення теореми Крайзела–Лакомба– Шенфилда ╕ деяк╕ ╖╖ вар╕анти у вигляд╕ властивостей слабо 2-коректних операц╕й, що пов'язан╕ з R-перетворювачами. Табл.: 1. Б╕бл╕огр: 7 назв.UDC 519.71635 Another representation of the finite transducers over the real numbers / Lisovik L.P. // Kibernetika ╕ syslemny analiz. – 1997. – № 2. – P. 23-31. It is proved that any real function f(x), specified by a finite R-tranducer on the interval [0,1], can be determined by the pair of quadratic real matrices. Some generalization of the Kreisel–Lacombe– Shoenfield theorem are found as well as some its versions in the form of the 2-correct operations associated with the R-transdusers. Tabl.: 1. Refs: 7 titles.
УДК 681.325.5; 658.512.011.56 Про формал╕зац╕ю лог╕чного проектування рег╕стрових компонент╕в дискретних пристро╖в / М╕щенко О.А., М╕щенко А.Т. // Кибернетика и системный анализ. – 1997. – № 2. – С. 32-44. Пропону╓ться табличний опис алгоритму функц╕ювання рег╕стра. Опис дозволя╓ формально синтезувати лог╕чну схему рег╕стра ╕ моделювати його роботу на алгоритм╕чному р╕вн╕. Пода╓ться алгоритм формального визначення функц╕й, за якими реал╕зу╓ться лог╕чна схема рег╕стра. ╤л.: 1. Табл: 4. Б╕бл╕огр.: 4 назв. UDC 681.325.5; 658.512.011.56 Automating the logic design of the hardware device register components / Mishchenko A.A., Mishchenlko A.T. // Kibernetika ╕ sistemny analiz. – 1997. – № 2. – P. 32-44. The table description for the algorithm of a register component is proposed. The description allows to automatically synthesize the logic scheme of a register and to simulate its operation at the algorithmic level. The method of determination of the functions that describe the logic scheme of the register is given. Figs:1. Tabl.: 4. Refs: 4 titles.
УДК 519.8 В╕дображення часових причинно-насл╕дкових структур у часов╕ мереж╕ Петр╕ / Устименко О.П. // Кибернетика и системный анализ. – 1997. – № 2. – С. 44-54. Наводяться основн╕ визначення, що стосуються мереж Петр╕ ╕ причинно-насл╕дкових структур з часом. Пода╓ться новий алгоритм в╕дображення часових причинно-насл╕дкових структур в мереж╕ Петр╕ з аналог╕чно введеним часом. ╤л.: 4. Б╕бл╕огр.: 7 назв. UDC 519.8 Mapping the time cause-effect structures into the time Petri nets / Ustimenko A.P. // Kibernetika ╕ sistemny analiz. – 1997 – № 2. – P. 44-54The basic definitions concerned with Petri nets and the cause-effect structures with time are listed. The new algorithm mapping the time c-e structures into the time Petri nets is proposed. Figs: 4. Refs: 7 titles.
УДК 519.854.2 Про одне комб╕наторне розв'язання задач╕ розбиття дискретно╖ множини / Ст╕ранка А.╤. // Кибернетика и системный анализ. – 1997. – № 2. – С. 55-64. Запропоновано комб╕наторний п╕дх╕д розв'язання задач╕ розбиття дискретно╖ множини на m п╕дмножин. Сформульована теорема ╕снування розв'язку задач╕ та приведено алгоритм ╖╖ р╕шення. В додатку наведено ╕люстративн╕ приклади розв'язання задач розбиття дискретно╖ множини. Б╕бл╕огр.: 6 назв.UDC 519.854.2 On one combinatorial solution for the problem of partitioning of a discrete set / Stiranka А.I. // Kibernetika ╕ sistemny analiz. – 1997. – № 2. – P. 55-64. The combinatorial method is proposed for the solution of the problem of partitioning of a discrete set into m subsets. The problem solution existence theorem is formulated and the solution algorithm is presented. Three illustrative examples of the problem solution are given in appendix. Refs: 6 titles.
УДК 519.6:517.929-968 Загальна концепц╕я керування ризиком еколог╕чних, техногенних та соц╕огенних катастроф / Серг╕╓нко ╤.В., Яненко В.М., Ато╓в К.Л. // Кибернетика и системный анализ. – 1997. – № 2. – С. 65-36. Запропонована загальна концепц╕я керування ризиком еколог╕чних, техногенних та соц╕огениих катастроф та розроблен╕ математичн╕ модел╕ для визначення оптимального сп╕вв╕дношення зиск-витрати. Досл╕джено ефективн╕сть заход╕в, спрямованих на зменьшення ризику катастроф. ╤л.: 10. Табл.: 1. Б╕бл╕огр.: 25 назв. UDC 519.6:517.929-968 The general concept used to control the risk of the ecological, technogenic and sociogenic accidents / Sergienko I.V., Yanenko V.M., Atoev K.L. // Kibernetika ╕ sistemny analiz. – 1997. - №2. – C. 65-86. The general concept controlling the risk of the ecological, technogenic and sociogenic accidents is proposed and its mathematical models determining the optimum cost/benefit ratio are created. The efficiency of the measures directed to reduction of the risk of the accidents is investigated. Figs: 10. Tabl.: 1. Refs: 25 titles.
УДК. 517.9 Про критичн╕ точки деяких клас╕в багатозначних в╕дображень / Мельник B.C. // Кибернетика и системный анализ. – 1997. – № 2. – С. 87-98. Вводиться та вивча╓ться досить широкий клас багатозначних в╕дображень в рефлексивних банахових просторах, для якого при природних умовах отримано нов╕ твердження про ╕снування та тополог╕чн╕ властивост╕ розв'язк╕в операторних включень. Б╕бл╕огр.: 8 назв. UDC 517.9 On the critical points of some classes of the multivalued mappings / Melnik V.S. // Kibernetika ╕ sistemny analiz. – 1997. – № 2. – C. 87-98. The pretty broad class of the multivalued mappings in the reflexive Banach spaces is introduced and studied. The new statements about the existence and topologic properties of the solutions of the operator inclusions are obtained for this class under the natural conditions. Refs: 8 titles.
УДК 519.711 Анал╕тичне представлення збурень для псевдообернених матриць / Кириченко М.Ф. // Кибернетика и системный анализ. – 1997. – № 2. – С. 98-107. Приводиться анал╕тичне представлення для збурень псевдообернених матриць, яке мас обчислювальну корисн╕сть для оптимального розв'язку задач регрес╕йного анал╕зу, синтезу систем, комп'ютерно╖ твердот╕ло╖ граф╕ки, адаптивного регулювання. Б╕бл╕огр.: 5 назв. UDC 519.711 The analytical presentation of the disturbances for the pseudoinversed matrices / Kirichenko N.F. // Kibernetika ╕ sistemny analiz; – 1997. – № 2. – P. 98-107. This paper presents the disturbance of the pseudoinverse matrices in the analytical form. It may be computationally useful for the optimal solution of the regression analysis, system synthesis, computer solid-body graphics and adaptive control problems. Refs: 5 titles.
УДК 519.876:51-76 Модель керування декомпрес╕╓ю та ╖╖ математичний анал╕з / Онопчук Г.Ю. // Кибернетика и системный анализ. – 1997. – № 2. – С. 107-122. Запропанована модель керування процесом декомпрес╕╖ в реаб╕л╕тац╕йний пер╕од п╕сля роботи людини на глибин╕ при диханн╕ трьохкомпонентною сум╕шшю (кисень, азот, гел╕й). Модель сформульована у вигляд╕ задач╕ оптимального керування з швидкод╕╖ при фазових обмеженнях на тра╓ктор╕╖. Даються оц╕нки тривалост╕ ступен╕в п╕дйому та зупинок. Б╕бл╕огр.: 19 назв. UDC 519.376:51-76 The decompression regulation model and its mathematical analysis / Onopchuk G.Ju. // Kibernetika ╕ sistemny analiz. – 1997. – № 2. – P. 107-122. The paper proposes the model managing the decompression process within the rehabilitative period after the work of a person in a depth when he/she breathes the three-component mixture (oxygen, nitrogen, helium). The model is formulated as the problem of optimal control in speed with the phase restrictions on a trajectory. The estimates of duration of the degrees of rise and stops are given. Refs: 19 titles.
УДК 519.712.2 Синтез адаптивного керування електричним ланцюгом Чжуа методом швидк╕сного град╕╓нта / Марков О.Ю., Фрадков О.Л. // Кибернетика и системный анализ. – 1997. – № 2. – С. 122-130. Розглянуто алгоритм керування хаотичними системами, який побудований на метод╕ швидк╕сного град╕╓нта. На приклад╕ електричного ланцюга Чжуа показано теоретично та п╕дтверджено результатами комп'ютерного моделювання, то метод швидк╕сного град╕╓нту забезпечу╓ ефективне керування хаотичними системами. ╤л.: 7. Табл: 2. Б╕бл╕огр.: 13 назв. UDC 515.712.2 Synthesizing the adaptive control of Chua circuit using the speed gradient method / Markov A.Yu., Fradkov A.L. // Kibernetika ╕ sistemny analiz. – 1997. – № 2. – P. 122-130. The chaotic system control algorithm based on the speed gradient approach is proposed. On the example of Chua circuit, it is proved theoretically and confirmed by computer simulation that the speed gradient approach provides the efficient control of the chaotic systems. Figs: 7, Tabl.: 2. Refs: 13 titles.
УДК 517.968 Маг╕стральн╕ теореми у ╕нтегральн╕й динам╕чн╕й модел╕ економ╕чного оновлення / Хрито-ненко Н.В., Яценко Ю.П. // Кибернетика и системный анализ. – 1997. – № 2. – С. 131 -149. Вивчена задача оптимального управл╕ння у односекторн╕й ╕нтегральн╕й динам╕чн╕й модел╕ економ╕чного оновлення в умовах техн╕чного прогресу, що дозволило встановити маг╕стральн╕ властивост╕ оптимальних тра╓ктор╕й оновлення (оптимальних строк╕в служби основних фонд╕в). ╤л.: 1. Б╕бл╕огр.: 22 назви. UDC 517.968 On the turnpike theorems in an integral dynamical model of economic renovation / Khritonenko N.V., Yatsenko Yu.P. // Kibernetika ╕ sistemny analiz. – 1997. – № 2. – P. 131 -149. The paper studies the optimization problem of control in one-sector integral dynamical models of economic renovation under the technoiogical change. This allows to establish the turnpike properties of the optimal renewal trajectories (the optimal lifetime of the fixed assets). Fig.: 1. Refs: 22 titles.
УДК 519.852.6+6813.06 Система ФОРА – формування альтернативних вар╕ант╕в р╕шень на основ╕ модел╕ багато-критер╕ального л╕н╕йного програмування /Пл╕ш В.╢., Трутень О.╢. // Кибернетика и системный анализ. – 1997. – № 2. – С. 150-155. Описан╕ призначення, область використання, структура та функц╕ональн╕ можливост╕ проблемно ор╕╓нтовано╖ системи в оперативному режим╕ (практично не обмеженим обсягом вх╕дно╖ ╕нформац╕╖) широкого кола економ╕чних, соц╕альних та во╓нних задач, як╕ формал╕зуються як задач╕ багатокритер╕ально╖ системно╖ оптим╕зац╕╖. ╤л.: 2. Б╕бл╕огр: 4 назв.
UDC 519.852.6+6813.06 The FORA System: Forming the alternative solution versions on the basis of the multicriterion linear programming model / Plish V.I., Truten A.L // Kibernetika ╕ sistemny analiz. – 1997. – № 2. – P. 150-155. The purpose, the field of application, the structure and the functional capabilities of the problem oriented FORA system are described. The system is intended for investigation and solution in the operative mode (with, practically, the unbounded volume of the input information) of a broad spectrum of the economic, social and military problems formalized as the multicriterion optimization ones. Figs 2. Refs: 4 titles.
УДК 519.95 Про вираження Г l-незалежност╕ двох посл╕довностей в терм╕нах ╖х статистично╖ законом╕рност╕ / Зорич ╤.В., ╤ваненко В.╤ // Кибернетика и системный анализ. – 1997. – № 2. – С. 155-159. Поняття Гl-незалежност╕ двох посл╕довностей виражено в терм╕нах ╖х сум╕сно╖ статистично╖ законом╕рност╕, що дозволя╓ розглянути задачу прийняття р╕шень в умовах байдужо╖ невизна-ченност╕ з точки зору загально╖ теор╕╖ р╕шень. Б╕бл╕огр.: 3 назв.UDC 519.95 On the expression of the Г l-independence of two sequences within the terms of their joint statistical regularity / Zorych I.V., Ivanenko V.I. // Kibernetika ╕ sistemny analiz. – 1997. – № 2. – P. 155-159.The notion of Г l-independence for two sequences is expressed within the terms of their joint statistical regularity. It is thus possible to consider the task of making a decision under the indifferent uncertainty conditions from the of general decision theory viewpoint. Refs: 3 titles.
УДК 51.681 Об'╓кти в систем╕ алгебра╖чного програмування / Летичевський О.А., Маринченко В.Г. // Кибернетика и системный анализ. – 1997. – № 2. – С. 160-180.Розгляда╓ться розширення мови АПЛАН, що да╓ можлив╕сть працювати в об'╓ктно-ор╕╓нтованому стил╕ програмування. Це один з можливих напрямк╕в введення тип╕зац╕╖ у АПС. Кр╕м того, на баз╕ об'╓ктно-ор╕╓нтовано╖ технолог╕╖ може бути розроблена ╕╓рарх╕чна система математичних об'╓кт╕в. Б╕бл╕огр: 21 назв. UDC 51.681 The algebraic programming objects and systems / Letitchevsky O.A., Marinchenko V.G. // Kibemetika ╕ sistemny analiz. – 1997. – № 2. – P. 160-180. The APLAN language extension for object-oriented programming is described in this paper. This approach allows typing in APS. The other advantage is the possibility to develop the hierarchy for the mathematical structures. Refs: 21 titles.
УДК 61.680 Використання нейропод╕бних мереж, що ростуть для розп╕знавання та класиф╕кац╕╖ проб онкотест╕в / Вишневський В.В., Владимиров В.О., Морозов А.О., Ященко В.О. // Кибернетика и системный анализ – 1997. – № 2. – С. 180-184. На основ╕ одержаних ран╕ше авторами результат╕в розгляда╓ться проблема розп╕знавання та класиф╕кац╕╖ зображень проб онкотест╕в з використанням нейропод╕бних мереж, що ростуть, ╤л.: 4. Б╕бл╕огр.: 10 назв. UDC 61.680 Using the neuron-like growing networks for recognition and classification of the oncotest tests / Vishnevski V.V., Vladimirov V.A., Morozov A.A., Yashchenko V.A. // Kibemetika ╕ sistemny analiz. – 1997. –№ 2. – P. 180-184. On the basis of the previous authors' early results, the paper considers the problem of recognition and classification of the oncotest test images with the use of the neuron-like growing networks. Figs: 4. Refs: 10 titles.
УДК 61:681.51 Автоматизована система п╕дтримки р╕шення при л╕куванн╕ гострого п╕╓лонефриту / Пас╓чн╕ков С.П., М╕тченко М.В., Буряк В.╤. // Кибернетика и системный анализ. – 1997. –№ 2. – С. 185-186. ╤нформац╕йна система ор╕╓нтована на спец╕ал╕ст╕в-уролог╕в ╕ призначена для еффективного використання в кл╕н╕чн╕й практиц╕. Забезпечу╓: ведення ╕нформац╕йно╖ бази даних пац╕╓нт╕в, статичну обробку ╕нформац╕╖ для формування зв╕т╕в за визначений ╕нтервал часу, в╕дсл╕джуе розвиток м╕крофлори у пац╕╓нт╕в, еффективн╕сть д╕╖ антиб╕отик╕в на м╕крофлору, спостереження за л╕куванням хворих ╕ виб╕р оптимальних метод╕в л╕кування. ╤л.: 1. Б╕бл╕огр.: 7 назв.UDC 61:681.51 The automated system used for decision support in treatment of acute pyelonephritis / Pasechnikov S.P., Mitchenko N.V., Buryak V.I. // Kibemetika ╕ sistemny analiz. – 1997. – № 2. –P. 185-186. The system is oriented on the experts–urologists and intended for the efficient application in the clinical practice. It provides maintenance of the database on patients; the statistical calculations while generating the reports for certain periods of time; observation of the development of the patients' microflora and the antibiotics effect mode on the patients' microflora; and selection of the optimal medical treatment methods. Fig.: 1. Refs: 7 titles.
ISSN 0023-1274, Кибернетика и системный анализ, 1997, № 2 Web-design by Olga V. Baykalova, 2003 | ||||||||||||||||||||||||||||||