Raman spectroscopy of gallium based hydrotalcites of formula Mg6Ga2(CO3)(OH)16•4H2O

Insight into the unique structure of hydrotalcites has been obtained using Raman spectroscopy. Gallium containing hydrotalcites of formula Mg4Ga2(CO3)(OH)12•4H2O (2:1 Ga-HT) to Mg8Ga2(CO3)(OH)20•4H2O (4:1 Ga-HT) have been successfully synthesised and characterized by X-ray diffraction and Raman spectroscopy. The d(003) spacing varied from 7.83 Å for the 2:1 hydrotalcite to 8.15 Å for the 3:1 gallium containing hydrotalcite. Raman spectroscopy complemented with selected infrared data has been used to characterise the synthesised gallium containing hydrotalcites of formula Mg6Ga2(CO3)(OH)16•4H2O. Raman bands observed at around 1046, 1048 and 1058 cm-1 were attributed to the symmetric stretching modes of the (CO32-) units. Multiple ν3 CO32- antisymmetric stretching modes are found at around 1346, 1378, 1446, 1464 and 1494 cm-1. The splitting of this mode indicates the carbonate anion is in a perturbed state. Raman bands observed at 710 and 717 cm-1 assigned to the ν4 (CO32-) modes support the concept of multiple carbonate species in the interlayer.

Bayesian hybrid algorithms and models : implementation and associated issues

This thesis addresses computational challenges arising from Bayesian analysis of complex real-world problems. Many of the models and algorithms designed for such analysis are ‘hybrid’ in nature, in that they are a composition of components for which their individual properties may be easily described but the performance of the model or algorithm as a whole is less well understood. The aim of this research project is to after a better understanding of the performance of hybrid models and algorithms. The goal of this thesis is to analyse the computational aspects of hybrid models and hybrid algorithms in the Bayesian context. The first objective of the research focuses on computational aspects of hybrid models, notably a continuous finite mixture of t-distributions. In the mixture model, an inference of interest is the number of components, as this may relate to both the quality of model fit to data and the computational workload. The analysis of t-mixtures using Markov chain Monte Carlo (MCMC) is described and the model is compared to the Normal case based on the goodness of fit. Through simulation studies, it is demonstrated that the t-mixture model can be more flexible and more parsimonious in terms of number of components, particularly for skewed and heavytailed data. The study also reveals important computational issues associated with the use of t-mixtures, which have not been adequately considered in the literature. The second objective of the research focuses on computational aspects of hybrid algorithms for Bayesian analysis. Two approaches will be considered: a formal comparison of the performance of a range of hybrid algorithms and a theoretical investigation of the performance of one of these algorithms in high dimensions. For the first approach, the delayed rejection algorithm, the pinball sampler, the Metropolis adjusted Langevin algorithm, and the hybrid version of the population Monte Carlo (PMC) algorithm are selected as a set of examples of hybrid algorithms. Statistical literature shows how statistical efficiency is often the only criteria for an efficient algorithm. In this thesis the algorithms are also considered and compared from a more practical perspective. This extends to the study of how individual algorithms contribute to the overall efficiency of hybrid algorithms, and highlights weaknesses that may be introduced by the combination process of these components in a single algorithm. The second approach to considering computational aspects of hybrid algorithms involves an investigation of the performance of the PMC in high dimensions. It is well known that as a model becomes more complex, computation may become increasingly difficult in real time. In particular the importance sampling based algorithms, including the PMC, are known to be unstable in high dimensions. This thesis examines the PMC algorithm in a simplified setting, a single step of the general sampling, and explores a fundamental problem that occurs in applying importance sampling to a high-dimensional problem. The precision of the computed estimate from the simplified setting is measured by the asymptotic variance of the estimate under conditions on the importance function. Additionally, the exponential growth of the asymptotic variance with the dimension is demonstrated and we illustrates that the optimal covariance matrix for the importance function can be estimated in a special case.

Structural behaviour and design of cold-formed steel beams at elevated temperatures

