Научный архив: статьи

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

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

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

Взаимодействие в открытых сетях несёт определённые риски. Для обеспечения информационной безопасности участников сетевого взаимодействия используют криптографические протоколы. Высокие гарантии безопасности могут быть достигнуты в результате их формальной верификации. Распространённым формальным методом верификации криптографических протоколов является метод проверки модели. В работе для проверки модели криптографических протоколов предлагается использовать инструментальное средство TLA+/TLC, широко применяемое на практике в различных прикладных областях. На языке спецификации TLA+ задаётся модель протокола, а также требуемые свойства безопасности в форме инвариантов. Модель протокола описывает его поведение в виде системы переходов, содержащей все возможные состояния модели протокола и переходы между ними. Для проведения автоматической проверки соответствия модели требуемым свойствам задействуется верификатор TLC. Задача верификации криптографических протоколов имеет свою специфику. Настоящее исследование предлагает три приёма моделирования, учитывающих особенности данной задачи и используемого инструментария TLA+/TLC. Первый приём моделирования состоит в замене системы, состоящей из произвольного количества агентов, на трёхагентную систему. Это позволяет упростить модель и уменьшить её пространство состояний. Второй приём связан с представлением передаваемых сообщений в виде иерархической структуры — это даёт возможность вкладывать одни зашифрованные сообщения в другие. Третий приём состоит в оптимизации модели с целью повышения производительности верификатора TLC. Это выполняется путем задания функции, порождающей множество только тех элементов, которые приводят к переходам между состояниями в модели. В итоге предложенные приёмы позволяют упростить модель и снизить время её верификации. Применение результатов демонстрируется на примере простого протокола — протокола Нидхема-Шредера для аутентификации с открытым ключом. После обнаружения верификатором TLC известной уязвимости этого протокола выполняется моделирование и верификация его доработанной версии. Результаты верификации показывают, что новая версия протокола не имеет данной уязвимости.

В работе рассматривается класс расширенных регулярных выражений с обратными ссылками, которые представляются как элементы полукольца, частично удовлетворяющего теоремам алгебры Клини. Используя эти теоремы в качестве правил переписывания, возможно построить алгоритм устранения неоднозначности в ячейках памяти выражений. В дальнейшем этот алгоритм может быть применён для построения обращений расширенных регулярных выражений в заданных ограничениях. Предложенные алгоритмы были апробированы на тестовой выборке регулярных выражений, построенных на базе выражений из RegexLib и StackOverflow. Результаты экспериментов показали, что в ряде случае время сопоставления с преобразованным регулярным выражением было значительно меньше, чем с исходным.

Процесс-ориентированное программирование — это подход к разработке управляющего программного обеспечения, в котором программа определяется как набор взаимодействующих процессов. PoST — это процесс-ориентированный язык, который является расширением языка ST из стандарта IEC 61131-3. В области разработки управляющего программного обеспечения формальная верификация играет важную роль вследствие необходимости обеспечения высокой надежности такого программного обеспечения. Дедуктивная верификация — это метод формальной верификации, в котором программа и требования к ней представляются в виде логических формул, а для доказательства того, что программа удовлетворяет требованиям, используется логический вывод. К управляющему программному обеспечению часто предъявляются темпоральные требования. Мы формализуем такие требования для процесс-ориентированных программ в виде инвариантов цикла управления. Но инварианты цикла управления, представляющие требования, недостаточны для доказательства корректности программы. Поэтому мы добавляем дополнительные инварианты, которые содержат вспомогательную информацию. В данной статье рассматривается проблема автоматизации дедуктивной верификации процесс-ориентированных программ. Предложен подход, в котором темпоральные требования задаются с использованием шаблонов требований, которые строятся из базовых шаблонов. Для каждого шаблона требований определяются соответствующий шаблон дополнительных инвариантов и леммы. В статье описан предлагаемый подход и схемы базовых и производных шаблонов требований. Рассмотрены схемы базовых шаблонов дополнительных инвариантов, схемы лемм, определяемых для базовых шаблонов, а также набор базовых шаблонов и леммы для них. Определены схема производных шаблонов дополнительных инвариантов и схемы лемм, определяемых для производных шаблонов. Представлены алгоритмы построения производных шаблонов дополнительных инвариантов и лемм для них, а также метод доказательства этих лемм. Рассмотрены схемы доказательства условий корректности. Предложенный подход демонстрируется на примере. Также проведен анализ связанных работ.

