Верификация логических описаний с функциональной неопределенностью на основе моделирования
Стр: 409-416
Рубрики журнала
"Образовательные ресурсы и технологии"
Образовательная средаМетодики и технологии обучения и воспитанияИнформационные технологииМатематическая кибернетикаМетодологические исследованияУправление в социальных и экономических системахПрикладная геоинформатикаОбразование в интересах устойчивого развитияВсе рубрики
Все рубрики
Выпуск: 2016-2 (14)
Ключевые слова: Автоматизация проектирования, Верификация, Моделирование.
Аннотация: Рассматривается подход к верификации логических описаний комбинационных устройств для случая, когда исходное функциональное описание проектируемой схемы не полностью определено. Предлагаемый подход основан на моделировании поведения схемы для общего случая, когда входные стимулы представляются троичными векторами.
Сезонная динамика течений в озере Шира по натурным наблюдениям 2014-2015 гг.
Стр: 417-423
Выпуск: 2016-2 (14)
Ключевые слова: Динамика ветровых течений, Спектральный анализ.
Аннотация: В статье на основе данных натурных наблюдений проанализирована изменчивость ветровых течений на озере Шира в период 2014-2015 гг. Проведен спектральный анализ внутренних волн, вызванных переменным ветром.
Параллельная реализация полулагранжевого метода для уравнения неразрывности
Стр: 423-429
Выпуск: 2016-2 (14)
Ключевые слова: Уравнение неразрывности, Полулагранжевый метод, Численное решение, Параллельное программирование, OpenMP.
Аннотация: В работе представлен параллельный алгоритм численного решения двумерного уравнения неразрывности. Метод основан на точном тождестве двух простран-ственных интегралов на соседних слоях по времени и имеет первый порядок сходимо-сти. Проведено исследование эффективности параллельного алгоритма, реализован-ного с помощью технологии OpenMP.
Платформа для программирования игровой системы
Стр: 3-8
Выпуск: 2015-4 (12)
Ключевые слова: Проектирование, Игровые интеллектуальные системы, Спортивное программирование.
Аннотация: В статье идет речь о проектирование универсальной платформы для обучения и тестирования игровых интеллектуальных систем. Методы исследования, применяемые в работе, основаны на сравнении возможностей, которые предоставляют участникам существующие платформы для спортивного программирования. Предполагается, что спроектированная платформа, расширяющая список используемых языков программирования, может использоваться, в том числе, в целях популяризации соревнований по спортивному программированию.
Методика быстрого обучения программированию на основе изучения классов задач (6–7)
Стр: 3-20
Выпуск: 2015-3 (11)
Ключевые слова: Алгоритм, Программа, Язык программирования Паскаль, Массив, Ветвящиеся Паскаль-программы, Циклические Паскаль-программы.
Аннотация: Предлагается методика быстрого обучения программированию на основе изучения классов задач, разработанная и применяющаяся на практике в процессе обучения программированию студентов вузов.