УДК 681.3

Алгебраїчна алгоритміка: теорія та застосування / Цейтлін Г.О. // Кибернетика и системный анализ. - 2003. - № 1. - С. 8-18.

Стаття присвячена огляду робiт з алгебри алгоритмiв - одному з перспективних напрямкiв в областi алгебраїчної алгоритмiки, що нинi iнтенсивно розвиваться в Українi i закордоном. До цього напрямку вiдносяться дослiдження методу багаторiвневого структурного проектування програм, створеного у вiддiлi автоматизацiї програмування Інституту кiбернетики iм. В.М. Глушкова НАНУ. Табл.: 1. Бібліогр.: 51 назва.

UDC 681.3

Algebraic algorithmics: theory and applications / Tseytlin G.E. // Kibernetika i sistemny analiz. - 2003. - N 1. - P. 8-18.

The paper reviews works on algebra of algorithms that is one of the promising directions of algebraic algorithmics new intensively developing in Ukraine and abroad. This direction includes the research of a multilevel structural software design method developed at the Programming Automation Department at V. M. Glushkov Institute of Cybernetics of Ukrainian Academy of Sciences. Tabl.:. 1. Refs: 51 titles.

УДК 512

Інсерційне програмування / Летичевський О.А., Капітонова Ю.В., Волков В.А., Вишемирський В.В., Летичевський О.О. // Кибернетика и системный анализ. - 2003. - № 1. - С. 19-32.

Наводиться головна концепція інсерційного програмування як новітня технологія програмування. Програма будується як трирівнева система. Першийрівень подає програму у розширеній мові дій. Другийрівень будує функцію розгортки агентних функціональних виразів. Третій подає функцію розгортки занурень. Бібліогр.: 10 назв.

UDC 512

Insertion programming // Letichevskii A.A., Kapitonova Yu.V., Volkov V.A., Vyshemirskii V.V., Letichevskii A.A. Jr. // Kibernetika i sistemny analiz. - 2003. - N 1. - P. 19-32.

Basic concepts of insertion programming as a new technology of programming are proposed. A program is constructed as a three-level system. The first level is represented by the text of the program in an extended language of actions. The second level is a function of unfolding agent expressions. The third one is represented by a function of unfolding insertions. Refs: 10 titles.

УДК 519.68

Оптимальні процедури розпізнавання. Обгрунтування процедур індуктивного виводу / Гупал A.М., Сергієнко І.В. // Кибернетика и системный анализ. - 2003. - № 1. - С. 33-39.

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

UDC 519.68

Optimal pattern recognition procedures. Substantiation of inductive inference procedures/ Gupal A. M., Sergienko I.V. // Kibernetika i sistemny analiz. - 2003. - N 1. - P. 33-39.

Proceeding from a probabilistic approach, the paper concludes that Bayesian approach is the basis for creation of inductive inference procedures. These procedures are investigated on Markovian chain and Bayesian networks. Refs: 7 titles.

УДК 681.03

Методи та засоби компонентного програмування / Грищенко В.М., Лаврiщева К.М. // Кибернетика и системный анализ. - 2003. - № 1. - C. 39-55.

Розглянуто основнi шляхи розвитку програмування та засобiв його автоматизацiї пiд науковим керiвництвом К.Л. Ющенко. Визначенi головнi поняттякомпонентного програмування: компонент, компонентна модель, каркас, метод iнтеграцiї, тестування та розгортання. Іл.: 2. Табл.: 2.Бібліогр.: 37 назв.

UDC 681.03

Component programming methods and means / Grishchenko V.N., Lavrishcheva E.M. // Kibernetika i sistemny analiz. - 2003. - N 1. -Р. 39-55.

The paper considers ways of programming development and means of its automation under the supervision of E.L. Yushchenko Fundamental component programming entities are defined, i.e., component, component model, framework, integration components method, testing and deployment. Figs: 2. Tabl.: 2. Refs: 37 titles.

УДК 519.6

Оптимальне керування системою, що описується гіперболічнимрівнянням з умовами спряження / Сергієнко І.В., Дейнека В.С. // Кибернетика и системный анализ. - 2003. - № 1. - С. 55-74.

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

UDC 519.6

Optimal system control described by a hyperbolic equation with conjugation conditions / Sergienko I.V., Dejneka V.S. // Kibernetika i sistemny analiz. - 2003. - N 1. - P. 55-74.

