Autonomic system management in mobile grid environments

Mobile device integration in grid environments is a challenge for many researchers. Due to the transient nature of mobile devices, service management is a critical, but often overlooked area of research. We propose a distributed broker responsible for the autonomic management of grid services. The broker provides self discovery and negotiation, self configuration and self healing for SOA based mobile grids. In this paper the design and prototype implementation of the broker is presented and the importance of autonomic grid service management is shown.

Statutory verification of water rights: the 'insuperable' difficulties of propertising water entitlements

The abolition of riparian entitlements in the early stages of colonial Australia and the vesting of these rights in the Crown represented a turning point for the evolution of private water rights. The extinguishment of common law rights connected to vested land interests and the introduction of new, unaligned statutory entitlements provided a new and fundamentally different system for the creation and regulation of private water entitlements. Unlike riparian entitlements, in the absence of express definition, statutory water entitlements may only be verified as property where such a construction is consistent with the nature and scope of the entitlement. In this respect, the statutory framework has disaggregated the propertisation of water rights from land ownership and linked the process to broader statutory interpretation principles. The shift away from institutional property has generated concerns about the interpretive approaches appropriate for the verification of legislative water entitlements. This article examines the existing interpretive approaches and argues that the blurring of the propertisation process with the separate issue of whether any change or modification of such water rights attracts s 51(xxxi) of the Commonwealth Constitution has produced a situation where core property indicia is increasingly overshadowed by legislative defeasibility. In the recent High Court decision of ICM Agriculture Pty Ltd v Commonwealth, the focus of the majority judgements upon the inherent susceptibility of legislative entitlements to variation or extinguishment acted as a catalyst for the non-propertisation of statutory bore water licences in New South Wales. The emphasis the majority judgements gave to legislative defeasibility precluded a full and balanced assessment of other highly relevant property indicia, in particular the expectation interests of the holders. Conflating property and constitutional evaluation in this way is inappropriate in an era where entitlements to natural resource interests are increasingly statute based and the verification process has significant social and economic repercussions. Determining whether a statutory entitlement constitutes property requires a careful balancing of legislative intent, social and environmental context and individual expectation and the vicissitudes of a regulatory context should not eclipse this process.

Design of a prototype underwater research platform for swarm robotics

To perform under water robotic research requires specialized equipment. A few pieces of electronics atop a set of wheels are not going to cut it. An underwater research platform must be waterproof, reliable, robust, recoverable and easy to maintain. It must also be able to move in 3 dimensions. Also it must be able to navigate and avoid obstacles. Further if this platform is to be part of a swarm of like platforms then it must be cost effective and relatively small. To purchase such a platform can be very expensive. However, for shallow water, a suitable platform can be built from mostly off the shelf items at little cost. This article describes the design of one such underwater robot including various sensors and communications systems that allow for swarm robotics. Whilst the robotic platform performs well, to explore what many of them would do, that is more than are available, simulation is required. This article continues to study how best to simulate these robots for a swarm, or system of systems, approach.

Development of an expert system modelling the construction process

The construction industry in the UK needs to improve its performance and provide clients with an improved level of satisfaction. The inefficient design and construction process is usually criticised as one of the main causes of poor performance.

A new construction process system, CONstruction Best Practice System (CONBPS), has been developed based on the use of an expert system. CONBPS is based on the traditional procurement strategy as it is probably the most popular procurement method in the UK and yet it is subject to most criticism. This model clearly identifies the roles and responsibilities of the major parties within the building team and identifies the activities and the key issues within the project cycle. The completed model reflects the full project cycle from inception to completion.

The prototype of this system has been demonstrated to the construction participants for their comments. The practitioners included architects, quantity surveyors, planning supervisors, private and public clients. The method of collecting data was through the use of semi-structured interviews.

Following feedback from practitioners, the CONBPS has been updated. This version is more robust; besides, it is more practical and user-friendly as it incorporates the comments from practitioners, who are also the potential users.

The primary aim of this paper is to discuss the development of the updated CONBPS. The improvement of the updated CONBPS includes the information for constructing the system, the computerised functions, system structure, knowledge representation structure and the system operation.

E-commerce trust management system reliability