Cold-formed steel members are extensively used in the building construction industry, especially in residential, commercial and industrial buildings. In recent times, fire safety has become important in structural design due to increased fire damage to properties and loss of lives. However, past research into the fire performance of cold-formed steel members has been limited, and was confined to compression members. Therefore a research project was undertaken to investigate the structural behaviour of compact cold-formed steel lipped channel beams subject to inelastic local buckling and yielding, and lateral-torsional buckling effects under simulated fire conditions and associated section and member moment capacities. In the first phase of this research, an experimental study based on tensile coupon tests was undertaken to obtain the mechanical properties of elastic modulus and yield strength and the stress-strain relationship of cold-formed steels at uniform ambient and elevated temperatures up to 700oC. The mechanical properties deteriorated with increasing temperature and are likely to reduce the strength of cold-formed beams under fire conditions. Predictive equations were developed for yield strength and elastic modulus reduction factors while a modification was proposed for the stressstrain model at elevated temperatures. These results were used in the numerical modelling phases investigating the section and member moment capacities. The second phase of this research involved the development and validation of two finite element models to simulate the behaviour of compact cold-formed steel lipped channel beams subject to local buckling and yielding, and lateral-torsional buckling effects. Both models were first validated for elastic buckling. Lateral-torsional buckling tests of compact lipped channel beams were conducted at ambient temperature in order to validate the finite element model in predicting the non-linear ultimate strength behaviour. The results from this experimental study did not agree well with those from the developed experimental finite element model due to some unavoidable problems with testing. However, it highlighted the importance of magnitude and direction of initial geometric imperfection as well as the failure direction, and thus led to further enhancement of the finite element model. The finite element model for lateral-torsional buckling was then validated using the available experimental and numerical ultimate moment capacity results from past research. The third phase based on the validated finite element models included detailed parametric studies of section and member moment capacities of compact lipped channel beams at ambient temperature, and provided the basis for similar studies at elevated temperatures. The results showed the existence of inelastic reserve capacity for compact cold-formed steel beams at ambient temperature. However, full plastic capacity was not achieved by the mono-symmetric cold-formed steel beams. Suitable recommendations were made in relation to the accuracy and suitability of current design rules for section moment capacity. Comparison of member capacity results from finite element analyses with current design rules showed that they do not give accurate predictions of lateral-torsional buckling capacities at ambient temperature and hence new design rules were developed. The fourth phase of this research investigated the section and member moment capacities of compact lipped channel beams at uniform elevated temperatures based on detailed parametric studies using the validated finite element models. The results showed the existence of inelastic reserve capacity at elevated temperatures. Suitable recommendations were made in relation to the accuracy and suitability of current design rules for section moment capacity in fire design codes, ambient temperature design codes as well as those proposed by other researchers. The results showed that lateral-torsional buckling capacities are dependent on the ratio of yield strength and elasticity modulus reduction factors and the level of non-linearity in the stress-strain curves at elevated temperatures in addition to the temperature. Current design rules do not include the effects of non-linear stress-strain relationship and therefore their predictions were found to be inaccurate. Therefore a new design rule that uses a nonlinearity factor, which is defined as the ratio of the limit of proportionality to the yield stress at a given temperature, was developed for cold-formed steel beams subject to lateral-torsional buckling at elevated temperatures. This thesis presents the details and results of the experimental and numerical studies conducted in this research including a comparison of results with predictions using available design rules. It also presents the recommendations made regarding the accuracy of current design rules as well as the new developed design rules for coldformed steel beams both at ambient and elevated temperatures.

secFleck: A Public Key Technology Platform for Wireless Sensor Networks

We describe the design and implementation of a public-key platform, secFleck, based on a commodity Trusted Platform Module (TPM) chip that extends the capability of a standard node. Unlike previous software public-key implementations this approach provides E- Commerce grade security; is computationally fast, energy efficient; and has low financial cost — all essential attributes for secure large-scale sen- sor networks. We describe the secFleck message security services such as confidentiality, authenticity and integrity, and present performance re- sults including computation time, energy consumption and cost. This is followed by examples, built on secFleck, of symmetric key management, secure RPC and secure software update.

