Infrared target-flare discrimination using a ZISC hardware neural network

The last generation of infrared imaging aircraft seekers and trackers uses pattern recognition algorithms to find and keep a lock on an aircraft in the presence of decoy flares. These algorithms identify targets, based on the features of the various objects in the missile’s field of view. Because modern both aircrafts and missiles fly faster than sound, speed of operation of the target identifier is critical. In this article, we propose a target recognition system that respects this time constraint. It is based on an artificial neural network implemented in hardware, as a set of parallel processors on a commercially available silicon chip called a ZISC, for zero instruction set computer. This chip would be integrated in the infrared missile seeker and tracker. We describe the characteristics of the images that the image processing module of this seeker and tracker extracts from the infrared video frames and show how to construct from these translation and rotation invariant features that can be used as input to the neural network. We determine the individual discriminating power of these features by constructing their histograms, which allows us to eliminate some as not being useful for our purpose. Finally, by testing our system on real data, we show that it has a 90% success rate in aircraft-flare identification, and a processing time that during this time, the aircrafts and missiles will have traveled only a few millimeters. Most of the images on which the neural network makes its mistakes are seen to be hard to recognize even by a human expert.     

Geometrically non-linear behavior of structural systems with random material property: An asymptotic spectral stochastic approach

An asymptotic spectral stochastic approach is presented for computing the statistics of the equilibrium path in the post-bifurcation regime for structural systems with random material properties. The approach combines numerical implementation of Koiter’s asymptotic theory with a stochastic Galerkin scheme and collocation in stochastic space to quantify uncertainties in the parametric representation of the load–displacement relationship, specifically in the form of uncertain post-buckling slope, post-buckling curvature, and a family of stochastic displacement fields. Using the proposed method, post-buckling response statistics for two plane frames are obtained and shown to be in close agreement with those obtained from Monte Carlo simulation, provided a fine enough spectral representation is used to model the variability in the random dimension.     

Coding of watershed and river hierarchy to support GIS-based hydrological analyses at different scales

A procedure is presented to automatically assign a modified Pfafstetter code to a stream network and its associated watersheds. The first step is to build a topological network according to the object-oriented Arc Hydro framework definition in ArcGIS. These network relations are then mapped into a code that fully represents the stream hierarchy of a basin in a single attribute. Its use does not depend on ArcGIS object orientation and facilitates simple hierarchical aggregation and querying using only the attribute tables of shapefile versions of the stream network and watershed datasets. The code was implemented for the whole of Austria to support the flexible presentation and user-defined aggregation of water balance results in the digital version of the Hydrological Atlas of Austria.     

Fabrication and characterization of a miniaturized planar voltammetric sensor array for use in an electronic tongue

A planar voltammetric sensor array for use in an electronic tongue was fabricated using a combination of microfabrication techniques. The techniques of e-beam evaporation and pulsed laser deposition were applied to prepare a device that contained all of the electrodes integrated on a silicon die (6 mm × 6 mm). The working electrodes were metals gold, platinum, iridium and rhodium. They were characterized by SEM and EDX, and by electrochemical investigation of the packaged dies with cyclic voltammetry in solutions of sulfuric acid and of ferrocene carboxylic acid in aqueous buffer solution. The robustness and reproducibility of the devices were assessed by potential cycling in acid solution.     

Identification and quantification of different vapours using a single polymer chemoresistor and the novel dual transient temperature modulation technique

This paper presents a novel signal processing technique for a square wave temperature modulated carbon black/polymer composite sensor. The technique consists of only two mathematical operations: summing the off- and on-transients of the conductance signals, and subtracting the steady-state conductance signal. The technique has been verified through its application to a carbon black/polyvinylpyrrolidone composite chemoresistor. Identification of water, methanol and ethanol vapours was successfully demonstrated using the peak time of the resultant curves. Furthermore, quantification of those vapours was found to be possible using the height of the peak heights, which was linearly proportional to concentration. The technique does not require zero-gas calibration and thus is superior to previously reported techniques.     

Efficient simulation of hard disk drive operational shock response using model order reduction

