Bounded residuated lattice ordered monoids (Rl-monoids) form a class of algebras which contains the class of Heyting algebras, i.e. algebras of the propositional intuitionistic logic, as well as the classes of algebras of important propositional fuzzy logics such as pseudo MV-algebras (or, equivalently, GMV-algebras) and pseudo BL-algebras (and so, particularly, MV-algebras and BL-algebras). Modal operators on Heyting algebras were studied by Macnab (1981), on MV-algebras were studied by Harlenderová and Rachůnek (2006) and on bounded commutative Rl-monoids in our paper which will apear in Math. Slovaca. Now we generalize modal operators to bounded Rl-monoids which need not be commutative and investigate their properties also for further derived algebras.
Modal operators on Heyting algebras were introduced by Macnab. In this paper we introduce analogously modal operators on MV-algebras and study their properties. Moreover, modal operators on certain derived structures are investigated.
To range the satellite, we are using the train of picosecond pulses generated by Nd YAG oscillator / amplifier / second harmonic generator laser system. To establish an optimum discriminatior / timing system, the indoor and the short baseline outdoor calibration experiments were used. The experimental results indicate a limit single shot uncertainty 6cm PMS.
The method of processing of laser ranging data collected using the passively mode locked YAG train laser is described. The algorithm for resolving of individual peaks in measured ranges histogram and system internal noise determination is explained together with the crosscorrelation methods for system calibration constant evaluation. The low/Lageos satellite and calibration ranging results are included.
The passively mode locked frequency doubled oscillator amplifier Nd YAG laser radar transmitter with the train of 3-5 70psec long pulses, 30mJ output energy in green and 0.2 mrad divergence in beam with reprate 1.-2.5. Hz is described.