УДК 623/518.3/517.5

Розширена версія мови MSC / Летичевський О.А., Капітонова Ю.В., Котляров В.П., Летичевський О.О., Волков В.А. // Кибернетика и системный анализ. - 2002. - № 4. - С. 3-14.

Наведено розширену версію мови MSC з часовими специфікаціями для описуваних подій. Це розширення використовується для верифікації вимог в інтерактивних системах. Введення формальних семантик - це новий підхід, що базується на теорії взаємодіючих агентів та середовищ. Розроблено алгоритм перевірки часової несумісності, що базується на цих семантиках. Бібліогр.: 10 назв.

UDC 623/518.3/517.5

Semantics of timed Message Sequence Charts / Letichevskii A.A.., Kapitonova Yu.V., Kotlyarov V.P., Letichevskii A.A. Jr., Volkov V.A. // Kibernetika i sistemny analiz. - 2002. - N 4. - P. 3-14.

The paper discribes an extended version of MSC language with time specification for events. This extension is developed to verify requirements in interective systems. To define a formal semantics, a new approach based on theory of interaction of agents and environments is used. A time consistensy cheking alhorithm is developed on the basis of this semantics. Refs: 10 titles.

УДК 530.12

До питання про формальні моделі в дослідженні критичних швидкостей (на прикладі перетворень Лоренца) / Василик П.В., Провотар О.І. // Кибернетика и системный анализ. - 2002. - № 4. - С. 14-23.

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

UDC 530.12

To a problem on formal models in examination of criticlal speeds (an example of Lorentz transformation laws) / Vasilik P.V., Provotar A.I. // Kibernetika i sistemny analiz. - 2002. - N 4. - P. 14-23.

A new model is proposed in order to in vestigate relations between coordinates of an object that moves with respect to one coordinate system and is in a rest state with respect to another one. However, within the framework of this model, the so-called relativistic consequences of Lorentz transformation laws have quite different interpretation. Figs: 6. Refs: 12 titles.

УДК 517.9

Нормальна диференцiйованiсть i екстремуми функцiоналiв у локально опуклому просторi / Орлов I.В. // Кибернетика и системный анализ. - 2002. - № 4. - С. 24-35

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

UDC 517.9

Normal differentiability and extrema of functionals in a locally convex space / Orlov I.V. // Kibernetika i sistemny analiz. - 2002. - N 4. - P. 24-35.

An extension of the classical extremum conditions for strongly differentiable functionals in Banach space, transferred to the case with normally differentiable and compactly-normally differentiable functionals in a locally convex space is investigated. Refs: 12 titles.

УДК 519.7

Реалізація бінарного синхронізованого лінійного дерева та його застосування в обробці тексту звичайної мови / Шуклін Д. // Кибернетика и системный анализ. - 2002. - № 4. - С. 36-43.

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

UDC 517.9

Implementation of a synchronized binary linear tree and its application to process a text in a natural language / Shuklin D.E. // Kibernetika i sistemny analiz. - 2002. - N 4. - P. 36-43.

An implementation and functioning of a synchronized binary linear tree are described. A time line structure, applied at a discourse level to process semantic connections between elements of various sentences, is proposed. A structure of a natural language text processing system is considered. It is assumed that a semiotic feedback can cause an internal monologue and self-conciousness. A semiotic feedback implementation is described on the synchronized linear-tree basis. It is shown that it is possible to use an internal monologue model for natural language phrase synthesis. Figs: 8. Refs: 6 titles.

УДК 519.6

Оптимальне керування умовно коректною системою з умовами спряження / Сергієнко І.В., Дейнека В.С. // Кибернетика и системный анализ. - 2002. - № 4. - С. 44-62.

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

UDC 519.6

An optimal control of conditionally correct system with conjugation conditions / Sergienko I.V., Dejneka V.S. // Kibernetika i sistemny analiz. - 2002. - N 4. - P. 44-62.

