Optimisation problems in wireless sensor networks

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.

Magnetic, electric, and dielectric properties of FeCo alloy nanoparticles dispersed in amorphous matrix

Nanocrystalline Fe53Co47 alloy was synthesized by a single-step transmetallation chemical method at room temperature. The Fe53Co47 alloy nanoparticles of 77 and 47 wt% were dispersed in silica matrix by the sol-gel process using tetraethyl orthosilcate. Structural studies reveal that the as-prepared alloy powders are in bcc phase and silica is in an amorphous state. The phase-transition temperature and Mossbauer spectra analysis of the Fe-Co alloy establishes the homogeneous alloy formation. A saturation magnetization of 218 emu/g was obtained for pure FeCo alloy at room temperature. Scanning electron microscopic analysis demonstrates the hollow-sphere morphology for FeCo alloy particles. Magnetic nanocomposite consisting of 47 wt% FeCo-silica shows enhanced thermal stability over the native FeCo alloy. Electrical and dielectric properties of 47 wt% FeCo-silica nanocomposites were investigated as a function of frequency and temperature. It was found that the dielectric constants and dielectric loss were stable throughout the measured temperature (310-373 K). Our results indicate that FeCo-silica nanocomposite is a promising candidate for high-frequency applications. (C) 2010 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

A Smooth Finite Element Method Based on Reproducing Kernel DMS-Splines

