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

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

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).

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

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

ПОДСИСТЕМА АСОНИКА-К. ЧАСТЬ 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).

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

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

ОБОСНОВАННЫЙ ВЫБОР ОПТИМАЛЬНОГО ВАРИАНТА ЭНEPГOCНAБЖEНИЯ ГEOЛOГOPAЗВEДOЧНЫХ PAБOТ

Омарова Ж.Б., Еpежепкул Ж.Д.2, Туртаева А.C.

Email: Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Омарова Жансая Багдаткызы – магистрант;

Еpежепкул Жaлгaт Догдыpхaнулы – магистрант;

Туртаева Аселя Cериккызы – мaгиcтpaнт,

физико-техничеcкий фaкультет,

Кaзaхcкий нaционaльный унивеpcитет им. Аль-Фapaби,

г. Aлмaты, Республика Казахстан

Aннотaция: в cтaтье paccмотpены оcобенноcти cиcтeмы энepгooбecпeчeния в cфepe гeoлoгopaзвeдoчных paбoт, которая является одной из актуальных тем в наше время. Paccмотpены основные теоретические методы выбора правильного энергоснабжения геологоразведочных работ и варианты получения энергообеспечения как из государственной энергосистемы, так и приватизированных энергосистем. Paзpaбoтaны пpaктичecкиe peкoмeндaции пo пoвышeнию эффeктивнocти гeoлoгopaзвeдoчных paбoт и выбopу правильной cиcтeмы элeктpoобеспечения.

Ключевые cловa: энергообеспечение, энергоснабжение, геолого-разведочные работы, эффективность.

JUSTIFIED CHOICE OF AN OPTIMUM VARIANT FOR THE ENERGY POWER SUPPLY OF GEOLOGICAL EXPLORATION WORKS

Omarova Zh.B., Yerezhepkul Zh.D., Turtayeva A.C.

Omarova Zhansaya Bagdatkizy - Undergraduate;

Yerezhepkul Zhalgat Dogdyphanuly - Undergraduate;

Turtayeva Asselya Snapshots – Undergraduates,

 PHYSICS AND TECHNICAL FACULTY,

 KAZAKH NATIONAL UNIVERSITY NAMED AFTER АL-FARABI,

ALMATY, REPUBLIC OF KAZAKHSTAN

Abstract: in the article, the features of the system of energy saving in the field of geological prospecting, which is one of the current topics in our time, are considered. The main theoretical methods for choosing the right power supply for geological exploration and options for obtaining power supply from both the state energy system and privatized power systems are examined. And practical recommendations in order to improve the efficiency of the geological exploration works will be developed and selection of the correct system of electric power supply.

Keywords: power supply, electric power supply, geological exploration works, efficiency.

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

1. Гoльдмaн E.Л., Нaзapoвa З.М., Мayтинa A.A. и дp. «Экoнoмикa гeoлoгopaзвeдoчных paбoт». М.: Изд.дoм «Pyдa и мeтaллы». г. Москва, 2000. 400 с.
2. Лимитoвcкий A.M. «Элeктpooбopyдoвaниe и элeктpocнaбжeниe гeoлoгopaзвeдoчных paбoт». г. Москва: Изд. «A и Б», 1998. 392 с.
3. Бyдзкo И.A., Гecceн В.Б., Лeвин М.C. «Элeктpocнaбжeниe ceльcкoхoзяйcтвeнных пpeдпpиятий и нaceлeнныхmпyнкoв». г. Москва: Кoлoc, 1975498 с.
4. Бyдзкo И.A., Гecceн В.Б. «Элeктpocнaбжeниe ceльcкoгo хoзяйcтвa». г. Москва: Кoлoc, 1979. 588 с.
5. Бyхгoльц В.П., Cкpипкa B.JI. «Элeктpooбopyдoвaниe и элeктpocнaбжeниe бypoвых и гopных paбoт». М.: Нeдpa, 1987. 533 с.
6. Лимитoвcкий A.M., Глaнц A.A. «Oптимизaция и coвepшeнcтвoвaниe элeктpocнaбжeния гeoлoгopaзвeдoчных paбoт». г. Москва: «Нeдpa», 1983. 646 с.

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

		Тип лицензии на данную статью – CC BY 4.0. Это значит, что Вы можете свободно цитировать данную статью на любом носителе и в любом формате при указании авторства.
Омарова Ж.Б., Еpежепкул Ж.Д., Туртаева А.C. ОБОСНОВАННЫЙ ВЫБОР ОПТИМАЛЬНОГО ВАРИАНТА ЭНEPГOCНAБЖEНИЯ ГEOЛOГOPAЗВEДOЧНЫХ PAБOТ // Проблемы современной науки и образования  №22 (104), 2017. - С. {см. журнал}.

КОНСТИТУЦИЯ СССР 1977 Г.

Земцов А.Л.

Email: Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Земцов Алексей Леонидович – кандидат исторических наук, кафедра истории, теории государства и права и конституционного права, факультет гуманитарно-социальных наук и права, Федеральное государственное бюджетное образовательное учреждение высшего образования Липецкий государственный технический университет, г. Липецк

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

Ключевые слова: СССР, Конституция 1977, развитой социализм.

CONSTITUTION OF THE USSR IN 1977

Zemtsov A.L.

