УДК 519.62

Алгоритмічні основи створення інтелектуального програмного засобу дослідження та розв'язування задач Коші для систем звичайних диференціальних рівнянь / Молчанов І.М., Яковлєв М.Ф. // Кибернетика и системный анализ. - 2001. - № 5. - С. 3-16.

Пропонується методика комп'ютерного дослідження властивостей систем звичайних диференціальних рівнянь і на її основі створено алгоритми обчислення такої довжини кроку інтегрування, що забезпечує стійкість чисельних методів та одержання розв'язку з даною точністю. Наведено склад та схему функціонування інтелектуального програмного засобу, що реалізує розглянуту методику. Бібліогр.: 12 назв.

UDC 519.62

Algorithmic principles of creation of intelligent program means for investigation of and solution to initial-value problems for systems of ordinary differential equations / Molchanov I.N., Yakovlev M.F. // Kibernetika i sistemny analiz. - 2001. - N 5. - P. 3-16.

Methods for computer investigation of properties of ordinary differential equation systems are proposed. Algorithms are created which are based on it and intended for computing such a step size which provides both numerical method stability and obtaining the results with a given accuracy. A composition and a scheme of functioning of intelligent program means, implementing the above-mentioned methods, are presented. Refs: 12 titles.

УДК 519.21

Аналіз продуктивності технологічної чарунки з урахуванням її надійності / Копп В.Я., Обжерін Ю.Є., Пещанський О.І. // Кибернетика и системный анализ. - 2001. - № 5. - С. 17-24.

Розглянуто напівмарковську модель з дискретно-безперервним фазовим простором становищ технологічної чарунки. Визначено продуктивність технологічної чарунки при різних видах відмови. Бібліогр.: 10 назв.

UDC 519.21

Aanalysis of technological cell productivity with registration of its reliability / Kopp V.Ya., Objerin Yu.E., Peschansky A.I. // Kibernetika i sistemny analiz. - 2001. - N 5. - P. 17-24.

A semi-Markov model with a discrete-continuous phase space of a technological cell state is considered. A technological cell productivity under different refusal types is defined. Refs: 10 titles.

УДК 519.714

Про один клас функцій із / Тимошкін А.І. // Кибернетика и системный анализ. - 2001. - № 5. - С. 24-30.

Досліджено ряд суттєвих властивостей класу G функцій алгебри логіки, реалізованих функціональними елементами, що мають один вихід, які володіють тестами перевірки довжини 2 щодо одиночних константних похибок вхідних даних. Розглянуто питання про його повноту і співвідношення з основними замкнутими класами в . Отримано оцінку знизу числа всіх функцій з цього класу, що залежать від n змінних. Табл.: 1. Бібліогр.: 7 назв.

UDC 519.714

On a class of functions from / Timoshkin A.I. // Kibernetika i sistemny analiz. - 2001. - N 5. - P. 24-30.

A number of essential properties of class G of Boolean functions, which are realized by one -output functional elements having tests by length of two with respect to single stuck- at faults of inputs and output, is examind. A problem of its completeness and correlation with the main closed classes in is consikred. A lower-bound extirnate for a number of all the functions from this class, which depend on n variables, is obtained. Tabl.: 1. Refs: 7 titles.

УДК 519.713

Про складність обчислення значень частинних похідних бульових функцій, реалізованих поліномами Жегалкіна / Алексійчук А.М. // Кибернетика и системный анализ. - 2001. - № 5. - С. 30-37.

Встановлена комбінаційна складність (у базисі лінійних функцій) системи частинних похідних бульової функції, яка реалізована поліномом Жегалкіна. Запропановано алгоритм обчислення по коефіцієнтам поліному Жегалкіна бульової функції n змінних значень усіх її частинних похідних, обчислювальна складність якого дорівнює операцій додавання по модулю 2. Бiблiогр.: 11 назв.

UDC 519.713

On computation complicacy of partial derivatives of Boolean functions based on a ring-sum expansion / Alexejchuk A.N. // Kibernetika i sistemny analiz. - 2001. - N 5. - Р. 30-37.