Various solutions have been proposed in managing trust relationship between trading partners in eCommerce environment. Determine the reliability of trust management systems in eCommerce is most difficult issue due to highly dynamic nature of eCommerce environments. As trust management systems depend on the feedback ratings provided by the trading partners, they are fallible to strategic manipulation of the feedback ratings attacks. This paper addressed the challenges of trust management systems. The requirements of a reliable trust management are also discussed. In particular, we introduce an adaptive credibility model that distinguishes between credible feedback ratings and malicious feedback ratings by considering transaction size, frequency of ratings and majority vote to form a feedback ratings verification metric. The approach has been validated by simulation result.

A privacy-preserving location tracking system for smartphones based on cloud storage

With the widespread use of smartphones, the loss of a device is a critical problem, which results both in disrupting daily communications and losing valuable property. As a result, tracking systems have been developed to track mobile devices. Previous tracking systems focus on recovering the device's locations after it goes missing, with security methods implemented on the clients. However, users' locations are stored in untrusted third-party services, which may be attacked or eavesdropped. In this paper, we propose a system, named Android Cloud Tracker, to provide a privacy-preserving tracking client and safe storing of user's locations. We use cloud storage controlled by users themselves as storage facilities, and they do not need to worry about any untrusted third party. We implement Android Cloud Tracker prototype on Android phones, and the evaluation shows that it is both practical and lightweight: it generates a small amount of data flow and its distributed architecture provides strong guarantees of location privacy while preserving the ability to efficiently track missing devices.

Development of a dynamic surface roughness monitoring system based on artificial neural networks (ANN) in milling operation

Dynamic surface roughness prediction during metal cutting operations plays an important role to enhance the productivity in manufacturing industries. Various machining parameters such as unwanted noises affect the surface roughness, whatever their effects have not been adequately quantified. In this study, a general dynamic surface roughness monitoring system in milling operations was developed. Based on the experimentally acquired data, the milling process of Al 7075 and St 52 parts was simulated. Cutting parameters (i.e., cutting speed, feed rate, and depth of cut), material type, coolant fluid, X and Z components of milling machine vibrations, and white noise were used as inputs. The original objective in the development of a dynamic monitoring system is to simulate wide ranges of machining conditions such as rough and finishing of several materials with and without cutting fluid. To achieve high accuracy of the resultant data, the full factorial design of experiment was used. To verify the accuracy of the proposed model, testing and recall/verification procedures have been carried out and results showed that the accuracy of 99.8 and 99.7 % were obtained for testing and recall processes.

String matching query verification on the cloud-hosted databases

Database query verification schemes attempt to provide authenticity, completeness, and freshness guarantees for queries executed on untrusted cloud servers. A number of such schemes currently exist in the literature, allowing query verification for queries that are based on matching whole values (such as numbers, dates, etc.) or for queries based on keyword matching. However, there is a notable gap in the research with regard to query verification schemes for pattern-matching queries. Our contribution here is to provide such a verification scheme that provides correctness guarantees for pattern-matching queries executed on the cloud. We describe a trivial scheme, ȃŸż and show how it does not provide completeness guarantees, and then proceed to describe our scheme based on efficient primitives such as cryptographic hashing and Merkle hash trees along with suffix arrays. We also provide experimental results based on a working prototype to show the practicality of our scheme.Ÿż

SCLPV: secure certificateless public verification for cloud-based cyber-physical-social systems against malicious auditors

Cyber-physical-social system (CPSS) allows individuals to share personal information collected from not only cyberspace but also physical space. This has resulted in generating numerous data at a user's local storage. However, it is very expensive for users to store large data sets, and it also causes problems in data management. Therefore, it is of critical importance to outsource the data to cloud servers, which provides users an easy, cost-effective, and flexible way to manage data, whereas users lose control on their data once outsourcing their data to cloud servers, which poses challenges on integrity of outsourced data. Many schemes have been proposed to allow a third-party auditor to verify data integrity using the public keys of users. Most of these schemes bear a strong assumption: the auditors are honest and reliable, and thereby are vulnerability in the case that auditors are malicious. Moreover, in most of these schemes, an auditor needs to manage users certificates to choose the correct public keys for verification. In this paper, we propose a secure certificateless public integrity verification scheme (SCLPV). The SCLPV is the first work that simultaneously supports certificateless public verification and resistance against malicious auditors to verify the integrity of outsourced data in CPSS. A formal security proof proves the correctness and security of our scheme. In addition, an elaborate performance analysis demonstrates that the SCLPV is efficient and practical. Compared with the only existing certificateless public verification scheme (CLPV), the SCLPV provides stronger security guarantees in terms of remedying the security vulnerability of the CLPV and resistance against malicious auditors. In comparison with the best of integrity verification scheme achieving resistance against malicious auditors, the communication cost between the auditor and the cloud server of the SCLPV is independent of the size of the processed data, meanwhile, the auditor in the SCLPV does not need to manage certificates.

