Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення інформатики
→
Проблеми програмування
→
Проблеми програмування, 2010
→
Проблеми програмування, 2010, № 2-3
→
Перегляд Проблеми програмування, 2010, № 2-3 за назвою

Перегляд Проблеми програмування, 2010, № 2-3 за назвою

Результати 1-20 з 88

Наступна сторінка

E-ditorial – віртуалізація роботи редакційної колегії фахового періодичного видання

Даревич, Р.Р.; Досин, Д.Г.; Литвин, В.В.; Мриглод, O.І.; Шкутяк, Н.В. (2010)

Розглядається архітектура віртуальної самокерованої редакційної колегії фахового періодичного видання як системи штучного інтелекту, яка містить методи і засоби автоматичної підготовки до електронного друку поданих статей. ...
Interactive assessment of simulated service qualities by business stakeholders: principles and research issues

Shekhovtsov, A. (2010)

We present the principles of an approach supporting the stakeholder involvement in a software process for service-oriented systems in a form of assessing the perceived quality of the software under development in its usage ...
I/O benchmarking of data intensive applications

Mordvinova, Olga; Ludwig, Thomas; Bartholomä, Christian (2010)

Abstract. The increasing computerization of the society over the last decade led to the increased data volumes stored over the world. The need to handle and store these massive amounts of data, arising from diverse sources ...
Multi-Comparand Associative Machine and its Application to Relational Algebra Operations

Nepomniaschaya, A.S. (2010)

In this paper, we propose a new multi-comparand associative machine (MCA-machine) and its application to relational algebra operations. We first offer a new efficient associative algorithm for the multi-comparand parallel ...
Neural and statistical techniques for remote sensing image classification

Grypych, Iu.; Kussul, N.; Kussul, O. (2010)

This paper examines different approaches to remote sensing images classification. Included in the study are statistical approach, in particular Gaussian maximum likelihood classifier, and two different neural networks ...
Simple non-deterministic rewriting in verification

Letichevsky, A.; Peschanenko, V. (2010)

Abstract. We discuss the non-deterministic rewriting in application for engine functions of Verification of Formal Specification (VFS) system in this paper. VFS – are tools to prove properties of systems described as formal ...
Solving contest problems via formal program verification

Shilov, N.V.; Shilova, S.O. (2010)

The interface between mathematics and computer science is many-sided. In particular, E.W. Dijkstra promoted a special “computer science” approach to mathematics problem solving. The approach combines a heuristic algorithm ...
Автоматизація складання граматичних словників лексики тематичних текстів

Міщенко, Н.М.; Феліжанко, О.Д.; Щоголева, Н.М. (2010)

Пропонуються програмні засоби для cкладання граматичних словників лексики тематичних текстів за результатами безсловникового морфологічного аналізу таких текстів. Розглядаються особливості структури та функції запропонованих ...
Автоматизированное создание правил управления доступом к данным средствами СУБД

Блажко, А.А.; Сауд, Ибаа (2010)

Прикладные программы доступа к базам данных в корпоративной информационной системе с целью обеспечения гибкости политики безопасности при доступе к данным требуют управления доступом через программирование механизма доступа ...
Автоматично налагоджуваний паралельний алгоритм чисельного розв’язання багатовимірної задачі моделювання навколишнього середовища

Іваненко, П.А.; Дорошенко, А.Ю.; Суслова, Л.; Черниш, Р.І. (2010)

Розглядається процес створення авто-тюнера для задачі чисельного моделювання з використанням модифікованого адитивно- усередненого розщеплення з покоординатною декомпозицією області. Наведені результати роботи авто-тюнера ...
Адаптивний нейромережевий комплекс для автоматичної діагностики стохастичних динамічних об’єктів атомної електростанції

Шараєвський, Г.І. (2010)

Запропоновано підхід до навчання та автоматичної адаптації діагностичної нейромережевої структури на основі топології Кохонена в умовах апріорної невизначеності множини класів, що підлягають розпізнаванню. Цей підхід ...
Алгебро-логічний підхід до аналізу та обробки текстової інформації

Палагін, О.В.; Кривий, С.Л.; Петренко, М.Г.; Бібіков, Д.C. (2010)

Пропонується формальна модель системи аналізу та обробки текстової інформації на основі алгебри множин і відношень та простої логічної мови. Описані алгебро-логічний підхід до аналізу природномовного тексту та алгебраїчна ...
Алгоритм определения изоморфизма XML-схем

Сергеев, А.П. (2010)

Рассматривается алгоритм определения изоморфизма XML-схем. Демонстрируется его применение в целях оптимизации памяти, выделяемой для хранения XML-документов, путем исключения XML-документов, XML-схемы которых изоморфны ...
Аналіз сучасних пошукових систем на предмет їх придатності для пошуку та вилучення інформації про однотипні об’єкти з WEB-простору

Бурматова, М.С.; Оленін, М.В. (2010)

Проаналізовані основні сучасні світові та українські пошукові системи на предмет їх придатності для вилучення інформації про однотипні об’єкти з простору Web. Системи проаналізовані за наступними критеріями: ступінь ...
АРМ – як інструментарій проектування та програмування складних систем на основі системного аналізу

Антонов, В.М.; Антонова-Рафі, Ю.В. (2010)

Робота присвячена розгляду питань теорії і практики кіберакмеологічного підходу до управління високопродуктивними когнітологічними автоматизованими робочими місцями (АРМ), який полягає у широкому використанні комп‟ютерних ...
Багатокритеріальний аналіз ризиків порушення безпеки інформації в Grid-системах

Лавренюк, С.І.; Шелестов, А.Ю.; Лавренюк, А.М. (2010)

Запропоновано використання багатокритеріального аналізу ризиків порушення безпеки інформації в Grid-системах, придатного для ефективного розв’язування задачі оцінювання рівня доступності та перевірки функціональної ...
Використання багатоядерних процесорів для просторової анімації жестової мови

Кривонос, Ю.Г.; Крак, Ю.В.; Бармак, О.В.; Троценко, Б.А. (2010)

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

Любченко, В.В. (2010)

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

Шишацька, О.В. (2010)

Розглянуто сильну та слабку тризначні логіки Кліні. Показано виникнення сильної логіки зі звичайної булевої логіки шляхом застосування загальнозначущої конструкції розповсюдження операцій з елементів на множини елементів ...
Генерация тестовых сценариев на основе формальной модели

Летичевский, А.А.; Колчин, А.В. (2010)

Описан метод направленного поиска для автоматического построения тестовых сценариев в процессе верификации. Основная цель – достижение семантического соответствия между полученными тестовыми сценариями и функциональными ...

Результати 1-20 з 88

Наступна сторінка

Пошук

Розширений пошук

Перегляд

Вся бібліотека
Колекція

Перегляд Проблеми програмування, 2010, № 2-3 за назвою

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2010, № 2-3 за назвою

Пошук

Перегляд

Вся бібліотека

Колекція

Мій обліковий запис