Russian Chinese (Simplified) English German

Публикация научных работ

Publication of scientific papers foto Журнал «Проблемы современной науки и образования» выходит раз в две недели, по пятницам. Следующий номер журнала № 38(120), декабрь 2017 г. Выйдет - 22.12.2017 г. Статьи принимаются до 17.12.2017 г.

Если Вы хотите напечататься в ближайшем номере, не откладывайте отправку заявки. Потратьте одну минуту, заполните и отправьте заявку в Редакцию.

linecolor




ИСПОЛЬЗОВАНИЕ МНОГОЯДЕРНЫХ УСКОРИТЕЛЕЙ ДЛЯ РЕШЕНИЯ ЗАДАЧИ ПРОПОЗИЦИОНАЛЬНОЙ ВЫПОЛНИМОСТИ

Кирюшин Н.К., Михалев И.В.

Email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.

Кирюшин Никита Константинович – магистрант;

Михалев Илья Викторович – магистрант,

кафедра вычислительной техники,

Национальный исследовательский университет

Московский институт электронной техники,

г. Москва

Аннотация: проведено экспериментальное исследование применимости различных многоядерных аппаратных ускорителей для решения задачи выполнимости булевых формул. Для проведения экспериментальных исследований разработаны решатели, учитывающие особенности исследуемых аппаратных платформ. В данной работе рассматривалось применение графических ускорителей и универсальных многоядерных ускорителей Intel Xeon Phi. Представленные результаты дают понятие об алгоритмах, применимых для решения задачи выполнимости булевых формул с использованием многоядерных аппаратных ускорителей, а также о группах задач, относящихся к задаче выполнимости булевых формул, для которых использование многоядерных ускорителей обосновано.

Ключевые слова: пропозициональная выполнимость, выполнимость булевых формул, многоядерные ускорители, графические ускорители, DPLL, SLS, GPU, CUDA, Xeon Phi.

USING MANYCORE HARDWARE ACCELERATORS FOR BOOLEAN SATISFIABILITY SOLVING

Kiryushin N.K., Mikhalev I.V.

Kiryushin Nikita Konstantinovich – Undergraduate;

Mikhalev Ilya Viktorovich – Undergraduate,

COMPUTER ENGINEERING DEPARTMENT

NATIONAL RESEARCH UNIVERSITY OF ELECTRONIC TECHNOLOG,Y

MOSCOW

Abstract: аn experimental study of the applicability of various manycore hardware accelerators to solve Boolean satisfiability (SAT) problem is carried out. Solvers, taking into account features of researched hardware platforms are developed to be used in the experimental researches. In this paper, we considered the use of GPU and Intel Xeon Phi coprocessors. The presented results give an idea of algorithms that are applicable for solving the problem of satisfiability of Boolean formulas using multi-core hardware accelerators, as well as groups of problems related to the problem of satisfiability of Boolean formulas for which the use of manycore accelerators is justified.

Keywords: propositional satisfiability, Boolean satisfiability, manycore coprocessors, graphic processing unit, DPLL, SLS, GPU, CUDA, Xeon Phi.

Список литературы / References

  1. Davis M., Logemann G., Loveland D. A Machine Program for Theorem-proving. Commun. ACM 5(7) (July 1962). Р. 394-397.
  2. Selman В., Levesque Н. and Mitchell D.G. A new method for solving hard satisfiability problems. In 10th National Conference on Artificial Intelligence, pages 440–446. AAAI Press / The MIT Press. Menlo Park. CA, 1992.
  3. CUDA Toolkit Documentation v8.0 — NVIDIA corp., 2017. [Электронный ресурс]. Режим доступа: http://docs.nvidia.com/cuda/ (дата обращения: 03.06.2017).
  4. Costa C. Parallelization of SAT Algorithms on GPUs. Technical report, Instituto Superior T´ecnico, Lisboa, Portugal (Feb 2013).
  5. The Glucose SAT Solver—LaBRI. [Электронный ресурс]. Режим доступа: http://www.labri.fr/perso/lsimon/glucose/ (дата обращения: 03.06.2017).
  6. Intel Xeon Phi X100 Family Coprocessor. The Architecture Intel Software. [Электронный ресурс]. Режим доступа: https://software.intel.com/en-us/articles/intel-xeon-phi-coprocessor-codename-knights-corner/ (дата обращения: 03.06.2017).

