A model is proposed to understand the interactions between CMP pad asperities and the wafer. Pad asperity reduced modulus and height distribution are included in the model. Physical measurements of asperity properties...
详细信息
A model is proposed to understand the interactions between CMP pad asperities and the wafer. Pad asperity reduced modulus and height distribution are included in the model. Physical measurements of asperity properties are performed: asperity reduced modulus is measured by nanoindentation, and pad asperity height distribution is scanned by profilometry. The measured results are used in the model to predict the contact area percentage between the pad and wafer in the CMP process.
We discuss our experience in the Gadara project, whose objective is to control the execution of software to avoid potential failures using discrete-event control techniques. We summarize our accomplishments so far and...
详细信息
ISBN:
(纸本)9783902661791
We discuss our experience in the Gadara project, whose objective is to control the execution of software to avoid potential failures using discrete-event control techniques. We summarize our accomplishments so far and discuss future challenges. After initial work on safety of workflow scripts via supervisory control techniques, we have focused our efforts on deadlock avoidance in multithreaded C programs that use locking primitives to control access to shared data. We describe how we automatically construct automata models of workflows and Petri net models of concurrent programs. In the case of multithreaded C programs, the resulting models characterize a new class of resource-allocation Petri nets called Gadara nets. These nets enjoy structural properties that facilitate the synthesis of liveness-enforcing control policies that are maximally-permissive. We describe our strategy for run-time implementation of these control policies, especially by a technique known as code instrumentation. It is hoped that the lessons learned so far in the Gadara project will be useful in other application areas and will suggest avenues for future theoretical investigations.
A novel vital-sign sensor with a self-injection-locked oscillator and a frequency demodulator to reduce system complexity and improve sensitivity is proposed. The theory provides a delta-sigma model to account for the...
详细信息
We discuss our experience in the Gadara project, whose objective is to control the execution of software to avoid potential failures using discrete-event control techniques. We summarize our accomplishments so far and...
详细信息
We discuss our experience in the Gadara project, whose objective is to control the execution of software to avoid potential failures using discrete-event control techniques. We summarize our accomplishments so far and discuss future challenges. After initial work on safety of workflow scripts via supervisory control techniques, we have focused our efforts on deadlock avoidance in multithreaded C programs that use locking primitives to control access to shared data. We describe how we automatically construct automata models of workflows and Petri net models of concurrent programs. In the case of multithreaded C programs, the resulting models characterize a new class of resource-allocation Petri nets called Gadara nets. These nets enjoy structural properties that facilitate the synthesis of liveness-enforcing control policies that are maximally-permissive. We describe our strategy for run-time implementation of these control policies, especially by a technique known as code instrumentation. It is hoped that the lessons learned so far in the Gadara project will be useful in other application areas and will suggest avenues for future theoretical investigations.
This paper presents a Park transform-based method for preprocessing stator current data from a motor and transforming it into a form that is useful for fault detection and diagnostics. The proposed method generates po...
详细信息
ISBN:
(纸本)9781849192316
This paper presents a Park transform-based method for preprocessing stator current data from a motor and transforming it into a form that is useful for fault detection and diagnostics. The proposed method generates power signatures that are invariant to the initial electrical angle of the voltage when the motor is connected to the utility, and can also adapt to variations in the electrical angle of the supply voltage over time. A modified nonlinear least squares algorithm identifies and tracks the parameters of the supply voltage over time, ensuring that the supply voltage and the argument of the Park transformation remain synchronized. Experimental results are presented that illustrate the method's effectiveness for identifying changes in the mechanical load on a 3/4 HP refrigeration compressor.
Three terminal ‘dotted-I’ interconnect structures, with vias at both ends and an additional via in the middle, were tested under a variety of test conditions. Failures (mortalities) were observed even when segments ...
Three terminal ‘dotted-I’ interconnect structures, with vias at both ends and an additional via in the middle, were tested under a variety of test conditions. Failures (mortalities) were observed even when segments were tested under conditions that would not have led to failure in two-terminal structures. Mortalities were found in right segments with jL values as low as 1250 A/cm, which is lower when compared to the immortality condition (jL)cr of 3700 A/cm reported for similar via-terminated structures. Moreover, we found that the mortality of a dotted-I segment is dependent on the direction and magnitude of the current in the adjacent segment. These results suggest that there is not a definite value of the jL product that defines true immortality in individual segments that are part of an interconnect tree. More importantly, the critical jL value for a single segment of Cu interconnects may be reduced or increased by an adjacent segment. Therefore independently determined (jL)cr values cannot be directly applied to interconnects with branched segments, but rather the magnitude as well as the direction of the current flow in the adjoining segments must be taken into consideration in evaluating the immortality of interconnect segments in an interconnect network.
The maximum operating temperature of previously reported terahertz quantum-cascade lasers (QCLs) has empirically been limited to a value of ∼ ℏω/kB. Here, we report a new design scheme for terahertz QCLs and achieve...
详细信息
This paper describes a fully autonomous mobile urban robot-X1, which can perform multiple tasks autonomously in an unknown urban environment without human guidance, including mobile reconnaissance, target searching, a...
详细信息
暂无评论