УДК 519.63

Метод скінченних елементів високої точності для задачі Штурма-Ліувіля / Приказчиков В.Г., Лосєва М.В. // Кибернетика и системный анализ. - 2004. - № 1. - С. 3-9.

Методом скінченних елементів при використанні спеціальної базисної системи фінітних функцій побудовано схему шостого порядку точності для задачі Штурма-Ліувіля. Отримано асимптотичні формули для похибки власних чисел як для нелінійної, так і для лінеаризованої схеми. Бібліогр.: 4 назви.

UDC 519.63

Finite element method with a high accuracy for Sturm-Liouville problem / Prikazchikov V.G., Loseva M.V. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 3-9.

A sixth-order accuracy scheme is constructed for Sturm-Liouville problem by means of the finite element method and with the use of the special basic system of finite functions. Asymptotic formulas are obtained for an eigenvalue error both for nonlinear and linearized schemes. Refs: 4 titles.

УДК 681. 513

Принцип редукції в задачах відшукання закономірностей. II / Васильєв В.І. // Кибернетика и системный анализ. - 2004. - № 1. - С. 9-22.

Розглянуто індуктивні методи виявлення закономірностей рівності і порядку, що базуються на принципі попереднього редукування (спрощення) вихідної задачі. Табл.: 2. Бібліогр.: 9 назв.

UDC 681. 513

Reduction princilple in problems of searching for regularities. II / Vasil'yev V.I. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 9-22.

The paper considers inductive methods used to reveal equality and order regularities. They are based on the principle of preliminary reduction (simplification) of an outcoming problem. Tabl.: 2. Refs: 9 titles.

УДК 518.25

Розв'язування матричних рiвнянь гiллястими ланцюговими дробами / Ковальчук О.Я., Недашковський М.O. // Кибернетика и системный анализ. - 2004. - № 1. - С. 22-33.

Описано побудову клiткових алгоритмiв розв'язування символьних систем лiнiйних i нелiнiйних алгебраїчних рiвнянь матричними ланцюговими дробами. Цей пiдхiд не тiльки цiкавий сам по собi, але й створює перспективну методологiю для одержання нових алгоритмiв. Результати можуть бути використанi в системi комп'ютерної алгебри. Бібліогр.: 11 назв.

UDC 518.25

Solving matrix equations by branching chain fractions / Kovalchuk O.Ja., Nedashkovsky N.A. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 22-33.

A cellular algorithm of solving symbol systems of linear and nonlinear algebraic equations by means of matrix chain fractions is syntnesised. This approach creates a promising methodology for obtaining new algorithms. The results can be applied in computer algebra systems. Refs: 11 titles.

УДК 681.3

Неперервно-логічний метод об'єднання індивідуальних оцінок об'єкта, якому віддається перевага / Левін В.I. // Кибернетика и системный анализ. - 2004. - № 1. - C. 34-46.

Розглянуто загальну задачу вибору об'єкта, якому віддається найбільша перевага, шляхом агрегування різних оцінок кожного об'єкта з подальшим порівнянням агрегованих оцінок та вибором того об'єкта, у якого ця оцінка максимальна (мінімальна). Запропоновано підхід до розв'язання задачі з використанням операцій безперервної логіки. Іл.: 1. Табл.: 3. Бібліогр.: 10 назв.

UDC 681.3

A continuous logical method of union of individual object preference estimates / Levin V.I. // Kibernetika i sistemny analiz. - 2004. - N 1. - Р. 34-46.

The paper considers a general problem of choice of the most preferable object made by aggregating different estimates of each object with the further comparison of aggregated estimates and choice of such an object the estimate of which is maximal (minimal). An approach is proposed for problem solution, when continuous logic operations are used. Fig.: 1. Tabl.: 3. Refs: 10 titles.

УДК 681.3

Алгебри гiперсхем i iнтегрований iнструментарiй синтезу програм у сучасних об'єктно-орiєнтованих середовищах / Яценко О.А. // Кибернетика и системный анализ. - 2004. - № 1. - С. 47-52.

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

UDC 681.3

Algebras of hyperschemes and an integrated software of program synthesis in contemporary object-oriented environments / Yatsenko E.A. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 47-52.

The paper is devoted to the results obtained in development of software for parameter controlled generation of regular schemes of object-oriented programs. Generation is implemented with the use of higher-level schemes called hyperschemes. Refs: 14 titles.

УДК 681.3

Вхідна мова опису тестів на основі розширених MSC діаграм / Котляров В.П., Сухомлинов В.О. // Кибернетика и системный анализ. - 2004. - № 1. - С. 52-62.

