Formal analysis of security properties in trusted computing protocols

This research introduces a general methodology in order to create a Coloured Petri Net (CPN) model of a security protocol. Then standard or user-defined security properties of the created CPN model are identified. After adding an attacker model to the protocol model, the security property is verified using state space method. This approach is applied to analyse a number of trusted computing protocols. The results show the applicability of proposed method to analyse both standard and user-defined properties.

Measuring the mechanical properties of ground ophthalmic polymer surfaces using nanoindentation

This work is motivated by the need to efficiently machine the edges of ophthalmic polymer lenses for mounting in spectacle or instrument frames. The polymer materials used are required to have suitable optical characteristics such high refractive index and Abbe number, combined with low density and high scratch and impact resistance. Edge surface finish is an important aesthetic consideration; its quality is governed by the material removal operation and the physical properties of the material being processed. The wear behaviour of polymer materials is not as straightforward as for other materials due to their molecular and structural complexity, not to mention their time-dependent properties. Four commercial ophthalmic polymers have been studied in this work using nanoindentation techniques which are evaluated as tools for probing surface mechanical properties in order to better understand the grinding response of polymer materials.

Atomistic simulation of surface functionalization on the interfacial properties of graphene-polymer nanocomposites

Graphene has been increasingly used as nano sized fillers to create a broad range of nanocomposites with exceptional properties. The interfaces between fillers and matrix play a critical role in dictating the overall performance of a composite. However, the load transfer mechanism along graphene-polymer interface has not been well understood. In this study, we conducted molecular dynamics simulations to investigate the influence of surface functionalization and layer length on the interfacial load transfer in graphene polymer nanocomposites. The simulation results show that oxygen-functionalized graphene leads to larger interfacial shear force than hydrogen-functionalized and pristine ones during pull-out process. The increase of oxygen coverage and layer length enhances interfacial shear force. Further increase of oxygen coverage to about 7% leads to a saturated interfacial shear force. A model was also established to demonstrate that the mechanism of interfacial load transfer consists of two contributing parts, including the formation of new surface and relative sliding along the interface. These results are believed to be useful in development of new graphene-based nanocomposites with better interfacial properties.

Mechanochemical synthesis of aluminium nanoparticles and their deuterium sorption properties to 2 kbar

A mechanochemical synthesis process has been used to synthesise aluminium nanoparticles. The aluminium is synthesised via a solid state chemical reaction which is initiated inside a ball mill at room temperature between either lithium (Li) or sodium (Na) metal which act as reducing agents with unreduced aluminium chloride (AlCl3). The reaction product formed consists of aluminium nanoparticles embedded within a by-product salt phase (LiCl or NaCl, respectively). The LiCl is washed with a suitable solvent resulting in aluminium (Al) nanoparticles which are not oxidised and are separated from the byproduct phase. Synthesis and washing was confirmed using X-ray diffraction (XRD). Nanoparticles were found to be ∼25–100nm from transmission electron microscopy (TEM) and an average size of 55nm was determined fromsmall angle X-ray scattering (SAXS) measurements. As synthesised Al/NaCl composites, washed Al nanoparticles, and purchased Al nanoparticles were deuterium (D2) absorption tested up to 2 kbar at a variety of temperatures, with no absorption detected within system resolution.

Tensile properties of a boron/nitrogen-doped carbon nanotube–graphene hybrid structure

Doping is an effective approach that allows for the intrinsic modification of the electrical and chemical properties of nanomaterials. Recently, a graphene and carbon nanotube hybrid structure (GNHS) has been reported, which extends the excellent properties of carbon-based materials to three dimensions. In this paper, we carried out a first-time investigation on the tensile properties of the hybrid structures with different dopants. It is found that with the presence of dopants, the hybrid structures usually exhibit lower yield strength, Young’s modulus, and earlier yielding compared to that of a pristine hybrid structure. For dopant concentrations below 2.5% no significant reduction of Young’s modulus or yield strength could be observed. For all considered samples, the failure is found to initiate at the region where the nanotubes and graphene sheets are connected. After failure, monatomic chains are normally observed around the failure region. Dangling graphene layers without the separation of a residual CNT wall are found to adhere to each other after failure with a distance of about 3.4 Å. This study provides a fundamental understanding of the tensile properties of the doped graphene–nanotube hybrid structures, which will benefit the design and also the applications of graphene-based hybrid materials.

Ship roll damping control

The technical feasibility of roll motion control devices has been amply demonstrated for over 100 years. Performance, however, can still fall short of expectations because of difficulties associated with control system designs, which have proven to be far from trivial due to fundamental performance limitations and large variations of the spectral characteristics of wave-induced roll motion. This tutorial paper presents an account of the development of various ship roll motion control systems together with the challenges associated with their design. It discusses the assessment of performance and the applicability of different mathematical models, and it surveys the control methods that have been implemented and validated with full scale experiments. The paper also presents an outlook on what are believed to be potential areas of research within this topic.

