Formalization of an architectural model for exception handling coordination based on CA action concepts

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.

Using the ultrasound and instrumented indentation techniques to measure the elastic modulus of engineering materials

Currently, the acoustic and nanoindentation techniques are two of the most used techniques for material elastic modulus measurement. In this article fundamental principles and limitations of both techniques are shown and discussed. Last advances in nanoindentation technique are also reviewed. An experimental study in ceramic, metallic, composite and single crystals was also done. Results shown that ultrasonic technique is capable to provide results in agreement with those reported in literature. However, ultrasonic technique does not allow measuring the elastic modulus of some small samples and single crystals. On the other hand, the nanoindentation technique estimates the elastic modulus values in reasonable agreement with those measured by acoustic methods, particularly in amorphous materials, while in some policristaline materials some deviation from expected values was obtained.

Engineering interactions for quasiperfect transfer of polariton states through nonideal bosonic networks of distinct topologies

We present a scheme for quasiperfect transfer of polariton states from a sender to a spatially separated receiver, both composed of high-quality cavities filled by atomic samples. The sender and the receiver are connected by a nonideal transmission channel -the data bus- modelled by a network of lossy empty cavities. In particular, we analyze the influence of a large class of data-bus topologies on the fidelity and transfer time of the polariton state. Moreover, we also assume dispersive couplings between the polariton fields and the data-bus normal modes in order to achieve a tunneling-like state transfer. Such a tunneling-transfer mechanism, by which the excitation energy of the polariton effectively does not populate the data-bus cavities, is capable of attenuating appreciably the dissipative effects of the data-bus cavities. After deriving a Hamiltonian for the effective coupling between the sender and the receiver, we show that the decay rate of the fidelity is proportional to a cooperativity parameter that weighs the cost of the dissipation rate against the benefit of the effective coupling strength. The increase of the fidelity of the transfer process can be achieved at the expense of longer transfer times. We also show that the dependence of both the fidelity and the transfer time on the network topology is analyzed in detail for distinct regimes of parameters. It follows that the data-bus topology can be explored to control the time of the state-transfer process.

Reverse engineering in many-body quantum physics: Correspondence between many-body systems and effective single-particle equations

The mapping, exact or approximate, of a many-body problem onto an effective single-body problem is one of the most widely used conceptual and computational tools of physics. Here, we propose and investigate the inverse map of effective approximate single-particle equations onto the corresponding many-particle system. This approach allows us to understand which interacting system a given single-particle approximation is actually describing, and how far this is from the original physical many-body system. We illustrate the resulting reverse engineering process by means of the Kohn-Sham equations of density-functional theory. In this application, our procedure sheds light on the nonlocality of the density-potential mapping of density-functional theory, and on the self-interaction error inherent in approximate density functionals.

Decision making in fuzzy environment and multicriteria power engineering problems

This paper presents results of research into the use of the Bellman-Zadeh approach to decision making in a fuzzy environment for solving multicriteria power engineering problems. The application of the approach conforms to the principle of guaranteed result and provides constructive lines in computationally effective obtaining harmonious solutions on the basis of solving associated maxmin problems. The presented results are universally applicable and are already being used to solve diverse classes of power engineering problems. It is illustrated by considering problems of power and energy shortage allocation, power system operation, optimization of network configuration in distribution systems, and energetically effective voltage control in distribution systems. (c) 2011 Elsevier Ltd. All rights reserved.

An engineering methodology to assess effects of weld strength mismatch on cleavage fracture toughness using the Weibull stress approach

This work describes the development of an engineering approach based upon a toughness scaling methodology incorporating the effects of weld strength mismatch on crack-tip driving forces. The approach adopts a nondimensional Weibull stress, (sigma) over bar (w), as a the near-tip driving force to correlate cleavage fracture across cracked weld configurations with different mismatch conditions even though the loading parameter (measured by J) may vary widely due to mismatch and constraint variations. Application of the procedure to predict the failure strain for an overmatch girth weld made of an API X80 pipeline steel demonstrates the effectiveness of the micromechanics approach. Overall, the results lend strong support to use a Weibull stress based procedure in defect assessments of structural welds.

Signals in Communication Engineering History

This paper is a study of various electric signals, which have been employed throughout the history of communication engineering in its two main landmarks: the telegraph and the telephone. The signals are presented in their time and frequency domain representations. The historical order has been followed in the presentation: wired systems, spark gap wireless, continuous wave (CW) and amplitude modulation (AM), detection by rectification, and frequency modulation (FM). The analysis of these signals is meant to lead into a better understanding of the evolution of communication technology. The material presented in this work could be used to illustrate ""Signals and Systems"" and ""Communication Systems"" courses by taking advantage of its technical as well as historical contents.

