A transport protocol for real-time applications in wireless networked control systems

A Networked Control System (NCS) is a feedback-driven control system wherein the control loops are closed through a real-time network. Control and feedback signals in an NCS are exchanged among the system’s components in the form of information packets via the network. Nowadays, wireless technologies such as IEEE802.11 are being introduced to modern NCSs as they offer better scalability, larger bandwidth and lower costs. However, this type of network is not designed for NCSs because it introduces a large amount of dropped data, and unpredictable and long transmission latencies due to the characteristics of wireless channels, which are not acceptable for real-time control systems. Real-time control is a class of time-critical application which requires lossless data transmission, small and deterministic delays and jitter. For a real-time control system, network-introduced problems may degrade the system’s performance significantly or even cause system instability. It is therefore important to develop solutions to satisfy real-time requirements in terms of delays, jitter and data losses, and guarantee high levels of performance for time-critical communications in Wireless Networked Control Systems (WNCSs). To improve or even guarantee real-time performance in wireless control systems, this thesis presents several network layout strategies and a new transport layer protocol. Firstly, real-time performances in regard to data transmission delays and reliability of IEEE 802.11b-based UDP/IP NCSs are evaluated through simulations. After analysis of the simulation results, some network layout strategies are presented to achieve relatively small and deterministic network-introduced latencies and reduce data loss rates. These are effective in providing better network performance without performance degradation of other services. After the investigation into the layout strategies, the thesis presents a new transport protocol which is more effcient than UDP and TCP for guaranteeing reliable and time-critical communications in WNCSs. From the networking perspective, introducing appropriate communication schemes, modifying existing network protocols and devising new protocols, have been the most effective and popular ways to improve or even guarantee real-time performance to a certain extent. Most previously proposed schemes and protocols were designed for real-time multimedia communication and they are not suitable for real-time control systems. Therefore, devising a new network protocol that is able to satisfy real-time requirements in WNCSs is the main objective of this research project. The Conditional Retransmission Enabled Transport Protocol (CRETP) is a new network protocol presented in this thesis. Retransmitting unacknowledged data packets is effective in compensating for data losses. However, every data packet in realtime control systems has a deadline and data is assumed invalid or even harmful when its deadline expires. CRETP performs data retransmission only in the case that data is still valid, which guarantees data timeliness and saves memory and network resources. A trade-off between delivery reliability, transmission latency and network resources can be achieved by the conditional retransmission mechanism. Evaluation of protocol performance was conducted through extensive simulations. Comparative studies between CRETP, UDP and TCP were also performed. These results showed that CRETP significantly: 1). improved reliability of communication, 2). guaranteed validity of received data, 3). reduced transmission latency to an acceptable value, and 4). made delays relatively deterministic and predictable. Furthermore, CRETP achieved the best overall performance in comparative studies which makes it the most suitable transport protocol among the three for real-time communications in a WNCS.

Time-dependent fractional advection–diffusion equations by an implicit MLS meshless method

Recently, many new applications in engineering and science are governed by a series of fractional partial differential equations (FPDEs). Unlike the normal partial differential equations (PDEs), the differential order in a FPDE is with a fractional order, which will lead to new challenges for numerical simulation, because most existing numerical simulation techniques are developed for the PDE with an integer differential order. The current dominant numerical method for FPDEs is Finite Difference Method (FDM), which is usually difficult to handle a complex problem domain, and also hard to use irregular nodal distribution. This paper aims to develop an implicit meshless approach based on the moving least squares (MLS) approximation for numerical simulation of fractional advection-diffusion equations (FADE), which is a typical FPDE. The discrete system of equations is obtained by using the MLS meshless shape functions and the meshless strong-forms. The stability and convergence related to the time discretization of this approach are then discussed and theoretically proven. Several numerical examples with different problem domains and different nodal distributions are used to validate and investigate accuracy and efficiency of the newly developed meshless formulation. It is concluded that the present meshless formulation is very effective for the modeling and simulation of the FADE.

An implicit RBF meshless approach for time fractional diffusion equations

