УДК 519.6:621.396

М.І. Андрійчук

Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України;
Національний університет “Львівська політехніка”,
кафедра систем автоматизованого проектування

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

 Андрійчук М.І., 2010

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

Combination of the asymptotical approach for solving the initial diffraction problem and numerical solution of the received integral equations is applied to creating the media with desired refraction coefficient. The obtained refraction coefficient, close to the desired one, is created by change of electrophysical and geometrical parameters of small particles embedded in given media. The initial diffraction problem is considered under the assumptions , , where is the size of the particle and is the distance between the neighboring particles. Impedance boundary conditions are assumed on the boundaries of small particles. The results of numerical simulation show good agreement with the theory. They open a way to numerical implementation of the method for creating media with a desired refraction coefficient.
Keywords: asymptotical approach, refraction coefficient, numerical modeling.

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

УДК 004.652

О.М. Верес

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

ВИДИ АРХІТЕКТУРИ СИСТЕМ ПІДТРИМКИ ПРИЙНЯТТЯ РІШЕНЬ

© Верес О.М., 2011

Описано архітектуру системи підтримки прийняття рішень. Проведено аналіз видів архітектури, розглянуто архітектуру інформаційного ресурсу систем підтримки прийняття рішень, яка ґрунтується на принципах побудови сховища даних.
Ключові слова – архітектура, децидент, СППР, сховище даних.

Description of architecture of the system of support of decision-making is offered in the article. The analysis of types of architecture is conducted, architecture of informative resource of the systems of support of decision-making, which is based on principles of construction of depository of information is considered.
Keywords – architecture, detsident, DSS, Data Warehouse.

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

УДК 621.391

В.Б. Дудикевич1, Г.В. Микитин1,2, Ю.Р. Гарасим1

1Національний університет “Львівська політехніка”,
кафедра захисту інформації,
2Фізико-механічний інститут імені Г.В. Карпенка НАН України

АВТОМАТИЗОВАНА СИСТЕМА ОБРОБКИ ІНФОРМАЦІЇ «ЗАХИСТ АУДІОІНФОРМАЦІЇ»: РЕЄСТРАТОРИ, КАНАЛИ ВИТОКУ, ЗАСОБИ ЗАХИСТУ

© Дудикевич В.Б., Микитин Г.В., Гарасим Ю.Р., 2010

Розроблено автоматизовану систему обробки інформації з обмеженим доступом «Захист аудіоінформації» на основі концептуальної моделі: реєстратори – канали витоку – засоби захисту аудіоінформації; інформаційної моделі реляційної бази даних; технологій Apache Tomcat – MSSQL Server – Hibernate – Java.
Ключові слова – захист аудіоінформації, канали витоку, засоби захисту аудіоінформації, автоматизована система обробки інформації.

Information processing automated system «Audio information protection» with restricted access was designed based on receptionist conceptual model – diversion channels – audio information protection tools, relational database informational model, Apache Tomcat – MSSQL Server – Hibernate – Java technologies.
Keywords – audio information protection, diversion channels, audio information protection tools, information processing automated system.

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

УДК 681.322

А.Б. Керницький

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

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

© Керницький А.Б., 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.
Keywords – knowledge integration, high-level Petri nets, CAD, CAM.

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

УДК 004.021

Р.З. Кривий, М.М. Лобур, С.П. Ткаченко

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

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

© Кривий Р.З., Лобур М.М., Ткаченко С.П., 2010

Розглянуто особливості розкрою матеріалу на прямокутні заготовки. Описано розроблений генетичний алгоритм, за допомогою якого можна поліпшити результат гільйотинного розкрою на прямокутні заготовки.
Ключові слова – генетичний алгоритм, задача розміщення, хромосома.

The algorithm for solving location of arbitrary shape blanks based on the theory of genetic algorithms is used for cut problem solving.
Keywords – genetic algorithms, cut problem, chromosome.

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

УДК 004.896, 004.75

О.О. Лебедєва

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

МОДИФІКАЦІЯ МОДЕЛІ УПРАВЛІННЯ КОЛЕКТИВНИМИ ПРОЕКТАМИ

 Лебедєва О.О., 2010

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

Distributed project model for conceptual design level is improved. Such model, which unlike existing ones, through more input data and final results, provides resources and work distribution between design participants and collaborative work support in distributed heterogeneous environments.
Keywords – collaborative design, distributed collaborative project model, consistency index, coherence relation.

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

УДК 681.3:656.1

В.В. Мазур

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

ПОТОКОВІ МОДЕЛІ ТРАНСПОРТНОЇ МЕРЕЖІ МІСТА

© Мазур В.В., 2011

Розглянуто потокові моделі для аналізу транспортної мережі міста і планування розподілених транспортних потоків.
Ключові слова: транспортна мережа міста, потокові моделі, розподілені транспортні потоки.

Thе flow models for the analysis of the city transport network and distributive transport flows planning are considered in this paper.
Keywords: city transport network, flow models, distributive transport flows.

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

УДК 004.415.532:004.942:004.415.5:004.4'23

О.Е. Маркелов, М.В. Лобур

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

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

© Маркелов О.Е., Лобур М.В., 2011

