Results 61 to 70 of about 74 (70)
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
2016
РаÑÑмаÑÑиваеÑÑÑ ÑледÑÑий ÑлекÑÑопÑивод Ñ ÑиÑоÑно-импÑлÑÑнÑм ÑпÑавлением. РазÑабаÑÑваеÑÑÑ ÑаÑÑоÑнÑй алгоÑиÑм ÑинÑеза импÑлÑÑнÑÑ ÑиÑÑем Ñ ÑиÑоÑно-импÑлÑÑнÑм ÑпÑавлением в непÑеÑÑвном Ð²Ñ ...
openaire +1 more source
РаÑÑмаÑÑиваеÑÑÑ ÑледÑÑий ÑлекÑÑопÑивод Ñ ÑиÑоÑно-импÑлÑÑнÑм ÑпÑавлением. РазÑабаÑÑваеÑÑÑ ÑаÑÑоÑнÑй алгоÑиÑм ÑинÑеза импÑлÑÑнÑÑ ÑиÑÑем Ñ ÑиÑоÑно-импÑлÑÑнÑм ÑпÑавлением в непÑеÑÑвном Ð²Ñ ...
openaire +1 more source
Ðдание вÑÑоÑного бизнеÑ-ÑенÑÑа Ñ Ð¼Ð¾Ð´ÑлÑнÑми ÑаÑадами
ЦелÑÑ ÑабоÑÑ ÑвлÑеÑÑÑ ÑазÑабоÑка пÑоекÑа Ð·Ð´Ð°Ð½Ð¸Ñ Ð²ÑÑоÑного бизнеÑ-ÑенÑÑа по адÑеÑÑ Ð³. СанкÑ-ÐеÑеÑбÑÑг, ÐÑеволожÑкий мÑниÑипалÑнÑй Ñ-н, кад.openaire +1 more source
ÐвÑÑ Ð¿Ð¾ÑоÑнÑй Ð¼ÐµÑ Ð°Ð½Ð¸Ð·Ð¼ повоÑоÑа
2019ÐÑоведен анализ Ð¼ÐµÑ Ð°Ð½Ð¸Ð·Ð¼Ð¾Ð² повоÑоÑа и пеÑедаÑи. ÐÑоизведена опÑимизаÑÐ¸Ñ Ð¿ÐµÑедаÑоÑнÑÑ Ð¾ÑноÑений двÑÑ ÑÑÑпенÑаÑого ÑÑикÑионного Ð¼ÐµÑ Ð°Ð½Ð¸Ð·Ð¼Ð° повоÑоÑа.
openaire +1 more source
2019
Рданной ÑабоÑе пÑедÑÑавлена ÑазÑабоÑка ÑÑалонного комплекÑа Ð´Ð»Ñ Ð²Ð¾ÑпÑÐ¾Ð¸Ð·Ð²ÐµÐ´ÐµÐ½Ð¸Ñ Ð¸ пеÑедаÑи ÐµÐ´Ð¸Ð½Ð¸Ñ Ð¼Ð¾Ð»ÑÑной доли и маÑÑовой конÑенÑÑаÑии вÑеднÑÑ Ð³Ð°Ð·Ð¾Ð²ÑÑ ÐºÐ¾Ð¼Ð¿Ð¾Ð½ÐµÐ½Ñов в пÑомÑÑленнÑÑ Ð²ÑбÑоÑаÑ
openaire +1 more source
Рданной ÑабоÑе пÑедÑÑавлена ÑазÑабоÑка ÑÑалонного комплекÑа Ð´Ð»Ñ Ð²Ð¾ÑпÑÐ¾Ð¸Ð·Ð²ÐµÐ´ÐµÐ½Ð¸Ñ Ð¸ пеÑедаÑи ÐµÐ´Ð¸Ð½Ð¸Ñ Ð¼Ð¾Ð»ÑÑной доли и маÑÑовой конÑенÑÑаÑии вÑеднÑÑ Ð³Ð°Ð·Ð¾Ð²ÑÑ ÐºÐ¾Ð¼Ð¿Ð¾Ð½ÐµÐ½Ñов в пÑомÑÑленнÑÑ Ð²ÑбÑоÑаÑ
openaire +1 more source
2001
ÐÑедназнаÑено Ð´Ð»Ñ ÑÑÑденÑов ÑадиоÑизиÑеÑкого ÑакÑлÑÑеÑа и ÐнÑÑиÑÑÑа инÑеллекÑÑалÑнÑÑ ÑиÑÑем и ÑÐµÑ Ð½Ð¾Ð»Ð¾Ð³Ð¸Ð¹, обÑÑаÑÑÐ¸Ñ ÑÑ Ð¿Ð¾ напÑавлениÑм 552500 "РадиоÑÐµÑ Ð½Ð¸ÐºÐ°" (магиÑÑеÑÑÐºÐ°Ñ Ð¿ÑогÑамма 552502) и 654200 (Ð ...
openaire +1 more source
ÐÑедназнаÑено Ð´Ð»Ñ ÑÑÑденÑов ÑадиоÑизиÑеÑкого ÑакÑлÑÑеÑа и ÐнÑÑиÑÑÑа инÑеллекÑÑалÑнÑÑ ÑиÑÑем и ÑÐµÑ Ð½Ð¾Ð»Ð¾Ð³Ð¸Ð¹, обÑÑаÑÑÐ¸Ñ ÑÑ Ð¿Ð¾ напÑавлениÑм 552500 "РадиоÑÐµÑ Ð½Ð¸ÐºÐ°" (магиÑÑеÑÑÐºÐ°Ñ Ð¿ÑогÑамма 552502) и 654200 (Ð ...
openaire +1 more source
The purpose of the work is to select and evaluate an energyâefficient translucent facade for a projected highârise office building in St. Petersburg. The project was developed in accordance with the terms of reference and current regulatory documents.
openaire +1 more source
openaire +1 more source
ÐнÑÑопиÑ, инÑоÑмаÑÐ¸Ñ Ð¸ ÑоÑноÑÑÑ Ð¾ÑениваниÑ
Ð ÑабоÑе пÑедÑÑавлена ÑжаÑÐ°Ñ Ð¸Ð½ÑоÑмаÑÐ¸Ñ Ð¿Ð¾ Ñаким Ñемам, как: ÑаÑÑÑоÑние ÐÑлÑбака-ÐейблеÑа, ÑнÑÑÐ¾Ð¿Ð¸Ñ ÑÐ°Ð·Ð±Ð¸ÐµÐ½Ð¸Ñ Ð¸Ð½ÑоÑмаÑии и неÑавенÑÑво Фано.openaire +1 more source
ÐобилÑнÑй ÑÑанÑпоÑÑнÑй ÑобоÑ
The objective of this work is to design a mobile traction robot capable of autonomously moving a cargo trolley. To achieve this goal, existing types of mobile traction robots and specific models with typical design solutions were analyzed. A kinematic scheme was synthesized, determining the layout of the robot.openaire +1 more source
The purpose of the work is to develop an emergency kit for men and women of average age from 25 to 45 years, working in multi-storey business centres, to ensure life safety, independent rescue in case of emergency. The tasks that were solved during the research: 1. To analyse and identify the peculiarities of design methods of emergency kits already on
openaire +1 more source
openaire +1 more source

