Results 101 to 110 of about 2,791 (112)
Some of the next articles are maybe not open access.

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

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

Приспособления для Ð¼ÐµÑ‚Ð°Ð»Ð»Ð¾Ñ€ÐµÐ¶ÑƒÑ‰Ð¸Ñ ÑÑ‚Ð°Ð½ÐºÐ¾Ð²

1979
В справочник включены сведения, Ð½ÐµÐ¾Ð±Ñ Ð¾Ð´Ð¸Ð¼Ñ‹Ðµ при выборе Ñ€Ð°Ñ†Ð¸Ð¾Ð½Ð°Ð»ÑŒÐ½Ñ‹Ñ ÐºÐ¾Ð½ÑÑ‚Ñ€ÑƒÐºÑ†Ð¸Ð¹ приспособлений и для Ð¸Ñ Ð¿Ñ€Ð¾ÐµÐºÑ‚Ð¸Ñ€Ð¾Ð²Ð°Ð½Ð¸Ñ. Справочные данные Ð¾Ñ Ð²Ð°Ñ‚Ñ‹Ð²Ð°ÑŽÑ‚ конструкции приспособлений, узлы, приводы,
openaire   +1 more source

Физика твердого тела. Физическая кристаллография

2004
Пособие соответствует государственному образовательному стандарту подготовки по направлениям: 654100 «Электроника и микроэлектроника», 551900 Â«ÐžÐ¿Ñ‚Ð¾Ñ‚ÐµÑ Ð½Ð¸ÐºÐ°Â», 553100 Â«Ð¢ÐµÑ Ð½Ð¸Ñ‡ÐµÑÐºÐ°Ñ физика», по ÑÐ¿ÐµÑ†Ð¸Ð°Ð»Ñ ...
openaire   +1 more source

Прибор для поверки ÐºÐ¾Ð½Ñ†ÐµÐ²Ñ‹Ñ Ð¼ÐµÑ€ длины свыше 100 мм

2017
Везде, на любом производстве, при Ð»ÑŽÐ±Ñ‹Ñ Ð¸Ð·Ð¼ÐµÑ€ÐµÐ½Ð¸ÑÑ , используется эталон длин. За эталон взят метр. Но так как измерения бывают разной длины и зачастую эта длина в Ð´ÐµÑÑÑ‚Ñ‹Ñ Ð¸ ÑÐ¾Ñ‚Ñ‹Ñ Ð´Ð¾Ð»ÑÑ Ð¼ÐµÑ‚Ñ€Ð°, то им п
openaire   +1 more source

Расчет ядерного реактора на Ñ‚ÐµÐ¿Ð»Ð¾Ð²Ñ‹Ñ Ð½ÐµÐ¹Ñ‚Ñ€Ð¾Ð½Ð°Ñ

2005
Пособие соответствует государственному образовательному стандарту бакалаврской и инженерной подготовки направлений 140100 «Теплоэнергетика» и 140402 «Техническая физика» и предназначено для под
openaire   +1 more source

Сульфатостойкий бетон для Ð¼Ð¾Ñ€ÑÐºÐ¸Ñ ÑÐ¾Ð¾Ñ€ÑƒÐ¶ÐµÐ½Ð¸Ð¹

2016
Subject of inquiry - concrete mixtures and concrete that contain fly ash of the Baltic shale. The purpose of this work is to get a sulfate-resistant concrete with using active mineral fly ash supplement of the Baltic shale. In this work we consider the possibility of using Baltic shale fly ash as an additional material resource for getting sulfate ...
openaire   +1 more source

Разработка и исследование биополимерного раневого покрытия, полученного методом электроформования

2019
This work outlines the principles of the wound healing process, the modern requirements for the treatment of extensive skin defects and the basic requirements for polymer-based wound dressings. Various composite wound dressings of the nanofibrous structure based on both natural and synthetic polymers were developed and processed by electrospinning ...
openaire   +1 more source

Расчет ядерного реактора на Ñ‚ÐµÐ¿Ð»Ð¾Ð²Ñ‹Ñ Ð½ÐµÐ¹Ñ‚Ñ€Ð¾Ð½Ð°Ñ

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

Беспилотный трактор для сельского Ñ Ð¾Ð·ÑÐ¹ÑÑ‚Ð²Ð°

The work outlines the process of analysis and design of the model of an unmanned tractor with a semi-trailer and mathematical model. This task was developed by the company «SPA Avtomatika», which was intended to demonstrate the operation of a real tractor, but in a visual environment. The tasks that were solved during the development and research are
openaire   +1 more source

Home - About - Disclaimer - Privacy