Hardware Model Research Articles

A Litz Wire-Based Inductor Model for a DC-DC Converter-Fed Single-Phase Inverter

Inductors play a major role in the power electronics domain, particularly in DC-DC converter design. The objective of this paper is to reach inductance value by means of fewer turns, using Litz wire wound on a ferrite core. In the manufacture of inductors, the key aspects of the design criteria include the choice of the core material, the type of copper coil and insulation materials, and their overall size. Taking into consideration the design parameters with no compromises on performance, Litz wire with the least turns is introduced into an inductor in certain DC-DC converters. Once the DC settled voltage is reached, it is given to a single-phase inverter for loading and application measures. This approach provides a small-level inductor design for maximized efficiency with improved thermal behavior. The hardware model for the proposed method has been developed using a DC-DC converter fed with a single-phase inverter model. The proposed DC-DC converter has been tested, performance-wise, by applying different load levels. It is observed, from the results, that the Litz wire-based approach achieves maximum efficiency with improved thermal behavior.

Comparative Aerodynamic Analysis and Parallel Performance of 2D CFD Simulations of a VAWT Using Sliding Mesh Interface Method

ABSTRACTWith rapid advancements in computer hardware and numerical modeling methods, Computational Fluid Dynamics (CFD) has gained prominence in simulating complex flows. As parallel computation becomes an industry standard, the computational efficiency of simulations has become critical. The flow around a Vertical Axis Wind Turbine (VAWT), characterized by complex dynamics and challenging rotating geometry, serves as an intriguing case for CFD studies. This study employs the open‐source CFD solvers SU2 and OpenFOAM to simulate the incompressible, unsteady, and turbulent flow around an H‐type Darrieus VAWT in two dimensions. Spatial and temporal discretization parameters are examined to balance computational cost and accuracy, revealing notable effects on power predictions. Simulations conducted under identical conditions allow for a comparison of the predictions and parallel performances of SU2 and OpenFOAM across three distinct tip speed ratios (TSRs). The findings show that discretization parameters behave differently at various TSRs. While power predictions from SU2 and OpenFOAM generally align with experimental data and with each other, discrepancies arise at lower TSRs, with thrust predictions showing better consistency. Although OpenFOAM provides a faster solution across all parallel configurations, SU2 demonstrates superior parallel scalability, achieving higher speedup and efficiency.

The Application of Machine Learning on Antibody Discovery and Optimization

Antibodies play critical roles in modern medicine, serving as diagnostics and therapeutics for various diseases due to their ability to specifically bind to target antigens. Traditional antibody discovery and optimization methods are time-consuming and resource-intensive, though they have successfully generated antibodies for diagnosing and treating diseases. The advancements in protein data, computational hardware, and machine learning (ML) models have the opportunity to disrupt antibody discovery and optimization research. Machine learning models have demonstrated their abilities in antibody design. These machine learning models enable rapid in silico design of antibody candidates within a few days, achieving approximately a 60% reduction in time and a 50% reduction in cost compared to traditional methods. This review focuses on the latest machine learning-based antibody discovery and optimization developments. We briefly discuss the limitations of traditional methods and then explore the machine learning-based antibody discovery and optimization methodologies. We also focus on future research directions, including developing Antibody Design AI Agents and data foundries, alongside the ethical and regulatory considerations essential for successfully adopting machine learning-driven antibody designs.

Time-Series Forecasting and Sequence Learning Using Memristor-based Reservoir System

Pushing the frontiers of time-series information processing in the ever-growing domain of edge devices with stringent resources has been impeded by the systems’ ability to process information and learn locally on the device. Local processing and learning of time-series information typically demand intensive computations and massive storage as the process involves retrieving information and tuning hundreds of parameters back in time. In this work, we developed a memristor-based echo state network accelerator that features efficient temporal data processing and in situ online learning. The proposed design is benchmarked using various datasets involving real-world tasks, such as forecasting the load energy consumption and weather conditions. The experimental results illustrate that the hardware model experiences a marginal degradation in performance as compared to the software counterpart. This is mainly attributed to the limited precision and dynamic range of network parameters when emulated using memristor devices. The proposed system is evaluated for lifespan, robustness, and energy-delay product. It is observed that the system demonstrates reasonable robustness for device failure below 10%, which may occur due to stuck-at faults. Furthermore, 247× reduction in energy consumption is achieved when compared to a custom CMOS digital design implemented at the same technology node.

