Results 101 to 110 of about 1,793 (117)

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

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

Основы программирования и алгоритмизации. Практикум по алгоритмизации

2019
Пособие соответствует ФГОС ВО по направлению подготовки 27.03.04 «Управление в Ñ‚ÐµÑ Ð½Ð¸Ñ‡ÐµÑÐºÐ¸Ñ ÑÐ¸ÑÑ‚ÐµÐ¼Ð°Ñ Â» (уровень бакалавриата). Рассматриваются основные свойства и способы представления алгоритмов.
openaire   +1 more source

Транспортный модуль автомата упаковывания

2017
Разработан проект транспортного модуля автомата упаковывания (розлива) в банки, который обеспечивает транспортирование банок между позициями, оснащенными автоматическими загрузочными, разгр
openaire   +1 more source

Философия. Курс лекций

2014
Соответствует рабочей программе дисциплины “Философия”. Представлен систематизированный материал по философии. Рассмотрены основные концепции, категории и проблемы.
openaire   +1 more source

Разработка малогабаритного фотоплетизмографа

2019
This work is devoted to the development of a small device with low power consumption, capable of taking measurements of plethysmography, based on an optical biosensor. During the work, the principles of operation of the devices intended for removing the photoplethysmogram were considered.
openaire   +1 more source

Электромагнитные усилия в ÑÐ»ÐµÐºÑ‚Ñ€Ð¸Ñ‡ÐµÑÐºÐ¸Ñ Ð°Ð¿Ð¿Ð°Ñ€Ð°Ñ‚Ð°Ñ

2009
Предназначено для студентов, обучающихся на кафедре Электрические и электронные аппараты Электромеханического факультета СПбГПУ. Приведены практические расчёты векторов магнитной индукции
openaire   +1 more source

Расчет ротора лопастного насоса на прочность

2019
В учебном пособии рассмотрена методика расчета ротора лопастного насоса, включающая статические исследования для проверки обеспечения условий статической прочности; модальный анализ для под
openaire   +1 more source

Разработка алгоритмов управления рукой робота для применения на производстве

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

Стеганографические методы передачи информации в распределенной системе управления

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

Основы программирования и алгоритмизации. Ð¢ÐµÑ Ð½Ð¾Ð»Ð¾Ð³Ð¸Ñ создания программ

2018
Пособие соответствует ФГОС ВО по направлению подготовки 27.03.04 «Управление в Ñ‚ÐµÑ Ð½Ð¸Ñ‡ÐµÑÐºÐ¸Ñ ÑÐ¸ÑÑ‚ÐµÐ¼Ð°Ñ Â» (уровень бакалавриата). Рассматриваются краткие сведения об ЭВМ, методы и последовательность п
openaire   +1 more source