УДК 004.4’232

V. Ovsyak1,2, A. Ovsyak3

1Department of Computer Science, Ukrainian University of Printing
2Department of Electrical, Control and Computer Engineering,
Opole University of Technology, Poland
3Kyiv National University of Culture and Arts, The L’vov Campus

THE EXTENDED ALGEBRA OF ALGORITHMS
WITH MULTICONDITIONAL ELIMINATION

© Ovsyak V., Ovsyak A., 2010

The existing, intuitive computation models, that is the virtual machines of Turing, Post, Kolmogorov, Schönhage, Aho-Ullman-Hopcroft as well as the algorithms of Markov and Krinitski, and the recursive functions, all lack precise, mathematical formulation. Consequently, an algebra of algorithms is defined using the axiomatic method. The algebra is based on the operations of sequencing, elimination, paralleling and reversing as well as cyclic sequencing, cyclic elimination and cyclic paralleling, all of them performed on the so-called uniterms. A useful extension is offered in terms of multiconditional elimination. An example illustrates the usefulness of the algebra of algorithms.
Keywords: model, operation, algorithm, definition.

Вказано відомі методи інтуїтивного опису алгоритмів, якими є віртуальні машини Т’юрінга, Поста, Колмогорова, Шонгаґе, Ахо-Ульмана-Хопкрофта, а також алгоритми Маркова і Крініцкого та рекурсивні функції, засобами яких алгоритми описуються не формалізовано. Дефініцію розширеної алгебри алгоритмів подано аксіоматичним методом. Алгебра базується на операціях секвентування, багатозначного елімінування, паралелення і реверсування, а також циклічного секвентування, циклічного елімінування та циклічного паралелення, які виконуються над унітермами. Розширення торкається введення операції багатозначного елімінування. Прикладом проілюстрована ефективність розширеної алгебри алгоритмів.
Ключові слова: модель, операція, алгоритм, визначення.

Кількість посилань - 22

УДК 519.16

Р. Базилевич, Р. Кутельмах, Б. Кузь

Національний університет “Львівська політехніка”,
кафедра програмного забезпечення

Алгоритми кластеризації робочого поля з обмеженнями для задачі комівояжера

© Базилевич Р., Кутельмах Р., Кузь Б., 2010

Описано три підходи до кластеризації робочого поля для задачі комівояжера, що забезпечує поділ множини точок на частини з заданими обмеженнями. Один із відомих алгоритмів використовується для отримання розв’язків в кожному кластері з подальшим зшиванням часткових розв’язків.
Ключові слова: задача комівояжера, кластеризація.

Article describes three approaches to clustering set of points of TSP into subsets with given constraints. One of the well-known basic algorithms is used for solutions at every cluster with further joining of partial solutions.
Keywords: traveling salesman problem, clustering.

Кількість посилань - 6

УДК 004.932.2

О. Березький

Тернопільський національний економічний університет

МЕТОД І АЛГОРИТМИ АНАЛІЗУ ПЛОСКИХ СИМЕТРИЧНИХ ЗОБРАЖЕНЬ У РАСТРОВІЙ ФОРМІ

© Березький О., 2010

Запропоновано метод і алгоритми аналізу симетричних зображень у растровій формі. Наведено результати аналізу симетричних зображень-орнаментів.
Ключові слова: аналіз, симетричні зображення, алгоритми, метод, зображення-орнамент.

The method and algorithms analysis of symmetric images in a raster form are suggested in the article. The results of analysis of symmetric image-ornaments are described.
Keywords: analysis, symmetric images, algorithms, method, image-ornaments.

Кількість посилань - 9

УДК 622.69.4

І. Боярин, Р. Боровий, О. Гринів, Н. Притула, В. Ямнич

Центр математичного моделювання ІППММ ім. Я.С. Підстригача НАН України,
ТзОВ”Математичний центр”