What we can do with one qubit in quantum machine learning: ten classical machine learning problems that can be solved with a single qubit

This work focuses on quantum machine learning and analyzes the power of one single qubit to solve classical machine learning problems. We explore possible strategies to address traditional supervised, unsupervised, and reinforcement learning tasks. In particular, we study binary and multinomial classification, regression problems, time series forecasting, clustering, and quantum reinforcement learning. Our results suggest that the same methodology could be used to address all three types of learning with different measurement strategies and, despite the strong limitation of reduced data dimensionality of the candidate problems, a single qubit can achieve similar or even improved performance with respect to state-of-the-art classic machine learning methods in many cases. As simulating the evolution of one qubit state is computationally efficient, our study enables the possibility to use the qubit model as a candidate solution to implement simple decision-making machine learning models in hardware with extremely low memory resources such as embedded systems or edge devices. The outcomes provided could be also of interest in academia and for the construction of demonstrators using low-scale contemporary quantum hardware.

Lightweight and Low-Parametric Network for Hardware Inference of Obstructive Sleep Apnea.

Background: Obstructive sleep apnea is a sleep disorder that is linked to many health complications and can even be lethal in its severe form. Overnight polysomnography is the gold standard for diagnosing apnea, which is expensive, time-consuming, and requires manual analysis by a sleep expert. Artificial intelligence (AI)-embedded wearable device as a portable and less intrusive monitoring system is a highly desired alternative to polysomnography. However, AI models often require substantial storage capacity and computational power for edge inference which makes it a challenging task to implement the models in hardware with memory and power constraints. Methods: This study demonstrates the implementation of depth-wise separable convolution (DSC) as a resource-efficient alternative to spatial convolution (SC) for real-time detection of apneic activity. Single lead electrocardiogram (ECG) and oxygen saturation (SpO2) signals were acquired from the PhysioNet databank. Using each type of convolution, three different models were developed using ECG, SpO2, and model fusion. For both types of convolutions, the fusion models outperformed the models built on individual signals across all the performance metrics. Results: Although the SC-based fusion model performed the best, the DSC-based fusion model was 9.4, 1.85, and 11.3 times more energy efficient than SC-based ECG, SpO2, and fusion models, respectively. Furthermore, the accuracy, precision, and specificity yielded by the DSC-based fusion model were comparable to those of the SC-based individual models (~95%, ~94%, and ~94%, respectively). Conclusions: DSC is commonly used in mobile vision tasks, but its potential in clinical applications for 1-D signals remains unexplored. While SC-based models outperform DSC in accuracy, the DSC-based model offers a more energy-efficient solution with acceptable performance, making it suitable for AI-embedded apnea detection systems.

An approach for real-time implementation of cyber security in power system network

Abstract In this era of Web World-3, usage of the Internet of Things (IoT) in power system networks has attained scalable altitude. By using this technology, data can be transferred and monitored from the far end. Further, the suggested corrective actions are also executed. However, recently, many cyber-attacks have been observed on the power system in which activities such as injection of false data, unwanted switching operations, formation of sub-system layers, and false indication of failure of cyber-physical components (CpC) are experienced. In the worst case, it leads to invite cascade tripping of the power system. Utmost care is taken for the selection of CpC for the power system. However, it is observed that the cyber attackers mostly take entry into the network using the CpC of the power system. Cyber attackers perform false switching operations and false data injection. This article suggests a cyber security concept to minimize the false switching operations and false data injection in the power system network. A hardware model is prepared and the working scheme is implemented using IoT technology. The hardware result suggests that the un-authentic attempt/cyber-attack has been identified and the alarm is generated. It also does not permit the un-authentic person to access the real-time data. A wide range of applicability of the suggested scheme has been verified by hardware results. In addition to this, the power factor correction algorithm also works satisfactorily in the hardware along with the cyber security constraints. In order to prove wide range of applicability of the suggested scheme, additional features such as controlling of multiple switching devices and interlock between CB and earthing switch has been successfully implemented in developed hardware.

