Unified Vdd Vth Optimization Based DVFM Controller for a Logic Block

In this paper analytical expressions for optimal Vdd and Vth to minimize energy for a given speed constraint are derived. These expressions are based on the EKV model for transistors and are valid in both strong inversion and sub threshold regions. The effect of gate leakage on the optimal Vdd and Vth is analyzed. A new gradient based algorithm for controlling Vdd and Vth based on delay and power monitoring results is proposed. A Vdd-Vth controller which uses the algorithm to dynamically control the supply and threshold voltage of a representative logic block (sum of absolute difference computation of an MPEG decoder) is designed. Simulation results using 65 nm predictive technology models are given.

Thermally induced phase separation in P alpha MSAN/PMMA blends in presence of functionalized multiwall carbon nanotubes: Rheology, morphology and electrical conductivity

The focus of this work is the evaluation and analysis of the state of dispersion of functionalized multiwall carbon nanotubes (CNTs), within different morphologies formed, in a model LCST blend (poly[(alpha-methylstyrene)-co-(acrylonitrile)]/poly(methyl-methacryla te), P alpha MSAN/PMMA). Blend compositions that are expected to yield droplet-matrix (85/15 P alpha MSAN/PMMA and 15/85 P alpha MSAN/PMMA, wt/wt) and co-continuous morphologies (60/40 P alpha MSAN/PMMA, wt/wt) upon phase separation have been combined with two types of CNTs; carboxylic acid functionalized (CNTCOOH) and polyethylene modified (CNTPE) up to 2 wt%. Thermally induced phase separation in the blends has been studied in-situ by rheology and dielectric (conductivity) spectroscopy in terms of morphological evolution and CNT percolation. The state of dispersion of CNTs has been evaluated by transmission electron microscopy. The experimental results indicate that the final blend morphology and the surface functionalization of CNT are the main factors that govern percolation. In presence of either of the CNTs, 60/40 P alpha MSAN/PMMA blends yield a droplet-matrix morphology rather than co-continuous and do not show any percolation. On the other hand, both 85/15 P alpha MSAN/PMMA and 15/85 P alpha MSAN/PMMA blends containing CNTPEs show percolation in the rheological and electrical properties. Interestingly, the conductivity spectroscopy measurements demonstrate that the 15/85 P alpha MSAN/PMMA blends with CNTPEs that show insulating properties at room temperature for the miscible blends reveal highly conducting properties in the phase separated blends (melt state) as a result of phase separation. By quenching this morphology, the conductivity can be retained in the blends even in the solid state. (C) 2011 Elsevier Ltd. All rights reserved.

A decidable temporal logic with repeating values

Various logical formalisms with the freeze quantifier have been recently considered to model computer systems even though this is a powerful mechanism that often leads to undecidability. In this paper, we study a linear-time temporal logic with past-time operators such that the freeze operator is only used to express that some value from an infinite set is repeated in the future or in the past. Such a restriction has been inspired by a recent work on spatio-temporal logics. We show decidability of finitary and infinitary satisfiability by reduction into the verification of temporal properties in Petri nets. This is a surprising result since the logic is closed under negation, contains future-time and past-time temporal operators and can express the nonce property and its negation. These ingredients are known to lead to undecidability with a more liberal use of the freeze quantifier.

Microbially induced separation of quartz from calcite using Saccharomyces cerevisiae

Cells of Saccharomyces cerevisiae and their metabolites were successfully utilized to achieve selective separation of quartz and calcite through microbially induced flotation and flocculation. S. cerevisiae was adapted to calcite and quartz minerals. Adsorption studies and electrokinetic investigations were carried out to understand the changes in the surface chemistry of yeast cells and the minerals after mutual interaction. Possible mechanisms in microbially induced flotation and flocculation are outlined. (C) 2011 Elsevier B.V. All rights reserved.

Functionalized and Postfunctionalizable Porous Polymeric Films through Evaporation-Induced Phase Separation Using Mixed Solvents

Condensation of water droplets during rapid evaporation of a polymer solution, under humid conditions, has been known to generate uniformly porous polymer films. Similar porous films are also formed when a solution of the polymer in THF containing small amounts of water, is allowed to evaporate rapidly under air flow; this suggests that water droplets may be formed during the final stages of film formation. In the presence of added surfactants, the interface of water droplets could become lined with the surfactants and consequently the internal walls of the pores generated, upon removal of the water, could become decorated with the hydrophilic head groups of the surfactant molecules. In a series of carefully designed experiments, we have examined the effect of added surfactants, both anionic and cationic, on the formation of porous PMMA films; the films were prepared by evaporating a solution of the polymer in THF containing controlled amounts of aqueous surfactant solutions. We observed that the average size of the pores decreases with increasing surfactant concentration, while it increases with increasing amounts of added water. The size of the pores and their distribution were examined using AFM and IR imaging methods. Although IR imaging possessed inadequate resolution to confirm the presence of surfactants at the pore surface, exchange of the inorganic counterion, such as the sodium-ion of SDS, with suitable ionic organic dyes permitted the unequivocal demonstration of the presence of the surfactants at the interface by the use of confocal fluorescence microscopy.

