Anthropogenic aerosol fraction over the Indian region: model simulations versus multi-satellite data analysis

Anthropogenic aerosols play a crucial role in our environment, climate, and health. Assessment of spatial and temporal variation in anthropogenic aerosols is essential to determine their impact. Aerosols are of natural and anthropogenic origin and together constitute a composite aerosol system. Information about either component needs elimination of the other from the composite aerosol system. In the present work we estimated the anthropogenic aerosol fraction (AF) over the Indian region following two different approaches and inter-compared the estimates. We espouse multi-satellite data analysis and model simulations (using the CHIMERE Chemical transport model) to derive natural aerosol distribution, which was subsequently used to estimate AF over the Indian subcontinent. These two approaches are significantly different from each other. Natural aerosol satellite-derived information was extracted in terms of optical depth while model simulations yielded mass concentration. Anthropogenic aerosol fraction distribution was studied over two periods in 2008: premonsoon (March-May) and winter (November-February) in regard to the known distinct seasonality in aerosol loading and type over the Indian region. Although both techniques have derived the same property, considerable differences were noted in temporal and spatial distribution. Satellite retrieval of AF showed maximum values during the pre-monsoon and summer months while lowest values were observed in winter. On the other hand, model simulations showed the highest concentration of AF in winter and the lowest during pre-monsoon and summer months. Both techniques provided an annual average AF of comparable magnitude (similar to 0.43 +/- 0.06 from the satellite and similar to 0.48 +/- 0.19 from the model). For winter months the model-estimated AF was similar to 0.62 +/- 0.09, significantly higher than that (0.39 +/- 0.05) estimated from the satellite, while during pre-monsoon months satellite-estimated AF was similar to 0.46 +/- 0.06 and the model simulation estimation similar to 0.53 +/- 0.14. Preliminary results from this work indicate that model-simulated results are nearer to the actual variation as compared to satellite estimation in view of general seasonal variation in aerosol concentrations.

The Displacement and Strain Field of Three-Dimensional Rheologic Model of Earthquake Preparation

Based on the three-dimensional elastic inclusion model proposed by Dobrovolskii, we developed a rheological inclusion model to study earthquake preparation processes. By using the Corresponding Principle in the theory of rheologic mechanics, we derived the analytic expressions of viscoelastic displacement U(r, t) , V(r, t) and W(r, t), normal strains epsilon(xx) (r, t), epsilon(yy) (r, t) and epsilon(zz) (r, t) and the bulk strain theta (r, t) at an arbitrary point (x, y, z) in three directions of X axis, Y axis and Z axis produced by a three-dimensional inclusion in the semi-infinite rheologic medium defined by the standard linear rheologic model. Subsequent to the spatial-temporal variation of bulk strain being computed on the ground produced by such a spherical rheologic inclusion, interesting results are obtained, suggesting that the bulk strain produced by a hard inclusion change with time according to three stages (alpha, beta, gamma) with different characteristics, similar to that of geodetic deformation observations, but different with the results of a soft inclusion. These theoretical results can be used to explain the characteristics of spatial-temporal evolution, patterns, quadrant-distribution of earthquake precursors, the changeability, spontaneity and complexity of short-term and imminent-term precursors. It offers a theoretical base to build physical models for earthquake precursors and to predict the earthquakes.

Numerical Investigation on Laser Transformation Hardening with Different Temporal Pulse Shapes

A 3-D numerical model for pulsed laser transformation hardening (LTH) is developed using the finite element method. In this model, laser spatial and temporal intensity distribution, temperature-dependent thermophysical properties of material, and multi-phase transformations are considered. The influence of laser temporal pulse shape on connectivity of hardened zone, maximum surface temperature of material and hardening depth is numerically investigated at different pulse energy levels. Results indicate that these hardening parameters are strongly dependent on the temporal pulse shape. For the rectangular temporal pulse shape, the temperature field obtained from this model is in excellent agreement with analytical solution, and the predicted hardening depth is favorably compared with experimental one. It should be pointed out that appropriate temporal pulse shape should be selected according to pulse energy level in order to achieve desirable hardening quality under certain laser spatial intensity distribution.

