Mirror contamination in space I: mirror modelling

mirror and sun

0

Mirror, Mirror in My Hand

Since Pnueli's seminal paper in 1977, Temporal Logic has been used as a formalism for specifying and verifying the correctness of reactive systems. In this paper, we show that, besides its expressive power, Temporal Logic enjoys a very strong structural property: it is categorical on processes. That is, we show how temporal specifications (as theories) can be embedded in categories of process b...

Charging of mirror surfaces in space

[1] Spacecraft often charge to negative potentials of several kilovolts in eclipse at geosynchronous altitudes. We suggest that optical mirrors at geosynchronous altitudes will charge in sunlight as if in eclipse. Modern mirrors can attain very high reflectance, the reflected light being nearly as intense as the incoming light. With high reflectance, the sunlight photon energy imparted to mirro...

Mirror, mirror on the wall....

Are you sitting down? Of the four rate parts, the MBS price and delivery fees are the only constant between all lenders. All mortgage lenders get the same MBS pricing and all mortgage lenders are using the same delivery fee rules, so the only difference in rates should be based on the lender’s performance – right? It should be, but it doesn’t work that way in reality, which can lead to unhappy ...

What do mirror neurons mirror?