A 1-V 10.7-MHz switched-opamp bandpass /spl Sigma//spl Delta/ modulator using double-sampling finite-gain-compensation technique

A 1 V switched-capacitor (SC) bandpass sigma-delta (/spl Sigma//spl Delta/) modulator is realized using a high-speed switched-opamp (SO) technique with a sampling frequency of up to 50 MHz, which is improved ten times more than prior 1 V SO designs and comparable to the performance of the state-of-the-art SC circuits that operate at much higher supply voltages. On the system level, a fast-settling double-sampling SC biquadratic filter architecture is proposed to achieve high-speed operation. A low-voltage double-sampling finite-gain-compensation technique is employed to realize a high-resolution /spl Sigma//spl Delta/ modulator using only low-DC-gain opamps to maximize the speed and to reduce power dissipation. On the circuit level, a fast-switching methodology is proposed for the design of the switchable opamps to achieve a switching frequency up to 50 MHz. Implemented in a 0.35-/spl mu/m CMOS process (V/sub TP/=0.82 V and V/sub TN/=0.65 V) and at 1 V supply, the modulator achieves a measured peak signal-to-noise-and-distortion ratio (SNDR) of 42.3 dB at 10.7 MHz with a signal bandwidth of 200 kHz, while dissipating 12 mW and occupying a chip area of 1.3 mm/sup 2/.     

Negation as failure for disjunctive logic programming

We generalize the Negation-as-Failure procedure for disjunctive logic programming. Then we compare our method with related methods in the literature. We also propose a new completion theory for disjunctive logic programs which allows some program clauses to have inclusive meaning and the others exclusive meaning.     

Metabolic-heat relation for aerobic yeast respiration and fermentation

A specially developed temperature control system on a laboratory scale fermenter enabled continuous measurement of the rate of heat production during undisturbed growth of microbial cultures. Apart from being correlated with oxygen uptake rate, the heat of fermentation was established as an additional indicator of metabolic activity. The ‘aerobic respiration’ energetic activity of Candida utilis, Candida lipolytica and Saccharomyces cerevisiae on different carbon substrates was investigated with cultures of the latter species being also studied under the ‘aerobic fermentation’ conditions induced by glucose catabolite repression.     

The geometric nature of plasticity laws

This paper concerns the plasticity constitutive laws in small strain. In the thermodynamic approach developed here, the key concept is that of internal variables. The differential nature of plasticity law has been pointed out for a long time. If we unite the invariance condition of these laws in a state variable transformation, this involves, ultimately, that the natural mathematic frame of plasticity theory is Differential Geometry. The system state is defined as a point of a differentiable manifold. The state variable are the local coordinates of this point in a chart. The internal stresses are the components of a covariant vector of the cotangent bundle to internal state manifold and the elastic domain is a convex part of cotangent vector space. The plastic yield criteria such as von Mises condition define a Riemannian structure over the manifold. The metric element is identified with the internal dissipation element. Constitutive laws link the covariant derivatives of the thermodynamic stress with the state variable. Hardening modulus splits up in two parts, kinematic hardening and metric hardening. This last is defined by Christoffel connection coefficients. Applied to von Mises isotropic yield condition, the metric hardening is identified with isotropic hardening. The Baltov-Sawczuk model is also analysed. The use of appropriate polar coordinates simplifies significantly the computations. Generalization to a significant category of non-differentiable yield criteria, such as Tresca condition, is considered by introducting a metric tensor family. The adaptation of Drucker's postulate to the proposed model requires the introduction of parallel transport of the internal stress covector. Generally, this transport is different over distinctive paths joining two points. This fact expresses internal state manifold curvature. The Riemann-Christoffel tensor is computed for von Mises, Baltov-Sawczuk and Tresca models.     

皮革真空鞣制新技术与设备的研究

本文对皮革在真空状态下鞣制进行了试验研究，使鞣制过程的物理—化学氛围得到改善，大大缩短了鞣制时间，废液排放量减少一半以上。     

Formal Analysis of Streaming Downloading Protocol for System Upgrading

For a PC-mobile download system which is embedded with streaming download protocol, there are problems that the data cannot be transmitted correctly from the PC to the mobile, or the transmission is unacceptably slow. To solve these problems, we carry out a formal analysis for the protocol with some timing parameters and a given probability of message loss and unordered data using a probabilistic model checking tool PRISM. We introduce a technique to reduce the state space of the system modeling the protocol which is a network of probabilistic timed automata. The experimental results in PRISM give us a clear explanation to the problems, and are helpful in identifying the optimal parameter settings to meet industrial requirements.