Аннотация: Рассмотрен вопрос STEM-образования в современной школе и методических подходах к его реализации на предметах естественно-научного цикла в рамках проектной деятельности. Приведен пример этапов работы над проектом, разбиения на предметные сферы. Поскольку STEM образование подразумевает не только получение знаний по отдельным предметам, но и применение их на практике, ключевым моментом работы над проектом становится практическое применение. В рамках предметной области «Математика и информатика» это предполагает совершение расчетов и представление конечных результатов с помощью современных технических средств. Таким образом предмет математики переходит из рамок академического знания в рамки практических умений. В частности, в статье приведен пример формирования финансовой грамотности обучающегося в рамках работы над проектом. STEM-обучение позволяет объединить научные методы, математическое моделирование, технологические приложения и инженерный дизайн. Тем самым формируется инновационное критическое мышление, появляется возможность и необходимость интегрированного обучения по темам, в рамках которого происходит активная коммуникация обучающихся и формируется новое образовательное пространство.

Аннотация: Рассмотрены основные проекты, которые были реализованы в Вычислительном центре им. А.А. Дородницына Российской академии наук (ВЦ РАН) за последние 20 лет, т. е. с 1998 года. Одним из первых был реализован пилотный проект «Интегрированной системы информационных ресурсов (ИСИР) РАН». Успешное завершение этого проекта позволило развернуть работы по интеграции разнородных научных информационных ресурсов в общеакадемическую научную информационную систему. Важным этапом был проект создания Единого Научного Информационного Пространства (ЕНИП) РАН. Этот проект основывался на подсистеме «Научный институт РАН», созданной в ВЦ РАН и Центре научных телекоммуникаций (ЦНТК) РАН. Учитывая важность формирования цифровых библиотек, Российская академия наук приняла в 2006 году целевую научную программу «Создание ЦБ «Научное наследие России»», в соответствии с которой была реализована цифровая библиотека. Созданный портал «ГеоМета» – это стандартизированная и децентрализованная среда управления пространственной информацией, разработанная для доступа к базам геоданных, картографическим продуктам и связанным с ними метаданным из различных источников, облегчающая обмен пространственной информацией между организациями и ее совместное использование посредством интернета. В настоящее время основное направление работ – цифровая персональная семантическая библиотека LibMena. Основная задача этой системы заключается в предоставлении пользователю унифицированного представления для возможности автоматизированного извлечения интересующей его информации по определенной предметной области.

Аннотация: There are three main ways of obtaining information: searching, browsing and alerting. The first two are being widely developed by libraries using the Web, but the last has been somewhat neglected. The NewsAgent for Libraries project was originally funded under the eLib Programme by JISC (Joint Information Systems Committee of the UK higher education funding councils) as a two-year collaborative project started in April 1996.
Several small publishers of library and information science journals worked with network specialists, market evaluators and commercial software developers to design an open, distributed architecture for disseminating information via email and personalised Web pages. Dublin Core metadata was used, enhanced by NewsAgent specific keywords, to map stored user subject profiles against information feeds. Metadata was harvested using software robots to build an Oracle database where both user profiles and document attributes were stored.
Users can join the service via a Web page, to receive information updates by email or as a personalised Web page. Users can select predefined Topics in which they are interested, or create new named ones (stored queries). They can also modify existing Topics. Topics are presented in groups, called Channels.
A major part of the project was an extensive study of the potential end users of the service, before and after a prototype service was created. The project was considered a success, although further development of both software and marketing strategy were needed before a full scale launch could be planned. This is now expected in autumn 1999. In addition to this service, the software is being applied to other services by different organisations, targetted at groups such as small businesses, medical information and environmental information. It is expected that a commercial software package will be available from Fretwell-Downing Informatics as a result of the project.

Аннотация:

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

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

Аннотация: Работа посвящена описанию проекта обновления и распространения языка программирования Рефал (далее – просто Рефал), созданного в СССР в 1960-х годах В.Ф. Турчиным. Язык изначально предназначался для различных логических преобразований, прежде всего, текстового материала и ориентирован на использование непрограммистами. На практике сфера применения оказалась шире: машинный перевод, оптимизация и компиляция программ, доказательство теорем, моделирование сложных электронных схем, решение ряда задач искусственного интеллекта. Язык сейчас имеет достаточное количество последователей, главным образом, в научных кругах.Задачей описываемого проекта является создание продукта, позволяющего использовать Рефал в современных массовых приложениях и расширить круг его потенциальных пользователей до всего интернета. Был проведён опрос сообщества пользователей и разработчиков Рефала с целью получения представления о текущем состоянии дел, актуальных реализациях и путях развития языка. Были рассмотрены возможные средства реализации проекта. Информации о ведущихся аналогичных разработках получено не было.

Аннотация: Рассмотрены пути использования систем динамической математики (Geogebra и др.) в проектной деятельности учащихся общеобразовательной школы. Исследованы преимущества рассматриваемого подхода в сравнении как с использованием компьютерных программ в рамках стандартного учебного процесса, так и в сравнении с традиционными подходами в организации проектной деятельности.

