Optimisation Problems in Wireless Sensor Networks : Local Algorithms and Local Graphs

This thesis studies optimisation problems related to modern large-scale distributed systems, such as wireless sensor networks and wireless ad-hoc networks. The concrete tasks that we use as motivating examples are the following: (i) maximising the lifetime of a battery-powered wireless sensor network, (ii) maximising the capacity of a wireless communication network, and (iii) minimising the number of sensors in a surveillance application. A sensor node consumes energy both when it is transmitting or forwarding data, and when it is performing measurements. Hence task (i), lifetime maximisation, can be approached from two different perspectives. First, we can seek for optimal data flows that make the most out of the energy resources available in the network; such optimisation problems are examples of so-called max-min linear programs. Second, we can conserve energy by putting redundant sensors into sleep mode; we arrive at the sleep scheduling problem, in which the objective is to find an optimal schedule that determines when each sensor node is asleep and when it is awake. In a wireless network simultaneous radio transmissions may interfere with each other. Task (ii), capacity maximisation, therefore gives rise to another scheduling problem, the activity scheduling problem, in which the objective is to find a minimum-length conflict-free schedule that satisfies the data transmission requirements of all wireless communication links. Task (iii), minimising the number of sensors, is related to the classical graph problem of finding a minimum dominating set. However, if we are not only interested in detecting an intruder but also locating the intruder, it is not sufficient to solve the dominating set problem; formulations such as minimum-size identifying codes and locating dominating codes are more appropriate. This thesis presents approximation algorithms for each of these optimisation problems, i.e., for max-min linear programs, sleep scheduling, activity scheduling, identifying codes, and locating dominating codes. Two complementary approaches are taken. The main focus is on local algorithms, which are constant-time distributed algorithms. The contributions include local approximation algorithms for max-min linear programs, sleep scheduling, and activity scheduling. In the case of max-min linear programs, tight upper and lower bounds are proved for the best possible approximation ratio that can be achieved by any local algorithm. The second approach is the study of centralised polynomial-time algorithms in local graphs these are geometric graphs whose structure exhibits spatial locality. Among other contributions, it is shown that while identifying codes and locating dominating codes are hard to approximate in general graphs, they admit a polynomial-time approximation scheme in local graphs.

Spatiotemporal aspects of Hendra Virus infection in Pteropid Bats (Flying-Foxes) in Eastern Australia

Hendra virus (HeV) causes highly lethal disease in horses and humans in the eastern Australian states of Queensland (QLD) and New South Wales (NSW), with multiple equine cases now reported on an annual basis. Infection and excretion dynamics in pteropid bats (flying-foxes), the recognised natural reservoir, are incompletely understood. We sought to identify key spatial and temporal factors associated with excretion in flying-foxes over a 2300 km latitudinal gradient from northern QLD to southern NSW which encompassed all known equine case locations. The aim was to strengthen knowledge of Hendra virus ecology in flying-foxes to improve spillover risk prediction and exposure risk mitigation strategies, and thus better protect horses and humans. Monthly pooled urine samples were collected from under roosting flying-foxes over a three-year period and screened for HeV RNA by quantitative RT-PCR. A generalised linear model was employed to investigate spatiotemporal associations with HeV detection in 13,968 samples from 27 roosts. There was a non-linear relationship between mean HeV excretion prevalence and five latitudinal regions, with excretion moderate in northern and central QLD, highest in southern QLD/northern NSW, moderate in central NSW, and negligible in southern NSW. Highest HeV positivity occurred where black or spectacled flying-foxes were present; nil or very low positivity rates occurred in exclusive grey-headed flying-fox roosts. Similarly, little red flying-foxes are evidently not a significant source of virus, as their periodic extreme increase in numbers at some roosts was not associated with any concurrent increase in HeV detection. There was a consistent, strong winter seasonality to excretion in the southern QLD/northern NSW and central NSW regions. This new information allows risk management strategies to be refined and targeted, mindful of the potential for spatial risk profiles to shift over time with changes in flying-fox species distribution.

Iterative solution of a class of linear equations with application to reconstruction of three-dimensional object arrays

An iterative algorithm baaed on probabilistic estimation is described for obtaining the minimum-norm solution of a very large, consistent, linear system of equations AX = g where A is an (m times n) matrix with non-negative elements, x and g are respectively (n times 1) and (m times 1) vectors with positive components.

Receipts and Bills of K. K. S. I.--General and unspecified

