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.

Applications of Spreadsheets in Education : The Amazing Power of a Simple Tool

This e-book is devoted to the use of spreadsheets in the service of education in a broad spectrum of disciplines: science, mathematics, engineering, business, and general education. The effort is aimed at collecting the works of prominent researchers and educators that make use of spreadsheets as a means to communicate concepts with high educational value. The e-book brings some of the most recent applications of spreadsheets in education and research to the fore. To offer the reader a broad overview of the diversity of applications, carefully chosen articles from engineering (power systems and control), mathematics (calculus, differential equations, and probability), science (physics and chemistry), and education are provided. Some of these applications make use of Visual Basic for Applications (VBA), a versatile computer language that further expands the functionality of spreadsheets. The material included in this e-book should inspire readers to devise their own applications and enhance their teaching and/or learning experience.

Estimating present day extreme total water level exceedance probabilities around the Australian coastline

The occurrence of extreme water level events along low-lying, highly populated and/or developed coastlines can lead to devastating impacts on coastal infrastructure. Therefore it is very important that the probabilities of extreme water levels are accurately evaluated to inform flood and coastal management and for future planning. The aim of this study was to provide estimates of present day extreme total water level exceedance probabilities around the whole coastline of Australia, arising from combinations of mean sea level, astronomical tide and storm surges generated by both extra-tropical and tropical storms, but exclusive of surface gravity waves. The study has been undertaken in two main stages. In the first stage, a high-resolution (~10 km along the coast) hydrodynamic depth averaged model has been configured for the whole coastline of Australia using the Danish Hydraulics Institute’s Mike21 modelling suite of tools. The model has been forced with astronomical tidal levels, derived from the TPX07.2 global tidal model, and meteorological fields, from the US National Center for Environmental Prediction’s global reanalysis, to generate a 61-year (1949 to 2009) hindcast of water levels. This model output has been validated against measurements from 30 tide gauge sites around Australia with long records. At each of the model grid points located around the coast, time series of annual maxima and the several highest water levels for each year were derived from the multi-decadal water level hindcast and have been fitted to extreme value distributions to estimate exceedance probabilities. Stage 1 provided a reliable estimate of the present day total water level exceedance probabilities around southern Australia, which is mainly impacted by extra-tropical storms. However, as the meteorological fields used to force the hydrodynamic model only weakly include the effects of tropical cyclones the resultant water levels exceedance probabilities were underestimated around western, northern and north-eastern Australia at higher return periods. Even if the resolution of the meteorological forcing was adequate to represent tropical cyclone-induced surges, multi-decadal periods yielded insufficient instances of tropical cyclones to enable the use of traditional extreme value extrapolation techniques. Therefore, in the second stage of the study, a statistical model of tropical cyclone tracks and central pressures was developed using histroic observations. This model was then used to generate synthetic events that represented 10,000 years of cyclone activity for the Australia region, with characteristics based on the observed tropical cyclones over the last ~40 years. Wind and pressure fields, derived from these synthetic events using analytical profile models, were used to drive the hydrodynamic model to predict the associated storm surge response. A random time period was chosen, during the tropical cyclone season, and astronomical tidal forcing for this period was included to account for non-linear interactions between the tidal and surge components. For each model grid point around the coast, annual maximum total levels for these synthetic events were calculated and these were used to estimate exceedance probabilities. The exceedance probabilities from stages 1 and 2 were then combined to provide a single estimate of present day extreme water level probabilities around the whole coastline of Australia.

Carbon nanotube membranes with ultrahigh specific adsorption capacity for water desalination and purification

Development of technologies for water desalination and purification is critical to meet the global challenges of insufficient water supply and inadequate sanitation, especially for point-of-use applications. Conventional desalination methods are energy and operationally intensive, whereas adsorption-based techniques are simple and easy to use for point-of-use water purification, yet their capacity to remove salts is limited. Here we report that plasma-modified ultralong carbon nanotubes exhibit ultrahigh specific adsorption capacity for salt (exceeding 400% by weight) that is two orders of magnitude higher than that found in the current state-of-the-art activated carbon-based water treatment systems. We exploit this adsorption capacity in ultralong carbon nanotube-based membranes that can remove salt, as well as organic and metal contaminants. These ultralong carbon nanotube-based membranes may lead to next-generation rechargeable, point-of-use potable water purification appliances with superior desalination, disinfection and filtration properties. © 2013 Macmillan Publishers Limited.

Extreme water level exceedance probabilities around Australia

