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...

We investigate the neutral Higgs sector of the minimal supersymmetric standard model in explicit CP violation scenario. Within the context of the effective potential formalism, the masses of the neutral Higgs bosons at the one-loop level are calculated by taking into account the contributions of the following loops of ordinary particles and superpartners: top quark, the scalar top quarks, botto...

A sedimentological survey of the southwest arm of the Holocene Pigeon Creek tidal lagoon on San Salvador Island, Bahamas was conducted to determine the origin and distribution of calcareous sediments. Transect surveys, surface samples, and sediment cores were collected and examined to determine the abundance and distribution of sediments and sediment producers in the lagoon and associated tidal...

Recently, the polymeric micro-fluidic biochip, often called LOC (lab-on-a-chip), has been focused as a cheap, rapid and simplified method to replace the existing biochemical laboratory works. It becomes possible to form miniaturized lab functionalities on a chip with the development of MEMS technologies. The micro-fluidic chips contain many micro-channels for the flow of sample and reagents, mi...

lithofacies identification can provide qualitative information about rocks. it can also explain rock textures which are importantcomponents for hydrocarbon reservoir description sarvak formation is an important reservoir which is being studied in the marun oilfield, in the dezful embayment (zagros basin). this study establishes quantitative relationships between digital well logs data androutin...

The Loess Plateau in the northern part of Shanxi Province has uneven rainfall and large evaporation, so droughts often occur. drought restricted development local planting industry economy. Micro sprinkler irrigation advantages strong adaptability, saving water, labor land, increasing production, preventing salinization, which is very suitable for this area. This micro-sprinkler design carried ...

HU93030-007 LCF (65o01.390N and 30o14.810W) is a 4.5 m long, giant (11 cm diameter) piston core from 1800 m water depth on the continental slope, south of the Denmark Strait sill. The core sampled acoustically stratified sediments at a site below the Kangerlussuaq Trough. Nine AMS C dates on planktic foraminifera indicate that the core spans 3⁄414 to 28 C ka. The sediments consists of two princ...

It is clearly proposed that “lithofacies paleogeography can be used as a guide for shale gas geological survey work”. Lithofacies not only the theoretical guidance of work, but also its related mapping technology method key to “find” gas.

In the first paper in this series we presented a typical set of galactic rotation curves associated with the conformal invariant fourth order theory of gravity which has recently been advanced by Mannheim and Kazanas as a candidate alternative to the standard second order Einstein theory. Reasonable agreement with data was obtained for four representative galaxies without the need for any non-l...

Traditional idea generation techniques based on customer input usually collect information on new product needs from a random or typical set of customers. The “lead user process” takes a different approach. It collects information about both needs and solutions from users at the leading edges of the target market, as well as from users in other markets that face similar problems in a more extre...