Статья посвящена задаче определения тональности по отношению к аспектам социально-экономического развития в предложениях на русском языке. Аспект, отношение к которому определяется, может как упоминаться явно, так и подразумеваться. Авторами были исследованы возможности применения нейросетевых классификаторов, а также предложен алгоритм определения тональности по отношению к аспекту, основанный на семантических правилах, реализованных с использованием деревьев синтаксических единиц. Тональность по отношению к аспекту определяется в два этапа. На первом этапе в предложении отыскиваются аспектные термины — явно упоминаемые события или явления, связанные с аспектом. На втором этапе тональность по отношению к аспекту определяется как тональность по отношению к аспектному термину, который теснее всего связан с аспектом. В работе предлагается несколько методов поиска аспектных терминов. Качество оценивалось на корпусе из 468 предложений, извлечённых из материалов предвыборной агитации. Лучший результат для нейросетевых классификаторов был получен с использованием нейронной сети BERT-SPC, предобученной на задаче определения тональности по отношению к явно упоминаемому аспекту, макро-F-мера составила 0.74. Лучший результат для алгоритма, основанного на семантических правилах, был получен при использовании метода поиска аспектных терминов на основе семантической схожести, макро-F-мера составила 0.63. При объединении BERT-SPC и алгоритма, основанного на правилах, в ансамбль была получена макро-F-мера, равная 0.79, что является лучшим результатом, полученным в рамках работы.

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

В условиях стремительного развития цифровой экономики использование больших данных (Big Data) становится ключевым инструментом повышения эффективности и устойчивости бизнес-процессов.

Целью настоящего исследования является выявление механизмов и эффектов применения Big Data для оптимизации операционных и управленческих функций в компаниях различных отраслей. На основе анализа эмпирических данных, кейсов цифровой трансформации, а также вторичных источников - в том числе аналитики McKinsey, IDC и отчетов ведущих ИТ-компаний - продемонстрировано, как применение методов интеллектуального анализа данных, машинного обучения и визуализации позволяет сократить транзакционные издержки, ускорить принятие решений и повысить точность бизнес-прогнозирования. Результаты исследования подтверждают наличие устойчивой положительной корреляции между уровнем зрелости Big Data-практик и показателями операционной эффективности. Представлены рекомендации для предприятий и государств по формированию цифровых стратегий с учётом потенциала больших данных. Отдельное внимание уделено барьерам внедрения - технологическим, организационным и этическим.

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

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

Цель настоящего исследования - выявить направления и особенности трансформации HR-практик в условиях активного внедрения цифровых технологий в управление. В работе проанализированы изменения в стратегиях подбора, развития, мотивации и удержания персонала, рассмотрены ключевые цифровые инструменты (HRIS, AI-рекрутинг, People Analytics), а также обозначены риски и барьеры, с которыми сталкиваются организации в процессе цифровизации HR-функции.

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

В статье рассматривается трансформация цифровых медиарилейшнз (MR) в условиях усиления политической субъектности технологических компаний (TECH-компаний). Автор исходит из предпосылки о том, что на рубеже 2010-х годов такие корпорации, как Google, Amazon, а также их российские аналоги (например Яндекс, VK, Сбербанк) стали ключевыми медиаполитическими акторами, обладающими нормативными, идеологическими и инфраструктурными функциями в цифровом пространстве. В рукописи рассмотрена институциональная роль цифровых платформ как инфраструктурных и идеологических посредников, определяющих рамки публичной дискуссии. Установлено, что информационная деятельность и медиарилейшнз этих компаний приобретают черты политической коммуникации. Эмпирические данные подтверждают смещение от традиционных моделей взаимодействия с потребителем продуктов к политической коммуникации с широкой общественностью. Делается вывод о становлении TECH-компаний как новых политических акторов и выявляет институциональную эволюцию их PR-деятельности в направлении публичной дипломатии, цифрового суверенитета и идеологического позиционирования.