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.

Effects of joint thickness, adhesion and web shells to the face shell bedded concrete masonry loaded in compression

The Australian masonry standard allows either prism tests or correction factors based on the block height and mortar thickness to evaluate masonry compressive strength. The correction factor helps the taller units with conventional 10 mm mortar being not disadvantaged due to size effect. In recent times, 2-4 mm thick, high-adhesive mortars and H blocks with only the mid-web shell are used in masonry construction. H blocks and thinner and higher adhesive mortars have renewed interest of the compression behaviour of hollow concrete masonry and hence is revisited in this paper. This paper presents an experimental study carried out to examine the effects of the thickness of mortar joints, the type of mortar adhesives and the presence of web shells in the hollow concrete masonry prisms under axial compression. A non-contact digital image correlation technique was used to measure the deformation of the prisms and was found adequate for the determination of strain fi eld of the loaded face shells subjected to axial compression. It is found that the absence of end web shells lowers the compressive strength and stiffness of the prisms and the thinner and higher adhesive mortars increase the compressive strength and stiffness, while lowering the Poisson's ratio. © Institution of Engineers Australia, 2013.

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.

Health monitoring of short-and medium-spen bridges using an improved modal strain energy method

Increasing the importance and use of infrastructures such as bridges, demands more effective structural health monitoring (SHM) systems. SHM has well addressed the damage detection issues through several methods such as modal strain energy (MSE). Many of the available MSE methods either have been validated for limited type of structures such as beams or their performance is not satisfactory. Therefore, it requires a further improvement and validation of them for different types of structures. In this study, an MSE method was mathematically improved to precisely quantify the structural damage at an early stage of formation. Initially, the MSE equation was accurately formulated considering the damaged stiffness and then it was used for derivation of a more accurate sensitivity matrix. Verification of the improved method was done through two plane structures: a steel truss bridge and a concrete frame bridge models that demonstrate the framework of a short- and medium-span of bridge samples. Two damage scenarios including single- and multiple-damage were considered to occur in each structure. Then, for each structure, both intact and damaged, modal analysis was performed using STRAND7. Effects of up to 5 per cent noise were also comprised. The simulated mode shapes and natural frequencies derived were then imported to a MATLAB code. The results indicate that the improved method converges fast and performs well in agreement with numerical assumptions with few computational cycles. In presence of some noise level, it performs quite well too. The findings of this study can be numerically extended to 2D infrastructures particularly short- and medium-span bridges to detect the damage and quantify it more accurately. The method is capable of providing a proper SHM that facilitates timely maintenance of bridges to minimise the possible loss of lives and properties.

State-of-the-art of the Australian thin bed concrete structural masonry

With a view to minimising the spiraling labour costs, the concrete masonry industry is developing thin layer mortar technology (known as thin bed technology) collaboratively with Queensland University of Technology. Similar technologies are practiced in Europe mainly for clay brick masonry; in the UK thin layer mortared concrete masonry has been researched under commercial contract with limited information published. This paper presents numerous experimental data generated over the past three years. It is shown that this form of masonry requires special drymixed mortar containing a minimum of 2% polymer for improved workability and blocks with tighter height tolerance, both of which might increase the cost of these constituent materials. However, through semiskilled labour, tools to dispense and control the thickness of mortar and the associated increase in productivity, reduction to the overall costs of this form of construction can be achieved. Further the polymer mortar provides several advantages: (1) improved sustainability due to dry curing and (2) potential to construct mortar layers of 2mm thickness and (3) ability for mechanisation of mortar application and control of thickness without the need for skilled labour.

Age and curing effect on the bond strength of thin bed concrete masonry with polymer cement mortar

Bond characteristics of masonry are partly affected by the type of mortar used, the techniques of dispersion of mortar and the surface texture of the concrete blocks. Additionally it is understood from the studies on conventional masonry, the bond characteristics are influenced by masonry age and curing methods as well as dryness/dampness at the time of testing. However, all these effects on bond for thin bed masonry containing polymer cement mortar are not well researched. Therefore, the effect of ageing and curing method on bond strength of masonry made with polymer cement mortar was experimentally investigated as part of an ongoing bond strength research program on thin bed concrete masonry at Queensland University of technology. This paper presents the experimental investigation of the flexural and shears bond characteristics of thin bed concrete masonry of varying age/ curing methods. Since, the polymer cement mortar is commonly used in thin bed masonry; bond development through two different curing conditions (dry/wet) was investigated in this research work. The results exhibit that the bond strength increases with the age under the wet and dry curing conditions; dry curing produce stronger bond and is considered as an advantage towards making this form of thin bed masonry better sustainable.

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.

Connectivity of workflow nets : the foundations of stepwise verification

Behavioral models capture operational principles of real-world or designed systems. Formally, each behavioral model defines the state space of a system, i.e., its states and the principles of state transitions. Such a model is the basis for analysis of the system’s properties. In practice, state spaces of systems are immense, which results in huge computational complexity for their analysis. Behavioral models are typically described as executable graphs, whose execution semantics encodes a state space. The structure theory of behavioral models studies the relations between the structure of a model and the properties of its state space. In this article, we use the connectivity property of graphs to achieve an efficient and extensive discovery of the compositional structure of behavioral models; behavioral models get stepwise decomposed into components with clear structural characteristics and inter-component relations. At each decomposition step, the discovered compositional structure of a model is used for reasoning on properties of the whole state space of the system. The approach is exemplified by means of a concrete behavioral model and verification criterion. That is, we analyze workflow nets, a well-established tool for modeling behavior of distributed systems, with respect to the soundness property, a basic correctness property of workflow nets. Stepwise verification allows the detection of violations of the soundness property by inspecting small portions of a model, thereby considerably reducing the amount of work to be done to perform soundness checks. Besides formal results, we also report on findings from applying our approach to an industry model collection.

A derivation of high-frequency asymptotic values of 3D added mass and damping based on properties of the Cummins' equation

This brief paper provides a novel derivation of the known asymptotic values of three-dimensional (3D) added mass and damping of marine structures in waves. The derivation is based on the properties of the convolution terms in the Cummins's Equation as derived by Ogilvie. The new derivation is simple and no approximations or series expansions are made. The results follow directly from the relative degree and low-frequency asymptotic properties of the rational representation of the convolution terms in the frequency domain. As an application, the extrapolation of damping values at high frequencies for the computation of retardation functions is also discussed.

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.