Results 61 to 70 of about 84 (84)

Многопоточный обратный метод Маслова

This article introduces a novel multiprocessing methodology tailored for the Inverse Method, a critical component of Automated Theorem Provers (ATPs), aimed at optimizing theorem proving efficiency. Our approach utilizes multiple running units, each operating as a distinct prover equipped with specific heuristic options, collaborating to explore ...
openaire   +1 more source

Алгоритм Ð½Ð°Ñ Ð¾Ð¶Ð´ÐµÐ½Ð¸Ñ расстояния до источника звука

This work is devoted to the study of existing methods for finding the distance to audio signal sources, in particular the TDoA method and the development of the program code of this method. The research set the following goals: 1) The study of methods for finding the distance to the sound source; 2) Method selection and theoretical explanation of the ...
openaire   +1 more source

Автономный мобильный робот на воздушной подушке

2017
Магистерская диссертация посвящена исследованию колёсного мобильного робота на воздушной подушке. Проведён аналитический обзор транспортных средств на воздушной подушке.
openaire   +1 more source

Дизельный двигатель для дизель-генератора мощностью 800 кВт

2022
The topic of the final qualifying work: "Diesel engine for an 800 kW diesel generator".This work is devoted to the development of an 800 kW diesel internal combustion engine. In the course of the work, the following were calculated: the working process of the engine, the forces and moments arising in the engine, the balance analysis was performed and ...
openaire   +1 more source

Шасси одноосного тягача с гибридной трансмиссией

2023
Построена математическая модель электромеханического модуля гибридной трансмиссии. Приведен принцип определения внешних параметров и мощностного баланса электромеханического модуля.
openaire   +1 more source

Масс-спектрометрия. Основы, приложения

2008
Представлены сведения по экспериментальным методам анализа состава проб, возможностям масс-спектрометрии, основным составляющим масс-спектрометрических систем и направлениям высокочувствР...
openaire   +1 more source

Территориальная организация населения и Ñ Ð¾Ð·ÑÐ¹ÑÑ‚Ð²Ð°

2016
Печатается по решению Совета по издательской деятельности Ученого совета Санкт-Петербургского политехнического университета Петра Великого.
openaire   +1 more source

Здание бизнес-центра с модульными фасадными панелями

2022
Final qualification work theme: «Business center building with module facade panels».This paper presents sections of design documentation for the construction of a high-rise business center building, made in accordance with Decree of the Government of the Russian Federation dated February 16, 2008 No.
openaire   +1 more source

Реализация планарности графа Ð°Ð²Ñ‚Ð¾Ð¼Ð¾Ð±Ð¸Ð»ÑŒÐ½Ñ‹Ñ Ð´Ð¾Ñ€Ð¾Ð³

Данная работа посвящена разработке программной системы, обрабатывающей картографические данные из открытого источника OpenStreetMap при помощи модели распределенных вычислений MapReduce.
openaire   +1 more source

Теория горения и топочные устройства

1976
В книге изложены основные положения современной теории горения и теории турбулентных струй применительно к топочным процессам, применено математическое моделирование горения пылевидных тоР...
openaire   +1 more source