SCI Библиотека

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

Непрерывно-временные сети Петри (НВСП), где каждому переходу сети ставится в соответствие временной интервал его срабатывания, используются для моделирования сложных параллельных систем, критичных с точки зрения безопасности. В общем случае, пространство состояний НВСП бесконечно и несчетно и, следовательно, анализ их поведения довольно сложен. ‘Истинно параллельная’ семантика представляет поведение НВСП в виде набора действий, отношение причинной зависимости между которыми моделируется частичным порядком, а отношение параллелизма – отсутствием порядка. Такое представление является более приемлемым для изучения следующих свойств параллельных систем: отсутствие тупиков, ‘справедливость’ (fairness), максимальный параллелизм и т.д. В статье вводятся и исследуются семантики шага (множества параллельных действий) и частичного порядка (множества упорядоченных по причине и параллельных действий) в контексте НВСП, поведение которых определяется слабой временной стратегией (т.е. ход модельного времени не ограничен срабатыванием переходов сети) и устойчиво атомарной техникой сброса часов (т.е. при сбросе часов срабатывание переходов сети рассматривается как атомарное действие).

Предложены шесть методов бинаризации алгоритма стаи ласточек для решения задачи отбора признаков по методу обертки. Эффективность выбранных подмножеств признаков оценивается двумя классификаторами: нечетким классификатором и классификатором на основе k-ближайших соседей. При поиске оптимального подмножества признаков учитывались количество признаков и точность классификации. Разработанные алгоритмы протестированы на наборах данных из репозитория KEEL. Для статистической оценки методов бинаризации использовался двухфакторный дисперсионный анализ Фридмана для связных выборок. Лучшие способности к отбору признаков показал гибридный метод, основанный на методе модифицированных алгебраических операций и введенной нами операции MERGE. Лучшая точность классификации получена с использованием метода V-образной функции трансформации.

В статье анализируется учение В. Зомбарта о генезисе и социальной сущности капитализма в аспекте культуркритики. Критика техники выделяется как специальный дискурс внутри культуркритики. Первая гипотеза заключается в том, что критика техники Зомбарта есть критика современного капитализма и требует рассмотрения в контексте фундаментальных философских и социологических дискуссий вокруг трансформации роли техники в культуре Германии накануне Первой мировой войны. Идеальный тип критики техники определяется инструментальной трактовкой техники и убеждением в том, что механизация и массовизация современного общества, отчуждение труда, психологическая деградация etc. суть следствия инверсии отношения «назначение/средство». Вторая гипотеза заключается в том, что Зомбарт предлагает версию «другого модерна», которая означает попытку поставить технику на службу буржуазному порядку посредством ее подчинения этическим принципам. Принятие достижений техники сопровождается беспокойством по поводу ее негативного воздействия на общественную и частную сферу. Доклад «Техника и культура» (1910) ставит проблему «культурной ценности техники», дает определение отношений между отдельными явлениями модерной культуры и предлагает баланс ценностей. Третья гипотеза связана с объяснением этой версии «другого модерна» компенсаторным интересом (она не отвергает индустриализацию как таковую, а указывает на требующие исправления дефекты развития позднекапиталистического общества). В исследовании выделяются две различные диахронные парадигмы в консервативной мысли Германии до Первой мировой войны и, соответственно, в период Интербеллума: 1) культурпессимистическая парадигма компенсации (кризисных явлений модерна) и 2) проактивная парадигма в смысле инициативной и деятельной вовлеченности, задающей новые ориентиры в осмыслении самих фундаментальных условий модерна. В 1920-1930-е годы зомбартовская критика капитализма преодолевает культуркритическую установку и демонстрирует черты проактивного модернизма («немецкий социализм» с плановой экономикой и технократическим менеджментом в интересах общего).

Здесь дается описание алгоритмов и программного обеспечения для двух новых методов решения полиномиальных уравнений, основанных на построении выпуклого многоугольника. Первый метод позволяет находить приближенные корни многочлена с помощью многоугольника Адамара. Второй метод позволяет находить ветви алгебраической кривой вблизи ее особой точки и вблизи бесконечности с помощью многоугольника Ньютона и строить эскизы вещественных алгебраических кривых на плоскости. Указаны соответствующие геометрии и алгоритмы компьютерной алгебры, которые позволяют анализировать любые сложные случаи.

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

За последние годы популярность языка Go значительно возросла. Вместе с тем в настоящее время для языка Go существуют только легковесные статические анализаторы. Мы восполнили этот пробел, адаптировав статический анализатор Svace для поиска ошибок в программах на языке Go. Нами был реализован межпроцедурный и межмодульный статический анализатор имеющий чувствительность к потоку и путям. Для оценки результатов использовалось 10 проектов с открытым исходным кодом. 16 оцениваемых детекторов выдали 6817 предупреждений с 76 срабатываний.

В работе строится вычислительно эффективная реализация алгоритма Брейди расчета быстрого преобразования Хафа (БПХ) на отечественном сопроцессоре СРСА, входящем в состав системы-на-кристалле 1890ВМ9Я “КОМДИВ128-М”. Показывается, что БПХ находит широкое применение в задачах анализа изображений, от зрительных систем беспилотного транспорта до вычислительной рентгеновской томографии. Приводится и анализируется с точки зрения низкоуровневой имплементации классическая рекурсивная реализация БПХ. Впервые рассматривается более эффективный нерекурсивный вариант алгоритма, для которого проводится анализ нагрузки на вычислители и память сопроцессора, а также экспериментальные замеры производительности. Показывается, что теоретически возможная производительность нерекурсивного алгоритма на СРСА составляет 800 Мопс, при этом максимально достижимая на практике производительность составила 470 Мопс, а максимальное полученное экспериментально значение оказалось 406 Мопс. При этом загрузка вычислителей сопроцессора достигла 18%. Таким образом, несмотря на относительно малое число арифметических операций в методе, использование сопроцессора оказывается целесообразным.

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

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