Method to assess and optimise dependability of complex macro-systems: application to a railway signalling system

Achieving a high degree of dependability in complex macro-systems is challenging. Because of the large number of components and numerous independent teams involved, an overview of the global system performance is usually lacking to support both design and operation adequately. A functional failure mode, effects and criticality analysis (FMECA) approach is proposed to address the dependability optimisation of large and complex systems. The basic inductive model FMECA has been enriched to include considerations such as operational procedures, alarm systems. environmental and human factors, as well as operation in degraded mode. Its implementation on a commercial software tool allows an active linking between the functional layers of the system and facilitates data processing and retrieval, which enables to contribute actively to the system optimisation. The proposed methodology has been applied to optimise dependability in a railway signalling system. Signalling systems are typical example of large complex systems made of multiple hierarchical layers. The proposed approach appears appropriate to assess the global risk- and availability-level of the system as well as to identify its vulnerabilities. This enriched-FMECA approach enables to overcome some of the limitations and pitfalls previously reported with classical FMECA approaches.

La reconversion du quartier Gare/Crêt-Taconnet à Neuchâtel: réflexions sur la densification qualifiée

La reconversion des friches industrielles des secteurs de gare est prometteuse dans l'optique d'un développement urbain dense alternatif à l'étalement. Elles constituent en effet une réserve foncière centrale et bien desservie par les transports publics. La densification de ces terrains stratégiques ne pourra cependant freiner l'étalement urbain qu'à condition d'offrir un cadre de vie attractif pour l'habitat. Notre hypothèse est que l'engagement des pouvoirs publics est déterminant pour assurer cette densification qualifiée. Brown fields regeneration in railway station areas is particularly promising in the perspective of a compact urban development alternative to sprawl. They indeed constitute a central land stock which is well connected to public transportation networks. However, the densification of these strategic lands will make it possible to moderate urban sprawl only by providing an attractive environment for residential activities. Our hypothesis is that public authorities involvement is decisive to ensure such a qualified densification. Die Umnutzung von Industriebrachen in Bahnhofsarealen scheint viel versprechend im Hinblick auf eine Stadtentwicklung nach innen als Alternative zur Ausbreitung. Zentralgelegen, stellen diese ungenutzten Flächen eine strategische Bodenreserve dar, welche gut an das öffentliche Verkehrsmittelnetz angeschlossen ist. Ihre Verdichtung kann jedoch die Stadtausbreitung nur eindämmen unter der Bedingung, einen attraktiven Lebens- und Wohnraum zu bieten. Unsere Hypothese lautet, dass das Ausmass des Engagements der öffentlichen Hand bestimmend ist um diese qualitative Verdichtung sicherzustellen.

The de facto independence of regulatory agencies and its consequences for policy making and regulatory outcomes