Представлені підходи до збору та накопичення параметрів інформаційної діяльності з користувацькими інтерфейсами програмного забезпечення САПР (на прикладі САПР мікроелектромеханічних систем (МЕМС) з метою подальшої систематизації та проектної оцінки для удосконалення якості програмних користувацьких інтерфейсів.
Ключові слова – зручність користування, юзабіліті, користувацький інтерфейс, модель віконного інтерфейсу, діалог, САПР, програмне забезпечення.

Approaches to the collection and accumulation of information parameters from user interface software CAD Software (on MEMS example) presented to further systematize and project evaluation to improve the quality of software user interfaces.
Keywords – usability, user interface, screen model, interactivity, CAD, software.

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

УДК 004.9

М.Р. Мельник, П.Ю. Денисюк

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

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

© Мельник М.Р., Денисюк П.Ю., 2010

Розроблено алгоритм автоматизованої побудови графіків у системі ANSYS з використанням постпроцесорів POST1 та POST26.
Ключові слова – автоматизація, ANSYS, постпроцесор, POST1, POST26.

Presented algorithm automation of graphical dependencies in ANSYS environment using the postprocessor POST1 and POST26.
Keywords – automation, ANSYS, postprocessors, POST1, POST26.

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

УДК 004.4’232

О.В. Овсяк

Львівська філія Київського національного університету культури і мистецтв

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

© Овсяк О.В., 2010

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

In expanding the known classical algebra algorithms received meaningful input operations elimination, introduced a new extension. At the level of innovation is the introduction of the alphabet in special unitermiv, what are the signs uniterm return cycle and conditional uniterm cycle. At the level of innovation definitions of operations is an axiom uniterma input and output in the region of the operation cyclic sequencing, axiom input and output uniterma in scope and with the operationcyclic elimination, input and output axioms uniterma in scope and operation cyclic paralleling.
Keywords: algebra, algorithm, axiom, uniterm, operation cycle.

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

УДК 004.942

В.В. Пасічник1, Н.М. Іванущак2

1Національний університет “Львівська політехніка”,
2Чернівецький національний університет імені Юрія Федьковича

ДОСЛІДЖЕННЯ, МОДЕЛЮВАННЯ ТА ПРОЕКТУВАННЯ СКЛАДНИХ МЕРЕЖ

© Пасічник В.В., Іванущак Н.М., 2010

Здійснено огляд емпіричних та теоретичних результатів досліджень складних мереж. Наведено основні характеристики, на основі яких вивчаються топологія та еволюція у часі мереж, що виникли в результаті життєдіяльності людини. Зосереджено увагу на динамічних властивостях Інтернету та на аналізі поведінки в часі його основних характеристик. Досліджено топологію локальної комп’ютерної мережі BW-Star & Fox Net в місті Чернівці.
Ключові слова: складні мережі, топологія, локальна мережа.

There was given review of empirical and theoretical research results of complex networks. There are the main characteristics by which we study the topology and evolution of networks in time, which are the result of human activity. Focus on the dynamic properties of the Internet and on analysis of behaviour in time of its basic characteristics. There was investigated the topology of local computer network BW-Star & Fox Net in Chernivtsy.
Keywords: complex networks, topology, local network.

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

УДК 534.782.001:621.39

А.М. Продеус, В.О. Клімков

Національний технічний університет України “Київський політехнічний інститут”,
кафедра акустики та акустоелектроніки

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

© Продеус A.М., Клімков В.О., 2010

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

Analytical and experimental investigations of influence of reverberation disturbances on measuring exactness of speech signal levels distributing function has been made.
Keywords: reverberation disturbances, distributing function, speech signal.

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

УДК 681.3:519.15

В.В. Різник1, Д.Ю. Скрибайло-Леськів1, О.В. Ляхович1, І.Ю. Юрчак2

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

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

© Різник В.В., Скрибайло-Леськів Д.Ю., Ляхович О.В., Юрчак І. Ю., 2010

Досліджено різновиди завадостійких циклічних кодів, побудованих за допомогою незвідних поліномів та нестандартних математичних конструкцій з унікальними комбінаційними властивостями – «ідеальних кільцевих в’язанок» (ІКВ). Розглянуто методи оптимального синтезу за допомогою ІКВ циклічних кодів з поліпшеними можливостями щодо виправлення багаторазових помилок.
Ключові слова – циклічні коди, ідеальні кільцеві в’язанки, ІКВ, оптимальний синтез.

Various types of correcting cyclic codes design using the primitive multinomial and non- standards mathematical constructions with special combinative properties, namely the “ideal ring bundles” (IRB)s are studied. The techniques for optimum synthesis of the cyclic codes with improved possibilities for correcting the multiple errors are regarded in this paper.
Keywords – cyclic codes, ideal ring bundles, IRB, optimum synthesis.

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

УДК 681.322

Ю.В. Стех, Файсал М.Е. Сардіх, А.Б. Керницький, М.С. Домброва

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

АЛГОРИТМІЧНА ОЦІНКА ОПТИМАЛЬНОСТІ РЕЗУЛЬТАТІВ КЛАСТЕРИЗАЦІЇ ЗА КРИТЕРІЄМ ВІДСТАНІ

© Стех Ю.В., Файсал М.Е. Сардіх, Керницький А.Б., Домброва М.С., 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.
Keywords – cluster, pattern, index function.

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