A new approach to heart valve tissue engineering: mimicking the heart ventricle with a ventricular assist device in a novel bioreactor

The `biomimetic` approach to tissue engineering usually involves the use of a bioreactor mimicking physiological parameters whilst supplying nutrients to the developing tissue. Here we present a new heart valve bioreactor, having as its centrepiece a ventricular assist device (VAD), which exposes the cell-scaffold constructs to a wider array of mechanical forces. The pump of the VAD has two chambers: a blood and a pneumatic chamber, separated by an elastic membrane. Pulsatile air-pressure is generated by a piston-type actuator and delivered to the pneumatic chamber, ejecting the fluid in the blood chamber. Subsequently, applied vacuum to the pneumatic chamber causes the blood chamber to fill. A mechanical heart valve was placed in the VAD`s inflow position. The tissue engineered (TE) valve was placed in the outflow position. The VAD was coupled in series with a Windkessel compliance chamber, variable throttle and reservoir, connected by silicone tubings. The reservoir sat on an elevated platform, allowing adjustment of ventricular preload between 0 and 11 mmHg. To allow for sterile gaseous exchange between the circuit interior and exterior, a 0.2 mu m filter was placed at the reservoir. Pressure and flow were registered downstream of the TE valve. The circuit was filled with culture medium and fitted in a standard 5% CO(2) incubator set at 37 degrees C. Pressure and flow waveforms were similar to those obtained under physiological conditions for the pulmonary circulation. The `cardiomimetic` approach presented here represents a new perspective to conventional biomimetic approaches in TE, with potential advantages. Copyright (C) 2010 John Wiley & Sons, Ltd.

The new research centre of the Brazilian Petroleum Company in Rio de Janeiro, Brazil: The achievements in the thermal performance of air-conditioned buildings in the tropics

The study on the thermal performance of the air-conditioned buildings of the new research centre of the Brazilian Petroleum Company, in the tropical climate of Rio de Janeiro, was part of a bigger research and consultancy, project involving environmental issues. The architectural design was the subject of a national competition in 2004, encompassing over 100,000 m(2). According to the design brief, out of the 10 buildings of the new research centre, 7 have to be either completely or partially air-conditioned, due to specific occupation requirements. The challenge for better thermal performance was related to systems` energy efficiency, to the introduction of natural ventilation and to the notion of adaptive comfort, which were verified with the support of thermal dynamic simulations. At the early stages of the assessments, the potential for natural ventilation in the working spaces considering the mixed-mode strategy achieved 30% of occupation hours. However, the development of the design project led to fully air-conditioned working spaces, due to users` references regarding the conventional culture of the office environment. Nevertheless, the overall architectural approach in accordance to the climatic conditions still showed a contribution to the buildings` energy efficiency. (C) 2008 Elsevier B.V. All rights reserved.

Collagen V and vascular injury promote lung architectural changes in systemic sclerosis

Background: Systemic sclerosis (SSc) is a multisystem disorder characterized by inflammation, fibrosis and vascular damage. The aim of this study was to evaluate the interactions between basement membrane disruption, endothelial injury and collagen V deposition on the vascular wall, as well as their association with pulmonary function tests in patients with SSc. Method: The endothelial apoptosis was assessed by TUNEL and electron microscopy, and quantified through the point-counting technique. To evaluate basement membrane integrity, laminin immunostaining and electron microscopy were used. Immunofluorescence and morphometric analysis were used to determine the amount of collagen V in the vascular walls in 23 open lung biopsies of patients with SSc without pulmonary hypertension. Normal lung tissue was obtained from five individuals who had died of traumatic injuries. Results: The apoptosis index in SSc was higher in the endothelial cells (13.83 +/- 6.83) when compared with the control (2.51 +/- 2.06) group (P < 0.001) and confirmed by electron microscopy. We observed an important disruption of the basement membrane on the vascular wall shown by discontinuous laminin immunostaining and electron microscopy. An increase in collagen V on the vascular wall of the SSc group was observed (45.28 +/- 13.21), when compared with control group (22.90 +/- 4.13, P < 0.001), and this difference was statistically significant. An inverse correlation was found between vital capacity, forced vital capacity, forced expiratory volume in 1 s, vascular collagen V and endothelial apoptosis (P < 0.05). Conclusions: We conclude that the endothelial apoptosis and vascular collagen V interaction reinforce the vascular pathway in the SSc pathogenesis. Further studies are needed to determine whether this relationship is causal or consequential. Please cite this paper as: Parra ER, Aguiar AC Jr, Teodoro WR, de Souza R, Yoshinari NH and Capelozzi VL. Collagen V and vascular injury promote lung architectural changes in systemic sclerosis. The Clinical Respiratory Journal 2009; 3: 135-142.

Conus perimedullary arteriovenous fistula in a child: unusual angio-architectural features and pathophysiology

