Browsing by Author "Керницький, А. Б."

Now showing 1 - 16 of 16

Автоматизована навчальна система "Числові методи в інформаційних технологіях"
(Видавництво Національного університету "Львівська політехніка", 2008) Каркульовський, В. І.; Керницький, А. Б.; Мотика, І. І.; Каркульовський, Б. В.; Кісь, Я. П.
Розглянуто особливості застосування методу діакоптики та об’єктно-орієнтованого підходу під час створення навчальних систем. Розроблена структура та описана реалізація основних компонент навчальної системи для вивчення застосування базових числових методів в інформаційних технологіях. The application of diacoptic method and object-oriented approach at creation of the educational systems are examined. The structure of educational system for the study of application of base numerical methods in IT is developed and realization of basic component is described.
Автоматизована інформаційно-пошукова система уставок релейного захисту і автоматики регіональних енергетичних об’ єднань
(Видавництво Національного університету «Львівська політехніка», 2000) Держко, Р. М.; Керницький, А. Б.; Мошківський, Д. В.; Муштук, А. В.; Стех, Ю. В.
Розглянуто призначення, вимоги, функції і архітектура автоматизованої інформаційно-пошукової системи уставок релейного захисту і автоматики енергетичних об’ єднань.
Алгоритм пошуку оптимальної кількості кластерів
(Видавництво Національного університету “Львівська політехніка”, 2009) Стех, Ю. В.; Файсал, М. Е.; Лобур, М. В.; Керницький, А. Б.
Пропонується новий алгоритм оптимальної кількості кластерів для задач кластерного аналізу багатовимірних об'єктів. Центри кластерів знаходяться за допомогою нейроподібної процедури. Алгоритм не вимагає жодної початкової інформації про кількість і розміщення центрів кластерів. Наведені результати тестових досліджень. The new algorithm of optimum amount of clusters is offered for the tasks of cluster analysis of multidimensional object. Centers of clusters are search by neurolike procedure. Analgorithm requires not a single initial information about an amount and placing of centers of clusters. The results of researches of tests are resulted.
Алгоритми ієрархічної кластеризації для великих колекцій документів
(Видавництво Національного університету “Львівська політехніка”, 2004-02-18) Стех, Ю. В.; Керницький, А. Б.; Національний університет “Львівська політехніка”
Робота зосереджена на алгоритмах кластеризації великих колекцій документів, які базуються на ієрархічних рішеннях. Оцінена робота різних критеріальних функцій під час кластеризації документів.
Алгоритмічна оцінка оптимальності результатів кластеризації за критерієм відстані
(Видавництво Львівської політехніки, 2010) Стех, Ю. В.; Сардіх, Файсал М. Е.; Керницький, А. Б.; Домброва, М. С.
Запропоновано алгоритмічний підхід до оцінки оптимальності результатів кластеризації за критерієм відстані. Підхід ґрунтується на розв'язанні двокритеріальної оптимізації за допомогою побудови та оцінювання критеріїв оптимальності у вигляді індексних функцій. The algorithmic approach to the evaluation optimality of clustering results by distance criterion is proposed. The approach is based on solving two-criterion optimization by building and evaluating the optimality criteria in the form of index functions.
Встановлення існування необхідних умов еквівалентності схем
(Видавництво Національного університету “Львівська політехніка”, 2007) Білаль, Аль-Забі; Керницький, А. Б.; Ткаченко, С. П.
Розглянуті можливі шляхи встановлення існування необхідних умов еквівалентності схем РЕА під час розв’язання задач верифікації і функціональної декомпозиції схем. У першому випадку необхідно реалізувати класифікатор схемних елементів. Інший варіант розв’язання задачі – реалізація класифікатора схемних ланцюгів. Some possible ways to determine scheme equivalence necessary conditions have been considered. Scheme equivalence is to be checked while solving the problems of verification or functional decomposition of schemes. In the first case, a scheme element classifier is to be realized. Another solution variant applies net classifier.
Гетерогенна система автоматизованого проектування вбудованих систем
(Видавництво Національного університету “Львівська політехніка”, 2005-03-01) Лобур, М. В.; Теслюк, В. М.; Керницький, А. Б.; Денисюк, П. Ю.; Раєвський, П. Ю.; Національний університет “Львівська політехніка”
Запропоновано гетерогенну систему автоматизованого проектування вбудованих систем. Розроблено математичне, інформаційне, лінгвістичне та програмне забезпечення. Наведено результати проектування елементів електромеханічних вбудованих систем та інтегральних елементів підсистеми обробки та керування.
Застосування мережевих технологій для створення системи технічного документообігу малої машинобудівної компанії
(Видавництво Національного університету "Львівська політехніка", 2003) Керницький, А. Б.
Розглянуто підходи до застосування мережевих технологій Internet/Intranet для створення системи технічного документообігу малої машинобудівної компанії. In work consider approaches on application of net Internet/Intranet technologies for creation of system of technical document management of small macine-building company.
Метод визначення опору потоку повітря пористих матеріалів на основі коефіцієнтів звукопоглинання
(Видавництво Львівської політехніки, 2019-02-26) Мельник, М. Р.; Керницький, А. Б.; Рубаха, Я.; Камісінські, Т.; Melnyk, Mykhaylo; Kernyskyy, Andriy; Rubacha, Jaroslaw; Kamisinski, Tadeusz; Національний університет “Львівська політехніка”; Краківська гірничо-металургійна академія ім. С. Сташіца; Lviv Polytechnic National University; AGH University of Science and Technology
Подано розроблене у системі Labview програмне забезпечення для автоматизації процесу розрахунку опору потокові повітря пористих матеріалів. Підхід полягає в автоматизованому збиранні та опрацюванні інформації із давача тиску та витратоміра. Розроблене програмне забезпечення дало змогу автоматизувати процес визначення коефіцієнтів звукопоглинання пористих матеріалів методом продування потоком повітря. Програмне забезпечення дає змогу виконувати аналіз даних у режимі реального часу. Співвідношення між зміною тиску і потоком повітря подано у вигляді графіка. Це дає змогу в реальному часі оцінити достовірність вимірювань. Описано процедуру та методи вимірювань. Викладено розроблений та реалізований метод визначення опору потоку повітря на основі коефіцієнтів поглинання звуку, що дало змогу порівняти результати, отримані з імпедансної трубки та лабораторної установки для визначення опору потоку повітря методом продування, порівнюючи тільки значення опору повітря, а не функцію залежності коефіцієнта поглинання від частоти. Для обчислення коефіцієнта звукопоглинання вибрано емпіричну модель Мікі, яка є модифікацією моделі Ділейні–Базлі, але, на відміну від останньої, виключає виникнення від’ємних значень коефіцієнта звукопоглинання на низьких частотах. Для перевірки методів значення опору потокову повітря визначено трьома способами: обчислено в результаті експерименту, з використанням лінійного наближення для всього набору даних й за допомогою запропонованого методу. На прикладі меламінової піни показано, що запропонований спосіб дає змогу краще зіставити регресійну пряму із експериментальними даними, а це, своєю чергою, дає можливість мінімізувати похибку вимірювання порівняно із раніше використовуваним методом.
Методи знаходження перетинів відрізків для розв’язання задач розміщення в САПР розкрою
(Видавництво Національного університету «Львівська політехніка», 2006) Чура, І. І.; Каркульовський, В. І.; Керницький, А. Б.
Описано методи знаходження перетинів відрізків. Вони зумовлюють препроцесорні операції із зміни системи координат. Оптимальною системою координат вважається та, за якої максимальний градієнт різниці між сусідніми смугами поля близький до мінімального, серед усіх можливих систем координат. The methods of plain sweeping algorithm application is offered in the article. It stipulates the preprocessor operations on the change of the coordinate system. The optimal coordinate system is the one at which the maximal gradient of difference between the neighboring bars of the field is near to minimum among all possіble coordinate systems.
Нові інваріанти встановлення ізоморфізму графів
(Видавництво Національного університету "Львівська політехніка", 2008) Білаль Раді А’Ґґель Аль-Забі; Керницький, А. Б.; Лобур, М. В.; Ткаченко, С. П.
Проблеми встановлення ізоморфізму графів стосується доволі велика кількість робіт, одними з найхарактерніших є [1–4]. Низка узагальнень наводиться також у таких роботах, як [5–9]. Показано [3], що подібні задачі є комбінаторними важкорозв’язуваними задачами факторіального ступеня складності, у зв’язку з чим для їхнього розв’язання прийнятними залишаються лише евристичні прийоми [1, 10, 11]. Тому тут не будуть ефективними ні метод гілок і границь, ні методи математичногом програмування, які у кращому випадку понижують складність задачі від факторіальної залежності до показникової (відносно, як правило, кількості вершин графа), а це є неприйнятним для задач практичної розмірності. Водночас існуючі евристичні прийоми розв’язання задачі (а точніше, спроби її розв’язання) мають, як правило, часову складність O(Nc), де с=4¸6 [3, 8], що також різко обмежує розмірність задач, які розв’язуються, оскільки для розв’язання задач за прийнятний час необхідно, щоб було с≤3.
Побудова архітектури навчальної САПР
(Видавництво Національного університету “Львівська політехніка”, 2004-02-18) Каркульовський, В. І.; Керницький, А. Б.; Мотика, І. І.; Чура, І. І.; Національний університет “Львівська політехніка”
Розглянуто узагальнений підхід до побудови універсальної архітектури навчальної САПР.
Проблеми побудови систем автоматизації технічного документообігу для малих підприємств
(Видавництво Національного університету «Львівська політехніка», 2000) Керницький, А. Б.; Лобур, М. В.
Розглянуто проблеми, що виникають у малих підприємств при розробці, побудові та впровадженні систем автоматизації технічного документообігу.
Розв'язання задачі типізації схем
(Видавництво Національного університету “Львівська політехніка”, 2009) Білаль, Раді А'Ггель Аль-Забі; Керницький, А. Б.; Ткаченко, С. П.
Розглянуто питання типізації схем РЕА і встановлення їх еквівалентності. The problem of radioelectronic scheme typization and finding their eqivalence are considered in actual paper.
Управління виробництвом на основі інтегрованої інформаційної системи
(Національний університет "Львівська політехніка", 2002) Керницький, А. Б.; Любур, М. В.
Розглядається підхід до інформаційної інтеграції та інтеграції проесів маркетингу, постачання, контролю, виробництва та фінансів. Запропоновано введення еталонної моделі системи. Ґрунтуючись на інтегрованій виробничій моделі, побудовано архітектуру функціональних модулів систем управління. The approach to information integration and to integration of the marketing, supply, manufacturing and financial processes are discussed in the paper. The etalon system model is suggested. The architecture of the management systems functional moduls are built on thr based of the Intagration Manufacturing Model.
Інтеграція знань у САПР ТП із використанням високорівневих мереж Петрі
(Видавництво Львівської політехніки, 2010) Керницький, А. Б.
Наведено інкрементаційний метод для побудови динамічного опису виробу та процесів його виготовлення у САПР ТП із використанням високорівневих мереж Петрі для інтеграції знань, поданих у вигляді продукційних правил і фреймів. Запропоновано методику вирішення конфліктів у моделях, побудованих із використанням високорівневих мереж Петрі. The work presented incremental method for dynamic description of the product and its manufacturing processes in CAD TP using high-level Petri nets for integration of knowledge represented as production rules and frames. The method of resolving conflicts in models has been built using high-level Petri nets.