Analytical solution of forced convection in a duct of rectangular cross-section saturated by a porous medium

A theoretical analysis is presented to investigate fully developed (both thermally and hydrodynamically) forced convection in a duct of rectangular cross-section filled with a hyper-porous medium. The Darcy-Brinkman model for flow through porous media was adopted in the present analysis. A Fourier series type solution is applied to obtain the exact velocity and temperature distribution within the duct. The case of uniform heat flux on the walls, i.e. the H boundary condition in the terminology of Kays and Crawford [1], is treated. Values of the Nusselt number and the friction factor as a function of the aspect ratio, the Darcy number, and the viscosity ratio are reported.

Timber cross-bracing, Mooloomba House, Point Lookout, North Stradbroke Island

Detail view of timber cross-bracing with polycarbonate sheeting behind as seen from upper level dining studio.

Timber cross-bracing, Mooloomba House, Point Lookout, North Stradbroke Island

Detail view of timber cross-bracing to dining studio, as seen from upper living area.

Timber cross-bracing, Mooloomba House, Point Lookout, North Stradbroke Island

Detail view of timber cross-bracing with polycarbonate sheeting behind as seen from upper level dining studio.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

A fast cross-entropy method for estimating buffer overflows in queuing networks

In this paper, we propose a fast adaptive importance sampling method for the efficient simulation of buffer overflow probabilities in queueing networks. The method comprises three stages. First, we estimate the minimum cross-entropy tilting parameter for a small buffer level; next, we use this as a starting value for the estimation of the optimal tilting parameter for the actual (large) buffer level. Finally, the tilting parameter just found is used to estimate the overflow probability of interest. We study various properties of the method in more detail for the M/M/1 queue and conjecture that similar properties also hold for quite general queueing networks. Numerical results support this conjecture and demonstrate the high efficiency of the proposed algorithm.

A Logic Framework of Normative-based Contract Management

We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.

Extending teaching and learning initiatives in the cross-disciplinary field of biotechnology

Our AUTC Biotechnology study (Phases 1 and 2) identified a range of areas that could benefit from a common approach by universities nationally. A national network of biotechnology educators needs to be solidified through more regular communication, biennial meetings, and development of methods for sharing effective teaching practices and industry placement strategies, for example. Our aims in this proposed study are to: a. Revisit the state of undergraduate biotechnology degree programs nationally to determine their rate of change in content, growth or shrinkage in student numbers (as the biotech industry has had its ups and downs in recent years), and sustainability within their institutions in light of career movements of key personnel, tightening budgets, and governmental funding priorities. b. Explore the feasibility of a range of initiatives to benefit university biotechnology education to determine factors such as how practical each one is, how much buy-in could be gained from potentially participating universities and industry counterparts, and how sustainable such efforts are. One of many such initiatives arising in our AUTC Biotech study was a national register of industry placements for final-year students. c. During scoping and feasibility study, to involve our colleagues who are teaching in biotechnology – and contributing disciplines. Their involvement is meant to yield not only meaningful insight into how to strengthen biotechnology teaching and learning but also to generate ‘buy-in’ on any initiatives that result from this effort.

A framework for electricity price spike analysis with advanced data mining methods

There are many techniques for electricity market price forecasting. However, most of them are designed for expected price analysis rather than price spike forecasting. An effective method of predicting the occurrence of spikes has not yet been observed in the literature so far. In this paper, a data mining based approach is presented to give a reliable forecast of the occurrence of price spikes. Combined with the spike value prediction techniques developed by the same authors, the proposed approach aims at providing a comprehensive tool for price spike forecasting. In this paper, feature selection techniques are firstly described to identify the attributes relevant to the occurrence of spikes. A simple introduction to the classification techniques is given for completeness. Two algorithms: support vector machine and probability classifier are chosen to be the spike occurrence predictors and are discussed in details. Realistic market data are used to test the proposed model with promising results.