PICES-GLOBEC International Program on Climate Change and Carrying Capacity: Report of 2001 BASS/MODEL, MONITOR and REX Workshops, and the 2002 MODEL/REX Workshop

Table of Contents [pdf, 0.22 Mb] Executive Summary [pdf, 0.31 Mb] Report of the 2001 BASS/MODEL Workshop [pdf, 0.65 Mb] To review ecosystem models for the subarctic gyres Report of the 2001 MONITOR Workshop [pdf, 0.7 Mb] To review ecosystem models for the subarctic gyres Workshop presentations: Sonia D. Batten PICES Continuous Plankton Recorder pilot project Phillip R. Mundy GEM (Exxon Valdez Oil Spill Trustee Council`s "Gulf Ecosystem Monitoring" initiative) and U.S. GOOS plans in the North Pacific Ron McLaren and Brian O`Donnell A proposal for a North Pacific Action group of the international Data Buoy Cooperation Panel Gilberto Gaxiola-Castrol and Sila Najera-Martinez The Mexican oceanographic North Pacific program: IMECOCAL Sydney Levitus Building global ocean profile and plankton databases for scientific research Report of the 2001 REX Workshop [pdf, 1.73 Mb] On temporal variations in size-at-age for fish species in coastal areas around the Pacific Rim Workshop presentations: Brian J. Pyper, Randall M. Peterman, Michael F. Lapointe and Carl J. Walters [pdf, 0.33 Mb] Spatial patterns of covariation in size-at-age of British Columbia and Alaska sockeye salmon stocks and effects of abundance and ocean temperature R. Bruce MacFarlane, Steven Ralston, Chantell Royer and Elizabeth C. Norton [pdf, 0.4 Mb] Influences of the 1997-1998 El Niño and 1999 La Niña on juvenile Chinook salmon in the Gulf of the Farallones Olga S. Temnykh and Sergey L. Marchenko [pdf, 0.5 Mb] Variability of the pink salmon sizes in relation with abundance of Okhotsk Sea stocks Ludmila A. Chernoivanova, Alexander N. Vdoven and D.V. Antonenko [pdf, 0.3 Mb] The characteristic growth rate of herring in Peter the Great Bay (Japan/East Sea) Nikolay I. Naumenko [pdf, 0.5 Mb] Temporal variations in size-at-age of the western Bering Sea herring Evelyn D. Brown [pdf, 0.45 Mb] Effects of climate on Pacific herring, Clupea pallasii, in the northern Gulf of Alaska and Prince William Sound, Alaska Jake Schweigert, Fritz Funk, Ken Oda and Tom Moore [pdf, 0.6 Mb] Herring size-at-age variation in the North Pacific Ron W. Tanasichuk [pdf, 0.3 Mb] Implications of variation in euphausiid productivity for the growth, production and resilience of Pacific herring (Clupea pallasi) from the southwest coast of Vancouver Island Chikako Watanabe, Ahihiko Yatsu and Yoshiro Watanabe [pdf, 0.3 Mb] Changes in growth with fluctuation of chub mackerel abundance in the Pacific waters off central Japan from 1970 to 1997 Yoshiro Watanabe, Yoshiaki Hiyama, Chikako Watanabe and Shiro Takayana [pdf, 0.35 Mb] Inter-decadal fluctuations in length-at-age of Hokkaido-Sakhalin herring and Japanese sardine in the Sea of Japan Pavel A. Balykin and Alexander V. Buslov [pdf, 0.4 Mb] Long-term variability in length of walley pollock in the western Bering Sea and east Kamchtka Alexander A. Bonk [pdf, 0.4 Mb] Effect of population abundance increase on herring distribution in the western Bering Sea Sergey N. Tarasyuk [pdf, 0.4 Mb] Survival of yellowfin sole (Limanda aspera Pallas) in the northern part of the Tatar Strait (Sea of Japan) during the second half of the 20th century Report of the 2002 MODEL/REX Workshop [pdf, 1.2 Mb] To develop a marine ecosystem model of the North Pacific Ocean including pelagic fishes Summary and Overview [pdf, 0.4 Mb] Workshop presentations: Bernard A. Megrey, Kenny Rose, Francisco E. Werner, Robert A. Klumb and Douglas E. Hay [pdf, 0.47 Mb] A generalized fish bioenergetics/biomass model with an application to Pacific herring Robert A. Klumb [pdf, 0.34 Mb] Review of Clupeid biology with emphasis on energetics Douglas E. Hay [pdf, 0.47 Mb] Reflections of factors affecting size-at-age and strong year classes of herring in the North Pacific Shin-ichi Ito, Yutaka Kurita, Yoshioki Oozeki, Satoshi Suyama, Hiroya Sugisaki and Yongjin Tian [pdf, 0.34 Mb] Review for Pacific saury (Cololabis saira) study under the VENFISH project lexander V. Leonov and Gennady A. Kantakov [pdf, 0.34 Mb] Formalization of interactions between chemical and biological compartments in the mathematical model describing the transformation of nitrogen, phosphorus, silicon and carbon compounds Herring group report and model results [pdf, 0.34 Mb] Saury group report and model results [pdf, 0.46 Mb] Model experiments and hypotheses Recommendations [pdf, 0.4 Mb] Achievements and future steps Acknowledgements [pdf, 0.29 Mb] References [pdf, 0.32 Mb] Appendix 1. List of Participants [pdf, 0.32 Mb] Appendices 2-5. FORTRAN codes [pdf, 0.4 Mb] (Document pdf contains 182 pages)

PICES-GLOBEC International Program on Climate Change and Carrying Capacity: Report of the 1999 MONITOR and REX Workshops, and the 2000 MODEL Workshop on Lower Trophic Level Modelling

Table of Contents [pdf, 0.11 Mb] Executive Summary [pdf, 0.07 Mb] MODEL Task Team Workshop Report Final Report of the International Workshop to Develop a Prototype Lower Trophic Level Ecosystem Model for Comparison of Different Marine Ecosystems in the North Pacific [pdf, 11.64 Mb] Report of the 1999 MONITOR Task Team Workshop [pdf, 0.32 Mb] Report of the 1999 REX Task Team Workshop Herring and Euphausiid population dynamics Douglas E. Hay and Bruce McCarter Spatial, temporal and life-stage variation in herring diets in British Columbia [pdf, 0.10 Mb] Augustus J. Paul and J. M. Paul Over winter changes in herring from Prince William Sound, Alaska [pdf, 0.08 Mb] N. G. Chupisheva Qualitative texture characteristic of herring (Clupea pallasi pallasi) pre-larvae developed from the natural and artificial spawning-grounds in Severnaya Bay (Peter the Great Bay) [pdf, 0.07 Mb] Gordon A. McFarlane, Richard J. Beamish and Jake SchweigertPacific herring: Common factors have opposite impacts in adjacent ecosystems [pdf, 0.15 Mb] Tokimasa Kobayashi, Keizou Yabuki, Masayoshi Sasaki and Jun-Ichi Kodama Long-term fluctuation of the catch of Pacific herring in Northern Japan [pdf, 0.39 Mb] Jacqueline M. O’Connell Holocene fish remains from Saanich Inlet, British Columbia, Canada [pdf, 0.40 Mb] Elsa R. Ivshina and Irina Y. Bragina On relationship between crustacean zooplankton (Euphausiidae and Copepods) and Sakhalin-Hokkaido herring (Tatar Strait, Sea of Japan) [pdf, 0.14 Mb] Stein Kaartvbeedt Fish predation on krill and krill antipredator behaviour [pdf, 0.08 Mb] Nikolai I. Naumenko Euphausiids and western Bering Sea herring feeding [pdf, 0.07 Mb] David M. Checkley, Jr. Interactions Between Fish and Euphausiids and Potential Relations to Climate and Recruitment [pdf, 0.08 Mb] Vladimir I. Radchenko and Elena P. Dulepova Shall we expect the Korf-Karaginsky herring migrations into the offshore western Bering Sea? [pdf, 0.75 Mb] Young Shil Kang Euphausiids in the Korean waters and its relationship with major fish resources [pdf, 0.29 Mb] William T. Peterson, Leah Feinberg and Julie Keister Ecological Zonation of euphausiids off central Oregon [pdf, 0.11 Mb] Scott M. Rumsey Environmentally forced variability in larval development and stage-structure: Implications for the recruitment of Euphausia pacifica (Hansen) in the Southern California Bight [pdf, 3.26 Mb] Scott M. Rumsey Inverse modelling of developmental parameters in Euphausia pacifica: The relative importance of spawning history and environmental forcing to larval stage-frequency distributions [pdf, 98.79 Mb] Michio J. Kishi, Hitoshi Motono & Kohji Asahi An ecosystem model with zooplankton vertical migration focused on Oyashio region [pdf, 33.32 Mb] PICES-GLOBEC Implementation Panel on Climate Change and Carrying Capacity Program Executive Committee and Task Team List [pdf, 0.05 Mb] (Document pdf contains 142 pages)

The Displacement and Strain Field of Three-Dimensional Rheologic Model of Earthquake Preparation

Based on the three-dimensional elastic inclusion model proposed by Dobrovolskii, we developed a rheological inclusion model to study earthquake preparation processes. By using the Corresponding Principle in the theory of rheologic mechanics, we derived the analytic expressions of viscoelastic displacement U(r, t) , V(r, t) and W(r, t), normal strains epsilon(xx) (r, t), epsilon(yy) (r, t) and epsilon(zz) (r, t) and the bulk strain theta (r, t) at an arbitrary point (x, y, z) in three directions of X axis, Y axis and Z axis produced by a three-dimensional inclusion in the semi-infinite rheologic medium defined by the standard linear rheologic model. Subsequent to the spatial-temporal variation of bulk strain being computed on the ground produced by such a spherical rheologic inclusion, interesting results are obtained, suggesting that the bulk strain produced by a hard inclusion change with time according to three stages (alpha, beta, gamma) with different characteristics, similar to that of geodetic deformation observations, but different with the results of a soft inclusion. These theoretical results can be used to explain the characteristics of spatial-temporal evolution, patterns, quadrant-distribution of earthquake precursors, the changeability, spontaneity and complexity of short-term and imminent-term precursors. It offers a theoretical base to build physical models for earthquake precursors and to predict the earthquakes.

Invariant-free deduction systems for temporal logic

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

A kinematic subgrid scale model for large-eddy simulation of turbulence generated sound

In the hybrid approach of large-eddy simulation (LES) and Lighthill’s acoustic analogy for turbulence-generated sound, the turbulence source fields are obtained using an LES and the turbulence-generated sound at far fields is calculated from Lighthill’s acoustic analogy. As only the velocity fields at resolved scales are available from the LES, the Lighthill stress tensor, serving as a source term in Lighthill’s acoustic equation, has to be evaluated from the resolved velocity fields. As a result, the contribution from the unresolved velocity fields is missing in the conventional LES. The sound of missing scales is shown to be important and hence needs to be modeled. The present study proposes a kinematic subgrid-scale (SGS) model which recasts the unresolved velocity fields into Lighthill’s stress tensors. A kinematic simulation is used to construct the unresolved velocity fields with the imposed temporal statistics, which is consistent with the random sweeping hypothesis. The kinematic SGS model is used to calculate sound power spectra from isotropic turbulence and yields an improved result: the missing portion of the sound power spectra is approximately recovered in the LES.