Energy-based motion control of marine vehicles using interconnection and damping assignment passivity-based control : a survey

This paper reviews some recent results in motion control of marine vehicles using a technique called Interconnection and Damping Assignment Passivity-based Control (IDA-PBC). This approach to motion control exploits the fact that vehicle dynamics can be described in terms of energy storage, distribution, and dissipation, and that the stable equilibrium points of mechanical systems are those at which the potential energy attains a minima. The control forces are used to transform the closed-loop dynamics into a port-controlled Hamiltonian system with dissipation. This is achieved by shaping the energy-storing characteristics of the system, modifying its interconnection structure (how the energy is distributed), and injecting damping. The end result is that the closed-loop system presents a stable equilibrium (hopefully global) at the desired operating point. By forcing the closed-loop dynamics into a Hamiltonian form, the resulting total energy function of the system serves as a Lyapunov function that can be used to demonstrate stability. We consider the tracking and regulation of fully actuated unmanned underwater vehicles, its extension to under-actuated slender vehicles, and also manifold regulation of under-actuated surface vessels. The paper is concluded with an outlook on future research.

Numerical investigation of mechanical and thermal dynamic properties of the industrial transformer

Industrial transformer is one of the most critical assets in the power and heavy industry. Failures of transformers can cause enormous losses. The poor joints of the electrical circuit on transformers can cause overheating and results in stress concentration on the structure which is the major cause of catastrophic failure. Few researches have been focused on the mechanical properties of industrial transformers under overheating thermal conditions. In this paper, both mechanical and thermal properties of industrial transformers are jointly investigated using Finite Element Analysis (FEA). Dynamic response analysis is conducted on a modified transformer FEA model, and the computational results are compared with experimental results from literature to validate this simulation model. Based on the FEA model, thermal stress is calculated under different temperature conditions. These analysis results can provide insights to the understanding of the failure of transformers due to overheating, therefore are significant to assess winding fault, especially to the manufacturing and maintenance of large transformers.

Moisture and tensile strength properties of starch-sugar cane nanofibre films

There is an increasing need for biodegradable, environmentally friendly plastics to replace the petroleum-based non-degradable plastics which litter and pollute the environment. Starch-based plastic film composites are becoming a popular alternative because of their low cost, biodegradability, the abundance of starch, and ease with which starch-based films can be chemically modified. This paper reports on the results of using sugar cane bagasse nanofibres to improve the physicochemical properties of starch-based polymers. The addition of bagasse nanofibre (2.5, 5, 10 or 20 wt%) to (modified) potato starch (‘Soluble starch’) reduced the moisture uptake by up to 17 % at 58 % relative humidity (RH). The film’s tensile strength and Young’s Modulus increased by up to 100 % and 200 % with 10 wt% and 20 wt% nanofibre respectively at 58% RH. The tensile strain reduced by up to 70 % at 20 wt% fibre loading. These results indicate that addition of sugar cane bagasse nanofibres significantly improved the properties of starch-based plastic films

Clinical dyslipidaemia is associated with changes in the lipid composition and inflammatory properties of apolipoprotein-B-containing lipoproteins from women with type 2 diabetes

The aim of this study was to use lipidomics to determine if the lipid composition of apolipoprotein-B-containing lipoproteins is modified by dyslipidaemia in type 2 diabetes and if any of the identified changes potentially have biological relevance in the pathophysiology of type 2 diabetes. VLDL and LDL from normolipidaemic and dyslipidaemic type 2 diabetic women and controls were isolated and quantified with HPLC and mass spectrometry. A detailed molecular characterisation of VLDL triacylglycerols (TAG) was also performed using the novel ozone-induced dissociation method, which allowed us to distinguish vaccenic acid (C18:1 n-7) from oleic acid (C18:1 n-9) in specific TAG species. Lipid class composition was very similar in VLDL and LDL from normolipidaemic type 2 diabetic and control participants. By contrast, dyslipidaemia was associated with significant changes in both lipid classes (e.g. increased diacylglycerols) and lipid species (e.g. increased C16:1 and C20:3 in phosphatidylcholine and cholesteryl ester and increased C16:0 [palmitic acid] and vaccenic acid in TAG). Levels of palmitic acid in VLDL and LDL TAG correlated with insulin resistance, and VLDL TAG enriched in palmitic acid promoted increased secretion of proinflammatory mediators from human smooth muscle cells. We showed that dyslipidaemia is associated with major changes in both lipid class and lipid species composition in VLDL and LDL from women with type 2 diabetes. In addition, we identified specific molecular lipid species that both correlate with clinical variables and are proinflammatory. Our study thus shows the potential of advanced lipidomic methods to further understand the pathophysiology of type 2 diabetes.

