Система управления шаговым двигателем на базе Arduino UNO

This article gives information about a control system of a step motor using an Arduino UNO controller. A motor, designed as stated in the article, can be used to carry small loads and be implemented into a robotic complex. Different parts of the system are chosen in order to lower the price, maximize performance and make the system energy efficient. The system itself consists of 4 parts: a step motor, a switched mode supply, an Arduino UNO controller and a Power Driver Shield Kit. All parts are described and basic principles of their connection are explained. The most important point of the article is a functional diagram where it shown how different parts communicate with each other and which protocols are used. In the end, it is pointed out which advantages this system has and what possibilities it gives to the user

Система управления шаговым двигателем на базе Arduino UNO

This article gives information about a control system of a step motor using an Arduino UNO controller. A motor, designed as stated in the article, can be used to carry small loads and be implemented into a robotic complex. Different parts of the system are chosen in order to lower the price, maximize performance and make the system energy efficient. The system itself consists of 4 parts: a step motor, a switched mode supply, an Arduino UNO controller and a Power Driver Shield Kit. All parts are described and basic principles of their connection are explained. The most important point of the article is a functional diagram where it shown how different parts communicate with each other and which protocols are used. In the end, it is pointed out which advantages this system has and what possibilities it gives to the user

A TYPE ANALYSIS OF REWRITE STRATEGIES

Rewrite strategies provide an algorithmic rewriting of terms using strategic compositions of rewrite rules. Due to the programmability of rewrites, errors are often made due to incorrect compositions of rewrites or incorrect application of rewrites to a term within a strategic rewriting program. In practical applications of strategic rewriting, testing and debugging becomes substantially time-intensive for large programs applied to large inputs derived from large term grammars. In essence, determining which rewrite in what position in a term did or did not re comes down to logging, tracing and/or di -like comparison of inputs to outputs. In this thesis, we explore type-enabled analysis of strategic rewriting programs to detect errors statically. In particular, we introduce high-precision types to closely approximate the dynamic behavior of rewriting. We also use union types to track sets of types due to presence of strategic compositions. In this framework of high-precision strategic typing, we develop and implement an expressive type system for a representative strategic rewriting language TL. The results of this research are sufficiently broad to be adapted to other strategic rewriting languages. In particular, the type-inferencing algorithm does not require explicit type annotations for minimal impact on an existing language. Based on our experience with the implementation, the type system significantly reduces the time and effort to program correct rewrite strategies while performing the analysis on the order of thousands of source lines of code per second

Информационные технологии в науке, управлении, социальной сфере и медицине. Ч. 1

В сборнике представлен широкий круг исследований учёных, преподавателей, аспирантов, студентов и молодых учёных Томска и ряда других городов России. Сборник посвящён теоретическим и практическим аспектам разработки и применения современных информационных технологий. Особое внимание уделено вопросам математического моделирования и применения информационных технологий в различных предметных областя

Информационные технологии в науке, управлении, социальной сфере и медицине. Ч. 1

В сборнике представлен широкий круг исследований учёных, преподавателей, аспирантов, студентов и молодых учёных Томска и ряда других городов России. Сборник посвящён теоретическим и практическим аспектам разработки и применения современных информационных технологий. Особое внимание уделено вопросам математического моделирования и применения информационных технологий в различных предметных областя