Сивков С.А.

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

Сивков Сергей Александрович – магистрант, Институт информационных технологий и компьютерных систем Севастопольский государственный университет, г. Севастополь

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

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

 VALIDATION OF NETWORK PROTOCOLS BASED ON THE FINITE-AUTOMATIC MODEL

Sivkov S.A.

Sivkov Sergey Aleksandrovich – master, INSTITUTE OF INFORMATION TECHNOLOGIES AND COMPUTER SYSTEMS SEVASTOPOL STATE UNIVERSITY, SEVASTOPOL

Abstract: а finite-automatic model is proposed for the study of characteristics that affect the safety of the protocols of distributed technical systems. The initial data for the study is the primary specification of the protocol, described by the table of transitions between the interaction of distributed system objects. A formal model for presenting the protocol and basic requirements for the protocol have been developed. As the method of checking the security characteristics of the protocol, an analysis of the tree of attainable global states is chosen.

Keywords: validation, protocol insolvency, information exchange protocols, protocol specification, extended finite automaton, tree of reachable global states, finite automaton model of TCP protocol.

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

1. Lowe G. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. // Software - Concepts and Tools. 17: Pp. 93-102, 1996.
2. Апраксин Ю.К. Моделирование поведения взаимодействующих объектов распределённых систем / Ю.К.Апраксин // АСУ и приборы автоматики. Харьков, 1999. Вып. 110. С. 3-6.
3. Experience with Formal Specification Using an Extended State Transition Model / G.V. Bochmann, E.Cerny, V.Gague E.A. // IEEE Trans., 1982. Vol. COM-30. № 12. P. 2506-2512.
4. Сивков С.А. Исследование несостоятельности сетевых протоколов на основе конечно-автоматной модели / С.А. Сивков, Ю.К. Апраксин // Материалы внутривузовской студен. науч.-техн. конф., Севастополь: СевГУ, 2017. С. 108.

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

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

Мустафаев М.А., Якубов А.С.

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

Мустафаев Мамут Алиевич – магистрант;

Якубов Асан Серверович – магистрант,

кафедра технологии машиностроения, инженерно технологический факультет,

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

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

г. Симферополь

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

Приведены результаты теоретического исследования метода механической обработки резьбовых отверстий при применении деформирующего инструмента с учетом моделирования процесса формообразования дюймовых резьб в глухих отверстиях деформирующим инструментом, а также результаты экспериментов, проведенных с применением нового деформирующего инструмента при обработке деталей из сплава АК12М2, изготовленных на заводе ОАО «Пневматика».

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

 INCREASE OF SEALING OF THREADED CONNECTIONS ON THE BASIS OF THE APPLICATION OF THE DEFORMATION TOOL

Mustafaev M. A., Yakubov A.S.

Mustafaev Mamut Alievich – Undergraduate;

Yakubov Asan Serverovich - Undergraduate,

CHAIR TECHNOLOGY OF ENGINEERING, ENGINEERING AND TECHNOLOGY FACULTY,

STATE BUDGET EDUCATIONAL INSTITUTION OF HIGHER EDUCATION OF THE REPUBLIC OF CRIMEA CRIMEAN ENGINEERING AND PEDAGOGICAL UNIVERSITY,

SIMFEROPOL

Abstract: the article proposes and analyzes new solutions to the scientific and technical problem of increasing the tightness of threaded joints of pneumatic equipment parts using a deforming tool for processing blind holes.

The results of a theoretical study of the method of machining threaded holes with the use of a deforming tool are given, taking into account the modeling of the process of shaping inch threads in deaf holes with a deforming tool, as well as the results of experiments carried out with the use of a new deforming tool for processing parts made of the AK12M2 alloy manufactured at the Pnevmatika plant.

Keywords: tightening of threaded joints, technological process, aluminum alloys, gas-tight porosity, threaded connection, deforming tool.

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

1. Абдулкеримов И.Д. Падерин В.Н. Расчет предполагаемого объема пористости и неметаллических включений при проектировании отливок, получаемых литьем под давлением, и их влияние не негерметичность. Ученые записки Кримского инженерно–педагогического университета. Выпуск 16. Технические науки. Симферополь: НИЦ КИПУ, 2008. С. 54-57
2. Меньшаков В.М., Урлапов Г.П., Середа В.С. Бесстружечные метчики. М. «Машиностроение», 1976. -167 с.
3. Абдулкеримов И.Д. Обеспечение качества изготовления глухих резьбовых отверстий в корпусных деталях из алюминиевых сплавов с газоусадочной пористостью деформирующим инструментом / А.А. Пермяков, И.Д. Абдулкеримов // Сборник научных трудов «Проблемы проектирования и автоматизации в машиностроении: сборник научных трудов». Серия: «Проектирование и применение режущего инструмента в машиностроении» / Под общ. ред. Ю.М. Соломенцева. [Текст]. Ирбит: ЗАО «ОНИКС», 2015. С. 84–91.
4. Пермяков А.А. Технологическое обеспечение герметичности резьбовых соединений деталей на основе поверхностно-пластического деформирования / А.А. Пермяков, И.Д. Абдулкеримов // Наукові нотатки: зб. наук. праць. Луцьк: РВВ Луцького НТУ, 2015. Вип. 52. С. 231–236.
5. Abdulkerimov I., Permyakov A. Development of technological support of qualitative threaded joints of parts made of aluminum alloys //Technology audit and production reserves, 2017. Т. 2. №. 1 (34). С. 4-8.
6. Абдулкеримов И.Д. Технологическое обеспечение герметичности резьбовых соединений деталей пневмоаппаратуры на основе поверхностно пластического деформирования //Резание и инструменты в технологических системах, 2014. № 84. С. 3-10.
7. Абдулкеримов И.Д. Технология получения качественных резьбовых соединений деталей из силуминовых сплавов деформирующим инструментом // Таврический научный обозреватель, 2016. – Т. 16. № 11. С. 207–211.

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

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

