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