检索结果-内蒙古大学图书馆

3rd International Conference on Smart Generation Computing, Communication and Networking, SMART GENCON 2023

作者： Chandak, Rhythm Darak, Vaishnavi Kelkar, Supriya Chavan, Rajeshwari Lahoti, Sakshi Bakshi, Chaitrali MKSSS's Cummins College of Engineering for Women Dept. of Computer Engineering Pune India

ISBN: (纸本)9798350319125

A Quadcopter is principally an unmanned, simple, flying machine, which makes use of rotating blades as its primary form of prime movers. Quadcopters make use of a combination of hardware and software which forms a processing unit called Flight Controller. The flight controller performs complex calculations using certain stabilization and mixing algorithms to achieve and maintain a stabilized flight. It is crucial that these calculation are performed within a set time frame and control latency is optimal to the craft. The flight controller receives input from a remote pilot to move the craft within a three-dimensional space and decides on how to manipulate the RPM of the craft's motors to attain the desired movements. In this paper, the authors are working on designing a robust flight controller which implements PID control algorithm with reduced latency using micropython language on STM32 hardware processing unit, and a Inertial Measurement Unit sensor. © 2023 IEEE.

关键词： Flight Controller Inertial Measurement Sensor Latency micropython PID Quadcopter STM32

来源：评论

学校读者我要写书评

暂无评论

micropython as a Satellite Control Language 22

MicroPython as a Satellite Control Language

引用

19th ACM International Conference on Computing Frontiers (CF)

作者： Schwarzwald, Hanna Vivien Wuerl, Sebastian Langer, Martin Trinitis, Carsten OroraTech GmbH D-81669 Munich Germany Tech Univ Munich D-85748 Garching Germany

ISBN: (纸本)9781450393386

Different from terrestrial applications, most imaging nanosatellites are relying on simplistic command sequences for on-board controls. Combined with the unpredictable nature of flight operations, this can result in tedious and work-intensive operations, as unforeseen events might mean that the commands do not fit the needs of the operators anymore. The restricted communication windows meanwhile require a high level of automation whilst keeping the size of uplinked sequences minimal. Thereforewe require a dynamic control language that is also able to operate within the resource limitations given by a nanosatellite. In an effort to combine all these requirements, we chose to implement micropython as the control language for our satellite payload. This extended abstract shall introduce the architecture and concepts of our implementation. Together with our presentation at CompSpace '22 it shall serve as a basis for discussion of using micropython as a payload control language on nanosatellites.

关键词： Satellites SmallSat CubeSat Software Computer languages Python micropython Embedded

来源：评论

学校读者我要写书评

暂无评论

Formalizing Model Inference of micropython 53

Formalizing Model Inference of MicroPython

引用

53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

作者： de Ferro, Carlos Mao Cogumbreiro, Tiago Martins, Francisco Univ Lisbon Fac Ciencias LASIGE Lisbon Portugal Univ Massachusetts Boston Boston MA USA Univ Acores Ponta Delgada Portugal

ISBN: (纸本)9798350325430

Model checking has often been used for verifying Cyber-Physical Systems (CPS). A major challenge is how to capture a model that represents the actual behavior of the software. Model extraction can introduce errors that can affect the accuracy of the analysis including loss of precision, inconsistency, non-conformance, and over- and under-approximations. In this paper, we formalize and prove the correctness of extracting a model from a subset of the micropython programming language with respect to a trace-based semantics. The extracted models capture the order of method calls and can be model checked using Shelley. We formalize the extraction process from an intermediate representation of micropython codes and prove that the behavior of our intermediate representation is a regular language. Our formalization and theoretical results are fully mechanized using the Coq proof assistant.

关键词： model-extraction model-checking formalization micropython

来源：评论

学校读者我要写书评

暂无评论

micropython-based Sensor Node with Asymmetric Encryption for Ubiquitous Sensor Networks

MicroPython-based Sensor Node with Asymmetric Encryption for...

引用

IEEE International IOT, Electronics and Mechatronics Conference (IEMTRONICS)

作者： ter Horst, Ulrich Hasberg, Hagen Schulz, Stephan Hamburg Univ Appl Sci Fac Engn & Comp Sci D-20099 Hamburg Germany

ISBN: (纸本)9781665440677

This work introduces a new microcomputing node with long-term resistant data security, based on asymmetric and symmetric encryption combined with the modern and established scripting language Python. The presented microcomputing node integrates a micropython runtime environment to address a wide audience of application engineers as user base instead of a selected group of embedded engineers, who have deep knowledge in programming IoT devices using C/C++. It combines its scripting capabilities with security features of modern smartcards and secure cellular networking based on 4G.

关键词： IoT micropython smartcard sensor node encryption

来源：评论

学校读者我要写书评

暂无评论

基于Blockly和micropython的图形化编程平台开发与应用研究

基于Blockly和MicroPython的图形化编程平台开发与应用研究

引用

作者：时培福曲阜师范大学

学位级别：硕士

