Analysis of Object-Specific Authorization Protocol (OSAP) using coloured petri nets - Version 1.0

Analyzing security protocols is an ongoing research in the last years. Different types of tools are developed to make the analysis process more precise, fast and easy. These tools consider security protocols as black boxes that can not easily be composed. It is difficult or impossible to do a low-level analysis or combine different tools with each other using these tools. This research uses Coloured Petri Nets (CPN) to analyze OSAP trusted computing protocol. The OSAP protocol is modeled in different levels and it is analyzed using state space method. The produced model can be combined with other trusted computing protocols in future works.

Improving team dynamics and innovation : the “Aspect Design” approach applied to interaction design

Interaction Design is a fast developing branch of Industrial Design. The availability of cheap microprocessors and sensor electronics allow interactions between people and products that were until recently impossible. This has added additional layers of complexity to the design process. Novice designers find it difficult to effectively juggle these complexities and typically tend to focus on one aspect at a time. They also tend to take a linear, step-by-step approach to the design process in contrast to expert designers who pursue “parallel lines of thought” whilst simultaneously co-evolving both problem and solution. (Lawson, 1993) This paper explores an approach that encourages designers (in this case novice designers) to take a parallel rather than linear approach to the design process. It also addresses the problem of social loafing that tends to occur in team activities.

Selected new training documents to update user profile

Relevance Feedback (RF) has been proven very effective for improving retrieval accuracy. Adaptive information filtering (AIF) technology has benefited from the improvements achieved in all the tasks involved over the last decades. A difficult problem in AIF has been how to update the system with new feedback efficiently and effectively. In current feedback methods, the updating processes focus on updating system parameters. In this paper, we developed a new approach, the Adaptive Relevance Features Discovery (ARFD). It automatically updates the system's knowledge based on a sliding window over positive and negative feedback to solve a nonmonotonic problem efficiently. Some of the new training documents will be selected using the knowledge that the system currently obtained. Then, specific features will be extracted from selected training documents. Different methods have been used to merge and revise the weights of features in a vector space. The new model is designed for Relevance Features Discovery (RFD), a pattern mining based approach, which uses negative relevance feedback to improve the quality of extracted features from positive feedback. Learning algorithms are also proposed to implement this approach on Reuters Corpus Volume 1 and TREC topics. Experiments show that the proposed approach can work efficiently and achieves the encouragement performance.

Indigenous Voice : a work-integrated learning case study in journalism education

The continuing stereotypical coverage of Inigenous affairs in the Australian media suggests that journalists are still finding it difficult to come to terms with more effective ways ofm reporting such issues. The many hundreds of students who graduate from journalism programs across Australia represent an opportunity to at least challenge the predominant methods and strategies. But how prepared are journalism graduates for working with Indigenous issues? This paper explores the processas involved in an intensive reporting practices course held at the University of Queensland mid-2009. The course aimed to raise journalism student's awareness of some of the issues involved as well as enabling them to interact and work with personnel from the Brisbane Indigenous Media Community, 98.9 fm, the National Indigenous Radio Service, SBS and the ABC. The findings suggest that such structured programs have a significant impact on changing student's perceptions of, and approaches to, their role and journalists.

Systematic policymaking with the institutionalist policymaking framework

One of our most pressing needs in creating a more sustainable world is the explicit development of holistic policy. This is becoming increasingly apparent as we are faced with more and more ‘wicked problems'—the most difficult class of problems that we can conceptualise: problems which consist of ‘clusters’ of problems; problems within these clusters cannot be solved in isolation from one another, and include socio-political and moral-spiritual issues (see Rittel and Webber 1973). This paper articulates a methodology that can be applied to the analysis and design of underlying organisational structures and processes that will consistently and effectively address wicked problems. This transdisciplinary methodology—known as the institutionalist policymaking framework—has been developed from the perspective of institutional economics synthesised with perspectives from ecological economics and system dynamics. Substantive and lasting solutions to wicked problems need to be formed endogenously, that is, from within the system. The institutionalist policymaking framework is a transdisciplinary, discursive and reflexive vehicle through which this endogenous creation of solutions to wicked problems may be realised.

Latent degradation indicators estimation and prediction : a Monte Carlo approach