This paper aims to develop an implicit meshless approach based on the radial basis function (RBF) for numerical simulation of time fractional diffusion equations. The meshless RBF interpolation is firstly briefed. The discrete equations for two-dimensional time fractional diffusion equation (FDE) are obtained by using the meshless RBF shape functions and the strong-forms of the time FDE. The stability and convergence of this meshless approach are discussed and theoretically proven. Numerical examples with different problem domains and different nodal distributions are studied to validate and investigate accuracy and efficiency of the newly developed meshless approach. It has proven that the present meshless formulation is very effective for modeling and simulation of fractional differential equations.

Towards the biofortification of banana fruit for enhanced micronutrient content

In Uganda, vitamin A deficiency (VAD) and iron deficiency anaemia (IDA) are major public health problems with between 15-32% of children under 5 years of age showing VAD and 73% being anaemic. This is largely due to the fact that the staple food crop of the country, banana, is low in pro-vitamin A and iron, therefore leading to dietary deficiencies. Although worldwide progress has been made to control VAD and IDA through supplementation, food fortification and diet diversification, their long term sustainability and impact in developing countries such as Uganda is limited. The approach taken by researchers at Queensland University of Technology (QUT), Australia, in collaboration with the National Agricultural Research Organization (NARO), Uganda, to address this problem, is to generate consumer acceptable banana varieties with significantly increased levels of pro-vitamin A and iron in the fruit using genetic engineering techniques. Such an approach requires the use of suitable, well characterised genes and promoters for targeted transgene expression. Recently, a new banana phytoene synthase gene (APsy2a) involved in the synthesis of pro-vitamin A (pVA) carotenoids was isolated from a high â-carotene banana (F’ei cv Asupina). In addition, sequences of banana ferritin, an iron storage protein, have been isolated from Cavendish banana. The aim of the research described in this thesis was to evaluate the function of these genes to assess their suitability for the biofortification of banana fruit. In addition, a range of banana-derived promoters were characterised to determine their suitability for controlling the expression of transgenes in banana fruit. Due to the time constraints involved with generating transgenic banana fruit, rice was used as the model crop to investigate the functionality of the banana-derived APsy2a and ferritin genes. Using Agrobacterium-mediated transformation, rice callus was transformed with APsy2a +/- the bacterial-derived carotene desaturase gene (CrtI) each under the control of the constitutive maize poly-ubiquitin promoter (ZmUbi) or seed-specific rice glutelin1 (Gt1) promoter. The maize phytoene synthase (ZmPsy1) gene was included as a control. On selective media, with the exception of ZmUbi-CrtI-transgenic callus, all antibiotic resistant callus displayed a yellow-orange colour from which the presence of â-carotene was demonstrated using Raman spectroscopy. Although the regeneration of plants from yellow-orange callus was difficult, 16 transgenic plants were obtained and characterised from callus transformed with ZmUbi-APys2a alone. At least 50% of the T1 seeds developed a yellow-orange coloured callus which was found to contain levels of â-carotene ranging from 4.6-fold to 72-fold higher than that in non-transgenic rice callus. Using the seed-specific Gt1 promoter, 38 transgenic rice plants were generated from APsy2a-CrtI-transformed callus while 32 plants were regenerated from ZmPsy1-CrtI-transformed callus. However, when analysed for presence of transgene by PCR, all transgenic plants contained the APsy2a, ZmPsy1 or CrtI transgene, with none of the plants found to be co-transformed. Using Raman spectroscopy, no â-carotene was detected in-situ in representative T1 seeds. To investigate the potential of the banana-derived ferritin gene (BanFer1) to enhance iron content, rice callus was transformed with constitutively expressed BanFer1 using the soybean ferritin gene (SoyFer) as a control. A total of 12 and 11 callus lines independently transformed with BanFer1 and SoyFer, respectively, were multiplied and transgene expression was verified by RT-PCR. Pearl’s Prussian blue staining for in-situ detection of ferric iron showed a stronger blue colour in rice callus transformed with BanFer1 compared to SoyFer. Using flame atomic absorption spectrometry, the highest mean amount of iron quantified in callus transformed with BanFer1 was 30-fold while that obtained using the SoyFer was 14-fold higher than the controls. In addition, ~78% of BanFer1-transgenic callus lines and ~27% of SoyFer-transgenic callus lines had significantly higher iron content than the non-transformed controls. Since the genes used for enhancing micronutrient content need to be expressed in banana fruit, the activity of a range of banana-derived, potentially fruit-active promoters in banana was investigated. Using uidA (GUS) as a reporter gene, the function of the Expansin1 (MaExp1), Expansin1 containing the rice actin intron (MaExp1a), Expansin4 (MaExp4), Extensin (MaExt), ACS (MaACS), ACO (MaACO), Metallothionein (MaMT2a) and phytoene synthase (APsy2a) promoters were transiently analysed in intact banana fruit using two transformation methods, particle bombardment and Agrobacterium-mediated infiltration (agro-infiltration). Although a considerable amount of variation in promoter activity was observed both within and between experiments, similar trends were obtained using both transformation methods. The MaExp1 and MaExp1a directed high levels of GUS expression in banana fruit which were comparable to those observed from the ZmUbi and Banana bunchy top virus-derived BT4 promoters that were included as positive controls. Lower levels of promoter activity were obtained in both methods using the MaACO and MaExt promoters while the MaExp4, MaACS, and APsy2a promoters directed the lowest GUS activity in banana fruit. An attempt was subsequently made to use agro-infiltration to assess the expression of pVA biosynthesis genes in banana fruit by infiltrating fruit with constructs in which the ZmUbi promoter controlled the expression of APsy2a +/- CrtI, and with the maize phytoene synthase gene (ZmPsy1) included as a control. Unfortunately, the large amount of variation and inconsistency observed within and between experiments precluded any meaningful conclusions to be drawn. The final component of this research was to assess the level of promoter activity and specificity in non-target tissue. These analyses were done on leaves obtained from glasshouse-grown banana plants stably transformed with MaExp1, MaACO, APsy2a, BT4 and ZmUbi promoters driving the expression of the GUS gene in addition to leaves from a selection of the same transgenic plants which were growing in a field trial in North Queensland. The results from both histochemical and fluorometric GUS assays showed that the MaExp1 and MaACO promoters directed very low GUS activities in leaves of stably transformed banana plants compared to the constitutive ZmUbi and BT4 promoters. In summary, the results from this research provide evidence that the banana phytoene synthase gene (APsy2a) and the banana ferritin gene (BanFer1) are functional, since the constitutive over-expression of each of these transgenes led to increased levels of pVA carotenoids (for APsy2a) and iron content (for BanFer1) in transgenic rice callus. Further work is now required to determine the functionality of these genes in stably-transformed banana fruit. This research also demonstrated that the MaExp1 and MaACO promoters are fruit-active but have low activity in non-target tissue (leaves), characteristics that make them potentially useful for the biofortification of banana fruit. Ultimately, however, analysis of fruit from field-grown transgenic plants will be required to fully evaluate the suitability of pVA biosynthesis genes and the fruit-active promoters for fruit biofortification.

