Security analysis of the non-aggressive challenge response of the DNP3 Protocol using a CPN Model

Distributed Network Protocol Version 3 (DNP3) is the de-facto communication protocol for power grids. Standard-based interoperability among devices has made the protocol useful to other infrastructures such as water, sewage, oil and gas. DNP3 is designed to facilitate interaction between master stations and outstations. In this paper, we apply a formal modelling methodology called Coloured Petri Nets (CPN) to create an executable model representation of DNP3 protocol. The model facilitates the analysis of the protocol to ensure that the protocol will behave as expected. Also, we illustrate how to verify and validate the behaviour of the protocol, using the CPN model and the corresponding state space tool to determine if there are insecure states. With this approach, we were able to identify a Denial of Service (DoS) attack against the DNP3 protocol.

Radiosensitizing effect of electrochemotherapy in a fractionated radiation regimen in radiosensitive murine sarcoma and radioresistant adenocarcinoma tumor model

Radiosensitizing Effect of Electrochemotherapy in a Fractionated Radiation Regimen in Radiosensitive Murine Sarcoma and Radioresistant Adenocarcinoma Tumor Model. Electrochemotherapy can potentiate the radiosensitizing effect of bleomycin, as shown in our previous studies. To bring this treatment closer to use in clinical practice, we evaluated the interaction between electrochemotherapy with bleomycin and single-dose or fractionated radiation in two murine tumor models with different histology and radiosensitivity. Radiosensitive sarcoma SA-1 and radioresistant adenocarcinoma CaNT subcutaneous tumors grown in A/J and CBA mice, respectively, were used. The anti-tumor effect and skin damage around the treated tumors were evaluated after electrochemotherapy with bleomycin alone or combined with single-dose radiation or a fractionated radiation regimen. The anti-tumor effectiveness of electrochemotherapy was more pronounced in SA-1 than CaNT tumors. In both tumor models, the tumor response to radiation was not significantly influenced by bleomycin alone or by electroporation alone. However, electrochemotherapy before the first tumor irradiation potentiated the response to a single-dose or fractionated radiation regimen in both tumors. For the fractionated radiation regimen, normal skin around the treated tumors was damaged fourfold less than for the single-dose regimen. Electrochemotherapy prior to single-dose irradiation induced more damage to the skin around the treated tumors and greater loss of body weight compared to other irradiated groups, whereas electrochemotherapy combined with the fractionated radiation regimen did not. Electrochemotherapy with low doses of bleomycin can also be used safely for radiosensitization of different types of tumors in a fractionated radiation regimen, resulting in a good anti-tumor effect and no major potentiating effect on radiation-induced skin damage. © 2009 by Radiation Research Society.

Workflow patterns as a means to model task succession in games – a preliminary case study

Over about the last decade, people involved in game development have noted the need for more formal models and tools to support the design phase of games. It is argued that the present lack of such formal tools is currently hindering knowledge transfer among designers. Formal visual languages, on the other hand, can help to more effectively express, abstract and communicate game design concepts. Moreover, formal tools can assist in the prototyping phase, allowing designers to reason about and simulate game mechanics on an abstract level. In this paper we present an initial investigation into whether workflow patterns – which have already proven to be effective for modeling business processes – are a suitable way to model task succession in games. Our preliminary results suggest that workflow patterns show promise in this regard but some limitations, especially in regard to time constraints, currently restrict their potential.

Stress relaxation analysis of single chondrocytes using porohyperelastic model based on AFM experiments

The aim of this study is to investigate the stress relaxation behavior of single chondrocytes using the Porohyperelastic (PHE) model and inverse Finite Element Analysis (FEA). Firstly, based on Atomic Force Microscopy (AFM) technique, we have found that the chondrocytes exhibited stress relaxation behavior. We explored the mechanism of this stress relaxation behavior and concluded that the intracellular fluid exuding out from the cells during deformation plays the most important role in the stress relaxation. Next, we have applied the inverse FEA technique to determine necessary material parameters for PHE model to simulate this stress relaxation behavior as this model is proven capable of capturing the non-linear behavior and the fluid-solid interaction during the stress relaxation of the single chondrocytes. It is observed that this PHE model can precisely capture the stress relaxation behavior of single chondrocytes and would be a suitable model for cell biomechanics.

