The specification logic νZ

This paper introduces a wide-spectrum specification logic νZ. The minimal core logic is extended to a more expressive specification logic which includes a schema calculus similar (but not equivalent) to Z, new additional schema operators, and extensions to programming and program development logics.     

Modeling and verification of the double frequency effect using a MEMS device

The derivation, verification, and implication of the nonlinear dynamic and frequency response of electrostatic actuator due to the double frequency effect (DFE) were reported in this study. In particular, an extra mode called half mode was observed and measured in various studies. However, a complete in-depth discussion of the effect was not reported in the past. In the present study, a second-order dynamical equation was adapted firstly to model the dynamic and frequency response of electrostatic actuator where typical harmonic input signal with a dc bias was used. Secondly, by solving the equation, complex waveform in dynamic response and an extra half mode in frequency response due to the double frequency effect can be observed and discussed. To verify the simulated result, an electrostatic driving device was fabricated using PolyMUMPS^© process. Note that in frequency response, when dc bias is equal to the amplitude of ac signal, simulated and experimental results indicated that the amplitude of half mode was one-fourth of first mode.     

Efficient Low Dissipative High Order Schemes for Multiscale MHD Flows, II: Minimization of ∇·B Numerical Error

An adaptive numerical dissipation control in a class of high order filter methods for compressible MHD equations is systematically discussed. The filter schemes consist of a divergence-free preserving high order spatial base scheme with a filter approach which can be divergence-free preserving depending on the type of filter operator being used, the method of applying the filter step, and the type of flow problem to be considered. Some of these filter variants provide a natural and efficient way for the minimization of the divergence of the magnetic field (∇·B) numerical error in the sense that commonly used divergence cleaning is not required. Numerical experiments presented emphasize the performance of the ∇·B numerical error. Many levels of grid refinement and detailed comparison of the filter methods with several commonly used compressible MHD shock-capturing schemes will be illustratedA condensed version appears in the Proceedings of the International Conference on High Performance Scientific Computing, March 10-14, 2003, Hanoi, Vietnam. This is a revised version of a longer internal report, Feb. 19, 2004. The longer internal report was published as a RIACS Technical Report TR03.10, July 2003, NASA Ames Research Center     

Design of a retention tank: comparison of stormwater quality models with various levels of complexity.

Stormwater quality simulation models are useful tools for the design and management of sewer systems. Modelling results are highly sensitive to experimental data used for calibration. This sensitivity is examined for three modelling approaches of various complexities (site mean concentration approach, event mean concentration approach and build-up, washoff and transport modelling approach) applied to a typical case study (design of a dry detention tank), accounting for the variability of calibration data and their effect on simulation results. Calibrated models with different calibration data sets were used to simulate 3 years of rainfall with different retention tank specific volumes. Annual pollutant load interception efficiencies were determined. Simulations results revealed (i) that there is no advantage in using the EMC model compared to the SMC model and (ii) that the BWT model resulted in higher design ratios than those given by the SMC/hydraulic approach. For both EMC and BWT models, using an increasing number n of events for calibration leads to narrower confidence intervals for the design ratios. It is crucial for design ratios to account for successive storm events in chronological order and to account for the maximum allowable flow to be transferred to the downstream WWTP.     

An inventory analysis of rural pollution loads in China.

Rural pollution has attracted increasing attention over the past decade for its important consequences on surface and groundwater quality. This is particularly so in China due to the wide and effective control of industrial and municipal wastewater discharges over the past decade. Based on the discussion of rural activities in China, this paper develops a new method of inventory analysis through the definition of elementary unit (EU). This inventory analysis approach is then applied to estimate the total rural pollution loads of COD, TN and TP, as well as their spatial distributions in China. Further analysis is also conducted to investigate the correlations between rural pollution loads and agricultural production outputs, as well as population. It is found that China's agriculture is developing largely at the cost of environment quality, and a high population, as well as the increasing demand for agricultural products, is one of the dominant driving forces. The constructed EKC, which describes the relationship between rural pollution loads and agricultural income, also reveals that current agricultural development in China is mostly far from de-locked from the environmental problem.     

Catalytic epoxidation of olefins in the presence of a vanadyl porphyrin complex

It was found that vanadyl porphyrin complexes synthesized from petroleum metal porphyrin concentrates stimulated epoxidation during the olefin oxygenation process. The yields of obtained oxiranes turned out to be 38–75%, depending on the olefin structure. An epoxidation mechanism that suggests the formation of a protonated dioxygen adduct as an intermediate during oxygenation of olefins in the presence of vanadyl porphyrin complexes was proposed. An analogy is drawn between the epoxide formation reaction upon the catalytic oxygenation of olefins and the Prilezhaev reaction.     

PETROLEUM MIGRATION, FAULTS AND OVERPRESSURE, PART I: CALIBRATING BASIN MODELLING USING PETROLEUM IN TRAPS — A REVIEW

This paper considers the principles of deciphering basin-scale hydrocarbon migration patterns using the geochemical information which is present in trapped petroleum. Petroleum accumulations in subsiding basins can be thought of as "data archives" within which stored information can help us to understand aspects of hydrocarbon formation and migration. This information can impart a time-resolved picture of hydrocarbon migration in a basin in response to processes associated with progressive burial, particularly in the context of the occurrence and periodic activity of faults.
This review, which includes a series of tentative models of migration-related processes in the extensional Halten Terrace area, offshore mid-Norway, illustrates how we can use information from the migrating mobile hydrocarbon phase to improve our knowledge of the static geological system. Of particular importance is the role of sub-seismic heterogeneities and faults in controlling migration processes. We focus on how the secondary migration process can be enhanced in a multi-source rock basin such as the Halten Terrace, thereby increasing prospectivity.     

MINERALOGICAL, PORE AND PETROPHYSICAL CHARACTERISTICS OF THE DEVONIAN JAUF SANDSTONE RESERVOIR, HAWIYAH FIELD, EASTERN SAUDI ARABIA

Throughout the subsurface of the Arabian Peninsula, the approximately 460ft thick, Devonian Jauf Formation generally consists of well-compacted, low-porosity sandstones and shales, but it also includes friable and highly porous sandstones which form significant gas and condensate reservoir intervals. The mineralogy and pore properties of these reservoir intervals at the Hawiyah field (part of the giant Ghawar structure) were studied by integrating petrographic data with petrophysical measurements of reservoir sandstone samples.
The reservoir sandstones are mainly composed of quartz arenites containing small amounts of altered potassium feldspar grains, authigenic illite and chlorite. Based on the pore types, which reflect the habits of the intergranular clays, three reservoir sandstone types have been defined: Type A, characterized by macroporosity; Type B, with microporosity; and Type C, with combined laminations of Types A and B. The dominance of pore-lining clay (as in Type A) or pore-filling clay (as in Type B) is the principal factor controlling the petrophysical properties of the samples. Types A and C sandstones contain macro pores, but irreducible water saturation is high (25 to 45%) compared to clean samples elsewhere, because of the presence of micropores associated with clay. In Type B sandstones the irreducible water saturation is commonly greater than 40% because all the pores spaces are in the microporosity range. The irreducible water saturation in Type B sandstones increases rapidly as porosity decreases. When porosity is less than 10%, the corresponding permeability is 0.2 mD, but no economic production can be expected because water saturation is as high as 100%. In the producing intervals, authigenic clays result in low electrical resistivity due to high water saturation; however, water-free gas is produced.