Volunteered Geographic Information For Water Management: A Prototype Architecture

Driven by Web 2.0 technology and the almost ubiquitous presence of mobile devices, Volunteered Geographic Information (VGI) is knowing an unprecedented growth. These notable technological advancements have opened fruitful perspectives also in the field of water management and protection, raising the demand for a reconsideration of policies which also takes into account the emerging trend of VGI. This research investigates the opportunity of leveraging such technology to involve citizens equipped with common mobile devices (e.g. tablets and smartphones) in a campaign of report of water-related phenomena. The work is carried out in collaboration with ADBPO - Autorità di bacino del fiume Po (Po river basin Authority), i.e. the entity responsible for the environmental planning and protection of the basin of river Po. This is the longest Italian river, spreading over eight among the twenty Italian Regions and characterized by complex environmental issues. To enrich ADBPO official database with user-generated contents, a FOSS (Free and Open Source Software) architecture was designed which allows not only user field-data collection, but also data Web publication through standard protocols. Open Data Kit suite allows users to collect georeferenced multimedia information using mobile devices equipped with location sensors (e.g. the GPS). Users can report a number of environmental emergencies, problems or simple points of interest related to the Po river basin, taking pictures of them and providing other contextual information. Field-registered data is sent to a server and stored into a PostgreSQL database with PostGIS spatial extension. GeoServer provides then data dissemination on the Web, while specific OpenLayers-based viewers were built to optimize data access on both desktop computers and mobile devices. Besides proving the suitability of FOSS in the frame of VGI, the system represents a successful prototype for the exploitation of user local, real-time information aimed at managing and protecting water resources.

Verification Of The Standard Vector Data Model For Interoperability Of River-Geospatial Information

Recently, two international standard organizations, ISO and OGC, have done the work of standardization for GIS. Current standardization work for providing interoperability among GIS DB focuses on the design of open interfaces. But, this work has not considered procedures and methods for designing river geospatial data. Eventually, river geospatial data has its own model. When we share the data by open interface among heterogeneous GIS DB, differences between models result in the loss of information. In this study a plan was suggested both to respond to these changes in the information envirnment and to provide a future Smart River-based river information service by understanding the current state of river geospatial data model, improving, redesigning the database. Therefore, primary and foreign key, which can distinguish attribute information and entity linkages, were redefined to increase the usability. Database construction of attribute information and entity relationship diagram have been newly redefined to redesign linkages among tables from the perspective of a river standard database. In addition, this study was undertaken to expand the current supplier-oriented operating system to a demand-oriented operating system by establishing an efficient management of river-related information and a utilization system, capable of adapting to the changes of a river management paradigm.

Development of an active orthosis prototype for lower limbs

ARAUJO, Márcio V. ; ALSINA, Pablo J. ; MEDEIROS, Adelardo A. D. ; PEREIRA, Jonathan P.P. ; DOMINGOS, Elber C. ; ARAÚJO, Fábio M.U. ; SILVA, Jáder S. . Development of an Active Orthosis Prototype for Lower Limbs. In: INTERNATIONAL CONGRESS OF MECHANICAL ENGINEERING, 20., 2009, Gramado, RS. Proceedings… Gramado, RS: [s. n.], 2009

A low-cost 3D reconstruction system using a single-shot projection of a pattern matrix

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

Accuracy assessment of a photogrammetric close-range reconstruction system

Geometric accuracy of a close-range photogrammetric system is assessed in this paper considering surface reconstruction with structured light as its main purpose. The system is based on an off-the-shelf digital camera and a pattern projector. The mathematical model for reconstruction is based on the parametric equation of the projected straight line combined with collinearity equations. A sequential approach for system calibration was developed and is presented. Results obtained from real data are also presented and discussed. Experiments with real data using a prototype have indicated 0.5mm of accuracy in height determination and 0.2mm in the XY plane considering an application where the object was 1630mm distant from the camera.