SCI Библиотека

Применимость методов машинного обучения для тестирования моделей процессора в настоящее время исследуется в крупнейших иностранных технологических компаниях (исследовательские центры ARM, Intel, IBM и другие) и институтах. Однако исследования проводятся только с точки зрения машинного обучения в области формальной верификации, генерации тестов с использованием символического выполнения и решения ограничений, а также для поиска нерегулярных ошибок в уже изготовленном кристалле СБИС микропроцессора. Новизна предлагаемого решения в применении машинного обучения для имитации поведения приложений пользователя с целью повышения качества тестирования RTL-модели микропроцессора направленными псевдослучайными методами генерации тестов. В рамках данной работы планируется показать применимость инструментов машинного обучения для функциональной верификации RTL-модели микропроцессора на системном уровне. Основным результатом проведенного исследования является возможность имитировать поведение набора пользовательских приложений на уровне машинного кода, а также автоматизация процесса анализа труднодостижимых в рамках классического маршрута верификации ситуаций с целью повышения тестового покрытия.

Актуальность статьи обусловлена важностью повышения возможностей содержания основного общего биологического образования в развитии мышления обучающихся в связи с существующей тенденцией к снижению уровня образовательных результатов в основной школе по естественнонаучным предметам (согласно данным национального исследования качества образования). Цель статьи -подойти к решению проблемы развития естественнонаучного мышления системно, через построение соответствующей методики (включающей целевой, содержательный, процессуальный и оценочно-результативный компоненты) и ее апробации в ходе опытно-экспериментальной работы. Целевой компонент методики - планируемые познавательно-логические учебные действия построены с учетом педагогической таксономии, направленной на последовательное усложнение познавательной деятельности. Содержательный компонент усилен на основе введения теоретических понятий принципа системности («система», «живая система и ее свойства»), рассмотрения живых систем в порядке их соподчинения (от клетки и организма - к популяции, виду, природному сообществу и экосистеме). Это продиктовано логикой научного познания (нельзя понять свойства сложной системы, не изучив ее элементы - более просто организованные системы). Обращение к принципу системности обусловлено необходимостью усиления интегративной и экологической направленности содержания, реализации его возможностей в формировании естественнонаучного мышления. Процессуальный компонент методики основан на применении задачной технологии, адекватной педагогической таксономии; овладении способами познавательно-логической и исследовательской деятельности, методологией научного исследования. В статье обосновано, что в качестве средств диагностики раз- вития естественнонаучного мышления могут служить уровневые характеристики, отражающие овладение планируемыми познавательными действиями и входящими в них логическими операциями.

В статье рассмотрены отечественные и зарубежные технологии аппаратной поддержки вычислений процессоров и анализаторов программного обеспечения как методов снижения уязвимостей памяти. Приведены основные архитектурные отличия таких технологий защиты как Эльбрус, CHERI и Arm MTE. Исследованы существующие статические и динамические программные анализаторы на предмет методологии работы и преимуществ по выявлению дефектов в программном коде.

Статья посвящена проблеме формирования у младших школьников российской идентичности с помощью работы над текстовыми задачами с национально-региональным содержанием. В работе приводится типизация задач с выделением религиозной, идеологической, национальной и территориальной идентичности. Отталкиваясь от анализа литературных источников, авторы статьи останавливаются на национальной и территориальной идентичности, демонстрируя возможности их формирования посредством текстовых математических задач. В статье предложена авторская классификация задач национально-регионального содержания, сформулированы цели каждого из выделенных блоков, представлены конкретные задачи, составленные на материале Республики Мордовия.

В статье представлен один из типов заданий новой рабочей тетради по геометрии для 7-го класса к учебнику авторов Л. С. Атанасян и др. Предлагается использовать наглядные схемы для обучения доказательным рассуждениям. Описаны различные виды упражнений, основой которых является прием схематизации, способствующий осознанному овладению учащимся процессом решения задачи на доказательство. Также рассмотрены приемы развития умения самоорганизации при работе со схемами.

Рассматриваются хеш-функции, основанные на замещении символов алфавита целыми неотрицательными числами. Основным параметром таких функций является отображение T, осуществляющее замещение; основное назначение функций - выполнение статического хеширования; главные преимущества -высокая скорость работы и простота их реализации. Предлагается алгоритм, выполняющий оптимизацию параметра T с целью уменьшения количества коллизий для заданного словаря. Приводятся примеры эффективных хеш-функций, основанных на замещении символов.

Целью данной статьи является изучение опыта, особенностей и влияния Китая в сфере образования в условиях цифровизации с опорой на международную версию Национальной платформы государственных услуг «умного образования» Китая и Национальной платформы «умного образования». В материалах исследования описываются статус создания платформ, рассматриваются основные содержательные особенности данных платформ, включая электронные учебные ресурсы, сервисные проекты, обширная поддержка шестью языками и многие другие функции. В представленном материале обсуждается влияние цифровизации на образование в Китае. Авторы попытались обосновать использование национальных платформ Китая как определенный ресурс международного сотрудничества, академической мобильности обучающихся и преподавателей. Изучая международную версию Национальной платформы государственных услуг «умного образования» Китая и Национальной платформы «умного образования», мы можем получить более глубокое понимание опыта и особенностей Китая в условиях цифровизации образования, а также его последствий для развития глобального образования в условиях цифровизации.

Современная система образования Чада имеет структуру, схожую с большинством стран мира. При этом с 1960-х гг. в образовательной политике Чада не преодолены проблемы высокой неграмотности населения, низкого качества образования в условиях педагогики больших групп, второгодничества, гендерного неравенства в получении образования, нехватки учителей и преподавателей. Для современного Чада важна приверженность к соблюдению конституционных основ государства, однако сохраняется противоречие между задачами государства по реализации государственной политики в сфере образования и техническими возможностями управления модернизацией чадского образования с опорой на африканские ценности. В статье показаны правовые основания развития государственной политики в сфере образования в республике Чад.

Описан пример синтеза многопроцессорной вычислительной структуры. В основе алгоритмов синтеза лежат сетевые модели и тензорная методология. Описаны основные этапы синтеза вычислительных структур, которые включают декомпозицию исходной модели, вычисление тензора преобразования, формирование программы синтеза новой структуры, а также синтез самой вычислительной структуры. Проанализированы результаты синтеза с точки зрения эффективности загрузки процессорных элементов.

Развитие сети Интернет наряду с повышением цифровых навыков пациентов делает их компетентными в некоторых вопросах медицинского обслуживания. Целью настоящего исследования являлась адаптация методики «Шкала онлайнпоиска информации о здоровье» на русскоязычной выборке с установлением взаимосвязей с такими киберфеноменами, как думскроллинг, киберхондрия и зависимость от социальных сетей. Во всероссийском онлайн-опросе, проведенном с помощью сервиса Toloka. AI, приняли участие 1025 человек. Инструментарий включал следующие опросники: шкалу онлайн-поиска информации о здоровье (Online Health Information Seeking Scale, OHISS), шкалу думскроллинга (Doomscrolling Scale, DS), шкалу тяжести киберхондрии (Cyberchondria Severity Scale, CSS), Бергенскую шкалу зависимости от социальных сетей (Bergen Social Media Addiction Scale, BSMAS). Результаты исследования показали, что русскоязычная версия OHISS имеет однофакторную структуру и высокую внутреннюю согласованность (α-Кронбаха = 0,845; ω-Макдональда = 0,847). Показатели по OHISS были статистически значимо позитивно взаимосвязанными с показателями думскроллинга, киберхондрии и зависимости от социальных сетей. Онлайн-поиск информации о здоровье не был связан с возрастом респондентов, их уровнем дохода и уровнем образования. Более частому онлайн-поиску информации о здоровье были подвержены женщины, респонденты, состоящие в браке с раздельным проживанием, и респонденты, считающие себя довольно религиозными. Полученные с помощью Шкалы онлайн-поиска информации о здоровье эмпирические данные позволяют считать адаптированную шкалу психометрически обоснованным диагностическим инструментом и рекомендовать ее для решения практических и исследовательских задач.