Рубрики журнала
"Образовательные ресурсы и технологии"
Все рубрики
Выпуск: 2016-2 (14)
Ключевые слова: OLAP, Построение хранилищ данных, Оперативная аналитическая обработка данных, Технология ТОФИ.
Аннотация: В статье рассматриваются вопросы анализа и визуализации многомерных дан-ных средствами технологии ТОФИ. Описаны технологические особенности построе-ния хранилища данных ТОФИ, многомерных кубов и срезов кубов. Основное назначение технологии ТОФИ – поддержка аналитической деятельности, произвольных запросов пользователей-аналитиков.
Связь между структурой и таксономией геномов хлоропластов хвойных
Выпуск: 2016-2 (14)
Ключевые слова: ДНК, Слово, Частота, Распределение, Корреляция, Эволюция, Порядок.
Аннотация: В работе представлены предварительные результаты по изучению связи между структурой и таксономией геномов хвойных хлоропластов, полученные методом ди-намических ядер. Данная связь была выявлена. Показаны особенности применяемых методов, а также представлены выводы по полученным результатам.
Оценка влияния внешних факторов на российский рынок недвижимости
Выпуск: 2016-2 (14)
Ключевые слова: Кризис, Строительная отрасль, Корреляции, Рынок недвижимости, Адаптация.
Аннотация: В статье описаны результаты анализа российской строительной отрасли с по-мощью оценки корреляции и дисперсии данных. Данное исследование доказывает, что метод корреляционной адаптометрии эффективен при исследовании рынка недвижи-мости и прогнозировании кризисов.
Верификация функционально-потоковых параллельных программ с помощью интервальных формул
Выпуск: 2016-2 (14)
Ключевые слова: Верификация, Спецификация, Параллельное программирование, Функциональное программирование.
Аннотация: В статье описан оригинальный метод верификации программ на функционально-потоковом языке параллельного программирования Пифагор, использующий для спе-цификации программы и представления промежуточных утверждений формулы с ин-тервальными константами.
Семантика типов данных функционально-потокового языка параллельного программирования Пифагор
Выпуск: 2016-2 (14)
Ключевые слова: Аксиоматическая семантика типов данных, Функционально-потоковое параллельное программирование, Язык программирования Пифагор.
Аннотация: Работа посвящена описанию семантики типов данных для функционально-потокового языка параллельного программирования Пифагор. Рассматривается два вида семантики: математическая семантика на основе неформальной теории мно-жеств и аксиоматическая семантика.