073: Комп'ютерні науки
Permanent URI for this collection
Browse
Recent Submissions
Item Дослідження властивостей композиційно-номінативних логік(2007) Шкільняк, ОксанаComposition nominative logics of equitone quasi-are predicates have been investigated. The substitution theorems for the relation of logical consequence for sets of formulas and for sequential derivation, the theorem of independence of closiness of constructed sequential tree of application order of sequential forms, and the cut elimination theorem have been proved. The fs-derivation procedure for finitary sequences has been introduced.Item Створення мультисервісної національної телекомунікаційної мережі в рамках розвитку електронного урядування в Україні(2007) Костюк, Олександр; Чуприна, ДмитроModern approach is considered for realisation e-government transport function which must be supplied by the single National Multiservice Telecommunication Network. It is constructed on the National System of Confidential Contact.Item Впровадження систем надання рекомендацій в електронне навчання(2007) Бублик, Володимир; Горностай, МаріяРозглянуто системи надання рекомендацій, які доцільно використовувати для систем елек- тронного навчання. Досліджено підходи до побудови профілю користувача для різних типів систем електронного навчання та систем надання рекомендацій, запропоновано алгоритм побудови профілю псевдо-активного користувача, що базується на характерних рисах.Item Застосування засобів децентралізованої автентифікації у системах електронної освіти(2007) Рощенко, ЮрійДосліджено сучасні тенденції у системах авторизації та єдиного входу, виділено системи, придатні для створення міжорганізаційних об’єднань електронної освіти. Розглянуто, зокрема, сучасні децентралізовані системи, включаючи Shibboleth, OpenID і Windows CardSpaces, та їх сумісніть із популярними веб-базованими системами електронної освіти, такими як ILIAS, Moodle, elgg and BlackBoard.Item Побудова підсистеми тестування у програмній системі підтримки мобільного навчання(2007) Глибовець, Андрій; Міщенко, ЯрославаВисвітлення особливостей програмної реалізації підсистеми тестування системи підтримки мобільного навчання (m-learning), з наголосом на описі деяких практичних пропозицій розроб- лення застосувань для системи, є основною темою цієї роботи.Item З досвіду навчання групового розроблення програм на факультеті інформатики(2007) Бублик, Володимир; Афонін, Андрій; Борозенний, СергійBasic concepts of students’ team working within bachelor programs in computer sciences have been described in the paper. Main results of two years experience in development student team projects have been summarized, especially student peer and self assessment approach.Item Основні підходи до побудови інтероперабельних сховищ навчальних матеріалів(2007) Яцевський, ВолодимирУ статті розглянуто основні проблеми на шляху реалізації повторного використання навчальних об’єктів у вигляді розподіленої мережі інтероперабельних репозитаріїв.Item Електронні портфоліо та веб-портфоліо(2007) Куку, СергійThe purpose of this work is to consider the achievements in the field of e-portfoliios and webportfolios, and to analyze the current state of developments in it. This subject is becoming more and more relevant due to a deeper penetration of the Internet technologies into every area of modern life. E-portfolios have a great potential, judging by their applicability in such realms as education and business.Item Розроблення патерну налаштування мультимедійної системи(2007) Ашихмін, АнтонSystem settings design is a typical task in development of the most multimedia projects. The main idea of settings is system control in real time or suspended mode. It consists in setting and changing values of particular system parameters. On one hand, the more changeable parameters are present, the higher flexibility of a system is provided. On another hand, parameter increase leads to greater complexity of system control. More important thing is that development of a complex subsystem of settings is a difficult task which usually consumes an essential part of the whole project resources. However, there are many repetitive steps, similar for the most projects. Thus, the problem of automation of settings subsystem development appears. This work is dedicated to the description of creation of a universal design pattern for such a subsystem. The pattern may be applied to any system development where realtime or suspended mode control is necessary, but mainly it is intended for multimedia systems which deal with graphics, audio, and video signal processing. It allows reaching the properties highly important in the context of the current high-speed information technologies evolution: integrity, clarity, flexibility, scalability, modularity, automation. The most valuable and prospective advantage is the automatic generation of graphic user interface by a set of input system parameters.Item Концептуальне злиття як метод організації міжпроектного повторного використання артефактів(2007) Федорченко, ВіталійReuse of existing solutions is typical for engineering and software engineering is not exception. Increasing effectiveness of software products creation and support is an ultimate goal. Nowadays software reuse is common approach for reaching this goal, so almost all modern methodologies and technologies are concentrated on this problem. In this paper is proposed one more effective cross-project reuse technology for artifacts described as text files collections (source code, XML, templates, HTML/CSS, etc); key idea of this technology is storing similar software projects in generalization tree.Item Шляхи трансформації ІТ-освіти в напрямі програмної інженерії: досвід факультету інформатики НаУКМА(2007) Бублик, Володимир; Глибовець, Микола; Олецький, ОлексійРозглянуто проблеми, пов’язані з наближенням навчальних програм із інформатики до вимог ІТ-індустрії в контексті розгортання бакалаврської програми «Програмна інженерія» на основі існуючих навчальних програм із комп’ютерних наук. Особливу увагу приділено впровадженню в навчальний процес практики виконання навчальних групових проектів із розробки програмних систем, а також організації і підтримці взаємодії «Бізнес-Освіта».Item Про необхідність інтеграції досліджень у галузі медицини, біології та комп'ютерних наук(2007) Глибовець, Микола; Гороховський, Семен; Гулаєва, Наталія; Кирієнко, ОксанаОстанніми роками спостерігають постійне зростання інтересу вчених до використання біологічних аналогій для побудови штучних інформаційних систем. Природа вже не один мільйон років терпляче відшліфовує свої алгоритми, людство не в змозі зрівнятися з такими термінами. Протягом мільйонів років еволюції природа створила досконалі механізми вирішення складних оптимізаційних завдань. Розкриття механізмів, відповідальних за створення та роботу таких складних систем як живі організми, надихнуло багатьох дослідників на моделювання цих процесів за допомогою комп’ютерів із метою вирішення практично важливих для людини завдань. У статті коротко проаналізовано результати, отримані в цьому напрямі.Item Передмова(2007) Глибовець, Микола