Reliable downloading algorithms for bittorrent-like systems

In this paper we study a reliable downloading algorithm for BitTorrent-like systems, and attest it in mathematics. BitTorrent-like systems have become immensely popular peer-to-peer file distribution tools in the internet in recent years. We analyze them in theory and point out some of their limitations especially in reliability, and propose an algorithm to resolve these problems by using the redundant copies in neighbors in P2P networks and can further optimize the downloading speed in some condition. Our preliminary simulations show that the proposed reliable algorithm works well; the improved BitTorrent-like systems are very stable and reliable.

Sliding mode-like learning control for SISO complex systems with T-S fuzzy models

In this paper, a sliding mode-like learning control scheme is developed for a class of single input single output (SISO) complex systems. First, the Takagi-Sugeno (T-S) fuzzy modelling technique is employed to model the uncertain complex dynamical systems. Second, a sliding mode-like learning control is designed to drive the sliding variable to converge to the sliding surface, and the system states can then asymptotically converge to zero on the sliding surface. The advantages of this scheme are that: 1) the information about the uncertain system dynamics and the system model structure is not required for the design of the learning controller; 2) the closed-loop system behaves with a strong robustness with respect to uncertainties; 3) the control input is chattering-free. The sufficient conditions for the sliding mode-like learning control to stabilise the global fuzzy model are discussed in detail. A simulation example for the control of an inverted pendulum cart is presented to demonstrate the effectiveness of the proposed control scheme.

Toward highly available, self-healing, adaptable, grid-like and user friendly nondedicated clusters

The human body was used to illustrate an Autonomic Computing system that possesses self-knowledge, self-configuration, self-optimization, self-healing, and self-protection, knowledge of its environment and user friendliness properties. Autonomic Computing was identified by IBM as one of the Grand Challenges. Many researchers and research groups have responded positively to the challenge by initiating research around one or two of the characteristics
identified by IBM as the requirements for Autonomic Computing. One of the areas that could benefit from the comprehensive approach created by the Autonomic Computing vision is parallel processing on nondedicated clusters. This paper shows a general design of services and initial implementation of a system that moves parallel processing on clusters to the computing mainstream using the Autonomic Computing vision.

Defining fraud: issues for organizations from an information systems perspective

Fraud is one of the besetting evils of our time. While less dramatic than crimes of violence like murder or rape, fraud can inflict significant damage at organizational or individual level.

Fraud is a concept that seems to have an obvious meaning until we try to define it. As fraud exists in many different guises, and it is necessary to carefully define what it is and to tailor policies and initiatives accordingly.

Developing a definition of fraud is an early step of a prevention program. In order to be involved in the protection function, people at all levels of an organization must be knowledgeable about fraud. In this paper, we discuss the risk of fraud from an information systems perspective, explain what fraud is and present a range of definitions of fraud and computer fraud. We argue that without clearly defining fraud, organizations will not be able to share information that has the same meaning to everyone, to agree on how to measure the problem, and to know the extent of the problem, in order to decide how much and where to deploy resources to effectively solve it.

Protecting information systems from DDoS attack using multicore methodology

Previous work, in the area of defense systems has focused on developing a firewall like structure, in order to protect applications from attacks. The major drawback for implementing security in general, is that it affects the performance of the application they are trying to protect. In fact, most developers avoid implementing security at all. With the coming of new multicore systems, we might at last be able to minimize the performance issues that security places on applications. In our bodyguard framework we propose a new kind of defense that acts alongside, not in front, of applications. This means that performance issues that effect system applications are kept to a minimum, but at the same time still provide high grade security. Our experimental results demonstrate that a ten to fifteen percent speedup in performance is possible, with the potential of greater speedup.

Stability theory and numerical analysis of non-autonomous dynamical systems