Flupirtine enhances the anti-hyperalgesic effects of morphine in a rat model of prostate bone metastasis

Objective Current treatments for cancer pain are often inadequate, particularly when metastasis to bone is involved. The addition to the treatment regimen of another drug that has a complementary analgesic effect may increase the overall analgesia without the necessity to increase doses, thus avoiding dose-related side effects. This project investigated the synergistic effect of the addition of the potassium channel (KCNQ2–3) modulator flupirtine to morphine treatment in a rat model of prostate cancer-induced bone pain. Design Syngeneic prostate cancer cells were injected into the right tibia of male Wistar rats under anesthesia. This led to expanding tumor within the bone in 2 weeks, together with the concurrent development of hyperalgesia to noxious heat. Paw withdrawal thresholds from noxious heat were measured before and after the maximum non-sedating doses of morphine and flupirtine given alone and in combinations. Dose-response curves for morphine (0.13–5.0 mg/kg ip) and flupirtine (1.25–10.0 mg/kg ip) given alone and in fixed-dose combinations were plotted and subjected to an isobolographic analysis. Results Both morphine (ED50 = 0.74 mg/kg) and flupirtine (ED50 = 3.32 mg/kg) caused dose-related anti-hyperalgesia at doses that did not cause sedation. Isobolographic analysis revealed that there was a synergistic interaction between flupirtine and morphine. Addition of flupirtine to morphine treatment improved morphine anti-hyperalgesia, and resulted in the reversal of cancer-induced heat hyperalgesia. Conclusions These results suggest that flupirtine in combination with morphine may be useful clinically to provide better analgesia at lower morphine doses in the management of pain caused by tumors growing in bone.

Porohyperelastic finite element model for the kangaroo humeral head cartilage based on experimental study and the consolidation theory

Solid-extracellular fluid interaction is believed to play an important role in the strain-rate dependent mechanical behaviors of shoulder articular cartilages. It is believed that the kangaroo shoulder joint is anatomically and biomechanically similar to human shoulder joint and it is easy to get in Australia. Therefore, the kangaroo humeral head cartilage was used as the suitable tissue for the study in this paper. Indentation tests from quasi-static (10-4/sec) to moderately high strain-rate (10-2/sec) on kangaroo humeral head cartilage tissues were conduced to investigate the strain-rate dependent behaviors. A finite element (FE) model was then developed, in which cartilage was conceptualized as a porous solid matrix filled with incompressible fluids. In this model, the solid matrix was modeled as an isotropic hyperelastic material and the percolating fluid follows Darcy’s law. Using inverse FE procedure, the constitutive parameters related to stiffness, compressibility of the solid matrix and permeability were obtained from the experimental results. The effect of solid-extracellular fluid interaction and drag force (the resistance to fluid movement) on strain-rate dependent behavior was investigated by comparing the influence of constant, strain dependent and strain-rate dependent permeability on FE model prediction. The newly developed porohyperelastic cartilage model with the inclusion of strain-rate dependent permeability was found to be able to predict the strain-rate dependent behaviors of cartilages.

Spatially varying ground motion effects on seismic response of adjacent structures considering soil-structure interaction

Spatial variation of seismic ground motions is caused by incoherence effect, wave passage, and local site conditions. This study focuses on the effects of spatial variation of earthquake ground motion on the responses of adjacent reinforced concrete (RC) frame structures. The adjacent buildings are modeled considering soil-structure interaction (SSI) so that the buildings can be interacted with each other under uniform and non-uniform ground motions. Three different site classes are used to model the soil layers of SSI system. Based on fast Fourier transformation (FFT), spatially correlated non-uniform ground motions are generated compatible with known power spectrum density function (PSDF) at different locations. Numerical analyses are carried out to investigate the displacement responses and the absolute maximum base shear forces of adjacent structures subjected to spatially varying ground motions. The results are presented in terms of related parameters affecting the structural response using three different types of soil site classes. The responses of adjacent structures have changed remarkably due to spatial variation of ground motions. The effect can be significant on rock site rather than clay site.