FPGA Realization of a Fractional-Order Model of Universal Memory Elements

This paper addresses critical gaps in the digital implementations of fractional-order memelement emulators, particularly given the challenges associated with the development of solid-state devices using nanomaterials. Despite the potentials of these devices for industrial applications, the digital implementation of fractional-order models has received limited attention. This research contributes to bridging this knowledge gap by presenting the FPGA realization of the memelements based on a universal voltage-controlled circuit topology. The digital emulators successfully exhibit the pinched hysteresis behaviors of memristors, memcapacitors, and meminductors, showing the retention of historical states of their constitutive electronic variables. Additionally, we analyze the impact of the fractional-order parameters and excitation frequencies on the behaviors of the memelements. The design methodology involves using Xilinx System Generator for DSP blocks to lay out the architectures of the emulators, with synthesis and gate-level implementation performed on the Xilinx Artix-7 AC701 Evaluation kit, where resource utilization on hardware accounts for about 1% of available hardware resources. Further hardware analysis shows successful timing validation and low power consumption across all designs, with an average on-chip power of 0.23 Watts and average worst negative slack of 0.6 ns against a 5 ns constraint. We validate these results with Matlab 2020b simulations, which aligns with the hardware models.

Targeted weed management of Palmer amaranth using robotics and deep learning (YOLOv7).

Effective weed management is a significant challenge in agronomic crops which necessitates innovative solutions to reduce negative environmental impacts and minimize crop damage. Traditional methods often rely on indiscriminate herbicide application, which lacks precision and sustainability. To address this critical need, this study demonstrated an AI-enabled robotic system, Weeding robot, designed for targeted weed management. Palmer amaranth (Amaranthus palmeri S. Watson) was selected as it is the most troublesome weed in Nebraska. We developed the full stack (vision, hardware, software, robotic platform, and AI model) for precision spraying using YOLOv7, a state-of-the-art object detection deep learning technique. The Weeding robot achieved an average of 60.4% precision and 62% recall in real-time weed identification and spot spraying with the developed gantry-based sprayer system. The Weeding robot successfully identified Palmer amaranth across diverse growth stages in controlled outdoor conditions. This study demonstrates the potential of AI-enabled robotic systems for targeted weed management, offering a more precise and sustainable alternative to traditional herbicide application methods.

Natural biomaterials for sustainable flexible neuromorphic devices

Neuromorphic electronics use neural models in hardware to emulate brain-like behavior, and provide power-efficient, extremely compact, and massively-parallel processing, so they are ideal candidates for next-generation information-processing units. However, traditional rigid neuromorphic devices are limited by their unavoidable mechanical and geometrical mismatch with human tissues or organs. At the same time, the rapid development of these electronic devices has generated a large amount of electronic waste, thereby causing severe ecological problems. Natural biomaterials have mechanical properties compatible with biological tissues, and are environmentally benign, ultra-thin, and lightweight, so use of these materials can address these limitations and be used to create next-generation sustainable flexible neuromorphic electronics. Here, we explore the advantages of natural biomaterials in simulating synaptic behavior of sustainable neuromorphic devices. We present the flexibility, biocompatibility, and biodegradability of these neuromorphic devices, and consider the potential applicability of these properties in wearable and implantable bioelectronics. Finally, we consider the challenges of device fabrication and neuromorphic system integration by natural biomaterials, then suggest future research directions.

ARQUIN: Architectures for Multinode Superconducting Quantum Computers