The development and use of cocycles for analysis of non-autonomous behaviour is a technique that has been known for several years. Initially developed as an extension to semi-group theory for studying rion-autonornous behaviour, it was extensively used in analysing random dynamical systems [2, 9, 10, 12]. Many of the results regarding asymptotic behaviour developed for random dynamical systems, including the concept of cocycle attractors were successfully transferred and reinterpreted for deterministic non-autonomous systems primarily by P. Kloeden and B. Schmalfuss [20, 21, 28, 29]. The theory concerning cocycle attractors was later developed in various contexts specific to particular classes of dynamical systems [6, 7, 13], although a comprehensive understanding of cocycle attractors (redefined as pullback attractors within this thesis) and their role in the stability of non-autonomous dynamical systems was still at this stage incomplete. It was this purpose that motivated Chapters 1-3 to define and formalise the concept of stability within non-autonomous dynamical systems. The approach taken incorporates the elements of classical asymptotic theory, and refines the notion of pullback attraction with further development towards a study of pull-back stability arid pullback asymptotic stability. In a comprehensive manner, it clearly establishes both pullback and forward (classical) stability theory as fundamentally unique and essential components of non-autonomous stability. Many of the introductory theorems and examples highlight the key properties arid differences between pullback and forward stability. The theory also cohesively retains all the properties of classical asymptotic stability theory in an autonomous environment. These chapters are intended as a fundamental framework from which further research in the various fields of non-autonomous dynamical systems may be extended. A preliminary version of a Lyapunov-like theory that characterises pullback attraction is created as a tool for examining non-autonomous behaviour in Chapter 5. The nature of its usefulness however is at this stage restricted to the converse theorem of asymptotic stability. Chapter 7 introduces the theory of Loci Dynamics. A transformation is made to an alternative dynamical system where forward asymptotic (classical asymptotic) behaviour characterises pullback attraction to a particular point in the original dynamical system. This has the advantage in that certain conventional techniques for a forward analysis may be applied. The remainder of the thesis, Chapters 4, 6 and Section 7.3, investigates the effects of perturbations and discretisations on non-autonomous dynamical systems known to possess structures that exhibit some form of stability or attraction. Chapter 4 investigates autonomous systems with semi-group attractors, that have been non-autonomously perturbed, whilst Chapter 6 observes the effects of discretisation on non-autonomous dynamical systems that exhibit properties of forward asymptotic stability. Chapter 7 explores the same problem of discretisation, but for pullback asymptotically stable systems. The theory of Loci Dynamics is used to analyse the nature of the discretisation, but establishment of results directly analogous to those discovered in Chapter 6 is shown to be unachievable. Instead a case by case analysis is provided for specific classes of dynamical systems, for which the results generate a numerical approximation of the pullback attraction in the original continuous dynamical system. The nature of the results regarding discretisation provide a non-autonomous extension to the work initiated by A. Stuart and J. Humphries [34, 35] for the numerical approximation of semi-group attractors within autonomous systems. . Of particular importance is the effect on the system's asymptotic behaviour over non-finite intervals of discretisation.

Occupational health and safety management systems : system types and effectiveness

The aim of this thesis is to develop a framework to evaluate the relative performance of different types of health and safety management system. This objective is an analytical one, but it stems from a policy issue of public importance. Over the past decade Australia, like other countries, has seen the emergence and growth of interest in developing health and safety management systems. But are they all the same, and if not, do they differ in their effectiveness? The thesis does not seek to give a definitive answer to these questions. Given the novelty of the phenomenon and the lack of research on this subject, the research is exploratory. An hypothesis about the effectiveness of different health and safety management systems is developed rather than tested. The thesis proceeds by first defining health and safety management systems as a combination of the planning and review, the management arrangements, the consultative arrangements and the specific program elements that work together in an integrated way to improve health and safety performance. A research procedure is described involving twenty exploratory case studies. The thesis then - develops - from the literature and the case study research - an analytical framework to evaluate the performance of different health and safety management systems. That framework has two parts. First is a typology of health and safety management systems. This is constructed from two distinctions - between 'safe place' and 'safe person' approaches to health and safety; and between 'innovative' and traditional' management methods and structures. These distinctions yield four types of system. The typology was applied to the case studies which yielded a reasonable fit in most instances. The second part of the framework is a 'process evaluation' technique akin to Quality standards. Derived from the Victorian SafetyMAP audit criteria, the "e;process evaluation tool "e; is preferred to traditional outcome measures such as incident or claim rates. Using this measure, the twenty case study enterprises were classified as above average, average or below average in performance. These results correlated poorly with traditional incident trend and benchmark measures. The two elements of the framework are then combined to explore the relationship between the different types of system and their performance. Evidence from the twenty case studies showed a tendency for innovative/safe place firms to perform better than traditional/safe person firms. This finding can form the basis for a hypothesis that may be subject to statistical testing on a generalisable sample. In addition five 'best practice' cases were selected and subjected to a cross case analysis to search for common characteristics that might explain their performance. This analysis suggests the importance of a number of factors: senior managers who drive health and safety change and mobilise all possible resources in the pursuit of change; health and safety representatives who work with managers in a 'joint regulatory relationship' across system activities; the involvement of employees more generally, but not as a substitute for action by managers and health and safety representatives; a comprehensive approach to elimination of all hazards; and the introduction of innovative programs to continually improve systems and facilitate employee involvement in health and safety.