A combinational complicacy (in the basis of linear functions) of system of partial derivatives of Boolean function, based on the ring-sum expansion, is established. An algorithm for computation of all partial derivatives of Boolean function of n variables, based on the ring-sum expansion, with complexity equal to modulo 2 addition operations is proposed. Refs: 11 titles.

УДК 62.519

Новий підхід до декомпозиції бульових функцій методом q-розбиття. 1. Роздільна декомпозиція повних і часткових функцій / Рицар Б.Є. // Кибернетика и системный анализ. - 2001. - № 5. - С. 38-62.

Розглянуто новий підхід до декомпозиції бульових функцій n змінних різних форм задання, що грунтується на методі q-розбиття мінтермов і введеному понятті декомпозиційних клонів. Формулюється теорема про просту роздільну декомпозицію повних і часткових функцій. Запропoнований підхід ілюструється прикладами. Іл.: 13. Табл.: 3. Бiблiогр.: 28 назв.

UDC 62.519

A new approach to decomposition of Boolean functions by q-decomposition. 1. Divisible decomposition of complete and partial functions / Rytsar B.E. // Kibernetika i systemny analiz. - 2001. - N 5. - P. 38-62.

A new approach to the decomposition of different given forms Boolean function of n variables has been considered. This approach is based on the q-partition minterms method and introduced concept of decomposition clones. The theorem about simple disjunctive decomposition of compelte and partial functions has been formulated.. Suggested approach is illustrated by the examples. Figs: 13. Tabl 3. Refs: 28 titles.

УДК 519.10

Критерій квазістійкості векторної траєкторної задачі з мажорантним принципом оптимальності / Ємелічев В.O., Степанішина Ю.В. // Кибернетика и системный анализ. - 2001. - № 5. - С. 63-71.

Розглядається многокритеріальна комбінаторна задача мажоритарної оптимізації, часткові критерії якої мають вигляд MINSUM (лінійний), MINMAX ("вузького місця") та MINMIN. Отримані необхідні і достатні умови, при виконанні яких "малі" незалежні збурення параметрів векторного критерія зберігають мажоритарну ефективність всіх розв'язків вихідної задачі і одночасно допускають появу нових. Бібліогр.: 22 назви.

UDC 519.10

A quasistability criterion for a vector trajectory problem with a majority optimality principle / Emelichev V.A., Stepanishyna Yu.V. // Kibernetika i sistemny analiz. - 2001. - N 5. - P. 63-71.

A multicriteria trajectory problem of majority optimization is considered. The partial criteria are MINSUM, MINMAX, and MINMIN. Necessary and sufficient conditions are found under which "small" independent perturbations of vector criterion parameters save a majority efficiency of all the solutions and do not exclude emergence of new solutions. Refs: 22 titles.

УДК 519.21

Поpiвняльний аналiз вкладу у вiдмову системи на iнтеpвалi зайнятостi монотонних та немонотонних тpаєктоpiй / Кузнєцов М.Ю. // Кибернетика и системный анализ. - 2001. - № 5. - С. 71-80.

Для дослiдження вкладу у вiдмову системи (втpата вимоги) монотонних та немонотонних тpаєктоpiй запpопоновано два методи пpискоpеного моделювання. Пpоведено чисельний аналiз такого вкладу. Hаведено пpиклади систем, для яких пpинцип монотонних вiдмов не має мiсця. Табл.: 3. Бiблiогp.: 12 назв.

UDC 519.21

Comparative analysis of the contribution to system failure on a busy interval of monotone and nonmonotone trajectories / Kuznetsov N.Yu. // Kibernetika i sistemny analiz. - 2001. - N 5. - P. 71-80.

Two fast simulation methods for investigation of the contribution to failure (loss of a customer) of a system of monotone and nonmonotone trajectories are proposed. A numerical analysis of such contribution is made. Examples of systems, where the principle of monotone failures is not fulfilled, are given. Tabl.: 3. Refs: 12 titles.

УДК 681.3.06:681.323(519.6)

