1,150 research outputs found

    Simulation of CO2 and CH4 in the subarctic using coupled Eulerian-Lagrangian model

    Get PDF
    GRENE北極気候変動研究事業研究成果報告会日時:2016年3月4日(金) 14:30-16:30 (Core time 14:.30-15:40)会場:国立国語研究所 2Fホワイ

    Simulation of CO2 and CH4 seasonal cycles in Siberia

    Get PDF
    第6回極域科学シンポジウム分野横断セッション:[IA] 急変する北極気候システム及びその全球的な影響の総合的解明―GRENE北極気候変動研究事業研究成果報告2015―11月19日(木) 国立極地研究所 2階 大会議

    A Variant of Material Connexive Logic

    Get PDF
    The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic. Our approach is based on the following presupposition: whatever method of formalizing informal reasoning you choose, there will always be some classically acceptable deductive principles that will have to be abandoned, and some desired schemes of argument that clearly are not classically valid. That way, we start with a new version of connexive logic which validates Boethius’ (and thus, Aristotle’s) Theses and quashes their converse from right to left. We provide a sound and complete axiomatization of this logic. We also study the implication-negation fragment of this logic supplied with Boolean negation as a second negation

    Dynamic Modeling of Networks, Microgrids, and Renewable Sources in the dq0 Reference Frame:A Survey

    Get PDF

    Simulating CO 2 profiles using NIES TM and comparison with HIAPER Pole-to-Pole Observations

    Get PDF
    We present a study on validation of the National Institute for Environmental Studies Transport Model (NIES TM) by comparing to observed vertical profiles of atmospheric CO2. The model uses a hybrid sigma-isentropic (σ–θ) vertical coordinate that employs both terrain-following and isentropic parts switched smoothly in the stratosphere. The model transport is driven by reanalyzed meteorological fields and designed to simulate seasonal and diurnal cycles, synoptic variations, and spatial distributions of atmospheric chemical constituents in the troposphere. The model simulations were run for biosphere, fossil fuel, air–ocean exchange, biomass burning and inverse correction fluxes of carbon dioxide (CO2) by GOSAT Level 4 product. We compared the NIES TM simulated fluxes with data from the HIAPER Pole-to-Pole Observations (HIPPO) Merged 10 s Meteorology, Atmospheric Chemistry, and Aerosol Data, including HIPPO-1, HIPPO-2 and HIPPO-3 from 128.0° E to −84.0° W, and 87.0° N to −67.2° S

    Adjoint of the Global Eulerian Lagrangian Coupled Atmospheric transport model (A-GELCA v1.0): development and validation

    Get PDF
    Abstract. We present the development of the Adjoint of the Global Eulerian–Lagrangian Coupled Atmospheric (A-GELCA) model that consists of the National Institute for Environmental Studies (NIES) model as an Eulerian three-dimensional transport model (TM), and FLEXPART (FLEXible PARTicle dispersion model) as the Lagrangian plume diffusion model (LPDM). The tangent and adjoint components of the Eulerian model were constructed directly from the original NIES TM code using an automatic differentiation tool known as TAF (Transformation of Algorithms in Fortran; http://www.FastOpt.com), with additional manual pre- and post-processing aimed at improving the performance of the computing, including MPI (Message Passing Interface). As results, the adjoint of Eulerian model is discrete. Construction of the adjoint of the Lagrangian component did not require any code modification, as LPDMs are able to track a significant number of particles back in time and thereby calculate the sensitivity of observations to the neighboring emissions areas. Eulerian and Lagrangian adjoint components were coupled at the time boundary in the global domain.The results are verified using a series of test experiments. The forward simulation shown the coupled model is effective in reproducing the seasonal cycle and short-term variability of CO2 even in the case of multiple limiting factors, such as high uncertainty of fluxes and the low resolution of the Eulerian model. The adjoint model demonstrates the high accuracy compared to direct forward sensitivity calculations and fast performance. The developed adjoint of the coupled model combines the flux conservation and stability of an Eulerian discrete adjoint formulation with the flexibility, accuracy, and high resolution of a Lagrangian backward trajectory formulation. </jats:p
    corecore