Estimating vaccine coverage by using computer algebra

Email: altmannd{at}rki.deEmail: altmann{at}mathematik.hu-berlin.de The approach of N Gay for estimating the coverage of a multivalentvaccine from antibody prevalence data in certain age cohortsis complemented by using computer aided elimination theory ofvariables. Hereby, Gay's usage of numerical approximation canbe replaced by exact formulae which are surprisingly nice, too.     

Post-processing with computable error bounds for the finite element approximation of a nonlinear heat conduction problem

Email: ain{at}mcs.le.ac.uk Email: D.Kelly{at}unsw.edu.au^* Email: I.Sloan{at}unsw.edu.au^** Email: swang{at}cs.curtin.edu.au It is shown how the finite element approximation of a nonlinearheat conduction problem may be post-processed to yield enhancedapproximations to the solution and the flux at any point inthe domain. Sharp computable bounds on the accuracy of the post-processedapproximations are derived. A criterion is identified for guidingadaptive refinements of the finite element discretization. Anumerical example is given illustrating the theoretical results.     

Lattice Boltzmann simulations of complex fluids

Email: j.yeomansl{at}physics.oxford.ac.uk We discuss how lattice Boltzmann simulations can be used tomodel the self-assembly and flow properties of complex fluids.The aim is to include both the hydrodynamic (viscous, diffusive)and the equilibrium (phase ordering, interface profiles) fluidproperties. Examples include the decomposition of a dropletunder extensional flow and phase separation of binary and lamellarfluids.     

Numerical stabilization of polynomial and matrix

Email: jdhan{at}sia.cn Email: zhjiang{at}sia.cn Corresponding author Email: nyy{at}sia.cn Received on March 6, 2006; Accepted on September 4, 2006 In this paper, the conception of numerical stabilization, whichis related to mantissa digits of computer and dimensions ofsystem, is described; and several strategies for the numericalstabilization of polynomial and matrix are presented.     

The dynamic control of risk in optimised portfolios

E-mail: c.j.adcock{at}sheffield.ac.uk or adcock{at}intonet.co.uk This paper presents a theoretical treatment of the statisticalproperties of optimal portfolios. The results demonstrate theway in which the statistical properties of forecast returnsaffect the performance of optimised portfolios. The paper thenindicates how these methods may be used in principle to controlthe performance of an optimised portfolio. This is exemplifiedby an optimal portfolio of foreign currencies.     

Error estimates for the finite-element solution of an elliptic singularly perturbed problem

e-mail:ang{at}am.uni-erlangen.de The paper deals with an upwind discretization of finite-volume-typefor singularly perturbed elliptic boundary value problems. Stability,inverse monotonicity and convergence are considered. The mainobjective is to pursue the dependence of the error estimateon the perturbation parameter.     

Necessary conditions for infinite-horizon Volterra optimal control problems with time delay

Email: csfvega{at}dm.uba.ar Received on August 17, 2006; Accepted on September 8, 2007 Necessary conditions are proved for optimal control problemsinvolving an infinite horizon and terminal conditions at infinitywhose states are governed by Volterra integral equations withnon-linear time delay.     

Gearbox failure diagnosis based on vector autoregressive modelling of vibration data and dynamic principal component analysis

Email: mgt.liu{at}utoronto.ca Email: makis{at}mie.utoronto.ca Received on 4 August 2006. Accepted on 14 December 2006. An effective gearbox failure diagnosis helps prevent catastrophicgearbox failure and can contribute to significant economic benefits.This paper proposes a gear failure diagnosis method based onvector autoregressive modelling of high-frequency vibrationdata, dimensionality reduction applying dynamic principal componentanalysis (PCA) and condition monitoring using a multivariatecontrol chart. After extracting useful information from thevibration data obtained from distinct directions via dynamicPCA, a failure diagnosis scheme is implemented and tested usingreal gearbox vibration data. It is shown that the failure diagnosisscheme can indicate the gear teeth failure pattern when thegear is damaged, which has not been demonstrated in the previousstudies. For a comparison, PCA is applied to the same data set.The results show that the advantages of dynamic PCA over PCAfor failure diagnosis using vibration data consist not onlyin indicating more accurately the occurrence of incipient faultand the actual gear condition, but also in a much lower falsealarm rate.     