The potential impacts of extreme water level events on our coasts are increasing as populations grow and sea levels rise. To better prepare for the future, coastal engineers and managers need accurate estimates of average exceedance probabilities for extreme water levels. In this paper, we estimate present day probabilities of extreme water levels around the entire coastline of Australia. Tides and storm surges generated by extra-tropical storms were included by creating a 61-year (1949-2009) hindcast of water levels using a high resolution depth averaged hydrodynamic model driven with meteorological data from a global reanalysis. Tropical cyclone-induced surges were included through numerical modelling of a database of synthetic tropical cyclones equivalent to 10,000 years of cyclone activity around Australia. Predicted water level data was analysed using extreme value theory to construct return period curves for both the water level hindcast and synthetic tropical cyclone modelling. These return period curves were then combined by taking the highest water level at each return period.

Effect of input power and gas pressure on the roughening and selective etching of SiO2/Si surfaces in reactive plasmas

We report on the application low-temperature plasmas for roughening Si surfaces which is becoming increasingly important for a number of applications ranging from Si quantum dots to cell and protein attachment for devices such as "laboratory on a chip" and sensors. It is a requirement that Si surface roughening is scalable and is a single-step process. It is shown that the removal of naturally forming SiO2 can be used to assist in the roughening of the surface using a low-temperature plasma-based etching approach, similar to the commonly used in semiconductor micromanufacturing. It is demonstrated that the selectivity of SiO2 /Si etching can be easily controlled by tuning the plasma power, working gas pressure, and other discharge parameters. The achieved selectivity ranges from 0.4 to 25.2 thus providing an effective means for the control of surface roughness of Si during the oxide layer removal, which is required for many advance applications in bio- and nanotechnology.

Power transfer and mode transitions in low-frequency inductively coupled plasmas

Operation and mode jumps in low-frequency (500 kHz) radio-frequency inductively coupled plasmas are investigated. The discharge is driven by a flat inductive coil which can excite the electrostatic (E) and electromagnetic (H) discharge modes. The power transfer efficiency and mode transition behavior are studied. It is found that the power reflection coefficient as a function of the input power is minimal in the vicinity of the mode transitions and exhibits hysteresis, which is also observed when the operating gas pressure is varied.

Nonresonant power transfer in plasma-surface interactions via two-surface wave decay

The excitation of pairs of electron surface waves via nonresonant decay of plasma waves incident onto a solid surface is studied in the context of controlling the interaction of pulsed electromagnetic radiation with plasma-exposed solid surfaces. The role of the plasma-exposed surfaces in nonlinear heating of the plasma edge and related power transfer is discussed. It is shown that the maximum efficiency of the power transfer at solid surfaces with dielectric permittivity εd <3 corresponds to the resonant two-surface wave decay. On the other hand, for solids with εd >3 the maximum power transfer efficiency is achieved through nonresonant excitation of the quasistatic surface waves. In this case the plasma waves generated by external radiation dissipate their energy into the plasma periphery most effectively.

Turning points, power transfer, and frequency response of mode transitions in RF plasmas

Turning points for transitions between the electrostatic and electromagnetic discharge modes in low-frequency (∼ 500 kHz) inductively coupled plasmas have been identified and cross-referenced using time-resolved measurements of the plasma optical emission intensities, RF coil current, and ion saturation current collected by a single RF-compensated Langmuir probe. This enables one to monitor the variation of the plasma parameters, power transfer efficiency, which accompany the discharge hysteresis. The excitation conditions for the pure and hybrid modes in the plasma are considered, and the possibility of the TMmnl → TEm'n'l' transitions at higher frequencies are discussed.

Two-surface wave decay : controlling power transfer in plasma-surface interactions

Controlled interaction of high-power pulsed electromagnetic radiation with plasma-exposed solid surfaces is a major challenge in applications spanning from electron beam accelerators in microwave electronics to pulsed laser ablation-assisted synthesis of nanomaterials. It is shown that the efficiency of such interaction can be potentially improved via an additional channel of wave power dissipation due to nonlinear excitation of two counterpropagating surface waves, resonant excitations of the plasma-solid system.Physics.

Perils to people and property : valuation practices in a water world

Recent international experiences have reinforced the peril to people and property from rising sea levels and associated water events. The related risks, while perhaps more obvious for properties located in coastal regions, can also impact upon inland properties. These risks are slowly influencing changes to planning practices and attitudes. This paper examines these risks from the perspective of land values and identifies the matters, and processes, that should be adopted in valuation practices.