The paper considers new problems of optimal control of distributed systems described by boundary-value problems for a hyperbolic equation with conjugation conditions and a quadratic cost function. Unique optimal control existence theorems are proved for all the analyzed cases. Refs: 6 titles.

УДК 681.3.06

Інформаційнапідтримка повторного використання у програмній інженерії на базі UML / Бабенко Л.П. // Кибернетика и системный анализ. - 2003. - № 1. - С. 74-82.

Запропоновано концепцію інформаційноїпідтримки повторного використання у програмній інженерії, базою для якої є формалізовані вимоги на розробку компонента, концептуальна модель предметної галузі та адаптивні властивості компонентa відносно прогнозованих змін у потребах та умовах використання. Вказана тріада, якщо представити її у UML, є формалізованою базою, придатною для трансформації її у онтологію предметної галузі, яку запропоновано упорядкувати метакласифікаторами UML. Тоді пошукові образи компонент будуються як класи-спадкоємці онтології, яка розглядається як абстрактний клас. Іл.: 1. Бібліогр.: 10 назв.

UDC 681.3.06

An information support of reuse in software engineering based on UML / Babenko L.P. // Kibernetika i sistemny analiz. - 2003. - N 1. - P. 74-82.

A concept of information support for reuse is proposed. It is based on component requirement analysis, a conceptual domain model and adaptive properties of components. Such triad, defined in UML, is used as a formalised base, suitable for transforming it into domain ontology. It seems reasonable to order the latter by UML metaclassifiers. Then, a search image of a component may be constructed and understood as a subclass of ontology treated as an abstract class. Fig.: 1. Refs: 10 titles.

УДК 681.3

Структурний аналiз i синтез маршрутних схем для задач Macro Mining / Перевозчикова О.Л., Тульчинський В.Г. // Кибернетика и системный анализ. - 2003. - № 1. - C . 82-95.

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

UDC 681.3

Structural analysis and synthesis of route schemes for Macro Mining / Perevozchikova O.L., Tulchinsky V.G. // Kibernetika i sistemny analiz. - 2003. - N 1. -Р. 82-95.

A route scheme is considered as a computation model based on concatenation of a postscript grammar to its paired context-free one. The proposed model supports analysis of route scheme correctness and optimality. It provides route scheme structure synthesis for a goal parameter estimation based on a set of modules corresponding to local patterns. An estimation algorithm can apply all available data although local patterns are obtained by training on low-dimension joins of small fragments of a database or data warehouse. Refs: 8 titles.

УДК 681.3.06

Генетичні алгоритми та їх використання для розв'язання задачі складання розкладу / Глібовець М. М., Медвідь С. О. // Кибернетика и системный анализ . - 2003. - № 1. - С . 95-108.

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

UDC 681.3.06

Genetic algorithms used to solve a scheduling problem / Glibovets N.,N. Medvid S.A. // Kibernetika i sistemny analiz. - 2003. - N 1. - P. 95-108.

A general description for genetic algorithms is given. An optimal scheduling problem is examined from the viewpoint of real needs of a modern university. A solution, based on a genetic algorithm, is proposed for the problem. The genetic algorithm implementations are reviewed and their convergence rate and quality are analyzed. Figs: 4. Refs: 18 titles.

УДК 519.716.35

Про клас функцій, обчислених за допомогою індексних граматик / Лісовик Л.П., Карнаух Т.О. // Кибернетика и системный анализ. - 2003. - № 1. - С. 108-115.

Дослiджуються класи функцiй IGF та IGF0 - функцiй обчислюваних i абсолютно обчислюваних за допомогою iндексних граматик спецiального виду. Для класуIGF0 показано, що вiн спiвпада з класом строго зростаючих функцiй зN0вN+, що можуть бути заданi системами лiнiйних рекурентних спiввiдношень з натуральними коефiцiєнтами, та замкнений вiдносно операцiй додавання, сумування, множення, додавання натуральної константидо аргументу чи до результату. Бібліогр.: 6 назв.

UDC 519.716.35

Function class computableby index grammars / Lisovik L.P., Karnaukh T.A. // Kibernetika i sistemny analiz. - 2003. - N 1. - P. 108-115.

