151: Комп'ютерні науки
Permanent URI for this collection
Browse
Browsing 151: Комп'ютерні науки by Issue Date
Now showing 1 - 20 of 30
Results Per Page
Sort Options
Item Cross-platform native software development for mobile operating systems: (Android, IOS, Windows 8 RT)(2013) Schneider, Ch.; Hermanni, H.; Hänßgen, KlausIn this article you will find overview of most useful technologies for software engineering of mobile systems. The main problem is existence of group of mobile operation systems that has different paradigms and it is hard to develop software for all of them (Android, iOS, Windows 8RT). In this work we try to provide approach for software development for all mobile operation systems.Item Транзиційні композиційно-номінативні модальні логіки та їх числення(2013) Шкільняк, ОксанаДосліджено програмно-орієнтовні логічні формалізми модального типу - транзиційні композиційно-номінативні модальні логіки. В межах цих логік можна виділити мультимодальні, темпоральні, епістемічні композиційно-номінативні логіки еквітонних предикатів. Для таких логік побудовано першопорядкові числення секвенційного типу.Item Researching semistructured problems of multicriteria optimization using the software system(2013) Tryhub, Roman; Tryhub, Oleksandr; Horborukov, V.Develop the optimal decision support system for solving semistructured problems of multicriteria optimization, which can be used by individual or collegial body who take responsible decisions. Currently existing software tools, which solve this class problems are limited only by finding the best alternative, whereas the proposed system also (in addition to solving this problem) allows to develop instructions ("guidelines for actions ”) for any of losing alternatives so that the observance of them will guarantee the winning for this alternative.Item Напівмарковські процеси прийняття рішень з рандомізованим дисконтом(2013) Ковальчук, Наталія; Чорней, РусланУ роботі розглянуто керовані напівмарковські процеси з випадковим дисконтуючим фактором. Знаходяться достатні умови існування та єдиності оптимальної стаціонарної нерандомізованої стратегії керування зазначеними процесами на скінченному та нескінченному горизонті.Item Встановлення діагнозу дерматологічних захворювань із застосуванням моделей розподіленого вихідного коду та персептрону(2013) Порхун, ОленаУ статті розглянуто моделі розподіленого вихідного коду для вирішення задачі мультикласифікації з використанням нейронної мережі багатошаровий персептрон та описано застосування розробленої системи мультикласифікації з реалізацією описаних моделей для вирішення задачі визначення діагнозу захворювання пацієнтів в області дерматології.Item Про застосування марковських процесів прийняття рішень для автоматизованого добору навчальних матеріалів у системах Blended Learning(2013) Олецький, ОлексійОбговорюється проблема знаходження оптимальної структури гіпертекстових посилань на веб-порталі (тобто оптимізацією навігаційних графів) на основі аналізу та моделювання поведінки відвідувачів. Пропонується підхід до оптимізації навігаційних графів на основі методик навчання з підкріпленням та марковських процесів прийняття рішень. Розглядаються можливості, пов’язані з застосуванням цього підходу в системах e-leaming.Item Методи персоналізації в системах електронного навчання агентного типу(2013) Конюшенко, ОлексійУ статті проаналізовано методи персоналізації та уточнено їх використання в системах електронного навчання агентного типу. Запропоновано систему класифікації методів персоналізації.Item Меметичний алгоритм для евклідової задачі Штейнера(2013) Євтушенко, ОльгаЗапропоновано евристику для евклідової задачі Штейнера на основі меметичного алгоритму. Описано основні кроки алгоритму з детальним поясненням ключових процедур.Item Кластеризація даних з використанням теорії можливостей(2013) Касьянюк, Веда; Малютенко, ЛюдмилаУ роботі розглянуто підхід до кластеризації, що базується на теорії можливостей. Такий підхід дозволяє врахувати неоднозначність вибору параметрів алгоритму кластеризації. На цій основі запропоновано методи оцінювання можливості та необхідності низки тверджень щодо точок та нечітких кластерів.Item Передбачуваність стану з'єднання при маршрутизації в опортуністичних мережах(2013) Мазур, РоманУ статті порівнюється складність прогнозування місцезнаходження із задачею, яка розв’язується при маршрутизації, за допомогою нововведеного поняття стану з’єднання. Показано, що показники ентропії стану з’єднання є значно вищими за значення для місцезнаходження, зроблено висновки про більшу складність передбачення.Item Preforecast time-series analysis of financial data(2013) Didmanidze, Ibraim; Kakhiani, HryhoriiThe main result is the conclusion that the possibility of pre-forecast analysis of financial time series in order to prepare them for use in the prediction using neural networks.Item Алгоритми розв'язання розподіленої задачі задоволення обмежень(2013) Галковська, ЛюбовУ даній роботі представлено розроблену автором класифікацію алгоритмів розв’язання розподіленої задачі задоволення обмежень. Наведено приклади представників кожного з класів, а також їх порівняльна характеристика та рекомендації щодо їх застосування для розв’язання конкретних БСБР задач.Item Побудова лексико-синтаксичної моделі природної мови із застосуванням сучасних методів обробки великих текстових корпусів(2013) Марченко, ОлександрСтаттю присвячено розробці алгоритму формування моделі лексико-синтаксичних структурних зв’язків природної мови на основі частотно-синтаксичного аналізу речень великого текстового корпусу. Для запису універсальних структур необмеженої складності та довжини використано модель керуючих просторів синтаксичних структур речень природної мови. Для ефективного та економного представлення даних розріджені масиви трансформовано за допомогою методів невід’ємної факторизації матриць та тензорів.Item Порівняння ефективності застосування мов Scala, Erlang і Haskell в умовах баrатоядерних архітектур(2013) Гороховський, Семен; Кравченко, МихайлоУ роботі проведено порівняння основних можливостей мов Scala, Erlang і Haskell та їх ефективності при розв’язанні практичних задач на багатоядерних архітектурах. На прикладі задачі знаходження досконалих чисел на певному проміжку показано, як за допомогою акторів отримати значне прискорення програми на багатоядерних архітектурах.Item Онтології, ймовірнісні тематичні моделі та тематчні кари у онтолого-керованих інформаційних системах(2013) Шабінський, АнтонУ статті розглянуто проблему представлення знань у онтолого-керованих інформаційних системах та підхід до її вирішення. Проаналізовано категоризацію та роль різних категорій онтологій в інформаційних системах. Запропоновано підхід до представлення онтологій у вигляді тематичних карт, що будуються за даними, отриманими машинним навчанням за допомогою ймовірнісних тематичних моделей.Item Агентно-базоване моделювання(2013) Глибовець, АндрійУ статті розглянуто ключові методології агентно-базованого моделювання та основні застосунки агентно-базованого моделювання.Item Автоматичний вибір параметрів ядра опорно-векторних машин(2013) Галкін, ОлександрДосліджено методологію автоматичного вибору параметрів ядра опорно-векторних машин. Використано метод градієнтного спуску для мінімізації оцінок тестової похибки. Отримано гладку апроксимацію тестової помилки з використанням оцінки апостеріорних ймовірностей. Запропоновано та реалізовано алгоритм, де градієнтним кроком є напрямок градієнта в просторі параметрів. Проведено експериментальні дослідження для оцінки ефективності запропонованого методу.Item До питання електронного навчання програмуванню(2013) Бублик, ВолодимирРозглянуто засоби і методи підвищення рівня інтерактивності в колаборативних навчальних середовищах програмування на прикладі створення програмних доповнень до системи MOODLE, спеціалізованого веб-порталу та моделі десяткового навчального процесора з вхідною мовою високого рівня.Item Optimized channel selection for multi-radio ІЕЕЕ 802.11 backbones(2013) Finsterbush, Mikhael; Khenshen, Klaus; Shmidt, PatrikThis paper presents the Simple Backbone Channel Allocation (SBCA) algorithm. It is used to optimize the channel assignment in IEEE 802.11 wireless backbone networks. We point to some specifics in channel assignment of backbones. It differs from channel assignment of single APs which is a node colouring problem of graph theory. Backbone channel assignment needs new strategies to cover all general conditions. We declare the SBCA algorithm and show its operation on an example. Our measurements show that it is very fast, correct in result andfinite.Item Verifications of grouting models(2013) Demchuk, MykolaCalculation errors are estimated within the framework ofa model of the standard injection test. Such the test is conducted to verify simplifying assumptions of the model through comparison of model calculations with respective laboratory measurements. It is shown that the verification presented in this work as well as similar verifications presented in recent research, provides a small amount of information.