• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • Применение математических методов для оценки критичности дефектов в смарт-контрактах
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
7 сентября 2026 г.
В НИУ ВШЭ пройдет конференция для представителей наук, изучающих медицину и здоровье
С 3 по 5 декабря в Москве состоится междисциплинарная научная конференция с международным участием «Коморбидное поле 3.0: социальное благополучие, здоровье и медицина во множественных контекстах», которая будет организована Центром сравнительных исследований социального благополучия НИУ ВШЭ при участии факультета гуманитарных наук и Санкт-Петербургской школы гуманитарных наук и искусств НИУ ВШЭ, Европейского университета в Санкт-Петербурге и Сеченовского университета. Заявки на участие принимаются до 4 октября.
4 сентября 2026 г.
Сотрудники НИУ ВШЭ - Санкт-Петербург разработали ИИ-инструмент для анализа человеческого поведения
Сотрудники и студенты НИУ ВШЭ совместно с экспертами из Санкт-Петербургского Федерального исследовательского центра РАН и Центра практического ИИ Сбера разработали нейросеть, способную одновременно распознавать эмоции, оценивать видимые черты личности и выявлять амбивалентность (неуверенность или противоречивость поведения). Результаты исследования опубликованы в журнале IEEE Access.
3 сентября 2026 г.
«Археолог - это следователь, опоздавший к месту преступления на тысячи лет»
Виктория Герасимова занимается краснолаковой керамикой, копает в Казахстане и играет в шахматы на городских площадках. В интервью проекту «Молодые ученые Вышки» она рассказала об уникальности Боспорского царства, понтийской сигиллате и коте Матроскине — бизнесмене.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Применение математических методов для оценки критичности дефектов в смарт-контрактах

Нано-био-технологии. Тепло- и электроэнергетика. Математическое моделирование: сборник статей III международной научно-практической конференции (Липецкий государственный технический университет, Липецк, Россия). 2025. С. 300–309.
Стародубов К. В., Кривоногов А. А., Плоткин А. С., Громов Ю. Ю., Репин М. М.

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