The paper investigates the classes of IGF and IGF0 functions that can be computed by means of special-type index grammars. It is shown that the IGF 0class coincides with a class of all strictly increasing functions of a natural argument, assigned by a set of linear recurrence relations with natural coefficients and is closed under summation, multiplication, series summation, adding natural number to argument or to a result. Refs: 6 titles.

УДК 51.7.11, 681.3.06

Алгебри еквітонних предикатівта їх застосування / Нiкiтченко М.С. // Кибернетика и системный анализ. - 2003. - № 1. - С. 115-133.

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

UDC 51.7.11, 681.3.06

Equitone predicate algebras and their applications / Nikitchenko N.S. // Kibernetika i sistemny analiz. - 2003. - N 1. - P. 115-133.

Predicates, which preserve their values on larger (extended) data, are called equitones.An algebra of such predicates is constructed, a system of its generators is determined, and a complete system of transformations of identities is defined. The obtained results are applied for construction and investigation of complete classes of different-type compositions and levels of abstractions that are used in logics of partial predicates. Fig.: 1. Refs: 13 titles.

УДК 681.3:511:519.4

Про деякі спільні контексти теорії чисел та гармонічного аналізу / Глазунов М. М., Капітонова Ю. В. // Кибернетика и системный анализ . - 2003. - № 1. - С . 134-147.

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

UDC 681.3:511:519.4

On some common contexts of number theory and harmonic analysis / GIazunov N.M. , Kapitonova Yu.V. // Kibernetika i sistemny analiz. - 2003. - N 1. - P. 134-147.

Some common contexts of harmonic analysis and number theory are considered. Elements of harmonic analysis in contexts of Riemann integrals, improper integrals, finite prime fields and finite abelian groups are reviewed. Contexts ofsymmetric properties of functions and measure theory are in brief considered. Applications of methods and results from the contexts to some problems of number theory are given. Refs: 20 titles.

УДК 681.3.06

Розвиток програмного забезпечення. Історичні перспективи / Георгіаду Е. // Кибернетика и системный анализ. - 2003. - № 1. - С. 147-166.

Наведено історичний огляд спроб подолати кризу у розвитку програмного забезпечення. Зокрема відслідковується розвиток моделей життєвого циклу та розвитку інформаційних систем за останні сорок років. Досліджується значення вимірювань та окреслюється стан розробок з удосконаленням програмного забезпечення. Іл.: 15. Табл.: 1. Бібліогр.: 73 назви.

UDC 681.3.06

Software process and product improvement: a historical perspective / Georgiadou Е . // Kibernetika i sistemny analiz. - 2001. - N 6. - P. 147-166.

In this paper, we present a historical overview of significant attempts to get over the software crisis. In particular, we trace the development of lifecycle models and information systems development methodologies in the last four decades. Finally, we explore the role of measurement and outline current and future work leading to process and product improvement. Figs: 15. Tabl.: 1. Refs.: 73 titles.

УДК 681.3.06

Модифікація методу IOTA для неієрархічних типів / Вінник В.Ю. // Кибернетика и системный анализ. - 2003. - № 1. - С. 167-176.

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

UDC 681.3.06

Мodifying IOTA method for non-hierarchical types / Vinnik V.Yu. //Kibernetika i sistemny analiz. - 2003. - N 1. - P. 167-176.

A modification of IOTA method is proposed for a formal specification and verification of abstract data types. This modification is based on hierarchization of a non-hierarchical set of types, i.e, on building of an infinite hierarchical set of their subsets that allowsto use an induction method. Figs: 2. Refs: 7 titles.

УДК 680.03.1

Про просторово-часову ефективність цифрових дерев з адаптивним багаторозрядним гілкуванням / Різник Ю.О. // Кибернетика и системный анализ. - 2003. - № 1. - С. 177-188.

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

UDC 680.03.1

On a time-space efficiency of trees with an adaptive multi-digit branching / Reznik Yu.A. / Kibernetika i sistemny analiz. - 2003. - N 1. - P. 177-188.

Parameters of a time-space efficiency and sparseness of nodes in trees with adaptive multi-digit branching are studied. Both precise and asymptotic expressions, describing average behaviors of these parameters in a memory less model, are obtained. These expressions are used to establish a connection between parameters.This results in conditions of time-space optimality of trees constructed with the use of Nilsson and Tikkanen algorithm. Figs: 4. Refs: 26 titles.