Asset health inspections can produce two types of indicators: (1) direct indicators (e.g. the thickness of a brake pad, and the crack depth on a gear) which directly relate to a failure mechanism; and (2) indirect indicators (e.g. the indicators extracted from vibration signals and oil analysis data) which can only partially reveal a failure mechanism. While direct indicators enable more precise references to asset health condition, they are often more difficult to obtain than indirect indicators. The state space model provides an efficient approach to estimating direct indicators by using indirect indicators. However, existing state space models to estimate direct indicators largely depend on assumptions such as, discrete time, discrete state, linearity, and Gaussianity. The discrete time assumption requires fixed inspection intervals. The discrete state assumption entails discretising continuous degradation indicators, which often introduces additional errors. The linear and Gaussian assumptions are not consistent with nonlinear and irreversible degradation processes in most engineering assets. This paper proposes a state space model without these assumptions. Monte Carlo-based algorithms are developed to estimate the model parameters and the remaining useful life. These algorithms are evaluated for performance using numerical simulations through MATLAB. The result shows that both the parameters and the remaining useful life are estimated accurately. Finally, the new state space model is used to process vibration and crack depth data from an accelerated test of a gearbox. During this application, the new state space model shows a better fitness result than the state space model with linear and Gaussian assumption.

Simulation of inplane and out of plane AE source in thin plate

In most materials, short stress waves are generated during the process of plastic deformation, phase transformation, crack formation and crack growth. These phenomena are applied in acoustic emission (AE) for the detection of material defects in a wide spectrum of areas, ranging from nondestructive testing for the detection of materials defects to monitoring of microseismical activity. AE technique is also used for defect source identification and for failure detection. AE waves consist of P waves (primary longitudinal waves), S waves (shear/transverse waves) and Rayleigh (surface) waves as well as reflected and diffracted waves. The propagation of AE waves in various modes has made the determination of source location difficult. In order to use acoustic emission technique for accurate identification of source, an understanding of wave propagation of the AE signals at various locations in a plate structure is essential. Furthermore, an understanding of wave propagation can also assist in sensor location for optimum detection of AE signals along with the characteristics of the source. In real life, as the AE signals radiate from the source it will result in stress waves. Unless the type of stress wave is known, it is very difficult to locate the source when using the classical propagation velocity equations. This paper describes the simulation of AE waves to identify the source location and its characteristics in steel plate as well as the wave modes. The finite element analysis (FEA) is used for the numerical simulation of wave propagation in thin plate. By knowing the type of wave generated, it is possible to apply the appropriate wave equations to determine the location of the source. For a single plate structure, the results show that the simulation algorithm is effective to simulate different stress waves.

FDR and victims of family violence: Ensuring a safe process and outcomes

Family dispute resolution (FDR) is a positive first-stop process for family law matters, particularly those relating to disputes about children. FDR provides the parties with flexibility within a positive, structured and facilitated framework for what are often difficult and emotional negotiations. However, there are a range of issues that arise for victims of family violence in FDR that can make it a dangerous and unsafe process for them unless appropriate precautions are taken. This article discusses the nature of FDR and identifies the many positive aspects of it for women participants. The article then considers the nature and dynamic of family violence in order to contextualise the discussion that follows regarding concerns for the safety of participants in the FDR process. Finally, it offers some suggestions about how Australia could approach FDR differently to make it safer for victims of family violence.

An evaluation of alternative media for pebble matrix filtration using clay balls and recycled crushed glass

Protecting slow sand filters (SSFs) from high-turbidity waters by pretreatment using pebble matrix filtration (PMF) has previously been studied in the laboratory at University College London, followed by pilot field trials in Papua New Guinea and Serbia. The first full-scale PMF plant was completed at a water-treatment plant in Sri Lanka in 2008, and during its construction, problems were encountered in sourcing the required size of pebbles and sand as filter media. Because sourcing of uniform-sized pebbles may be problematic in many countries, the performance of alternative media has been investigated for the sustainability of the PMF system. Hand-formed clay balls made at a 100-yearold brick factory in the United Kingdom appear to have satisfied the role of pebbles, and a laboratory filter column was operated by using these clay balls together with recycled crushed glass as an alternative to sand media in the PMF. Results showed that in countries where uniform-sized pebbles are difficult to obtain, clay balls are an effective and feasible alternative to natural pebbles. Also, recycled crushed glass performed as well as or better than silica sand as an alternative fine media in the clarification process, although cleaning by drainage was more effective with sand media. In the tested filtration velocity range of ð0:72–1:33Þ m=h and inlet turbidity range of (78–589) NTU, both sand and glass produced above 95% removal efficiencies. The head loss development during clogging was about 30% higher in sand than in glass media.