The complex structure, coupled mechanical and fluidic energy domains, and inherent nonlinearity of air bearing between slider and disk involved in the hard disk drive (HDD) are normally presented as a large scale problem which will result in very heavy computational costs in terms of intensive computation and time consuming for HDD research communities and industries to carry out the transient dynamic simulation for HDD design verification, performance analysis, and optimization by using the traditional full-order models, such as finite element model (FEM). This paper presents a method of application of model order reduction (MOR) technique to dramatically reduce the computation time for HDD transient shock performance analysis while capturing the behaviors of original problem faithfully. The reduced models are obtained by performing MOR directly to the FEMs through Krylov subspace and Arnoldi algorithm. The transient operational shock response results of the reduced models of a head suspension assembly (HSA) subjected to half-sine shock pulse demonstrate that the reduced models can dramatically reduce total computation by at least three orders and have very good agreement with those simulated from the original large problem by full-order FEM.     

Reduction rules for YAWL workflows with cancellation regions and OR-joins

As the need for concepts such as cancellation and OR-joins occurs naturally in business scenarios, comprehensive support in a workflow language is desirable. However, there is a clear trade-off between the expressive power of a language (i.e., introducing complex constructs such as cancellation and OR-joins) and ease of verification. When a workflow contains a large number of tasks and involves complex control flow dependencies, verification can take too much time or it may even be impossible. There are a number of different approaches to deal with this complexity. Reducing the size of the workflow, while preserving its essential properties with respect to a particular analysis problem, is one such approach. In this paper, we present a set of reduction rules for workflows with cancellation regions and OR-joins and demonstrate how they can be used to improve the efficiency of verification. Our results are presented in the context of the YAWL workflow language.     

Agent-based negotiation and decision making for dynamic supply chain formation

Modern businesses are facing the challenge of effectively coordinating their supply chains from upstream to downstream services. It is a complex problem to search, schedule, and coordinate a set of services from a large number of service resources under various constraints and uncertainties. Existing approaches to this problem have relied on complete information regarding service requirements and resources, without adequately addressing the dynamics and uncertainties of the environments. The real-world situations are complicated as a result of ambiguity in the requirements of the services, the uncertainty of solutions from service providers, and the interdependencies among the services to be composed. This paper investigates the complexity of supply chain formation and proposes an agent-mediated coordination approach. Each agent works as a broker for each service type, dedicated to selecting solutions for each service as well as interacting with other agents in refining the decision making to achieve compatibility among the solutions. The coordination among agents concerns decision making at strategic, tactical, and operational level. At the strategic level, agents communicate and negotiate for supply chain formation; at the tactical level, argumentation is used by agents to communicate and understand the preferences and constraints of each other; at the operational level, different strategies are used for selecting the preferences. Based on this approach, a prototype has been implemented with simulated experiments highlighting the effectiveness of the approach.     

The modeling of mode choices of intercity freight transportation with the artificial neural networks and adaptive neuro-fuzzy inference system

Mode choice modeling is probably the most important element of transportation planning. It affects the general efficiency of travel and the allocation of resources. The development of mode choice models has recently witnessed significant advances in many fields, such as passenger and freight transport. A large number of mathematical models have been used to model the traveler’s choice of mode and destination and the shipper’s choice of mode, shipment size and supply market, among others. Such models are not only becoming almost intractable but also data intensive, difficult to calibrate and update, and intransferable. These models cover a wide range of mathematical complexity and accuracy. This paper describes a new approach to mode choice of intercity freight transport modeling using artificial neural networks (ANNs) and adaptive neuro-fuzzy inference system (ANFIS) models. The new approach combines the learning ability of artificial neural networks and the transparent nature of fuzzy logic. The approach is found to be highly adaptive and efficient in investigating non-linear relationships among different variables. The adaptive neuro-fuzzy inference system model is tested on the freight transport market in Turkey, Germany, France and Austria by using information on the freight flows and their attributes. The ANNs and ANFIS models are more successful in the representation of the non-linear behavior of mode choice of intercity freight transport compared to the classical models.     

Consideration of plant behaviour in optimal servo-compensator design

Where the most prevalent optimal servo-compensator formulations penalise the behaviour of an error system, this paper considers the problem of additionally penalising the actual states and inputs of the plant. Doing so has the advantage of enabling the penalty function to better resemble an economic cost. This is especially true of problems where control effort needs to be sensibly allocated across weakly redundant inputs or where one wishes to use penalties to soft-constrain certain states or inputs. It is shown that, although the resulting cost function grows unbounded as its horizon approaches infinity, it is possible to formulate an equivalent optimisation problem with a bounded cost. The resulting optimisation problem is similar to those in earlier studies but has an additional ‘correction term’ in the cost function, and a set of equality constraints that arise when there are redundant inputs. A numerical approach to solve the resulting optimisation problem is presented, followed by simulations on a micro–macro positioner that illustrate the benefits of the proposed servo-compensator design approach.