ОПТИМІЗАЦІЯ РОБОТИ БАГАТОЦЕХОВИХ КОМПРЕСОРНИХ СТАНЦІЙ З РІЗНОТИПНИМИ ГАЗОПЕРЕКАЧУВАЛЬНИМИ АГРЕГАТАМИ

© Боярин І., Боровий Р., Гринів О., Притула Н., Ямнич В., 2010

Запропоновано математичну модель і алгоритми розрахунку параметрів роботи газоперекачуючих агрегатів багатоцехових компресорних станцій. Розроблено алгоритми ідентифікації параметрів газоперекачувальних агрегатів і алгоритми оптимізації режимних параметрів за критерієм мінімуму паливного газу. Результати роботи апробовано на реальних даних.

The research introduces the mathematical model and algorithms of operational calculation of gascompressor units in multiworkshop compressor plants. The authors engineered the algorithms of gascompressor units’ parameters identification and mode parameters searching algorithm, which gains the minimal fuel gas. Outcome of the research is approved on actual data.

Кількість посилань - 4

УДК.004.056.3

Є. Ваврук, В. Грос

Національний університет “Львівська політехніка”,
кафедра електронних обчислювальних машин

ОРГАНІЗАЦІЯ МОДУЛІВ ВІДНОВЛЕННЯ ВІДМОВОСТІЙКИХ СИСТЕМ ОПРАЦЮВАННЯ СИГНАЛІВ

© Ваврук Є., Грос В., 2010

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

Ways based on the analysis of mechanisms to ensure reliability of software were suggested to improve the distributed recovery blocks. Construction systems features were detected using the chosen mechanism. Analytical expressions for evaluating the effectiveness were proposed. Effectiveness of the mechanism of the distributed recovery blocks was investigated.
Keywords: system, alarm, distributed modules, recovery

Кількість посилань - 6

УДК 004.738.5

В. Висоцька

Національний університет “Львівська політехніка”,
кафедра інформаційних систем та мереж

МАТЕМАТИЧНІ МОДЕЛІ ІНФОРМАЦІЙНИХ ПОТОКІВ У СИСТЕМАХ ЕЛЕКТРОННОЇ КОНТЕНТ-КОМЕРЦІЇ

 Висоцька В., 2010

Проаналізовано основні проблеми електронної комерції та функціональних сервісів керування контентом. Запропоновано методи вирішення цих проблем.
Ключові слова: контент, функціональні сервіси керування контентом.

In the given article main problems of electronically commercial and content management interoperability services are analyzed. New methods for solution of discussed problems are proposed.
Keywords: content, content management interoperability services.

Кількість посилань - 5

УДК 004.383

В. Глухов, Р. Еліас

Національний університет “Львівська політехніка”,
кафедра електронних обчислювальних машин

ОБЧИСЛЕННЯ ОБЕРНЕНОГО ЕЛЕМЕНТА В НОРМАЛЬНОМУ БАЗИСІ ПОЛІВ ГАЛУА GF(2m) З ВИКОРИСТАННЯМ ПАРАЛЕЛЬНОГО ПОМНОЖУВАЧА

© Глухов В., Еліас Р., 2010

Описано апаратне вдосконалення методу Іто–Тічей–Цудзії знаходження оберненого елемента поля Галуа GF(2m) в оптимальному нормальному базисі з використанням паралельного помножувача. Вдосконалення полягає у виконанні піднесення елемента до степеня 2i шляхом циклічного зсуву елемента на i розрядів одночасно. Наслідком вдосконалення є зменшення часу виконання послідовності операцій піднесення до квадрата, що при використанні паралельних помножувачів скорочує час знаходження оберненого елемента приблизно в 10 разів.
Ключові слова: обернений елемент, поля Галуа GF(2m), метод Іто–Тічей–Цудзії, паралельний помножувач.

The paper describes Itoh, Teechai, and Tsujii method of GF(2m) inverse element calculation improvement in optimal normal base in case of parallel multiplier use. The improvement minimizes squaring time that reduces inverse element calculation time approximately to 10 times.
Keywords: inverse element, Galois field GF(2m), Itoh, Teechai, and Tsujii method, parallel multiplier.

