Simplifying Contract-Violating Traces

Contract conformance is hard to determine statically, prior to the deployment of large pieces of software. A scalable alternative is to monitor for contract violations post-deployment: once a violation is detected, the trace characterising the offending execution is analysed to pinpoint the source of the offence. A major drawback with this technique is that, often, contract violations take time to surface, resulting in long traces that are hard to analyse. This paper proposes a methodology together with an accompanying tool for simplifying traces and assisting contract-violation debugging.Comment: In Proceedings FLACOS 2012, arXiv:1209.169

k-Dirac operator and parabolic geometries

The principal group of a Klein geometry has canonical left action on the homogeneous space of the geometry and this action induces action on the spaces of sections of vector bundles over the homogeneous space. This paper is about construction of differential operators invariant with respect to the induced action of the principal group of a particular type of parabolic geometry. These operators form sequences which are related to the minimal resolutions of the k-Dirac operators studied in Clifford analysis

Electrochromic orbit control for smart-dust devices

Recent advances in MEMS (micro electromechanical systems) technology are leading to spacecraft which are the shape and size of computer chips, so-called SpaceChips, or ‘smart dust devices’. These devices can offer highly distributed sensing when used in future swarm applications. However, they currently lack a feasible strategy for active orbit control. This paper proposes an orbit control methodology for future SpaceChip devices which is based on exploiting the effects of solar radiation pressure using electrochromic coatings. The concept presented makes use of the high area-to-mass ratio of these devices, and consequently the large force exerted upon them by solar radiation pressure, to control their orbit evolution by altering their surface optical properties. The orbital evolution of Space Chips due to solar radiation pressure can be represented by a Hamiltonian system, allowing an analytic development of the control methodology. The motion in the orbital element phase space resembles that of a linear oscillator, which is used to formulate a switching control law. Additional perturbations and the effect of eclipses are accounted for by modifying the linearized equations of the secular change in orbital elements around an equilibrium point in the phase space of the problem. Finally, the effectiveness of the method is demonstrated in a test case scenario

Impact hazard protection efficiency by a small kinetic impactor

In this paper the ability of a small kinetic impactor spacecraft to mitigate an Earth-threatening asteroid is assessed by means of a novel measure of efficiency. This measure estimates the probability of a space system to deflect a single randomly-generated Earth-impacting object to a safe distance from the Earth. This represents a measure of efficiency that is not biased by the orbital parameters of a test-case object. A vast number of virtual Earth-impacting scenarios are investigated by homogenously distributing in orbital space a grid of 17,518 Earth impacting trajectories. The relative frequency of each trajectory is estimated by means Opik’s theory and Bottke’s near Earth objects model. A design of the entire mitigation mission is performed and the largest deflected asteroid computed for each impacting trajectory. The minimum detectable asteroid can also be estimated by an asteroid survey model. The results show that current technology would likely suffice against discovered airburst and local damage threats, whereas larger space systems would be necessary to reliably tackle impact hazard from larger threats. For example, it is shown that only 1,000 kg kinetic impactor would suffice to mitigate the impact threat of 27.1% of objects posing similar threat than that posed by Apophis

Evidence of non-thermal X-ray emission from HH 80

Protostellar jets appear at all stages of star formation when the accretion process is still at work. Jets travel at velocities of hundreds of km/s, creating strong shocks when interacting with interstellar medium. Several cases of jets have been detected in X-rays, typically showing soft emission. For the first time, we report evidence of hard X-ray emission possibly related to non-thermal processes not explained by previous models of the post-shock emission predicted in the jet/ambient interaction scenario. HH 80 is located at the south head of the jet associated to the massive protostar IRAS 18162-2048. It shows soft and hard X-ray emission in regions that are spatially separated, with the soft X-ray emission region situated behind the region of hard X-ray emission. We propose a scenario for HH 80 where soft X-ray emission is associated to thermal processes from the interaction of the jet with denser ambient matter and the hard X-ray emission is produced by synchrotron radiation at the front shock.Comment: Accepted for publication in ApJ