УДК 001.8:81,322.2-161.1

Евристичні алгоритми для визначення канонічних форм і граматичних характеристик слів / Анісімов А.В., Романік А.М., Тарануха В.Ю. // Кибернетика и системный анализ. - 2004. - № 2. - С. 3-14.

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

UDC 001.8:81,322.2-161.1

Heuristic algorithms used to identify canonic forms and grammar categories of words / Anisimov A.V., Romanic A.N., Taranukha V.Yu. // Kibernetika i sistemny analiz. - 2004. - N 2. - P. 3-14.

Algorithms are developed in order to identify canonic forms and grammar categories both of individual and text vocabulary words. Algorithms are proved to be highly efficient. Identification precision directly depends upon a text length. Figs: 4. Tabl.: 6. Refs: 6 titles.

УДК 519.716.35

Структурованi машини Тьюрiнга / Лiсовик Л.П. // Кибернетика и системный анализ. - 2004. - № 2. - С. 15-24.

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

UDC 519.716.35

Structurized Turing machines / Lisovik L.P. // Kibernetika i sistemny analiz. - 2004. - N 2. - P. 15-24.

The notion of structurized Turing machine is introduced. It is shown that every Turing machine is equivalent to some structurized Turing machine. Various precisions of structurazibility task are considered and, in particular, such ones that do not admit extension of a work alphabet. Refs: 7 titles.

УДК 519.1

Про відображення просторiв фiгур та систем цих просторiв / Бурдюк В.Я. // Кибернетика и системный анализ. - 2004. - № 2. - C. 24-44.

Розглянуто становлення змістовної теорії просторів фігур. Запропоновано, зокрема, цікаві та природні узагальнення таких фундаментальних математичних понять, як неперервне та рівномірно неперервне відображення. Бібліогр.: 11 назв.

UDC 519.1

On mappings of figure spaces and space systems / Burdyuk V.Ya. // Kibernetika i systemny analiz. - 2004. - N 2. - Р. 24-44.

Foundations of the profound theory of such spaces are considered. Especially interesting and natural generalizations of such fundamental mathematical concepts as continuous map and uniform continuity are proposed. Refs: 11 titles.

УДК 519.854

Розпаралелювання процесу оптимізації для задач дискретного програмування / Сергієнко І.В., Шило В.П., Рощин В.О. // Кибернетика и системный анализ. - 2004. - № 2. - С. 45-52.

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

UDC 519.854

Parallelization of an optimization process for discrete programming problems / Sergienko I.V., Shylo V.P., Roshchyn V.A. // Kibernetika i sistemny analiz. - 2004. - № 2. - P. 45-52.

Parallelization of calculations is considered when discrete optimization problems are solved. A version of parallelization of copies of an algorithm is proposed and investigated. The computational experiment results are given. Figs: 6. Refs: 11 titles.

УДК 517.95:519.86

Про один підхід до математичного моделювання некоректних задач динаміки систем з розподіленими параметрами / Скопецький В.В., Стоян В.А. // Кибернетика и системный анализ. - 2004. - № 2. - С. 53-63.

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

UDC 517.95:519.86

An approach to mathematical modeling for non-correct problems of dynamical systems with distributed parameters / Skopetskii V.V., Stoyan V.A. // Kibernetika i sistemny analiz. - 2004. - N 2. - P. 53-63.

The paper proposes a methodology used to mathematically model a state of a dynamic system with distributed parameters in the presence of incompletes of data about their initial boundary conditions. Modeling accuracy and uniqueness conditions are stated. An algorithm is also proposed that re-calculates modeling result under changes in a quantity of discrete sights on initial boundary states of a system and of point modeling effects directed to it. Refs: 8 titles.

УДК 519.21

Аналiз експоненцiйної стiйкостi лiнiйного стохастичного осцилятора при малих дифузiйних збуреннях / Роголь С.Л., Ясинський В.К. // Кибернетика и системный анализ. - 2004. - № 2. - С. 63-72.

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

UDC 519.21

Analysis of exponential stability of the linear stochastic oscillator with small diffusion disturbances / Rogol S.L., Yasinsky V.K. // Kibernetika i sistemny analiz. - 2004. - N 2. - P. 63-72.

The necessary and sufficient conditions of exponential stability of the stochastic oscillator in the mean square are obtained on small diffusion disturbances. Refs: 13 titles.

УДК 519.711

Означення верхньої межі спектральної норми випадкової матриці та її використання відносно діагностики фільтра Калмана / Гаджиєв Ч.М. // Кибернетика и системный анализ. - 2004. - № 2. - С. 72-80.

Знайдено верхню надійну межу для спектральної норми випадкової матриці , яка складається із нормально розподільних випадкових величин з нульовим математичним сподіванням. На основі одержаних теоретичних результатів запропоновано підхід до динамічного діагностування фільтра Калмана відносно обновлюючої послідовності. Іл.: 3. Бібліогр.: 10 назв.

