Results 131 to 137 of about 13,636 (137)

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

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

Педагогика и Ð¿ÑÐ¸Ñ Ð¾Ð»Ð¾Ð³Ð¸Ñ. ÐŸÑÐ¸Ñ Ð¾Ð»Ð¾Ð³Ð¸Ñ брака

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

Система управления манипулятора типа "PM-01"

2016
Использовано 7 источников литературы. В рамках дипломного проекта были определены критерии выбора и сконфигурирована система управления, из современных и доступных на рынке России ÐºÐ¾Ð¼Ð¿Ð»ÐµÐºÑ‚ÑƒÑ ...
openaire   +1 more source

Распознавание позы человека на фотографии

The research set the following goals: – studying existing approaches to human pose recognition in photographs; – selecting an appropriate approach for pose recognition; – implementing an application capable of determining human poses in photographs; – analyzing results and identifying potential future steps.
openaire   +1 more source

Однопакетный индукторный генератор для нужд Ñ‚Ñ€Ð°Ð½ÑÐ¿Ð¾Ñ€Ñ‚Ð½Ñ‹Ñ ÑÑ€ÐµÐ´ÑÑ‚Ð²

2016
Спроектирован индукторный генератор мощностью 2.2 кВт для нужд транспортных средств. Определены основные геометрические размеры, произведен электромагнитный расчет, рассчитаны и построены хР...
openaire   +1 more source

Разработка методики профилирования мониторов с применением X-Rite i1 Display Pro

В рамках данной работы рассмотрена актуальность и необходимость создания методики калибровки и профилирования экранов. Рассмотрена теория цвета, восприятие цвета человеком и цифровыми ÑÐ¸ÑÑ ...
openaire   +1 more source

Защита от атак отказа в обслуживании, Ð¾ÑÐ½Ð¾Ð²Ð°Ð½Ð½Ñ‹Ñ Ð½Ð° отмене запросов

The purpose of the study is providing of defense against denial-of-service attacks based on request cancellation. The subject of the work is impact of request cancellation on application-layer protocols. The research set the following goals: 1. Analysis of present means of defense against denial-of-service attacks based on request cancellation.
openaire   +1 more source