NMR study of the radiation-induced cross-linking of poly(tetrafluoroethylene-co-perfluoromethyl vinyl ether)

The gamma-radiolysis of poly(tetrafluoroethylene-co-perfuoromethyl vinyl ether) (TFE/PMVE) was investigated using solid state F-19 and C-13 NMR spectroscopy. Chain scission products identified in the polymer were saturated chain ends -CF2CF3 (G = 1.0), methyl ether end groups -CF2OCF3 (G = 0.9), acid end groups -CF2COOH (G = 0.5), and a small amount of terminal unsaturation -CF=CF2 (G = 0.2). A mechanism for the formation of these scission products was proposed and the G value for main chain scission, G(S), was determined to be 1.4. Cross-linking of TFE/PMVE was found to proceed via a Y-linking mechanism. The G value for cross-linking, G(X), was determined to be 0.9. A maximum of 0.2 mol % cross-links were formed under the experimental conditions.

A novel, open access, elliptical cross-section magnet for paediatric MRI

Almost all clinical magnetic resonance imaging systems are based on circular cross-section magnets. Recent advances in elliptical cross-section RF probe and gradient coil hardware raise the question of the possibility of using elliptical cross-section magnet systems, This paper presents a methodology for calculating rapidly the magnetic fields generated by a multi-turn coil of elliptical cross-section and incorporates this in a stochastic optimization method for magnet design, An open magnet system of elliptical cross-section is designed that both reduces the claustrophobia for the patients and allows ready access by attending physicians, The magnet system is optimized for paediatric use, The coil geometry produced by the optimization method has several novel features.

Type specific and genotype cross reactive B epitopes of the L1 protein of HPV16 defined by a panel of monoclonal antibodies

Mouse monoclonal antibodies (mAbs) were raised against the major capsid protein, L1, of human papillomavirus type 16 (HPV16), produced in Escherichia coil with the expression plasmid pTrcL1. Epitope specificity could be assigned to 11 of these 12 antibodies using a series of linear peptides and fusion proteins from HPV16. One mAb (MC53) recognized a novel linear epitope that appears to be unique to the HPV16 genotype. A further 11 mAbs were characterized as recognizing novel and previously defined linear and conformational epitopes shared among more than one HPV genotype. The apparently genotype specific mAb could be useful for the development of diagnostic tests for vegetative virus infection in clinical specimens. (C) 1998 Academic Press.

A simple design methodology for elliptical cross-section, transverse, asymmetric, head gradient coils for MRI

A simple design process for the design of elliptical cross-section, transverse gradient coils for use in magnetic resonance imaging (MRI) is presented. This process is based on a flexible stochastic optimization method and results in designs of high linearity and efficiency with low switching times. A design study of a shielded, transverse asymmetric elliptical coil set for use in neural imaging is presented and includes the minimization of the torques experienced by the gradient set.

Health-related quality of life in Australian children with asthma: lessons for the cross-cultural use of quality of life instruments

The development of Australian forms of the Childhood Asthma Questionnaires (CAQs) is reported. Focus group methods and psychometric analyses were used to establish the conceptual, semantic and technical equivalence of these forms with the UK versions. Both versions also provide for data collection from non-asthmatic youngsters. The internal consistency was found to be acceptable (Cronbach's alpha 0.52-0.90) and the health-related quality of life (HRQoL) scores were found to vary with asthma severity (p < 0.05). Comparison with the UK data revealed that the non-asthmatic scores were higher for Australian than British children (p < 0.001) but that the scores for children with asthma did not differ between the two countries. It was only In the Australian sample that the group with asthma reported impaired HRQoL when compared to their healthy peers. These findings were interpreted in the context of cultural expectations of life quality and conclusions are presented regarding the importance of the gap between experience and expectations. The difficulties raised by the developmental and cultural issues inherent in paediatric HRQoL research were discussed. Qual. Life Res. 7:409-419 (C) 1998 Kluwer Academic Publishers