High performance analog VLSI computational circuits

Simple linear voltage/current-controlled voltage-to-current (V-T) converters, which are to first-order insensitive to the threshold voltage variation, are introduced. The circuits can be used as basic building blocks to construct simple analog computational circuits, which can perform functions such as square rooting, squaring, multiplication, sum of squares, difference of squares, etc. Some of the key features are: good linearity, floating inputs [high common-mode rejection ratio (CMRR)], simplicity, and good transconductance tuning range. The circuits can be realized with CMOS devices in saturation, however, BiCMOS devices extend their speed and input voltage range. Realistic simulations and experimental results clearly demonstrate the claims     

Characterization of ultrashort optical pulses with third-harmonic-generation based triple autocorrelation

We present a method to obtain complete information of femtosecond pulses. By measuring triple-optical autocorrelation directly with third-harmonic generation, without spectral information, a temporal pulse shape can be obtained by analytical calculation without direction-of-time ambiguity. Combining the resulting optical pulse shape with its corresponding optical spectrum, the exact phase and color variations in time can all be recovered with a Gerchberg-Saxton algorithm through an iterative calculation with an O(n) complexity.     

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.     

An Innovative Understanding of Metal–Insulator–Metal (MIM)-Capacitor Degradation Under Constant-Current Stress

This paper provides a new understanding of metal-insulator-metal-capacitor-degradation behavior under a wide range of constant-current-stress conditions. It was found that capacitance degrades with stress, but the behavior of the degradation strongly depends on the stress-current density. At high stress levels, the capacitance increases logarithmically as the injection charge increases until dielectric breakdown occurs. At lower stress conditions, the degradation rate is proportional to the stress current and reverses after a certain period of time. A metal-insulator interlayer is observed using cross-sectional transmission-electron-microscopy micrographs, which possibly explains this reversal phenomenon.     

柴达木盆地北缘的右行走滑冲断系统及其动力学

通过对于断裂系统分析和地球物理资料的解释,证实了柴达木盆地北缘西段的主要构造形成时间为上新世以后,变形样式为一系列右行走滑冲断构造。走滑冲断构造带内部的断层在平面上呈分支复合,剖面上表现为正花状构造,断层上、下盘地层层序无法直接对比。右行走滑冲断构造形成于南祁连由北向南的斜向推覆作用,而主要应力来源于柴达木地块北缘由南向北的陆内俯冲作用。用一个运动学模型解释了柴北缘的右行走滑冲断作用机制。     

Reverse reachability analysis: A new technique for deadlock detection on communicating finite state machines

The communicating finite state machines can exchange messages over bounded FIFO channels. In this paper, a new technique, called reverse reachability analysis, is proposed to detect deadlocks on the communication between the communicating finite state machines. The technique is based on finding reverse reachable paths starting from possible deadlock states. If a reverse reachable path can reach the initial global state, then deadlock occurs. Otherwise the communication is deadlock-free. The effectiveness of the technique has been verified by some real protocols such as a specification of X.25 call establishment/clear protocol and Bartlet's alternating bit protocol.     

Solution and applications of the Lyapunov equation for controlsystems

Recent advances in control systems analysis and design have implied new uses for the Lyapunov equation of the form AX+XA^T+Q=0. Implementation requirements for the incorporation of the use of Lyapunov equations in practical design, however, point out the need for a set of specialized numerical procedures. This special set of numerical procedures must efficiently solve large, sparse Lyapunov equations, solve sets of Lyapunov equations that differ only in the coefficient matrix Q, and provide good low rank estimates of the Lyapunov equation solution X in the case where low rank approximations are applicable. Discussions of the motivations for the solution of these problems and of candidate solution approaches are provided     

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

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

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.