近年来随着STEM教育、人工智能教育等新教育理念的兴起,尤其是在国家政策的支持下,儿童编程活动和人工智能教育项目在全球范围内都受到了重视。Python作为人工智能领域的首选语言,在中小学编程教学中得到了广泛应用。然而,中小学的Pytho... 详细信息

近年来随着STEM教育、人工智能教育等新教育理念的兴起,尤其是在国家政策的支持下,儿童编程活动和人工智能教育项目在全球范围内都受到了重视。Python作为人工智能领域的首选语言,在中小学编程教学中得到了广泛应用。然而,中小学的Python教学面临诸多挑战,很多一线教师对Python教学准备不足,难免落入语法讲解、应试训练的窠臼,而学生入门Python语言也举步维艰,代码书写繁琐、算法抽象难懂、语法错误不断等问题都会让学生产生畏难情绪,难免会影响到Python学习的兴趣和信心。因此,在Python编程教学中有必要寻求合适的工具和方法,以达到降低学习门槛、提振学习信心、激发学习兴趣的目的。但是商业化的Python编程工具普遍存在着结构臃肿、开源程度不够、通用性较差等问题,非常不利于教学一线师生的研究和使用。因此,开发一种结构精简、源码开放、易学易用的Python编程工具就成为了一个迫切的现实需求。由此,本文基于Blockly和micropython项目的特点,提出了构建一种图形化Python编程平台的方案。设计思路如下:Blockly提供了图形化编程生成Python语言的功能,micropython赋予了 Python语言在微控制器领域控制硬件的能力。二者的有效结合就可以通过Python语言架设起图形化编程和硬件控制之间的桥梁,将抽象的编程概念通过图形化编程来具体地表达,再通过生成的Python代码来控制硬件的执行,从而实现了虚拟到现实的跨越。这样的平台让快速搭建和创意物化变得触手可及,可以为学生提供一个绝佳的跨学科学习和实践的平台,将计算机编程、电路控制、创意设计等方面的知识有机地结合起来,从而在实践中掌握知识和技能,激发创造力和探索精神。本文从硬件和固件、软件、案例三个维度来构建图形化Python编程平台。在硬件及固件的设计开发中,本文详细讨论了每个硬件模块的器件选型与电路设计细节,在固件开发部分则聚焦于如何在micropython基础上为单片机以及特定硬件模块如OLED显示屏、无线通信、全彩LED、陀螺仪传感器等开发驱动和控制代码,以及如何对micropython固件进行必要的适配和优化以达到硬件的特定要求。在软件开发设计中,本文基于Electron框架搭建开发环境,通过HTML和JavaScript语言进行基础界面构建和功能开发,实现了跨平台的桌面应用程序。在基础界面构建方面详细介绍了 Electron基础框架构建、Blockly模块基础构建和Ace模块基础构建的全部过程。在软件功能开发方面,本文对于基于Blockly的自定义图形块开发、快捷工具栏功能开发和串口调试模块功能开发等方面都做了详细地设计和说明。在案例设计与应用方面,本文基于图形化Python编程平台详细设计并实施了 AI飞行家项目。该项目涵盖了飞行原理认知、图形化Python编程、模拟和实机飞行比赛等多个环节。通过一系列的项目学习活动,学生们最终不仅完成了纸飞机的编程和制作,而且在飞行技巧方面也取得了显著的进步。尤为重要的是,在充满乐趣和挑战的学习环境中,学生们的创造力、动手实践能力、科学思维和团队合作精神都在潜移默化中不断形成和增长。该项目的成功实施不仅是对编程平台各项性能的全方位测试,而且项目本身也成为了编程平台不可或缺的一部分,是编程平台走向推广应用的重要一环。

关键词： Blockly micropython 图形化 Python 编程

来源：评论

学校读者我要写书评

暂无评论

micropython软件开发平台的ESP32 C3通信性能测试

引用

单片机与嵌入式系统应用 2023年第2期23卷 57-60,65页

作者：董俊杰彭亚斌湖北科技学院计算机学院咸宁437000 湖北科技学院自动化学院

现有的ZigBee通信方法成本较高、结构复杂,而智能家居对软硬件成本比较敏感。针对此,本文基于开源开发语言micropython搭建了ESP32 C3芯片网络传输性能的测试系统。该测试完成了PC与单台ESP32 C3下位机单数据包传输,PC与ESP32 C3的大数... 详细信息

现有的ZigBee通信方法成本较高、结构复杂,而智能家居对软硬件成本比较敏感。针对此,本文基于开源开发语言micropython搭建了ESP32 C3芯片网络传输性能的测试系统。该测试完成了PC与单台ESP32 C3下位机单数据包传输,PC与ESP32 C3的大数据传输,ESP32 C3AP与ESP32 C3下位机的网络传输特性测试,ESP32 C3作为AP,PC与ESP32 C3下位机网络传输特性测试。实验结果表明,ESP32 C3的单数据包传输时间主要变化范围为6~30 ms,基于ESP32 C3 AP的通信方案的传输时间最长为125 ms,8~2048k大数据的归一化传输时间的主要波动变化范围是3~5 ms,传输速度比较稳定。ESP32 C3单芯片网络传输系统的带宽为1.3~2.7 Mb/s,满足智能家居的开关信号及监控静态图像的传输速度要求。

