Suppression of spurious intermediate frequency modes in under-integrated elements by combined stiffness/viscous stabilization

Solutions employing perturbation stiffness or viscous hourglass control with one-point quadrature finite elements often exhibit spurious modes in the intermediate frequency range. These spurious frequencies are demonstrated in several examples and their origin is explained. Then it is shown that by critically damping the hourglass modes, these spurious mid-range frequency modes can be suppressed. Estimates of the hourglass frequency and damping coefficients are provided for the plane 4-node quadrilateral and a 4-node shell element. Results are presented that show almost complete annihilation of spurious intermediate frequency modes for both linear and non-linear problems. Copyright (c) 2005 John Wiley & Sons, Ltd.

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.

Least energy solutions of a critical Neumann problem with a weight

We investigate the effect of the coefficient of the critical nonlinearity for the Neumann problem on the existence of least energy solutions. As a by-product we establish a Sobolev inequality with interior norm.

Existence of Multiple Solutions for Second Order Boundary Value Problems

We give conditions on f involving pairs of lower and upper solutions which lead to the existence of at least three solutions of the two point boundary value problem y" + f(x, y, y') = 0, x epsilon [0, 1], y(0) = 0 = y(1). In the special case f(x, y, y') = f(y) greater than or equal to 0 we give growth conditions on f and apply our general result to show the existence of three positive solutions. We give an example showing this latter result is sharp. Our results extend those of Avery and of Lakshmikantham et al.

Nodal solutions for nonlinear eigenvalue problems

We are concerned with determining values of, for which there exist nodal solutions of the boundary value problems u" + ra(t) f(u) = 0, 0 < t < 1, u(O) = u(1) = 0. The proof of our main result is based upon bifurcation techniques.

Periodic or Bounded Solutions of Carathéodory Systems of Ordinary Differential Equations

In this paper we extend the guiding function approach to show that there are periodic or bounded solutions for first order systems of ordinary differential equations of the form x1 =f(t,x), a.e. epsilon[a,b], where f satisfies the Caratheodory conditions. Our results generalize recent ones of Mawhin and Ward.

Useful representations of series solutions for transport problems

Simple techniques are presented for rearrangement of an infinite series in a systematic way such that the convergence of the resulting expression is accelerated. These procedures also allow calculation of required boundary derivatives. Several examples of conduction and diffusion-reaction problems illustrate the methods.

The transient response of a CSTR containing porous catalyst pellets. Asymptotic solutions

Transient response of a CSTR containing porous catalyst pellets is analyzed theoretically using a matched asymptotic expansion technique. This singular perturbation technique leads directly to the conditions under which the minima of reservoir concentration occur. The existence of the minima may be used to estimate some inherent parameters of the catalyst pellet.

Approximate analytical solutions for porous catalysts with nonuniform activity

Using a novel finite integral transform technique, the problem of diffusion and chemical reaction in a porous catalyst with general activity profile is investigated theoretically. Analytical expressions for the effectiveness factor are obtained for pth order and Michaelis-Menten kinetics. Perturbation methods are employed to provide useful asymptotic solutions for large or small values of Thiele modulus and Biot number.

Evaluating Flexible Transport Solutions

Flexible transport services (FTS) have been of increasing interest in developed countries as a bridge between the use of personal car travel and fixed route transit services. This paper reports on findings from a recent study in Queensland Australia, which identified lessons from an international review and implications for Australia. Potential strategic directions, including a vision, mission, key result areas, strategies, and identified means of measuring performance are described. Evaluation criteria for assessing flexible transport proposals were developed, and approaches to identifying and assessing needs and demands outlined. The use of emerging technologies is also a key element of successful flexible transport services.

Control of nutrient solutions for studies at high pH

