Results 131 to 139 of about 645 (139)

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

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

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

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

Измерительные приборы физической лаборатории

1986
Методические указания предназначены для студентов всех факультетов, выполняющих лабораторный практикум по физике. Они содержат краткое описание и инструкцию по применению всех основных тиР...
openaire   +1 more source

Исследование Ð¿Ð¾Ð²ÐµÑ€Ñ Ð½Ð¾ÑÑ‚Ð½Ñ‹Ñ Ð°ÐºÑƒÑÑ‚Ð¸Ñ‡ÐµÑÐºÐ¸Ñ Ð²Ð¾Ð»Ð½ во вращающемся пьезоэлектроупругом полупространстве

2019
This paper presents results of analytical and numerical research of surface acoustic waves propagation process in rotating media. Various wave parameters such as frequency, phase velocity, wave mode are analyzed and their dependencies on angular velocity is investigated.
openaire   +1 more source

Канальные водографитовые ядерные реакторы

1985
Отечественная атомная энергетика базируется на двух типах ядерных реакторов на тепловых нейтронах и легкой воде в качестве теплоносителя: корпусных водо-водяных реакторах типа ВВЭР и ÐºÐ°Ð½Ð°Ð»Ñ ...
openaire   +1 more source

Модернизация станка типа ОЦ фирмы «ИННОЧЕНТИ»

2016
Тема настоящего дипломного проекта «Модернизация станка типа ОЦ фирмы «Инноченти» полностью отражена автором проекта. Им усовершенствован Ð¼ÐµÑ Ð°Ð½Ð¸Ð·Ð¼ привода подачи с заменой неэффективной чер
openaire   +1 more source

Программно-аппаратные средства обеспечения информационной безопасности. Лабораторный практикум

2016
Содержит теоретические и практические сведения о методах и программно-аппаратных средствах обеспечения защиты информации. Даны указания к проведению практических занятий по курсу «ПрогрР...
openaire   +1 more source

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

2005
Пособие соответствует государственному образовательному стандарту дисциплины Â«ÐŸÑÐ¸Ñ Ð¾Ð»Ð¾Ð³Ð¸Ñ и педагогика». В учебном, пособии излагается проблема лидерства на примере практического опыта и Ñ ...
openaire   +1 more source

Основы моделирования процессов ÑÐ»Ð¾Ð¶Ð½Ñ‹Ñ ÑÐ¸ÑÑ‚ÐµÐ¼

2019
Систематически изложены основные математические методы моделирования ÑÐºÐ¾Ð½Ð¾Ð¼Ð¸Ñ‡ÐµÑÐºÐ¸Ñ Ð¿Ñ€Ð¾Ñ†ÐµÑÑÐ¾Ð². В заключительной части книги приведены возможности применения Ð¼Ð°Ñ‚ÐµÐ¼Ð°Ñ‚Ð¸Ñ‡ÐµÑÐºÐ¸Ñ Ð¼ÐµÑ‚Ð¾Ð´Ð¾Ð² для упрР...
openaire   +1 more source