Reliable eye-diagram analysis of data links via device macromodels

This paper addresses the impact of device macromodels on the accuracy of signal integrity and performance predictions for critical digital interconnecting systems. It exploits nonlinear parametric models for both single-ended and differential devices, including the effects of power supply fluctuations and receiver bit detection. The analysis demonstrates that the use of well-designed macromodels dramatically speeds up the simulation as well it preserves timing accuracy even for long bit sequences.     

PowerNap: an efficient power management scheme for mobile devices

We present PowerNap, an OS power management scheme, which can significantly improve the battery life of mobile devices. The key feature of PowerNap is the skipping of the periodic system timer ticks associated with the operating system. On an idle device, this modification increases the time between successive timer interrupts and enables us to put the processor/system into a more efficient low power state. This saves the energy consumed by workless timer interrupts and the excess energy consumed by the processor in less efficient low power states. PowerNap is tightly integrated with the kernel and is designed for optimal control of the latency and energy associated with transitioning in and out of the low power states. We describe an implementation of PowerNap and its impact on system software. Experiments with IBM's WatchPad verify the ability of PowerNap to extend battery life. An analytical model that quantifies the ability of the scheme to reduce power is also presented. The model is in good agreement with experimental results. We apply the model to small form-factor devices which use processors that have a PowerDown state. In such devices, PowerNap may extend battery life by more than 42 percent for small processor workloads and for background power levels below 10 mW.     

The method of double averaging: an approach for modeling power-factor-correction switching converters

This paper describes the modeling of power-factor-correction converters under average-current-mode control, which are widely used in switch-mode power supply applications. The objective is to identify stability boundaries in terms of major circuit parameters for facilitating design of such converters. The approach employs a double averaging procedure, which first applies the usual averaging over the switching period and subsequently applies generalized averaging over the mains period. The resulting model, after two averaging steps and application of a harmonic balance procedure, is nonlinear and capable of describing the low-frequency nonlinear dynamics of the system. The parameter ranges within which stable operation is guaranteed can be accurately and easily found using this model. Experimental measurements are provided for verification of the analytical results.     

Beneficial effects of wettability altering surfactants in oil-wet fractured reservoirs

In fractured reservoirs, an effective matrix-fracture mass transfer is required for oil recovery. Surfactants have long been considered for oil recovery enhancement, mainly in terms of their ability to reduce oil–water interfacial tension. These surfactants are effective when the fractured formations are water-wet, where capillary imbibition of surfactants from the fracture into the matrix contributes to oil recovery. However, another beneficial aspect of surfactants, namely their ability to alter wettability, remains to be explored and exploited. Surfactants capable of altering wettability can be especially beneficial in oil-wet fractured formations, where the surfactant in the fracture diffuses into the matrix and alters the wettability, enabling imbibition of even more surfactant into the matrix. This sequential process of initial diffusion followed by imbibition continues well into the matrix yielding significant enhancements in oil recovery.In order to test this hypothesis of sequential diffusion–imbibition phenomenon, Dual-Drop Dual-Crystal (DDDC) contact angle experiments have been conducted using fractured Yates dolomite reservoir fluids, two types of surfactants (nonionic and anionic) and dolomite rock substrates. A new experimental procedure was developed in which crude oil equilibrated with reservoir brine has been exposed to surfactant to simulate the matrix-fracture interactions in fractured reservoirs. This procedure enables the measurements of dynamic contact angles and oil–water interfacial tensions, in addition to providing the visual observations of the dynamic behavior of crude oil trapped in the rock matrix as it encounters the diffusing surfactant from the fractures. Both the measurements and visual observations indicate wettability alterations of the matrix surface from oil-wet to less oil-wet or intermediate wet by the surfactants. Thus this study is of practical importance to oil-wet fractured formations where surfactant-induced wettability alterations can result in significant oil recovery enhancements. In addition, this study has also identified the need to include contact angle term in the dimensionless Bond number formulations for better quantitative interpretation of rock–fluids interactions.     

Varactor-Tuned Dual-Band Quadrature Hybrid Coupler

A tunable dual-band quadrature hybrid coupler for mobile GSM bands (900 and 1800MHz) is proposed and characterized. The structure is composed of four quarter-wavelength sections at a frequency located between the two operating frequencies and two pairs of open-ended stubs. Frequency tuning is achieved by modifying the electrical length of the open-ended stubs with varactor-diode capacitors. A dual-band tunability of 33% and 10% is obtained for the first and the second bands, respectively     

Identification of the adverse effect of nitrate on the phosphate release rate and improvement of EBPR process models.

The adverse effect of nitrate on the phosphate release rate in the anaerobic phase was observed and was hardly explainable with conventional EBPR process models. Four possible mechanisms were proposed including substrate competition, reduced fermentation, parallel reaction and sequential reaction. Batch experiments were designed and conducted to identify the dominant mechanism. Results showed that the sequential reaction was the only possible mechanism where only denitrification occurred if any nitrate existed in the anaerobic phase. Then the phosphate release following after the nitrate was completely removed. Nitrate inhibition effect was added into the PHA storage rate to incorporate the sequential reaction in the conventional ASM3 plus EAWAG bio-P module (ASM3 + P). Nitrate inhibition coefficient, K(I,NO,PAO) was found to be as low as 0.05 mg/L. This correlated well with experimental observation where no also meant that the anaerobic compartment of a continuous flow reactor could be seriously affected by the residual nitrate contained in the sludge recycle flow. This phenomenon caused overestimation of the phosphate uptake rate and consequently underestimation of PO4(3-) -P concentration. This problem was resolved by incorporation of a nitrate inhibition term in the ASM3 + P for more accurate simulation of the EBPR process.     

The specification logic νZ

This paper introduces a wide-spectrum specification logic νZ. The minimal core logic is extended to a more expressive specification logic which includes a schema calculus similar (but not equivalent) to Z, new additional schema operators, and extensions to programming and program development logics.