UDC 519.711

Finding an upper limit for a spectral norm of a random matrix and using it for diagnosis of Kalman filter / Gadzhiev Ch.M. // Kibernetika i sistemny analiz. - 2004. - N 2. - P. 72-80.

The paper finds an upper confidence limit for a spectral norm of a random matrix that comprises normally distributed random variables with zero mathematical expectation. On the basis of the obtained theoretical results, an approach is proposed for dynamic diagnosis of Kalman filter via an innovation sequence. Figs: 3. Refs: 10 titles.

УДК 517.3

Про похідні, інтеграли ненатурального порядку та про один клас лінійних диференціальних рівнянь з ненатуральними похідними / Поляк С.С. // Кибернетика и системный анализ. - 2004. - № 2. - С. 80-91.

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

UDC 517.3

Derivatives, unnatural-order integrals, and a class of linear differential eguations with unnatural derivatives / Polyak S.S. // Kibernetika i sistemny analiz. - 2004. - N 2. - P. 80-91.

The paper considers some features possessed by operators of unnatural differentiation and integration as for non-commutativity of their multiplication in the general case. One possible approach is developed along with an appatus used to find solutions to some class of linear differential equations with unnatural derivatives. The relation between solutions to such equations and ordinary differential ones is pointed to. Refs: 3 titles.

УДК 519.74

Інваріанти часових мереж Петрі / Зайцев Д.А. // Кибернетика и системный анализ. - 2004. - № 2. - С. 92-106.

Побудовано лінійне фундаментальне рівняння часової мережі Петрі. Введено повні та часткові інваріанти стану та поведінки часової мережі Петрі. Досліджено властивості інваріантних мереж. Показано взаємозв'язок повних та часткових інваріантів. Розглянуто приклади дослідження мережевих моделей виробничих систем та процесів. Іл.: 3. Табл.: 2. Бібліогр.: 10 назв.

UDC 519.74

Invariants of timed Petri nets / Zaitsev D.A. // Kibernetika i sistemny analiz. - 2004. - N 2. - P. 92-106.

A linear fundamental equation for a timed Petri net is constructed. Full and partial invariants of a state and behavior of a timed Petri net are introduced. Properties of invariant nets are investigated. Interrelations of full and partial invariants are explained. Examples of analysis for net models of production systems and processes are described. Figs: 3. Tabl.: 2. Refs: 10 titles.

УДК 519.872:621.321.1

Підхід фазового укрупнення для оптимізації стратегій доступу з витісненням у мережах комутації пакетів / Меліков А.З., Фаттахова М.І., Нагієв Ф.Н. // Кибернетика и системный анализ. - 2004. - № 2. - С. 107-115.

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

UDC 519.872:621.321.1

State space merging approach to optimization of push-out strategies in a packet switching networks / Melikov A.Z., Fattahova M.I., Nagiyev F.N. // Kibernetika i sistemny analiz. - 2004. - N 2. - P. 107-115.

A new approach to optimization of push-out strategies in a packet switching networks is proposed. It based on principles of theory of state space merging of stochastic system. The explicit formulae for calculate the quality of service parameters of packets of different types is obtained and algorithms to their optimization was developed. The results of appropriate numerical experiments are shown. Tabl.: 3. Refs: 14 titles.

УДК 519.86

Побудова оптимального в середньоквардратичному хеджу за умов обмеженого інвестиційного капіталу / Бондаренко Ю.В. // Кибернетика и системный анализ. - 2004. - № 2. - C. 116-123.

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

UDC 519.86

Making up an optimal mean-variance hedge under a limited investment capital / Bondarenko Yu.V. // Kibernetika i sistemny analiz. - 2004. - N 2. - Р. 116-123.

The paper an approach to solution of a mean-variance hedging problem with limitations of an initial investment capital. An initial problem is transformed into an equivalent one, corresponding to the martingale case, by means of change of numеraire. It is shown that an optimal hedge may be achieved where maximally possible investment recourses are used. Refs: 10 titles.

УДК 517.977.5

Задачі керованості для диференціальних рівнянь динаміки Гомперца / Наконечний О.Г., Марценюк В.П. // Кибернетика и системный анализ. - 2004. - № 2. - С. 123-133.

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

UDC 517.977.5

Problems of controllability for differential Gompertzian dynamics equations / Nakonechny A.G., Marzenyuk V.P. // Kibernetika i sistemny analiz. - 2004. - N 2. - P. 123-133.

There are considered control problems in a differential Gompertzian dynamics equation. Controllability conditions in nonstationary case are stated. A general form of a controller for a stationary system and of a scalar controller in a generalized function class is optained. Criteria for different cases of convex closed control sets are presented. Fig.: 1. Refs: 14 titles.

УДК 519.872