Effect of strong acids on red mud structural and fluoride adsorption properties

The removal of fluoride using red mud has been improved by acidifying red mud with hydrochloric, nitric and sulphuric acid. This investigation shows that the removal of fluoride using red mud is significantly improved if red mud is initially acidified. The acidification of red mud causes sodalite and cancrinite phases to dissociate, confirmed by the release of sodium and aluminium into solution as well as the disappearance of sodalite bands and peaks in infrared and X-ray diffraction data. The dissolution of these mineral phases increases the amount of available iron and aluminium oxide/hydroxide sites that are accessible for the adsorption of fluoride. The removal of fluoride is dependent on the charge of iron and aluminium oxide/hydroxides on the surface of red mud. Acidifying red mud with hydrochloric, nitric and sulphuric acid resulted in surface sites of the form ≡ SOH2+ and ≡ SOH. Optimum removal is obtained when the majority of surface sites are in the form ≡ SOH2+ as the substitution of a fluoride ion doesn’t cause a significant increase in pH. This investigation shows the importance of having a low and consistent pH for the removal of fluoride from aqueous solutions using red mud.

Damping structure selection in nonlinear ship manoeuvring models

This paper presents the application of a statistical method for model structure selection of lift-drag and viscous damping components in ship manoeuvring models. The damping model is posed as a family of linear stochastic models, which is postulated based on previous work in the literature. Then a nested test of hypothesis problem is considered. The testing reduces to a recursive comparison of two competing models, for which optimal tests in the Neyman sense exist. The method yields a preferred model structure and its initial parameter estimates. Alternatively, the method can give a reduced set of likely models. Using simulated data we study how the selection method performs when there is both uncorrelated and correlated noise in the measurements. The first case is related to instrumentation noise, whereas the second case is related to spurious wave-induced motion often present during sea trials. We then consider the model structure selection of a modern high-speed trimaran ferry from full scale trial data.

Psychometric properties of the modified RESIDE physical activity questionnaire among low-income overweight women

Objectives This study explored the criterion-related validity and test-retest reliability of the modified RESIDential Environment physical activity questionnaire and whether the instrument's validity varied by body mass index, education, race/ethnicity, or employment status. Design Validation study using baseline data collected for randomized trial of a weight loss intervention. Methods Participants recruited from health departments wore an ActiGraph accelerometer and self-reported non-occupational walking, moderate and vigorous physical activity on the modified RESIDential Environment questionnaire. We assessed validity (n = 152) using Spearman correlation coefficients, and reliability (n = 57) using intraclass correlation coefficients. Results When compared to steps, moderate physical activity, and bouts of moderate/vigorous physical activity measured by accelerometer, these questionnaire measures showed fair evidence for validity: recreational walking (Spearman correlation coefficients 0.23–0.36), total walking (Spearman correlation coefficients 0.24–0.37), and total moderate physical activity (Spearman correlation coefficients 0.18–0.36). Correlations for self-reported walking and moderate physical activity were higher among unemployed participants and women with lower body mass indices. Generally no other variability in the validity of the instrument was found. Evidence for reliability of RESIDential Environment measures of recreational walking, total walking, and total moderate physical activity was substantial (intraclass correlation coefficients 0.56–0.68). Conclusions Evidence for questionnaire validity and reliability varied by activity domain and was strongest for walking measures. The questionnaire may capture physical activity less accurately among women with higher body mass indices and employed participants. Capturing occupational activity, specifically walking at work, may improve questionnaire validity.

The invasive and metastatic properties of hormone-independent but hormone-responsive variants of MCF-7 human breast cancer cells

We have previously isolated a series of MCF-7 human breast cancer cell variants which no longer require estrogen-supplementation for tumor growth in nude mice (Clarke et al. Proc Natl Acad Sci USA 86: 3649-3653, 1989). We now report that these hormone-independent and hormone-responsive variants (MIII, MCF7/LCC1) can invade locally from solid mammary fat pad tumors, and produce primary extensions on the surface of intraperitoneal structures including liver, pancreas, and diaphragm. Both lymphatic and hematogenous dissemination are observed, resulting in the establishing of pulmonary, bone, and renal metastases. The pattern of metastasis by MIII and MCF7/LCC1 cells closely resembles that frequently observed in breast cancer patients, and provides the first evidence of metastasis from MCF-7 cells growing in vivo without supplementary estrogen. The interexperimental incidence of metastases, and the time from cell inoculation to the appearance of metastatic disease are variable. The increased metastatic potential is not associated with an increase in either the level of laminin attachment, laminin receptor mRNA expression, or secreted type IV collagenolytic activity. We also did not detect a significant decrease in the steady-state mRNA levels of the metastasis inhibitor nm23 gene. However, when growing without estrogen in vitro, MCF7/LCC1 cells produce elevated levels of the estrogen-inducible cathepsin D enzyme.