Many proposals to scale quantum technology rely on modular or distributed designs wherein individual quantum processors, called nodes, are linked together to form one large multinode quantum computer (MNQC). One scalable method to construct an MNQC is using superconducting quantum systems with optical interconnects. However, internode gates in these systems may be two to three orders of magnitude noisier and slower than local operations. Surmounting the limitations of internode gates will require improvements in entanglement generation, use of entanglement distillation, and optimized software and compilers. Still, it remains unclear what performance is possible with current hardware and what performance algorithms require. In this article, we employ a systems analysis approach to quantify overall MNQC performance in terms of hardware models of internode links, entanglement distillation, and local architecture. We show how to navigate tradeoffs in entanglement generation and distillation in the context of algorithm performance, lay out how compilers and software should balance between local and internode gates, and discuss when noisy quantum internode links have an advantage over purely classical links. We find that a factor of 10–100× better link performance is required and introduce a research roadmap for the co-design of hardware and software towards the realization of early MNQCs. While we focus on superconducting devices with optical interconnects, our approach is general across MNQC implementations.

MAB-BMC: A Formal Verification Enhancer by Harnessing Multiple BMC Engines Together

In recent times, Bounded Model Checking (BMC) engines have gained wide prominence in formal verification. Different BMC engines exist, differing in their optimization, representations and solving mechanisms used to represent and navigate the underlying state transition of the given design to be verified. The objective of this article is to examine if combinations of BMC engines can help to combine their strengths. We propose an approach that can create a sequencing of BMC engines that can reach better depth in formal verification, as opposed to executing them alone for a specified time. Our approach uses machine learning, specifically, the Multi-Armed Bandit paradigm of reinforcement learning, to predict the best-performing BMC engine for a given unrolling depth of the underlying circuit design. We evaluate our approach on a set of benchmark designs from the Hardware Model Checking Competition (HWMCC) benchmarks and show that it outperforms the state-of-the-art BMC engines in terms of the depth reached or time taken to deduce a property violation. The synthesized BMC engine sequences reach better depths than HWMCC results and the state-of-the-art technique, super_deep, for more than 80% of the cases. It also outperforms single engine runs for more than 92% of the cases where a property violation is not found within a given time duration. For designs where property violations are found within the given time duration, the synthesized sequences found the property violation in a lesser time than HWMCC for all the designs and outperformed both super_deep and single engine runs for more than 87% of the designs.

A benchmarking framework for energy management systems with commercial hardware models

Energy Management Systems (EMS) for buildings are pivotal in leveraging flexibility from sector coupling in future power systems. Currently, most EMS are designed and evaluated using non-standardized and incompatible simulation models built within the specific EMS development cycle. Such evaluation techniques make it difficult to compare different EMS solutions according to well-defined and universal performance indicators. Therefore, open-access benchmark models of realistic building energy systems would be beneficial for wider research community. This article introduces the ProHMo benchmarking framework which provides experimentally validated commercial heating and cooling equipment models in various building energy system configurations. The building energy system models are available as openly accessible Functional Mock-Up Units (FMU) to allow for toolchain-independent benchmarking of EMS. The framework includes a Python code template that enables easy integration with different EMS interfaces. In a case study, we show the potential of the benchmarking framework by comparing a rule-based, optimization-based, and reinforcement learning-based EMS. The results show that the optimization-based EMS with perfect foresight achieves the lowest costs. Although the reinforcement learning-based EMS performs slightly poorer, it operates independently of forecasts, which makes it attractive for practical applications. The ProHMo benchmarking framework is designed to equip researchers with a robust framework for developing, evaluating, and comparing different EMS, particularly those focused on optimization and data-driven control methods.

An Improved Z-Source Inverter Topology with Fewer Passive Components: Hardware Validation and Modelling

An Improved Z-Source Inverter Topology with Fewer Passive Components: Hardware Validation and Modelling

MRI signatures of cortical microstructure in human development align with oligodendrocyte cell-type expression.

