Рубрики журнала
"Образовательные ресурсы и технологии"

Образовательная средаМетодики и технологии обучения и воспитанияИнформационные технологииМатематическая кибернетикаМетодологические исследованияУправление в социальных и экономических системахПрикладная геоинформатикаОбразование в интересах устойчивого развитияВсе рубрики

Все рубрики

Обработка многомерных данных средствами технологии ТОФИ

Стр: 242-250

Выпуск: 2016-2 (14)

Аннотация: В статье рассматриваются вопросы анализа и визуализации многомерных дан-ных средствами технологии ТОФИ. Описаны технологические особенности построе-ния хранилища данных ТОФИ, многомерных кубов и срезов кубов. Основное назначение технологии ТОФИ – поддержка аналитической деятельности, произвольных запросов пользователей-аналитиков.

Связь между структурой и таксономией геномов хлоропластов хвойных

Стр: 250-253

Выпуск: 2016-2 (14)

Аннотация: В работе представлены предварительные результаты по изучению связи между структурой и таксономией геномов хвойных хлоропластов, полученные методом ди-намических ядер. Данная связь была выявлена. Показаны особенности применяемых методов, а также представлены выводы по полученным результатам.

Оценка влияния внешних факторов на российский рынок недвижимости

Стр: 253-258

Выпуск: 2016-2 (14)

Аннотация: В статье описаны результаты анализа российской строительной отрасли с по-мощью оценки корреляции и дисперсии данных. Данное исследование доказывает, что метод корреляционной адаптометрии эффективен при исследовании рынка недвижи-мости и прогнозировании кризисов.

Верификация функционально-потоковых параллельных программ с помощью интервальных формул

Стр: 259-262

Выпуск: 2016-2 (14)

Аннотация: В статье описан оригинальный метод верификации программ на функционально-потоковом языке параллельного программирования Пифагор, использующий для спе-цификации программы и представления промежуточных утверждений формулы с ин-тервальными константами.

Семантика типов данных функционально-потокового языка параллельного программирования Пифагор

Стр: 263-269

Выпуск: 2016-2 (14)

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