Ссылка для цитирования данной статьи

Publication-of-scientific-papers-copyright    

Кирюшин Н.К., Михалев И.В. ИСПОЛЬЗОВАНИЕ МНОГОЯДЕРНЫХ УСКОРИТЕЛЕЙ ДЛЯ РЕШЕНИЯ ЗАДАЧИ ПРОПОЗИЦИОНАЛЬНОЙ ВЫПОЛНИМОСТИ // Проблемы современной науки и образования  №22 (104), 2017. - С. {см. журнал}.

Publication of scientific papers 2

ПОДСИСТЕМА АСОНИКА-К. ЧАСТЬ 2

Седых К.В. Громов В.С.

 Email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.

Седых Константин Владимирович – кандидат технических наук;

Громов Вадим Сергеевич – студент, магистр,

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

Национальный исследовательский университет

Московский институт электронной техники,

г. Зеленоград

Аннотация: для комплексного расчета критериев надежности электроники непосредственно до её изготовления было разработано специализированное программное обеспечение: автоматизированная система обеспечения надежности и качества аппаратуры – «Асоника–К». Программное обеспечение производит расчет показателей надежности устройств на этапе проектирования, что позволяет существенно сэкономить денежные средства. Расчет аппаратуры и электрорадиоизделий в программном обеспечении производится по данным изготовителей электрорадиоизделий или из специальных справочников. Данные могут храниться на сервере, а клиент-компьютеры подключаться к нему, для получения данных и проведения расчета, что позволяет использовать маломощные клиент-компьютеры.

Ключевые слова: Асоника-К, электрорадиоизделия, надежность, база данных.

 SUBSYSTEM ASONIKA-K. PART 2.

Sedykh K.V., Gromov V.S.

Sedyh Konstantin Vladimirovich – Candidate of technical Sciences;

Vadim Sergeevich Gromov – Student, Master,

DEPARTMENT OF AUTOMATION AND CONTROL,

NATIONAL RESEARCH UNIVERSITY

MOSCOW INSTITUTE OF ELECTRONIC TECHNOLOGY,

ZELENOGRAD

Abstract: for complex calculation of criteria of reliability electronics directly to its production, we developed specialized software: automated system for ensuring reliability and quality of the equipment – "ASONIKA–K". The software calculates the reliability of the devices is made at the design stage, which allows you to save money. Calculation of equipment and components our software be made according to manufacturers of radio devices or of a special reference. Data can be stored on the server and client computers to connect to it to retrieve the data and calculation that allows the use of thin client computers.

Keywords: ASONIKA-K, electronics, reliability, database.

 Список литературы 

  1. Кофанов Ю.Н. «Автоматизированная система АСОНИКА в проектировании радиоэлектронных средств: Учебно-методическое пособие». М.: МИЭМ НИУ ВШЭ, 2012. 58 с. Ил. 46.
  2. Описание продукта «Асоника-К-СЧ». [Электронный ресурс]. Режим доступа: http://www.asonika-k.ru/produkty/asonika-k-sch/ (дата обращения: 20.04.2017).

Ссылка для цитирования данной статьи

Publication-of-scientific-papers-copyright    

Седых К.В., Громов В.С. ПОДСИСТЕМА АСОНИКА-К. ЧАСТЬ 2 // Проблемы современной науки и образования  №22 (104), 2017. - С. {см. журнал}.

Publication of scientific papers 2

ИСПОЛЬЗОВАНИЕ ГЕОМЕТРИЧЕСКОЙ НЕЛИНЕЙНОСТИ ПРИ ИССЛЕДОВАНИИ УСТОЙЧИВОСТИ ПОЛОГИХ ОБОЛОЧЕК