关键词： micropython ESP32 C3 PC 通信性能

来源：评论

学校读者我要写书评

暂无评论

基于micropython的高职STM32课程教学改革实践

引用

信息技术时代 2024年第16期 194-196页

作者：殷理杰唐晨魏丽君湖南铁道职业技术学院湖南株洲412001 湖南铁道职业技术学院湖南株洲412001 湖南铁道职业技术学院湖南株洲412001

本研究根据高职院校电子信息类专业STM32课程教学存在的课程难度大、学生兴趣不足等问题,引入micropython替代C语言进行课程改革,利用Python语言简洁且易于理解的特点,结合micropython提供的丰富第三方库,使教学项目选择能够更加贴近生... 详细信息

本研究根据高职院校电子信息类专业STM32课程教学存在的课程难度大、学生兴趣不足等问题,引入micropython替代C语言进行课程改革,利用Python语言简洁且易于理解的特点,结合micropython提供的丰富第三方库,使教学项目选择能够更加贴近生活实际.这在显著提高学生学习兴趣的同时,有效降低了课程难度.

关键词： micropython OpenMV STM32 嵌入式教学

来源：评论

学校读者我要写书评

暂无评论

Development of IoT applications based on the micropython platform for Industry 4.0 implementation 19

Development of IoT applications based on the MicroPython pla...

引用

19th International Conference on Mechatronics - Mechatronika (ME)

作者： Gaspar, Gabriel Fabo, Peter Kuba, Michal Flochova, Jana Dudak, Juraj Florkova, Zuzana Slovak Univ Technol Bratislava Fac Mat Sci & Technol Trnava Trnava Slovakia TNtech Sro Lucna 1014-9 Bytca Slovakia Univ Zilina Fac Elect Engn & Informat Technol Zilina Slovakia Univ Zilina Res Ctr Zilina Slovakia

ISBN: (纸本)9781728156026

IoT and their industrial implementation aimed at Industry 4.0 is of a major interest among both research and development professionals. This article deals with the modifications and extensions possibilities of the standard micropython implementation on the STM32 platform, as well as the use in the development, implementation and programming of IoT peripherals, creation of custom libraries and custom modules at the hardware level. Discussed are the essentials associated with the development of general IoT application and the micropython environment, as a tool for rapid-prototyping of such applications. Portability is ensured thanks to the intensive utilization of HAL (Hardware Abstraction Layer) technology, which allows usage across the entire spectrum of devices with ported micropython. Modularity, scalability and extendibility of the application are demonstrated in examples, where the connection of a common LM92 temperature sensor, the control of a microcontroller pin and a DDS (Direct Digital Synthesis) generator are shown.

关键词： micropython IoT Industry 4.0 STM32 HAL

来源：评论

学校读者我要写书评

暂无评论

Investigating the performance of micropython and C on ESP32 and STM32 microcontrollers 26

Investigating the performance of MicroPython and C on ESP32 ...

引用

IEEE 26th International Symposium for Design and Technology in Electronic Packaging (SIITME)

作者： Ionescu, Valeriu Manuel Enescu, Florentina Magda Univ Pitesti Dept Elect Commun & Comp Pitesti Romania

ISBN: (纸本)9781728175065

Python is a programming language that is used both by entry level programmers and advanced researchers. micropython is a software implementation of Python that runs on microcontrollers. This paper will investigate the micropython execution performance compared to similar C native code on low cost microcontrollers: STM32 and ESP32. The comparison will target: memory allocation speed;SHA-256 and CRC-32 performance and will present conclusions regarding the encountered problems and ways to improve the application performance.

关键词： micropython ESP32 STM32 performance hash CRC

来源：评论

学校读者我要写书评

暂无评论

基于micropython的微机原理与接口技术实验教学改革研究

引用

电脑知识与技术 2023年第18期19卷 147-149页

作者：史蓓蕾余恒海军工程大学电子工程学院湖北武汉430023

在新一代信息技术的驱动下,计算机类实践课程的教学改革变得尤其迫切,微机原理与接口技术课程作为计算机类相关专业培养知识体系中一门重要的专业基础课程,重要性不言而喻。因此,为了能满足当前信息化社会对高级人才培养的需求,针对当... 详细信息

在新一代信息技术的驱动下,计算机类实践课程的教学改革变得尤其迫切,微机原理与接口技术课程作为计算机类相关专业培养知识体系中一门重要的专业基础课程,重要性不言而喻。因此,为了能满足当前信息化社会对高级人才培养的需求,针对当前该课程实验内容和方法存在的不足,把人工智能、机器视觉、物联网等新一代信息技术融合到实验内容中,并将micropython与微机原理与接口技术实验教学相结合,以实现对学生的融合应用能力和创新能力培养的教学目标。

关键词：微机原理与接口技术 micropython 融合应用能力多层次递进多技术融合

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：