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     

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.     

Fenton氧化法去除酱油生产废水中焦糖色素的研究

着重考察了Fenton试剂对水中焦糖色素降解的影响因素.从试验中得出,这些影响因素包括pH、催化剂的投加方式、催化剂与氧化剂的化学计量数以及反应时间等.Fenton反应中,pH4的条件下处理效果最好,反应进行40min时去除率达到90%.     

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.