Комп'ютерні науки та інформаційні технології. – 2010. – №672

Permanent URI for this collectionhttps://ena.lpnu.ua/handle/ntb/7411

Вісник Національного університету "Львівська політехніка"

У віснику публікуються статті за результатами досліджень з актуальних питань комп’ютерних наук та інформаційних технологій, виконаних професорсько-викладацьким складом Національного університету “Львівська політехніка” та провідними вченими України в галузі проектування архітектури і компонентів комп’ютерних систем, моделювання складних об’єктів, процесів і систем та розробки і використання новітніх інформаційних технологій. Для науковців, викладачів вищих закладів освіти, інженерів, що спеціалізуються у сфері новітніх обчислювальних систем, мереж, комп’ютеризованих засобів розв’язання задач цифрового опрацювання сигналів і зображень, автоматизованого проектування та керування, а також докторантів, аспірантів та студентів старших курсів відповідних спеціальностей та електроприладобудування.

Вісник Національного університету «Львівська політехніка» : [збірник наукових праць] / Міністерство освіти і науки України, Національний університет «Львівська політехніка» – Львів : Видавництво Львівської політехніки, 2010 . – № 672: Комп’ютерні науки та інформаційні технології / відповідальний редактор Ю. М. Рашкевич. – 379 с. : іл.

Browse

Now showing 1 - 20 of 56