Научное направление: Тех­ничес­кие науки
Язык: русский
Текст на другом сайте
Ключевые слова: экспертная оценканечеткие числасмарт-контракты
Похожие публикации
Анализ безопасности хранения биометрических данных с использованием FaceNet
Стародубов К. В., Гвасалия Г. В., Карасев П. И., Нано-био-технологии. Тепло- и электроэнергетика. Математическое моделирование: сборник статей III международной научно-практической конференции (Липецкий государственный технический университет, Липецк, Россия) 2025 С. 219–223
В данной работе рассматривается понятие нейронных сетей, сверточных нейронных сетей, их архитектура и принцип работы с ними. Основное внимание уделяется проверки надежности хранения изображений людей в качестве эмбедингов, которые как считается не поддаются восстановлению в оригинальное изображение. В ходе исследования проводится эксперимент: эмбединг лица, конкретного человека сравнивается с набором эмбедингов, которые хранятся в одном файле ...
Добавлено: 6 сентября 2026 г.
Подход к моделированию поведения нарушителя в государственных информационных системах на основе скрытых марковских моделей
Стародубов К. В., Шейкин В. В., Карасев П. И., XXI век: итоги прошлого и проблемы настоящего плюс 2026 Т. 15 № 2 (74) С. 20–25
В работе рассматривается проблема формализованного описания поведения нарушителя в государственных информационных системах. Предлагается подход к моделированию действий нарушителя на основе скрытых марковских моделей, позволяющий интерпретировать этапы атакующего воздействия как скрытые состояния, а регистрируемые в системе события - как наблюдаемые символы вероятностной модели. Представлена методика построения скрытой марковской модели, включающая определение скрытых состояний, выбор наблюдаемых событий ...
Добавлено: 6 сентября 2026 г.
Функция присутствия как механизм корректной обработки пропущенных значений в нечётком интеллектуальном анализе данных
Стародубов К. В., Максимова Е. А., Утешева Г. Ш. и др., Научно-аналитический журнал "Вестник Санкт-Петербургского университета Государственной противопожарной службы МЧС России" 2026 № 2 С. 92–103
Когда данные неполны, стандартные методы нечёткого интеллектуального анализа оказываются в ситуации, которую трудно назвать приемлемой: удаление объектов с пропусками теряет до трети выборки и вносит систематическое смещение при MAR-механизме, а импутирование средним разрушает ковариационную структуру и порождает правила с искусственно завышенной поддержкой. В работе предлагается иной выход - функция присутствия φ: U × A → ...
Добавлено: 6 сентября 2026 г.
Сравнительный анализ методов автономного управления малыми космическими аппаратами
Бубнова М. А., Четвериков В. М., Пожидаев Е. Д., Информационные технологии 2026 Т. 32 № 8 С. 404–413
Разработана специальная методика, проведено компьютерное моделирование и выполнен сравнительный анализ методов автономного управления малыми космическими аппаратами, различающихся способами учета нелинейности исходной задачи стабилизации: управления, построенного по системе линейных дифференциальных уравнений (СЛДУ); управления, построенного по СЛДУ, примененного к более общей системе ДУ, в которой при расчете траектории учитываются нелинейные слагаемые; управления с использованием метода SDRE (State ...
Добавлено: 2 сентября 2026 г.
Математическая модель анализа рисков деструктивных воздействий в информационных системах на основе нечеткой логики
Стародубов К. В., Шейкин В. В., Безопасность. Управление. Искусственный интеллект 2026 Т. 3 № S3 С. 47–57
В статье предлагается формальный аппарат для анализа рисков в информационных системах, основанный на аппарате нечеткой логики, теории графов и матриц. Вводится система определений, включающая универсум сущностей, множества нарушителей и деструктивных воздействий, а также функции принадлежности, описывающие нечеткие отношения между ними. Предложена модель расчета риска, учитывающая не только опасность отдельных угроз и возможности нарушителей, но и ...
Добавлено: 29 августа 2026 г.
Сборник трудов XXXII Международной научно-технической конференции «Радиолокация, навигация, связь»
Воронеж: Издательский дом ВГУ, 2026.
В сборник вошли материалы XXXII Международной научно-технической конференции «Радиолокация, навигация, связь» (RLNC*2026), прошедшие ре цензирование членами программного комитета конференции. Основной целью конференции является организация взаимодействия научных и научно технических коллективов для обмена опытом и новыми творческими успехами. Достижение этой цели также способствует внедрению перспективных разрабо ток, имеющих практическое значение для дальнейшего развития промышленно сти, экономики ...
Добавлено: 29 августа 2026 г.
Моделирование влияния потерь сообщений 5G NR-V2X на поведение подключенных беспилотных транспортных средств
Романов А. Ю., Физулин А. В., Степанянц В. Г., Московский транспорт. Наука и проектирование 2026 № 2 С. 77–90
Поведение подключенных беспилотных транспортных средств при реализации кооперативных функций безопасности зависит от своевременного обмена V2X-сообщениями. При этом сквозное влияние нарушений доставки сообщений 5G NR-V2X Mode 2 на поведение транспортных средств требует оценки не только по агрегированным сетевым метрикам, но и по своевременности поступления V2X-сообщений в допустимый для управляющего контроллера временной интервал. В статье представлена воспроизводимая ...
Добавлено: 25 августа 2026 г.
Сборник докладов Международной научно-технической конференции молодых ученых БГТУ им. В.Г. Шухова. Часть 2. Инженерно-технические науки
Белгородский государственный технологический университет им. В.Г. Шухова, 2026.
В сборнике опубликованы доклады студентов, аспирантов и молодых ученых, представленные по результатам проведения Международной научно-технической конференции молодых ученых БГТУ им. В.Г. Шухова. Материалы статей могут быть использованы студентами, магистрантами, аспирантами и молодыми учеными, занимающимися вопросами энергоснабжения и управления в производстве строительных материалов, архитектурных конструкций, электротехники, экономики и менеджмента, гуманитарных и социальных исследований, а также в ...
Добавлено: 19 августа 2026 г.
Современные тенденции и инновации в науке и производстве. Материалы XV международной научно-практической конференции
Междуреченск: Кузбасский государственный технический университет им. Т.Ф. Горбачева, 2026.
В сборнике представлены материалы докладов по направлениям Международной научно-практической конференции «Современные тенденции и инновации в науке и производстве»: 1. Технологии и инновации в горной промышленности; 2. Экономика, управление, финансы; 3. Информационные системы и технологии; 4. Юный исследователь. Целью этой конференции является обмен передовым опытом, повышения квалификации их участников и, вместе с тем, это способ установления и укрепления научного сотрудничества среди ...
Добавлено: 11 августа 2026 г.
Proceedings of the International Science Conference “Scientific research of the SCO countries: synergy and integration” - Reports in English (June 3, 2026. Beijing, PRC)
Scientific publishing house Infinity, 2026.
Добавлено: 24 июля 2026 г.
2025 9th International Conference on Information, Control, and Communication Technologies (ICCT-2025)
IEEE, 2025.
Добавлено: 23 июня 2026 г.
Анализ направлений инновационного развития средств измерений в Российской Федерации
Плотников С. О., Альманах современной метрологии 2024 № 2(38) С. 140–149
Приведены результаты анализа данных, собранных методом экспертного анкетирования сотрудников государственных научных метрологических институтов, а также покупателей средств измерений. ...
Добавлено: 21 мая 2026 г.
АНАЛИЗ СОДЕРЖАНИЯ ФЕДЕРАЛЬНОГО ИНФОРМАЦИОННОГО ФОНДА ПО ОБЕСПЕЧЕНИЮ ЕДИНСТВА ИЗМЕРЕНИЙ В ЧАСТИ ОСЦИЛЛОГРАФОВ
Апрелев А. В., Пивоварова Н. И., Плотников С. О. и др., Альманах современной метрологии 2022 № 2(30) С. 94–101
Приведены результаты анализа данных, находящихся в Федеральном информационном фонде по обеспечению единства измерений в части осциллографов. ...
Добавлено: 21 мая 2026 г.
Интегрированная среда моделирования для верификации и валидации программ управления подключенными и высокоавтоматизированными транспортными средствами
Степанянц В. Г., Хорошилов Г. С., Долгов И. М. и др., Труды Института системного программирования РАН 2026 Т. 38 № 3 С. 95–110
На рынок постепенно выходят высокоавтоматизированные и подключенные транспортные средства (ТС). В настоящее время предлагаются решения, позволяющие использовать эти технологии для совместного управления дорожным движением, что может значительно повысить его безопасность. В статье анализируются требования к интегрированной среде моделирования подключенных и высокоавтоматизированных ТС и совместной автоматизации управления дорожным движением с высокодетализированным учетом влияния окружающих объектов. Проанализированы ...
Добавлено: 12 мая 2026 г.
Proceedings of the Future Technologies Conference (FTC) 2025, Volume 3
Харитонов И. А., Springer Publishing Company, 2026.
Добавлено: 7 апреля 2026 г.
On the Optimal Decomposition of the U-UV Codes
Кувшинов А. В., Fominykh A., Иванов Ф. И., IEEE Access 2026 Vol. 14 P. 50549–50557
Добавлено: 7 апреля 2026 г.
Вычисление и особенности использования коэффициента теплоотдачи в CAE программах расчета теплового режима
Манохин А. И., Электрооборудование: эксплуатация и ремонт 2026 № 2 С. 75–85
Предложена расширенная методика вычисления коэффициентов теплоотдачи с использованием программ автоматизированного анализа теплового режима радиоэлектронной аппаратуры ТРИАНА (АСОНИКАТ) для различных конструкций. На основе анализа полученных коэффициентов теплоотдачи показано, как задавать реалистичные значения коэффициента конвективной теплоотдачи в SOLIDWORKS Simulation и других CAE системах расчёта теплового режима. Продемонстрированы возможности использования суммарного коэффициента теплоотдачи,учитывающего конвекцию и излучение, для ускорения расчётов ...
Добавлено: 3 апреля 2026 г.
Правовой нигилизм в криптосообществе и пути его преодоления
Хусаинов Г. Э., Юридическая наука 2025 № 8 С. 300–306
Статья посвящена исследованию феномена правового нигилизма в криптосообществе, его историческим истокам, современным проявлениям и путям преодоления. Автор анализирует противоречие между идеалами децентрализации и анонимности, заложенными в основу криптовалют, и необходимостью правового регулирования в условиях массового распространения цифровых активов. Особое внимание уделяется генезису криптонигилизма, связанному с киберпанковской субкультурой и протестом против традиционных финансовых институтов, а также ...
Добавлено: 1 октября 2025 г.
Управление техническим обслуживанием транспортного парка в организации на основе технологии распределенного реестра
Трофимов С. И., Восков Л. С., Комаров М. М., Бизнес-информатика 2025 Т. 19 № 3 С. 67–84
В условиях растущей конкуренции на рынке транспортных услуг компании ищут новые способы повышения операционной эффективности и снижения затрат на обслуживание автомобильного парка. В статье представлена инновационная модель управления техническим состоянием транспортных средств, описывающая механизм оценки состояния техники с использованием технологии распределенного реестра и смарт-контрактов. Предложена информационная система автоматизации технического обслуживания, способная выполнять функции мониторинга и ...
Добавлено: 23 сентября 2025 г.
Qualitative and quantitative models of smart contracts implementation in the sharing economy using a case study of Delimobil
Mikhail Vialtsev, Mikhail Komarov, Journal of Asia Business Studies 2025 Vol. 19 No. 3 P. 769–795
Добавлено: 6 мая 2025 г.
Инструментальные средства построения токенизированных сообществ
Авдошин С. М., Тарасова Д. Д., Информационные технологии 2025 Т. 31 № 5 С. 258–270
Токенизация сообществ — это новейшая область знания, возникшая на стыке информационных технологий, социальных и экономических наук. Рассмотрены основные необходимые инструментальные средства токенизации, существующие подходы к их реализации, проблемы токенизированных сообществ и методы их решения для разработки системы токенизации сообществ. ...
Добавлено: 6 мая 2025 г.
Комментарии по поводу круглого стола «Блокчейн в праве: метод, форма сделки или отношение?»
Иванов А. А., Закон 2024 № 6 С. 196–199
26 января 2024 года на факультете права НИУ «Высшая школа экономики» прошел круглый стол, где обсуждались проблемы регулирования использования технологии блокчейн, правовая квалификация блокчейна как объекта, сделки и отношений, критерии достоверности реестра, специфика судебных споров, возникающих при использовании технологии. В настоящей статье представлен обзор этого мероприятия. ...
Добавлено: 25 апреля 2025 г.
Негативный сдвиг в оценке этнонима: гипотеза контекстной обусловленности и инструменты измерения
Громенко Е. С., Кронгауз М. А., Шаги/Steps 2025 Т. 11 № 1 С. 174–191
В статье проводится проверка гипотезы контекстной обусловленности, связывающей оценку этнонима с контекстом. Проверяется допущение, состоящее в том, что слова с негативной оценкой тяготеют к негативным контекстам. Это означает, в частности, то, что количественная обработка контекстов может становиться основой для выделения негативной оценки и ее количественной квалификации, т. е. чем больше процент негативных контекстов, тем интенсивнее сама негативная оценка ...
Добавлено: 13 марта 2025 г.
Смарт-контракты: юридическая интерпретация поведения сторон в свете принципа добросовестности
Волос А. А., Кужанова К., Закон 2024 № 9 С. 162–169
Статья посвящена дискуссионным вопросам применения принципа добросовестности при толковании условий из смарт-контракта, уяснении смысла и содержания предварительных договоренностей сторон, имеющих место перед заключением смарт-контракта. Среди ключевых факторов, позволяющих определить границы правоприменения, авторы рассматривают волевой элемент участников гражданского оборота, природу исполняемого обязательства внутри программного кода, особенности толкования смарт-контрактов судами с точки зрения того, соответствует ли применение ...
Добавлено: 1 октября 2024 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору