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