In this paper we summarize some recent results on mean residual lifetime (MRL) and the mean past lifetime (MPL) of a k-out-of-n structure at the system level. In section 2, it is assumed that in a k-out-of-n system all the components of the system are working at time t. Under this condition, the MRL of the system is de…ned and several properties of that are derived. In section 3, under the assu...

Monadic second-order logic (MSOL) provides a general framework for expressing properties of reactive systems as modelled by trees. Monadic path logic (MPL) is obtained by restricting second-order quantification to paths reflecting computation sequences. In this paper we show that the expressive power of MPL over trees coincides with the usual branching time logic CTL∗ embellished with a simple ...

This paper discusses the basic concepts and current state of development of EUV lithography (EUVL), a relatively new form of lithography that uses extreme ultraviolet (EUV) radiation with a wavelength in the range of 10 to 14 nanometer (nm) to carry out projection imaging. Currently, and for the last several decades, optical projection lithography has been the lithographic technique used in the...

Positioning of unoccupied aerial systems (UAS, drones) is predominantly based on Global Navigation Satellite Systems (GNSS). Due to potential signal disruptions, redundant positioning are needed for reliable operation. The objective this study was implement and assess a system high flying altitude drone operation visual-inertial odometry (VIO). A new sensor suite with stereo cameras an inertial...

It is often desirable or unavoidable to display Virtual Reality (VR) stereoscopic content at low brightness. For example, a dimmer reduces the flicker artefacts that are introduced by low-persistence VR headsets. also saves power, prolongs battery life, and cost of projection system. Additionally, stereo movies usually displayed relatively luminance due polarization filters other optical elemen...