Three-dimensional analysis of fracture, corrosion and wear surfaces

A brief look at the history of fractography has shown a recent trend in the quantification of topographic parameters through the use of three-dimensional reconstruction techniques, which associate SEM stereoscopy and stereophotogrammetry software, allowing the calculation of the elevation measurement at numerous points of the topography due to the parallax that takes place during the tilting of the sample along the microscope eucentric plane. Several investigators have used reconstruction techniques to correlate some fractographic parameters, such as fractal dimension and fractured to projected area ratio, to the mechanical properties of materials, such as fracture toughness and tensile strength. So far, the search for a clear relationship between the fracture topography and mechanical properties has provided ambiguous results. The present work applied a surface metrology software to reconstruct three-dimensionally fracture surfaces (transgranular cleavage, intergranular and dimple fracture), corrosion pits and tribo-surfaces in order to explore the potential of this stereophotogrammetry technique. The existence of a variation in the calculated topographic parameters with the conditions of SEM image acquisition reinforces the importance of both good image acquisition and accurate calibration methods in order to validate this 3D reconstruction technique in metrological terms. Preliminary results did not indicate the existence of a clear relationship between either the true to project area ratio and CVN absorbed energy or the fractal dimension and CVN absorbed energy. It is likely that each fracture mechanism presents a proper relationship between the fractographic parameters and mechanical properties. (C) 2009 Elsevier Ltd. All rights reserved.

Stress cracking and photodegradation behavior of polycarbonate. The combination of two major causes of polymer failure

This work investigates the effects of photodegradation on the environmental stress cracking resistance of polycarbonate (PC). Injection molded samples were exposed to the ultraviolet (UV) light for various times in the laboratory prior to solvent contact. The bars were then stressed with two different loads in a tensile testing machine under the presence of ethanol. During this period, the stress relaxation was monitored and, after unloading, the ultimate properties were evaluated. Complementary tests were done by size exclusion chromatography, UV-visible spectroscopy, scanning electron microscopy, and light microscopy. The results indicated that ethanol causes significant modification in PC, with extensive surface crazing as well as reduction in mechanical properties. The previous degraded samples showed a higher level of stress relaxation and a greater loss in tensile strength in comparison with the undegraded ones. The synergist action of photodegradation and stress cracking in PC may be a consequence of the chemical changes caused by oxidation.

The Future of the Australian-U.S. Security Relationship

Australia is an increasingly important ally for the United States. It is willing to be part of challenging global missions, and its strong economy and growing self-confi dence suggest a more prominent role in both global and regional affairs. Moreover, its government has worked hard to strengthen the link between Canberra and Washington. Political and strategic affi nities between the two countries have been refl ected in--and complemented by--practiced military interoperability, as the two allies have sustained a pattern of security cooperation in relation to East Timor, Afghanistan and Iraq in the last 4 years. This growing collaboration between the two countries suggests that a reinvention of the traditional bilateral security relationship is taking place. At the core of this process lies an agreement about the need for engaging in more proactive strategic behavior in the changing global security environment, and a mutual acceptance of looming military and technological interdependence. But this new alliance relationship is already testing the boundaries of bipartisan support for security policy within Australia. Issues of strategic doctrine, defense planning, and procurement are becoming topics of fi erce policy debate. Such discussion is likely to be sharpened in the years ahead as Australia’s security relationship with the United States settles into a new framework.

Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

Attachment style, assertive communication, and safer-sex behavior

This research tested the proposition that the effect of attachment security on safer-sex practice may be mediated by communication patterns. One hundred eighty-five undergraduate students completed questionnaire measures of attachment, assertiveness, and attitudes to communication about AIDS. Eight weeks later, they reported on their practice of safer sex in the period since the first testing session. Hierarchical regressions showed that at Step 1, anxiety about relationships (a measure of insecure attachment) was associated with less safer-sex practice, for all outcome measures. Attitudes to communication about AIDS added to the prediction of general reports of safer-sex practice: in line with the mediational model, anxiety about relationships became unimportant as a predictor when communication variables were included. Communication variables failed to add to the prediction of safer sex on the most recent encounter, and both anxiety about relationships and attitudes to communication about AIDS predicted condom use. Some gender differences in patterns of prediction were noted. The results are discussed in terms of attachment style and its links with the negotiation of sexual practice and relationship issues.

Forward-looking versus recursive-dynamic modeling in climate policy analysis: A comparison

