2,615 research outputs found
The natural history of bugs: using formal methods to analyse software related failures in space missions
Space missions force engineers to make complex trade-offs between many different constraints including cost, mass, power, functionality and reliability. These constraints create a continual need to innovate. Many advances rely upon software, for instance to control and monitor the next generation âelectron cyclotron resonanceâ ion-drives for deep space missions.Programmers face numerous challenges. It is extremely difficult to conduct valid ground-based tests for the code used in space missions. Abstract models and simulations of satellites can be misleading. These issues are compounded by the use of âband-aidâ software to fix design mistakes and compromises in other aspects of space systems engineering. Programmers must often re-code missions in flight. This introduces considerable risks. It should, therefore, not be a surprise that so many space missions fail to achieve their objectives. The costs of failure are considerable. Small launch vehicles, such as the U.S. Pegasus system, cost around 4 million up to 73 million from the failure of a single uninsured satellite. It is clearly important that we learn as much as possible from those failures that do occur. The following pages examine the roles that formal methods might play in the analysis of software failures in space missions
Design and fabrication of high quality-factor 1-d photonic crystal/photonic wire extended microcavities
We have successfully demonstrated experimentally the fabrication and measurement of high quality-factor one-dimensional photonic crystal/photonic wire extended cavities based on silicon-on-insulator. The cavities that we have investigated ranged from 3 to 8 m in length. A quality-factor of nearly 74 000 was measured at a cavity length of 5 m through the use of tapering both within and outside the cavity, showing good agreement with the finite-difference time-domain simulation approach use
Coupling strength control in photonic crystal/photonic wire multiple cavity devices
Resonance splitting has been demonstrated for two coupled micro-cavities with control of the free spectral range between the resonance peaks, together with a normalised transmission level of approximately 60%. Coupled micro-cavity-based structures that were separated by two closely spaced in-line coupler sections between the two micro-cavities have also been successfully fabricated and measured. The coupling strength of the two cavities was controlled via the use of hole tapering in the middle section between the two cavities. 2D finite-difference time-domain simulation shows close agreement with the results of measurements
La nidification des flamants de Camargue en 1970 et 1971
En 1970 et 1971, malgrĂ© le faible nombre de couples nicheurs, les Flamants ont connu un bon succĂšs de reproduction : 280 jeunes Ă©levĂ©s en 1970 et 1 500 environ en 1971. En 1970, il est fort probable quâune autre colonie plus importante, probablement en Afrique du Nord, ait abouti Ă une rĂ©ussite dâĂ©levage puisque un certain nombre de jeunes de lâannĂ©e ont Ă©tĂ© observĂ©s en Camargue avant le dĂ©part de nos jeunes. LâĂźlot de nidification choisi durant ces deux annĂ©es nâa pas Ă©tĂ© utilisĂ© par les Flamants depuis trente Ă quarante ans. Nous proposons que cette localitĂ© reste anonyme et lâappelons ic,i lâEtang A. Les flamants y ont cohabitĂ© avec plusieurs espĂšces de laro-limicoles, y compris les GoĂ©lands. A lâĂ©cart des intrusions humaines les colonies ont pu jouir de la tranquillitĂ© qui leur est nĂ©cessaire et les deux saisons de reproduction se sont dĂ©roulĂ©es dâune façon rĂ©guliĂšre. Aucun baguage nâa Ă©tĂ© effectuĂ©..
Les Flamants en 1964 et 1965
Johnson Alan. Les flamants en 1964 et 1965. In: La Terre et La Vie, Revue d'Histoire naturelle, tome 20, n°3, 1966. pp. 255-257
- âŠ