Neuroanatomical changes to the cortex during adolescence have been well documented using MRI, revealing ongoing cortical thinning and volume loss with age. However, the underlying cellular mechanisms remain elusive with conventional neuroimaging. Recent advances in MRI hardware and new biophysical models of tissue informed by diffusion MRI data hold promise for identifying the cellular changes driving these morphological observations. This study used ultra-strong gradient MRI to obtain high-resolution, in vivo estimates of cortical neurite and soma microstructure in sample of typically developing children and adolescents. Cortical neurite signal fraction, attributed to neuronal and glial processes, increased with age (mean R2 fneurite=.53, p<3.3e-11, 11.91% increase over age), while apparent soma radius decreased (mean R2 Rsoma=.48, p<4.4e-10, 1% decrease over age) across domain-specific networks. To complement these findings, developmental patterns of cortical gene expression in two independent post-mortem databases were analysed. This revealed increased expression of genes expressed in oligodendrocytes, and excitatory neurons, alongside a relative decrease in expression of genes expressed in astrocyte, microglia and endothelial cell-types. Age-related genes were significantly enriched in cortical oligodendrocytes, oligodendrocyte progenitors and Layer 5-6 neurons (pFDR<.001) and prominently expressed in adolescence and young adulthood. The spatial and temporal alignment of oligodendrocyte cell-type gene expression with neurite and soma microstructural changes suggest that ongoing cortical myelination processes contribute to adolescent cortical development. These findings highlight the role of intra-cortical myelination in cortical maturation during adolescence and into adulthood.

Power factor preregulation in power supplies using modified single stage non-isolated interleaved Sepic converter with minimal part count

This paper pontificates on design and realization of low-cost single phase single stage modified interleaved Sepic (MILS) converter for power supplies. On contrary to the classical Sepic power converters, the introduced active power factor correction (APFC) converter involves simple idea of paralleling that enables low input and output ripples with minimal device count. The interleaving conceptualization also lessens current stresses and static losses. Also, this modified power processing converter reveals natural power factor correction (PFC) and zero current switching (ZCS) features by discontinuous conduction mode (DCM) operation. Furthermore, the practical corroboration of the proposed converter is built and tested for 250 W hardware model to affirm benefits with 92 % efficiency and their relevant outcomes are reported in this scope. Finally, the power quality (PQ) attributes like, input power factor (PF), total harmonic distortion (THD) over input current under stable and transient cases are disclosed to prove bettered PQ limits at the AC mains as prescribed by various IEEE-519 and IEC 61,000–3-2 standards.

Electronic Visualization Laboratory's 50th Anniversary Retrospective: Look to the Future, Build on the Past

Abstract September 2023 marks the 50th anniversary of the Electronic Visualization Laboratory (EVL) at University of Illinois Chicago (UIC). EVL's introduction of the CAVE Automatic Virtual Environment in 1992, the first widely replicated, projection-based, walk-in, virtual-reality (VR) system in the world, put EVL at the forefront of collaborative, immersive data exploration and analytics. However, the journey did not begin then. Since its founding in 1973, EVL has been developing tools and techniques for real-time, interactive visualizations—pillars of VR. But EVL's culture is also relevant to its successes, as it has always been an interdisciplinary lab that fosters teamwork, where each person's expertise contributes to the development of the necessary tools, hardware, system software, applications, and human interface models to solve problems. Over the years, as multidisciplinary collaborations evolved and advanced scientific instruments and data resources were distributed globally, the need to access and share data and visualizations while working with colleagues, local and remote, synchronous and asynchronous, also became important fields of study. This paper is a retrospective of EVL's past 50 years that surveys the many networked, immersive, collaborative visualization and VR systems and applications it developed and deployed, as well as lessons learned and future plans.

Low-error, high-speed, and large-scale hardware implementation of retinal photoreceptor cells: Cone and rod cells