New problems of an optimal for distributed system, states of which are described by boundary-value Neumann problems with conjugation conditions and by non-unique solutions, are constructed and considered. The paper proposes computation schemes with a higher-order accuracy of optimization problem discretization for the case when a control set coincides with a full Hilbert space. Refs: 5 titles.

УДК 519.3

Розвиток негладкого аналізу: його основні засоби / Дем'янов В.Ф. // Кибернетика и системный анализ. - 2002. - № 4. - С. 63-85.

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

UDC 519.3

The rise of nonsmooth analysis: its main tools / Demyanov V.F. // Kibernetika i sistemny analiz. - 2002. - N 4. - P. 63-85.

The main notion in the classical (smooth) Mathematical Analysis is that of gradient. Nonsmooth Analysis deals with noт-differentiable functions, therefore, the problem is to find a proper replacement for the concept of gradient. Different scientific schools use different tools and, as a result, they construct different theories that allow to treat different nonsmooth function classes and to solve different nonsmooth problems. Several notions and tools used in nonsmooth analysis and nondifferentiable optimization are discussed. Refs: 45 titles.

УДК 519.8

Нелокальний метод Ньютона для монотонних варіаційних нерівностей на многограннику / Панін В.М., Скопецький В.В. // Кибернетика и системный анализ. - 2002. - № 4. - С. 85-96.

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

UDC 519.8

A nonlocal Newton methon for monotone variational inequaeities on a polyhedron / Panin V.M., Skopetskiy V.V. // Kibernetika i sistemny analiz. - 2002. - N 4. - P. 85-96.

The paper develops a nonlocally converging Newton method. On an iteration, it uses a solution to one approximating linear variational inequality. This method is more efficient when compared with the existing Newton-type algorithms. Refs: 10 titles.

УДК 517.938

Про одну нелінійну задачу керування з кількома цільовими множинами / Бердишев Ю.І. // Кибернетика и системный анализ. - 2002. - № 4. - C. 97-107.

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

UDC 517.938

On a nonlinear problem of control with several target manifolds / Berdyshev Yu.I. // Kibernetika i sistemny analiz. - 2002. - N 4. - Р. 97-107.

The problem about touring of manifold group transferring in a geometrical coordinate space, performed by a nonlinear controlled object in a prescribed order, is considered. A process quality is evalluated by a sum of terminal criteria calculated on these manifolds. The necessary conditions for optimality of control and time moments of convergence in the form of Pontryagin maximum principle are obtained. They do not exploit the time decomposition. Refs: 30 titles.

УДК 62.50

Застосування псевдообернених і проекційних матриць до дослідження задач керування, спостереження та ідентифікації / Кириченко М.Ф., Лепеха М.П. // Кибернетика и системный анализ. - 2002. - № 4. - C. 107-124.

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

UDC 62.50

Pseudoinverse and projective matrices in appliction to control, estimation and identification problems / Kirichenko N.F., Lepekha N.P. // Kibernetika i sistemny analiz. - 2002. - N 4. - Р. 107-124.

The perturbation of pseudoinverse matrix method, previously developed by the authors on the basis of matrix splitting, is extended to projective matrices for their further application for examination of control, identification, nonlinear regressive analysis, function approximation and prediction problems. Refs: 12 titles.

УДК 517.977

Керованість та оптимізація систем псевдогіперболічного типу / Ляшко С.І., Семенов В.В., Сергiєнко Т.І. // Кибернетика и системный анализ. - 2002. - № 4. - C. 124-137.

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

UDC 517.977

Controllability and optimization of pseudohyperbolic systems / Lyashko S.I., Semenov V.V., Sergienko T.I. // Кибернетика и системный анализ. - 2002. - № 4. - C. 124-137.

