Мы представляем два онлайн-инструмента для обработки и анализа различных данных по магнитным свойствам горных пород: FORCtool – онлайн-сервис для работы с частными петлями перемагничивания первого порядка (FORC), и HystOn – сервис обработки и анализа петель магнитного гистерезиса, кривых перемагничивания в обратном поле (backfield) и кривых изотермического намагничивания (IRM).

Тренды Data Engineering: SWE, Data Modeling и Storage.

Поговорим о современных платформах для GPGPU: CUDA, OpenCL, SYCL, oneAPI и других. Обсудим производителей и тенденции развития видеокарт. Разберемся, какие задачи стоит решать с помощью GPGPU, а какие нет. Поделимся историями из жизни и покажем, что GPGPU разработки не стоит бояться.

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

Скачать PDF

Видео доклада

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

Видео доклада

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

Скачать PDF