How to Make $T$-Transitive a Proximity Relation

Three ways to approximate a proximity relation $R$ (i.e., a reflexive and symmetric fuzzy relation) by a $T$ -transitive one where $T$ is a continuous Archimedean $t$-norm are given. The first one aggregates the transitive closure $overline{R}$ of $R$ with a (maximal) $T$-transitive relation $B$ contained in $R$ . The second one computes the closest homotecy of $overline{R}$ or $B$ to better fit their entries with the ones of $R$. The third method uses nonlinear programming techniques to obtain the best approximation with respect to the Euclidean distance for $T$ the $Lstrok$ukasiewicz or the product $t$-norm. The previous methods do not apply for the minimum $t$-norm. An algorithm to approximate a given proximity relation by a ${rm Min}$-transitive relation (a similarity) is given in the last section of the paper.      

On the NP-Hardness of Checking Matrix Polytope Stability and Continuous-Time Switching Stability

Motivated by questions in robust control and switched linear dynamical systems, we consider the problem checking whether all convex combinations of $k$ matrices in $R^{n times n}$ are stable. In particular, we are interested whether there exist algorithms which can solve this problem in time polynomial in $n$ and $k$. We show that if $k= lceil n^{d} rceil $ for any fixed real $d>0$, then the problem is NP-hard, meaning that no polynomial-time algorithm in $n$ exists provided that $P ne NP$, a widely believed conjecture in computer science. On the other hand, when $k$ is a constant independent of $n$ , then it is known that the problem may be solved in polynomial time in $n$. Using these results and the method of measurable switching rules, we prove our main statement: verifying the absolute asymptotic stability of a continuous-time switched linear system with more than $n^{d}$ matrices $A_{i} in R^{n times n}$ satisfying $0 succeq A_{i} + A_{i}^{T}$ is NP-hard.      

Two-Dimensional Contact and Noncontact Micromanipulation in Liquid Using an Untethered Mobile Magnetic Microrobot

This paper presents the manipulation of microspheres under water by use of an untethered electromagnetically actuated magnetic microrobot (Mag-$mu$Bot), with dimensions $hbox{250} times hbox{130} times hbox{100} mu$ m$^3$. Manipulation is achieved by two means: contact and noncontact pushing modes. In contact manipulation, the Mag-$mu$Bot is used to physically push the microspheres. In noncontact manipulation, the fluid flow generated by the translation of the Mag-$mu$Bot is used to push the microspheres. Modeling of the system is performed, taking into account micrometer-scale surface forces and fluid drag effects to determine the motion of a sphere within a robot-generated fluid flow. Fluid drag models for free-stream flow and formulations for near-wall flow are both analyzed and compared with the experiments, in which pushing of two sphere sizes, i.e., $hbox{50}$ and $hbox{230}, mu$m diameters, is characterized in a controlled, robot-generated flow. Dynamic simulations are provided using the developed physical models to capture this behavior. We find that the near-wall physical models are, in general, in agreement with the experiment, and free-stream models overestimate microsphere motion.      

Binaural Sound Source Distance Learning in Rooms

A method for learning the distance of a sound source in a room is presented. The proposed method is based on short-time magnitude-squared coherence between the two channels of a binaural signal. Based on white noise as the training data, a coherence profile is obtained at each desired position in the room. These profiles can then be used to identify the most likely distance of a speech signal in the same room. The proposed approach is compared to a previous method for learning the position of a sound source. The results indicate that the both methods are able to identify the distance of a speech sound source correctly in a grid with 0.5-m spacing in most cases, when the orientation of the listener is 0$^{circ}$ , 30$^{circ}$ , 60$^{circ}$ , 90$^{circ}$ , or 180$^{circ}$ on the horizontal plane.      

Discharge-Based Pressure Sensors for High-Temperature Applications Using Three-Dimensional and Planar Microstructures

