Dronelife

Parallel Flight and Alpha Unmanned Systems Partner for Heavy-Fuel UAS System

Parallel Flight Technologies and Alpha Unmanned Systems have partnered to develop new heavy-fuel UAS technology for naval research under a U.S. Office of Naval Research (ONR) program. The ...

H55 Successfully Completes - For the First Time in the Aviation Industry - All Regulator Required Propulsion Battery Module Certification Tests

Electric aviation has faced a single, unresolved bottleneck: proving to regulators that high-energy propulsion batteries can safely ...
IEEE

Optimization of Current Balance for Multichip Parallel SiC Power Modules Based on Response Surface Methodology and Genetic Algorithm

Abstract: Due to the limited current handling capability of individual SiC MOSFETs, multichip parallel configurations are essential for high-power applications. However, such configurations inherently ...
Microsoft

VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus

We introduce VeriStruct, a novel framework that extends AI-assisted automated verification from single functions to more complex data structure modules in Verus. VeriStruct employs a planner module to ...