Тулегенова О.Е.

Email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.

Тулегенова Орынша Елеусизовна - ассистент профессора, факультет общего строительства, Казахская головная архитектурно-строительная академия, г. Алматы, Республика Казахстан

Аннотация: в данной работе рассматривается потеря устойчивости пологих железобетонных оболочек покрытий с образованием одиночных вмятин. Представлены результаты расчета на устойчивость пологой железобетонной оболочки, имеющей в плане форму эллиптического параболоида. В этом случае с увеличением отношений радиусов кривизны, критическая нагрузка увеличивается, а размеры вмятины и прогибы в центре вмятины уменьшаются, т.е. при минимальной критической нагрузке увеличиваются размер вмятины и значения прогибов оболочки.

Ключевые слова: потеря устойчивости, геометрическая нелинейность, оболочек покрытий, вмятина, прогиб.

USAGE OF GEOMETRICAL NONLINEARITY IN THE RESEARCH OF SHALLOW SHELLS

Tulegenova O.Е.

Tulegenova Orynsha Eleusizovna – Assistant Professor,DEPARTMENT OF GENERAL CIVIL ENGINEERING, KAZAKH LEADING ACADEMY OF ARCHITECTURE AND CIVIL ENGINEERING, ALMATY, REPUBLIC OF KAZAKHSTAN  

Abstract: in this paper, the loss of reinforced concrete shallow shells roofing stability with the formation of single indents is considered. The results of calculation for the stability of reinforced concrete shallow shells that has an elliptical paraboloid shape on the plan are presented. In this case, as the ratio of the radii of curvature increases, the critical load increases, and the sizes of the indents and deflections in the center of the indent are decreased, i.e. with a minimum critical load, the size of the indent and the values of the deflections of the shell are increased.

Keywords: loss of stability, geometric nonlinearity, roof shells, indent, deflection.

Список литературы / References

  1. Вольмир А.С. Устойчивость упругих систем. М. Госиздат. физ.–мат., 1963 г.
  2. Колкунов Н.В. Основы расчета упругих оболочек. М. Изд. «Высшая школа», 1972 г.
  3. Безухов Н.И. Основы теории упругости, пластичности и ползучести, М. Изд. «Высшая школа», 1969 г.
  4. Никереев В.М., Шадурский В.Л. Практические методы расчета оболочек. М. Изд «Строительство»,1966 г.
  5. Достанова С.Х. Исследование устойчивости пространственных систем. Сб. науч. тр. АлИИТ «Прочность материалов и конструкций», 1993 г.

Ссылка для цитирования данной статьи

Publication-of-scientific-papers-copyright    

Тулегенова О.Е.  ИСПОЛЬЗОВАНИЕ ГЕОМЕТРИЧЕСКОЙ НЕЛИНЕЙНОСТИ ПРИ ИССЛЕДОВАНИИ УСТОЙЧИВОСТИ ПОЛОГИХ ОБОЛОЧЕК // Проблемы современной науки и образования  №21 (103), 2017. - С. {см. журнал}.

Publication of scientific papers 2

ОСОБЕННОСТИ ВЛИЯНИЯ ТЕХНОЛОГИЧЕСКИХ СРЕД НА СИЛОВЫЕ ХАРАКТЕРИСТИКИ ПРИ точении различных конструкционных материалов

Анафиев С.Р., Кравчук И.О.

Email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.

Анафиев Сервер Рустемович – магистрант;

Кравчук Илья Олегович – магистрант,

кафедра технологии машиностроения,

Государственное бюджетное образовательное учреждение высшего образования Республики Крым

Крымский инженерно-педагогический университет,

г. Симферополь, Республика Крым

Аннотация: эмпирически установлено влияние экологически безопасных смазочно-охлаждающих технологических сред (СОТС) на силовые характеристики процесса резания при точении различных по химической активности конструкционных материалов. Показано, что применение ионизированных газов в сочетании с технологией минимальной смазки обеспечивает значительное снижение сил резания. Ионизированные воздушно-масляные смеси служат очагами конденсации, повышая энтропию процесса, и проникают глубже в зону обработки за счет снижения поверхностного натяжения капель жидкости.