Applications of aptamers in nanodelivery systems in cancer, eye and inflammatory diseases

Aptamers are an interesting class of molecules that have potential in many facets of human health. They are characterized by high affinity and specificity to their targets, are small in size, have similar properties to antibodies, but are made synthetically. All of these properties, among others, give aptamers the potential to diagnose, image and treat like no other molecules. By combining the unique properties of aptamers with the ever expanding field of nanotechnology and all it has to offer, we are entering a very promising new area of targeted nanodelivery treatments. These treatments have found success in the complex disease processes of cancer, eye and inflammatory diseases.

Modelling relational aspects of critical infrastructure systems

The relational aspects for critical infrastructure systems are not readily quantifiable as there are numerous variability’s and system dynamics that lack uniformity and are difficult to quantify. Notwithstanding this, there is a large body of existing research that is founded in the area of quantitative analysis of critical infrastructure networks, their system relationships and the resilience of these networks. However, the focus of this research is to investigate the aspect of taking a different, more generalised and holistic system perspective approach. This is to suggest that that through applying network theory and taking a ‘soft’ system-like modelling approach that this offers an alternative approach to viewing and modelling critical infrastructure system relational aspects that warrants further enquiry.

Distributional overlap rather than habitat differentiation characterizes co-occurrence of bivalves in intertidal soft sediment systems

Diverse species assemblages are often associated with a diversity of habitat structures. Sedimentary systems seem to be no exception, as within sedimentary systems benthic species diversity within a sample point appears to correlate with sediment grain size complexity. However, it remains to be shown whether total benthic species diversity relates to a system’s sediment heterogeneity across multiple systems. In the present paper we examined whether bivalve diversity is associated with: (1) sediment heterogeneity across systems and (2) sediment grain size complexity within systems, at 9 temperate and tropical tidal flat systems. Although bivalve life-history strategies, like post-settlement habitat selection, might suggest that sediment heterogeneity should be important for bivalve species, bivalve diversity and sediment heterogeneity were not associated across systems. Interestingly, the association between total benthic diversity and sediment heterogeneity was also not significant, suggesting that changing species composition across systems does not account for the lack of a correlation between bivalve diversity and sediment heterogeneity. Instead of habitat differentiation, bivalve diversity within a sample point was highest in ‘complex’ fine-grained sediments and bivalve distributions showed a large degree of distributional overlap in all systems. The results of this study at both smaller and larger spatial scales suggest that coexistence between bivalve species in diverse tidal flats is not associated with increased sediment heterogeneity.

A new design of sliding mode control systems

