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

ОБЗОР МЕТОДОВ РАСЧЁТА ПРОФИЛЯ СТВОЛА НАКЛОННО-НАПРАВЛЕННОЙ СКВАЖИНЫ

Кондров Н.С., Щевелёв А.А.

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

 Кондров Никита Сергеевич – магистрант;

Щевелёв Андрей Александрович – аспирант,

кафедра бурения нефтяных и газовых скважин, горно-нефтяной факультет,

Уфимский государственный нефтяной технический университет,

г. Уфа

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

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

 DIRECTIONAL DRILLING CALCULATION METHODS REVIEW

Kondrov N.S., Shchevelev A.А.

 Kondrov Nikita Sergeevich – master’s student;

Shchevelev Andrei Alexandrovich – PhD Candidate,

OIL AND GAS WELLS DRILLING DEPARTMENT, OIL MINING FACULTY,

UFA STATE PETROLEUM TECHNOLOGICAL UNIVERSITY,

UFA

 Abstract: this article analyzes the most common directional drilling calculation methods. Most of the advantages and disadvantages of these methods are taken into account. Planned trajectories of two deviated wellbores are calculated in accordance with inclination survey data. Calculation of the coordinates of survey points are provided automatically, by means of relative table in Microsoft Excel program. According to modern industrial requirements and resulting calculation data, the selection of directional calculation method is made. The article also contains the proof of minimum curvature method consistency.

Keywords: directional drilling, directional survey, tangential method, balanced tangential method, average angle method, radius of curvature method, minimum curvature method, wellbore, well design process.

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

1. Левинсон Л.М., Акбулатов Т.О., Левинсон М.Л., Хасанов Р.А. Строительство и навигация сложнопрофильных скважин. Учебное пособие. Уфа, 2013. 157 с.
2. Доровских И.В., Живаева В.В., Воробьев С.В. Построение проектного и фактического профилей скважины: методические указания к выполнению лабораторной работы для студентов специальности 130504. Самара: Самар. гос. техн. ун-т, 2010. 50 с.: ил.
3. Steven J. Sawaryn, John L. Thorogood. / A Compendium of Directional Calculations Based on the Minimum Curvature Method – SPE Drilling and Completion, 2005.

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

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

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

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

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. - С. {см. журнал}.

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

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

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

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

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