№ 771 (2013)
УДК 004.932.2
Р. Мельник, І. Кожух
Національний університет “Львівська політехніка”,
кафедра програмного забезпечення
КЛАСИФІКАЦІЯ ПОВЕРХОНЬ МЕТАЛІВ ЗА СТАТИСТИЧНИМИ ОЗНАКАМИ ЗОБРАЖЕННЯ НА ОСНОВІ ДИСПЕРСІЇ
© Мельник Р., Кожух І., 2013
Наведено результати дослідження статистичних ознак зображення на основі дисперсії та їх порівняння при використанні для класифікації поверхонь металів. Для класифікації застосовується поділ всієї множини значень характеристики на діапазони, що відповідають окремим типам металевих сплавів.
Ключові слова: зображення, класифікація поверхонь, статистичні ознаки, дисперсія, порівняння характеристик.
The paper contains the results of investigation of statistical features based on dispersion and their comparison in conditions of using for metal surface classification. The partitioning of whole set of characteristic values into ranges, which correspond to separate types of metal alloys, is used for classification.
Key words: image, surface classification, statistical features, dispersion, characteristic comparison.
Література – 9
УДК 004.67:004.9
1О. Михальов, 2В. Журавльов, 1Р. Сухомлин
1Національна металургійна академія України,
кафедра інформаційних технологій і систем,
2ЗМКБ “Прогрес”
ДІАГНОСТИКА АВІАЦІЙНИХ РЕДУКТОРІВ З ВИКОРИСТАННЯМ ПЕРЕТВОРЕННЯ ГІЛЬБЕРТА-ХУАНГА І ВЕЙВЛЕТ-АНАЛІЗУ
© Михальов О., Журавльов В., Сухомлин Р., 2013
Запропоновано метод діагностування авіаційних редукторів, який заснований на перетворенні Гільберта-Хуанга та вейвлет-аналізі.
Ключові слова: перетворення Гільберта-Хуанга, вейвлет-аналіз, вібросигнал, авіаційний редуктор, діагностування.
In this work we propose method of aviation reduction drive diagnosis, which use Hilbert-Huang transform and wavelet analysis.
Key words: Hilbert-Huang transform, wavelet analysis, vibration, air gear, diagnosing.
Література – 7
УДК 004.023; 004.94
О. Муляревич, В. Голембо
Національний університет “Львівська політехніка”,
кафедра електронних обчислювальних машин
ІМПЛЕМЕНТАЦІЯ МЕТОДІВ ЛОКАЛЬНОЇ ОПТИМІЗАЦІЇ У КОМП’ЮТЕРНІЙ СИСТЕМІ ДЛЯ РОЗВ’ЯЗАННЯ ДИНАМІЧНОЇ ЗАДАЧІ КОМІВОЯЖЕРА З ВИКОРИСТАННЯМ МОДЕЛІ РОЙОВОЇ ПОВЕДІНКИ АГЕНТІВ
© Муляревич О., Голембо В., 2013
Розглянуто імплементацію методів локальної оптимізації у комп’ютерній системі для розв’язання динамічної задачі комівояжера, що ґрунтується на використанні моделі ройової поведінки агентів.
Ключові слова: агенти, динамічна задача комівояжера, метод мурашиної колонії, методи локальної оптимізації, ройова поведінка.
This paper is devoted to the solving one of the сombinatorial optimization task – the Dynamic Travelling Salesman Problem (DTSP) by using computer system based on swarm behavior model of collective agents and benefits of local optimization methods usage.
Key words: agents, DTSP, ant colony method, local optimization methods, swarm behavior.
Кількість посилань 12
УДК 656.13:658
М. Омаров, А. Сухомлінов
Харківський національний університет радіоелектроніки
МОДЕЛЮВАННЯ ТАКТИКИ УПРАВЛІННЯ В АВТОМАТИЗОВАНИХ СИСТЕМАХ КЕРУВАННЯ
© Омаров М., Сухомлінов А., 2013
На прикладі виробничої логістичної системи підприємства проаналізовано процес управління об’єктом керування та сформульована тактика для управляючої підсистеми, що дає змогу досягти оптимальних результатів за умов дотримання стабільного стану об’єкта управління.
Ключові слова: aвтоматизована система керування; об’єкт управління; управляюча підсистема; матеріальний потік; оціночна функція; інтегральна оцінка; стан неминучої кризи; тактика стабільної оптимальності.
In this paper, the example of the production logistics enterprise system, analyzed the process of management of the facility management and control tactics formulated for the management subsystem that achieves optimal results in compliance with the stable state of the facility management.
Key words: automated control system; facility of management; managing subsystem; material flow; the estimated function; integrated estimate; the state of an imminent crisis; tactics stable optimality.
Література – 5
УДК 681.142.2; 622.02.658.284; 621. 325
Д. Пелешко1, А. Клювак1, І. Ізонін1, Ю. Іванов1, М. Голубінська2
Національний університет “Львівська політехніка”,
1кафедра інформаційних технологій видавничої справи,
2кафедра прикладної лінгвістики
ДОСЛІДЖЕННЯ ВИКОРИСТАННЯ ОПЕРАЦІЇ ДЕКОНВОЛЮЦІЇ У РЕКОНСТРУКТИВНИХ МЕТОДАХ УСУНЕННЯ ЛОКАЛЬНИХ СПОТВОРЕНЬ
© Пелешко Д., Клювак А., Ізонін І., Іванов Ю., Голубінська М., 2013
Проаналізовано фізичний процес виникнення змазу. Експериментально підтверджено тезу про те, що формування змазу зображення адекватно описується моделлю на основі конволюції, тобто згортки. Показано, що ядро розмиття, або дискретна функція розсіяння точки, містить в собі інформацію про траєкторію та рівномірність руху, який призвів до спотворення зображення. Визначено, що кількість екстремумів усереднених нормалізованих величин значень стовпців фур’є-образу зображення, спотвореного штучним змазом, корелює з параметрами цього змазу.
Ключові слова: спотворення, деконволюція, функція розсіяння точки, зона спотворення, реконструкція зображень.
Physical process of blurring emergence has been analyzed. Through conducted experiments it has been proved that image blurring formation is adequately described by the model based on convolution, i. e. wrapping. It is shown that blurring center or discrete function of point scattering comprises information about trajectory and uniformity of motion, which has caused an image distortion. It is determined that extremum number of averaged normalized column values of Fourier image distorted by artificial blurring correlates with parameters of blurring.
Key words: distortion, deconvolution, point spread function, distortion area, image reconstruction.
Література – 5.
УДК 681.142.2; 622.02.658.284; 621. 325
Д. Пелешко1, А. Клювак1, А. Ковальчук1, І. Ізонін1, М. Голубінська2
Національний університет “Львівська політехніка”,
1кафедра інформаційних технологій видавничої справи,
2кафедра прикладної лінгвістики
МОДЕЛЬ УТВОРЕННЯ ЛОКАЛЬНИХ СПОТВОРЕНЬ ЗОБРАЖЕННЯ
© Пелешко Д., Клювак А., Ковальчук А., Ізонін І., Голубінська М., 2013
Проаналізовано фізичний процес виникнення змазу. Побудовано модель утворення локального спотворення, яке виникає внаслідок руху об’єкта уваги або пристрою реєстрації. Досліджено механізм формування буферної зони між рухомим передньоплановим об’єктом та нерухомим фоном, тобто перехідної зони між зонами повного змазу та неспотвореною зоною.
Ключові слова: методи усунення спотворень, функція розсіяння точки, модель локального спотворення.
Physical process of blurring emergence has been analyzed. Model of local distortion formation, which emerges as a result of movement of an object of attention or a registration device, has been built. Mechanism of buffer area formation between moving object of forefront and immovable background, i.e. transition area between an area of full blurring and non-distorted area, has been studied.
Key words: methods of distortion elimination, point spread function, model of local distortion.
Кількість посилань 5
УДК 622.692.4+622.691.24
Н. Притула
ІППММ ім. Я.С. Підстригача НАН України,
ТзОВ “Математичний центр”
ОПТИМІЗАЦІЯ РЕЖИМІВ РОБОТИ ГАЗОТРАНСПОРТНИХ СИСТЕМ
© Притула Н., 2013
Проаналізовано проблеми знаходження оптимальних режимів роботи газотранспортних систем. Наведено перелік факторів, які впливають на оптимальність окремих підсистем і системи транспортування газу, загалом. Знайдені оцінки потенціалу оптимізації для окремих технологічних об’єктів і підсистем газотранспортної системи. Запропоновані способи вирішення проблеми.
Ключові слова: газотранспортна система, потенціал оптимізації, оптимальний режим, компресорна станція, підземне газосховище.
The analysis of problem of finding of optimum operating modes of gas transmission systems is carried out. The list of factors which influence an optimality of separate subsystems and the gas transmission system as a whole is given. Estimates of optimization potential for separate technological objects and subsystems of the gas transmission system are found. Problem solutions are offered.
Key words: the gas transmission system, an optimization potential, an optimum mode, a compressor station, an underground gas storage.
Література – 5
УДК 622.692.4+622.691.24
Н. Притула1,2, О. Гринів2, О. Химко3
1ІППММ ім. Я.С.Підстригача НАН України,
2ТзОВ “Математичний центр”,
3Національний університет “Львівська політехніка”
РОЗРАХУНОК ДИНАМІКИ ЗМІНИ ОБ’ЄМУ АКУМУЛЬОВАНОГО ГАЗУ В ГАЗОТРАНСПОРТНІЙ СИСТЕМІ
© Притула Н., Гринів О., Химко О., 2013
Розглянуто проблему знаходження об’єму акумульованого газу в газотранспортних системах. Подано перелік факторів, які впливають на величину та точність його розрахунку. Запропоновано шляхи вирішення проблеми. Наведено результати числових експериментів.
Ключові слова: газотранспортна система, об’єм акумульованого газу, оптимальний режим, компресорна станція, підземне газосховище.
The problem of finding of the volume of the accumulated gas in gas transmission systems is considered. The list of factors which influence the size and accuracy of its calculation is given. Problem solutions are offered. Results of numerical experiments are given.
Key words: the gas transmission system, a volume of the accumulated gas, an optimum mode, a compressor station, an underground gas storage.
Література – 4.
УДК 681.3:519.15
В. Різник
Національний університет “Львівська політехніка”,
кафедра автоматизованих систем управління
КОДИ ПРОСТОРОВИХ СИМЕТРИЧНО-АСИМЕТРИЧНИХ МНОЖИН
© Різник В., 2013
Показана можливість застосування нового класу просторових множин, побудованих на багатовимірних симетрично-асиметричних конфігураціях типу ідеальних кільцевих в’язанок (ІКВ) для кодування векторних даних з мінімізованою кількістю вагових розрядів. Досліджено взаємозв’язок теорії симетрично-асиметричних множин і теорії алгебричних структур полів Ґалуа.
Ключові слова: cиметрично-асиметрична множина, поле Ґалуа, оптимізація, кодування векторних даних, інформаційна технологія.
It is shown possibility for application a new class of spatial sets using multidimensional symmetrical and non-symmetrical combinatorial configurations "Ideal Ring Bundles" (IRB)s for vector data coding with minimal number of the digit weights. Mutual connection theory of the symmetrical and asymmetrical sets with algebraic structures in Galois fields is developed.
Key words: сode, symmetrical and asymmetrical set, Galois field, optimization, vector data coding, information technology.
Література – 3
УДК 004.052; 519.62
П. Сердюк, О. Том’як
Національний університет “Львівська політехніка”,
кафедра програмного забезпечення
АРХІТЕКТУРА ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ВЕРИФІКАЦІЇ ТА АВТОМАТИЗОВАНОГО ТЕСТУВАННЯ МЕТОДІВ РОЗВ’ЯЗУВАННЯ ЗАДАЧ МАТЕМАТИЧНОЇ ФІЗИКИ
© Сердюк П., Том’як О., 2013
Розглянуто архітектуру програмного забезпечення для тестування та верифікації методів розв’язування систем рівнянь у часткових похідних, що описують фізичні процеси. Розроблено архітектуру процесора автоматизованого генерування задач, їх розв’язування та порівняльного аналізу з іншими методами аналізу задач математичної фізики. Проаналізовано роботу програмного забезпечення на оболонці COMSOL 4.2.
Ключові слова: автоматизоване тестування, диференціальні рівняння, матема¬тична фізика, верифікація.
The article deals with software architecture for testing and verification methods for solving systems of equations in partial derivatives describing physical processes. Developed automated generation of processor architecture problems, their solution and comparative analysis with other methods of analysis tasks mathematical physics. Analyzed with software on shell COMSOL 4.2.
Key words: automated testing, differential equations, mathematical physics, verification.
Література – 6.
УДК 62-523.8
1 А. Сидор, 1 В. Теслюк, 2 В. Береговський
1 Національний університет “Львівська політехніка”,
2 Коледж електронних приладів
Івано-Франківського національного технічного університету нафти і газу
МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ПАРАМЕТРІВ НАДІЙНОСТІ НЕСИМЕТРИЧНИХ РОЗГАЛУЖЕНИХ СИСТЕМ
© Сидор А., Теслюк В., Береговський В., 2013
ДОСЛІДЖЕНО ОСНОВНІ ПАРАМЕТРИ НАДІЙНОСТІ НЕВІДНОВЛЮВАНИХ НЕСИМЕТРИЧНИХ СИСТЕМ, РОЗГАЛУЖЕНИХ ДО РІВНЯ 3, ЗІ СТАРІЮЧИМИ ВИХІДНИМИ ЕЛЕМЕНТАМИ. МЕТОД ДОСЛІДЖЕННЯ ПАРАМЕТРІВ НАДІЙНОСТІ РОЗГАЛУЖЕНИХ СИСТЕМ ЗА ДОПОМОГОЮ ТВІРНИХ ФУНКЦІЙ ПОШИРЕНО НА СИСТЕМИ ЗІ СТАРІЮЧИМИ ВИХІДНИМИ ЕЛЕМЕНТАМИ. РОЗРОБЛЕНО МАТЕМАТИЧНІ МОДЕЛІ ЙМОВІРНОСТІ ВІДМОВИ, СЕРЕДНЬОЇ ТРИВАЛОСТІ ПЕРЕБУВАННЯ СИСТЕМИ В КОЖНОМУ З ЇЇ СТАНІВ І ТРИВАЛОСТІ ПЕРЕБУВАННЯ СИСТЕМИ В ЗАДАНОМУ СТАНІ ГОТОВНОСТІ ДЛЯ ВИПАДКУ, КОЛИ НАДІЙНІСТЬ СТАРІЮЧИХ ВИХІДНИХ ЕЛЕМЕНТІВ ОПИСУЄТЬСЯ РОЗПОДІЛОМ РЕЛЕЯ.
Ключові слова: параметри надійності, розгалужені системи, старіючі елементи, розподіл Релея.
Main reliability parameters of unrestorable unsymmetrical systems ramified to level 3 with ageing output elements are examined in this paper. A method of investigation of reliability parameters of ramified systems by means of generating functions is developed taking account of aging of the system’s output elements. Mathematical models of the failure probability, the duration of the system’s stay in each of its states and the duration of the system’s stay in the prescribed availability state are worked out in the case when the lifetime of ageing output elements is circumscribed by the Rayleigh distribution.
Key words: reliability parameters, ramified systems, ageing elements, Rayleigh distribution.
Кількість посилань 4
УДК 004.032.026
П. Тимощук
Національний університет “Львівська політехніка”,
кафедра систем автоматизованого проектування
ФІЛЬТРУВАННЯ РАНГУ НА БАЗІ АНАЛОГОВОЇ НЕЙРОННОЇ СХЕМИ ВИЗНАЧЕННЯ МАКСИМАЛЬНИХ ЗА ВЕЛИЧИНАМИ З МНОЖИНИ СИГНАЛІВ
© Тимощук П., 2013
Розв’язується задача фільтрування рангу на базі аналогової нейронної схеми, що визначає максимальні за величинами з множини сигналів. Фільтр описується системою алгебро-диференційних рівнянь і поєднує в собі такі властивості, як високу точність і швидкодію, низькі обчислювальну складність і складність апаратної реалізації, а також незалежність від початкових умов. Фільтр може використовуватись для обробки постійних, змінних, а також рівних за значеннями сигналів. Наведено приклади комп’ютерного моделювання фільтра, які підтверджують теоретичні положення.
Ключові слова: фільтрування рангу, аналогова нейронна схема, система алгебро-диференційних рівнянь, обчислювальна складність, апаратна реалізація, комп’ютерне моделювання.
The problem of rank-order filtering is solved on the base of analogue neural circuit which determines maximal value signals among signal set. The filter is described by system of algebra-differential equations and combines such properties as high accuracy and speed, low computational and hardware implementation complexity, and independency on initial conditions. The filter can be used for processing of constant signals, variable signals, and also equal signals. The filter simulation examples confirming theoretical statements are provided.
Key words: rank-order filtering, analogue neural circuit, a system of algebra-differential equations, computational complexity, hardware implementation, computer simulation.
Література – 8.
УДК 519.766.4
О. Трофимчук1, О. Кожухівська2, П. Бідюк3, А. Кожухівський2
1Інститут телекомунікацій
та інформаційних технологій НАН України,
2Черкаський державний технологічний університет,
кафедра інформатики та інформаційної безпеки,
3Інститут прикладного системного аналізу НТУУ “КПІ”
ВИКОРИСТАННЯ МЕТОДОЛОГІЇ VAR ДЛЯ ОЦІНЮВАННЯ РИНКОВОГО РИЗИКУ В УКРАЇНІ
© Трофимчук О., Кожухівська O., Бідюк П., Кожухівський А., 2013
Виникнення ринкового ризику, пов’язаного з виконанням валютних операцій, може призводити до значних фінансових втрат, а тому такі ситуації вимагають поглибленого аналізу і менеджменту валютних ризиків. Валютний ризик зумовлений некоректно виконаними валютними фінансовими операціями. Розглянуто можливість застосування методів оцінювання міри ризику VaR для банківського валютного портфеля: дельта-нормальний, а також методів історичного та імітаційного моделювання. У результаті виконання обчислювальних експериментів з використанням фактичних українських даних встановлено, що модель на основі дельта-нормального методу виявилась неадекватною внаслідок невико¬нання припущення стосовно нормальності розподілу доходності курсів валют. Метод на основі історичного моделювання надає можливість отримати задовільний результат лише за умов стабільної ситуації на ринку. Він має незадовільні властивості адаптації до коливань ринкових факторів, а тому його не можна використовувати для аналізу нестійких фінансових ринків. Прийнятні за якістю результати прогнозування втрат отримано за методом Монте-Карло, який гіпотетично може враховувати можливі зміни курсів валют на ринку. Встановлено, що похибки прогнозів можливих втрат виникають лише за наявності непередба¬чуваних різких змін курсу, але модель на основі цього методу швидко пристосовується до змін на ринку.
Ключові слова: ринковий ризик, методика VaR, аналіз валютного портфеля, український валютний ринок, обчислювальні експерименти.
The emergence of a market risk due to performing operations with currency can result in substantial financial losses. That is why such situations require carrying out of profound analysis and management of respective risks. The market risk of this kind is characterized with possible losses of financial resources due to incorrectly performed operations with currency. The paper considers the possibility of application of the VaR methodology to the bank currency portfolio: delta-normal, as well as the methods of historical modeling and Monte Carlo simulation. As a result of performing the computational experiments with the use of actual Ukrainian data it was established that the delta-normal technique turned out to be inadequate due to violation of assumption regarding normality of currencies exchange rates. The historical modeling technique provides acceptable results in conditions of stable market situations only. It showed unsatisfactory characteristics of adaptation to varying market factors and cannot be applied for analysis of unstable financial markets. Quite acceptable results of forecasting possible losses were received by making use of Monte Carlo simulation that hypothetically can take into account possible variations of the market exchange rates. It was established that the risk forecasting errors appear only due to non-predictable abrupt changes of exchange rates. However the model of this type is adapting quickly to the changes.
Key words: market risk, VaR methodology, currency portfolio analysis, Ukrainian currency market, computing experiments.
Кількість посилань 7
УДК 004.415.2, 004.415.5
О. Харченко1, І. Боднарчук2, І. Галай1
1 Національний авіаційний університет,
кафедра комп’ютерних інформаційних технологій
2Тернопільський національний університет імені Івана Пулюя,
кафедра комп’ютерних наук
СТІЙКІСТЬ РОЗВ’ЯЗКІВ ЗАДАЧІ ОПТИМІЗАЦІЇ АРХІТЕКТУРИ ПРОГРАМНИХ СИСТЕМ
© Харченко О., Боднарчук І., Галай І., 2013
Досліджено стійкість розв’язків задачі проектування архітектури програмної системи з урахуванням показників якості, отриманих методом аналізу ієрархій. Для цього для різних значень неузгодженостей елементів матриці парних порівнянь, які задавались як випадкові величини, порівнювали критерії неузгодженості розв’язків задачі оптимізації, отримані класичним і модифікованим методом аналізу ієрархій. Досліджено також чутливість розв’язків із вибору оптимальної архітектури до неузгодженостей матриці парних порівнянь та похибок визначення коефіцієнтів пріоритету критеріїв якості. Отримані результати показали переваги модифікованого методу оптимізації, а також вплив стійкості рішень до неузгодженості парних порівнянь на коректність результатів оптимізації архітектури програмної системи.
Ключові слова: архітектура програмної системи, метод аналізу ієрархій, оптимізація.
The stability of solutions in the problem of architecture design for software system is examined in the paper with taking to the account the quality attributes for software system, obtained with Analytical Hierarchic Process. For this purpose, for different values of elements’ inconsistencies in the matrix of pairwise comparisons, given as random numbers, were compared inconsistency criteria of decision for optimization problem obtained with a classical and with a modified Analytical Hierarchic Process. We also examined the sensitivity of solutions for selection of optimal architecture to the inconsistencies of matrix of pairwise comparisons, and to the errors in determination of priority indices for quality criteria. Obtained results showed the advantages of modified Analytical Hierarchic Process, and they showed the influence of solution stability to the inconsistency of pairwise comparisons on the correctness of results of architecture optimization for software system.
Key words: software system architecture, Analytical Hierarchic Process, optimization.
Література – 10.
УДК 004.41:303.064
О. Чабан, О. Бойко
Львівський національний медичний університет
імені Данила Галицького
ОГЛЯД СВІТОВОЇ ПРАКТИКИ ЩОДО ВПРОВАДЖЕННЯ МЕДИЧНИХ ІНФОРМАЦІЙНИХ СИСТЕМ ТА ПРОБЛЕМИ СТВОРЕННЯ ЄДИНОГО МЕДИКО-ІНФОРМАЦІЙНОГО ПРОСТОРУ
© Чабан О., Бойко О., 2013
Розглянуто сучасний стан впровадження медичних інформаційних систем в Україні та за кордоном. Досліджено та проаналізовано проблеми створення єдиного медико-інформаційного простору.
Ключові слова: медичні інформаційні системи, єдиний медико-інформаційний простір.
The current state of health information systems in Ukraine and abroad is considered. The problems of creating the unified medical information space are investigated and analyzed.
Key words: health information systems, medical information space
Література – 8
УДК 519.677: 519.17
1,2 В. Чекурін, 3 М. Притула, 4 О. Химко
1Інститут прикладних проблем механіки і математики ім. Я.С. Підстригача НАН України,
2Kujawy and Pomorze University in Bydgoszcz,
3ДК “Укртрансгаз”,
4Національний університет “Львівська політехніка”
МАТЕМАТИЧНА МОДЕЛЬ СТРУКТУРИ ГАЗОТРАНСПОРТНОЇ СИСТЕМИ
© Чекурін В., Притула М., Химко О., 2013
Запропоновано дворівневу модель структури газотранспортної системи, побудовану із використанням методів теорій множин і графів і зорієнтовану на створення програмного комплексу для автоматизації управління магістральними газопроводами.
Ключові слова: газотранспортна система, автоматизація управління, програмні комплекси, застосування теорії графів, модель конфігурації, граф конфігурації, структура даних.
A two-level model of the structure of a natural gas transmission system has been built with the use of methods of sets and graphs theories. The model is aimed for software intended for automation of control of the transmission system.
Key words: natural gas transmission system, control automation, software complexes, model of configuration, application of graphs theory, configuration graph, data structure.
Кількість посилань 5
УДК 621.38
О. Чкалов1, Б. Булах1, О. Безносик1, О. Мацулевич2
1Національний технічний університет України
“Київський політехнічний інститут”,
Навчально-науковий комплекс
“Інститут прикладного системного аналізу”
2Таврійський державний агротехнологічний університет
ОСОБЛИВОСТІ ФОРМУВАННЯ МАРШРУТІВ ПРОЕКТУВАННЯ В СИСТЕМІ GRIDALLTED
© Чкалов О., Булах Б., Безносик О., Мацулевич О., 2013
Розглянуто особливості формування маршрутів проектування в комплексі математичного моделювання GridALLTED. Наведено основні функції підсистеми формування маршрутів і потоків завдань, розглянуто формат опису маршруту завдання, що використовується для побудови та виконання потоків робіт за допомогою грід- та веб-сервісів. Показано напрям подальших досліджень.
Ключові слова: GridALLTED, моделювання, маршрут проектування.
This paper is devoted to the features of design route creation in the GridALLTED mathematical simulation complex. Task flow and route creation subsystem’s main functions are given, the task route description format used for workflow building-up and executing by means of grid- and web-services is considered. The future investigation direction is denoted.
Key words: GridALLTED, simulation, design route.
Література – 8.
УДК 004
Н. Шаховська, Р. Голощук
Національний університет “Львівська політехніка”,
кафедра інформаційних систем та мереж
ДОСВІД РОЗРОБЛЕННЯ ЕЛЕКТРОННОГО ПІДРУЧНИКА “ОСНОВИ ТЕОРІЇ ЕЛЕКТРОННИХ КІЛ”
© Шаховська Н., Голощук Р., 2013
Розглянуто досвід розроблення електронного підручника “Основи теорії електронних кіл”. Подано концепцію, структуру та принципи розроблення електронного підручника. Докладно описано процедуру перевірки та оцінювання отриманих знань.
Ключові слова: електронний підручник, дистанційне навчання, віртуальне навчальне середовище.
The article presents the research results based on the experience of developing an electronic textbook Fundamentals of the Electronic Circuits Theory. It reveals the concept, structure and principles of the development of the electronic textbook. A detailed procedure of the evaluation of knowledge is outlined.
Key words: electronic textbook, e-course book, distance learning, E-learning, virtual learning environment.
Література – 11
УДК 004.043
О. Шпортько
Рівненський державний гуманітарний університет,
кафедра економічної кібернетики
ВИКОРИСТАННЯ ПРЕДИКТОРІВ В ПРОЦЕСІ ПРОГРЕСУЮЧОГО ІЄРАРХІЧНОГО КОНТЕКСТНО-НЕЗАЛЕЖНОГО СТИСНЕННЯ
ЗОБРАЖЕНЬ БЕЗ ВТРАТ
© Шпортько О., 2013
Обґрунтована доцільність, наведений спосіб обходу пікселів та запропоновані предиктори для реалізації прогресуючого ієрархічного контекстно-незалежного стиснення зображень без втрат. Подано результати застосування запропонованих підходів для зменшення ентропії зображень набору ACT під час попередніх перетворень.
Ключові слова: прогресуюче стиснення зображень, стиснення без втрат, предиктори, ентропія.
Argued expedience, the method of round of pixels is resulted and the predictors for realization of progressing hierarchical context-independent compression of images without losses are offered. The results of application of proposed approaches for diminishing entropy of representing the set of ACT in the process of previous transformations are presented.
Key words: progress compression of images, compression without losses, predictors, entropy.
Література – 7
УДК 81’322.4:004.912
В. Яковина, В. Масюкевич
Національний університет “Львівська політехніка”,
кафедра програмного забезпечення
ОГЛЯД ТА АНАЛІЗ МЕТРИК ОЦІНЮВАННЯ ЯКОСТІ МАШИННОГО ПЕРЕКЛАДУ
© Яковина В., Масюкевич В., 2013
Наведено огляд основних підходів до машинного перекладу, проаналізовано існуючі метрики оцінювання якості машинного перекладу, виявлено їх переваги та недоліки.
Ключові слова: машинний переклад, оцінювання якості машинного перекладу, еталонний переклад.
This paper is devoted to the overview of main approaches of machine translation, to analysis of existing metrics for machine translation quality estimation. The advantages and disadvantages of these metrics have been revealed.
Key words: machine translation, machine translation quality estimation, reference translation.
Література –20.
УДК 004.052
В. Яковина, П. Сердюк, О. Нитребич, Д. Федасюк
Національний університет “Львівська політехніка”,
кафедра програмного забезпечення
ВИКОРИСТАННЯ МАРКОВСЬКИХ ЛАНЦЮГІВ ВИЩОГО ПОРЯДКУ В ЗАДАЧАХ МОДЕЛЮВАННЯ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
© Яковина В., Сердюк П., Нитребич О., Федасюк Д., 2013
У моделях прогнозування надійності програмного забезпечення (ПЗ) засобами архітектурного підходу припущення про незалежність виконання компонент є спрощенням реального процесу роботи програмного забезпечення. Вдосконалено модель Гокаля з використанням Марковських ланцюгів вищого порядку, що дає змогу врахувати залежності виконання ПЗ у прогнозуванні його надійності.
Ключові слова: надійність ПЗ, Марковські ланцюги вищих порядків, критерій AIC.
Assumption of independent components execution in software reliability models built using architectural approach is a simplification of real software execution. In this paper Gokhale model with higher order Markov chains has been improved to appreciate software execution dependencies in it's reliability prediction.
Key words: software reliability, higher-order Markov chain, AIC criterion.
Кількість посилань 14
|
