Using Automated Negotiation for Grid Services

The popularity of grid services has widened their application to numerous domains and increased the utilization of computational resources. In order to create more incentives for the resources owners to lease their resources and prevent users from wasting the resources, the introduction of a market-oriented grid is inevitable. However, the issues for the negotiation between service provider and consumer over the supply and demand of resources can be complex, with highly interdependent issues. In this research, a simulated automated negotiation mechanism including a co-evolutionary mechanism and a modified game theory approach is proposed, to assist them in reaching an agreement over the conflicting issues. In the proposed architecture, the co-evolution process is able to reduce the multiple dimensional search space into a two-dimension search space and identify the appropriate negotiation strategies for the negotiating agents to form a payoff matrix which can be used for the game theory related stage of their interaction. The multiple stage negotiation process is introduced to improve the negotiation result. In this paper, an application which requires a large amount of computational resources to process the data generated from mobile devises is used to demonstrate that the proposed system is able to resolve the conflicts and obtain a valid solution.     

Transit smart card data mining for passenger origin information extraction

The automated fare collection(AFC) system,also known as the transit smart card(SC) system,has gained more and more popularity among transit agencies worldwide.Compared with the conventional manual fare collection system,an AFC system has its inherent advantages in low labor cost and high efficiency for fare collection and transaction data archival.Although it is possible to collect highly valuable data from transit SC transactions,substantial efforts and methodologies are needed for extracting such data because most AFC systems are not initially designed for data collection.This is true especially for the Beijing AFC system,where a passenger’s boarding stop(origin) on a flat-rate bus is not recorded on the check-in scan.To extract passengers’ origin data from recorded SC transaction information,a Markov chain based Bayesian decision tree algorithm is developed in this study.Using the time invariance property of the Markov chain,the algorithm is further optimized and simplified to have a linear computational complexity.This algorithm is verified with transit vehicles equipped with global positioning system(GPS) data loggers.Our verification results demonstrated that the proposed algorithm is effective in extracting transit passengers’ origin information from SC transactions with a relatively high accuracy.Such transit origin data are highly valuable for transit system planning and route optimization.     

基于AROP程序包的类Landsat遥感影像配准与正射纠正试验和精度分析

遥感影像的精确配准和正射纠正是进行图像融合、变化检测、图像镶嵌、定量遥感建模、多时相和多传感器影像协同应用的基础和前提。以美国国家航空和航天管理局下设LEDAPS(Landsat Ecosystem Disturbance Adaptive Processing System)课题组开发的配准与正射纠正程序包AROP(Automated Registration and Orthorectification Package)为例,详细阐述了其配准的原理与程序设计流程,并对其配准的精度进行了分析和评价。试验表明:AROP程序包算法能够找出足够的控制点,且控制点分布较为均匀,配准误差小于0.5个像元。误差特征表现为:扫描误差明显大于航向误差,误差的结果与影像漂移、DEM、坡度存在一定的相关性,高程和坡度是影响配准精度的主要因素之一。该程序包目前能够用于对我国CBERS影像的正射校正以及波段不匹配处理,但是对HJ卫星CCD影像数据配准还有待于进一步研究。     

Hysteresis Compensation and Adaptive Controller Design for a Piezoceramic Actuator System in Atomic Force Microscopy

This paper presents an indirect adaptive controller combined with hysteresis compensation to achieve high accuracy positioning control of piezoceramic actuators and illustrates the results with an atomic force microscope (AFM) application. A dynamic model of a piezoceramic actuator system in AFM is derived and analyzed. A feedforward controller based on the Preisach model is proposed to compensate for the nonlinear hysteresis effects. Then an indirect adaptive controller is designed to achieve desired tracking performance as well as deal with the uncompensated nonlinearity from hysteresis and the system parameter variation due to creep. Experimental results indicate that the proposed controller can significantly improve the positioning control accuracy of the piezoceramic actuator as well as achieve high image quality of the AFM system. The maximum scanning error was reduced from 2µm to 0.3µm in comparison with a proportional‐integral‐derivative (PID) controller. Copyright © 2011 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society     

A λ-unifiability test for set theory

We present a semi-decision algorithm for the unifiability of two set-theoretic formulas modulo -reduction. The algorithm is based on the approach developed by G. Huet for type theory, but requires additional measures because formulas in set theory are not all normalizable. We present the algorithm in an Ada-like pseudocode, and then prove two theorems that show the completeness and correctness of the procedure. We conclude by showing that -unification is not a complete quantifier substitution method for set theory-unlile first-order unification and first-order logic. In this respect set theory is similar to type theory (higher-order logic).This material is based upon work supported by the National Science Foundation under award number ISI-8560438. Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the author and do not necessarily reflect the views of the National Science Foundation.     

