Silver nanocluster formation in silicate glass by single step ion-exchange

We report the formation of silver nanoclusters of average size ∼ 1.1 nm in a single step ion-exchanged silica glass. Silver clusters are formed in a glass during ion-exchange by fine-tuning the ion-exchange parameters such as salt composition, temperature and time. Such nanocluster formation during ion-exchange preserves the waveguiding properties of the ion-exchanged surface of the glass making them suitable for nonlinear waveguide device fabrication.     

The influence of Johnson–Cook material constants on finite element simulation of machining of AISI 316L steel

In literature, five different sets of work material constants used in the Johnson–Cook's (J–C) constitutive equation are implemented in a numerical model to describe the behaviour of AISI 316L steel. The aim of this research is to study the effects of five different sets of material constants of the J–C constitutive equation in finite-element modelling of orthogonal cutting of AISI 316L on the experimental and predicted cutting forces, chip morphology, temperature distributions and residual stresses. Several experimental equipments were used to estimate the experimental results, such as piezoelectric dynamometer for cutting forces measurements, thermal imaging system for temperature measurements and X-ray diffraction technique for residual stresses determination on the machined surfaces; while an elastic–viscoplastic FEM formulation was implemented to predict the local and global variables involved in this research. It has been observed that all the considered process output and, in particular the residual stresses are very sensitive to the J–C's material constants.     

Thermoelastic evaluation of composite laminates using digital imaging processing

The study of the variation of the curvature of non-symmetric composite laminates with temperature provides a measure of the magnitude of the thermal stresses and the mechanical behavior of the material with temperature. In the present work, an experimental method based on the pioneer use of a digital camera and image processing method is proposed to perform such measurements. Taking advantage of the method and by comparing experimental and CLT, extended-CLT and FEM simulation results, an evaluation of the residual stresses is described and an approach providing more precise determination of the residual thermal stresses in non-symmetric laminates is proposed.     

A new approach for constructing the concept map

In recent years, e-learning system has become more and more popular and many adaptive learning environments have been proposed to offer learners customized courses in accordance with their aptitudes and learning results. For achieving the adaptive learning, a predefined concept map of a course is often used to provide adaptive learning guidance for learners. However, it is difficult and time consuming to create the concept map of a course. Thus, how to automatically create a concept map of a course becomes an interesting issue. In this paper, we propose a Two-Phase Concept Map Construction (TP-CMC) approach to automatically construct the concept map by learners’ historical testing records. Phase 1 is used to preprocess the testing records; i.e., transform the numeric grade data, refine the testing records, and mine the association rules from input data. Phase 2 is used to transform the mined association rules into prerequisite relationships among learning concepts for creating the concept map. Therefore, in Phase 1, we apply Fuzzy Set Theory to transform the numeric testing records of learners into symbolic data, apply Education Theory to further refine it, and apply Data Mining approach to find its grade fuzzy association rules. Then, in Phase 2, based upon our observation in real learning situation, we use multiple rule types to further analyze the mined rules and then propose a heuristic algorithm to automatically construct the concept map. Finally, the Redundancy and Circularity of the concept map constructed are also discussed. Moreover, we also develop a prototype system of TP-CMC and then use the real testing records of students in junior high school to evaluate the results. The experimental results show that our proposed approach is workable.     

A review on improving the autonomy of unmanned surface vehicles through intelligent collision avoidance manoeuvres

In recent years unmanned vehicles have grown in popularity, with an ever increasing number of applications in industry, the military and research within air, ground and marine domains. In particular, the challenges posed by unmanned marine vehicles in order to increase the level of autonomy include automatic obstacle avoidance and conformance with the Rules of the Road when navigating in the presence of other maritime traffic. The USV Master Plan which has been established for the US Navy outlines a list of objectives for improving autonomy in order to increase mission diversity and reduce the amount of supervisory intervention. This paper addresses the specific development needs based on notable research carried out to date, primarily with regard to navigation, guidance, control and motion planning. The integration of the International Regulations for Avoiding Collisions at Sea within the obstacle avoidance protocols seeks to prevent maritime accidents attributed to human error. The addition of these critical safety measures may be key to a future growth in demand for USVs, as they serve to pave the way for establishing legal policies for unmanned vessels.     

PPREM: Privacy Preserving REvocation Mechanism for Vehicular Ad Hoc Networks

One of the critical security issues of Vehicular Ad Hoc Networks (VANETs) is the revocation of misbehaving vehicles. While essential, revocation checking can leak potentially sensitive information. Road Side Units (RSUs) receiving the certificate status queries could infer the identity of the vehicles posing the query. An important loss of privacy results from the RSUs ability to tie the checking vehicle with the query's target. We propose a Privacy Preserving Revocation mechanism (PPREM) based on a universal one-way accumulator. PPREM provides explicit, concise, authenticated and unforgeable information about the revocation status of each certificate while preserving the users' privacy.     

Validating an object placement planner for robotic pick-and-place tasks

This paper proposes an object placement planner for a grasped object during pick-and-place tasks. The proposed planner automatically determines the pose of an object that is stably placed near a user-assigned point on the environment surface. In our proposed method, first the polygon models of both the object and the environment are clustered, with each cluster being approximated by a planar region. The position/orientation of an object placed on the environment surface can be determined by selecting a pair of clusters: one from the object and the other from the environment. We furthermore conduct several tests to determine the position/orientation of the object, namely the Convexity Test, the Contact Test and the Stability Test. We demonstrate that, by using the polygon model of the environment that is obtained by means of conversion of the point cloud, we can determine the position/orientation of an object and can thereby realize a pick-and-place task.     

Model checking response times in Networked Automation Systems using jitter bounds

Response time (RT) of Networked Automation Systems (NAS) is affected by timing imperfections induced due to the network, computing and hardware components. Guaranteeing RT in the presence of such timing imperfections is essential for building dependable NAS, and to avoid costly upgrades after deployment in industries.This investigation proposes a methodology and work-flow that combines modelling, simulation, verification, experiments, and software tools to verify the RT of the NAS during the design, rather than after deployment. The RT evaluation work-flow has three phases: model building, modelling and verification. During the model building phase component reaction times are specified and their timing performance is measured by combining experiments with simulation. During the modelling phase, component based mathematical models that capture the network architecture and inter-connection are proposed. Composition of the component models gives the NAS model required for studying the RT performance on system level. Finally, in the verification step, the NAS formal models are abstracted as UPPAAL timed automata with their timing interfaces. To model timing interfaces, the action patterns, and their timing wrapper are proposed. The formal model of high level of abstraction is used to verify the total response time of the NAS where the reactions to be verified are specified using a subset of timed computation tree logic (TCTL) in UPPAAL model checker. The proposed approach is illustrated on an industrial steam boiler deployment.     

Evolutionary circuit design for fast FPGA-based classification of network application protocols

The evolutionary design can produce fast and efficient implementations of digital circuits. It is shown in this paper how evolved circuits, optimized for the latency and area, can increase the throughput of a manually designed classifier of application protocols. The classifier is intended for high speed networks operating at 100 Gbps. Because a very low latency is the main design constraint, the classifier is constructed as a combinational circuit in a field programmable gate array (FPGA). The classification is performed using the first packet carrying the application payload. The improvements in latency (and area) obtained by Cartesian genetic programming are validated using a professional FPGA design tool. The quality of classification is evaluated by means of real network data. All results are compared with commonly used classifiers based on regular expressions describing application protocols.