Verification of a mixed high-order accurate DNS code for laminar turbulent transition by the method of manufactured solutions

This paper presents results on a verification test of a Direct Numerical Simulation code of mixed high-order of accuracy using the method of manufactured solutions (MMS). This test is based on the formulation of an analytical solution for the Navier-Stokes equations modified by the addition of a source term. The present numerical code was aimed at simulating the temporal evolution of instability waves in a plane Poiseuille flow. The governing equations were solved in a vorticity-velocity formulation for a two-dimensional incompressible flow. The code employed two different numerical schemes. One used mixed high-order compact and non-compact finite-differences from fourth-order to sixth-order of accuracy. The other scheme used spectral methods instead of finite-difference methods for the streamwise direction, which was periodic. In the present test, particular attention was paid to the boundary conditions of the physical problem of interest. Indeed, the verification procedure using MMS can be more demanding than the often used comparison with Linear Stability Theory. That is particularly because in the latter test no attention is paid to the nonlinear terms. For the present verification test, it was possible to manufacture an analytical solution that reproduced some aspects of an instability wave in a nonlinear stage. Although the results of the verification by MMS for this mixed-order numerical scheme had to be interpreted with care, the test was very useful as it gave confidence that the code was free of programming errors. Copyright (C) 2009 John Wiley & Sons, Ltd.

MODELING OF AN INFORMATION SYSTEM FOR WINE TRACEABILITY BASED ON A SERVICE ORIENTED ARCHITECTURE

The purpose is to present a scientific research that led to the modeling of an information system which aimed at the maintenance of traceability data in the Brazilian wine industry, according to the principles of a service-oriented architecture (SOA). Since 2005, traceability data maintenance is an obligation for all producers that intend to export to any European Union country. Also, final customers, including the Brazilian ones, have been asking for information about food products. A solution that collectively contemplated the industry was sought in order to permit that producer consortiums of associations could share the costs and benefits of such a solution. Following an extensive bibliographic review, a series of interviews conducted with Brazilian researchers and wine producers in Bento Goncalves - RS, Brazil, elucidated many aspects associated with the wine production process. Information technology issues related to the theme were also researched. The software was modeled with the Unified Modeling Language (UML) and uses web services for data exchange. A model for the wine production process was also proposed. A functional prototype showed that the adopted model is able to fulfill the demands of wine producers. The good results obtained lead us to consider the use of this model in other domains.

Adaptable Strut-and-Tie Model for Design and Verification of Four-Pile Caps

A large percentage of pile caps support only one column, and the pile caps in turn are supported by only a few piles. These are typically short and deep members with overall span-depth ratios of less than 1.5. Codes of practice do not provide uniform treatment for the design of these types of pile caps. These members have traditionally been designed as beams spanning between piles with the depth selected to avoid shear failures and the amount of longitudinal reinforcement selected to provide sufficient flexural capacity as calculated by the engineering beam theory. More recently, the strut-and-tie method has been used for the design of pile caps (disturbed or D-region) in which the load path is envisaged to be a three-dimensional truss, with compressive forces being supported by concrete compressive struts between the column and piles and tensile forces being carried by reinforcing steel located between piles. Both of these models have not provided uniform factors of safety against failure or been able to predict whether failure will occur by flexure (ductile mode) or shear (fragile mode). In this paper, an analytical model based on the strut-and-tie approach is presented. The proposed model has been calibrated using an extensive experimental database of pile caps subjected to compression and evaluated analytically for more complex loading conditions. It has been proven to be applicable across a broad range of test data and can predict the failures modes, cracking, yielding, and failure loads of four-pile caps with reasonable accuracy.

Application of the essential work of fracture method in ranking the performance in service of high-density polyethylene resins employed in pressure pipes

High-density polyethylene resins have increasingly been used in the production of pipes for water- and gas-pressurized distribution systems and are expected to remain in service for several years, but they eventually fail prematurely by creep fracture. Usual standard methods used to rank resins in terms of their resistance to fracture are expensive and non-practical for quality control purposes, justifying the search for alternative methods. Essential work of fracture (EWF) method provides a relatively simple procedure to characterize the fracture behavior of ductile polymers, such as polyethylene resins. In the present work, six resins were analyzed using the EWF methodology. The results show that the plastic work dissipation factor, beta w(p), is the most reliable parameter to evaluate the performance. Attention must be given to specimen preparation that might result in excessive dispersion in the results, especially for the essential work of fracture w(e).

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Determining the season of death from the family composition of insects infesting carrion

Determining the season of death by means of the composition of the families of insects infesting carrion is rarely attempted in forensic studies and has never been statistically modelled. For this reason, a baseline-category logit model is proposed for predicting the season of death as a function of whether the area where the carcass was exposed is sunlit or shaded and of the relative abundance of particular families of carrion insects (Calliphoridae, Fanniidae, Sarcophagidae, and Formicidae). The field study was conducted using rodent carcasses (20-252 g) in an urban forest in southeastern Brazil. Four carcasses (2 in a sunlit and 2 in a shaded area) were placed simultaneously at the study site, twice during each season from August 2003 through June 2004. The feasibility of the model, measured in terms of overall accuracy, is 64 +/- 14%. It is likely the proposed model will assist forensic teams in predicting the season of death in tropical ecosystems, without the need of identifying the species of specimens or the remains of carrion insects.

Citrus Sudden Death Is Transmitted by Graft-Inoculation and Natural Transmission Is Prevented by Individual Insect-Proof Cages