Model as you do : engaging an S-BPM vendor on process modelling in 3D virtual worlds

Accurate process model elicitation continues to be a time consuming task, requiring skill on the part of the interviewer to extract explicit and tacit process information from the interviewee. Many errors occur in this elicitation stage that would be avoided by better activity recall, more consistent specification methods and greater engagement in the elicitation process by interviewees. Metasonic GmbH has developed a process elicitation tool for their process suite. As part of a research engagement with Metasonic, staff from QUT, Australia have developed a 3D virtual world approach to the same problem, viz. eliciting process models from stakeholders in an intuitive manner. This book chapter tells the story of how QUT staff developed a 3D Virtual World tool for process elicitation, took the outcomes of their research project to Metasonic for evaluation, and finally, Metasonic’s response to the initial proof of concept.

Soil–pile interaction of pile embedded in deep-layered marine sediment under seismic excitation

This paper investigates the soil–pile interaction of a pile embedded in a deep multi-layered soil under seismic excitation considering both kinematic and inertial interaction effects. A comprehensive three-dimensional finite element model is developed and validated using existing results in the literature. The response of the pile in the deep multi-layered soil profile is investigated with respect to pile head response, deflection modes and maximum deflections along the pile. Results show that the pile exhibits complex deflection patterns and that the pile response is influenced by the properties of both the soil profile and the seismic excitation. It is also evident that kinematic interaction effects have a greater influence on the pile response than the inertial interaction effects.

Soft tissue human thigh and buttock finite element model to simulate vehicle seat cushion indentation

Accurate modelling of automotive occupant posture is strongly related to the mechanical interaction between human body soft tissue and flexible seat components. This paper presents a finite-element study simulating the deflection of seat cushion foam and supportive seat structures, as well as human buttock and thigh soft tissue when seated. The thigh-buttock surface shell model was based on 95th percentile male subject scan data and made of two layers, covering thin to moderate thigh and buttock proportions. To replicate the effects of skin and fat, the neoprene rubber layer was modelled as a hyperelastic material with viscoelastic behaviour. The analytical seat model is based on a Ford production seat. The result of the finite-element indentation simulation is compared to a previous simulation of an indentation with a hard shell human model of equal geometry, and to the physical indentation result. We conclude that SAE composite buttock form and human-seat indentation of a suspended seat cushion can be validly simulated.

Adaptable interface model for intuitively learnable interfaces : an approach to address diversity in older users' capabilities

This study started with the aim to develop an approach that will help designers create interfaces that are more intuitive for older adults to use. Two objectives were set for this study: 1) to investigate one of the possible strategies for developing intuitive interfaces for older people, and; 2) to investigate factors that could interfere with intuitive use. This paper briefly presents the outcome of the two experiments and how it has lead to the development of an adaptable interface design model that will help designers develop interfaces that are intuitive to learn and, over time, intuitive to use for users with diverse technology prior experience and cognitive abilities.

A simulation model of the within-host dynamics of Plasmodium vivax infection

Background The benign reputation of Plasmodium vivax is at odds with the burden and severity of the disease. This reputation, combined with restricted in vitro techniques, has slowed efforts to gain an understanding of the parasite biology and interaction with its human host. Methods A simulation model of the within-host dynamics of P. vivax infection is described, incorporating distinctive characteristics of the parasite such as the preferential invasion of reticulocytes and hypnozoite production. The developed model is fitted using digitized time-series’ from historic neurosyphilis studies, and subsequently validated against summary statistics from a larger study of the same population. The Chesson relapse pattern was used to demonstrate the impact of released hypnozoites. Results The typical pattern for dynamics of the parasite population is a rapid exponential increase in the first 10 days, followed by a gradual decline. Gametocyte counts follow a similar trend, but are approximately two orders of magnitude lower. The model predicts that, on average, an infected naïve host in the absence of treatment becomes infectious 7.9 days post patency and is infectious for a mean of 34.4 days. In the absence of treatment, the effect of hypnozoite release was not apparent as newly released parasites were obscured by the existing infection. Conclusions The results from the model provides useful insights into the dynamics of P. vivax infection in human hosts, in particular the timing of host infectiousness and the role of the hypnozoite in perpetuating infection.