The element-based piecewise smooth functional approximation in the conventional finite element method (FEM) results in discontinuous first and higher order derivatives across element boundaries Despite the significant advantages of the FEM in modelling complicated geometries, a motivation in developing mesh-free methods has been the ease with which higher order globally smooth shape functions can be derived via the reproduction of polynomials There is thus a case for combining these advantages in a so-called hybrid scheme or a `smooth FEM' that, whilst retaining the popular mesh-based discretization, obtains shape functions with uniform C-p (p >= 1) continuity One such recent attempt, a NURBS based parametric bridging method (Shaw et al 2008b), uses polynomial reproducing, tensor-product non-uniform rational B-splines (NURBS) over a typical FE mesh and relies upon a (possibly piecewise) bijective geometric map between the physical domain and a rectangular (cuboidal) parametric domain The present work aims at a significant extension and improvement of this concept by replacing NURBS with DMS-splines (say, of degree n > 0) that are defined over triangles and provide Cn-1 continuity across the triangle edges This relieves the need for a geometric map that could precipitate ill-conditioning of the discretized equations Delaunay triangulation is used to discretize the physical domain and shape functions are constructed via the polynomial reproduction condition, which quite remarkably relieves the solution of its sensitive dependence on the selected knotsets Derivatives of shape functions are also constructed based on the principle of reproduction of derivatives of polynomials (Shaw and Roy 2008a) Within the present scheme, the triangles also serve as background integration cells in weak formulations thereby overcoming non-conformability issues Numerical examples involving the evaluation of derivatives of targeted functions up to the fourth order and applications of the method to a few boundary value problems of general interest in solid mechanics over (non-simply connected) bounded domains in 2D are presented towards the end of the paper

Enhancement of fatigue life of Ni-Ti-Fe shape memory alloys by thermal cycling

The effect of thermal cycling on the load-controlled tension-tension fatigue behavior of a Ni-Ti-Fe shape memory alloy (SMA) at room temperature was studied. Considerable strain accumulation was observed to occur in this alloy under both quasi-static and cyclic loading conditions. Though, in all cases, steady-state is reached within the first 50-100 cycles, the accumulated steady-state strain, epsilon(p.ss), is much smaller in thermally cycled alloy. As a result, the fatigue performance of them was found to be significantly enhanced vis-a-vis the as-solutionized alloy. Furthermore, under load-controlled conditions, the fatigue life of Ni-Ti-Fe alloys was found to be exclusively dependent on epsilon(p.ss). Observations made by profilometry and differential scanning calorimetry (DSC) indicate that the 200-500% enhancement in fatigue life of thermally cycled alloy is due to the homogeneous distribution of the accumulated fatigue strain. (C) 2010 Elsevier B.V. All rights reserved.

A homotopy approach for stabilizing single-input systems with control structure constraints

A linear state feedback gain vector used in the control of a single input dynamical system may be constrained because of the way feedback is realized. Some examples of feedback realizations which impose constraints on the gain vector are: static output feedback, constant gain feedback for several operating points of a system, and two-controller feedback. We consider a general class of problems of stabilization of single input dynamical systems with such structural constraints and give a numerical method to solve them. Each of these problems is cast into a problem of solving a system of equalities and inequalities. In this formulation, the coefficients of the quadratic and linear factors of the closed-loop characteristic polynomial are the variables. To solve the system of equalities and inequalities, a continuous realization of the gradient projection method and a barrier method are used under the homotopy framework. Our method is illustrated with an example for each class of control structure constraint.

Absorption of Electromagnetic Waves in Astrophysical Plasmas

We study parametric Decay Instabilities (PDI) using the kinetic description, in the homogeneous and unmagnetic plasmas. These instabilities cause anomalous absorption of the incident electromagnetic (e.m) radiations. The maximum plasma temperatures reached are functionas of luminocity of the non-thermal radio radiation and the plasma parameters.

An Algebraic Implicitization and Specialization of Minimum KL-Divergence Models

In this paper we study representation of KL-divergence minimization, in the cases where integer sufficient statistics exists, using tools from polynomial algebra. We show that the estimation of parametric statistical models in this case can be transformed to solving a system of polynomial equations. In particular, we also study the case of Kullback-Csiszar iteration scheme. We present implicit descriptions of these models and show that implicitization preserves specialization of prior distribution. This result leads us to a Grobner bases method to compute an implicit representation of minimum KL-divergence models.

Singlet quenching of tetraphenylporphyrin and its metal derivatives by iron(III) coordination compounds

The quenching of fluorescence of the free-base tetraphenylporphyrin, H2TPP, and its metal derivatives, MgTPP and ZnTPP by diverse iron(III) complexes, [Fe(CN)6]3−, Fe(acac)3, [Fe(mnt)2]−, Fe(Salen)Cl, [Fe4S4(SPh)4]2−·, FeTPPCl and [Fe(Cp)2]+ has been studied both in homogeneous medium (CH3CN) and micellar media, SDS., CTAB and Triton X-100. The quenching efficiencies are analysed in terms of diffusional encounters and it has been possible to separate static quenching components. The quenching constants are dependent on the nature of the ligating atoms around iron(III) and also on the extent of π-conjugation of the ligands. The quenching mechanism has been investigated using steady-state irradiation experiments. Evidence for oxidative quenching by iron(III) complexes was obtained, though the spin multiplicities of the excited electronic states of iron(III) complexes permit both energy and electron transfer mechanisms for quenching of the singlet excited state of the porphyrins.

Radio wave heating of astrophysical plasmas

The coherent plasma process such as parametric decay instability (PDI) has been applied to a homogeneous and unmagnetized plasma. These instabilities cause anomalous absorption of strong electromagnetic radiation under specific conditions of energy and momentum conservation and thus cause anomalous heating of the plasma. The maximum plasma temperatures reached are functions of luminosity of the radio radiation and plasma parameters. We believe that these processes may be taking place in many astrophysical objects. Here, the conditions in the sources 3C 273, 3C 48 and Crab Nebula are shown to be conducive to the excitation of PDI. These processes also contribute towards the absorption of 21cm radiation

Purification and functional characteristics of an endocellulase from Chaetomium thermophile var. coprophile

An endocellulase (1→4)-β-d-glucan 4-glucanohydrolase was isolated from the culture filtrates of Chaetomium thermophile. The enzyme was homogeneous by PAGE and SDS-PAGE. The molecular weight was 36 000 by SDS-PAGE and 38 000 by gel filtration. It was a glycoprotein. From the amino acid composition, it was found to be rich in glycine, threonine, and aspartic and glutamic acids, but contained only low proportions of histidine and sulfur-containing amino acids. It was optimally active at pH 6 and at 60°. The enzyme did not hydrolyze cellobiose and cellotriose, but hydrolyzed cello-tetraose, -pentaose, and -hexaose at comparable rates. It was specific for molecules containing β-(1→4) linkages. It showed high activity towards amorphous cellulose, and the reaction products contained cellobiose to cellopentaose, showing that it effects random cleavage of cellulose.

A sufficient criterion for Kelvin–Helmholtz instability in the magnetopause boundary‐layer region

The Kelvin–Helmholtz instability has been investigated for the magnetopause boundary‐layer region by the linearized method. The plasma in magnetosheath and magnetopause is assumed to be semi‐infinitely extended homogeneous, nondissipative, and incompressible. It is observed that, if one relation of two plasma speeds on the two sides of the magnetopause, wave number, and boundary‐layer thickness exceeds a certain threshold, the instability sets in. This new analytically sufficient criterion for excitation of instability in the three‐layer plasma flow generalizes the corresponding Chandrasekhar’s instability criterion for two‐layer plasma flow. The known results have been recovered and modified, the new results have been discovered. It is proved that the velocity threshold for the onset of instability is low when the magnitude of the magnetosheath and boundary‐layer region magnetic field and the angle between them are small. Also the threshold depends on the direction of plasma flow. The following results are observed numerically. The growth of the instability is sensitive to the magnetic field direction in the magnetosheath. A slight variation in the magnetic field direction in the second region can substantially change the relative velocity threshold for instability. When the ratio of the density of the second and third layer (magnetosphere) increases or that of the first and third layer decreases, the threshold decreases. Apart from this a necessary criterion for instability is obtained for a particular case.

A Circuit-Based Proof of Toda′s Theorem

We present a simple proof of Toda′s result (Toda (1989), in "Proceedings, 30th Annual IEEE Symposium on Foundations of Computer Science," pp. 514-519), which states that circled plus P is hard for the Polynomial Hierarchy under randomized reductions. Our approach is circuit-based in the sense that we start with uniform circuit definitions of the Polynomial Hierarchy and apply the Valiant-Vazirani lemma on these circuits (Valiant and Vazirani (1986), Thoeret. Comput. Sci.47, 85-93).

A note on resolving infeasibility in linear programs by constraint relaxation

We study the problem of finding a set of constraints of minimum cardinality which when relaxed in an infeasible linear program, make it feasible. We show the problem is NP-hard even when the constraint matrix is totally unimodular and prove polynomial-time solvability when the constraint matrix and the right-hand-side together form a totally unimodular matrix.

Minimizing total completion time on a batch processing machine with job families

We consider the problem of minimizing the total completion time on a single batch processing machine. The set of jobs to be scheduled can be partitioned into a number of families, where all jobs in the same family have the same processing time. The machine can process at most B jobs simultaneously as a batch, and the processing time of a batch is equal to the processing time of the longest job in the batch. We analyze that properties of an optimal schedule and develop a dynamic programming algorithm of polynomial time complexity when the number of job families is fixed. The research is motivated by the problem of scheduling burn-in ovens in the semiconductor industry

Housing the skilled migrants in the Helsinki Metropolitan Area : International attractiveness of housing, neighbourhoods and the city region

The aim of this thesis is to examine the skilled migrants’ satisfaction with the Helsinki Metropolitan Area. The examination is executed on three scales: housing, neighbourhoods and the city region. Specific focus is on the built environment and how it meets the needs of the migrants. The empirical data is formed of 25 semi-structured interviews with skilled migrants and additionally 5 expert interviews. Skilled and educated workforce is an increasingly important resource in the new economy, and cities are competing globally for talented workers. With aging population and a need to develop its innovational structure, the Helsinki Metropolitan Area needs migrant workforce. It has been stated that quality of place is a central factor for skilled migrants when choosing where to settle, and from this perspective their satisfaction with the region is significant. In housing, the skilled migrants found the price-quality ratio and the general sizes of apartments inadequate. The housing market is difficult for the migrants to approach, since they often do not speak Finnish and there are prejudices towards foreigners. The general quality of housing was rated well. On the neighbourhood level, the skilled migrants had settled in residential areas which are also preferred by the Finnish skilled workers. While the migrants showed suburban orientation in their settlement patterns, they were not concentrated in the suburban areas which host large shares of traditional immigrant groups. Migrants were usually satisfied with their neighbourhoods; however, part of the suburban dwellers were unsatisfied with the services and social life in their neighbourhoods. Considering the level of the city region, the most challenging feature for the skilled migrants was the social life. The migrants felt that the social environment is homogeneous and difficult to approach. The physical environment was generally rated well, the most appreciated features being public transportation, human scale of the Metropolitan Helsinki, cleanliness, and the urban nature. Urban culture and services were seen good for the city region’s size, but lacking in international comparison.