The extended algebra of algorithms with multiconditional elimination
(Видавництво Львівської політехніки, 2010) Ovsyak, V; Ovsyak, A
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. Вказано відомі методи інтуїтивного опису алгоритмів, якими є віртуальні машини Т’юрінга, Поста, Колмогорова, Шонгаґе, Ахо-Ульмана- Хопкрофта, а також алгоритми Маркова і Крініцкого та рекурсивні функції, засобами яких алгоритми описуються не формалізовано. Дефініцію розширеної алгебри алгоритмів подано аксіоматичним методом. Алгебра базується на операціях секвентування, багатозначного елімінування, паралелення і реверсування, а також циклічного секвентування, циклічного еліміну- вання та циклічного паралелення, які виконуються над унітермами. Розширення торкається введення операції багатозначного елімінування. Прикладом проілюстрована ефективність розширеної алгебри алгоритмів.
Алгоритм точкового сканування зі зсувом для розміщення елементів
(Видавництво Львівської політехніки, 2010) Базилевич, Р.; Черемисинова, Л.; Щерб’юк, І.
Запропоновано алгоритм розміщення для конструктивних вузлів електронної апаратури на основі точкового сканування зі зсувом елементів. Проведено експериментальні дослідження на тест-задачі Стейнберга. The placement algorithm for electronic devices by scanning and elements shifting is proposed. Experimental investigations were performed at Shteinberg test-case.
Алгоритми кластеризації робочого поля з обмеженнями для задачі комівояжера
(Видавництво Львівської політехніки, 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.
Алгоритмічні засоби роботи змінних носіїв інформації пожежно-рятувального автомобіля
(Видавництво Львівської політехніки, 2010) Павич, Н.; Рак, Т.
Запропоновано алгоритмічно-програмні засоби змінних носіїв інформації комп’ютеризованої системи підтримки пожежного-рятувального автомобіля. Розглядаються граф-схеми алгоритмів основних режимів функціонування змінних носіїв інформації. Показано доцільність практичного застосування запропонованих типів носіїв інформації. In the paper the algorithmic means of the removable mass storage devices for computerized fire-fighting vehicle support system have been proposed. The algorithms flowgraphs of the basic operating modes of the removable mass storage devices have been considered. The practical application appropriateness of the proposed mass storage devices types has been showed.
Аналіз сучасних технологій архітектурних обмірів цифровим стереофотограмметричним методом та наземним лазерним скануванням
(Видавництво Львівської політехніки, 2009) Смолій, К.
Представлен критический анализ современных технологий составления планов фасадов архитектурных памятников с помощью цифровой съемки и лазерного сканирования. Critical analysis of modern technologies for creation of plans of building facades of architectural heritages using digital and laser scanning is presented in the paper.
Аналіз методів суміщення в наборах однотипних зображень
(Видавництво Львівської політехніки, 2010) Пелешко, Д.; Ковальчук, А.; Савицький, О.; Мудрий, С.
Проаналізовано існуючі методи попередньої обробки наборів, які вирішують задачу суміщення однотипних зображень у межах одного пікселя. Побудовано їх класифікацію та визначено особливості, переваги та недоліки. There is analized existing methods of pretreatment sets that solve the centering task of similar images in pixel area. The classification of methods is created and features, advantages and disadvantages are defined.
Виділення підкласів невокалізованих приголосних у задачах сповільнення темпу мовлення
(Видавництво Львівської політехніки, 2010) Купчак, М.
Знайдено новий інформативний параметр мовного сигналу для автоматизованої класифікації підкласів невокалізованих приголосних. The new informing parameter of linguistic signal is found for the automated classification of the unvoiced consonants subclasses.
Градуювання розпізнавальної складності зображень текстових об’єктів уваги за допомогою перетворення Фур’є
(Видавництво Львівської політехніки, 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.
Динаміка дискретизованих сигналів математичної моделі KWTA-нейронної схеми
(Видавництво Львівської політехніки, 2010) Тимощук, П.
Аналізується динаміка дискретизованих сигналів математичної моделі нейронної схеми типу “K-winners-take-all” (KWTA), призначеної для ідентифікації К максимальних серед N невідомих сигналів, де N≤K<1. Аналіз здійснюють за допомогою використання відповідної енергетичної функції. Наведено результати комп’ютерного моделювання, які підтверджують теоретичні положення. Dynamics of mathematical model of discrete-time K-winners-take-all (KWTA) neural circuit that identifies K maximal among N unknown signals, where N ≤ K < 1 , is analyzed. The analysis is fulfilled by using corresponding energy function.Computer modeling results presented confirm theoretical statements.
Динаміка зміни тривалостей структурних елементів дифтонгів польської мови у різних темпах вимови.
(Видавництво Львівської політехніки, 2010) Рашкевич, Ю.; Шиманьські, З.; Фігура, Р.
Досліджено на прикладі особливого класу звуків – дифтонгів, характерних для польської мови, тривалостей звукових ділянок дифтонгів окремо для випадків прискорення та сповільнення темпу мовлення та аналіз можливості використання розроблених ФТП для задач сповільнення темпу.Investigational on the example of the special class of sounds – diphthongs, characteristic for Polish, trivalostey of voice areas of diphthongs separately for the cases of acceleration and deceleration of broadcasting rate and analysis of possibility of the use of developed FTP for the tasks of the rate deceleration.
Елементи моделювання виробничих аспектів у сфері туристичної діяльності
(Видавництво Львівської політехніки, 2010) Крап, Н.
Запропоновано методику вдосконалення виробничих аспектів туристичних послуг з врахуванням оцінки якості туристичної продукції. The method of perfection of aspects of productions of tourist services taking into account the estimation of quality of tourist products is offered.
Елементи моделювання виробничих аспектів у сфері туристичної діяльності
(Видавництво Львівської політехніки, 2010) Крап, Н.
Запропоновано методику вдосконалення виробничих аспектів туристичних послуг з врахуванням оцінки якості туристичної продукції. The method of perfection of aspects of productions of tourist services taking into account the estimation of quality of tourist products is offered.
Застосування фрактальних алгоритмів для шифрування і дешифрування зображень.
(Видавництво Львівської політехніки, 2010) Фабрі, Л.; Ковальчук, А.; Ступень, М.
Запропоновано застосування алгоритму фрактальних перетворень до шифрування і дешифрування зображень з чітко виділеними контурами.An application of fractal transformation algorithm to encrypt and decrypt image with clearly labeled contours.
Зміст до Вісника "Комп'ютерні науки та інформаційні технології"
(Видавництво Львівської політехніки, 2010)
Класифікація протоколів маршрутизації у безпровідних сенсорних мережах
(Видавництво Львівської політехніки, 2010) Кузьмін, О. В.; Мицько, О.; Грицак, В.
Наведено класифікацію протоколів маршрутизації в сенсорних мережах. Описано основні їх властивості, переваги та недоліки. In this article were described the classification routing protocols in Wireless Sensor Network. The basic properties, advantages and lacks are described.
Комп’ютерний засіб імітансного контролю об’єктів кваліметрії
(Видавництво Львівської політехніки, 2010) Походило, Є.; Плахтій, Н.
Розглянуто варіант побудови комп’ютерного вимірювального засобу для контролю об’єктів, що характеризуються багатьма параметрами. The variant of construction of computer measuring mean has been is considered. The very means controls the objects that are characterized by lots of parameters.
Конкурентні переваги проекту системи підтримки прийняття рішень та фактори ризику
(Видавництво Львівської політехніки, 2010) Верес, О.
Описано конкурентні переваги розроблення та впровадження системи підтримки прийняття рішень. Наведено критерії оцінювання і можливі фактори ризику проекту СППР. Description of competitive edges of development and introduction of the decisionmaking support system is offered in the article. Evaluation criteria and the risk factors of DSS project are resulted.
Критерій достатності процесу тестування програмного забезпечення
(Видавництво Львівської політехніки, 2010) Яковина, В.; Сенів, М.; Чабанюк, Я.; Федасюк, Д.; Хімка, У.
Побудовано нову математичну модель надійності програмного забезпечення з динамічним показником величини програмного проекту. Проведено порівняльний аналіз існуючих та розробленої моделей на реальних тестових прикладах. Здійснено формалізацію критерію достатності процесу тестування програмного забезпечення на основі запропонованої моделі. The new mathematical model for software reliability with dynamic index of software project size has been developed. The comparative analysis of existing and proposed models using real test examples has been carried out. The criterion of software testing process sufficiency has been formulated on the basis of developed model.
Математична модель задачі оптимального адаптивного управління рухом поїзда
(Видавництво Львівської політехніки, 2010) Притула, М.; Шпакович, Р.
Описано процес керованого руху, наявні ресурси і технічні обмеження, показники якості процесу управління, критерій оптимальності. Запропоновано математичну модель керованого руху, схему процесу адаптивного управління, а також наближений метод розв’язування задачі адаптивного управління рухом поїзда. This paper describes a process of controlled movement, available resources and technical limitations, indicators of quality of control process, optimality criterion. A mathematical model of controlled movement, a process of adaptive control, and approximate method of solving the problem of adaptive train control are proposed.
Математична модель зображень сцени, що містить літаки
(Видавництво Львівської політехніки, 2010) Олексів, М.
Розглянуто математичну модель зображень літаків на довільному фоні. Запропонована модель розглядає зображення як множину текстур. Враховуються як негативні природні впливи на зображення, так і особливості зображень літаків на сцені за різних умов. Модель придатна для розроблення віконних методів опрацювання згаданих зображень.In the article the mathematical model of a scene that contains images with airplanes is considered. This model treats image of a scene as a set of textures. It takes into consideration negative natural influences and particularities of airplane representations on a scene in different conditions. The model is suitable for mentioned images digital image processing.