Кількість посилань - 9

УДК [004.451]:621.7.01

Ю. Грицюк, І. Малець, Т. Рак

Львівський державний університет безпеки життєдіяльності

МАТЕМАТИЧНІ МОДЕЛІ УПРАВЛІННЯ ПОРТФЕЛЯМИ ПРОЕКТІВ З УДОСКОНАЛЕННЯ СИСТЕМИ БЕЗПЕКИ ЖИТТЄДІЯЛЬНОСТІ

© Грицюк Ю., Малець І., Рак Т., 2010

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

Typical mathematical case of projects brief-cases frames are resulted from an improvement systems of vital activity safety (VAS), their essence consists in the choice of such optimum structure of measures, its realization great represented on its efficiency on condition of the limited volume of the dedicated resources for the separate taken territory or their group, and also whole region. Described that a results of numerical experiment in many cases not only coincide with the results of the real allocation of financial resources, but in many cases are considerably better from them. For comparison those indexes which are really used in structural subdivisions of VAS and received in these calculations.
Keywords: mathematical modeling, project portfolio, methods of combinatorial optimization.

Кількість посилань - 8

УДК 007;519.7

Г. Дмитрів, *Р. Камінський

Львівський коледж ДУІКТ,
*ПВНЗ Буковинський університет,
кафедра комп’ютерних систем і технологій

ГРАДУЮВАННЯ РОЗПІЗНАВАЛЬНОЇ СКЛАДНОСТІ ЗОБРАЖЕНЬ ТЕСТОВИХ ОБ’ЄКТІВ УВАГИ ЗА ДОПОМОГОЮ ПЕРЕТВОРЕННЯ ФУР’Є

© Дмитрів Г., Камінський Р., 2010

Наведено технологію побудови шкали розпізнавальної складності зображень об’єктів уваги, які локалізують на зображеннях-тестах. Технологія ґрунтується на перетвореннях Фур’є, є експериментально підтверджена і може використовуватися для тестового контролю систем розпізнавання візуальної інформації.
Ключові слова: градуювання, зображення, складність, перетворення Фур’є.

The article presents the technology of the scale construction of complexity recognization images of target objects that on Localizing Image-tests. This technology is based on Fourier transform, is experimentally verified and can be used to test control systems of recognition of visual information.
Keywords: calibration, image complexity, Fourier transformation.

Кількість посилань - 12

УДК 004.7:519.2

О. Карпухін, Л. Кіріченко, Т. Радівілова

Харківський національний університет радіоелектроніки

ПОРІВНЯЛЬНИЙ АНАЛІЗ АЛГОРИТМІВ РОБОТИ ТСР- ПРОТОКОЛУ ПРИ САМОПОДІБНОМУ ТРАФІКУ У ВУЗЬКОМУ МІСЦІ МЕРЕЖІ

© Карпухін О., Кіріченко Л., Радівілова Т., 2010

Здійснено імітаційне моделювання роботи мережі при самоподібному трафіку і наявності вузького місця в системі. Проведено порівняльний аналіз різновидів протоколів сімейства TCP (NewReno, Reno, Tahoe і ін.) і проаналізовано різні алгоритми роботи цих протоколів. Показано, що найоптимальнішим є використання протоколу ТСР Vegas.
Ключові слова – протоколи сімейства TCP, вузьке місце, самоподібний трафік, вікно перевантаження.

In this paper imitating modelling of a network work is spent at the self-similar traffic and bottleneck presence in system. The comparative analysis of reports versions of family TCP (NewReno, Reno, Tahoe, etc.) is carried out and various algorithms of given reports work are analysed. It is shown that the optimal is use of report ТСР Vegas.
Keywords – TCP-protocol, , bottleneck, self-similar traffic, congestion window.

Кількість посилань - 5

УДК 004.825; 004.891

