The Gauge Integral Theory in HOL4 by Zhiping Shi, Weiqing Gu, Xiaojuan Li, Yong Guan, Shiwei Ye, Jie Zhang, Hongxing Wei

Get full text

Revolutionizing Tissue Clearing and 3-Dimensional Imaging: Transparent Embedding Solvent System for Uniform High-Resolution Imaging by Yating Yi, Hu Zhao

“…A newly published transparent embedding system, TESOS (Transparent Embedding Solvent System), ensures consistent submicron resolution imaging throughout the entire sample, and can be compatible with different microscopy systems. …”
Get full text

A Case Study on Formal Analysis of an Automated Guided Vehicle System by Jie Zhang, Yuntao Peng, William N. N. Hung, Xiaojuan Li, Jindong Tan, Zhiping Shi

Get full text

Adoption Internet of Things on Islamic Boarding School: A Systematic Literature Review by Konita Lutfiyah, Mohamad Syamsul Maarif, Yudha Heryawan Asnawi, Laily Dwi Arsyianti

“…Background: Internet of Things in Islamic boarding schools can become an embedded system that aims to expand the use of continuously connected internet connectivity. …”
Get full text

IoT-Based Data Logger for Weather Monitoring Using Arduino-Based Wireless Sensor Networks with Remote Graphical Application and Alerts by Jamal Mabrouki, Mourade Azrour, Driss Dhiba, Yousef Farhaoui, Souad El Hajjaji

“…The proposed system is based on the internet of things technology and embedded system. The system also includes electronic devices, sensors, and wireless technology. …”
Get full text

Component-Based Formal Modeling of PLC Systems by Rui Wang, Yong Guan, Luo Liming, Xiaojuan Li, Jie Zhang

“…Functional validation is an important task in complex embedded system. The formal modeling of PLC system for verification is a rough task. …”
Get full text

Multiple-Wearable-Sensor-Based Gait Classification and Analysis in Patients with Neurological Disorders by Wei-Chun Hsu, Tommy Sugiarto, Yi-Jia Lin, Fu-Chi Yang, Zheng-Yi Lin, Chi-Tien Sun, Chun-Lung Hsu, Kuan-Nien Chou

Get full text

Experimental Study of a Pack of Supercapacitors Used in Electric Vehicles by Amari Mansour, Chabchoub Mohamed Hedi, Bacha Faouzi

Get full text

Research and Implementation of SVDU Simulator Based on Emulation Technology by Yanqun Wu, Mingxing Liu, Qi Chen, Xu Zhang, Xufeng Tian, Yu Zhang, Meiyuan Chen

“…In order to meet the needs of nuclear power safety-level digital control system (DCS), like designing verification, operator training, and accidental drills, for the SVDU in the NASPIC platform developed independently by China National Nuclear Corporation, a virtual embedded system technology based on the micro x86 industrial host is proposed to make software simulation to the SVDU physical controller with exactly the same hardware appearance of the original one. …”
Get full text

ELECTRICITY METER WITH THE FACILITY TO DETERMINE THE QUALITY OF THE ELECTRICITY SUPPLIED by DAN ROTAR, GEORGE CULEA

“…The possibility of using an embedded system equipped with the Microblaze soft microprocessor, the existence of a 12-bit analog-digital converter and the maximum sampling frequency of 1 MSPS and the possibility of assisted design allows to obtain a measurement system with superior characteristics. …”
Get full text

Applying the Analog Configurability Test Approach in a Wireless Sensor Network Application by Agustín Laprovitta, Gabriela Peretti, Eduardo Romero

“…The test approach is experimentally evaluated using an embedded system-based real application board. Our experimental results show very good repeatability, with very low errors. …”
Get full text

AADL Extension to Model Classical FPGA and FPGA Embedded within a SoC by Dominique Blouin, Daniel Chillet, Eric Senn, Sébastien Bilavarn, Robin Bonamy, Christian Samoyeau

“…With the evolution of technology, the system complexity increased and the application fields of the embedded system expanded. Current applications need a high degree of performance, flexibility, and efficient development environments. …”
Get full text

A Bioinspired 10 DOF Wearable Powered Arm Exoskeleton for Rehabilitation by Soumya Kanti Manna, Subhasis Bhaumik

“…A proper and simple Graphical User Interface (GUI) and the required embedded system have been designed for providing physiotherapy lessons to the patients. …”
Get full text

Ps Based Car Tracking System: A Case Study of Smartwatch Solutions Ltd. by Turigye, Charbel, Owomugisha, Susan

“…This study proposed to design a vehicle tracking system that works using GPS and GSM technology, which would be the cheapest source of vehicle tracking and it would work as an anti-theft system. It is an embedded system that is used for tracking and positioning of any vehicle by using Global Positioning System (GPS) and Global system for mobile communication (GSM). …”
Get full text

Application of Neural Network in the Stability of Biped Robot and Embedded Control of Walking Mode by Jianrui Zhang, Zhaohui Yuan, Huan Geng, Sheng Dong, Fuli Zhang, Jingchao Li

“…Through the control of the embedded system, the errors of each joint of the biped robot on flat ground, stairs, and obstacles are greatly reduced. …”
Get full text

Design and Research of Semiactive Quasi-Zero Stiffness Vibration Isolation System for Vehicles by Shaohua Li, Guizhen Feng, Quan Zhao

“…In addition, the mechanical structure of the semiactive QZS isolator is designed and manufactured, and the test system is built by LabVIEW software and PXI embedded system. The isolation effect of the semiactive QZS isolator is verified through test data. …”
Get full text

On-Road Driver Monitoring System Based on a Solar-Powered In-Vehicle Embedded Platform by Yen-Lin Chen, Chao-Wei Yu, Zi-Jie Chien, Chin-Hsuan Liu, Hsin-Han Chiang

“…This study presents an on-road driver monitoring system, which is implemented on a stand-alone in-vehicle embedded system and driven by effective solar cells. The driver monitoring function is performed by an efficient eye detection technique. …”
Get full text

IAPCP: An Effective Cross-Project Defect Prediction Model via Intra-Domain Alignment and Programming-Based Distribution Adaptation by Nana Zhang, Kun Zhu, Dandan Zhu

Get full text

Experimental Investigation and Comparison of the Net Energy Yield Using Control-Based Solar Tracking Systems by Ibrahim Sufian Osman, Ibrahim Khalil Almadani, Nasir Ghazi Hariri, Taher Saleh Maatallah

“…In the current study, the active PVTS has been designed and implemented with PID controllers and controlled in real-time with an embedded system. The fixed-tilt (FTPV), single-axis solar tracking system (SAST), and dual-axis solar tracking system (DAST) were tested simultaneously under clear-sky conditions. …”
Get full text

Combined Heat and Mass Transfer of Fluid Flowing through Horizontal Channel by Turbulent Forced Convection by Jamal Eddine Salhi, Kamal Amghar, Hicham Bouali, Najim Salhi

Get full text