Аннотация: Международная виртуальная обсерватория представляет собой реализацию концепции электронной науки в астрономии. Это мощная виртуальная среда, предназначенная для увеличения возможностей астрономических исследований и научного выхода данных. Виртуальная обсерватория интегрирует в единую среду гигантские астрономические архивы и базы данных, распределенные по всему миру, а также инструменты анализа данных и вычислительный сервис, используя при этом набор однородных стандартов и технологий. Международная виртуальная обсерватория объединяет все значительные национальные и международные проекты по созданию виртуальных обсерваторий, основная цель которых – объединить существующие архивы наземных и космических инструментов и обеспечить исследователям и общественности удобный доступ к ним. Эта задача представляется весьма значительной не только из-за колоссального объема астрономических данных, но и их спектрального разнообразия (от рентгена до радио). Каждый спектральный диапазон предоставляет свою, уникальную информацию о небесном объекте или явлении; при этом требуется специализированная экспертиза для правильной интерпретации. Вся эта информация также интегрируется в Международной виртуальной обсерватории и позволяет синтезировать данные, чтобы использовать их в конкретных научных приложениях.

Аннотация: Рассмотрены концептуальные основы создания на базе ведущих вузов Российской Федерации экспертно-аналитических центров для проведения независимой экспертизы научных текстов (диссертаций, монографий, статей и др.) на наличие в них некорректных заимствований. Предложены основные этапы работы центров по проверке научных текстов, а также проект формы экспертного заключения.

Аннотация:

Описан технологический цикл разработки поисковой системы по 14 книгам философской направленности Л.А. Секлитовой и Л.Л. Стрельниковой, состоящий из 6 этапов работ. Идеи статьи могут быть полезны при проектировании и разработке программного обеспечения, агрегирующего цитаты из серий книг, монографий, научных публикаций или научно-периодических изданий, например, в целях хранения персональных ссылок на вторичные источники, часто пригождающиеся при написании научных статей и оформлении презентаций в педагогике. Поисковая система является результатом года работ автора и группы из примерно 30 волонтёров. Система представляет собой сервис, встроенный в веб-приложение. Технологический стек: Jade, CSS, JS, Node.js, Express.js, ESLint, Jest.

Аннотация: Проект «Смарт-библиотека СФУ» основан, с одной стороны, на ведущей роли читателя в библиотеке, с другой – на необходимости автоматизированного удовлетворения его потребностей. Поскольку базовая цель читателя (студента) вузовской библиотеки известна, то понятны и потребности в учебно-методических материалах, связанных с актуальными образовательными дисциплинами. В рамках проекта специалистами Сибирского федерального университета (СФУ) ведется работа по созданию нескольких автоматизированных модулей с привязкой к личному кабинету студента (читателя). Методическая часть проекта связана с эксплицированием и удовлетворением потребностей читателя вуза в виде загрузок и обновлений списков рекомендованной литературы для актуальных дисциплин.

Аннотация:

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

В работе использован новый тестовый набор для верификации реализаций клиента протокола TLS 1.3 на соответствие спецификациям интернет, разработанный на основе спецификации RFC 8446 с использованием технологии UniTESK и методов мутационного тестирования. Для тестирования реализаций на соответствие формальным спецификациям применена технология UniTESK, предоставляющая средства автоматизации тестирования на основе использования конечных автоматов. Состояния тестируемой системы задают состояния автомата, а тестовые воздействия – переходы этого автомата. При выполнении перехода заданное воздействие передается на тестируемую реализацию, после чего регистрируются реакции реализации и автоматически выносится вердикт о соответствии наблюдаемого поведения спецификации. Мутационные методы тестирования используются для обнаружения нестандартного поведения тестируемой системы (завершение из-за фатальной ошибки, «подвисание», ошибки доступа к памяти) с помощью передачи некорректных данных, такие ситуации часто остаются за рамками требований спецификаций. В сообщения, сформированные на основе разработанной модели протокола, вносятся какие-либо изменения. Модель протокола дает возможность вносить изменения в поток данных на любом этапе сетевого обмена, что позволяет тестовому сценарию проходить через все значимые состояния протокола и в каждом таком состоянии проводить тестирование реализации в соответствие с заданной программой. Представленный подход доказал свою эффективность в нескольких наших проектах при тестировании сетевых протоколов, обеспечив обнаружение различных отклонений от спецификации и других ошибок. Текущая работа является частью проекта верификации протокола TLS 1.3 и охватывает реализации клиентской части протокола.

Аннотация:

Уже много лет консорциум W3C (World Wide Web Consortium) продвигает проект WAI (Web Accessibility Initiative), основной лозунг которого сформулирован как «Делаем веб доступным». В рамках инициативы WAI публикуются рекомендации WCAG (Web Content Accessibility Guidelines), помогающие разработчикам веб-сайтов учесть потребности людей с ограничениями по здоровью. В Российской Федерации разработан ГОСТ Р 52872-2019, основанный на рекомендациях WCAG. Некоторые положения ГОСТа Р 52872-2019 представлены в настоящей работе.

