Патенты автора Васильев Николай Константинович (RU)
СИСТЕМА РАСПРЕДЕЛЕННОГО РЕЕСТРА // 2770746
Изобретение относится к системе распределенного реестра. Технический результат заключается в повышении надежности системы распределенного реестра. Система содержит блок преобразования смарт-контрактов с предметно-ориентированного языка на язык системы компьютерной логики HOL4, блок формальной верификации смарт-контрактов на основе библиотеки теорем и тактик в системе HOL4, блок трансляции смарт-контрактов в абстрактное синтаксическое дерево языка функционального языка программирования CakeML, блок формально-верифицированного компилятора CakeML в машинный код, узлы СРР, каждый из которых содержит верифицированную операционную систему, подсистему исполнения смарт-контрактов, подсистему сетевых взаимодействий, при этом узлы СРР связаны между собой посредством верифицированного протокола консенсуса. 3 з.п. ф-лы, 2 ил.
СПОСОБ ВОЗВЕДЕНИЯ ЛЕДЯНОГО СООРУЖЕНИЯ // 2599522
Изобретение относится к области строительства в северных районах и предназначено для возведения ледяных инженерных сооружений, аккумуляции холода и образования сводчатых ледяных сооружений для хранения на (не)плавучих ледяных или ледопородных платформах на шельфах морей. Технический результат - повышение надежности ледяного сооружения, который достигается тем, что в способе возведения ледяного сооружения, включающем разработку площадки, на которой устанавливают надувные конструкции с последующим их демонтажом и перемещением по мере необходимости, заполнение их воздухом, послойное намораживание пайкерита путем набрызга или послойного полива водяной пульпы. Она содержит древесные опилки или какого-либо другого вида древесную массу, дополнительно перед намораживанием пайкерита надувные конструкции покрывают геоматериалом в виде водопроницаемого геосинтетического материала: геосетки или георешетки. 1 з.п. ф-лы, 3 ил.
СПОСОБ СОЗДАНИЯ ПРОТИВОФИЛЬТРАЦИОННОЙ ЗАВЕСЫ // 2569965
Изобретение относится к гидротехнике, а именно к способам создания противофильтрационных завес в гидротехнических сооружениях в северной строительно-климатической зоне (ССКЗ). Способ включает возведение водоподпорной земляной плотины 7, размещение слоя геотекстильного иглопробивного нетканого материала 4 из синтетических волокон объемной плотностью 100-150 кг/м3 и обработку откоса плотины водорастворимым порошковым полимером. После размещения слоя геотекстильного материала 4 его обрабатывают при отрицательной температуре окружающего воздуха водным раствором поливинилового спирта ПВС и соединения бора, например буры или борной кислоты, с расходом 5-10 л/м2 при их концентрации 3,0…12,0%, 0,2…1,0% соответственно. Затем после промерзания нанесенного раствора геотекстильный иглопробивной нетканый материал 4 покрывают слоем грунта 3. Изобретение обеспечивает повышение надежности гидроизоляции противофильтрационной завесы при воздействии знакопеременных температур за счет формирования слоя криогелевого композита процессом замораживания-оттаивания, прочностные и противофильтрационные свойства которого не ухудшаются при многократных воздействиях процессов замораживания-оттаивания. 1 ил.
Изобретение относится к электроимпульсным противообледенительным системам
СПОСОБ РАЗРУШЕНИЯ ЛЬДА // 2373331
Изобретение относится к средствам защиты гидротехнических сооружений от давления льда
Изобретение относится к области гидротехнического строительства, а именно к восстановлению водонепроницаемости грунтовых гидротехнических сооружений
