SCI Библиотека

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

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

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

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

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

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

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

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

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

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

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

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