Лосев Г.И.

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

Лосев Герман Игоревич - инженер, студент, кафедра систем автоматического управления и контроля, Национальный исследовательский университет Московский институт электронной техники, г. Москва

Аннотация: в статье рассматриваются принципы программирования цифровых сигнальных процессоров серии BlackFin в среде VisualDSP++, необходимые для устройств цифровой обработки сигналов. На примере блоков PPL, UART и SPORT процессора описываются основы инициализации ядра процессора и компонентов, необходимых для приёма и передачи данных с АЦП на ПК. Статья также описывает процедуру приёма данных через Sport интерфейс, передачу через интерфейс UART и загрузку программы на процессор через UART. Кроме того, описывается функция цифровой фильтрации и работа с ней.

Ключевые слова: микропроцессоры, цифровая обработка, инициализация, прием/передача.

 PROGRAMMING OF SIGNAL PROCESSORS OF THE BLACKFIN SERIES FOR DIGITAL SIGNAL PROCESSING TASKS

Losev G.I.

Losev German Igorevich - Engineer, Student, DEPARTMENT OF AUTOMATIC CONTROL AND MONITORING SYSTEMS, NATIONAL RESEARCH UNIVERSITY OF ELECTRONIC TECHNOLOGY, MOSCOW

Abstract: the article discusses the principles of programming of the BlackFin series signal processors in the VisualDSP ++ environment, which are necessary for digital signal processing devices. The examples of the PPL, UART and SPORT units describe the fundamentals of initialization of the processor core and the components necessary to receive and transfer data from the ADC to the PC. The article also describes the procedure for receiving data via the Sport interface, transferring through the UART interface, and downloading the program to the processor via the UART. In addition, describes the function of digital filtering and working with it.

Keywords: microprocessors, digital processing, initialization, reception / transmission.

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

1. ADSP-BF50x Blackfin ® Processor Hardware Reference Revision 1.2, February 2013. [Электронный ресурс]. Режим доступа:http://www.analog.com/media/en/dsp-documentation/processor-manuals/ADSP-BF50x_hwr_revpdf/ (дата обращения: 04.05.2017).
2. Сотников А. Проектирование с использование процессоров Analog Devices. Цифровой КИХ-фильтр // Компоненты и технологии, 2010. № 10.
3. Вальпа О.Д. Разработка устройств на основе цифровых сигнальных процессоров фирмы AnalogDevices с использованием VisualDSP++.-М.: Горячая линия-Телеком, 2007. 270 с.

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

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

Ермаков С.Н.

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

Ермаков Сергей Николаевич – магистрант, кафедра программных систем, факультет информатики, Самарский национальный исследовательский университет им. академика С.П. Королева, г. Самара

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

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

 MATHEMATICAL MODELING OF SMALL AND NANO SPACECRAFTS MOVEMENT IN THE COMPOSITION OF ORBITAL TETHER SYSTEM DEPLOY

Ermakov S.N.

Ermakov Sergei Nikolaevich – Сandidate for a Master's degree, DEPARTMENT OF PROGRAM SYSTEM, COMPUTER SCIENCE FACULTY, SAMARA NATIONAL RESEARCH UNIVERCITY NAMED AFTER ACADEMICIAN S.P. KOROLEV, SAMARA

Abstract: this article describes the system of deployment of a small and nano spacecrafts movement tether system with transient response in vertical position. To describe the motion of the system, a mathematical model is used in the geocentric coordinate system, which takes into account the tether’s extensibility. The purpose of this work is to analyze the transient processes of the system under consideration in the presence of perturbations in the initial velocity and he direction of spacecraft separation. The influence of the feedback coefficients on the deployment process and on the transient processes is also being analyzed in the article.

Keywords: mathematical modeling, transient response, linear regulator, spacecraft, tether system.

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

1. Заболотнов Ю.М. Практикум по динамике и управлению движением космических тросовых систем / Ю.М. Заболотнов. Самара: СГАУ, 2016. 103 с.
2. Заболотнов Ю.М. Введение в динамику и управление движением космических тросовых систем / Ю.М. Заболотнов. Пекин: SciencePress, 2013. 140 с.
3. Заболотнов Ю.М. Управление развертыванием орбитальной тросовой системы в вертикальное положение с малым грузом / Ю.М. Заболотнов // Прикладная математика и механика, 2015. Том 79. Вып. 1. С. 37–47.
4. Белецкий В.В. Динамика космических тросовых систем / В.В. Белецкий, Е.М. Левин. М.: Наука. Гл. ред. Физ.–мат. лит., 1990. 336 с.

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

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