|
page |
Front pages |
|
Preface |
3 |
Table of contents |
5 |
Index of authors |
9 |
PHILOSOPHY AND METHODOLOGY OF INFORMATICS |
|
Проблема эффективности междисциплинарных исследований
Александр Кургаев, Александр Палагин |
11 |
О шагах системного синтеза (продолжение «Методологического меморандума» – часть II)
Анатолий Крисилов, Авенир Уемов |
18 |
Модель универсума
Мержвинский Анатолий |
31 |
Ситуационный центр как инструмент для проведения форсайтных исследований
Виталий Вишневский, Сергей Симонов |
40 |
Обобщенная оценка организационных систем
Виталий Вишневский, Владимир Калмыков, Олег Малышев |
46 |
Моделирование сложных искуственных систем с использованием концепции «искусственная жизнь»
Богдан Мысник |
51 |
О целостности образа: доформальное исследование
Юрий Валькман |
58 |
К интеграции онтологий предметных областей
Александр Палагин, Андрей Михайлюк, Виталий Величко, Николай Петренко |
69 |
Компьютерные онтологии и онтолого-управляемая архитектура информационных систем
Николай Петренко |
86 |
Использование специализированной лексической онтологии для автоматизации формирования онтологии предметной области по естественно-языковым текстам
Ольга Лесько, Юлия Рогушина |
93 |
Критерии принятия решений при выборе редактора онтологий
Дмитрий Климань, Вера Любченко |
101 |
Integration of Financial Domain Knowledge on Base of Semantic Web Technologies
Anatoly Gladun, Julia Rogushina, Rodrigo Martínez-Béjar, Francisco García-Sanchez and Rafael Valencia-García |
106 |
A Comprehensive Approach and User-oriented Policy for Managing Risk and Safety
Kristian Milenov, Krassimir Markov, Venko Bozhilov, Radko Radkov, Pavel Milenov |
113 |
Analogies Between Texts: Mathematical Models and Applications in Computer-assisted Knowledge Testing
Leonid Leonenko |
128 |
On Semantics and Syntax of the BSDT Primary Language
Petro Gopych |
135 |
NEURAL NETWORKS AND PATTERN RECOGNITION |
|
Сравнительный анализ методов многокритериальной оптимизации архитектуры нейросетевых классификаторов
Альберт Воронин, Юрий Зиатдинов, Анна Антонюк |
146 |
Корректные модели алгоритмов распознавания
Виктор Краснопрошин, Владимир Образцов |
154 |
Метод выделения признаков на основе совместных векторов моментных фазовых распределений и моментов Зернике
А.Н. Чернодуб |
162 |
Обучение рекуррентной нейронной сети методом контролируемого возмущения для управления динамическими объектами
Д. А. Дзюба, А. Н. Чернодуб |
170 |
Исследование модификации FOTSK нечеткой нейронной сети TSK в задачах прогнозирования
Юлия Проскурня, Богдан Гривко |
177 |
Прогнозирование в деятельности предприятии с использованием нейронных сетей
Галина Сетлак |
186 |
Создание вычислительных моделей в области горения конденсированных систем средствами data mining
Виктор Абруков, Сергей Абруков, Елена Карлович |
193 |
Protein Structure Prediction on a Three-dimensional Triangular Lattice
Leonid Hulianytskyi, Vitalina Rudyk |
198 |
DECISION MAKING |
|
Individually Optimal Principles of Distribution of Greenhouse Gas Emmision Quotas
Olexij Voloshin, Sergij Maschenko |
209 |
Нечеткие обобщения модели распределения затрат
Алексей Ф. Волошин, Василий А. Лавер |
215 |
Нечеткая модель удовлетворительного решения задачи выбора
Николай Н. Маляр |
220 |
О принятии решений при анализе малых возмущений линейных моделей
Всеволод Богаенко, Владимир Кудин |
226 |
Исследование модифицированной системы Мартингейл для трейдинга на валютных рынках
Юрий Зайченко, Владислав Плаксин |
232 |
Прогнозирование риска банкротства банков в условиях неопределенности с применением нечетких нейронных сетей
Юрий Зайченко, Ольга Войтенко |
236 |
Построение и исследования нечеткой модели потребления
Олег Пошелюжный |
240 |
Параллелизация кооперативных моделе-ориентированных метаэвристик
Сергей Сиренко |
246 |
Практическое использование виртуальной лаборатории для расчета надежности приборов и резервированных систем
Александр Палагин, Владимир Романов, Игорь Галелюка, Крассимир Марков, Виталий Величко, Александра Ковырёва, Петер Станчев, Крассимира Иванова, Илия Митов |
252 |
Исследование информационных процессов для эффективного воспроизведения дактильного жестового языка
Юрий Крак, Юрий Кривонос, Богдан Троценко |
262 |
A Graph Model Of Shocked Financial System
Velina Slavova, Lyubomir Mirchev, Hristian Elefteridis |
272 |
Business Informatics Study in CEE Counties
Vasyl Grygorkiv, Ruslan Biloskurskyy, Andrii Verstiak, Igor Vinnychuk |
284 |
MODERN (e-) LEARNING |
|
Современные проблемы образования
Алексей Ф. Волошин |
290 |
Проблемы вхождения Украины в европейское образовательное пространство
Олег К. Закусило |
297 |
Знание-ориентированные системы разработки электронных курсов обучения
Александр Палагин, Юрий Тихонов, Николай Петренко, Виталий Величко |
304 |
Дидактический дизайн системы обучения нового поколения
Елена Вахтина, Александр Вострухин |
314 |
Образовательные порталы для школ – ожидания и реальность
Диана Богданова |
323 |
Элементы адаптивной технологии оценивания знаний в режиме реального времени
Константин Юрченко, Виталий Снитюк |
331 |
Организация процесса индивидуализированного обучения на базе адаптивной системы дистанционного обучения и контроля знаний EduPro
Павло Федорук |
335 |
Образование 2.0: тенденции и технологии
Любовь Шарабаева, Ольга Захарова |
341 |
Мультимедийные образовательные системы: опыт внедрения
Тамара Клебанова, Роман Яценко, Ольга Захарова |
347 |
«Открытые» ответы в компьютерном тестировании знаний
Леонид Леоненко |
355 |
MATHEMATICAL FOUNDATIONS |
|
Евклидовы пространства: Конструктивные методы описания базовых структур и их использование
Владимир Донченко |
362 |
Мультимножества – альтернатива теоретико-множественной платформы в математических основаниях информационных технологий
Дмитрий Буй, Юлия Богатырёва |
377 |
Структура частично упорядоченного семейства мультимножеств
Дмитрий Буй, Юлия Богатырёва |
387 |
Обобщенное исчисление на домене
Дмитрий Буй, Ирина Глушко |
392 |
Disturbance of Statistical Stability
Igor Gorban |
398 |
Multiple Folding of VLSI Regular Structure via Boolean Satisfiability
Liudmila Cheremisinova |
411 |
Simple Constrained Folding of Programmable Logic Arrays of Special Type
Liudmila Cheremisinova, Irina Loginova |
420 |
Application of Pareto Optimization Approach to Observability Problem in Linear Aerodynamic Models
Andriy Zavorotnyy, Veda Kasyanyuk |
429 |
Cycle Routes Optimization for not Full Graph
Anatoly Panishev, Anton Levchenko |
435 |
Modified Branch and Bound Algorithm for Solving the Hamiltonian Rural Postman Problem
Andriy Morozov, Anatoliy Panishev |
442 |
Comparative Analysis of Statistical Properties of the Hurst Exponent Estimates Obtained by Different Methods
Ludmila Kirichenko, Tamara Radivilova |
451 |
Some Properties of Acyclic Compositional Programs
Tetiana Parfirova, Vadim Vinnik |
460 |