Towards trusted wireless sensor networks

This article presents the design and implementation of a trusted sensor node that provides Internet-grade security at low system cost. We describe trustedFleck, which uses a commodity Trusted Platform Module (TPM) chip to extend the capabilities of a standard wireless sensor node to provide security services such as message integrity, confidentiality, authenticity, and system integrity based on RSA public-key and XTEA-based symmetric-key cryptography. In addition trustedFleck provides secure storage of private keys and provides platform configuration registers (PCRs) to store system configurations and detect code tampering. We analyze system performance using metrics that are important for WSN applications such as computation time, memory size, energy consumption and cost. Our results show that trustedFleck significantly outperforms previous approaches (e.g., TinyECC) in terms of these metrics while providing stronger security levels. Finally, we describe a number of examples, built on trustedFleck, of symmetric key management, secure RPC, secure software update, and remote attestation.

An analysis of the RC4 family of stream ciphers against algebraic attacks

To date, most applications of algebraic analysis and attacks on stream ciphers are on those based on lin- ear feedback shift registers (LFSRs). In this paper, we extend algebraic analysis to non-LFSR based stream ciphers. Specifically, we perform an algebraic analysis on the RC4 family of stream ciphers, an example of stream ciphers based on dynamic tables, and inves- tigate its implications to potential algebraic attacks on the cipher. This is, to our knowledge, the first pa- per that evaluates the security of RC4 against alge- braic attacks through providing a full set of equations that describe the complex word manipulations in the system. For an arbitrary word size, we derive alge- braic representations for the three main operations used in RC4, namely state extraction, word addition and state permutation. Equations relating the inter- nal states and keystream of RC4 are then obtained from each component of the cipher based on these al- gebraic representations, and analysed in terms of their contributions to the security of RC4 against algebraic attacks. Interestingly, it is shown that each of the three main operations contained in the components has its own unique algebraic properties, and when their respective equations are combined, the resulting system becomes infeasible to solve. This results in a high level of security being achieved by RC4 against algebraic attacks. On the other hand, the removal of an operation from the cipher could compromise this security. Experiments on reduced versions of RC4 have been performed, which confirms the validity of our algebraic analysis and the conclusion that the full RC4 stream cipher seems to be immune to algebraic attacks at present.

Improved algebraic cryptanalysis of QUAD, Bivium and Trivium via graph partitioning on equation systems

We present a novel approach for preprocessing systems of polynomial equations via graph partitioning. The variable-sharing graph of a system of polynomial equations is defined. If such graph is disconnected, then the corresponding system of equations can be split into smaller ones that can be solved individually. This can provide a tremendous speed-up in computing the solution to the system, but is unlikely to occur either randomly or in applications. However, by deleting certain vertices on the graph, the variable-sharing graph could be disconnected in a balanced fashion, and in turn the system of polynomial equations would be separated into smaller systems of near-equal sizes. In graph theory terms, this process is equivalent to finding balanced vertex partitions with minimum-weight vertex separators. The techniques of finding these vertex partitions are discussed, and experiments are performed to evaluate its practicality for general graphs and systems of polynomial equations. Applications of this approach in algebraic cryptanalysis on symmetric ciphers are presented: For the QUAD family of stream ciphers, we show how a malicious party can manufacture conforming systems that can be easily broken. For the stream ciphers Bivium and Trivium, we nachieve significant speedups in algebraic attacks against them, mainly in a partial key guess scenario. In each of these cases, the systems of polynomial equations involved are well-suited to our graph partitioning method. These results may open a new avenue for evaluating the security of symmetric ciphers against algebraic attacks.

Raman spectroscopic study of the hydroxy-arsenate mineral geminite Cu(AsO3OH)•H2O