Thermodynamics of Al(1-x)Ga(x)N solid solution: Inclination for phase separation and ordering

Although Al(1-x)Ga(x)N semiconductors are used in lighting, displays and high-power amplifiers, there is no experimental thermodynamic information on nitride solid solutions. Thermodynamic data are useful for assessing the intrinsic stability of the solid solution with respect to phase separation and extrinsic stability in relation to other phases such as metallic contacts. The activity of GaN in Al(1-x)Ga(x)N solid solution is determined at 1100 K using a solid-state electrochemical cell: Ga + Al(1-x)Ga(x)N/Fe, Ca(3)N(2)//CaF(2)//Ca(3)N(2), N(2) (0.1 MPa), Fe. The solid-state cell is based on single crystal CaF(2) as the electrolyte and Ca(3)N(2) as the auxiliary electrode to convert the nitrogen chemical potential established by the equilibrium between Ga and Al(1-x)Ga(x)N solid solution into an equivalent fluorine potential. Excess Gibbs free energy of mixing of the solid solution is computed from the results. Results suggest an unusual mixing behavior: a mild tendency for ordering at three discrete compositions (x = 0.25, 0.5 and 0.75) superimposed on predominantly positive deviation from ideality. The lattice parameters exhibit slight deviation from Vegard's law, with the a-parameter showing positive and the c-parameter negative deviation. Although the solid solution is stable in the full range of compositions at growth temperatures, thermodynamic instability is indicated at temperatures below 410 K in the composition range 0.26 <= x <= 0.5. At 355 K, two biphasic regions appear, with terminal solid solutions stable only for 0 <= x <= 0.26 and 0.66 <= x <= 1. The range of terminal solid solubility reduces with decreasing temperature. (C) 2011 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

Characteristics of j.f.e.t.s. taking the separation of gate electrode from the source and drain electrodes into account

The performance characteristics of a junction field-effect transistor (j.f.e.t.) are evaluated considering the presence of the gap between the gate electrode and the source and drain terminals. It is concluded that the effect of the gap is to demand a higher drain voltage to maintain the same drain current. So long as the device is operated at the same drain current, the presence of the gap does not change the performance of the device as an amplifier. The nature of the performance of the device as a variable resistor is not affected by the gap if it is less than or equal to the physical height of the channel. For gap lengths larger than the channel height, the effect of the gap is to add a series resistance in the drain.

Digital Dead Time Logic and Protection Circuitry for PWM Voltage Source Converters

Power semiconductor devices have finite turn on and turn off delays that may not be perfectly matched. In a leg of a voltage source converter, the simultaneous turn on of one device and the turn off of the complementary device will cause a DC bus shoot through, if the turn off delay is larger than the turn on delay time. To avoid this situation it is common practice to blank the two complementary devices in a leg for a small duration of time while switching, which is called dead time. This paper proposes a logic circuit for digital implementation required to control the complementary devices of a leg independently and at the same time preventing cross conduction of devices in a leg, and while providing accurate and stable dead time. This implementation is based on the concept of finite state machines. This circuit can also block improper PWM pulses to semiconductor switches and filters small pulses notches below a threshold time width as the narrow pulses do not provide any significant contribution to average pole voltage, but leads to increased switching loss. This proposed dead time logic has been implemented in a CPLD and is implemented in a protection and delay card for 3- power converters.

Effect of dimerization on dynamics of spin-charge separation in Pariser-Parr-Pople model: A time-dependent density matrix renormalization group study

We investigate the effect of static electron-phonon coupling on real-time dynamics of spin and charge transport in pi-conjugated polyene chains. The polyene chain is modeled by the Pariser-Parr-Pople Hamiltonian with dimerized nearest-neighbor parameter t(0)(1 + delta) for short bonds and t(0)(1 - delta) for long bonds, and long-range electron-electron interactions. We follow the time evolution of the spin and charge using time-dependent density matrix renormalization group technique when a hole is injected at one end of the chain in its ground state. We find that spin and charge dynamics followed through spin and charge velocities depend both on chain length and extent of dimerization delta. Analysis of the results requires focusing on physical quantities such as average spin and charge polarizations, particularly in the large dimerization limit. In the dimerization range 0.0 <= delta <= 0.15, spin-charge dynamics is found to have a well-defined behavior, with spin-charge separation (measured as the ratio of charge velocity to spin velocity) as well as the total amount of charge and spin transported in a given time along the chain decreasing as dimerization increases. However, in the range 0.3 <= delta <= 0.5, it is observed that the dynamics of spin and charge transport becomes complicated. It is observed that, for large delta values, spin-charge separation is suppressed and the injected hole fails to travel the entire length of the chain.