Метод обчислення нулів та екстремумів функцій на основі сортування із застосуванням до пошуку та розпізнавання. II / Ромм Я.О. // Кибернетика и системный анализ. - 2001. - № 5. - С. 81-101.

Стійке адресне сортування та умови локалізації екстремумів, що спираються на неї, використовуються для приблизного обчислення комплексних коренів многочленів та нулів похідних функцій однієї змінної. Метод розповсюджується на локалізацію екстремумів в дискретних числових послідовностях, на ідентифікацію ланцюгів цифр, які повторюються, і на цій основі - на пошук та розпізнавання образів, які представлені числовими масивами. Іл.: 2. Бібліогр.: 21 назва.

UDC 681.3.06:681.323(519.6)

A method for calculation of zeroes and extrema of functions on the basis of sorting with application to search and recognition. II / Romm Ya. E. // Kibernetika i sistemny analiz. - 2001. - N 5. - P. 81-101.

A stable address sorting and an extrema localization condition, based on it, are applied for approximate calculation of complex roots of polynomials and function derivative zeroes by one variable. This method is extended to localization of extrema in discrete numerical sequences, to identification of chains of repeating figures and, on the basis of all this, to search and recognition of patterns, represented by numerical arrays. Figs: 2. Refs: 21 titles.

УДК 519.1

Каталог неiзоморфних 5-гомогенних пентагональних 5-пакункiв / Петренюк А.Я. // Кибенетика и системный анализ. - 2001. - № 5. - С. 102-109.

Побудованi та наведені повнi списки неiзоморфних 5-гомогенних пентагональних пакункiв розмiром 3 та 5 у граф . Потужностi цих спискiв вiдповiдно дорiвнюють 11 та 192. Описана технiка розпізнавання-ототожнювання таких пакункiв. Крiм того, проведено розпізнавання двох 5-гомогенних пентагональних розкладів графу та побудувано їх групи автоморфизмiв. Іл.: 8. Табл.: 1. Бібліогр.: 4 назв.

UDC 519.1

The census of nonisomorphic 5-homogeneous pentagon packings / Petrenjuk A.Ya. // Kibernetika i systemny alaliz. - 2001. - N 5. - P. 102-109.

Complete lists of nonisomorphic 5-homogeneous pentagon packings of ranks 3 and 5 into a graph are constructed. Cardinalities of these lists are, respectively, 11 and 192. A distinguishing-identifying technique is described for such packings. Besides this, two 5-homogeneous pentagon decompositions of a graph are distinguished and their automorphism groups are constructed. Figs: 8. Table 1. Refs: 4 titles.

УДК 518.9

Про один клас симетричних оптимізаційних задач / Кирилюк В.С. // Кибернетика и системный анализ. - 2001. - № 5. - С. 110-121.

Розглядаються оптимізаційні задачі, функції-критерії і допустимі множини яких симетричні відносно деяких перетворень. Вивчаються умови, що гарантують існування розв'язків цих задач на множині нерухомих відносно початкового перетворення точок для неперервних задач, і на множині "майже" нерухомих точок - для цілочисельних задач. Бібліогр.: 5 назв.

UDC 518.9

On one class of symmetrical optimization problems / Kirilyuk V.S. // Kibernetika i sistemny analiz. - 2001. - N 5. - P. 110-121.

Optimization problems, whose function-criteria and admissible sets are symmetrical relative to some transformations, are considered. Conditions, which guarantee the existence of solutions of such problems on a set of points that are fixed relative to this transformation for continuos problems, and on a set of points that are "quasi" fixed - for integer problems, are studied. Refs: 5 titles.

УДК 519.7

Глобальна оптимізація на основі евриcтичної самоорганізації. Дискретний випадок / Моїсеєнко В.В., Яцкевич В.В. // Кибернетика и системный анализ. - 2001. - № 5 - С. 122-132.

Розглядається застосування методу евристичної самоорганізації, який має ще назву методу групового врахування аргументів, для розв'язання задач дискретної оптимізації. Доводиться збіжність по імовірності цього процесу до точки глобального оптимуму. Наводяться приклади обчислювальних експериментів. Іл.: 1. Бібліогр.: 6 назв.

