Nominal power (photovoltaic)Nominal power is the nameplate capacity of photovoltaic (PV) devices, such as solar cells, modules and systems. It is determined by measuring the electric current and voltage in a circuit, while varying the resistance under precisely defined conditions. The nominal power is important for designing an installation in order to correctly dimension its cabling and converters. The peak power is not the same as the power under actual radiation conditions. In practice, this will be approximately 15-20% lower due to the considerable heating of the solar cells.
Flight simulatorA flight simulator is a device that artificially re-creates aircraft flight and the environment in which it flies, for pilot training, design, or other purposes. It includes replicating the equations that govern how aircraft fly, how they react to applications of flight controls, the effects of other aircraft systems, and how the aircraft reacts to external factors such as air density, turbulence, wind shear, cloud, precipitation, etc.
Self-verifying theoriesSelf-verifying theories are consistent first-order systems of arithmetic, much weaker than Peano arithmetic, that are capable of proving their own consistency. Dan Willard was the first to investigate their properties, and he has described a family of such systems. According to Gödel's incompleteness theorem, these systems cannot contain the theory of Peano arithmetic nor its weak fragment Robinson arithmetic; nonetheless, they can contain strong theorems.