Introduction The perimedullary arteriovenous fistulas are located on the pial surface and are usually supplied by spinal medullary arteries, that is, either by the anterior or posterior spinal arteries, with no intervening nidus between the feeder arteries and the venous drainage. The clinical findings are, more commonly, caused by progressive radiculomedullary ischemic processes secondary to steal vascular mechanism. As the vascular supply to the spinal cord and to the arteriovenous fistulas (AVF) is not shared with one another, the vascular steal phenomenon cannot be implicated in this case`s physiopathology. Most probably, the mass effect caused by the giant venous dilatation was the pathophysiological mechanism involved in this lesion Case report The authors describe the case of a 6-year-old girl with an intradural ventral arteriovenous fistula, with a giant venous dilatation, fed directly by L2 and L3 radiculomedullary arteries at the conus medullaris. There was no arterial supply to the fistula from the anterior or posterior spinal arteries. Selective spinal angiography showed an arteriovenous fistula supplied directly by two radiculomedullary arteries, with a large draining vein caudally. Interposing the arterial and venous vessels was a giant venous aneurysmal dilatation located ventral to the conus medullaris and extending from L3 to T6. The patient was successfully treated by a surgical approach through a laminotomy from L3 to T11. Conclusion The type IV-C spinal arteriovenous malformations or perimedullary AVFs are rare lesions predominately described at the conus medullaris with various types of angio-architecture and controversial treatment.

Tooth Tissue Engineering: Optimal Dental Stem Cell Harvest Based on Tooth Development

Our long-term objective is to devise reliable methods to generate biological replacement teeth exhibiting the physical properties and functions of naturally formed human teeth. Previously, we demonstrated the successful use of tissue engineering approaches to generate small, bioengineered tooth crowns from harvested pig and rat postnatal dental stem cells (DSCs). To facilitate characterizations of human DSCs, we have developed a novel radiographic staging system to accurately correlate human third molar tooth developmental stage with anticipated harvested DSC yield. Our results demonstrated that DSC yields were higher in less developed teeth (Stages 1 and 2), and lower in more developed teeth (Stages 3, 4, and 5). The greatest cell yields and colony-forming units (CFUs) capability was obtained from Stages 1 and 2 tooth dental pulp. We conclude that radiographic developmental staging can be used to accurately assess the utility of harvested human teeth for future dental tissue engineering applications.

MODELLING OF HIGH-PRESSURE PHASE EQUILIBRIUM IN SYSTEMS OF INTEREST IN THE FOOD ENGINEERING FIELD USING THE PENG-ROBINSON EQUATION OF STATE WITH TWO DIFFERENT MIXING RULES

In this work, thermodynamic models for fitting the phase equilibrium of binary systems were applied, aiming to predict the high pressure phase equilibrium of multicomponent systems of interest in the food engineering field, comparing the results generated by the models with new experimental data and with those from the literature. Two mixing rules were used with the Peng-Robinson equation of state, one with the mixing rule of van der Waals and the other with the composition-dependent mixing rule of Mathias et al. The systems chosen are of fundamental importance in food industries, such as the binary systems CO(2)-limonene, CO(2)-citral and CO(2)-linalool, and the ternary systems CO(2)-Limonene-Citral and CO(2)-Limonene-Linalool, where high pressure phase equilibrium knowledge is important to extract and fractionate citrus fruit essential oils. For the CO(2)-limonene system, some experimental data were also measured in this work. The results showed the high capability of the model using the composition-dependent mixing rule to model the phase equilibrium behavior of these systems.

Document engineering approaches toward scalable and structured multimedia, web and printable documents

Document engineering is the computer science discipline that investigates systems for documents in any form and in all media. As with the relationship between software engineering and software, document engineering is concerned with principles, tools and processes that improve our ability to create, manage, and maintain documents (http://www.documentengineering.org). The ACM Symposium on Document Engineering is an annual meeting of researchers active in document engineering: it is sponsored by ACM by means of the ACM SIGWEB Special Interest Group. In this editorial, we first point to work carried out in the context of document engineering, which are directly related to multimedia tools and applications. We conclude with a summary of the papers presented in this special issue.

An aspect-oriented reference architecture for Software Engineering Environments

Reusable and evolvable Software Engineering Environments (SEES) are essential to software production and have increasingly become a need. In another perspective, software architectures and reference architectures have played a significant role in determining the success of software systems. In this paper we present a reference architecture for SEEs, named RefASSET, which is based on concepts coming from the aspect-oriented approach. This architecture is specialized to the software testing domain and the development of tools for that domain is discussed. This and other case studies have pointed out that the use of aspects in RefASSET provides a better Separation of Concerns, resulting in reusable and evolvable SEEs. (C) 2011 Elsevier Inc. All rights reserved.