Failure pressure evaluation of the containment building of a large dry nuclear power plant

The evaluation of the failure pressure of the containment building of a large dry PWR-W three loops nuclear power plant, based on computer numerical simulation, is described in this paper. The proposed method considers fully three-dimensional finite element models in order to take into account the effect of the most significant structural characteristics (presence of three buttresses, penetrations, additional reinforcement around the penetrations, etc.), the lack of symmetry of the forces generated by the prestressing system, as well as the nonlinear behaviour of the materials and the sensitivity of the results to uncertainties associated with several parameters. The computational model is completely described, including the constitutive equations for the concrete, the reinforcing steel and prestressing tendons, the spatial discretization—isoparametric elements including the reinforcement are used. The structural models and the analyses performed for their calibration are also described. The influence on the failure pressure of incorporating the foundation slab in the structural model, and the influence of the thermal effects, are discussed. One of the conclusions of the numerical study is that the failure process can be appropriately simulated by means of a structural model which does not include either the foundation slab or the thermal effects. Finally, results of a probabilistic simulation of the failure pressure are given.     

High nutrient loading and climatic parameters influence the dominance and dissimilarity of toxigenic cyanobacteria in northern bays of Lake Victoria

Eutrophication of Lake Victoria led to changes in its phytoplankton communities. However, different levels of eutrophication exist in the open lake and the bays, and between embayments. This study utilized spatial and temporal sampling of Napoleon Gulf and Murchison Bay, exhibiting different trophic conditions. Over one year, we investigated phytoplankton biomass, richness, diversity and dissimilarity, and related the dynamics of the dominant species to the limnological and climatic conditions. The results confirmed that Napoleon Gulf and Murchison Bay showed large differences in eutrophication status, with lower nutrient concentrations in Napoleon Gulf than in Murchison Bay, where a strong gradient was observed from inshore to offshore areas. These nutrient dynamics resulted in a 4 to 10 fold higher chlorophyll-a in Murchison Bay than in Napoleon Gulf. From the embayments, 135 phytoplankton taxa were recorded with no significant differences in alpha diversity. However, high dissimilarity in community structure was observed in beta diversity, mostly due to a turnover among the dominant toxigenic species. Thus, from a similar species pool, there was a shift in the dominant toxigenic cyanobacteria from Microcystis flos-aquae and M. aeruginosa in Murchison Bay, Dolichospermum circinale and Planktolyngbya circumcreta in Napoleon Gulf to D. circinale in the offshore stations. These cyanobacteria are toxigenic taxa with known health hazards. Using partial least square models, we showed that both climatic variables (e.g. wind, solar radiation) and levels of inorganic dissolved nutrients (e.g. SRP, NO₃^–, and NH₄⁺) are the main drivers of differences and dominance in cyanobacteria communities in northern Lake Victoria.     

Instability of diatomic deuterium in fcc palladium

To clarify some of the solid-state aspects of cold fusion in deuterated transition metal electrodes, we have carried out first-principles self-consistent total energy calculations for various configurations of atomic and diatomic deuterium inside fcc palladium. We find that the stability of the Pd+D system is controlled by the relative position of the deuterium-inducedantibonding level with respect to the Fermi energy. The equilibrium D-D distance in dense PdD up to =3 is found to be much larger than the free space value. The calculated Born-Oppenheimer energy surface of diatomic D₂ in crystalline palladiuim is shown to have but metastable local minima whose internuclear separation is at least 0.2 Ålarger than that of the isolated D₂ molecule. We conclude that D₂ incrystalline Pd will have a substantially lower tunneling probability than hitherto thought and that explanation for fusion mechanisms should be sought elsewhere.     

Observing Inequality: Can Ergonomic Observations Help Interventions Transform the Role of Gender in Work Activity?

Computer Supported Cooperative Work (CSCW) - Work activity ergonomics (sometimes called francophone ergonomics) draws heavily on observation in order to support transformation of work to arrive at...     