CAT Detect (Computer Activity Timeline Detection) : a tool for detecting inconsistency in computer activity timelines

The construction of timelines of computer activity is a part of many digital investigations. These timelines of events are composed of traces of historical activity drawn from system logs and potentially from evidence of events found in the computer file system. A potential problem with the use of such information is that some of it may be inconsistent and contradictory thus compromising its value. This work introduces a software tool (CAT Detect) for the detection of inconsistency within timelines of computer activity. We examine the impact of deliberate tampering through experiments conducted with our prototype software tool. Based on the results of these experiments, we discuss techniques which can be employed to deal with such temporal inconsistencies.

Analyzing real-time video microscopy : the dynamics and geometry of vesicles and tubules in endocytosis

With the advent of live cell imaging microscopy, new types of mathematical analyses and measurements are possible. Many of the real-time movies of cellular processes are visually very compelling, but elementary analysis of changes over time of quantities such as surface area and volume often show that there is more to the data than meets the eye. This unit outlines a geometric modeling methodology and applies it to tubulation of vesicles during endocytosis. Using these principles, it has been possible to build better qualitative and quantitative understandings of the systems observed, as well as to make predictions about quantities such as ligand or solute concentration, vesicle pH, and membrane trafficked. The purpose is to outline a methodology for analyzing real-time movies that has led to a greater appreciation of the changes that are occurring during the time frame of the real-time video microscopy and how additional quantitative measurements allow for further hypotheses to be generated and tested.

An epistemic community as influencer and implementer in local government accounting in Australia