In recent times, there has been a significant focus on creating prosthetics and medical interventions to aid in the treatment of diseases, recovery, and the improvement of biological functions. Researchers have particularly directed their attention toward developing hardware models for delicate biological parts such as the brain, heart, nervous system, and. One area of particular interest is the retina, which is the thinnest and innermost layer of the eye. This research paper focuses on the development of a high-speed and low-error hardware implementation for retinal cone and rod cells. Current mathematical models often use multiple nonlinear functions to describe the behavior of these cells. However, these nonlinear functions can sometimes be limiting in terms of speed. In this study, we explore the use of trigonometric functions to approximate the non-linear properties of retinal cone and rod cells, allowing for improved performance. The results of the simulation show that the suggested model is in line with the functioning of primary cone and rod cells, particularly in relation to time characteristics, dynamic response, and margin of error. By implementing the proposed model in Large-Scale (300 cell) on a Virtex-5 Field Programmable Gate Array (FPGA) board, notable benefits were observed. One of these advantages includes increasing the synthesis frequency of the proposed model by 3.35 and 3.44 times faster than the original model for the cone cell and rod cell, respectively. Another advantage is the ability to implement 300 cells of the proposed models on the FPGA, compared to the implementation of a single cell of the original models, with only a two-fold increase in the amount of hardware resources used. The proposed framework is legitimate and features a compact hardware size and suitable network frequency, as demonstrated by the outcomes from implementing the hardware on the Virtex-5 reconfigurable board (FPGA).

A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification

Assuring the correctness of computing systems is fundamental to our society and economy, and formal verification is a class of techniques approaching this issue with mathematical rigor. Researchers have invented numerous algorithms to automatically prove whether a computational model, e.g., a software program or a hardware digital circuit, satisfies its specification. In the past two decades, Craig interpolation has been widely used in both hardware and software verification. Despite the similarities in the theoretical foundation between hardware and software verification, previous works usually evaluate interpolation-based algorithms on only one type of verification tasks (e.g., either circuits or programs), so the conclusions of these studies do not necessarily transfer to different types of verification tasks. To investigate the transferability of research conclusions from hardware to software, we adopt two performant approaches of interpolation-based hardware model checking, (1) Interpolation-Sequence-Based Model Checking (Vizel and Grumberg, 2009) and (2) Intertwined Forward-Backward Reachability Analysis Using Interpolants (Vizel, Grumberg, and Shoham, 2013), for software verification. We implement the algorithms proposed by the two publications in the software verifier CPAchecker because it has a software-verification adoption of the first interpolation-based algorithm for hardware model checking from 2003, which the two publications use as a comparison baseline. To assess whether the claims in the two publications transfer to software verification, we conduct an extensive experiment on the largest publicly available suite of safety-verification tasks for the programming language C. Our experimental results show that the important characteristics of the two approaches for hardware model checking are transferable to software verification, and that the cross-disciplinary algorithm adoption is beneficial, as the approaches adopted from hardware model checking were able to tackle tasks unsolvable by existing methods. This work consolidates the knowledge in hardware and software verification and provides open-source implementations to improve the understanding of the compared interpolation-based algorithms.

Artificial neural networks trained on simulated multispectral data for real-time imaging of skin microcirculatory blood oxygen saturation.

Imaging blood oxygen saturation ( ) in the skin can be of clinical value when studying ischemic tissue. Emerging multispectral snapshot cameras enable real-time imaging but are limited by slow analysis when using inverse Monte Carlo (MC), the gold standard for analyzing multispectral data. Using artificial neural networks (ANNs) facilitates a significantly faster analysis but requires a large amount of high-quality training data from a wide range of tissue types for a precise estimation of . We aim to develop a framework for training ANNs that estimates in real time from multispectral data with a precision comparable to inverse MC. ANNs are trained using synthetic data from a model that includes MC simulations of light propagation in tissue and hardware characteristics. The model includes physiologically relevant variations in optical properties, unique sensor characteristics, variations in illumination spectrum, and detector noise. This approach enables a rapid way of generating high-quality training data that covers different tissue types and skin pigmentation. The ANN implementation analyzes an image in 0.11s, which is at least 10,000 times faster than inverse MC. The hardware modeling is significantly improved by an in-house calibration of the sensor spectral response. An in-vivo example shows that inverse MC and ANN give almost identical values with a mean absolute deviation of 1.3%-units. ANN can replace inverse MC and enable real-time imaging of microcirculatory in the skin if detailed and precise modeling of both tissue and hardware is used when generating training data.