This paper develops a multi-regional general equilibrium model for climate policy analysis based on the latest version of the MIT Emissions Prediction and Policy Analysis (EPPA) model. We develop two versions so that we can solve the model either as a fully inter-temporal optimization problem (forward-looking, perfect foresight) or recursively. The standard EPPA model on which these models are based is solved recursively, and it is necessary to simplify some aspects of it to make inter-temporal solution possible. The forward-looking capability allows one to better address economic and policy issues such as borrowing and banking of GHG allowances, efficiency implications of environmental tax recycling, endogenous depletion of fossil resources, international capital flows, and optimal emissions abatement paths among others. To evaluate the solution approaches, we benchmark each version to the same macroeconomic path, and then compare the behavior of the two versions under a climate policy that restricts greenhouse gas emissions. We find that the energy sector and CO(2) price behavior are similar in both versions (in the recursive version of the model we force the inter-temporal theoretical efficiency result that abatement through time should be allocated such that the CO(2) price rises at the interest rate.) The main difference that arises is that the macroeconomic costs are substantially lower in the forward-looking version of the model, since it allows consumption shifting as an additional avenue of adjustment to the policy. On the other hand, the simplifications required for solving the model as an optimization problem, such as dropping the full vintaging of the capital stock and fewer explicit technological options, likely have effects on the results. Moreover, inter-temporal optimization with perfect foresight poorly represents the real economy where agents face high levels of uncertainty that likely lead to higher costs than if they knew the future with certainty. We conclude that while the forward-looking model has value for some problems, the recursive model produces similar behavior in the energy sector and provides greater flexibility in the details of the system that can be represented. (C) 2009 Elsevier B.V. All rights reserved.

Behavioural abnormalities of the hyposulphataemic Nas1 knock-out mouse

We recently generated a sodium sulphate cotransporter knock-out mouse (Nas1-/-) which has increased urinary sulphate excretion and hyposulphataemia. To examine the consequences of disturbed sulphate homeostasis in the modulation of mouse behavioural characteristics, Nas1-/- mice were compared with Nas1+/- and Nas1+/+ littermates in a series of behavioural tests. The Nas1-/- mice displayed significantly (P < 0.001) decreased marble burying behaviour (4.33 +/- 0.82 buried) when compared to Nas1+/+ (7.86 +/- 0.44) and Nas1+/- (8.40 +/- 0.37) animals, suggesting that Nas1-/- mice may have decreased object-induced anxiety. The Nas1-/- mice also displayed decreased locomotor activity by moving less distance (1.53 +/- 0.27 m, P < 0.05) in an open-field test when compared to Nas1+/+ (2.31 +/- 0.24 m) and Nas1+/- (2.15 +/- 0.19 m) mice. The three genotypes displayed similar spatiotemporal and ethological behaviours in the elevated-plus maze and open-field test, with the exception of a decreased defecation frequency by the Nas1-/- mice (40% reduction, P < 0.01). There were no significant differences between Nas1-/- and Nas1+/+ mice in a rotarod performance test of motor coordination and in the forced swim test assessing (anti-)depressant-like behaviours. This is the first study to demonstrate behavioural abnormalities in the hyposulphataemic Nas1-/- mice. (C) 2004 Elsevier B.V. All rights reserved.

Biomimetic in silico devices

We introduce biomimetic in silico devices, and means for validation along with methods for testing and refining them. The devices are constructed from adaptable software components designed to map logically to biological components at multiple levels of resolution. In this report we focus on the liver; the goal is to validate components that mimic features of the lobule (the hepatic primary functional unit) and dynamic aspects of liver behavior, structure, and function. An assembly of lobule-mimetic devices represents an in silico liver. We validate against outflow profiles for sucrose administered as a bolus to isolated, perfused rat livers. Acceptable in silico profiles are experimentally indistinguishable from those of the in situ referent. This new technology is intended to provide powerful Dew tools for challenging our understanding of how biological functional units function in vivo.

Political Parties and Governors as Determinants of Legislative Behavior in Brazil`s Chamber of Deputies, 1988-2006

This article examines the relative importance of regional and national forces in shaping the behavior of Brazilian legislators at the national level. A widely held view is that national legislators respond to state pressures in making decisions, rather than pressures from the national government. Governors not only can influence national debates but also can determine outcomes by exerting control over their states` legislative delegations. This article examines a dataset of all roll-call votes in the Chamber of Deputies between 1989 and 2006 to isolate and evaluate the impact of local pressures on legislative voting. Spanning the terms of five presidents and five different congresses, the data show that the local influence is weaker than the national on the voting decisions of individual legislators and the voting cohesion of state delegations. Alternative institutional resources allow the central government to counteract the centrifugal pressures of federalism and other institutional influences.

A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

Smart Alerts: Development of Software to Optimize Data Monitoring