П. Кравець
Національний університет “Львівська політехніка”,
кафедра інформаційних систем та мереж

Модель автоматизованого керування
на основі експертних знань

© Кравець П., 2010
Досліджено проблему автоматизованого керування в умовах невизначеності математичної моделі системи. Запропоновано структуру системи керування на основі моделі інтелектуального агента з нечіткою логікою. Вироблення керуючих дій виконано з урахуванням експертних знань про систему, сформульованих у вигляді правил нечіткого логічного виведення рішень. Розроблено алгоритмічне та програмне забез¬печення системи керування з нечіткою логікою. Виконано комп’ютерне моделювання процесу нечіткого керування лінійною динамічною системою, проаналізовано отримані результати та подано рекомендації щодо практичної реалізації системи.
Ключові слова: автоматизоване керування, умови невизначеності , інтелектуальний агент, експертні знання, нечітке логічне виведення.

The problem of automated control in the uncertainty conditions of mathematical model of system is investigated. The structure of a control system on the basis of the intellectual agent model with fuzzy logic is offered. Construction of operating actions taking into account expert knowledge of system is executed. Expert knowledge in the form of rules of a fuzzy logic decision-making is formulated. Algorithmic and the software of a control system with fuzzy logic are developed. Computer modelling of fuzzy control process by linear dynamic system is executed, results of work are analysed and recommendations about practical realisation of system are presented.
Keywords: automated control, uncertainty conditions, intellectual agent, expert knowledge, fuzzy logic inference.

Кількість посилань - 8

УДК 681.3.06(075)

О. Кузьмін, О. Мицько, В. Грицак

Національний університет “Львівська політехніка”,
кафедра автоматизованих систем управління

КЛАСИФІКАЦІЯ ПРОТОКОЛІВ МАРШРУТИЗАЦІЇ У БЕЗПРОВІДНИХ СЕНСОРНИХ МЕРЕЖАХ

© Кузьмін О., Мицько О., Грицак В., 2010

Наведено класифікацію протоколів маршрутизації в сенсорних мережах. Описано основні їх властивості, переваги та недоліки.

In this article were described the classification routing protocols in Wireless Sensor Network. The basic properties, advantages and lacks are described.

Кількість посилань - 6

УДК 004.932

А. Мельник, Н. Козак

Національний університет “Львівська політехніка”,
кафедра електронних обчислювальних машин

ОРГАНІЗАЦІЯ ХМАРНИХ ОБЧИСЛЕНЬ НА БАЗІ МАСИВУ ПРОГРАМОВАНИХ КОМІРОК ЛОГІКИ

© Мельник А., Козак Н., 2010

Запропоновано нову хмарну модель обчислень – ПЛІС як послуга, що покликана забезпечити масове використання ПЛІС для організації високопродуктивних обчислень.
Ключові слова: хмарні обчислення, ПЛІС, HDL-код, ПЛІС як послуга.

New cloud computing model – FPGA as a Service is offered, that called to provide more mass use of FPGA for high-performance computing.
Keywords: Cloud computing, FPGA, HDL-code, FPGA as a Service.

Кількість посилань - 7

УДК 004:37

К. Михайлов, І. Михелєв, Н. Шаховська

Національний університет “Львівська політехніка”,
кафедра інформаційних систем та мереж

ОСОБЛИВОСТІ УПРАВЛІННЯ ПРОГРАМОЮ РОЗВИТКУ СИСТЕМИ ВИЩОЇ ОСВІТИ РЕГІОНУ

© Михайлов К., Михелєв І., Шаховська Н., 2010

Побудовано модель управління програмою розвитку системи вищої освіти регіону та розраховано оптимальну кількість випускників ВНЗ.
Ключові слова: система, вища освіта, ієрархія, керівне рішення.

In the article a model of system development of higher education of region is built and the optimum amount of graduating students of Institutes is expected.
Ключові слова: система, вища освіта, ієрархія, керівне рішення.

Кількість посилань - 10