A new sliding mode control technique for a class of SISO dynamic systems is presented in this chapter. It is seen that the stability status of the closed-loop system is first checked, based on the approximation of the most recent information of the first-order derivative of the Lyapunov function of the closed-loop system, an intelligent sliding mode controller can then be designed with the following intelligent features: (i) If the closed-loop system is stable, the correction term in the controller will continuously adjust control signal to drive the closed-loop trajectory to reach the sliding mode surface in a finite time and the desired closed-loop dynamics with the zero-error convergence can then be achieved on the sliding mode surface. (ii) If, however, the closed-loop system is unstable, the correction term is capable of modifying the control signal to continuously reduce the value of the derivative of the Lyapunov function from the positive to the negative and then drives the closed-loop trajectory to reach the sliding mode surface and ensures that the desired closed-loop dynamics can be obtained on the sliding mode surface. The main advantages of this new sliding mode control technique over the conventional one are that no chattering occurs in the sliding mode control system because of the recursive learning control structure; the system uncertainties are embedded in the Lipschitz-like condition and thus, no priori information on the upper and/or the lower bounds of the unknown system parameters and uncertain system dynamics is required for the controller design; the zero-error convergence can be achieved after the closed-loop dynamics reaches the sliding mode surface and remains on it. The performance for controlling a third-order linear system is evaluated in the simulation section to show the effectiveness and efficiency of the new sliding mode control technique.

A design pattern for responsible information systems education

This paper explores the idea of responsible systems design. To do so, it examines a case study - the accreditation of Information Systems (IS) courses by the professional body. A professionally accredited educational program, like any other non-trivial design product, represents the balancing of competing influences, ideas and stakeholders. The case is particularly relevant because there have been significant changes in the context of Australian IS education recently that have made more complex the task of designing educational systems in a responsible manner. A general approach to addressing this complexity is articulated here as a design pattern to guide IS educational design. The pattern identifies the influences on design, the processes and products of design and the feedback mechanism required to demonstrate that stakeholder requirements are satisfied. Design tensions and principles arising from the model are discussed and future work identified

Comparison of advanced waste heat recovery systems with a novel oil heating system

Latest trends in waste heat recovery include systems like Thermo Electric Generation (TEG), Rankine cycle, and active warm up systems. The advantages and disadvantages of different approaches are critically discussed and compared with a novel and effective oil heating system that can deliver between 7% and 12% reductions of CO2 emissions and fuel consumption. The comparison includes the expected CO2 and fuel saving potential related to the legal drive cycle as well as real world driving, effects on regulated exhaust emissions, utilisation of resources, maintenance and service, vehicle performance, comfort, noise, and durability.

A robust learning control for SISO Nonlinear systems with T-S Fuzzy Model : C02-robust control

In this paper, a robust learning control is developed for a class of single input single output (SISO) nonlinear systems with T-S fuzzy model. It is seen that the proposed sliding mode learning control with the powerful Lipshitz-like condition can guarantee the stability, convergence and robustness of the closed-loop system without involving any assumptions on uncertain system dynamics. In addition, theconcept that the local system with the maximum membership function dominates the system dynamic behaviours helps to greatly simplify the control system design. It will be further seen that the continuous learning control ensures the advantage of chattering-free that may occur in conventional sliding mode systems. Simulation examples are presented to demonstrate the effectiveness of the proposed learning control through the comparison with the H-infinity control.

A systems approach to shape and topology optimisation of mechanical structures

Optimisation techniques have become more and more important as the possibility of simulating complex mechanical structures has become a reality. A common tool in the layout design of structural parts is the topology optimisation method, which finds an optimum material distribution within a given geometrical design space to best meet loading conditions and constraints. Another important method is shape optimisation, which optimises weight given parametric geometric constraints. In the case of complex shaped parts or elaborate assemblies, for example automobile body structures, shape optimisation is still hard to do; mainly due to the difficulty in translating shape design parameters into meaningful analysis models. Tools like the parametric geometry package SFE CONCEPT are designed to mitigate these issues. Nevertheless, shape methods usually cannot suggest new load path configurations, while topology methods are often confined to single parts. To overcome these limitations the authors have developed a method that combines both approaches into an Integral Shape/Topology Method (IST) that is capable of finding new optimal solutions. This is achieved by an automated optimisation loop and can be applied for both thin walled structures as well as solid 3D geometries. When optimising structures by applying IST, global optimum solutions can be determined that may not be obtained with isolated shape- or topology-optimisation methods.