This paper adopts an epistemic community framework to explicate the dual role of epistemic communities as influencers of accounting policy within regulatory space and as implementers who effect change within the domain of accounting. The context is the adoption and implementation of fair value accounting within local government in New South Wales (NSW). The roles and functions of Australian local government are extensive, and include the development and maintenance of infrastructure, provision of recreational facilities, certain health and community services, buildings, cultural facilities, and in some cases, water and sewerage (Australian Local Government Association, 2009). The NSW state Department of Local Government (DLG) is responsible for legislation and policy development to ensure that local councils are able to deliver ‘quality services to their communities in a sustainable manner’ (DLG, 2008c). These local councils receive revenue from various sources including property rates, government grants and user-pays service provision. In July 2006 the DLG issued Circular 06-453 to councils (DLG, 2006c), mandating the staged adoption of fair value measurement of infrastructure assets. This directive followed the policy of NSW State Treasury (NSW Treasury, 2007),4 and an independent inquiry into the financial sustainability of local councils (LGSA, 2006). It was an attempt to resolve the inconsistency in public sector asset valuation in NSW Local Governments, and to provide greater usefulness and comparability of financial statements.5 The focus of this study is the mobilization of accounting change by the DLG within this wider political context. When a regulatory problem arises, those with political power seek advice from professionals with relevant skill and expertise (Potter, 2005). This paper explores the way in which professionals diffuse accounting ‘problems’ and the associated accounting solutions ‘across time and space’ (Potter, 2005, p. 277). The DLG’s fair value accounting policy emanated from a ‘regulatory space’ (Hancher and Moran, 1989)6 as a result of negotiations between many parties, including accounting and finance professionals. Operating within the local government sector, these professionals were identified by the DLG as being capable of providing helpful input. They were also responsible for the implementation of the new olicy within local councils. Accordingly they have been dentified as an pistemic community with the ability to ranslate regulatory power by changing he domain of ccounting (Potter, 2005, p. 278).7 The paper is organised as follows. The background to the LG’s decision to require the introduction of fair value accounting for infrastructure assets is explored. Following this, the method of the study is described, and the epistemic community framework outlined. In the next sections, evidence of the influencing and implementing roles of epistemic groups is provided. Finally, conclusions are drawn about the significance of these groups both within regulatory space in developing accounting regulation, and in embedding change within the domain of accounting.

A continuous time model for election timing

We consider a continuous time model for election timing in a Majoritarian Parliamentary System where the government maintains a constitutional right to call an early election. Our model is based on the two-party-preferred data that measure the popularity of the government and the opposition over time. We describe the poll process by a Stochastic Differential Equation (SDE) and use a martingale approach to derive a Partial Differential Equation (PDE) for the government’s expected remaining life in office. A comparison is made between a three-year and a four-year maximum term and we also provide the exercise boundary for calling an election. Impacts on changes in parameters in the SDE, the probability of winning the election and maximum terms on the call exercise boundaries are discussed and analysed. An application of our model to the Australian Federal Election for House of Representatives is also given.

Identity management : strengthening one-time password authentication through usability

Usability in HCI (Human-Computer Interaction) is normally understood as the simplicity and clarity with which the interaction with a computer program or a web site is designed. Identity management systems need to provide adequate usability and should have a simple and intuitive interface. The system should not only be designed to satisfy service provider requirements but it has to consider user requirements, otherwise it will lead to inconvenience and poor usability for users when managing their identities. With poor usability and a poor user interface with regard to security, it is highly likely that the system will have poor security. The rapid growth in the number of online services leads to an increasing number of different digital identities each user needs to manage. As a result, many people feel overloaded with credentials, which in turn negatively impacts their ability to manage them securely. Passwords are perhaps the most common type of credential used today. To avoid the tedious task of remembering difficult passwords, users often behave less securely by using low entropy and weak passwords. Weak passwords and bad password habits represent security threats to online services. Some solutions have been developed to eliminate the need for users to create and manage passwords. A typical solution is based on generating one-time passwords, i.e. passwords for single session or transaction usage. Unfortunately, most of these solutions do not satisfy scalability and/or usability requirements, or they are simply insecure. In this thesis, the security and usability aspects of contemporary methods for authentication based on one-time passwords (OTP) are examined and analyzed. In addition, more scalable solutions that provide a good user experience while at the same time preserving strong security are proposed.

