SCI Библиотека

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

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

В статье предпринимается попытка выделить из обширного творчества Бруно Латура последовательную теоретическую программу, получившую от него название «композиционизм». Целью композиционизма стоит считать выведение процедуры составления «общего мира», который понимается как форма реальности, способная обеспечить максимально благоприятные условия жизни для максимального числа составляющих ее агентов. Статья состоит из двух частей. В первой из них обозначаются теоретические особенности становления композиционистского проекта в контексте развития политической мысли Латура в период с 1980-х по 2010-е годы. Будучи впервые сформулирована в книге «Политики природы», дабы найти альтернативу миру, составленному господствующей и по сей день Конституцией Нового времени, или Модерна, теория композиционизма постепенно развивалась на протяжении всей дальнейшей академической карьеры Латура. Первой попыткой предложить подход к реализации идеи композиции общего мира стоит считать «Парламент вещей». Позже, в 2000-х годах, Латур во многом пересмотрит свой политический проект. Обратившись к традиции прямой демократии, он попытается сделать его более эмпирическим. Так на свет появится «объектно-ориентированная политика», или же Dingpolitik, неотъемлемой частью которой стоит считать также и описанный в «Исследовании модусов существования» политический тип высказывания [POL], всегда строящийся вокруг вещей. Во второй части статьи содержится попытка применения выделенного теоретического аппарата к интерпретации поздних работ Латура, посвященных проблеме климатического кризиса. Среди них исследование Où Atterrir? («Где приземлиться?»), воплотившее в себе, как стоит считать, позитивный проект по преодолению «политического оцепенения» перед лицом климатической угрозы.

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

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

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

Аппроксимация передаточной функции звена чистого запаздывания с помощью минимально-фазовых звеньев представляет существенный теоретический интерес и также может быть полезным в практическом плане. Смысл такой аппроксимации состоит в отыскании возможностей применения хорошо развитого и продолжающего развиваться инструментария аналитических методов синтеза регуляторов к задачам управления объектами, содержащими в своей математической модели звенья чистого запаздывания. Разумеется, аппроксимация всегда неточна, но вопрос обеспечения достаточной точности всегда может быть решён путем использования модели более высокого порядка, коль скоро с ростом порядка модели уменьшается погрешность аппроксимации. Как правило, в литературе обсуждают модели аппроксимаций Тейлора и Паде, отдавая явное предпочтение модели Паде. Против этой модели можно выдвинуть такие возражения, как наличие существенного по величине отклика на выходе такой модели в момент поступления на её вход входного сигнала, что явно не соответствует реальному звену запаздывания ни в коей мере. Кроме того, отклик такой модели на ступенчатый скачок содержит большое количество колебаний в обратном направлении, чего также нет в отклике звена запаздывания. Данная статья ставит целью найти лучшую аппроксимацию в классе фильтров низкой частоты. В литературе найдено определение полиномов, получаемых методом численной оптимизации задачи отыскания наилучшего отклика при условии, что старший и младший коэффициенты этих полиномов равны единице. Эти полиномы, получившие название полиномов Чегорского, могут быть после некоторого масштабного преобразования в частотной области использованы для создания нового ряда полиномов, которые целесообразно использовать в знаменателе передаточной функции искомых фильтров, поскольку получаемые таким образом фильтры наилучшим образом отвечают поставленной задаче. Ранее эти полиномы были рассчитаны до 12 порядка включительно, расчетов для более высоких порядков в литературе нет. Причиной этому могли быть технические трудности решения задачи многопараметрической оптимизации, либо недостаточный интерес к полиномам высших порядков, поскольку о таком их применении не было известно. Данная статья решает задачу отыскания указанных полиномов до 26 порядка включительно, что даёт инструментарий для аппроксимации звена чистого запаздывания фильтрами низких частот со всеми положительными коэффициентами.

Организация АО «Новосибирский институт программных систем» празднует 1 апреля Пятидесятилетний юбилей со дня своего основания. Являясь учредителем журнала «Автоматика и программная инженерия», организация имеет честь сообщить своим читателям основные сведения о своей пятидесятилетней истории.

В статье рассматривается поиск ошибок помеченных данных в исходном коде программ, т.е. ошибок, вызванных небезопасным использованием данных, полученных из внешних источников, которые потенциально могут быть изменены злоумышленником. В качестве основы использовался межпроцедурный статический анализатор Svace. Анализатор осуществляет как поиск дефектов в программе, так и поиск подозрительных мест, в которых логика программы может быть нарушена. Целью является найти как можно больше ошибок при приемлемой скорости и низком уровне ложных срабатываний (<20–35%). Для поиска ошибок Svace с помощью компилятора строит низкоуровневое типизированное промежуточное представление, которое подается на вход основному анализатору SvEng. Анализатор строит граф вызовов, после чего выполняет анализ на основе резюме. При таком анализе функции обходятся в соответствии с графом вызовов, начиная с листьев. После анализа функции создается ее резюме, которое затем будет использовано для анализа инструкций вызова. Анализ имеет как высокую скорость, так и хорошую масштабируемость. Внутрипроцедурный анализ основан на символьном выполнении с объединением состояний в точках слияния путей. Для отсеивания несуществующих путей для некоторых детекторов может использоваться SMT-решатель. При этом SMT-решатель вызывается, только если есть подозрение на ошибку. Анализатор был расширен возможностью поиска дефектов, связанных с помеченными данными. Детекторы реализованы в виде плагинов по схеме источник-приемник. В качестве источников используются вызовы библиотечных функций, получающих данные извне программы, а также аргументы функции main. Приемниками являются обращение к массивам, использование переменных как шага или границы цикла, вызов функций, требующих проверенных аргументов. Реализованы детекторы, покрывающие большинство возможных типов уязвимостей, для непроверенных целых чисел и строк. Для оценки покрытия использовался проект Juliet. Уровень пропусков составил от 46.31% до 81.17% при незначительном количестве ложных срабатываний.

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