Dherte PM, Negrao MPG, Mori Neto S, Holzhacker R, Shimada V, Taberner P, Carmona MJC - Smart Alerts: Development of a Software to Optimize Data Monitoring. Background and objectives: Monitoring is useful for vital follow-ups and prevention, diagnosis, and treatment of several events in anesthesia. Although alarms can be useful in monitoring they can cause dangerous user`s desensitization. The objective of this study was to describe the development of specific software to integrate intraoperative monitoring parameters generating ""smart alerts"" that can help decision making, besides indicating possible diagnosis and treatment. Methods: A system that allowed flexibility in the definition of alerts, combining individual alarms of the parameters monitored to generate a more elaborated alert system was designed. After investigating a set of smart alerts, considered relevant in the surgical environment, a prototype was designed and evaluated, and additional suggestions were implemented in the final product. To verify the occurrence of smart alerts, the system underwent testing with data previously obtained during intraoperative monitoring of 64 patients. The system allows continuous analysis of monitored parameters, verifying the occurrence of smart alerts defined in the user interface. Results: With this system a potential 92% reduction in alarms was observed. We observed that in most situations that did not generate alerts individual alarms did not represent risk to the patient. Conclusions: Implementation of software can allow integration of the data monitored and generate information, such as possible diagnosis or interventions. An expressive potential reduction in the amount of alarms during surgery was observed. Information displayed by the system can be oftentimes more useful than analysis of isolated parameters.

Deaths from cirrhosis in Poland and Hungary: The impact of different alcohol policies during the 1980s

Objective - To compare patterns of deaths from cirrhosis in Poland and Hungary in the context of differing alcohol policies in the 1980s. Design - Cohort analysis of deaths from chronic Liver disease and cirrhosis between 1959 and 1992 using mortality data from the World Health Organization database. Results - The pattern of alcohol related mortality in these countries is quite different. In both countries, death rates increased in the 1960s and 1970s. In Poland, this increase was arrested in 1980 and death rates have levelled out, with the exception of those in young females. In Hungary, rates have continued to climb, although the rate of increase decreased in the 1980s. This change coincides with the introduction of a policy, following the introduction of martial law, to reduce alcohol consumption. Conclusions - The countries of central and eastern Europe display many similarities in both political history and measures of health such as overall life expectancy. When examined more closely, substantial differences emerge. Policy makers must be cautious about adopting global solutions to health challenges that fail to take into account national variations.

A Bayesian approach to fuzzy hypotheses testing for the estimation of optimal age for vaccination against measles

Fuzzy Bayesian tests were performed to evaluate whether the mother`s seroprevalence and children`s seroconversion to measles vaccine could be considered as ""high"" or ""low"". The results of the tests were aggregated into a fuzzy rule-based model structure, which would allow an expert to influence the model results. The linguistic model was developed considering four input variables. As the model output, we obtain the recommended age-specific vaccine coverage. The inputs of the fuzzy rules are fuzzy sets and the outputs are constant functions, performing the simplest Takagi-Sugeno-Kang model. This fuzzy approach is compared to a classical one, where the classical Bayes test was performed. Although the fuzzy and classical performances were similar, the fuzzy approach was more detailed and revealed important differences. In addition to taking into account subjective information in the form of fuzzy hypotheses it can be intuitively grasped by the decision maker. Finally, we show that the Bayesian test of fuzzy hypotheses is an interesting approach from the theoretical point of view, in the sense that it combines two complementary areas of investigation, normally seen as competitive. (C) 2007 IMACS. Published by Elsevier B.V. All rights reserved.

Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.

Neonatal Handling Reduces Renal Function in Adult Rats

Background/Aims: To evaluate the effects of neonatal handling on hydroelectrolytic balance in adult rats. Methods: The litters were divided into two groups: nonhandled and handled. The procedure consisted of handling the pups for 1 min/day in the first 10 days postnatally. When adults, animals had their body weight verified and were housed in individual metabolic cages. After a 24-hour period, urine samples were collected and the urinary and water intake volumes measured. Blood samples to determine osmolality, aldosterone, corticosterone, angiotensin II, creatinine, urea, sodium and potassium levels were collected. The kidneys were removed for histological assessment. Urinary osmolality, sodium, urea and creatinine were also measured and the creatinine clearance (CC) calculated. Results: No difference between groups was found in the body weight. Handled animals showed a reduction in the total kidney wet weight, water intake, urinary volume, CC, plasma angiotensin II, corticosterone and aldosterone when compared to the nonhandled and an increase in the urinary osmolality and sodium excretion fraction. No differences in serum potassium and no evidence of structural changes were demonstrated by histological analysis. Conclusion: Neonatal handling induced long-lasting effects decreasing renal function without evidence of kidney structural changes. Copyright (c) 2009 S. Karger AG, Basel