UDC 519.7

Global optimization by heuristic self-organization. A discrete case / Moiseenko V.V., Jatskievich V.V. // Kibernetika i sistemny analiz. - 2001. - N 5. - P. 122-132.

Application of heuristic self-organization method (or the so-called group method of data handling) for solution to diskrete optimization problem is considered. self-organization process convergence by probability to a global optimization point is proved. Some numerical experimental examples are given. Fig.: 1. Refs: 6 titles.

УДК 519.876

Багатокритеріaльна задача розподілу системного кровотоку по органах і тканинах та алгоритм розв'язання / Марченко Д.І., Биць О.В., Семчик Т.А. // Кибернетика и системный анализ. - 2001. - № 5. - С. 132-141.

Запропонована багатокритеріальна математична модель для визначення об'ємної швидкості тканинних кровотоків в організмі людини при відомій об'ємній швидкості системного кровотоку. Розроблено алгоритм прийняття рішень щодо розподілу системного кровотоку в тканинах з урахуванням даних про споживання кисню та виділення вуглекислого газу в різних тканинах. Бібліогр.: 7 назв.

UDC 519.876

A multicriterial problem of system blood stream distribution in organs and tissues and an algorithm to its solution / Marchenko D.I., Byts A.V., Semchik T.A. // Kibernetika i sistemny analiz. - 2001. - N 5. - P. 132-141.

A multicriterial mathematical model for blood stream speed finding in human tissues with known system blood stream is proposed. An algorithm for finding solutions, concerning distribution of system blood stream in different tissues with respect to data about oxygen consumption and carbon dioxide discharge in different tissues, is worked out. Refs: 7 titles.

УДК 519.21

Керованi напiвмарковськi поля на графi / Чорней Р.К. // Кибернетика и системный анализ. - 2001. - № 5. - С. 142-149.

Вводиться поняття керованого напiвмарковського процесу на графi у виглядi двох задач, для яких формулюються результати, що мали мiсце для керованих марковських процесiв на графi i звичайних напiвмарковських процесiв прийняття рiшень. Бiблiогр.: 6 назв.

UDC 519.21

Controlled semi-Markov fields on a graph / Chornei R.K. // Kibernetika i sistemny analiz. - 2001. - N 5. - P. 142-149.

A concept of a semi-Markov controlled process on graph as two tasks is introduced. The results, which hold for controlled Markov processes on graph and usual semi-Markov decision processes are formulated for them. Refs: 6 titles.

УДК 517.944

Обернення лінійних просторово-часових перетворень в обмежених областях / Стоян В.А. // Кибернетика и системный анализ. - 2001. - № 5. - С. 149-156.

Побудовані загальні формули псевдообернення лінійних інтегральних перетворень в обмежених просторово-часових областях. Входи-виходи перетворень задаються в неперервно-дискретних формах. Досліджуються умови точності та однозначності перетворень. Бiблiогр.: 5 назв.

UDC 517.944

An inversion of linear spatial-temporal transformations in limited domains / Stoyan V.A. // Kibernetika i sistemny analiz. - 2001. - N 5. - C. 149-156.

General formulas for pseudoinversion of linear integral transformations in limited spatial-temporal domains are traced. Input and output of transformations define in continuous-discrete forms. Precision and uniqueness conditions of a transformation are researched. Refs: 5 titles.

УДК 517.977

Траєкторно-фінальна керованість в гіперболічних та псевдогіперболічних системах з узагальненими впливами / Ляшко С.І., Номіровський Д.А., Сергієнко Т.І. // Кибернетика и системный анализ. - 2001. - № 5. - С. 157-166.

На основі раніше отриманих апріорних нерівностей в негативній нормі вивчаються питання керованості всією траєкторією, а також в кінцевий момент часу - існування оптимального керування (для достатньо загального функціоналу якості) гіперболічними та псевдогіперболічними системами з узагальненими впливами (імпульсне, точкове, імпульсно-точкове, рухоме керування тощо). Бібліогр.: 8 назв.