Розглянуто використання діаграм послідовностей повідомлень (MSC) для подання тестових виборок, пропонується розширена вхідна мова MSC діаграм, що забезпечує істотну економію ручної праці при розробці тестових специфікацій. Іл.: 11. Табл.: 1. Бібліогр.: 8 назв.

UDC 681.3

An input language based on extended MSC for test generation / Kotlyarov V.P., Sukhomlinov V.A. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 52-62.

The use of Message Sequence Charts (MSC) for test generation is discussed and respective extensions to MSC input language are proposed. This provides a considerable economy of manual work when that specifications are developed. Figs: 11. Tabl.: 1. Refs: 8 titles.

УДК 519.8

Порівняльний аналіз різних типів стійкості за обмеженнями векторної задачі цілочислової оптимізації / Лебєдєва Т.Т., Сергієнко Т.І. // Кибернетика и системный анализ. - 2004. - № 1. - С. 63-70.

Розглянуто задачу пошуку множини Парето серед цілочислових точок опуклого многогранника. Вивчено різні типи стійкості цієї багатокритеріальної задачі до змін вихідних даних в обмеженнях. Одержано необхідні та достатні умови стійкості за обмеженнями для всіх досліджених типів стійкості. Бібліогр.: 10 назв.

UDC 519.8

Comparative analysis of various types of stability under constraints for vector problem of integer optimization / Lebedeva T.T., Sergienko T.I. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 63-70.

The paper considers the problem of finding the Pareto set on integer points of a convex polyhedron. Various types of stability for this multicriterion problem to changes of initial data in constraints are studied. Necessary and sufficient conditions for different types of stability under restrictions are obtained. Refs: 10 titles.

УДК 518.61.001.573

Нелінійні обернені крайові задачі конформного відображення з керуючим потенціалом / Бомба А.Я., Каштан С.С., Скопецький В.В. // Кибернетика и системный анализ. - 2004. - № 1. - С. 71-79.

Описано деякі характерні випадки формування ідеальної течії в залежності від заданих значень керуючого потенціалу. На основі модифікації методу сумарних зображень Г. Положия отримано характеристичну функцію течії, наводяться приклади побудови динамічної сітки, поля швидкості, формування різних перетоків. При цьому виділені типи задач (ключових) на знаходження тих значень керуючого потенціалу, що забезпечують оптимізацію певних функціоналів, наводиться приклад розв'язання однієї із них. Іл.: 1. Бібліогр.: 14 назв.

UDC 518.61.001.573

Nonlinear return boundary value problems on conformal mappings with controlling potential / Bomba А.Ya., Каshtаn S.S., Skopetskiy V.V. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 71-79.

Some creations from characteristic cases of ideal fluid are described depending on preset values of controlling potential. On the basis of a modification of the G. Pologyj method of total maps, the characteristic function of a current is obtained examples of construction of a dynamic grid, a field of speed, examples of creation of different fluids are induced. Thus, types of key tasks of finding such values of controlling potential, which supply optimization of concrete functionals are defined. An example of solutions to one on them is given. Fig.: 1. Refs: 14 titles.

УДК 518.12

Проблема оперативного прогнозування стохастичних характеристик марковських параметричних систем / Буличев Ю.Г, Лапсарь О.П. // Кибернетика и системный анализ. - 2004. - № 1. - С. 79-90.

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

UDC 518.12

On problem of operational forecasting of stochastic characteristics of Markov parametric systems / Bulychev Yu.G., Lapsar A.P. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 79-90.

Within the framework of the projective-parametric theory, the paper develops a two-stage numerical analytical method for forecasting the stochastic characteristics of a Markov dynamic system depicted by an evolution equation. Its solution continuously depends on a vector of real parameters that determine system operation conditions. Fig.: 1. Refs: 7 titles.

УДК 517.988

Про оцінки точності інтерполяції поліноміальних і цілих функціоналів в / Хлобистов В.В., Кашпур О.Ф. // Кибернетика и системный анализ. - 2004. - № 1. - С. 91-97.

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

UDC 517.988

On estimates of accuracy of interpolation for polynomial and entire functionals in / Khlobystov V.V., Kashpur E.F. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 91-97.

A method of polynomial operator interpolation for solution to some nonlinear functional system problems is developed. Estimates of accuracy of interpolation for polynomial and entire functionals are obtained in for the case with their perturbed knot values and approximate calculation of scalar products. Refs: 12 titles.

УДК 519.8

Декомпозиція за змінними для деяких задач оптимізації / Лаптін Ю.П. // Кибернетика и системный анализ. - 2004. - № 1. - C. 98-104.

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

UDC 519.8

Variable decomposition for some optimization problems / Laptin Yu.P. // Kibernetika i sistemny analiz. - 2004. - N 1. - Р. 98-104.