Two versions of microdischarge-based pressure sensors, which operate by measuring the change, with pressure, in the spatial current distribution of pulsed dc microdischarges, are reported. The inherently high temperatures of the ions and electrons in the microdischarges make these devices amenable to high-temperature operation. The first sensor type uses 3-D arrays of horizontal bulk metal electrodes embedded in quartz substrates with electrode diameters of 1–2 mm and 50–100-$muhbox{m}$ interelectrode spacing. These devices were operated in nitrogen over a range of 10–2000 torr, at temperatures as high as 1000 $^{circ}hbox{C}$. The maximum measured sensitivity was 5420 ppm/torr at the low end of the dynamic range and 500 ppm/torr at the high end, while the temperature coefficient of sensitivity ranged from $-$925 to $-$550 ppm/K. Sensors of the second type use planar electrodes and have active areas as small as 0.13 $hbox{mm}^{2}$. These devices, when tested in a chemical sensing system flowing helium as a carrier gas, had a maximum sensitivity of 9800 ppm/torr, a dynamic range of 25–200 torr, and a temperature coefficient of sensitivity of approximately $-$1412 ppm/K.$hfill$ [2008-0262]      

Reducing Anchor Loss in MEMS Resonators Using Mesa Isolation

In microelectromechanical systems resonators, dissipation of energy through anchor points into the substrate adds to resonator energy loss, contributing to low values of $Q$. A design for improving $Q$ based on the reflection of anchor-generated surface acoustic waves is presented here. In this design, the resonator is surrounded by a trench, or a mesa, that partially reflects the wave energy back to the resonator. Depending on the distance from the resonator to the mesa, the reflected wave interferes either constructively or destructively with the resonator, increasing or decreasing $Q$. The proposed design is experimentally tested using a dome-shaped flexural mode resonator for a range of distances of the mesa from the resonator. Improvements in $Q$ of up to 400% are observed. The resonator/mesa system is modeled using a commercially available finite-element code. Experiments and simulations compare well, suggesting that a finite-element-method analysis can be used in the preliminary design of mesas for the optimization of $Q$. The concept of using mesas to improve $Q$ is simulated for both flexural and in-plane modes of vibration.$hfill$[2008-0149]      

Modeling the Expressivity of Input Text Semantics for Chinese Text-to-Speech Synthesis in a Spoken Dialog System

This work focuses on the development of expressive text-to-speech synthesis techniques for a Chinese spoken dialog system, where the expressivity is driven by the message content. We adapt the three-dimensional pleasure-displeasure, arousal-nonarousal and dominance-submissiveness (PAD) model for describing expressivity in input text semantics. The context of our study is based on response messages generated by a spoken dialog system in the tourist information domain. We use the $P$ (pleasure) and $A$ (arousal) dimensions to describe expressivity at the prosodic word level based on lexical semantics. The $D$ (dominance) dimension is used to describe expressivity at the utterance level based on dialog acts. We analyze contrastive (neutral versus expressive) speech recordings to develop a nonlinear perturbation model that incorporates the PAD values of a response message to transform neutral speech into expressive speech. Two levels of perturbations are implemented—local perturbation at the prosodic word level, as well as global perturbation at the utterance level. Perceptual experiments involving 14 subjects indicate that the proposed approach can significantly enhance expressivity in response generation for a spoken dialog system.      

Analytical Model of Valveless Micropumps

The flow driven by a valveless micropump with a single cylindrical pump chamber and two diffuser/nozzle elements is studied theoretically using a 1-D model. The pump cavity is driven at an angular frequency $omega$ so that its volume oscillates with an amplitude $V_{rm m}$. The presence of diffuser/nozzle elements with pressure-drop coefficients $zeta_{+}$, $zeta_{-}( ≫ zeta_{+})$ and throat cross-sectional area $A_{1}$ creates a rectified mean flow. In the absence of frictional forces the maximum mean volume flux (with zero pressure head) is $Q_{0}$ where $Q_{0}/V_{rm m}omega = (zeta_{-} -break zeta_{+})pi/16(zeta_{-}+zeta_{+})$, while the maximum pressure that can be overcome is $Delta P_{max}$ where $ Delta P_{max}A_{1}^{2}/V_{rm m}^{2} omega^{2} !=! (zeta_{-} -break zeta_{+})/16$. These analytical results agree with numerical calculations for the coupled system of equations and compare well with the experimental results of Stemme and Stemme.$hfill$ [2008-0244]      