Developing a three-dimensional in-vitro cell culture model for studying breast and prostate cancer using starPEG-heparin hydrogels

Introduction Hydrogels prepared from poly(ethylene glycol) (PEG) and maleimide-functionalized heparin provide a potential matrix for use in developing three dimensional (3D) models. We have previously demonstrated that these hydrogels support the cultivation of human umbilical vein endothelial cells (HUVECs) (1). We extend this body of work to study the ability to create an extracellular matrix (ECM)-like model to study breast and prostate cancer cell growth in 3D. Also, we investigate the ability to produce a tri-culture mimicking tumour angiogenesis with cancer spheroids, HUVECs and mesenchymal stem cells (MSC). Materials and Methods The breast cancer cell lines, MCF-7 and MDA-MB-231, and prostate cancer cell lines, LNCaP and PC3, were seeded into starPEG-heparin hydrogels and grown for 14 Days to analyse the effects of varying hydrogel stiffness on spheroid development. Resulting hydrogel constructs were analyzed via Alamar Blue assays, light microscopy, and immunofluorescence staining for cytokeratin 8/18, Ki67 and E-Cadherin. Cancer cell lines were then pre-grown in hydrogels for 5-7 days and then re-seeded into starPEG-heparin hydrogels functionalised with RGD, SDF-1, bFGF and VEGF as spheroids with HUVECs and MSC and grown for 14 days as a tri-culture in Endothelial Cell Growth Medium (ECGM; Promocell). Cell lines were also seeded as a single cell suspension into the functionalised tri-culture system. Cultures were fixed in 4% paraformaldehyde and analysed via immunostaining for Von Willebrand Factor and CD31, as well as the above mentioned markers, and observed using confocal microscopy. Results Cultures prepared in MMP-cleavable starPEG-heparin hydrogels display spheroid formation in contrast to adherent growth on tissue culture plastic. Small differences were visualised in cancer spheroid growth between different gel stiffness across the range of cell lines. Cancer cell lines were able to be co-cultivated with HUVECs and MSC. HUVEC tube formation and cancer line spheroid formation occured after 3-4 days. Interaction was visualised between tumours and HUVECs via confocal microscopy. Slightly increased interaction was seen between cancer tumours and micro-vascular tubes when seeded as single cells compared with the pre-formed spheroid approach. Further studies intend to utilise cytokine gradients to further optimise the ECM environment of in situ tumour angiogenesis. Discussion and Conclusions Our results confirm the suitability of hydrogels constructed from starPEG-heparin for HUVECs and MSC co-cultivation with cancer cell lines to study cell-cell and cell-matrix interactions in a 3D environment. This represents a step forward in the development of 3D culture models to study the pathomechanisms of breast and prostate cancer. References 1. Tsurkan MV, Chwalek K, Prokoph S, Zieris A, Levental KR, Freudenberg U, Werner C. Advanced Materials. 25, 2606-10, 2013. Disclosures The authors declare no conflicts of interest

Analysis of passenger group behaviour and its impact on passenger flow using an agent-based model

Group interaction within crowds is a common phenomenon and has great influence on pedestrian behaviour. This paper investigates the impact of passenger group dynamics using an agent-based simulation method for the outbound passenger process at airports. Unlike most passenger-flow models that treat passengers as individual agents, the proposed model additionally incorporates their group dynamics as well. The simulation compares passenger behaviour at airport processes and discretionary services under different group formations. Results from experiments (both qualitative and quantitative) show that incorporating group attributes, in particular, the interactions with fellow travellers and wavers can have significant influence on passengers activity preference as well as the performance and utilisation of services in airport terminals. The model also provides a convenient way to investigate the effectiveness of airport space design and service allocations, which can contribute to positive passenger experiences. The model was created using AnyLogic software and its parameters were initialised using recent research data published in the literature.