Functional and advanced functional and causal relationship diagrams for remote condition monitoring

Analysing the condition of an asset is a big challenge as there can be many aspects which can contribute to the overall functional reliability of the asset that have to be considered. In this paper we propose a two-step functional and causal relationship diagram (FCRD) to address this problem. In the first step, the FCRD is designed to facilitate the analysis of the condition of an asset by evaluating the interdependence (functional and causal) relationships between different components of the asset with the help of a relationship diagram. This is followed by the advanced FCRD (AFCRD) which refines the information from the FCRD into a comprehensive and manageable format. This new two-step methodology for asset condition monitoring is tested and validated for the case of a water treatment plant. © IMechE 2012.

Robust performance analysis on YAWL process models with advanced constructs

The importance of actively managing and analyzing business processes is acknowledged more than ever in organizations nowadays. Business processes form an essential part of an organization and their ap-plication areas are manifold. Most organizations keep records of various activities that have been carried out for auditing purposes, but they are rarely used for analysis purposes. This paper describes the design and implementation of a process analysis tool that replays, analyzes and visualizes a variety of performance metrics using a process definition and its execution logs. Performing performance analysis on existing and planned process models offers a great way for organizations to detect bottlenecks within their processes and allow them to make more effective process improvement decisions. Our technique is applied to processes modeled in the YAWL language. Execution logs of process instances are compared against the corresponding YAWL process model and replayed in a robust manner, taking into account any noise in the logs. Finally, performance characteristics, obtained from replaying the log in the model, are projected onto the model.

An example of cognitive obstacles in advanced integration: the case of scalar line integrals

Cognitive obstacles that arise in the teaching and learning of scalar line integrals, derived from cognitive aids provided to students when first learning about integration of single variable functions are described. A discussion of how and why the obstacles cause students problems is presented and possible strategies to overcome the obstacles are outlined.

A study on the encryption model for numerical data

The encryption method is a well established technology for protecting sensitive data. However, once encrypted, the data can no longer be easily queried. The performance of the database depends on how to encrypt the sensitive data. In this paper we review the conventional encryption method which can be partially queried and propose the encryption method for numerical data which can be effectively queried. The proposed system includes the design of the service scenario, and metadata.

Scalability of encryption techniques for electronic health record (EHR) retrieval

Electronic Health Record (EHR) retrieval processes are complex demanding Information Technology (IT) resources exponentially in particular memory usage. Database-as-a-service (DAS) model approach is proposed to meet the scalability factor of EHR retrieval processes. A simulation study using ranged of EHR records with DAS model was presented. The bucket-indexing model incorporated partitioning fields and bloom filters in a Singleton design pattern were used to implement custom database encryption system. It effectively provided faster responses in the range query compared to different types of queries used such as aggregation queries among the DAS, built-in encryption and the plain-text DBMS. The study also presented with constraints around the approach should consider for other practical applications.

The role of insulin in advanced prostate cancer

Advanced prostate cancer is a common and generally incurable disease. Androgen deprivation therapy is used to treat advanced prostate cancer with good benefits to quality of life and regression of disease. Prostate cancer invariably progresses however despite ongoing treatment, to a castrate resistant state. Androgen deprivation is associated with a form of metabolic syndrome, which includes insulin resistance and hyperinsulinaemia. The mitogenic and anti-apoptotic properties of insulin acting through the insulin and hybrid insulin/IGF-1 receptors seem to have positive effects on prostate tumour growth. This pilot study was designed to assess any correlation between elevated insulin levels and progression to castrate resistant prostate cancer. Methods: 36 men receiving ADT for advanced prostate cancer were recruited, at various stages of their treatment, along with 47 controls, men with localised prostate cancer pre-treatment. Serum measurements of C-peptide (used as a surrogate marker for insulin production) were performed and compared between groups. Correlation between serum C-peptide level and time to progression to castrate resistant disease was assessed. Results: There was a significant elevation of C-peptide levels in the ADT group (mean = 1639pmol/L)) compared to the control group (mean = 1169pmol/L), with a p-value of 0.025. In 17 men with good initial response to androgen deprivation, a small negative trend towards earlier progression to castrate resistance with increasing C-peptide level was seen in the ADT group (r = -0.050), however this did not reach statistical significance (p>0.1). Conclusions: This pilot study confirms an increase in serum C-peptide levels in men receiving ADT for advance prostate cancer. A non-significant, but negative trend towards earlier progression to castrate resistance with increasing C-peptide suggests the need for a formal prospective study assessing this hypothesis.

