An electret power generator is developed using a new electret made of a charged parylene HT R © thin-film polymer. Here, parylene HT R © is a room-temperature chemical-vapor-deposited thin-film polymer that is MEMS and CMOS compatible. With corona charge implantation, the surface charge density of parylene HT R © is measured as high as 3.69 mC m−2. Moreover, it is found that, with annealing at ...

A new type of single-phase stand-alone induction generator using a three-phase induction machine and a single-phase voltage-source PWM inverter is introduced. The generator scheme is capable of producing constant load frequency with a very well regulated output voltage. A small lead acid battery and a single-phase full diode-bridge rectifier are used to feed the inverter. The inverter feeds one...

in this research paper, the performance of an air-cored axial flux permanent magnet synchronous generator is evaluated for low speed, direct drive applications using 3d finite element modeling and experimental tests. the structure of the considered machine consists of double rotor and coreless stator, which results in the absence of core losses, reduction of stator weight and elimination of cog...

Let p : M → B be a Lagrangian fibration on a hyperkähler manifold of maximal holonomy (also known as IHS), and H be the generator of the Picard group of B. We prove that p∗(H) is a primitive class on M .

This paper discusses the development and testing of a renewable energy source for powering wireless sensors used to monitor the structural health of bridges. Traditional power cables or battery replacement are excessively expensive or infeasible in this type of application. An inertial power generator has been developed that can harvest traffic-induced bridge vibrations. Vibrations on bridges h...

This report presents ways to provide automated support for code generator veriication as described by Markus M uller-Olm in MO95] using the Prototype Veriication System (PVS, see Rus93]).

By randomly seeding individual processors in a parallel environment with unique random number generators it is possible to take full advantage of the economies of scale present in the parallel environment to achieve more accurate simulations. While a single random number generator is sufficient for a serial computer, the same is not true for a parallel computer. Multiple copies of the same gene...

We present three ways in which a natural language generator that produces textual descriptions of objects from symbolic information can exploit OWL ontologies, using M-PIRO’s multilingual generation system as a concrete example.