this study aims to identify favorable oil–gas reservoir facies in the chishan group of the wubao fault zone (gaoyou sag, subei basin, china) using the methods of outcrops and cores observation, granularity analysis, scanning electron microscope, log data, etc. the results suggest that the chishan group in the studied area mainly develops desert sedimentary system, and contains five kinds of fac...

In the previous lecture, we showed that Shannon constructed a code, which was a one-to-one mapping, that took a stream of data X = (X1, ..., Xn) generated iid from a distribution P (X) over a finite alphabet A = (a1, ..., aA) of size A, and compressed it using ≈ nH(X) bits in total or ≈ H(X) bits per symbol, on average (for sufficiently large n). The code was based considering a special subset ...

one of the bio-sensing mechanisms is mechanical. rather than measuring shift in resonance frequency, we adopt to measure the change in spring constant due to adsorption, as one of the fundamental sensing mechanism. this study explains  determination of spring constant of a surface functionalized micro machined micro cantilever, which resonates in a trapezoidal cavity-on silicon wafer, with the ...

This paper describes an ongoing eeort to verify the cache coherence protocol of the IEEE/ANSI Standard for Scalable Coherent Interface using the Mur' veriication system. A model of the typical set protocol was constructed in the Mur' description language. This model was augmented with a speciication of properties necessary for cache coherence. The Mur' veriication system automatically checks if...

One of the bio-sensing mechanisms is mechanical. Rather than measuring shift in resonance frequency, we adopt to measure the change in spring constant due to adsorption, as one of the fundamental sensing mechanism. This study explains  determination of spring constant of a surface functionalized micro machined micro cantilever, which resonates in a trapezoidal cavity-on Silicon wafer, with the ...

One of the bio-sensing mechanisms is mechanical. Rather than measuring shift in resonance frequency, we adopt to measure the change in spring constant due to adsorption, as one of the fundamental sensing mechanism. This study explains  determination of spring constant of a surface functionalized micro machined micro cantilever, which resonates in a trapezoidal cavity-on Silicon wafer, with the ...

This review surveys micromachined gyroscope structure and circuitry technology. The principle of micromachined gyroscopes is first introduced. Then, different kinds of MEMS gyroscope structures, materials and fabrication technologies are illustrated. Micromachined gyroscopes are mainly categorized into micromachined vibrating gyroscopes (MVGs), piezoelectric vibrating gyroscopes (PVGs), surface...

This paper describes an ongoing eeort to verify the cache coherence protocol of the IEEE/ANSI Standard for Scalable Coherent Interface using the Mur' veriication system. A model of the typical set protocol was constructed in the Mur' description language. This model was augmented with a speciication of properties necessary for cache coherence. The Mur' veriication system automatically checks if...