The mineral geminite, an hydrated hydroxy-arsenate mineral of formula Cu(AsO3OH)•H2O, has been studied by Raman and infrared spectroscopy. Two minerals from different origins were investigated and the spectra proved quite similar. In the Raman spectra of geminite, four bands are observed at 813, 843, 853 and 885 cm-1. The assignment of these bands is as follows: (a) The band at 853 cm-1 is assigned to the AsO43- ν1 symmetric stretching mode (b) the band at 885 cm-1 is assigned to the AsO3OH2- ν1 symmetric stretching mode (c) the band at 843 cm-1 is assigned to the AsO43- ν3 antisymmetric stretching mode (d) the band at 813 cm-1 is ascribed to the AsO3OH2- ν3 antisymmetric stretching mode. Two Raman bands at 333 and 345 cm-1 are attributed to the ν2 AsO4 3- bending mode and a set of higher wavenumber bands are assigned to the ν4 AsO43- bending mode. A very complex set of overlapping bands is observed in both the Raman and infrared spectra. Raman bands are observed at 2288, 2438, 2814, 3152, 3314, 3448 and 3521 cm-1. Two Raman bands at 2288 and 2438 cm-1 are ascribed to very strongly hydrogen bonded water. The broader Raman bands at 3152 and 3314 cm-1 may be assigned to adsorbed water and not so strongly hydrogen bonded water in the molecular structure of geminate. Two bands at 3448 and 3521 cm-1 are assigned to the OH stretching vibrations of the (AsO3OH)2- units. Raman spectroscopy identified Raman bands attributable to AsO43- and AsO3OH2- units.

Bearing damage analysis by calculation of capacitive coupling between inner and outer races of a ball bearing

Bearing damage in modern inverter-fed AC drive systems is more common than in motors working with 50 or 60 Hz power supply. Fast switching transients and common mode voltage generated by a PWM inverter cause unwanted shaft voltage and resultant bearing currents. Parasitic capacitive coupling creates a path to discharge current in rotors and bearings. In order to analyze bearing current discharges and their effect on bearing damage under different conditions, calculation of the capacitive coupling between the outer and inner races is needed. During motor operation, the distances between the balls and races may change the capacitance values. Due to changing of the thickness and spatial distribution of the lubricating grease, this capacitance does not have a constant value and is known to change with speed and load. Thus, the resultant electric field between the races and balls varies with motor speed. The lubricating grease in the ball bearing cannot withstand high voltages and a short circuit through the lubricated grease can occur. At low speeds, because of gravity, balls and shaft voltage may shift down and the system (ball positions and shaft) will be asymmetric. In this study, two different asymmetric cases (asymmetric ball position, asymmetric shaft position) are analyzed and the results are compared with the symmetric case. The objective of this paper is to calculate the capacitive coupling and electric fields between the outer and inner races and the balls at different motor speeds in symmetrical and asymmetrical shaft and balls positions. The analysis is carried out using finite element simulations to determine the conditions which will increase the probability of high rates of bearing failure due to current discharges through the balls and races.

Raman spectroscopic study of the hydroxy-arsenate mineral pharmacolite Ca(HAsO4)•2H2O : implications for aquifer and sediment remediation

The removal of arsenate anions from aqueous media, sediments and wasted soils is of environmental significance. The reaction of gypsum with the arsenate anion results in pharmacolite mineral formation, together with related minerals. Raman and infrared spectroscopy have been used to study the mineral pharmacolite Ca(HAsO4)•2H2O. The mineral is characterised by an intense Raman band at 865 cm-1 assigned to the (AsO4)3- symmetric stretching mode. The equivalent infrared band is found at 864 cm-1. The low intensity Raman band at 886 cm-1 provides evidence for (AsO3OH)2-. A series of overlapping bands in the 300 to 450 cm-1 are attributed to ν2 and ν4 bending modes. Prominent Raman bands at around 3187 cm-1 are assigned to water OH stretching vibrations and the two sharp bands at 3425 and 3526 cm-1 to the OH stretching vibrations of (HOAsO3) units.