Seeing the Wood for the Trees: A Critical Evaluation of Methods to Estimate the Parameters of Stochastic Differential Equations

Maximum-likelihood estimates of the parameters of stochastic differential equations are consistent and asymptotically efficient, but unfortunately difficult to obtain if a closed-form expression for the transitional probability density function of the process is not available. As a result, a large number of competing estimation procedures have been proposed. This article provides a critical evaluation of the various estimation techniques. Special attention is given to the ease of implementation and comparative performance of the procedures when estimating the parameters of the Cox–Ingersoll–Ross and Ornstein–Uhlenbeck equations respectively.

Small, Medium, Large: Theatre Companies and Issues of Scale - A Case Study of a Medium-Sized Company

'Surviving but not thriving.' Tbat is the message about small to mediumsized companies that Ian McRae, Chair ofthe Theatre Board of the Australia Council, has been delivering since 2003. In the Theatre Board Assessment Meeting Report of 2007, McRae strongly urged renewed financial support for this most important sector given the significant decrease over the last 10 years and the consequent decrease in new Australian works being produced. Without such support his prediction is that'considerable damage could be done to the creative infrastructure across Australia resulting in a loss of artistic vibrancy down the track that could be very difficult to recover' (McRae, 2007:3).

Epithelial—mesenchymal and mesenchymal—epithelial transitions in carcinoma progression

Like a set of bookends, cellular, molecular, and genetic changes of the beginnings of life mirror those of one of the most common cause of death—metastatic cancer. Epithelial to mesenchymal transition (EMT) is an important change in cell phenotype which allows the escape of epithelial cells from the structural constraints imposed by tissue architecture, and was first recognized by Elizabeth Hay in the early to mid 1980's to be a central process in early embryonic morphogenesis. Reversals of these changes, termed mesenchymal to epithelial transitions (METs), also occur and are important in tissue construction in normal development. Over the last decade, evidence has mounted for EMT as the means through which solid tissue epithelial cancers invade and metastasize. However, demonstrating this potentially rapid and transient process in vivo has proven difficult and data connecting the relevance of this process to tumor progression is still somewhat limited and controversial. Evidence for an important role of MET in the development of clinically overt metastases is starting to accumulate, and model systems have been developed. This review details recent advances in the knowledge of EMT as it occurs in breast development and carcinoma and prostate cancer progression, and highlights the role that MET plays in cancer metastasis. Finally, perspectives from a clinical and translational viewpoint are discussed

Hierarchical Bayesian modelling of early detection surveillance for plant pest invasions

Early detection surveillance programs aim to find invasions of exotic plant pests and diseases before they are too widespread to eradicate. However, the value of these programs can be difficult to justify when no positive detections are made. To demonstrate the value of pest absence information provided by these programs, we use a hierarchical Bayesian framework to model estimates of incursion extent with and without surveillance. A model for the latent invasion process provides the baseline against which surveillance data are assessed. Ecological knowledge and pest management criteria are introduced into the model using informative priors for invasion parameters. Observation models assimilate information from spatio-temporal presence/absence data to accommodate imperfect detection and generate posterior estimates of pest extent. When applied to an early detection program operating in Queensland, Australia, the framework demonstrates that this typical surveillance regime provides a modest reduction in the estimate that a surveyed district is infested. More importantly, the model suggests that early detection surveillance programs can provide a dramatic reduction in the putative area of incursion and therefore offer a substantial benefit to incursion management. By mapping spatial estimates of the point probability of infestation, the model identifies where future surveillance resources can be most effectively deployed.

Elicitator : a user-friendly, interactive tool to support scenario-based elicitation of expert knowledge

Expert elicitation is the process of determining what expert knowledge is relevant to support a quantitative analysis and then eliciting this information in a form that supports analysis or decision-making. The credibility of the overall analysis, therefore, relies on the credibility of the elicited knowledge. This, in turn, is determined by the rigor of the design and execution of the elicitation methodology, as well as by its clear communication to ensure transparency and repeatability. It is difficult to establish rigor when the elicitation methods are not documented, as often occurs in ecological research. In this chapter, we describe software that can be combined with a well-structured elicitation process to improve the rigor of expert elicitation and documentation of the results