Controlling current and voltage type interfaces in power-hardware-in-the-loop simulations

The usual practice to study a large power system is through digital computer simulation. However, the impact of large scale use of small distributed generators on a power network cannot be evaluated strictly by simulation since many of these components cannot be accurately modelled. Moreover, the network complexity makes the task of practical testing on a physical network nearly impossible. This study discusses the paradigm of interfacing a real-time simulation of a power system to real-life hardware devices. This type of splitting a network into two parts and running a real-time simulation with a physical system in parallel is usually termed as power-hardware-in-the-loop (PHIL) simulation. The hardware part is driven by a voltage source converter that amplifies the signals of the simulator. In this paper, the effects of suitable control strategy on the performance of PHIL and the associated stability aspects are analysed in detail. The analyses are validated through several experimental tests using an real-time digital simulator.

Magnetic fields and uniformity of radio frequency power deposition in low-frequency inductively coupled plasmas with crossed internal oscillating currents

Radial and axial distributions of magnetic fields in a low-frequency (∼460 kHz)inductively coupled plasmasource with two internal crossed planar rf current sheets are reported. The internal antenna configuration comprises two orthogonal sets of eight alternately reconnected parallel and equidistant copper litz wires in quartz enclosures and generates three magnetic (H z, H r, and H φ) and two electric (E φ and E r) field components at the fundamental frequency. The measurements have been performed in rarefied and dense plasmas generated in the electrostatic(E) and electromagnetic (H)discharge modes using two miniature magnetic probes. It is shown that the radial uniformity and depth of the rf power deposition can be improved as compared with conventional sources of inductively coupled plasmas with external flat spiral (“pancake”) antennas. Relatively deeper rf power deposition in the plasma source results in more uniform profiles of the optical emission intensity, which indicates on the improvement of the plasma uniformity over large chamber volumes. The results of the numerical modeling of the radial magnetic field profiles are found in a reasonable agreement with the experimental data.

Strategic entry deterrence : does it constitute a misuse of market power?

A challenge for regulators and the courts has been establishing the boundary between behaviour is exclusionary and should be condemned under s 46 of the then Trade Practices Act 1974 (Cth) (TPA), now s 46 of the Competition and Consumer Act 2010 (Cth) (CCA), and behaviour that is not exclusionary and might even be pro-competitive. This boundary can be especially difficult to draw in the case of entry deterring strategies. Section 46(1) prohibits corporations with a substantial degree of market power from taking advantage of that market power for one of the statutorily proscribed purposes which include preventing the entry of a person into that or any other market. Section 45(2) separately prohibits corporations from making and giving effect to contracts arrangements and understandings that have the purpose, effect or likely effect of substantially lessening competition in a market. The latest case in which the ACCC has failed to satisfy the s 46 criteria is the decision of Greenwood J in ACCC v Cement Australia Pty Ltd [2013] FCA 909 (Cement Australia case). Final orders were published in a separate judgment, in ACCC v Cement Australia Pty Ltd [2014] FCA 148 (28 February 2014). The case concerned an entry deterring strategy, namely the pre-emptive buying of input factors in an upstream market to protect an incumbent with substantial market power in a downstream market and to prevent new entry in the downstream market. Greenwood J found that while Cement Australia Pty Ltd, formerly known as Queensland Cement Ltd (QCL), had substantial market power, its conduct in entering into the pre-emptive contracts was not a contravention of s 46, because Cement Australia had not “taken advantage” of its market power. However, since Cement Australia’s purpose in entering into the pre-emptive contracts was anti-competitive, they were held to contravene s 45(2) of the TPA. The purpose of this Note is to consider only the reasons for judgment in the Cement Australia case in relation to the “taking advantage” element. The judgment was handed down on 10 September 2013. The final hearing date was 15 July 2011, so it was long-awaited. At 714 pages, it is carefully drafted.

An improved gate driver for power MOSFETs using a cascode configuration

To overcome the limitations of existing gate drive topologies an improved gate drive concept is proposed to provide fast, controlled switching of power MOSFETs. The proposed topology exploits the cascode configuration with the inclusion of an active gate clamp to ensure that the driven MOSFET may be turned off under all load conditions. Key operating principles and advantages of the proposed gate drive topology are discussed. Characteristic waveforms are investigated via simulation and experimentation for the cascode driver in an inductive switching application at 375V and 10A. Experimental waveforms compared well with simulations with long gate charging delays (including the Miller plateau) being eliminated from the gate voltage waveform.