Raman spectroscopic study of the antimonate mineral bottinoite Ni[Sb2(OH)12].6H2O and in comparison with brandholzite Mg[Sb5+2(OH)12]•6H2O

Raman spectra of bottinoite Ni[Sb(OH)6].6H2O were studied, and related to the molecular structure of the mineral. An intense sharp Raman band at 618 cm-1 is attributed to the SbO symmetric stretching mode. The low intensity band at 735 cm-1 is ascribed to the SbO antisymmetric stretching vibration. Low intensity Raman bands were found at 501, 516 and 578 cm-1. Four Raman bands observed at 1045, 1080, 1111 and 1163 cm-1 are assigned to δ SbOH deformation modes. A complex pattern resulting from the overlapping band of the water and hydroxyl units is observed. Raman bands are observed at 3223, 3228, 3368, 3291, 3458 and 3510 cm-1. The first two Raman bands are assigned to water stretching vibrations. The two higher wavenumber Raman bands observed at 3466 and 3552 cm-1 and two infrared bands at 3434 and 3565 cm-1 are assigned to the stretching vibrations of the hydroxyl units. Observed Raman and infrared bands are connected with O-H…O hydrogen bonds and their lengths 2.72, 2.79, 2.86, 2.88 and 3.0 Å (Raman) and 2.73, 2.83 and 3.07 Å (infrared).

Stability and convergence of an effective numerical method for the time-space fractional Fokker-Planck equation with a nonlinear source term

Fractional Fokker-Planck equations (FFPEs) have gained much interest recently for describing transport dynamics in complex systems that are governed by anomalous diffusion and nonexponential relaxation patterns. However, effective numerical methods and analytic techniques for the FFPE are still in their embryonic state. In this paper, we consider a class of time-space fractional Fokker-Planck equations with a nonlinear source term (TSFFPE-NST), which involve the Caputo time fractional derivative (CTFD) of order α ∈ (0, 1) and the symmetric Riesz space fractional derivative (RSFD) of order μ ∈ (1, 2). Approximating the CTFD and RSFD using the L1-algorithm and shifted Grunwald method, respectively, a computationally effective numerical method is presented to solve the TSFFPE-NST. The stability and convergence of the proposed numerical method are investigated. Finally, numerical experiments are carried out to support the theoretical claims.

Delegation in predicate encryption supporting disjunctive queries

Predicate encryption has an advantage over traditional public-key or identity-based encryption, since predicate encryption systems provide more flexible control over access to encrypted data. We focus on delegation capabilities in predicate systems. More specifically, we investigate delegatable encryption systems supporting disjunctive predicate evaluations. We present formal security definitions of delegatable predicate encryption and provide the first delegatable predicate encryption scheme which supports disjunctive predicate evaluations in the public-key setting. We analyze the security of the proposed system and give a security proof. In addition, we present a delegatable predicate encryption in the symmetric-key setting and discuss the related security issues.

Transition of chromium oxyhydroxide nanomaterials to chromium oxide : a hot stage Raman spectroscopic study

The transition of disc-like chromium hydroxide nanomaterials to chromium oxide nanomaterials has been studied by hot stage Raman spectroscopy. The structure and morphology of α-CrO(OH) synthesised using hydrothermal treatment was confirmed by X-ray diffraction and transmission electron microscopy. The Raman spectrum of α-CrO(OH) is characterised by two intense bands at 823 and 630 cm-1 attributed to ν1 CrIII-O symmetric stretching mode, bands at 1179 cm-1 attributed to CrIII-OH δ deformation modes. No bands are observed above 3000 cm-1. The absence of characteristic OH vibrational bands may be due to short hydrogen bonds in the α-CrO(OH) structure. Upon thermal treatment of α-CrO(OH), new Raman bands are observed at 599, 542, 513, 396, 344 and 304 cm-1, which are attributed to Cr2O3. This hot-stage Raman study shows that the transition of α-CrO(OH) to Cr2O3 occurs before 350 °C.