Комп'ютерні науки та інформаційні технології. – 2009. – №650
Permanent URI for this collectionhttps://ena.lpnu.ua/handle/ntb/2774
Вісник Національного університету "Львівська політехніка"
У віснику опубліковано статті за результатами досліджень з актуальних питань комп’ютерної інженерії та інформаційних технологій, виконаних професорсько-викладацьким складом Національного університету “Львівська політехніка” та провідними вченими західного регіону України в галузі проектування архітектур і компонентів комп’ютерних систем, моделювання складних об’єктів, процесів і систем та розробки і використання новітніх інформаційних технологій. Для науковців, викладачів вищих закладів освіти, інженерів, що спеціалізуються у сфері новітніх обчислювальних систем, мереж, комп’ютеризованих засобів розв’язання задач цифрового опрацювання сигналів, автоматизованого проектування та керування, а також докторантів, аспірантів та студентів старших курсів відповідних спеціальностей та електроприладобудування.
Вісник Національного університету «Львівська політехніка» : [збірник наукових праць] / Міністерство освіти і науки України, Національний університет «Львівська політехніка» – Львів : Видавництво Національного університету «Львівська політехніка», 2009 . – № 650: Комп’ютерні науки та інформаційні технології / відповідальний редактор Ю. М. Рашкевич. – 279 с. : іл.
Browse
Item Елементи математичного моделювання гідробіологічних характеристик водних екосистем(Видавництво Національного університету "Львівська політехніка", 2009) Луців, Н.; Юзевич, В.Запропоновано рекомендації щодо моделювання гідробіологічних процесів в озерах з урахуванням умов взаємодії з водним середовищем. Offered the recommendation for the modelling of hydrobiological processes in lakes taking into account the terms of co-operating with a water environment.Item Модель мультиагентной системы оценивания затрат на обработку объектов бизнес-процессов в распределенной компьютерной сети(Видавництво Національного університету "Львівська політехніка", 2009) Чалый, С.; Макрушан, И.Представлена модель мультиагентной системы оценивания затрат на обработку объектов бизнес-процессов в компьютерной сети. Основными составляющими мульти-агентной системы являются интеллектуальные программные агенты, взаимодействующие на основе логических правил для достижения локальных и глобальных целей. Представлена структура ролей и логические правила трех типов: выбора ролей агентов, функционирования агента, взаимодействия агентов. The article provides the model of a multiagent system of cost evaluation for objects processing of business - processes in network. The main components of a multiagent system are intellectual soft agents that interact on basis of logic rules for local and global aims achieving. The structure of roles and logic rules of the types - the choice of agent roles, agents functioning, agents interaction, - has been provided.Item Алгоритми послідовного пакування сильнозв’язних частин схем з заданими обмеженнями(Видавництво Національного університету "Львівська політехніка", 2009) Базилевич, Р.; Ждан, А.Розглянуто декілька стратегій та алгоритмів послідовного пакування схем із заданими обмеженнями. Розкрито особливості різних стратегій пакування схем із заданими обмеженнями. A few strategies and algorithms line packing of charts with the set limitations. The features of different strategies of packing of charts are exposed with the set limitations.Item Адаптивний алгоритм ієрархічно розподіленого розв’язування СЛАР великої розмірності(Видавництво Національного університету "Львівська політехніка", 2009) Федасюк, Д.; Сердюк, П.; Семчишин, Ю.У контексті систем розподілення обчислень адаптивністю називають здатність таких систем продовжувати працювати та повністю використовувати обчислювальні ресурси після зміни конфігурації мережі чи швидкодії окремих її вузлів. Предметом цього дослідження є реалізація адаптивного підходу до ієрархічно розподіленого розв’язування систем лінійних алгебраїчних рівнянь великої розмірності. У роботі сформульовано задачу адаптивного підходу, розроблено та досліджено алгоритм та програмну реалізацію адаптивного підходу. Результати серії експериментів підтвердили ефективність адаптивного підходу. In the context of the distributed computing systems, adaptability is an ability of such systems to continue functioning and fully utilizing computing resources even after changing network configuration or performance of its nodes. The subject of this study is to implement an adaptive approach to hierarchically-distributed solving of high dimensional linear algebraic equations. The problem of an adaptive approach is stated, the algorithm and the software implementation of an adaptive approach are researched and developed in the work below. The experimental results proved the effectiveness of an adaptive approach.Item Системне дослідження середовища функціонування промислового комплексу(Видавництво Національного університету "Львівська політехніка", 2009) Ткаченко, Н.Методом системного аналізу досліджено і порівняно змінене середовище функціонування промислових підприємств. Проаналізовано поняття зовнішнього середовища функціонування, визначено чинники, що впливають на діяльність підприємств. Запропоновано використання положень міжнародних стандартів ISO при реорганізації структури підприємства. The method of systematic analysis and comparison study changed environment functioning industrial enterprises. We analyze the notion of external operation defined its factors affecting their operations. We propose the use of international standards ISO in restructuring the company.Item Модели основных базисов единой электроэнергетической системы Украины(Видавництво Національного університету "Львівська політехніка", 2009) Левыкин, В.; Кудрявцева, М.Розроблено структурно-функціональну схему електричної частини енергосистеми, отримано моделі основних базисів Єдиної електроенергетичної системи України з урахуванням її ієрархічної й розподіленої структури. The structural and functional scheme of electrical part of power supply system is developed in this work. The models of fundamental basisys of Ukraines’ Uniform power supply system taking into account hierarchical and distributed structure are obtained.Item Моделювання теплових режимів в термочутливому шарі з тепловиділяючим чужорідним включенням(Видавництво Національного університету "Львівська політехніка", 2009) Гавриш, В.; Федасюк, Д.Розглядається стаціонарна осесиметрична нелінійна задача теплопровідності для зотропного шару з чужорідним циліндричним включенням, що нагрівається внутрішніми джерелами тепла з тепловіддачею. Припускається, що на поверхнях спряження відбувається ідеальний тепловий контакт. Запропонована методика розв’язування цієї задачі та її застосування для конкретної залежності коефіцієнтів теплопровідності матеріалів шару і включення від температури. The fixed axially symmetric nonlinear problem of thermal conduction for isotropic layer with foreign cylindrical inclusion (particulate) which heats at internal thermal source with heat dissipation has been considered. It is supposed that on the contact surface the ideal hermal contact takes place. The methodology of this problem solution and its application for he specific dependence of the layer and inclusion substances thermal-conductivity coefficients on temperature has been offered.Item Вдосконалений протокол взаємної аутентифікації на основі смарт-карт для побудови модуля захисту розподіленої системитеплового проектування(Видавництво Національного університету "Львівська політехніка", 2009) Яковина, В.; Одуха, О.Розроблено покращений протокол взаємної аутентифікації з використанням смарт- карт для отримання доступу до ресурсів серверної частини системи теплового проектування. Проаналізовано захищеність протоколу та показано його переваги над існуючими аналогами. Запропонована схема забезпечує більший захист від можливих атак за рахунок незначного зменшення швидкодії. The improved smart card based mutual authentication protocol for client-server thermal design system has been developed in the present paper. The security analysis of the protocol has been carried out and the advantages comparing to existing protocols have been shown. The proposed scheme not only preserves all the advantages of previous schemes but also is more secured against some kinds of attacks while has slightly less efficiency.Item Моделювання теплообміну з урахуванням випаровування на поверхні пластини(Видавництво Національного університету "Львівська політехніка", 2009) Федасюк, Д.; Муха, Т.Досліджено процес теплообміну в одновимірній області з врахуванням випаровування. Побудовано модель цього процесу. Знайдено аналітичний і числовий розв’язки цієї задачі і перевірено точність числового розв’язку. Здійснено порівняння між охолодженням з використанням випаровування та охолодженням без випаровування. A process of heat exchange in a one-dimensional region with taking into accoun evaporation is investigated. A model of this process is built. For this problem are found numerical and analytical solutions and is made verification of accuracy of numerical solution Comparison between cooling with and without using evaporation is made.Item Розроблення програмного забезпечення для захисту документів фоновими сітками(Видавництво Національного університету "Львівська політехніка", 2009) Дронюк, І.; Назаркевич, М.; Пелех, Ю.Розроблено програмне забезпечення для створення фонових сіток, які наносяться на документи з метою захисту від підробки. Створено алгоритм побудови захисних сіток, що повторюють контур певного зображення. Запропоновані різні методи деформації сіток. Роботу методів проілюстровано на прикладах. Software is developed for creation of background nets which are inflicted on documents with the purpose of defence from an imitation. The algorithm of protective nets construction which repeat the contour of certain image is created. Offered different methods deformation of nets. Proposed methods are illustrated on examples.Item Bases of Digital Signature Using Elliptic-Curve Crypto Processor Over Galois Field (2m)(Видавництво Національного університету "Львівська політехніка", 2009) Rodrigue, EliasВизначено основи для створення нової послідовної архітектури процесора для виконання додавання і скалярного множення точок еліптичних кривих. In this study, the procedure is to design a base for new hardware processor to perform elliptic curve addition and scalar multiplication. It will be based on a serial architecture.Item Аналіз нейромережних методів Data Mining як складової технології Business intelligence(Видавництво Національного університету "Львівська політехніка", 2009) Дорошенко, А.Проаналізовано особливості бізнес-аналітики та місце у ній методів видобування даних. Визначено перспективи розвитку бізнес-аналітики, проведено порівняльний аналіз різних нейромережних методів видобування даних. The article analyses the features of the business intelligence and considers Data Mining methods like a part of business intelligence. The future trends of the business intelligence are defined. The different basic methods of classification on the base of neural networks are compared.Item Структурно-функціональні схеми аналогових частотонезалежних фазообертачів гармонічних сигналів(Видавництво Національного університету "Львівська політехніка", 2009) Тимощук, П.Пропонуються структурно-функціональні схеми аналогових фазообертачів гармонічних сигналів. Схеми є точними для довільних скінченних значень амплітуд і частот вхідних сигналів. Амплітуда вихідних сигналів та фазовий зсув між вхідними та вихідними сигналами таких схем не залежать від частоти, перетворення сигналів виконується лінійно, без спотворень амплітуди та частоти, тобто схеми не породжують гармонік. Отримані схеми не потребують додаткового фільтрування вихідних сигналів. Structure-functional schemes of analog phase shifters of harmonic signals are proposed. The schemes are precise for any finite values of input signals. Amplitude of output signals and phase shift between input and output signals of such schemes are independent on a frequency, a signal transformation is fulfilled linearly without amplitude and frequency distortion. Derived schemes do not need in additional filtering of output signals.Item Автоматизація побудови динамічних моделей і оптимізація виробничих систем(Видавництво Національного університету "Львівська політехніка", 2009) Каменський, Б.Розглянуто способи представлення абстрактних технологічних процесів і мережевих графіків у вигляді зважених графів. Подано чітку аксіоматику понять абстрактного технологічного процесу та способів його представлення. Показано переваги вершинного представлення. Побудовано алгоритм знаходження властивостей технологічного процесу та його операцій та доведено коректність його побудови. Розглянуто приклади різних представлень. Some ways of representation of abstract workflow and project networks as weighted graphs are considered. Exact axiomatic of concepts of abstract workflow and ways of its representation is given. The advantages of vertex representation are demonstrated. The algorithm of finding workflow’s and operation’s properties is proposed and its correctness is shown. Some examples of different ways of representation are considered.Item Дослідження ефективності існуючих алгоритмів для розв’язання задачі комівояжера(Національний університет "Львівська політехніка", 2009) Базилевич, Р.; Кутельмах, Р.Досліджено ефективність існуючих точних та евристичних алгоритмів розв’язання задачі комівояжера. Зроблено висновки щодо доцільності їх застосування при розв’язанні задач великих розмірностей, а також при декомпозиції. Existing exact and heuristic algorithms’ efficiency for solving Traveling Salesman Problem has been investigated. The conclusions were made of their application for solving large-scale problems as well as for using with decomposition.Item Репозитарий интеллектуального анализа данных(Видавництво Національного університету "Львівська політехніка", 2009) Шатовская, Т.; Каменева, И.; Гуд, А.Используя агентные технологии, и, в частности, технологии агентно-ориентированного моделирования, предоставляется возможность исследовать и создать интернет-приложение нового типа – Репозиторий интеллектуального анализа данных (Data Mining Repository). Using agent technology, and in particular, agent-based technology model, the opportunity to explore and create a new type of Internet application - Data Mining Repository.Item Застосування онтологій у процесах семантичної інтеграції даних(Видавництво Національного університету "Львівська політехніка", 2009) Берко, А.Розглянуто способи і можливості створення семантично інтегрованих структур даних для зберігання контентного ресурсу гетерогенних інформаційних систем. Запропоновано формальні методи інтеграції семантики різнорідних даних, що ґрунтуються на застосуванні інтелектуальних засобів та онтологій даних. Some ways and possibilities of semantically integrated data structures development for information storage of heterogeneous information systems content are considered in this paper. Formal methods of semantic integration of data based on intelligent tools and data ontology application were proposed.Item Комп’ютерне моделювання напружено-деформованого стану просторових конструкцій(Видавництво Національного університету "Львівська політехніка", 2009) Дияк, І.; Копитко, М.; Коркуна, А.Досліджено напружено-деформований стан просторової конструкції складної форми за допомогою програмного комплексу Comsol Multiphysic 3.4. Показано, що використання заданих за замовчуванням у Comsol Multiphysic 3.4 параметрів побудови сітки методу скінченних елементів приводить до отримання неправильних розв’язків задачі. Проведено додаткові числові експерименти, які дали змогу виробити правильний алгоритм розв’язування задач деформування трубоподібних конструкцій. Запропоновано підхід, за яким можна за незначного збільшення обчислювальних затрат розв’язати задачу. Research of elastic problem of a spatial complex form construction is carried out with Comsol Multiphysic 3.4 program. It is shown, that use default parameters of finite elements mesh of construction at Comsol Multiphysic 3.4. gives incorrect numerical results of a problem. Additional numerical experiments which have allowed to develop correct algorithm of the decision of problems of deformation of pipelike designs was carried out. The approach which allows to receive the correct results at insignificant increase of computing resources is offered.Item Вибір принципів побудови та розроблення узагальненої архітектури медичної інформаційної технології(Видавництво Національного університету "Львівська політехніка", 2009) Батюк, А.; Батюк, С.; Пилипчук, С.; Цмоць, І.Сформульовано вимоги, вибрано принципи побудови, розроблено узагальнену архітектуру медичної інформаційної технології та проаналізовано роботу її основних компонентів. In this article we have set the requirements, chosen the development principles, created a basic architecture, and provided an analysis of the key components of a medical information technology.Item Математичне моделювання ефекту викликаної поляризації у тривимірних задачах геоелектророзвідки(Видавництво Національного університету "Львівська політехніка", 2009) Журавчак, Л.; Забродська, Н.Розглянуто задачі геоелектророзвідки постійним струмом у кусково-однорідному півпросторі, які зводяться до задач теорії потенціалу з умовами ідеального та неідеального електричного контакту на межі поділу середовищ. За допомогою математичного моделювання враховано вплив ефекту викликаної поляризації та отримано обчислювальний алгоритм, який ґрунтується на поєднанні функцій Гріна для півпростору й фундаментальних розв’язків для простору рівнянь Лапласа з непрямими методами граничних та приграничних елементів. Досліджено випадки поверхневої, об’ємної і змішаної поляризації для середовищ, що поляризуються. The influence of an induced polarization effect in problems of the potential theory using mathematical modeling is considered. The numerical-analytical algorithm bases on a combination of the special fundamental solution of the Laplace’s equation for a half-space and fundamental solution of the Laplace’s equation for a space with indirect methods of boundary and near-boundary elements and allows to investigate surface, volume and mixed polarization. This technique is approved for problems of geoelectrics by a direct current.