Novel numerical methods for time-space fractional reaction diffusion equations in two dimensions

We consider time-space fractional reaction diffusion equations in two dimensions. This equation is obtained from the standard reaction diffusion equation by replacing the first order time derivative with the Caputo fractional derivative, and the second order space derivatives with the fractional Laplacian. Using the matrix transfer technique proposed by Ilic, Liu, Turner and Anh [Fract. Calc. Appl. Anal., 9:333--349, 2006] and the numerical solution strategy used by Yang, Turner, Liu, and Ilic [SIAM J. Scientific Computing, 33:1159--1180, 2011], the solution of the time-space fractional reaction diffusion equations in two dimensions can be written in terms of a matrix function vector product $f(A)b$ at each time step, where $A$ is an approximate matrix representation of the standard Laplacian. We use the finite volume method over unstructured triangular meshes to generate the matrix $A$, which is therefore non-symmetric. However, the standard Lanczos method for approximating $f(A)b$ requires that $A$ is symmetric. We propose a simple and novel transformation in which the standard Lanczos method is still applicable to find $f(A)b$, despite the loss of symmetry. Numerical results are presented to verify the accuracy and efficiency of our newly proposed numerical solution strategy.

Arterial travel time estimation : revisiting the classical procedure

Travel time is an important network performance measure and it quantifies congestion in a manner easily understood by all transport users. In urban networks, travel time estimation is challenging due to number of reasons such as, fluctuations in traffic flow due to traffic signals, significant flow to/from mid link sinks/sources, etc. The classical analytical procedure utilizes cumulative plots at upstream and downstream locations for estimating travel time between the two locations. In this paper, we discuss about the issues and challenges with classical analytical procedure such as its vulnerability to non conservation of flow between the two locations. The complexity with respect to exit movement specific travel time is discussed. Recently, we have developed a methodology utilising classical procedure to estimate average travel time and its statistic on urban links (Bhaskar, Chung et al. 2010). Where, detector, signal and probe vehicle data is fused. In this paper we extend the methodology for route travel time estimation and test its performance using simulation. The originality is defining cumulative plots for each exit turning movement utilising historical database which is self updated after each estimation. The performance is also compared with a method solely based on probe (Probe-only). The performance of the proposed methodology has been found insensitive to different route flow, with average accuracy of more than 94% given a probe per estimation interval which is more than 5% increment in accuracy with respect to Probe-only method.

Use of precision time protocol to synchronize sampled value process buses

Transmission smart grids will use a digital platform for the automation of high voltage substations. The IEC 61850 series of standards, released in parts over the last ten years, provide a specification for substation communications networks and systems. These standards, along with IEEE Std 1588-2008 Precision Time Protocol version 2 (PTPv2) for precision timing, are recommended by the both IEC Smart Grid Strategy Group and the NIST Framework and Roadmap for Smart Grid Interoperability Standards for substation automation. IEC 61850, PTPv2 and Ethernet are three complementary protocol families that together define the future of sampled value digital process connections for smart substation automation. A time synchronisation system is required for a sampled value process bus, however the details are not defined in IEC 61850-9-2. PTPv2 provides the greatest accuracy of network based time transfer systems, with timing errors of less than 100 ns achievable. The suitability of PTPv2 to synchronise sampling in a digital process bus is evaluated, with preliminary results indicating that steady state performance of low cost clocks is an acceptable ±300 ns, but that corrections issued by grandmaster clocks can introduce significant transients. Extremely stable grandmaster oscillators are required to ensure any corrections are sufficiently small that time synchronising performance is not degraded.

Fixing the city one photo at a time : mobile logging of maintenance requests

We have designed a mobile application that takes advantage of the built-in features of smart phones such as camera and GPS that allow users to take geo-tagged photos while on the move. Urban residents can take pictures of broken street furniture and public property requiring repair, attach a brief description, and submit the information as a maintenance request to the local government organisation of their city. This paper discusses the design approach that led to the application, highlights a built-in mechanism to elicit user feedback, and evaluates the progress to date with user feedback and log statistics. It concludes with an outlook highlighting user requested features and our own design aspirations for moving from a reporting tool to a civic engagement tool.