Abstract: By the supply of two-level voltage source converter with low switching frequency, the linear induction motor (LIM) adopted to linear metro suffers from time harmonics greatly, which would ...
Abstract: This paper introduces a new equivalent circuit for linear DC networks containing independent voltage and/or current sources and resistors, which represents all internal losses. Since the ...
Final project @ Numerical Linear Algebra (数值代数) at Peking University. Consider the Stokes equations: $$-\Delta \vec{u} + \nabla p = \vec{F}, (x, y) \in (0,1 ...
This is the original implementation of the paper. TLN (Temporal Linear Network) is a neural network architecture that extends the capabilities of linear models while maintaining interpretability and ...
In this paper, we present a linear and reversible language with inductive and coinductive types, together with a Curry-Howard correspondence with the logic μMALL : linear logic extended with least and ...
I School of Civil Engineering, Architecture and Urbanism, State University of Campinas UNICAMP, CP 6021, 13083 852 Campinas SP, Brazil II School of Civil Engineering, Architecture and Urbanism, State ...