Abstract: This paper presents an efficient and fast-converging optimization technique based on a modification of the traditional big bang-big crunch method for optimal placement and sizing of voltage ...
This Rocq library contains a hierarchy of monads with their laws used in several examples of monadic equational reasoning. This repository contains a formalization of monads including examples of ...
Abstract: The state of charge (SOC) is a critical evaluation index of battery residual capacity. The significance of an accurate SOC estimation is great for a lithium-ion battery to ensure its safe ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results