Estimates of the region of attraction of continuous-time cascade systems

Xiao-Song Yang Department of Mathematics, Huazhong University of Science and Technology Wuhan, Hubei 430074, People's Republic of China Huimin Li Departments of Mathematics and Control and Engineering, Huazhong University of Science and Technology Wuhan, Hubei 430074, People's Republic of China Corresponding author. Email: yangxs{at}cqupt.edu.cn Received on May 1, 2006; Accepted on October 6, 2006 In this paper, we first present some new sufficient conditionsfor global asymptotic stability of continuous-time cascade systems.Then, we give some detailed results on the region of attractionof continuous-time cascade systems. Some examples are presentedto illustrate these results.     

Multiple criteria models for evaluation of competitive bids

Email: slliu{at}mail.east.net.cnAuthor for correspondence Email: mskklai{at}cityu.edu.hkEmail: sywang{at}iss02.iss.ac.cn In this paper, two general bidding systems are proposed to aidan owner to select one contractor based on multiple-attributedecision making models. They are named the general multiple-attributelower-bidder system and the general multiple-attribute average-bid system and are an extension (and refreshment) of the multiparameterbidding system and the average-bid method, respectively. Thepreference of the owner over the criteria (or attributes) relevantto construction work award is incorporated into the two newsystems if necessary and required by the owner. The values ofthe attributes (excluding the cost) required to be determinedby the owner in the multiparameter bidding system are not necessarilydetermined in the general multiple-attribute lower-bidder system.This reduces the burden to the owner. The two new bidding systemsare demonstrated via an example, and are compared with the multiparameterbidding system and the average-bid method. The comparisons showthat the preference of the owner in regard to the attributesrelevant to selection of contractors has a significant effecton bid evaluation. The two new systems preserve the form ofthe competitive bidding concept and can easily be applied topractice.     

An LMI-based approach for robust stabilization of time delay systems containing saturating actuators

Email: elhaous_fati{at}yahoo.fr Corresponding author. Email: elh_tissir{at}yahoo.fr Received on September 8, 2005; Accepted on July 24, 2006 This paper deals with the problem of robust stabilization foruncertain systems with input saturation and time delay in thestate. The parameter uncertainties are time-varying and unknownbut are norm bounded. Sufficient conditions obtained via a linearmatrix inequality formulation are stated to guarantee the localstabilization. The method of synthesis consists in determiningsimultaneously a state feedback control law and an associateddomain of safe admissible states for which the stability ofthe closed-loop system is guaranteed when control saturationseffectively occur. Numerical examples are used to demonstratethe effectiveness of the proposed design technique.     

Estimation of nonlinear systems without a priori structural information and its application in Hammerstein model identification with dynamic nonlinearities

Email: er-wei-bai{at}uiowa.edu Received on July 30, 2005; Accepted on July 23, 2006 In the paper, we discuss identification of a nonlinear systemwithout structural information and propose two methods, thekernel method and the orthonormal basis method. The convergenceresults are established for both methods without a priori structuralinformation. We then apply the results to identification ofHammerstein models with an unknown dynamic nonlinearity. Itis also shown that identification of the linear part in Hammersteinmodels is possible with no knowledge of the dynamic nonlinearity.     

The Convergence of Operator Approximations at Turning Points

Present address: Department of Mathematics, University of Reading, Reading RG6 2AX. We consider the convergence of solution curves of approximationsto parameter-dependent operator equations of the form G(, x)= 0. Provided G_x(, x) remains non-singular this problem is cateredfor by a simple extension to standard theory. In this paper,however, attention is concentrated on solution curves throughcertain singular points (⁰, x⁰), and the main result is thatconvergence depends on consistency and stability results forthe linear eigenvalue problem G_x(⁰, x⁰)0 = 0.     

Computation and parametrization of periodic and connecting orbits

Email: g.moore{at}ma.ic.ac.uk or na.gmoore New algorithms for the computation of periodic and connectingorbits of autonomous differential equations are developed. Previousmethods have parametrized these curves by the independent timevariable, but our procedure is based on the canonical arclengthparametrization.     