Regular Simplex Fingerprints and Their Optimality Properties

This paper addresses the design of additive fingerprints that are maximally resilient against linear collusion attacks on a focused correlation detector, as defined below. Let $N$ be the length of the host vector and $Mleq N+1$ the number of users. The focused detector performs a correlation test in order to decide whether a user of interest is among the colluders. Both the fingerprint embedder and the colluders are subject to squared-error distortion constraints. We show that simplex fingerprints maximize a geometric figure of merit for this detector. In that sense they outperform orthogonal fingerprints but the advantage vanishes as $M rightarrow infty $. They are also optimal in terms of minimizing the probability of error of the focused detector when the attack is a uniform averaging of the marked copies followed by the addition of white Gaussian noise. Reliable detection is guaranteed provided that the number of colluders $Kll sqrt N$. Moreover, we study the probability of error performance of simplex fingerprints for the focused correlation detector when the colluders use nonuniform averaging plus white Gaussian noise attacks.      

On Constructing Parsimonious Type-2 Fuzzy Logic Systems via Influential Rule Selection

Type-2 fuzzy systems are increasing in popularity, and there are many examples of successful applications. While many techniques have been proposed for creating parsimonious type-1 fuzzy systems, there is a lack of such techniques for type-2 systems. The essential problem is to reduce the number of rules, while maintaining the system's approximation performance. In this paper, four novel indexes for ranking the relative contribution of type-2 fuzzy rules are proposed, which are termed $R$-values, $c$-values, $omega _1 $-values, and $omega _2 $-values. The $R$-values of type-2 fuzzy rules are obtained by applying a QR decomposition pivoting algorithm to the firing strength matrices of the trained fuzzy model. The $c$-values rank rules based on the effects of rule consequents, while the $omega _1 $-values and $omega _2 $-values consider both the rule-base structure (via firing strength matrices) and the output contribution of fuzzy rule consequents. Two procedures for utilizing these indexes in fuzzy rule selection (termed “forward selection” and “backward elimination”) are described. Experiments are presented which demonstrate that by using the proposed methodology, the most influential type-2 fuzzy rules can be effectively retained in order to construct parsimonious type-2 fuzzy models.      

$ {cal L}_{2}$ Gain of Periodic Linear Switched Systems: Fast Switching Behavior

We investigate the $ {cal L}_{2}$ gain of periodic linear switched systems under fast switching. For systems that possess a suitable notion of a time-average system, we characterize the relationship between the ${cal L}_{2}$ gain of the switched system and the ${cal L}_{2}$ gain of its induced time-average system when the switching rate is sufficiently fast. We show that the switched system ${cal L}_{2}$ gain is in general different from the average system ${cal L}_{2}$ gain if the input or output coefficient matrix switches. If only the state coefficient matrix switches, the input-output energy gain for a fixed ${cal L}_{2}$ input signal is bounded by the ${cal L}_{2}$ gain of the average system as the switching rate grows large. Additionally, for a fixed ${cal L}_{2}$ input, the maximum pointwise in time difference between the switched and average system outputs approaches zero as the switching rate grows.      

Fuzzy Subsethood for Fuzzy Sets of Type-2 and Generalized Type- ${n}$

In this paper, we use Zadeh's extension principle to extend Kosko's definition of the fuzzy subsethood measure $S(G,H)$ to type-2 fuzzy sets defined on any set $X$ equipped with a measure. Subsethood is itself a fuzzy set that is a crisp interval when $G$ and $H$ are interval type-2 sets. We show how to compute this interval and then use the result to compute subsethood for general type-2 fuzzy sets. A definition of subsethood for arbitrary fuzzy sets of type- $n ≫ 2$ is then developed. This subsethood is a type-( $n-1$) fuzzy set, and we provide a procedure to compute subsethood of interval type-3 fuzzy sets.      

