Residuated bilattices

We introduce a new product bilattice construction that generalizes the well-known one for interlaced bilattices and others that were developed more recently, allowing to obtain a bilattice with two residuated pairs as a certain kind of power of an arbitrary residuated lattice. We prove that the class of bilattices thus obtained is a variety, give a finite axiomatization for it and characterize the congruences of its members in terms of those of their lattice factors. Finally, we show how to employ our product construction to define first-order definable classes of bilattices corresponding to any first-order definable subclass of residuated lattices.     

Consensus reaching models of linguistic preference relations based on distance functions

In group decision making (GDM) using linguistic preference relations to obtain the maximum degree of agreement, it is desirable to develop a consensus process prior to the selection process. This paper proposes two consensus models with linguistic information to support the GDM consensus reaching process. Two different distance functions between linguistic preference relations are introduced to measure both individual consistency and group consensus. Based on these measures, the consensus reaching models are developed. The two models presented have the same concept that the expert whose preference is farthest from the group preference needs to update their opinion according to the group preference relation. In addition, the convergence of the models is proved. After achieving the predefined consensus level, each expert’s consistency indexes are still acceptable under the condition that the initial preference relations are of satisfactory consistency. Finally, an example is given to show the effectiveness of the models and to verify the theoretical results.     

Intelligent control of doubly‐fed induction generator systems using PIDNNs

An intelligent control for a stand‐alone doubly‐fed induction generator (DFIG) system using a proportional‐integral‐derivative neural network (PIDNN) is proposed in this study. This system can be applied as a stand‐alone power supply system or as the emergency power system when the electricity grid fails for all sub‐synchronous, synchronous, and super‐synchronous conditions. The rotor side converter is controlled using field‐oriented control to produce 3‐phase stator voltages with constant magnitude and frequency at different rotor speeds. Moreover, the grid side converter, which is also controlled using field‐oriented control, is primarily implemented to maintain the magnitude of the DC‐link voltage. Furthermore, the intelligent PIDNN controller is proposed for both the rotor and grid side converters to improve the transient and steady‐state responses of the DFIG system for different operating conditions. Both the network structure and online learning algorithm are introduced in detail. Finally, the feasibility of the proposed control scheme is verified through experimentation. Copyright © 2011 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

A Distributed Workflow Management System with Case Study of Real-life Scientific Applications on Grids

Next-generation scientific applications feature complex workflows comprised of many computing modules with intricate inter-module dependencies. Supporting such scientific workflows in wide-area networks especially Grids and optimizing their performance are crucial to the success of collaborative scientific discovery. We develop a Scientific Workflow Automation and Management Platform (SWAMP), which enables scientists to conveniently assemble, execute, monitor, control, and steer computing workflows in distributed environments via a unified web-based user interface. The SWAMP architecture is built entirely on a seamless composition of web services: the functionalities of its own are provided and its interactions with other tools or systems are enabled through web services for easy access over standard Internet protocols while being independent of different platforms and programming languages. SWAMP also incorporates a class of efficient workflow mapping schemes to achieve optimal end-to-end performance based on rigorous performance modeling and algorithm design. The performance superiority of SWAMP over existing workflow mapping schemes is justified by extensive simulations, and the system efficacy is illustrated by large-scale experiments on real-life scientific workflows for climate modeling through effective system implementation, deployment, and testing on the Open Science Grid.     

An efficient initialization approach of Q-learning for mobile robots

This article demonstrates that Q-learning can be accelerated by appropriately specifying initial Q-values using dynamic wave expansion neural network. In our method, the neural network has the same topography as robot work space. Each neuron corresponds to a certain discrete state. Every neuron of the network will reach an equilibrium state according to the initial environment information. The activity of the special neuron denotes the maximum cumulative reward by following the optimal policy from the corresponding state when the network is stable. Then the initial Q-values are defined as the immediate reward plus the maximum cumulative reward by following the optimal policy beginning at the succeeding state. In this way, we create a mapping between the known environment information and the initial values of Q-table based on neural network. The prior knowledge can be incorporated into the learning system, and give robots a better learning foundation. Results of experiments in a grid world problem show that neural network-based Q-learning enables a robot to acquire an optimal policy with better learning performance compared to conventional Q-learning and potential field-based Qlearning.     

Passive internet-based crane teleoperation with haptic aids