End Conditions for Interpolatory Quintic Splines

Present address: Department of Mathematics, University of Tabriz, Tabriz, Iran. Accurate end conditions are derived for quintic spline interpolationat equally spaced knots. These conditions are in terms of availablefunction values at the knots and lead to O(h⁶) convergence uniformlyon the interval of interpolation.     

A calibration algorithm for simulation-based pricing models

Don L. McLeish Department of Statistics and Actuarial Science, University of Waterloo, Waterloo,Ontario N2L 3G1, Canada Corresponding author. Email: mreesor{at}uwo.ca Email: dlmcleis{at}math.uwaterloo.ca Received on 20 February 2007. Accepted on 15 March 2007. Derivative pricing models require calibration to market conditionsin order to determine quantities such as hedging positions andthe prices of other instruments. For stochastic models and/orcomplex derivatives whose prices are not of an analytic form,prices must be computed via simulation and the calibration ismore difficult. A method to facilitate the calibration of simulation-basedpricing models is proposed. The algorithm uses a statisticallydesigned experiment to select the points at which simulationsare performed. The method is quite general as it is independentof the stochastic model for the underlying and allows for differentobjective functions that can incorporate information such asopen interest and volume. Furthermore, market prices from European-and/or American-style derivatives covering a range of strikeprices and maturities can be handled by this technique. Examplesshow the procedure is successful at calibrating well-known assetpricing models to both simulated and market data.     

Controllability and observability of impulsive hybrid dynamic systems

Corresponding author, Email: cbsoh{at}auto.eee.ntu.ac.sg This paper considers the controllability and observability ofhybrid dynamic systems with impulsive switching of the otherwisecontinuously evolving state. It derives necessary and sufficientconditions for impulsive hybrid dynamic systems to be controllableand observable.     

Shape-preserving interpolation in R3

Received on 7 September 1993. Revised on 20 February 1996. In this paper we develop and test a simple automatic algorithmfor constructing curvature- and torsion-continuous interpolantsin R³ which are shape-preserving in a sense that takes intoaccount the convexity, torsion, coplanarity and collinearityinformation contained in the polygonal line connecting the interpolationpoints. This algorithm exploits the asymptotic properties ofa family of C² polynomial splines of non-uniform degree, whichtend to the above-mentioned polygonal line, as the segment degreestend to infinity. The performance of the algorithm is testedfor a three-dimensional data set, containing coplanar and collineargroups of points as well. E-mail address: kaklis{at}deslab.ntua.gr Tel.: +30-1-7721419Telefax: +30-1-7721408 E-mail address: menelaos{at}sccm.stanford.edu     

Therapy burden, drug resistance, and optimal treatment regimen for cancer chemotherapy

Email: boldrini{at}ime.unicamp.brAuthor to whom correspondence should be addressed. Email: michel{at}Incc.br Three nonlinear models of tumour cell growth under continuousdelivery of cycle nonspecific anticancer agents are studied.A dynamical optimization problem with the objective of minimizingthe final level of tumour cells is posed for these mathematicalsetups. The simplest setup does not possess toxicity constraints,whereas the other setups contain a dynamical equation describingthe therapy burden as a toxicity criterion. In addition, thethird setting contains the dynamics of drug resistant cells.A discussion conceming the optimal strategies of the respectivemodels is performed.     

Properties of the weighted logarithmic matrix norms

Mingzhu Liu Department of Mathematics, Harbin Institute of Technology, Harbin 150001, China Email: ghu{at}hit.edu.cn, ghuca{at}yahoo.ca Email: mzliu{at}hit.edu.cn Received on January 31, 2006; Accepted on December 9, 2006 In this paper, we are concerned with the properties of the weightedlogarithmic matrix norms. A relation between the elliptic logarithmicmatrix norm and the weighted logarithmic matrix norm is given.Based on Lyapunov equations, two weighted logarithmic matrixnorms are constructed which are less than 1-logarithmic matrixnorm and -logarithmic matrix norm, respectively. Then, an iterativescheme is presented to obtain the logarithmically -efficientmatrix norm. Numerical examples are given to illustrate theresults.