Citrus sudden death (CSD) transmission was studied by graft-inoculation and under natural conditions. Young sweet orange trees on Rangpur rootstock were used as indicator plants. They were examined regularly for one or two characteristic markers of CSD: (i) presence of a yellow-stained layer of thickened bark on the Rangpur rootstock, and (ii) infection with the CSD-associated marafivirus. Based on these two markers, transmission of CSD was obtained, not only when budwood for graft-inoculation was taken from symptomatic, sweet orange trees on Rangpur, but also when the budwood sources were asymptomatic sweet orange trees on Cleopatra mandarin, indicating that the latter trees are symptomless carriers of the CSD agent. For natural transmission, 80 young indicator plants were planted within a citrus plot severely affected by CSD. Individual insect-proof cages were built around 40 indicator plants, and the other 40 indicator plants remained uncaged. Only two of the 40 caged indicator plants were affected by CSD, whereas 17 uncaged indicator plants showed CSD symptoms and were infected with the marafivirus. An additional 12 uncaged indicator plants became severely affected with citrus variegated chlorosis and were removed. These results strongly suggest that under natural conditions, CSD is transmitted by an aerial vector, such as an insect, and that the cages protected the trees against infection by the vector.

The Aspergillus nidulans nucA(EndoG) Homologue Is Not Involved in Cell Death

Upon apoptosis induction, translocation of mammalian mitochondrial endonuclease G (EndoG) to the nucleus coincides with large-scale DNA fragmentation. Here, we describe for the first time a homologue of EndoG in filamentous fungi by investigating if the Aspergillus nidulans homologue of the EndoG gene, named nucA(EndoG), is being activated during farnesol-induced cell death. Our results suggest that NucA is not involved in cell death, but it plays a role in the DNA-damaging response in A. nidulans.

Expo 1988 Information Service Centre, Brisbane

View to service centre during Expo 1988.

Experimental Verification of Decoherence-Free Subspaces

Using spontaneous parametric down-conversion, we produce polarization-entangled states of two photons and characterize them using two-photon tomography to measure the density matrix. A controllable decoherence is imposed on the states by passing the photons through thick, adjustable birefringent elements. When the system is subject to collective decoherence, one particular entangled state is seen to be decoherence-free, as predicted by theory. Such decoherence-free systems may have an important role for the future of quantum computation and information processing.

Rumors of the death of emotional intelligence in organizational behavior are vastly exaggerated

In the first of two articles presenting the case for emotional intelligence in a point/counterpoint exchange, we present a brief summary of research in the field, and rebut arguments against the construct presented in this issue.We identify three streams of research: (1) a four-branch abilities test based on the model of emotional intelligence defined in Mayer and Salovey (1997); (2) self-report instruments based on the Mayer–Salovey model; and (3) commercially available tests that go beyond the Mayer–Salovey definition. In response to the criticisms of the construct, we argue that the protagonists have not distinguished adequately between the streams, and have inappropriately characterized emotional intelligence as a variant of social intelligence. More significantly, two of the critical authors assert incorrectly that emotional intelligence research is driven by a utopian political agenda, rather than scientific interest. We argue, on the contrary, that emotional intelligence research is grounded in recent scientific advances in the study of emotion; specifically regarding the role emotion plays in organizational behavior. We conclude that emotional intelligence is attracting deserved continuing research interest as an individual difference variable in organizational behavior related to the way members perceive, understand, and manage their emotions.

Spectral properties of the tandem Jackson network, seen as a quasi-birth-and-death process

Quasi-birth-and-death (QBD) processes with infinite “phase spaces” can exhibit unusual and interesting behavior. One of the simplest examples of such a process is the two-node tandem Jackson network, with the “phase” giving the state of the first queue and the “level” giving the state of the second queue. In this paper, we undertake an extensive analysis of the properties of this QBD. In particular, we investigate the spectral properties of Neuts’s R-matrix and show that the decay rate of the stationary distribution of the “level” process is not always equal to the convergence norm of R. In fact, we show that we can obtain any decay rate from a certain range by controlling only the transition structure at level zero, which is independent of R. We also consider the sequence of tandem queues that is constructed by restricting the waiting room of the first queue to some finite capacity, and then allowing this capacity to increase to infinity. We show that the decay rates for the finite truncations converge to a value, which is not necessarily the decay rate in the infinite waiting room case. Finally, we show that the probability that the process hits level n before level 0 given that it starts in level 1 decays at a rate which is not necessarily the same as the decay rate for the stationary distribution.

Perceptions of mental health service delivery among staff and Indigenous consumers: it's still about communication

Objective: A needs analysis was undertaken to determine the quality and effectiveness of mental health services to Indigenous consumers within a health district of Southern Queensland. The study focussed on identifying gaps in the service provision for Indigenous consumers. Tools and methodologies were developed to achieve this. Method: Data were collected through the distribution of questionnaires to the target populations: district health service staff and Indigenous consumers. Questionnaires were developed through consultation with the community and the Steering Committee in order to achieve culturally appropriate wording. Of prime importance was the adaptation of questionnaire language so it would be fully understood by Indigenous consumers. Both questionnaires were designed to provide a balanced perspective of current mental health service needs for Indigenous people within the mental health service. Results: Results suggest that existing mental health services do not adequately meet the needs of Indigenous people. Conclusions: Recommendations arising from this study indicate a need for better communication and genuine partnerships between the mental health service and Indigenous people that reflect respect of cultural heritage and recognises the importance of including Indigenous people in the design and management of mental health services. Attention to the recommendations from this study will help ensure a culturally appropriate and effective mental health service for Indigenous consumers.