Crane operation is a challenging task, due to the combined problem of obstacle avoidance and load swing suppression in underactuated conditions. This paper presents a human-machine interface that increases the operator’s perception of a gantry crane’s workspace. With this aim, a virtual environment resembling the workspace is connected with a haptic device. This allows the user to receive not only visual but also tactile feedback, thus increasing maneuvering safety. Additionally, this capability is integrated in a teleoperation setup, adopting a passivity-based control approach that guarantees overall stability. This includes also the design of controllers by means of the IDA-PBC method. Experimental results carried out with a laboratory crane show its feasibility for internet-based teleoperation and demonstrate the improvements on the system performance.     

Path tracking control of Lagrange systems with obstacle avoidance

This paper addresses a path tracking problem with obstacle avoidance for Lagrange systems. The proposed method is based on field potential methods in combination with navigation functions for obstacle avoidance. First, it is shown that a simple combination of the navigation function with the conventional path tracking controller does not work. Therefore, in order to cope with this problem, a new feedback law is proposed for a path parameter which characterizes the reference path. It is proved that the proposed controller achieves both path following and collision avoidance. Moreover, since the method adopts bounded navigation functions, the proposed controllers generate bounded input signals even when target systems approach obstacles. Finally, an experimental evaluation is performed with a two-link manipulator to illustrate the effectiveness of the proposed method.     

Electrokinetically driven concentration of particles and cells by dielectrophoresis with DC-offset AC electric field

Insulator-based dielectrophoresis (iDEP) has been successfully used for on-chip manipulations of biological samples. Despite its effectiveness, iDEP typically requires high DC voltages to achieve sufficient electric field; this is mainly due to the coupled phenomena among linear electrokinetics: electroosmosis (EO) and electrophoresis (EP) and nonlinear electrokinetics: dielectrophoresis (DEP). This paper presents a microfluidic technique using DC-offset AC electric field for electrokinetic concentration of particles and cells by repulsive iDEP. This technique introduces AC electric field for producing iDEP which is decoupled from electroosmosis (EO) and electrophoresis (EP). The repulsive iDEP is generated in a PDMS tapered contraction channel that induces non-uniform electric field. The benefits of introducing AC electric field component are threefold: (i) it contributes to DEP force acting on particles, (ii) it suppresses EO flow and (iii) it does not cause any EP motion. As a result, the required DC field component that is mainly used to transport particles on the basis of EO and EP can be significantly reduced. Experimental results supported by numerical simulations showed that the total DC-offset AC electric field strength required to concentrate 15-μm particles is significantly reduced up to 85.9% as compared to using sole DC electric field. Parametric experimental studies showed that the higher buffer concentration, larger particle size and higher ratio of AC-to-DC electric field are favorable for particle concentration. In addition, the proposed technique was demonstrated for concentration of yeast cells.     

A power-free deposited microbead plug-based microfluidic chip for whole-blood immunoassay

We present a deposited microbead plug (DMBP)-based microfluidic chip capable of performing plasma extraction and on-chip immunoassay. The DMBP used as a porous blood filter provides pure blood plasma without the contamination of blood cells or beads. Capillary-driven flow eliminates the requirement of external pumps. The human IgG and goat anti-human IgG sample-to-answer assay was performed in this chip within 600 s using only a 10 μl whole-blood sample. This easy-to-use, rapid, inexpensive, and disposable DMBP-based chip holds a great promise for point-of-care application.     

A simple and cost-effective method for fabrication of integrated electronic-microfluidic devices using a laser-patterned PDMS layer

We report a simple and cost-effective method for fabricating integrated electronic-microfluidic devices with multilayer configurations. A CO₂ laser plotter was employed to directly write patterns on a transferred polydimethylsiloxane (PDMS) layer, which served as both a bonding and a working layer. The integration of electronics in microfluidic devices was achieved by an alignment bonding of top and bottom electrode-patterned substrates fabricated with conventional lithography, sputtering and lift-off techniques. Processes of the developed fabrication method were illustrated. Major issues associated with this method as PDMS surface treatment and characterization, thickness-control of the transferred PDMS layer, and laser parameters optimization were discussed, along with the examination and testing of bonding with two representative materials (glass and silicon). The capability of this method was further demonstrated by fabricating a microfluidic chip with sputter-coated electrodes on the top and bottom substrates. The device functioning as a microparticle focusing and trapping chip was experimentally verified. It is confirmed that the proposed method has many advantages, including simple and fast fabrication process, low cost, easy integration of electronics, strong bonding strength, chemical and biological compatibility, etc.