Serially Connected Weight-Balanced Digital Actuators for Wide-Range High-Precision Low-Voltage-Displacement Control

This paper presents the design, fabrication, and characterization of a new serial digital actuator, achieving an improvement in range-to-precision and range-to-voltage performance. We propose a weight-balanced design for the serial actuators with serpentine springs with a serial arrangement of unit digital actuators. We have measured the displacement range, precision, and drive voltage of unit and serial actuation at 1 Hz. The serial digital actuators produce a full-range displacement of $28.44 pm 0.02 muhbox{m}$ , accumulating unit displacements of $2.8 pm 0.5 muhbox{m}$ at an operating voltage of 4.47 $pm$ 0.07 V. In addition, the serial digital actuators that have a displacement precision of 37.94 $pm$ 6.26 nm do not accumulate the displacement errors of the unit actuators, i.e., 36.0 $pm$ 17.7 nm. We experimentally verify that the serial digital actuators achieve a range-to-squared-voltage ratio of 1.423 $muhbox{m/V}^{2}$ and a range-to-precision ratio of 749.6.$hfill$ [2009-0020]      

Decentralized $H_{infty }$ Filter Design for Discrete-Time Interconnected Fuzzy Systems

This paper describes a decentralized $H_{infty }$ filter design for discrete-time interconnected fuzzy systems based on piecewise-quadratic Lyapunov functions. The systems consist of $J$discrete-time interconnected Takagi–Sugeno (T–S) fuzzy subsystems, and a decentralized $H_infty$ filter is designed for each subsystem. It is shown that the stability of the overall filtering-error system with $H_{infty }$ performance can be established if a piecewise-quadratic Lyapunov function can be constructed. Moreover, the parameters of filters can be obtained by solving a set of linear matrix inequalities that are numerically feasible. Two simulation examples are given to show the effectiveness of the proposed approach.      

On $Delta$-Transforms

Any set of two legs in a Gough–Stewart platform sharing an attachment is defined as a $Delta$component. This component links a point in the platform (base) to a line in the base (platform). Thus, if the two legs, which are involved in a $Delta$ component, are rearranged without altering the location of the line and the point in their base and platform local reference frames, the singularity locus of the Gough–Stewart platform remains the same, provided that no architectural singularities are introduced. Such leg rearrangements are defined as $Delta$-transforms, and they can be applied sequentially and simultaneously. Although it may seem counterintuitive at first glance, the rearrangement of legs using simultaneous $Delta$-transforms does not necessarily lead to leg configurations containing a $Delta$component. As a consequence, the application of $Delta$-transforms reveals itself as a simple, yet powerful, technique for the kinematic analysis of large families of Gough–Stewart platforms. It is also shown that these transforms shed new light on the characterization of architectural singularities and their associated self-motions.      

Real-Time Temperature Compensation of MEMS Oscillators Using an Integrated Micro-Oven and a Phase-Locked Loop

We present a new temperature compensation system for microresonator-based frequency references. It consists of a phase-locked loop (PLL) whose inputs are derived from two microresonators with different temperature coefficients of frequency. The resonators are suspended within an encapsulated cavity and are heated to a constant temperature by the PLL controller, thereby achieving active temperature compensation. We show repeated real-time measurements of three 1.2-MHz prototypes that achieve a frequency stability of $pm$ 1 ppm from $-20 ^{circ}hbox{C}$ to $+80 ^{circ}hbox{C}$, as well as a technique to reduce steady-state frequency errors to $pm$0.05 ppm using multipoint calibration.$hfill$[2009-0074]      

Evanescent-Wave Spectroscopy Using an SU-8 Waveguide for Rapid Quantitative Detection of Biomolecules