Закон № 181-ФЗ о социальной защите инвалидов, действующий с 1995 г., устанавливает норму, в соответствии с которой разработчики информационных ресурсов должны создавать инвалидам условия для беспрепятственного пользования средствами связи и информации. Общие положения закона № 181-ФЗ реализуются в директивных документах профильных ведомств. В настоящей работе рассмотрены положения приказа Минцифры 2023 г., определяющие порядок представления информации на сайтах организаций в виде, удобном для восприятия людьми с проблемами зрения и слуха. Положения упомянутого приказа Минцифры стимулируют разработчиков сайтов организаций, подведомственных органам управления в РФ разного уровня, обеспечивать достаточную контрастность текста, придерживаться адаптивного дизайна, оснащать нетекстовые объекты текстовым слоем или комментариями, упрощая работу инвалидов в интернете и способствуя развитию инструментов искусственного интеллекта.

Аннотация:

Электронные библиотеки в XXI веке стали важнейшими источниками информации во всех отраслях науки и техники, магистральным направлением развития мирового библиотечного дела, всей информационной деятельности. Первой электронной библиотекой стал Проект Гутенберг, основанный Майклом Хартом ровно 50 лет назад. Всемирно известным он стал лишь в 1990-е годы, после появления интернета и первых браузеров. Харт мечтал о 10000 оцифрованных книг и, по его признанию, достиг всех целей, которые ставил перед собой. В России одной из первых и наиболее значительной стала библиотека Максима Мошкова (1994). В данной статье прослеживаются этапы создания этих библиотек и биографии их создателей; анализируются трудности в их работе. Отдельное внимание уделено вопросам законодательства о продолжительности действия авторских прав.

Аннотация:

Проанализированы данные наблюдений 1979–2018 гг. в районе Северной Атлантики, полученные в результате реализации проекта Российской академии наук по исследованию атмосферы в Северной Атлантике (РАН-НААД). Набор данных предоставляет множество параметров поверхности и свободной атмосферы на основе сигма-модели и отвечает многим требованиям метеорологов, климатологов и океанографов, работающих как в исследовательской, так и в оперативной областях. Проведен анализ сезонной и многолетней изменчивости тепловых потоков и температуры поверхности воды в Северной Атлантике. В качестве основного метода исследования использованы схемы анализа диффузионных процессов. На основе заданных рядов длиной в 40 лет с 1979 по 2018 годы вычислены такие параметры диффузионных процессов, как среднее (снос процесса) и дисперсия (диффузия процесса) и построены их карты и временные кривые. Численные расчеты выполнены на суперкомпьютере Ломоносов-2 Московского государственного университета имени М.В. Ломоносова.

Аннотация:

Представлен опыт верификации реализаций сервера криптографического протокола TLS версии 1.3. TLS – широко распространенный криптографический протокол, предназначенный для создания защищенных каналов передачи данных и обеспечивающий необходимую для этого функциональность: конфиденциальность передаваемых данных, целостность данных, аутентификацию сторон. Новая версия протокола TLS 1.3 была представлена в августе 2018 года и имеет ряд существенных отличий по сравнению с предыдущей версией 1.2. Ряд разработчиков протокола TLS уже включил поддержку последней версии в свои реализации. Данные обстоятельства делают актуальным проведение исследований в области верификации и безопасности реализаций новой версии протокола TLS. В работе использован новый тестовый набор для верификации реализаций протокола TLS 1.3 на соответствие спецификациям интернета, разработанный на основе спецификации RFC 8446 с использованием технологии UniTESK и методов мутационного тестирования. Текущая работа является частью проекта верификации протокола TLS 1.3 и охватывает часть дополнительной функциональности и необязательных расширений протокола.

Для тестирования реализаций на соответствие формальным спецификациям применена технология UniTESK, предоставляющая средства автоматизации тестирования на основе использования конечных автоматов. Состояния тестируемой системы задают состояния автомата, а тестовые воздействия – переходы этого автомата. При выполнении перехода заданное воздействие передается на тестируемую реализацию, после чего регистрируются реакции реализации и автоматически выносится вердикт о соответствии наблюдаемого поведения спецификации. Мутационные методы тестирования используются для обнаружения нестандартного поведения тестируемой системы с помощью передачи некорректных данных. В поток обмена протокола, создаваемый в соответствии со спецификацией, вносятся некоторые изменения: либо изменяются значения полей сообщений, сформированных на основе разработанной модели протокола, либо изменяется порядок сообщений в потоке обмена. Модель протокола позволяет вносить изменения в поток данных на любом этапе сетевого обмена, что позволяет тестовому сценарию проходить через все значимые состояния протокола и в каждом таком состоянии проводить тестирование реализации в соответствии с заданной программой. На данный момент было обнаружено несколько отклонений реализаций от спецификации.

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

Аннотация:

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