Оцiнка стацiонарної ймовірності втрати вимоги в системі масового обслуговування з рекурентними потоками вимог / Шумська А.А. // Кибеpнетика и системний анализ. - 2004. - № 2. - С. 133-145

Розглядається многоканальна система обслуговування з рекурентними потоками вимог. Запропоновано метод прискореного моделювання стаціонарної ймовірності втрати вимоги, що базується на методі істотної вибірки та використовує центральну граничну теорему. Оцінки є асимптотично незміщеними. Високу точність оцінок демонструють два приклади. Табл.: 4. Бiблiогp.: 22 назви.

UDC 519.872

Evaluation of steady-state loss probability in queueing system with recurrent input flows / Shumskaya A.A. // Kibernetika i sistemny analiz. - 2004. - N 2. - P. 133-145

A multiserver queueing system with recurrent input flows is considered. A fast simulation method is proposed for evaluation steady-state loss probability. It is based on the joint use of importance sampling with the central limit theorem. Estimates are asymptotically unbiased. Two examples demonstrate a high accuracy of estimates. Tabl.: 4. Refs: 22 titles.

УДК 519.21

Оптимальні динамічні стратегії для стохастичних моделей маркетингового комплексу просування / Война А.О. // Кибернетика и системный анализ. - 2004. - № 2. - C. 145-152.

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

UDC 519.21

Optimal dynamic strategies for stochastic models of marketing promotion mix / Voina A.A. // Kibernetika i sistemny analiz. - 2004. - N 2. - Р. 145-152.

Stochastic models and methods of marketing promotion mix that take into account the possibility of changing measure schedules are considered. Solutions within the theory of controlled stochastic processes and an algorithm of construction of optimal strategies are proposed. Refs: 7 titles.

УДК 519.853

Узагальнений розв'язок для інтерактивної процедури / Зикіна А.В. // Кибернетика и системный анализ. - 2004. - № 2. - С. 153-161.

Цільове програмування з використанням людино-машинних процедур розглядається як ітераційний алгоритм для знаходження узагальненого розв'язку. Бібліогр.: 4 назви.

UDC 519.853

A generalized decision for interactive operation / Zykina A.V. // Kibernetika i sistemny analiz. - 2004. - N 2. - P. 153-161.

Interactive goal programming is considered as an interactive algorithm for finding of a generalized decision. Refs: 4 titles.

УДК 621.74+681.3

Функціональний та алгоритмічний опис геометричних особливостей фасонних відливків при моделюванні процесів литва / Заславський В.А., Колодяжний В.М. // Кибернетика и системный анализ. - 2004. - № 2. - С. 161-169.

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

UDC 621.74+681.3

Functional and algorithmic description of geometric peculiarities of shape moulds for casting process modeling / Zaslawski V.A., Kolodyazhny V.M. // Kibernetika i sistemny analiz. - 2004. - N 2. - P. 161-169.

New mathematical tools and software are proposed that serve for description of shaped mould geometry and technological process peculiarities for solidification of mould founding. Mathematical tools for R-functions and atomic functions are used to improve efficiency of a software applied for technological casting process modeling. Figs: 11. Refs: 10 titles.

УДК 517.926

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

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

UDC 517.926

To problem of constracting of strong differential control models with minimum operator norm. II / Daneev A.V., Rusanov V.A. // Kibernetika i sistemny analiz. - 2004. - N 2. - P. 170-178.

In the paper it investigates the problem of existing and constracting of strong differential -models with minimum operator norm in the space of -modesl. Refs: 10 titles.

УДК 681.513

Про один підхід до оптимізації рішення задач навчання розпізнаванню образів на основі методу опорних векторів / Бабак О.В. // Кибернетика и системный анализ. - 2004. - № 2. - C. 179-185.

Описано один з можливих підходів до оптимізації рішення задач навчання розпізнаванню образів при візуалізації його результатів на основі методу опорних векторів. Іл.: 2. Бiблiогр.: 5 назв.

UDC 681.513

An approach to the problems of optimization of solution of pattern recognition on the basis of the method of support vectors / Babak O.V. // Kibernetika i sistemny analiz. - 2004. - N 2. - Р. 179-185.

The paper describes one possible approach to optimization of a solution for pattern recognition problems with its visualization result on the basis of the support vector method. Figs: 2. Refs: 5 titles.

УДК 62-50

Чисельний метод визначення власних чисел матриць довільно великої розмірності / Хиленко В.В. // Кибернетика и системный анализ. - 2004. - № 2. - С. 186-187.

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

UDC 62-50

Numerical method of determination of eigenvalues of matrices of arbitrary high dimensionality / Khylenko V.V. // Kibernetika i sistemny analiz. - 2004. - N 2. - P. 186-187.

The new numerical method of determination of eigenvalues of matrices effective under the study of rigid matrices and matrices of high dimensionality is described. The advantage of this method is that while using it the amount of calculations does not increase exponentially with the extension of the matrices dimensionality. Refs: 4 titles.