Little is known about factors effecting plant growth at high pH, with research often limited by the inability to separate nutritional deficiencies and HCO3- toxicity from the direct limitations imposed under high pH conditions. Various methods of controlling dilute nutrient solutions for studies at high pH were investigated. For short-term studies, it was found that a solution without Cu, Fe, Mn and Zn and aerated with CO2 depleted air, greatly reduced nutrient precipitation at high pH, thus eliminating nutritional differences between treatments. Manual pH adjustment and the use of ion exchange resins as pH buffers were unsuitable methods of pH control. However, pH control by automated titration had little effect on solution composition while maintaining constant pH. The system described is suitable for studies in which the pH of the bulk nutrient solution must be maintained. The system was used to examine OH- toxicity in mungbeans (Vigna radiata (L.) Wilczek cv. Emerald), with root length reduced at a bulk solution pH of 8.5 and greater.

The anodic dissolution of magnesium in chloride and sulphate solutions

The electrochemical behaviour of magnesium was studied in representative chloride and sulphate solutions including NaCl, Na2SO4, NaOH and their mixed solutions, HCl, and H2SO4: (1) by measuring electrochemical polarisation curves, (2) by using electrochemical impedance spectroscopy (EIS), and (3) by simultaneous measurement of hydrogen gas evolution and measurement of magnesium dissolution rates using inductively coupled plasma atomic emission spectrophotometry (ICPEAS). These experiments showed that a partially protective surface film played an important role in the dissolution of magnesium in chloride and sulphate solutions. Furthermore, the experimental data were consistent with the involvement of the intermediate species Mg+ in magnesium dissolution at film imperfections or on a film-free surface. At such sites, magnesium first oxidised electrochemically to the intermediate species Mg+, and then the intermediate species chemically reacted with water to produce hydrogen and Mg2+. The presence of Cl- ions increased the film free area, and accelerated the electrochemical reaction rate from magnesium metal to Mg+. (C) 1997 Elsevier Science Ltd.

Improving wheat simulation capabilities in Australia from a cropping systems perspective - III. The integrated wheat model (I_WHEAT)

Previous work has identified several short-comings in the ability of four spring wheat and one barley model to simulate crop processes and resource utilization. This can have important implications when such models are used within systems models where final soil water and nitrogen conditions of one crop define the starting conditions of the following crop. In an attempt to overcome these limitations and to reconcile a range of modelling approaches, existing model components that worked demonstrably well were combined with new components for aspects where existing capabilities were inadequate. This resulted in the Integrated Wheat Model (I_WHEAT), which was developed as a module of the cropping systems model APSIM. To increase predictive capability of the model, process detail was reduced, where possible, by replacing groups of processes with conservative, biologically meaningful parameters. I_WHEAT does not contain a soil water or soil nitrogen balance. These are present as other modules of APSIM. In I_WHEAT, yield is simulated using a linear increase in harvest index whereby nitrogen or water limitations can lead to early termination of grainfilling and hence cessation of harvest index increase. Dry matter increase is calculated either from the amount of intercepted radiation and radiation conversion efficiency or from the amount of water transpired and transpiration efficiency, depending on the most limiting resource. Leaf area and tiller formation are calculated from thermal time and a cultivar specific phyllochron interval. Nitrogen limitation first reduces leaf area and then affects radiation conversion efficiency as it becomes more severe. Water or nitrogen limitations result in reduced leaf expansion, accelerated leaf senescence or tiller death. This reduces the radiation load on the crop canopy (i.e. demand for water) and can make nitrogen available for translocation to other organs. Sensitive feedbacks between light interception and dry matter accumulation are avoided by having environmental effects acting directly on leaf area development, rather than via biomass production. This makes the model more stable across environments without losing the interactions between the different external influences. When comparing model output with models tested previously using data from a wide range of agro-climatic conditions, yield and biomass predictions were equal to the best of those models, but improvements could be demonstrated for simulating leaf area dynamics in response to water and nitrogen supply, kernel nitrogen content, and total water and nitrogen use. I_WHEAT does not require calibration for any of the environments tested. Further model improvement should concentrate on improving phenology simulations, a more thorough derivation of coefficients to describe leaf area development and a better quantification of some processes related to nitrogen dynamics. (C) 1998 Elsevier Science B.V.