The paper considers a decomposition for block convex programming problems with connected variables. Functions of blocks are defined on restricted sets. Rules for calculating -subgradients of goal function subproblems are formulated. Initial problem normalization is described. Refs: 9 titles.

УДК 330.115:519.2

Модель розрахунку валового внутрiшнього продукту як функцiї працi та капiталу / Дунаєв Б.Б. // Кибернетика и системный анализ. - 2004. - № 1. - С. 104-116.

Визначена модель розрахунку валового внутрішнього продукту (ВВП) в часi з використанням макроекономiчних закономiрностей: вираження реального ВВП виробничою функцiєю Кобба-Дугласа вiд кiлькостi працюючих i вiд загруженого капiталу у сферi виробництва; функцiї рівноважної реальної зарплати вiд капiталоємностi працi у сферi виробництва при повнiй зайнятостi населення; функцiї пропозицiї працi при умовi максимуму корисностi домашнiх господарств; функцiї оптимального попиту на працю вiд реальної зарплати. Iл.: 5. Табл.: 4. Бiблiогр.: 6 назв.

UDC 330.115:519.2

A model for calculation of a gross internal product as a function of labour and capital / Dunaev B.B. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 104-116.

The economic objective laws are determined: the GIP is expressed by production Kobba-Duglas function depending on a number of workers in the field of production and on the use of capital; the function of real wages depending on capital intensity of labour in the field of production with full employment of population; the function of supply of labour depending on an income from capital per head of population and from a monetary rate of wages on condition of maximum usefulness of housekeeping; the functions of demand on a labour depending on a monetary rate of wages. Figs: 5. Tabl.: 4. Refs: 6 titles.

УДК 519.21

Про одну задачу керування випадковими процесами / Дерієва О.М., Пепеляєва Т.В. // Кибернетика и системный анализ. - 2004. - № 1. - С. 116-121.

Розглядається задача керування випадковим процессом, що адитивно залежить від дробного вінеровського процесу з параметром Хаста . Бібліогр.: 10 назв.

UDC 519.21

On problem of random processes control / Deriyeva E.N., Pepelyaeva T.V. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 116-121.

A problem of control of a random process driven by the fractional Brownian motion with the Hurst parameter is investigated. Refs: 10 titles.

УДК 519.71:510.22:004.415.2

Комп'ютерна технологiя iнтервально-множинного аналiзу в MATLAB / Зєлик Я.I., Личак М.М. // Кибернетика и системный анализ. - 2004. - № 1. - С. 122-138.

Розглядається комп'ютерна технологiя iнтервально-множинного аналiзу. Технологiя реалiзована у формi Interval-Set Analysis Toolbox в MATLAB - проблемно-орiєнтованої колекцiї нових MATLAB-функцiй. Проаналiзовано теоретичнi основи технологiї, наведено класифiкацiю нових функцiй за категорiями. Розглянуто приклади застосування технологiї при теоретико-множинному розв'язанні системи лiнiйних нерiвностей. Iл.: 4. Табл.: 3. Бiблiогр.: 40 назв.

UDC 519.71:510.22:004.415.2

Computer technology of Interval-Set Analysis in MATLAB / Zyelyk Ya.I., Lychak M.M. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 122-138.

The developed computer technology of Interval-Set Analysis is considered. The technology is implemented as Interval-Set Analysis Toolbox in MATLAB, i.e., the problem-oriented collection of new MATLAB-functions. The theoretical foundations of the technology are analyzed and the classification functions by categories are represented. The examples of the technology application under a set theoretic solution to a linear inequalities system are considered. Figs: 4. Tabl.: 3. Refs: 40 titles.

УДК 681.511:3

Стеганоалгоритми на базі теореми про згортку / Бородавка Н.В., Задірака В.К. // Кибернетика и системный анализ. - 2004. - № 1. - С. 139-144.

Розглянуто один із способів вирішення проблеми інформаційної безпеки методами комп'ютерної стеганографії. Викладено нові спектральні стеганографічні алгоритми, що будують цифрові контейнери, використовуючи теорему про згортку. Перехід до спектрального представлення контейнерів здійснюється в базисі Фур'є. Іл.: 3. Бібліогр.: 6 назв.

UDC 681.511:3

Steganographical algorithms on the basis of convolution theorem / Borodavka N.V., Zadiraka V.K. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 139-144.

A solution to a problem of information safety by the methods computer steganography is considered. New spectral steganographical algorithms are studied that build digital containers, using convolution theorem. Transition to spectral representation of containers is carried out in Fourier basis. Figs: 3. Refs: 6 titles.

УДК 517.926

До проблеми побудови сильних диференціальних моделей керування з мінімальною операторною нормою. I / Данєєв О.В., Русанов В.А. // Кибернетика и системный анализ. - 2004. - № 1. - С. 144-153.

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