A 30-mm-long multimode waveguide, 40 $muhbox{m}$ wide and 40 $muhbox{m}$ high, is fabricated on a silicon wafer using polymer SU-8 as the core and liquid buffer as the cladding. Antibodies are successfully immobilized on the SU-8 surface designated for binding target antigens dispersed in the buffer solution. Evanescent-wave spectroscopy is performed by exciting the fluorescently labeled antigens, bound to the waveguide surface within its evanescence field, and measuring the emission light intensity. This evanescent-wave biosensor detects specific molecular interaction. The optical output as a function of the antigen concentration can be described by Langmuir equation. Antigen concentration as low as 1.5 $muhbox{g}/hbox{mL}$ is detected; concentrations higher than 100 $muhbox{g}/hbox{mL}$ lead to sensor saturation. $hfill$[2008-0058]      

The Global Kernel $k$-Means Algorithm for Clustering in Feature Space

Kernel $k$-means is an extension of the standard $k$ -means clustering algorithm that identifies nonlinearly separable clusters. In order to overcome the cluster initialization problem associated with this method, we propose the global kernel $k$-means algorithm, a deterministic and incremental approach to kernel-based clustering. Our method adds one cluster at each stage, through a global search procedure consisting of several executions of kernel $k$-means from suitable initializations. This algorithm does not depend on cluster initialization, identifies nonlinearly separable clusters, and, due to its incremental nature and search procedure, locates near-optimal solutions avoiding poor local minima. Furthermore, two modifications are developed to reduce the computational cost that do not significantly affect the solution quality. The proposed methods are extended to handle weighted data points, which enables their application to graph partitioning. We experiment with several data sets and the proposed approach compares favorably to kernel $k$ -means with random restarts.      

Distance-Dependent Head-Related Transfer Functions Measured With High Spatial Resolution Using a Spark Gap

A measurement of head-related transfer functions (HRTFs) with high spatial resolution was carried out in this study. HRTF measurement is difficult in the proximal region because of the lack of an appropriate acoustic point source. In this paper, a modified spark gap was used as the acoustic sound source. Our evaluation experiments showed that the spark gap was more like an acoustic point source than others previously used from the viewpoints of frequency response, directivity, power attenuation, and stability. Using this spark gap, high spatial resolution HRTFs were measured at 6344 spatial points, with distances from 20 to 160 cm, elevations from $-$40$^circ$ to 90 $^circ$, and azimuths from 0$^circ$ to 360$^circ$. Based on these measurements, an HRTF database was obtained and its reliability was confirmed by both objective and subjective evaluations.      

Post-CMOS-Compatible Aluminum Nitride Resonant MEMS Accelerometers

This paper describes the development of aluminum nitride (AlN) resonant accelerometers that can be integrated directly over foundry CMOS circuitry. Acceleration is measured by a change in resonant frequency of AlN double-ended tuning-fork (DETF) resonators. The DETF resonators and an attached proof mass are composed of a 1- $muhbox{m}$ -thick piezoelectric AlN layer. Utilizing piezoelectric coupling for the resonator drive and sense, DETFs at 890 kHz have been realized with quality factors $(Q)$ of 5090 and a maximum power handling of 1 $muhbox{W}$. The linear drive of the piezoelectric coupling reduces upconversion of $1/f$ amplifier noise into $1/f^{3}$ phase noise close to the oscillator carrier. This results in lower oscillator phase noise, $-$96 dBc/Hz at 100-Hz offset from the carrier, and improved sensor resolution when the DETF resonators are oscillated by the readout electronics. Attached to a 110-ng proof mass, the accelerometer microsystem has a measured sensitivity of 3.4 Hz/G and a resolution of 0.9 $hbox{mG}/surdhbox{Hz}$ from 10 to 200 Hz, where the accelerometer bandwidth is limited by the measurement setup. Theoretical calculations predict an upper limit on the accelerometer bandwidth of 1.4 kHz.$hfill$ [2008-0190]