UDC 517.977

Trajectory and final controllability in hyperbolic and pseudohyperbolic system with sinqular influences / Lyashko S.I., Nomirovsky D.A., Sergienko T.I. // Kibernetika i sistemny analiz. - 2001. - N 5. - P. 157-166.

On the basis of the previously obtairad a priori estimates in negative norms, the problems of controllability of a whole trajectory and, at a final time point, existence of an optimal control (for a sufficiently general performance criterion) in hyperbolic and pseudohyperbolic systems by generalized influences (impuse, point, impulse-point, moving etc. controls) are studied. Refs: 8 titles.

УДК 386

Застосування чисельного методу підвищеної точності для розв'язування рівнянь теплопровідності / Фердігалов Л.Ю. // Кибернетика и системный анализ. - 2001. - № 5. - С. 166-171.

Описується чисельний метод розв'язування рівнянь теплопровідності, заснований на формулі Ерміта. Даються вирази коефіцієнтів фомули Ерміта через вільні параметри. Застосування методу ілюструється на прикладі розв'язування модельної задачі. Іл.: 1. Табл.: 1. Бібліогр.: 3 назви.

UDC 386

Implementation of a high-accurate numerical method for solution to a heat equation / Ferdigalov L.Y. // Kibernetika i sistemny analiz. - 2001. - N 5. - P. 166-171.

A numerical method used to solve a heat-conductivity equation and based on the Hermite formula is described. Expressions for coefficients of Hermite formula via free parameters are given. The method implementation is demonstrated by solution to a model problem. Fig.: 1. Tabl.: 1. Refs: 3 titles.

УДК 519.7

Структура семантичної нейронної мережі, що реалізує морфологічний та синтаксичний розбір тексту / Шуклін Д.Є. // Кибернетика и системный анализ. - 2001. - № 5. - С. 172-179.

Розглянуто синхронізоване лінійне дерево як структура зв'язку між нейронами у семантичній нейронній мережі, що дозволяє виконувати операції морфологічного та синтаксичного розбору. Синхронізоване лінійне дерево може розглядатися як кінцевий автомат. Словарна стаття реалізується нейронним субавтоматом. Окремі словоформи словарної статті є субстановищем такого субавтомата. Словозміна полягає в переході субавтоматів з одного субстановища в інше. Іл.: 10. Бібліогр.: 8 назв.

UDC 519.7

A structure of a semantic neural network implementing morphological and syntactical analysis of a text / Shuklin D.E. // Kibernetika i sistemny analiz. - 2001. - N 5. - P.172-179.

A synchronized linear tree is considered as a structure of connections between neurons in a semantic neural network which allows to perform morphological and syntactical analysis operations. A synchronized linear tree can be considered as a finite automaton. A dictionary entry is realized by a neural subautomaton. Separate word forms of a dictionary entry are substates of such a subautomaton. A change of a word consists of subautomaton transition from one substate to another. Figs: 10. Refs: 8 titles.

УДК 519.7

Коректність алгебраїчних розширень моделей алгоритмів класифікації / Айдарханов М.Б., Аміргалієв Є.Н., Ла Л.Л. // Кибернетика и системный анализ. - 2001. - № 5. - С. 180-185.

Розглядається двійкове подання кожної класифікації з допустимої підмножини простору класифікації. Введено метрику в одиничному кубі і будується коректна алгебра алгоритмів класифікації. Доводиться коректність і повнота моделі алгоритмів класифікації. Бiблiогр.: 5 назв.

UDC 519.7

Correctness of algebra extensiions of the models of algorithm of classification / Aidarkhanov M.B., Amirgaliyev E.N., La L.L. // Kibernetika i sistemny analiz. - 2001. - N 5. - Р. 180-185.

The article considers binary presentation of each classification from an admissible classification space subset. A metric in a unitary cube is introduces, and a correct algebra of algorithm classification is constructed. An algorithm classification сorrectness and completeness are proved. An example of a full model construction for the chosen task of a classificationis is considered. Refs: 5 titles.