This dissertation focuses on the practice of regulatory governance, throughout the study of the functioning of formally independent regulatory agencies (IRAs), with special attention to their de facto independence. The research goals are grounded on a "neo-positivist" (or "reconstructed positivist") position (Hawkesworth 1992; Radaelli 2000b; Sabatier 2000). This perspective starts from the ontological assumption that even if subjective perceptions are constitutive elements of political phenomena, a real world exists beyond any social construction and can, however imperfectly, become the object of scientific inquiry. Epistemologically, it follows that hypothetical-deductive theories with explanatory aims can be tested by employing a proper methodology and set of analytical techniques. It is thus possible to make scientific inferences and general conclusions to a certain extent, according to a Bayesian conception of knowledge, in order to update the prior scientific beliefs in the truth of the related hypotheses (Howson 1998), while acknowledging the fact that the conditions of truth are at least partially subjective and historically determined (Foucault 1988; Kuhn 1970). At the same time, a sceptical position is adopted towards the supposed disjunction between facts and values and the possibility of discovering abstract universal laws in social science. It has been observed that the current version of capitalism corresponds to the golden age of regulation, and that since the 1980s no government activity in OECD countries has grown faster than regulatory functions (Jacobs 1999). Following an apparent paradox, the ongoing dynamics of liberalisation, privatisation, decartelisation, internationalisation, and regional integration hardly led to the crumbling of the state, but instead promoted a wave of regulatory growth in the face of new risks and new opportunities (Vogel 1996). Accordingly, a new order of regulatory capitalism is rising, implying a new division of labour between state and society and entailing the expansion and intensification of regulation (Levi-Faur 2005). The previous order, relying on public ownership and public intervention and/or on sectoral self-regulation by private actors, is being replaced by a more formalised, expert-based, open, and independently regulated model of governance. Independent regulation agencies (IRAs), that is, formally independent administrative agencies with regulatory powers that benefit from public authority delegated from political decision makers, represent the main institutional feature of regulatory governance (Gilardi 2008). IRAs constitute a relatively new technology of regulation in western Europe, at least for certain domains, but they are increasingly widespread across countries and sectors. For instance, independent regulators have been set up for regulating very diverse issues, such as general competition, banking and finance, telecommunications, civil aviation, railway services, food safety, the pharmaceutical industry, electricity, environmental protection, and personal data privacy. Two attributes of IRAs deserve a special mention. On the one hand, they are formally separated from democratic institutions and elected politicians, thus raising normative and empirical concerns about their accountability and legitimacy. On the other hand, some hard questions about their role as political actors are still unaddressed, though, together with regulatory competencies, IRAs often accumulate executive, (quasi-)legislative, and adjudicatory functions, as well as about their performance.

An introduction to model-independent diffusion magnetic resonance imaging.

ABSTRACT: q-Space-based techniques such as diffusion spectrum imaging, q-ball imaging, and their variations have been used extensively in research for their desired capability to delineate complex neuronal architectures such as multiple fiber crossings in each of the image voxels. The purpose of this article was to provide an introduction to the q-space formalism and the principles of basic q-space techniques together with the discussion on the advantages as well as challenges in translating these techniques into the clinical environment. A review of the currently used q-space-based protocols in clinical research is also provided.

Human topoisomerase II-DNA interaction study by using atomic force microscopy.

Type II topoisomerases (Topo II) are unique enzymes that change the DNA topology by catalyzing the passage of two double-strands across each other by using the energy from ATP hydrolysis. In vitro, human Topo II relaxes positive supercoiled DNA around 10-fold faster than negative supercoiled DNA. By using atomic force microscopy (AFM) we found that human Topo II binds preferentially to DNA cross-overs. Around 50% of the DNA crossings, where Topo II was bound to, presented an angle in the range of 80-90°, suggesting a favored binding geometry in the chiral discrimination by Topo II. Our studies with AFM also helped us visualize the dynamics of the unknotting action of Topo II in knotted molecules.

Diffusion spectrum magnetic resonance imaging (DSI) tractography of crossing fibers.

MRI tractography is the mapping of neural fiber pathways based on diffusion MRI of tissue diffusion anisotropy. Tractography based on diffusion tensor imaging (DTI) cannot directly image multiple fiber orientations within a single voxel. To address this limitation, diffusion spectrum MRI (DSI) and related methods were developed to image complex distributions of intravoxel fiber orientation. Here we demonstrate that tractography based on DSI has the capacity to image crossing fibers in neural tissue. DSI was performed in formalin-fixed brains of adult macaque and in the brains of healthy human subjects. Fiber tract solutions were constructed by a streamline procedure, following directions of maximum diffusion at every point, and analyzed in an interactive visualization environment (TrackVis). We report that DSI tractography accurately shows the known anatomic fiber crossings in optic chiasm, centrum semiovale, and brainstem; fiber intersections in gray matter, including cerebellar folia and the caudate nucleus; and radial fiber architecture in cerebral cortex. In contrast, none of these examples of fiber crossing and complex structure was identified by DTI analysis of the same data sets. These findings indicate that DSI tractography is able to image crossing fibers in neural tissue, an essential step toward non-invasive imaging of connectional neuroanatomy.