An accounting standard for nonprofits : the missing essential building blocks

There have been numerous calls over the years for the development of an accounting standard for not-for-profit entities (NFPEs). Probably the most commonly quoted in this regard is that from the Industry Commission Report No. 45 in 1995 which contained the following recommendation: The Commonwealth government should provide funds to the Australian Accounting Standards Board and the Public Sector Accounting Standards Board to develop within two years suitable accounting standards for Community Social Welfare Organisations. This recommendation was made over 5-years ago. Why has no action been taken towards its implementation?...

Advanced glycation endproducts in horses with insulin-induced laminitis

Advanced glycation endproducts (AGEs) have been implicated in the pathogenesis of cancer, inflammatory conditions and diabetic complications. An interaction of AGEs with their receptor (RAGE) results in increased release of pro-inflammatory cytokines and reactive oxygen species (ROS), causing damage to susceptible tissues. Laminitis, a debilitating foot condition of horses, occurs in association with endocrine dysfunction and the potential involvement of AGE and RAGE in the pathogenesis of the disease has not been previously investigated. Glucose transport in lamellar tissue is thought to be largely insulin-independent (GLUT-1), which may make the lamellae susceptible to protein glycosylation and oxidative stress during periods of increased glucose metabolism. Archived lamellar tissue from horses with insulin-induced laminitis (n=4), normal control horses (n=4) and horses in the developmental stages (6 h, 12 h and 24 h) of the disease (n=12) was assessed for AGE accumulation and the presence of oxidative protein damage and cellular lipid peroxidation. The equine-specific RAGE gene was identified in lamellar tissue, sequenced and is now available on GenBank. Lamellar glucose transporter (GLUT-1 and GLUT-4) gene expression was assessed quantitatively with qRT-PCR in laminitic and control horses and horses in the mid-developmental time-point (24 h) of the disease. Significant AGE accumulation had occurred by the onset of insulin-induced laminitis (48 h) but not at earlier time-points, or in control horses. Evidence of oxidative stress was not found in any group. The equine-specific RAGE gene was not expressed differently in treated and control animals, nor was the insulin-dependent glucose transporter GLUT-4. However, the glucose transporter GLUT-1 was increased in lamellar tissue in the developmental stages of insulin-induced laminitis compared to control horses and the insulin-independent nature of the lamellae may facilitate AGE formation. However, due to the lack of AGE accumulation during disease development and a failure to detect an increase in ROS or upregulation of RAGE, it appears unlikely that oxidative stress and protein glycosylation play a central role in the pathogenesis of acute, insulin-induced laminitis.

Practical client puzzles in the standard model

Client puzzles are cryptographic problems that are neither easy nor hard to solve. Most puzzles are based on either number theoretic or hash inversions problems. Hash-based puzzles are very efficient but so far have been shown secure only in the random oracle model; number theoretic puzzles, while secure in the standard model, tend to be inefficient. In this paper, we solve the problem of constucting cryptographic puzzles that are secure int he standard model and are very efficient. We present an efficient number theoretic puzzle that satisfies the puzzle security definition of Chen et al. (ASIACRYPT 2009). To prove the security of our puzzle, we introduce a new variant of the interval discrete logarithm assumption which may be of independent interest, and show this new problem to be hard under reasonable assumptions. Our experimental results show that, for 512-bit modulus, the solution verification time of our proposed puzzle can be up to 50x and 89x faster than the Karame-Capkum puzzle and the Rivest et al.'s time-lock puzzle respectively. In particular, the solution verification tiem of our puzzle is only 1.4x slower than that of Chen et al.'s efficient hash based puzzle.

Effort-release public-key encryption from cryptographic puzzles

Timed-release cryptography addresses the problem of “sending messages into the future”: information is encrypted so that it can only be decrypted after a certain amount of time, either (a) with the help of a trusted third party time server, or (b) after a party performs the required number of sequential operations. We generalise the latter case to what we call effort-release public key encryption (ER-PKE), where only the party holding the private key corresponding to the public key can decrypt, and only after performing a certain amount of computation which may or may not be parallelisable. Effort-release PKE generalises both the sequential-operation-based timed-release encryption of Rivest, Shamir, and Wagner, and also the encapsulated key escrow techniques of Bellare and Goldwasser. We give a generic construction for ER-PKE based on the use of moderately hard computational problems called puzzles. Our approach extends the KEM/DEM framework for public key encryption by introducing a difficulty notion for KEMs which results in effort-release PKE. When the puzzle used in our generic construction is non-parallelisable, we recover timed-release cryptography, with the addition that only the designated receiver (in the public key setting) can decrypt.