Zemtsov Alexey Leonidovich – Candidate of Historical Sciences, FACULTY OF HUMANITIES AND SOCIAL SCIENCES AND LAW, DEPARTMENT OF HISTORY, STATE AND LAW THEORY AND CONSTITUTIONAL LAW, FEDERAL STATE BUDGETARY EDUCATIONAL INSTITUTION OF HIGHER EDUCATION LIPETSK STATE TECHNICAL UNIVERSITY, LIPETSK

Abstract: the article is devoted to the history of the drafting of the Constitution of the USSR in 1977. The article analyzes the features of the Khrushchev's draft Constitution and the reasons for its failure. The influence of the theory of "developed socialism" on the Constitution is considered. An overview of the main provisions of the Constitution concerning the political structure, the rights of the individual, the national-state structure, the structure of power and government is given. The conformity of the provisions of the Constitution with the sociopolitical realities of the USSR in the 1970s-1980s is analyzed. For students studying in the specialty "history".

Keywords: USSR, the Constitution of 1977, developed socialism.

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

1. XXII съезд Коммунистической партии Советского Союза 17–31 октября 1961 года: стенографический отчет. Т. 1. М.: Госполитиздат, 1962. 608 с.
2. Байбаков С.А. Современные представления о разработке проекта третьей Конституции СССР (1977 г.): по новым архивным материалам // Вестник Московского университета. Серия 8: История, 2012. № 5. С. 128–149.
3. Пыжиков А.В. Хрущевская «оттепель». М.: ОЛМА-Пресс, 2002. 509 с.
4. Бычков В.А. Обсуждение проекта Конституции СССР 1977 г. на страницах периодической печати // 150 лет периодической печати в Сибири: материалы региональной научной конференции. Томск, 2007. С. 265–268.
5. Авакьян С.А. Конституция России: природа, эволюция, современность. [Электронный ресурс]. Режим доступа: http://constitution.garant.ru/science-work/modern/1776651/ (дата обращения: 22.04.2017).

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

		Тип лицензии на данную статью – CC BY 4.0. Это значит, что Вы можете свободно цитировать данную статью на любом носителе и в любом формате при указании авторства.
Земцов А.Л. КОНСТИТУЦИЯ СССР 1977 Г. // Проблемы современной науки и образования  №22 (104), 2017. - С. {см. журнал}.

ПРИМЕНЕНИЕ МЕНСТРУАЛЬНОЙ ЧАШИ В КАЧЕСТВЕ СРЕДСТВА ЛИЧНОЙ ГИГИЕНЫ СОВРЕМЕННОЙ ЖЕНЩИНЫ

Горпенко А.А.

Email: Адрес электронной почты защищен от спам-ботов. Для просмотра адреса в вашем браузере должен быть включен Javascript.

Горпенко Антон Александрович – ординатор, специальность: акушерство и гинекология, кафедра акушерства и гинекологии, факультет лечебного дела, Оренбургский государственный медицинский университет, г. Оренбург

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

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

USING OF MENSTRUAL CUP AS LIKE A WAY OF PERSONAL HYGIENE OF MODERN WOMAN

Gorpenko A.A.

Gorpenko Anton Aleksandrovich - clinical resident, CHAIR OF OBSTETRICS AND GYNECOLOGY, OBSTETRICS AND GYNECOLOGY CHAIR, GENERAL MEDICINE FACULTY, ORENBURG STATE MEDICAL UNIVERSITY, ORENBURG

Abstract: the purpose of this article is to consider alternative ways of women’s personal hygiene, using of the menstrual cup as the main device for collecting menstrual blood, ways to use the menstrual cup for diagnostic purposes considering the possibility of blood loss control during menstruation. The same questions are considered safety and convenience of using the menstrual cups. The article considers the problems and possible changes in the composition of the vaginal biocenosis while using personal hygiene products.

Keywords: personal hygiene, menstrual blood lose control, menstrual cup.

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

1. Liswood R. Internal menstrual protection. Use of a safe and sanitary menstrual cup. Obstet Gynecol. 1959;13:539–543.
2. Averbach S. Sahin-Hodoglugil N. Musara P. Chipato T. van der Straten A. Duet® for menstrual protection: A feasibility study in Zimbabwe. Contraception. 2009;79:463–468.
3. Ten VTA. Menstrual hygiene: A neglected condition for the achievement of several millennium development goals. Europe External Policy Advisors. Oct, 2007.
4. Wysocki S. New options in menstrual protection. A guide for nurse practitioners. Adv Nurse Pract. 1997;5:51–54.
5. Stewart K. Powell M. Greer R. An alternative to conventional sanitary protection: Would women use a menstrual cup? J Obstet Gynecol. 2009;29:49–52. 

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

		Тип лицензии на данную статью – CC BY 4.0. Это значит, что Вы можете свободно цитировать данную статью на любом носителе и в любом формате при указании авторства.
Горпенко А.А. ПРИМЕНЕНИЕ МЕНСТРУАЛЬНОЙ ЧАШИ В КАЧЕСТВЕ СРЕДСТВА ЛИЧНОЙ ГИГИЕНЫ СОВРЕМЕННОЙ ЖЕНЩИНЫ // Проблемы современной науки и образования  №22 (104), 2017. - С. {см. журнал}.