Формализация процессов испытаний бортовой аппаратуры космического аппарата
Стр: 131-138
Рубрики журнала
"Образовательные ресурсы и технологии"
Образовательная средаМетодики и технологии обучения и воспитанияИнформационные технологииМатематическая кибернетикаМетодологические исследованияУправление в социальных и экономических системахПрикладная геоинформатикаОбразование в интересах устойчивого развитияВсе рубрики
Все рубрики
Выпуск: 2016-2 (14)
Ключевые слова: Космический аппарат, Командно-измерительная система, Поддержка проведения испытаний, Сценарий испытаний.
Аннотация: В работе рассматривается задача формализации процесса испытаний бортовой аппаратуры космического аппарата. Описаны принципы представления процесса про-ведения испытаний в виде формальных сценариев. Представлены варианты использо-вания сценария на различных этапах испытаний.
О классификациях парадигм программирования и параллельном программировании
Стр: 138-144
Выпуск: 2016-2 (14)
Ключевые слова: Языки и системы программирования, Парадигмы программирования, Методы определения компьютерных языков, Параллельные алгоритмы, Учебное программирование.
Аннотация: Работа нацелена на привлечение внимания к проблеме изучения парадигм программирования, актуальность которой связана с расширением множества языков программирования и массовым распространением распределённых информационных систем, использующих взаимодействующие параллельные процессы.
Инструментальное средство создания продукционных экспертных систем на основе MDA
Стр: 144-151
Выпуск: 2016-2 (14)
Ключевые слова: Экспертные системы, Model Driven Architecture, Онтология, Инструментальное средство, Автоматизация научных исследований.
Аннотация: В работе описываются архитектура и функции инструментального средства создания экспертных систем на основе модельно-управляемого подхода, в частности методологии MDA (Model Driven Architecture). Рассмотрены основные компоненты и этапы технологии, приведены примеры результатов моделирования.
Задачи оптимального управления процессом ликвидации природного пожара
Стр: 151-156
Выпуск: 2016-2 (14)
Ключевые слова: Природный пожар, Управление, Оптимальный состав противопожарных сил и средств.
Аннотация: Предложена простая модель динамики природного пожара, позволяющая решать ряд задач синтеза систем управления этим процессом.
Развитие информатизации в муниципальном здравоохранении (на примере г. Абакана)
Стр: 157-160
Выпуск: 2016-2 (14)
Ключевые слова: Ретроспективный анализ, Классификация систем, Проблемы информатизации, Методика многокритериального выбора, Иерархические критерии.
Аннотация: В статье представлена классификация информационных систем в здравоохра-нении на основе ретроспективного анализа, выявлены проблемы и обозначены основ-ные задачи современного этапа информатизации города Абакана. Разработанная ме-тодика выбора оптимального варианта информатизации здравоохранения может применяться и в других регионах и муниципальных образованиях.