UDC 517.926

To problem of construction of strong differential control models with a minimum operator norm. I / Daneev A.V., Rusanov V.A. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 144-153.

In terms of constructions of formal identification process, the problems of existence and constraction of strong differential -models with minimum operator norm are investigated in the space of -models. Refs: 12 titles.

УДК 517.977.5

Про стійкість в моделі імунного захисту з урахуванням порушення функціонування органа-мішені: метод вироджених функціоналів Ляпунова / Марценюк В.П. // Кибернетика и системный анализ. - 2004. - № 1. - С. 153-164.

Розглянуто питання стійкості системи імунного захисту Г.І. Марчука. Використано метод вироджених функціоналів Ляпунова. Отримано достатні умови стійкості системи з урахуванням впливу пошкодженого органу на імунну відповідь. Бібліогр.: 12 назв.

UDC 517.977.5

On stability of immune protection model taking into account damage of target organ: the degenerate Liapunov functionals method / Marzeniuk V.P. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 153-164.

Stability problem as for G.I. Marchuk immune protection system is considered. The degenerate Lyapunov functional method is used. Sufficient stability conditions are obtained as for a system taking into account influence of a damaged organ on an immune responce. Refs: 12 titles.

УДК 519.683.004.424

Використання мови MC# для реалiзацiї параллельних алгоритмiв в 3D моделюваннi / Борисов Є.С. // Кибернетика и системный анализ. - 2004. - № 1. - С. 165-169.

Розглянуто проблему розпаралелювання процесу візуалізації 3D об`єктів в реальному часі. Пропонується модель тривимірного простору та реалізація з використанням засобів паралельного програмування. Іл.: 1. Бібліогр.: 6 назв.

UDC 519.683.004.424

Using the MC# language for implementation of parallel algorithms in 3D modeling / Borysov E.S. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 165-169.

The paper considers the problem of parallelizm for a 3D object visualization in real time. A 3D space model and implementation with the use of the facilities of parallel programming are proposed. Fig.: 1. Refs: 6 titles.

УДК 519.21

Стабілізація коливань стрижня під дією сил, що залежать від марковських процесів / Роголь С.Л., Ясинський В.К. // Кибернетика и системный анализ. - 2004. - № 1. - С. 170-174.

Одержано необхідні та достатні умови експоненціальної стійкості з імовірністю одиниця коливань стрижня під дією повздовжніх марковських збурень. Бібліогр.: 14 назв.

UDC 519.21

Stabilization of bar oscillation under forces that depend on Markov processes / Rogol S.L., Yasinsky V.K. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 170-174.

Necessary and sufficient conditions of exponential stability with probability one of bar oscillations with longitudinal Markov perturbations are obtained. Refs: 14 titles.

УДК 004.2

Iнтелектуальнi комп'ютери - засiб дослiдження i розв'язування науково-технiчних задач / Молчанов І.М. // Кибернетика и системный анализ. - 2004. - № 1. - С. 174-179.

Розглянуто стан розробки перспективних суперкомп'ютерiв, проведено аналiз галузей використання суперкомп'ютерiв, описано труднощi, що виникають при розв'язуванні на комп'ютерах науково-технiчних задач зi збiльшенням їх розмiрностей. Показано переваги iнтелектуального комп'ютера для розв'язування науково-технiчних задач порівняно з традицiйним паралельним MIMD-комп'ютером на тiй же елементнiй базi. Іл.: 7. Табл.: 3. Бібліогр.: 11 назв.

UDC 004.2

Intelligent computers - a tool for investigating and solving scientific and engineering problems / Molchanov I.N. // Kibernetika i sistemny analiz. - 2004. - N 1. - Р. 174-179.

A state-of-arts in the development of perspective supercomputers is dealt with, an analysis of spheres of supercomputers utilization is carried out, and difficulties arising during the solving of scientific and engineering problems on computers with increase in their dimensions are described. Advantages of the intelligent computer intended for solving scientific and engineering problems over the traditional parallel MIMD-computer on the same element base are demonstrated. Figs: 7. Tabl.: 3. Refs: 11 titles.

УДК 519.7

Глобальна оптимізація лінійної динамічної системи для досягнення асимптотичної стійкості на основі еврістичної самоорганізації / Яцкевич В.В. // Кибернетика и системный анализ. - 2004. - № 1. - С. 180-183.

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

UDC 519.7

Global optimization of linear dynamic system for asymptotic stability obtaining based on heuristic self-organization / Yatskevich V.V. // Kibernetika i sistemny analiz. - 2004. - N 1. - P. 180-183.

A problem of asymptotic stability of control system is considered. This system is described by linear differential equations with stable coefficients. To this problem, the method of heuristic self-organization is proposed. Refs: 6 titles.