Ключевые слова: смазочно-охлаждающие средства, точение, техника минимальной смазки, ионизированные газы, силы резания.

 The impact of technological liquids on the power FEATURES at the turning VARIOUS CONSTRUCTION MATERIALS

Anafiev S.R., Kravchuk I.O.

Anafiev Server Rustemovich – Undergraduate;

Kravchuk Ilya Olegovich – Undergraduate,

DEPARTMENT OF MACHINE BUILDING TECHNOLOGY,

STATE BUDGET EDUCATIONAL INSTITUTION OF HIGHER EDUCATION OF THE REPUBLIC OF CRIMEA

CRIMEAN ENGINEERING-PEDAGOGICAL UNIVERSITY,

SIMFEROPOL, REPUBLIC OF CRIMEA

Abstract: the article deals with the experimental evaluation (in the laboratory) of environmentally secure lubricating and cooling technological means’ (LCTM) influence on the force characteristics in turning process of structural materials, which have different chemical activity. The experiment’s results confirm that the use of ionized gases in combination with minimal quantity lubrication technology (MQL) provides a significant reduction of cutting forces. Ionized air-oil mixtures serve as foci of condensation, increasing entropy, and penetrating deeper into the treatment zone by reducing the surface tension of liquid droplets.

Keywords: lubricating and cooling technological means, turning, minimal quantity lubrication technology, ionized gases, cutting forces.

 Список литературы / References

  1. Алиев А.И. Повышение работоспособности сложнопрофильного режущего инструмента за счет применения технологический сред растительного происхождения. дис. канд. техн. наук: 05.03.01. Симферополь, 2011. 152 с.
  2. Виноградов Д.В. Применение смазочно-охлаждающих технологических средств при резании металлов: учеб. пособие по курсу «Инструментообеспечение машиностроительных предприятий» / Д.В. Виноградов. Ч. 1: Функциональные действия. М.: Изд-во МГТУ им. Н.Э. Баумана, 2013. 90 с.
  3. Смазочно-охлаждающие технологические средства для обработки металлов резанием: Справочник / Ред. С.Г. Энтелис, Э.М. Берлинер. 2-е изд., перераб. и доп. М.: Машиностроение, 1995. 496 с.
  4. Смазочно-охлаждающие технологические средства и их применение при обработке резанием: Справочник / Ред. Бабичев А.П., Худобин Л.В., Булыжев Е.М. М.: Машиностроение, 2006. 544 с.
  5. Якубов Ч.Ф. Повышение износостойкости быстрорежущих инструментов путем направленной трансформации их исходных свойств. дис. канд. техн. наук: 05.03.01. Харьков, 2004. 145 с.

Ссылка для цитирования данной статьи

Publication-of-scientific-papers-copyright    

Анафиев С.Р., Кравчук И.О. ОСОБЕННОСТИ ВЛИЯНИЯ ТЕХНОЛОГИЧЕСКИХ СРЕД НА СИЛОВЫЕ ХАРАКТЕРИСТИКИ ПРИ точении различных конструкционных материалов // Проблемы современной науки и образования  №21 (103), 2017. - С. {см. журнал}.

Publication of scientific papers 2

Старый сайт

oldsite Старая версия сайта >>>

 
  Рейтинг@Mail.ru
Яндекс.Метрика    
 
Импакт-фактор российских научных журналов 
adware software removal
 

Контакты

  • Адрес: 153008, Россия, г. Иваново, ул. Лежневская, д. 55, 4 этаж. Время работы: с 10-00 до 18-00. Кроме выходных.
  • Tel: +7(910)690-15-09
  • Fax: +7(910)690-15-09
  • Email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
  • Website: http://www.ipi1.ru/
  • Вконтакте: http://vk.com/scienceproblems
Вы здесь: Главная 05.00.00 Технические науки