Digital image

Time-domain criteria for theL_{2}-stability of nonstationary feedback systems

Criteria for the L2-stability of linear and nonlinear time-varying feedback systems are given. These are conditions in the time domain involving the solution of certain associated matrix Riccati equations and permitting the use of a very general class of L2-operators as multipliers.

Transient response of coupled non-linear non-conservative systems

This paper deals with an approximate method of analysis of non-linear, non-conservative systems of two degrees of freedom. The approximate equations for amplitude and phase are obtained by a generalized averaging technique based on the ultraspherical polynomial approximation. The method is illustrated by an example of a spring-mass-damper system.

A simple non-linear D/A converter

A simple generalized technique for realizing a non-linear digital to analogue converter (N-DAC), based on the principles of ' segment of equal digital interval ' is described. The simplicity of the proposed technique is demonstrated by realizing an N-DAC having a square law transfer function.

Structural assignment of monothiocarbonohydrazones by 1H NMR spectroscopy

Analysis of the 1H NMR spectra of several monothiocarbonohydrazones, some of them synthesized for the first time, shows that they exist as two structural isomers. Whereas, in general, the derivatives of aromatic aldehydes conform to a linear structure, the aliphatic carbonyl derivatives conform to heterocyclic or linear structures, depending on the size of the substituent groups. This dual behaviour is explained in terms of extended conjugation and steric hindrance.

Non-linear response of a gyrostabilized platform to transient input

In this paper the response of a gyrostabilized platform subjected to a transient torque has been analyzed by deliberately introducing non-linearity into the command of the servomotor. The resulting third-order non-linear differential equation has been solved by using a transformation technique involving the displacement variable. The condition under which platform oscillations may grow with time or die with time are important from the point of view of platform stabilization. The effect of deliberate addition of non-linearity with a view to achieving the ideal response—that is, to bring the platform back to its equilibrium position with as few oscillations as possible—has been investigated. The conditions under which instability may set in on account of the small transient input and small non-linearity has also been discussed. The analysis is illustrated by means of a numerical example. The results of analysis are compared with numerical solutions obtained on a digital computer.

Constrained linear filter and its relation to singular optimal control

This paper presents an analysis of an optimal linear filter in the presence of constraints on the moan squared values of the estimates from the viewpoint of singular optimal control. The singular arc has been shown to satisfy the generalized Legcndrc-Clebseh condition and Jacobson's condition. Both the cases of white measurement noise and coloured measurement noise are considered. The constrained estimate is shown to be a linear transformation of the unconstrained Kalman estimate.

A note on synthesis of the general, two-degree-of-freedom linkage

A graphical method is presented for synthesis of the general, seven-link, two-degree-of-freedom plane linkage to generate functions of two variables. The method is based on point position reduction and permits synthesis of the linkage to satisfy upto six arbitrarily selected precision positions.

Random vibration of a second order non-linear elastic system

A method is presented for obtaining, approximately, the response covariance and probability distribution of a non-linear oscillator under a Gaussian excitation. The method has similarities with the hierarchy closure and the equivalent linearization approaches, but is different. A Gaussianization technique is used to arrive at the output autocorrelation and the input-output cross-correlation. This along with an energy equivalence criterion is used to estimate the response distribution function. The method is applicable in both the transient and steady state response analysis under either stationary or non-stationary excitations. Good comparison has been observed between the predicted and the exact steady state probability distribution of a Duffing oscillator under a white noise input.

Ultraspherical polynomials approach to the study of third-order non-linear systems

In this study, the Krylov-Bogoliubov-Mitropolskii-Popov asymptotic method is used to determine the transient response of third-order non-linear systems. Instead of averaging the non-linear functions over a cycle, they are expanded in ultraspherical polynomials and the constant term is retained. The resulting equations are solved to obtain the approximate solution. A numerical example is considered and the approximate solution is compared with the digital solution. The results show that there is good agreement between the two values.

Study of third-order non-linear systems- Variation of parameters approach

In this paper, the transient response of a third-order non-linear system is obtained by first reducing the given third-order equation to three first-order equations by applying the method of variation of parameters. On the assumption that the variations of amplitude and phase are small, the functions are expanded in ultraspherical polynomials. The expansion is restricted to the constant term. The resulting equations are solved to obtain the response of the given third-order system. A numerical example is considered to illustrate the method. The results show that the agreement between the approximate and digital solution is good thus vindicating the approximation.