The problems of singular optimization and controllability of systems, governed by initial boundary value problems for pseudohyperbolic equations are studied. The existence and uniqueness theorems for solutions to basic initial boundary value problems for pseudohyperolic equations in nonclassic Sobolev-like spaces attached to wide suppositions relative to right-hand sides are proved. On the basis of these results, final impulse-point system controllability and optimum control existence are studied. Refs: 16 titles.

УДК 517.977

Короткий огляд розвитку якісної теорії керування у Бєларусі / Марченко В.М. // Кибернетика и системный анализ. - 2002. - № 4. - C. 137-150.

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

UDC 517.977

A brief essay about development of a qualitative control theory in Belarus / Marchenko V.M. // Кибернетика и системный анализ. - 2002. - № 4. - C. 137-150.

The main stages of development of a qualitative control and observation theory in Belarus are analyzed. Some principal results are given. Unsolved problems are formulated. Refs: 44 titles.

УДК 681.513

Розробка дзеркальної системи з керованими хвильовими характеристиками для адаптивного телескопа / Кривонос Ю.Г., Самойленко Л.І., Яковлєва Л.М. // Кибернетика и системный анализ. - 2002. - № 4. - C. 151-158.

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

UDC 681.513

Development of a mirror system with controlled wave characteristics for an adaptive telescope / Krivonos Y.G., Samojlenko L.I., Yakovlyeva L.M. // Kibernetika i sistemny analiz. - 2002. - N 4. - Р. 151-158.

The problem of creation of precise anti-interference devices for astronomical supervision is considered. The principle of construction of mirror system of an adaptive telescope with a possibility of correction of phase distortions of waves accepted by a mirror due to use of active reflecting coverings is developed. Mathematical modeling of processes is carried out, the possibility of work near to a mode of full reflection is shown. Figs.: 4. Refs: 8 titles.

УДК 519.3

Іще про глобальні властивості -субдиференціалів / Нурмінський Є.О. // Кибернетика и системный анализ. - 2002. - № 4. - C. 159-161.

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

UDC 519.3

More about global features of -subdifferentials / Nurminskii Ye.A. // Kibernetika i sistemny analiz. - 2002. - N 4. - Р. 159-161.

The paper presents one more global interrelation that connects values of a convex function and its -subdifferential. The direct result of this interrelation is the proof that functions with identical -subdifferentials have an identical limited behaviour. Refs: 3 titles.

УДК 519.9:539.3:681.3

Раціональний компроміс в системній задачі концептуальної невизначеності / Панкратова Н.Д. // Кибернетика и системный анализ. - 2002. - № 4. - С. 162-180.

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

UDC 519.9:539.3: 681.3

A rational compromise in a system problem of conceptual uncertaint / Pankratova N.D. // Kibernetika i sistemny analiz. - 2002. - N 4. - P. 162-180.

A general approach and methods for a system coordinated solution to a sequence of interconnected problems is proposed: generation of a criterion function set on empirical data under conceptual uncertainty conditions; definitions of Pareto set from a condition of rational mutual coordination of criterion functions set values and areas of their definition; a multicriterion choice of a rational solution on Pareto set from an inconsistent purpose compromise condition. The result the new opportunities to find a rational compromise in multicriterion system problems of conceptual design, situational forecast, innovational planning. Refs: 44 titles.

УДК 519.7

Неполіпшувані за порядком оцінки швидкості збігу методу перетворення Келі для наближення операторної експоненти / Макаров В.Л., Василик В.Б., Рябічев В.Л. // Кибернетика и системный анализ. - 2002. - № 4. - C. 180-185.

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

UDC 519.7

Nonimprovable estimates of a convergence rate of Caley transformation method for operator exponent approximation / Makarov V.L., Vasilik V.B., Ryabichev V.L. // Kibernetika i sistemny analiz. - 2002. - N 4. - Р. 180-185.

The paper proves an order-nonimprovability for an estimate of a convergence rate of Caley transformation method. A solution to abstreact Cauchy problem for an ordinary differential equation is approximated. The new theoretical results are present. Refs: 9 titles.