|
Науково-дослідний інститут Інтелектуальних комп'ютерних систем Тернопільський Національний Економічний Університет |
|
2003, Том 2, Випуск 3 |
|
Зміст і резюме
Kazuhiro Mizoguchi*, Shinichi Furusho*, Teruaki Kitasuka*, Tsuneo Nakanishi*,**, Akira Fukuda* * Graduate School of Information Science and Electrical
Engineering,
Kyushu University,
Відновлювальна програмна мережа працює без будь-якої інфраструктури. Вона складається з безкабельних мобільних вузлів. У даній статті запропоновано протокол маршрутизації відновлювальної програмної мережі, якого названо швидким комутатором динамічної маршрутизації від джерела (ШКДМД), що є покращенням динамічної маршрутизації від джерела (ДМД). Коли маршрут роз’єднується, ШКДМД може повторно швидко з’єднати за допомогою використання підготованих резервних маршрутів. Протягом комунікації, резервні маршрути готуються за допомогою посилання пакетів перевірки маршруту через маршрути, які знаходяться в кеші, і посилається додатковий пакет запиту маршруту, якщо запасний маршрут не діє. За допомогою моделювальних експериментів показано, що ШКДМД забезпечує кращу продуктивність ніж ДМД. J. Borkowski*, M. Tudruj*,**, D. Kopanski* * Polish-Japanese Institute of Information Technology,
Представлені нові механізми синхронізації паралельних програм. Спеціалізований синхронізатор процесу, або ієрархія таких процесів, здійснюють збір інформації про стани процесу і створюють строго послідовні глобальні стани, використовуючи інтервал часових міток. Глобальні предикати, оцінені за допомогою синхронізаторів, можуть послати сигнали синхронізації до процесів, активувати обчислювальні сигнали асинхронного тригера або їх анулювати. Запропонована структура інтегрується із системою передачі повідомлень – вона додається до графічного паралельного середовища програмування GRADE для збільшення базових ознак передачі повідомлень. Обговорені архітектура і реалізація впровадження. Catalin Bulancea*, Mitica Craus** * Institute for Computer Science, Romanian Academy,
catalinb@academie.is.edu.ro
Пропонується графічна модель вивчення взаємодії та еволюції процесу інфекції. Визначено і випробувано структури мутації та прийняття рішень для патогенних факторів і механізм реакції пацієнта. Для проведення певних імітаційних експериментів використано MPI і C. Результати моделювання показали, що штучна еволюція близька до еволюції реальної системи. Sabin Buraga*, Sinica Alboaie**, Lenuta Alboaie*,** * Faculty of Computer Science, “A.I.Cuza” University of Iasi,
Дана стаття представляє різні методи, які ґрунтуються на XML технології для обміну інформацією між складовими мульти-агентної системи. Представлено мульти-агентну інфраструктуру під назвою Omega, яка може бути розглянута як ієрархічний простір набору розподілених об’єктів, що моделюють Web ресурси. Запропоновано модель на основі XML/RDF, яка може використовуватися в якості загального підходу для серіалізації та опису метаданих об’єктів, що обробляються за допомогою агентів. Інші відношення, які можуть бути встановлені між суб’єктами мульти-агентної системи, також будуть виражені за допомогою різних RDF конструкторів. Violeta Felea, Bernard Toursel LIFL (UMR CNRS 8022) - University of Science and Technology
of Lille
У контексті різнорідних мереж, подібно до кластерів робочих станцій, розробка середовищ програмування і виконання програм намагається автоматично адаптувати виконання програм до відхилень, які можуть з’явитися у роботі розподілених і паралельних Java програмах. Адаптивні Розподілені Java Програми (АРJП), розглядають дану цю проблему, як зі сторони паралелізму, так і з боку дистрибутивних ознак. Легкість програмування досягається через об’єкт і метод парадигми паралелізму. Компроміс між прозорістю такого паралелізму і ефективністю вирішується за допомогою повторного розгортання програми для підтримання достатнього рівня продуктивності. Це є метою збалансованого завантаження в АРJП, динамічному і зрозумілому інструментальному засобі на рівні програм проміжного програмного забезпечення, який використовує інформацію одержану від спостереження програми, для того, щоб розглянути як об’єктну активність так і зразки комунікації. Комунікації генерують відношення зв’язків між об’єктами і в даній статті представлено оцінку механізму збалансованого завантаження для асинхронного типу програм, в яких є важливим аспект взаємодії. КЛАСТЕРНІ ОБЧИСЛЕННЯ РОЗПОВСЮДЖЕННЯ ВИСОКОЧАСТОТНОГО ЕЛЕКТРО-МАГНІТНОГО ПОЛЯ Wojciech Walendziuk*, Jaroslaw Forenc**, Andrzej Jordan*** * Bialystok Technical University, Wiejska 45D Street, 15-351
Bialystok,
POLAND
Стаття представляє паралельне застосування методу обмеженої області часового інтервалу в комп’терних кластерних системах. Ці двох- і трьох-вимірні алгоритми базуються на розкладанні смуг аналізованої області. До того, обговорено взаємодії між специфічними розрахунковими вузлами, які складають кластерну систему. На базі одержаних результатів боло проведено аналіз дієвості представлених алгоритмів. Catalin Hritcu, Iulian Goriac, Raluca Mihaela Gordan, Elena Erbiceanu Faculty of Computer Science, “Al. I. Cuza” University of
Iasi,
Romania
Мета даної статті є подвійною. По-перше, представлено основні принципи і вказано головні труднощі в написанні бібліотечної підтримки з довільними великими числами. Обговорено аспекти, як наприклад бібліотечна структура, зображення чисел, вибір алгоритму, розподіл пам’яті тощо, і наведено приклад найефективніших розроблених бібліотек. По-друге, представлено проект нової мульти-точної бібліотеки, MpNT. Порівняння запропонованої бібліотеки з існуючою показало досягнення більшої продуктивності. Sorin Iftene Faculty of Computer Science, "Al. I. Cuza" University, Iasi,
Romania
Піднесення до степеня є основною операцєю теорії обчислень. Тестування і криптографія є важливими робочими сферами, в яких постійно використовується піднесення до степеня. В даній статті розглянуто найпоширеніші методи модульного піднесення до степеня: базові методи, методи з фіксованим показником та фіксованою основою, і методи, що базуються на особливостях модуля. Також обговорено деякі аспекти, зв’язані з паралелізмом. Majid Ali Khan*, Shankar K. Vaithianathan**, Kresimir Sivoncik*** and Ladislau Boloni**** * School of Electrical Engineering and Computer Science,
University
of Central Florida, khan@bond.cs.ucf.edu
Дана стаття представляє орієнтований підхід агента для мережевих обчислень. Як протилежний до існуючих підходів, технологія агента забезпечує гнучкіший підхід, легше встановлення і управління структурою мережі, і кращу здатність автономно відновлюватись від помилок. Семантично багатий, онтологічний опис програм мережі, служб і ресурсів відкриває можливість для кращого моніторингу і управління ресурсами, і кращі інтерфейси користувача – як для клієнтів, так і обслуговуючого персоналу. Marius Minea, Cornel Izbasa, Calin Jebelean * Institute e-Austria Timisoara, Bd. V. Parvan 4, 300223
Timisoara,
Romania
Дана стаття представляє приклад для вивчення на практиці формальних методів перевірки комунікаційних протоколів. Проаналізовано один блок телефоної комутації, який переключає програмне забезпечення розроблене на мові SDL в системі мереж Alcatel-Румунія. Використано IF-інструмент від VERIMAG Grenoble, для створення моделі системи зміни стану і перевірки вибраних властивостей. Представлено кроки, виконані для перекладу і перевірки, а також обговорено потенціал для процесу автоматизації і його використання у більших масштабах. Miki Sirola Helsinki University of Technology Laboratory of Computer and
Information
Science
Вироблення рішення здебільшого базоване на поняттях рішення і моделях рішення розроблених в системах підтримки прийняття рішень. Тип проблеми рішення визначає програму. Дана стаття представляє концептуальну модель рішення, яка використовує керовані методології, обчислювальні алгоритми і процедури, статистичні методології, включаючи розподіли, і візуальну підтримку. Вибір використовуваних понять рішення базується на основі певних потреб. Точне налаштування моделі проведено протягом розробки комп’ютерного додатку і аналізу конкретних прикладів. Побудовано зразок таблиці розв’язків, включаючи попередньо фільтровані варіанти рішення і старанно вибрані властивості рішення. Кожна властивість завантажується, дано значення таблиці розв’язків, і нарешті підраховується повне попередження. Воно проведено з багатокроковою процедурою, включаючи різні елементи. Комп’ютерний додаток виконано на платформі G2. Детально аналізується приклад альтернатив вибору кар’єри випадку. Розроблений протототип повинен бути розглянутий здебільшого, як консультативний інструментальний засіб розробки рішення. Більш важливо, ніж мати цифровий результат аналізу – навчання про проблему рішення. Експертиза оцінки потрібна в процесі розвитку. Створена модель є зразком досконалого поняття аналізу багато-критеріального рішення. Дана стаття є також прикладом використання теоретичної методології в розв’язуванні практичної проблеми. ПІДХІД ДЛЯ ВИЗНАЧЕННЯ ПЕРІОДИЧНОСТІ РЕГУЛЮВАННЯ РОБОТИ ТЕХНІЧНИХ СИСТЕМ РИЗИКУ Nikolay Petrov Prof. Assen Zlatarov University – Bourgas, Bulgaria, nikipetrov@lycos.com Оцінювання встановленої періодичності роботи технічних систем ризику є надзвичайно важливим моментом для технічного обслуговування. Багато наукових публікацій розглядають дану проблему, але більшість них має справу із службовим процесом впродовж невизначеного технічного експлуатаційного періоду. У даній статті запропоновано вирішення проблеми для обмеженого періоду технічної експлуатації. Розвинуто модель надійності розглянутого процесу, оскільки інтенсивність потоку відмов вибирається для критеріїв надійності. V.P. Shyrochin*, I.V. Vasyltsov**, B.Z. Karpinskij** * Informatics and Computer Technique Department, National
Technical
University “Kyivsky Politechnichnyy
Було проведено аналіз статистичних параметрів зворотного зв’язку квазівипадкового генератора із зсувним регістром зсуву. Для дослідження було вибрано 8-бітовий і 9-бітовий регістри. Було досліджено період генератора і розподіл значень “одиниця” і “нуль”. Додатково було протестовано, генеровані послідовності за допомогою пакету NIST STS. СИСТЕМА ОБРОБКИ ВІДЕОДАНИХ ДЛЯ АВТОНОМНОГО КОНТРОЛЮ МОБІЛЬНОГО РОБОТА Denis Vershok*, Rauf Sadykhov*, Andrei Selikhanovich*, Klaus Schilling**, Hubert Roth** * United Institute of Informatics Problems National Academy
of
Sciences
of Belarus, System Identification Laboratory,
В даній статті описано систему обробки відеоданих на основі монокулярного зору для автономного контролю мобільного робота. Система дає змогу виявляти перешкоди в автоматичному оточенні, яке моделюється, як набір прямолінійних сегментів. Дана система складається з трьох основних стадій і використовує оригінальні алгоритми, гарантуючи необхідну точність і реалізацію системи в реальному часі. На першій стадії використовується швидкий алгоритм виявлення границі на базі двовимірного перетворення Уолша. Модифікований алгоритм Хок-перетворення використовується для виявлення прямолінійних сегментів. Третя стадія “відстеження сегмента” використовує фільтр Кальмана для відстеження сегментів монокулярної послідовності зображень. Jan Fischer*, Tomas Radil** Czech Technical University in Prague, Faculty of Electrical
Engineering,
В даній статті представлено просту, гнучку і програмовану CCD камеру лінійного сканування. Дану камеру розроблено для цілей вимірювання, як наприклад просторові і позиційні вимірювання. Камера дала можливість реалізації як різних алгоритмів обробки сигналу, так і використання різних типів CCD датчиків. Andriy Kot*, Nikos Chrisochoides** * The College of William and Mary, PO Box 8795 Williamsburg
VA 23187
USA, kot@cs.wm.edu,
У проекті досліджено можливості використання застарілих машин з повільними процесорами для зменшення затримки диску при розрахунках та інтенсивне паралельне адаптивне і нерегулярне використання даних. Wieslaw Winiecki Institute of Radioelectronics, Warsaw University of
Technology
Представлено узагальнену архітектуру мережевого дистрибутивного віртуального вимірювального засобу (ДВЗ). Описано загальні припущення для розподіленого проекту мережевих ДВЗ. Запропоновано узагальнену архітектуру розподіленого, мережевого і платформонезалежного оточення для проектування ДВЗ, разом із узагальненою методологією для розподіленого проектування мережевого ДВЗ. Наведено і оцінено поточні методології ДВЗ. Rahat Iqbal, Anne James, Richard Gatward School of Mathematical and Information Sciences
Різноманітність комп’ютерних інформаційних систем використовуються для підтримки видів діяльності в академічному середовищі. Ці системи використовуються для проведення лекцій, розробки і перегляду модулів, планування і письмових завдань, лабораторних робіт, і комп’ютерного оцінювання. Системи звичайно розробляються з чорновика, якщо існуючі системи не відповідають вимогам. Це приносить суттєві затрати і незручність. В даній статті представлено формально відому систему групової роботи (СГР) для підтримки щоденної роботи. Представлено структуру інтеграції СГР. Пропонується інтегративна методологія, базована на даній структурі. Розглянуто приклад сценарію застосування з інтеграцією асинхронного додатку нашого університету. Valerij Dudykevych*, Andrian Piskozub**, Igor Lomnytskyj*** * Doctor of Technical Sciences, professor, National
University
“Lvivska
Polytechnica”,
Дану статтю присвячено використанню методу встановлення брандмауерів і методу виявлення вторгнення, який може бути застосований як окремо так і разом у обчислювальних системах і мережах, до доцільності використання того або іншого методу, інструментальним засобам, що реалізують ці методи. Проведено аналіз сучасного стану питань безпеки в обчислювальних мережах, для надання рекомендацій, як досягнути найбільшого рівня захисту обчислювальних систем і мереж за допомогою найбільш ефективного шляху – в найкоротший час, з мінімальними фінансовими затратами. Mykola Karpinskyy*, Yaroslav Kinakh** * Professor, Universytet Bjelsku-Bjala, Poland, E-mail:
mk@yahoo.com
У даній статті розглядається алгоритмом кодування RSA. Його безпека аналізується з використанням методу решета числового поля. Алгоритм робочих результатів дають змогу просто визначити таємний ключ. Tarek Sobh, Raul Mihali, Puneet Batra, Amit Singh, Sudip Pathak, Tomas Vitulskis, Andrew Rosca School of Engineering, 221 University Avenue, Bridgeport, CT
06601,
U.S.A.
Є шанс,
що
дистанційне навчання прозоро розширить коледжі та навчальні інститути
освіти
і могло б правдоподібно перетворитися на альтернативу вищій освіти,
особливо
для дорослих і працюючих студентів. Головна ідея в eлектронному
навчанні
– розробити відповідні рішення, які можуть забезбечити освітню
підготовку
через Internet, без вимоги особистої присутності в навчальному закладі.
Lyudmyla Bartkova, Frederick Satkowiak Ternopil Academy of National Economy
Як вплив промисловості на довкілля спричиняє проблеми здоров’я населення? Які рівні забруднення впливають на здоров’я населення? Чи можуть бути виміряні, передбачені або контрольовані впливи? Чи можуть бути передбачені витрати на охорону здоров’я на основі екологічних факторів? Чи є якесь співвідношення між здоров’ям населення і чинниками зовнішнього впливу? В статті представлено гіпотези щодо співвідношення між інтегрованими екологічними і соціально-економічними факторами і витратами, спричиненими промисловістю. Перевірку гіпотез проілюстровано на конкретних прикладах. Venkateswarulu Cheruku*, Sumanth Yenduri**, S.S. Iyengar*** * Software Engineer, Infosys Technologies Ltd, Hyderabad,
India,
Venkateswarlu_C@infosys.com
Класифікація зображень є одним з головних аспектів аналізу цифровх зображень з віддалено вимірюваними даниими. В даній статті представлено вплив на точність класифікації, якщо покращені теплові дані використовуються замість необроблених . Ми використовуємо два методи, штучні нейронні мережі і підхід максимальної ймовірності для демонстрації нашої цілі. Випробовано використання різних комбінацій кожного з методів необроблених і покращених даних, для класифікації і порівняння точності. Обговорено здобутки. Zoran H. Peric, Daniela M. Milovic Faculty of Electronic Engineering,
В даній статті дано простий і завершений асимптотичний аналіз Кусково- однорідного полярного квантизатора продукції (КОПКП) з відображенням середньо-квадратичної похибки (СКП) тобто спотворення (С). КЛПРП базується на однорідному полярному квантизаторі продукції. КЛПРП складається з L різних однорідних полярних квантизаторів продукції. Для кожної секції приведені однорідні полярні умови розбиття продукції і всі основні рівняння для ряду фазових розподілів і оптимального ряду рівнів. Ці системи, хоч не оптимальні, алеможуть мати продуктивну асимптотику близьку до оптімуму. До того ж, аналіз і реалізація можуть бути простіші, ніж у оптимальних систем. Складність реалізації КЛПРП лежить між оптимальним неоднорідним полярним квантуванням (НПК) і однорідним полярним квантуванням продукції (ОПКП). Також одержано перевагу КОПКП над оптимальним однорідним полярним квантуванням продукції (2 dB при 8 біт/зразок). Yefim Kats Assistant Professor in Computer Information Systems
В даній статті досліджено вплив зростаючих інтелектуальних технологій агента і семантичного Web на явище eлектронної торгівлі. Обговорено як технічні, так і правові проблеми, що постають при появі нових форм інтелектуального програмного забезпечення і розглянуто можливі вирішення. Зокрема, оцінено, як інтеграція Семантичного Web та інтелектуальних агентів може забезпечити нове середовище для безпечного і масштабованого використання електронної торгівлі. |