ATS

ATS may refer to:

Societies

Systems

Services

Schools

807 (vacuum tube)

The 807 is a beam tetrode vacuum tube, widely used in audio- and radio-frequency power amplifier applications.

Audio uses

807s were used in audio power amplifiers, both for public address and hi-fi application, usually being run in push-pull pairs in class AB1 or AB2 giving up to 120 watts of usable power. The plate voltage limit is 750 volts and the screen grid limited to 300 volts. Because of the 300 volt screen grid voltage limit, the 807 cannot be triode connected for high power applications. Failure to observe this precaution will cause screen grid failure. Less commonly a single 807 was used in a pure class-A, single-ended audio output stage delivering about 10 watts.

The 807 is not a good choice of tube for typical Ultra-Linear amplifier circuits, as the maximum screen voltage at 300 V is less than half the maximum plate voltage of 750 V. A possible solution is to use an output transformer with a separate ultralinear screen winding, such as the Acrosound TO-350.

RF uses

ATS (programming language)

ATS (Applied Type System) is a programming language designed to unify programming with formal specification. ATS has support for combining theorem proving with practical programming through the use of advanced type systems. The performance of ATS has been demonstrated to be comparable to that of the C and C++ programming languages. By using theorem proving and strict type checking, the compiler can detect and prove that its implemented functions are not susceptible to bugs such as division by zero, memory leaks, buffer overflow, and other forms of memory corruption by verifying pointer arithmetic and reference counting before the program compiles. Additionally, by using the integrated theorem-proving system of ATS (ATS/LF), the programmer may make use of static constructs that are intertwined with the operative code to prove that a function attains its specification.

History

ATS is derived mostly from the ML and OCaml programming languages. An earlier language, Dependent ML, by the same author has been incorporated by the language.