Friction measuring apparatus Patent

Kinetic and static friction force measurement between magnetic tape and magnetic head surface

Integrity static analysis of COTS/SOUP

This paper describes the integrity static analysis approach developed to support the justification of commercial off-the-shelf software (COTS) used in a safety-related system. The static analysis was part of an overall software qualification programme, which also included the work reported in our paper presented at Safecomp 2002. Integrity static analysis focuses on unsafe language constructs and “covert” flows, where one thread can affect the data or control flow of another thread. The analysis addressed two main aspects: the internal integrity of the code (especially for the more critical functions), and the intra-component integrity, checking for covert channels. The analysis process was supported by an aggregation of tools, combined and engineered to support the checks done and to scale as necessary. Integrity static analysis is feasible for industrial scale software, did not require unreasonable resources and we provide data that illustrates its contribution to the software qualification programme

Soft singularity and the fundamental length

It is shown that some regular solutions in 5D Kaluza-Klein gravity may have interesting properties if one from the parameters is in the Planck region. In this case the Kretschman metric invariant runs up to a maximal reachable value in nature, i.e. practically the metric becomes singular. This observation allows us to suppose that in this situation the problems with such soft singularity will be much easier resolved in the future quantum gravity then by the situation with the ordinary hard singularity (Reissner-Nordstr\"om singularity, for example). It is supposed that the analogous consideration can be applied for the avoiding the hard singularities connected with the gauge charges.Comment: 5 page

An Exact Solution for Static Scalar Fields Coupled to Gravity in (2+1)(2+1)-Dimensions

We obtain an exact solution for the Einstein's equations with cosmological constant coupled to a scalar, static particle in static, "spherically" symmetric background in 2+1 dimensions.Comment: 9 pages. Replaced by a revised versio

Adaptive Filters Revisited - RFI Mitigation in pulsar observations

Pulsar detection and timing experiments are applications where adaptive filters seem eminently suitable tools for radio-frequency-interference (RFI) mitigation. We describe a novel variant which works well in field trials of pulsar observations centred on an observing frequency of 675 MHz, a bandwidth of 64 MHz and with 2-bit sampling. Adaptive filters have generally received bad press for RFI mitigation in radio astronomical observations with their most serious drawback being a spectral echo of the RFI embedded in the filtered signals. Pulsar observations are intrinsically less sensitive to this as they operate in the (pulsar period) time domain. The field trials have allowed us to identify those issues which limit the effectiveness of the adaptive filter. We conclude that adaptive filters can significantly improve pulsar observations in the presence of RFI.Comment: Accepted for publication in Radio Scienc

Fermi-Walker gauge in 2+1 dimensional gravity.

It is shown that the Fermi-Walker gauge allows the general solution of determining the metric given the sources, in terms of simple quadratures. We treat the general stationary problem providing explicit solving formulas for the metric and explicit support conditions for the energy momentum tensor. The same type of solution is obtained for the time dependent problem with circular symmetry. In both cases the solutions are classified in terms of the invariants of the Wilson loops outside the sources. The Fermi-Walker gauge, due to its physical nature, allows to exploit the weak energy condition and in this connection it is proved that, both for open and closed universes with rotational invariance, the energy condition imply the total absence of closed time like curves. The extension of this theorem to the general stationary problem, in absence of rotational symmetry is considered. At present such extension is subject to some assumptions on the behavior of the determinant of the dreibein in this gauge. PACS number: 0420Comment: 28 pages, RevTex, no figure