Subknots in ideal knots, random knots, and knotted proteins.

We introduce disk matrices which encode the knotting of all subchains in circular knot configurations. The disk matrices allow us to dissect circular knots into their subknots, i.e. knot types formed by subchains of the global knot. The identification of subknots is based on the study of linear chains in which a knot type is associated to the chain by means of a spatially robust closure protocol. We characterize the sets of observed subknot types in global knots taking energy-minimized shapes such as KnotPlot configurations and ideal geometric configurations. We compare the sets of observed subknots to knot types obtained by changing crossings in the classical prime knot diagrams. Building upon this analysis, we study the sets of subknots in random configurations of corresponding knot types. In many of the knot types we analyzed, the sets of subknots from the ideal geometric configurations are found in each of the hundreds of random configurations of the same global knot type. We also compare the sets of subknots observed in open protein knots with the subknots observed in the ideal configurations of the corresponding knot type. This comparison enables us to explain the specific dispositions of subknots in the analyzed protein knots.

Error and attack tolerance of layered complex networks.

Many complex systems may be described by not one but a number of complex networks mapped on each other in a multi-layer structure. Because of the interactions and dependencies between these layers, the state of a single layer does not necessarily reflect well the state of the entire system. In this paper we study the robustness of five examples of two-layer complex systems: three real-life data sets in the fields of communication (the Internet), transportation (the European railway system), and biology (the human brain), and two models based on random graphs. In order to cover the whole range of features specific to these systems, we focus on two extreme policies of system's response to failures, no rerouting and full rerouting. Our main finding is that multi-layer systems are much more vulnerable to errors and intentional attacks than they appear from a single layer perspective.

Denman-002 - A new CV3 chondrite from South Australia

Denman 002 is a new Australian carbonaceous chondrite. A single stone of 30 g was recovered in 1991 May near Fisher Station on the Trans Australian Railway, Nullarbor Plain, South Australia (30-degrees-36'S, 130-degrees-04'E). Texture, mineral and chemical composition indicate that it is a CV3 chondrite of oxidised subgroup with several similarities to Allende. It is composed of sharply defined chondrules, Ca-Al rich inclusions up to 3.5 mm across, olivine aggregates and fine-grained, nearly opaque matrix (40 vol%). Silicates are compositionally highly heterogeneous (olivine Fa: 0.2-45.6 mol%, PMD: 109.7). Denman 002 shows shock effects of stage S1 and weathering of category A

Les souris (Mus domesticus) du tunnel du Simplon: leur origine et hypothèses sur leur écologie

The Simplon tunnel is a railway connection trough the Alps between Brig (Switzerland) and Iselle (Italy). Constructed at the beginning of the last century, it consists of two parallel, interconnected tunnels of 19.8 km each. Due to geothermal conditions, its temperature of 29°C is seasonally invariable. Stories about blind mice induced us to sample small mammals in the central part of the tunnel. We used 30 Longworth traps, set in 6 groups of 5 traps. After a prebaiting period of 2 weeks, the traps were opened during one night. We captured 10 Mus domesticus Rutty, 1772. A karyological analysis showed that they had the standard diploid number of 2n = 40, as mice from Brig. Mice from the Val d'Ossola (Italian side of the tunnel) had a karyotype of 2n = 24 with two specific Robertsonian fusion, Rb(5.8) and Rb(7.15). This "Domodossola race" belongs to the Lago Maggiore sub-groupe. As a conclusion, the tunnel colonisation took place from the north. With a density of about 5 - 10 mice per km, a rough estimate of the total tunnel population is about 200 - 400 mice. The few pick-nick left-overs from workers active in the tunnel cannot sustain such a population. It is concluded that the mice, as well as the regularly encountered Gryllus domesticus, are living from human faeces, dropped from the water closets of the trains. Low food resources, lack of predators and perhaps lack of accidents imply a density dependent population control, coupled with a low reproduction rate.