Alcohol consumption detection through behavioural analysis using intelligent systems

We describe in this paper a new methodology for blood alcohol content (BAC) estimation of a subject. Rather than using external devices to determine the BAC value of a subject, we perform a behaviour analysis of this subject using intelligent systems. We monitor the user’s actions in an ordinary task and label those data to various measured BAC values. The obtained data-set is then used to train learning systems to detect alcoholic consumption and perform BAC estimation. We obtain good results on a mono-user base, and lower results with multiple users. We improve the results by combining multiple classifiers and regression algorithms.     

Tactile display with tangential and normal skin displacement for robot-assisted surgery

This paper proposes a tactile display providing both shear and normal feedback to the fingertip for generating three-axis tactile feedback during teleoperation of a surgical robot. The display is composed of five balloons actuated by controlling the pneumatic pressure. The implemented display is 18?mm?×?18?mm?×?15?mm. This size is suitable for mounting the display onto the master controls of a surgical robot. The maximum normal and shear displacements are 2 and 1.3?mm, respectively. The proposed tactile display may provide perceivable stimuli to a human finger pad in all five directions: normal, distal, proximal, radial, and ulnar. This paper also reports on the results of psychophysical measurement of the minimum perceivable movement of the developed tactile display for each of the five directions.     

Development of large-scale stacked-type electrostatic actuators for use as artificial muscles

Electrostatic actuators have the advantages of light weight, flexibility, and high energy efficiency, which make them suitable for use as artificial muscles. However, a traditional electrostatic actuator cannot generate long strokes and a high force density at the same time because such actuator would excessively widen the gap between the electrodes because of its structure. This paper presents a newly developed large-scale stacked-type electrostatic actuator (LSEA) intended for use as an artificial muscle for robots. LSEA is a multi-stacked electrostatic actuator that can be linearly contracted by the application of a voltage. It has a unique structure that prevents overextension of the gap between the electrodes. It can therefore generate a large force. The spring characteristics and the relationship between the contractive force and the stroke were experimentally determined. The findings showed that LSEA prevents the overextension of the gap between the electrodes and has a high contraction ratio that is equivalent to that of a mammalian skeletal muscle.     

Rescheduling policies for large-scale task allocation of autonomous straddle carriers under uncertainty at automated container terminals

This paper investigates replanning strategies for container-transportation task allocation of autonomous Straddle Carriers (SC) at automated container terminals. The strategies address the problem of large-scale scheduling in the context of uncertainty (especially uncertainty associated with unexpected events such as the arrival of a new task). Two rescheduling policies–Rescheduling New arrival Jobs (RNJ) policy and Rescheduling Combination of new and unexecuted Jobs (RCJ) policy–are presented and compared for long-term Autonomous SC Scheduling (ASCS) under the uncertainty of new job arrival. The long-term performance of the two rescheduling policies is evaluated using a multi-objective cost function (i.e., the sum of the costs of SC travelling, SC waiting, and delay of finishing high-priority jobs). This evaluation is conducted based on two different ASCS solving algorithms–an exact algorithm (i.e., branch-and-bound with column generation (BBCG) algorithm) and an approximate algorithm (i.e., auction algorithm)–to get the schedule of each short-term planning for the policy. Based on the map of an actual fully-automated container terminal, simulation and comparative results demonstrate the quality advantage of the RCJ policy compared with the RNJ policy for task allocation of autonomous straddle carriers under uncertainty. Long-term testing results also show that although the auction algorithm is much more efficient than the BBCG algorithm for practical applications, it is not effective enough, even when employed by the superior RCJ policy, to achieve high-quality scheduling of autonomous SCs at the container terminals.     

A virtual actuator and sensor approach for fault tolerant control of LPV systems

In this paper, a fault tolerant control (FTC) strategy using virtual actuators and sensors for linear parameter varying (LPV) systems is proposed. The main idea of this FTC method, initially developed for LTI systems, is to reconfigure the control loop such that the nominal controller could still be used without need of retuning it. The plant with the faulty actuator/sensor is modified adding the virtual actuator/sensor block that masks the actuator/sensor fault. The suggested technique is an active FTC strategy that reconfigures the virtual actuator/sensor on-line taking into account faults and operating point changes. The stability of the reconfigured control loop is guaranteed if the faulty plant is stabilizable/detectable. The LPV virtual actuator/sensor is designed using polytopic LPV techniques and linear matrix inequalities (LMIs). A two-tank system simulator is used to assess the performance of the proposed method. In particular, it is shown that the application of the proposed technique results in an improvement, in terms of performance, with respect to the LTI counterpart.