Investigation of long term drift of an intraocular pressure sensor

Microsystem Technologies - “Zero drift” behavior of an optical intraocular pressure sensor is studied using an analytical model based on the deflection of a circular membrane. Results...     

From real to metaphoric maps: Cartography as a visual language for organizing and sharing knowledge

In this paper we discuss about geographic representations as a basis for describing, organizing, accessing and understanding heterogeneous shared information on the web. Maps are popular on the web, because of the reference to space, the most important domain of human experience, the proliferation of location aware devices and services and the availability of a set of tools that enable an heterogeneous population of users to explore and even modify these representations.Metaphorical maps, representing concepts and relations of a specific knowledge domain with symbols taken from another well known and widely used domain, couple the benefits of cartographic representation with the power and intuitiveness of the metaphor, permitting the communication and sharing of such knowledge.We introduce a classification of maps based on antinomies between real and imaginary worlds, and between direct and metaphoric knowledge; we argue that cartography can be used as a visual language for organizing and sharing knowledge related to different semantic domains, supporting our arguments with examples. Finally, we define a set of functions and related data structures able to support a user in browsing cartographic representations using state-of-art tools and systems available on the web.     

Long-term information collection with energy harvesting wireless sensors: a multi-armed bandit based approach

This paper reports on the development of a multi-agent approach to long-term information collection in networks of energy harvesting wireless sensors. In particular, we focus on developing energy management and data routing policies that adapt their behaviour according to the energy that is harvested, in order to maximise the amount of information collected given the available energy budget. In so doing, we introduce a new energy management technique, based on multi-armed bandit learning, that allows each agent to adaptively allocate its energy budget across the tasks of data sampling, receiving and transmitting. By using this approach, each agent can learn the optimal energy budget settings that give it efficient information collection in the long run. Then, we propose two novel decentralised multi-hop algorithms for data routing. The first proveably maximises the information throughput in the network, but can sometimes involve high communication cost. The second algorithm provides near-optimal performance, but with reduced computational and communication costs. Finally, we demonstrate that, by using our approaches for energy management and routing, we can achieve a 120% improvement in long-term information collection against state-of-the-art benchmarks.     

A secure cookie scheme

Cookies are the primary means for web applications to authenticate HTTP requests and to maintain client states. Many web applications (such as those for electronic commerce) demand a secure cookie scheme. Such a scheme needs to provide the following four services: authentication, confidentiality, integrity, and anti-replay. Several secure cookie schemes have been proposed in previous literature; however, none of them are completely satisfactory. In this paper, we propose a secure cookie scheme that is effective, efficient, and easy to deploy. In terms of effectiveness, our scheme provides all of the above four security services. In terms of efficiency, our scheme does not involve any database lookup or public key cryptography. In terms of deployability, our scheme can be easily deployed on existing web services, and it does not require any change to the Internet cookie specification. We implemented our secure cookie scheme using PHP and conducted experiments. The experimental results show that our scheme is very efficient on both the client side and the server side.A notable adoption of our scheme in industry is that our cookie scheme has been used by Wordpress since version 2.4. Wordpress is a widely used open source content management system.     

Constructive model-based analysis for safety assessment

The aerospace industry still uses fault trees to perform reliability analysis. This is because fault-tree modeling and analysis (FTA) seems easier to practical engineers when compared with Markov models, even though FTA provides a weaker form of analysis. In this paper, we propose an automatic strategy for generating Markov-based models and corresponding analysis formulations, according to ARP 4761, directly from Simulink diagrams annotated with failure information. The generated Markov-based models are expressed in the formal language PRISM, and the analysis is carried out by the PRISM model checker. The strategy is compositional and based on a comprehensive set of translation rules from Simulink to PRISM. We briefly address soundness and completeness of the rules and, to illustrate the application of the strategy, we apply it to a classical avionics case study: an actuator control system.