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