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     

WWTP dynamic disturbance modelling--an essential module for long-term benchmarking development.

Intensive use of the benchmark simulation model No. 1 (BSM1), a protocol for objective comparison of the effectiveness of control strategies in biological nitrogen removal activated sludge plants, has also revealed a number of limitations. Preliminary definitions of the long-term benchmark simulation model No. 1 (BSM1_LT) and the benchmark simulation model No. 2 (BSM2) have been made to extend BSM1 for evaluation of process monitoring methods and plant-wide control strategies, respectively. Influent-related disturbances for BSM1_LT/BSM2 are to be generated with a model, and this paper provides a general overview of the modelling methods used. Typical influent dynamic phenomena generated with the BSM1_LT/BSM2 influent disturbance model, including diurnal, weekend, seasonal and holiday effects, as well as rainfall, are illustrated with simulation results. As a result of the work described in this paper, a proposed influent model/file has been released to the benchmark developers for evaluation purposes. Pending this evaluation, a final BSM1_LT/BSM2 influent disturbance model definition is foreseen. Preliminary simulations with dynamic influent data generated by the influent disturbance model indicate that default BSM1 activated sludge plant control strategies will need extensions for BSM1_LT/BSM2 to efficiently handle 1 year of influent dynamics.     

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.     

PREDICTING THE TIMING AND CHARACTERISTICS OF PETROLEUM FORMATION USING TAR MATS AND PETROLEUM ASPHALTENES: A CASE STUDY FROM THE NORTHERN NORTH SEA

The Northern Viking Graben area in the Norwegian North Sea was studied in order to investigate the petroleum formation characteristics of the Upper Jurassic Draupne Formation. In this area, the organofacies of the Draupne Formation, and consequently its petroleum generation characteristics, show significant variations. These variations represent a major risk, particularly in the context of basin modelling studies. Therefore, tar‐mat asphaltenes, oil asphaltenes and source‐rock samples from this area were studied in order to evaluate the use of migrated asphaltenes from petroleum reservoirs and tar mats in basin modelling. The samples were studied using bulk kinetic analysis, open‐system pyrolysis‐gas chromatography and elemental analyses, and the results were integrated into a basin modelling study. The results from these different sample materials were compared both to each other and to natural petroleum, in order to assess their significance for future petroleum exploration activities. We show that in cumulative petroleum systems, the transformation characteristics of the asphaltenes incorporate those of the individual source rock intervals which have contributed to the relevant reservoir system. Thus, the petroleum formation window predicted by the use of asphaltene kinetics is broad, and covers the majority of the formation windows predicted from the individual source rock samples. In addition, the molecular characteristics of asphaltene‐derived hydrocarbons show that compositional characteristics, such as aromaticity, correspond more closely to natural oils than to the respective source‐rock products. Our results confirm that the heterogeneous nature of the Draupne Formation results in a significantly broader petroleum formation window than is conventionally assumed. We propose that oil and tar‐mat asphaltenes from related reservoirs represent macromolecules which account for this heterogeneity in the source rock, since they represent mixtures of charges from the different organofacies. One conclusion is that the use of oil and tar‐mat asphaltenes in kinetic studies and compositional predictions may significantly improve definitions of petroleum formation characteristics in basin modelling.