Principles on assessment of costs on standard basis – necessary or proper

The judgement in Hennessey Glass and Aluminium Pty Ltd v Watpac Australia Pty Ltd [2007] QDC 57 McGill DCJ provides valuable guidance for practitioners as to whether a range of particular costs items should be permitted on an assessment on the standard basis, and the amounts which should be allowed for such items. The items in issue included counsel’s fees and fees paid to expert witnesses. The decision also examined GST implications for the recovery of legal costs.

Numerical and experimental studies of cold-formed steel floor systems under standard fire conditions

Light gauge cold-formed steel frame (LSF) structures are increasingly used in industrial, commercial and residential buildings because of their non-combustibility, dimensional stability, and ease of installation. A floor-ceiling system is an example of its applications. LSF floor-ceiling systems must be designed to serve as fire compartment boundaries and provide adequate fire resistance. Fire rated floor-ceiling assemblies formed with new materials and construction methodologies have been increasingly used in buildings. However, limited research has been undertaken in the past and hence a thorough understanding of their fire resistance behaviour is not available. Recently a new composite panel in which an external insulation layer is used between two plasterboards has been developed at QUT to provide a higher fire rating to LSF floors under standard fire conditions. But its increased fire rating could not be determined using the currently available design methods. Research on LSF floor systems under fire conditions is relatively recent and the behaviour of floor joists and other components in the systems is not fully understood. The present design methods thus require the use of expensive fire protection materials to protect them from excessive heat increase during a fire. This leads to uneconomical and conservative designs. Fire rating of these floor systems is provided simply by adding more plasterboard sheets to the steel joists and such an approach is totally inefficient. Hence a detailed fire research study was undertaken into the structural and thermal performance of LSF floor systems including those protected by the new composite panel system using full scale fire tests and extensive numerical studies. Experimental study included both the conventional and the new steel floor-ceiling systems under structural and fire loads using a gas furnace designed to deliver heat in accordance with the standard time- temperature curve in AS 1530.4 (SA, 2005). Fire tests included the behavioural and deflection characteristics of LSF floor joists until failure as well as related time-temperature measurements across the section and along the length of all the specimens. Full scale fire tests have shown that the structural and thermal performance of externally insulated LSF floor system was superior than traditional LSF floors with or without cavity insulation. Therefore this research recommends the use of the new composite panel system for cold-formed LSF floor-ceiling systems. The numerical analyses of LSF floor joists were undertaken using the finite element program ABAQUS based on the measured time-temperature profiles obtained from fire tests under both steady state and transient state conditions. Mechanical properties at elevated temperatures were considered based on the equations proposed by Dolamune Kankanamge and Mahendran (2011). Finite element models were calibrated using the full scale test results and used to further provide a detailed understanding of the structural fire behaviour of the LSF floor-ceiling systems. The models also confirmed the superior performance of the new composite panel system. The validated model was then used in a detailed parametric study. Fire tests and the numerical studies showed that plasterboards provided sufficient lateral restraint to LSF floor joists until their failure. Hence only the section moment capacity of LSF floor joists subjected to local buckling effects was considered in this research. To predict the section moment capacity at elevated temperatures, the effective section modulus of joists at ambient temperature is generally considered adequate. However, this research has shown that it leads to considerable over- estimation of the local buckling capacity of joist subject to non-uniform temperature distributions under fire conditions. Therefore new simplified fire design rules were proposed for LSF floor joist to determine the section moment capacity at elevated temperature based on AS/NZS 4600 (SA, 2005), NAS (AISI, 2007) and Eurocode 3 Part 1.3 (ECS, 2006). The accuracy of the proposed fire design rules was verified with finite element analysis results. A spread sheet based design tool was also developed based on these design rules to predict the failure load ratio versus time, moment capacity versus time and temperature for various LSF floor configurations. Idealised time-temperature profiles of LSF floor joists were developed based on fire test measurements. They were used in the detailed parametric study to fully understand the structural and fire behaviour of LSF floor panels. Simple design rules were also proposed to predict both critical average joist temperatures and failure times (fire rating) of LSF floor systems with various floor configurations and structural parameters under any given load ratio. Findings from this research have led to a comprehensive understanding of the structural and fire behaviour of LSF floor systems including those protected by the new composite panel, and simple design methods. These design rules were proposed within the guidelines of the Australian/New Zealand, American and European cold- formed steel structures standard codes of practice. These may also lead to further improvements to fire resistance through suitable modifications to the current composite panel system.