Filters








1,094 Hits in 6.6 sec

Evaluation for the Seasonal Evolution of the Summer Monsoon over the Asian and Western North Pacific Sector in the WCRP CMIP3 Multi-model Experiments

Tomoshige INOUE, Hiroaki UEDA
2009 Journal of the Meteorological Society of Japan  
Metrics on the reproducibility of lower-tropospheric circulation of the ASM are also presented, in order to evaluate the reproducibility of the ASM circulation quantitatively.  ...  The analysis based on metrics concerning the stepwise eastward progress of convection over the WNP and its vicinity suggests that these models still have some di‰culties in reproducing the stepwise eastward  ...  Support of this dataset is provided by the O‰ce of Science, U.S. Department of Energy.  ... 
doi:10.2151/jmsj.87.539 fatcat:cry2x3hwrvbdvmpsbn7ieo7rem

Decrease of airway smooth muscle contractility induced by simulated breathing maneuvers is not simply proportional to strain

Chris D. Pascoe, Chun Y. Seow, Peter D. Paré, Ynuk Bossé
2013 Journal of applied physiology  
In relaxed ASM, high stress simulating 20 cm H 2O-transpulmonary pressure excursions strained ASM strips by 20.7% and decreased force by 17.1%.  ...  As expected, the results indicate that tone attenuated the strain experienced by ASM during breathing maneuver simulations.  ...  The relationships between strain, stress, and decline of force induced by breathing simulations.  ... 
doi:10.1152/japplphysiol.00870.2012 pmid:23195632 fatcat:hcnrv5uzuff63gqgleadhtd6ia

Sensitivity of Asian Summer Monsoon precipitation to tropical sea surface temperature anomalies

Lei Fan, Sang-Ik Shin, Zhengyu Liu, Qinyu Liu
2016 Climate Dynamics  
The corresponding physical links between these SST anomaly patterns and ASM precipitation were also discussed.  ...  The relevance of sensitivity maps was justified by the high correlation between sensitivity-map-based reconstructed time series using observed SST anomaly patterns and actual precipitation series derived  ...  The manuscript was improved by the constructive comments of four anonymous reviewers.  ... 
doi:10.1007/s00382-016-2978-x fatcat:3wzpgt7hobfd3grfhjih3vtxby

Page 928 of Mechanical Engineering Vol. 74, Issue 11 [page]

1952 Mechanical Engineering  
By studying space with mate- ASME Transactions THE October, 1952, issue of the Trans ASME (available at $1 per copy to ASME members; $1.50 to nonmembers) contains TECHNICAL PAPERS Recent Experience in  ...  J. 1952 ASME Fall Meeting paper No 52—F-51 (mimeographed ) THIS paper attempts to answer these questions: (1) Is the study of space utilization important to the introduction of efficient material-handling  ... 

Modularization of Refinement Steps for Agile Formal Methods [chapter]

Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake
2017 Lecture Notes in Computer Science  
We have developed tool support for the language AsmetaL and evaluated our approach by means of a case study.  ...  We consider redundancies within refinement hierarchies as a challenge for the practical application of stepwise refinement and propose superimposition-based modularization of refinement steps as a potential  ...  We thank Paolo Arcaini and Angelo Gargantini for their valuable support with the Asmeta framework and providing the original AsmetaL refinement sequence for the Landing Gear System case study.  ... 
doi:10.1007/978-3-319-68690-5_2 fatcat:bw736aitmvh6rhenrewbvnvwry

Delay of the First Transition of Asian Summer Monsoon under Global Warming Condition

Tomoshige Inoue, Hiroaki Ueda
2011 SOLA : Scientific Online Letters on the Atmosphere  
This change might be related with delay of the reversal of upper-tropospheric meridional thermal gradient between over the Eurasian Continent and the north Indian Ocean.  ...  Many CGCMs reproduce seasonal evolution of the thermal fields related to the first transition of ASM well, though the degree of reproducibility differs to some extent.  ...  Support of this dataset is provided by the Office of Science, U.S. Department of Energy.  ... 
doi:10.2151/sola.2011-021 fatcat:3jrgoqg57jamrdfiudavmbha2e

The ASM Method for System Design and Analysis. A Tutorial Introduction [chapter]

Egon Börger
2005 Lecture Notes in Computer Science  
specication and code by piecemeal, systematically documented detailing of abstract models via stepwise rened models to code [8], validation of models by their tool-supported simulation, verication of  ...  SystemC, Java/JVM|the book [51] contains the up to now most comprehensive non-proprietary real-life ASM case study, covering in every detail ground modeling, renement, structuring, implementation, verication  ...  Classication of ASM Functions and Locations In this section we describe how the ASM method supports the separation of concerns, information hiding, data abstraction, modularization and stepwise renement  ... 
doi:10.1007/11559306_15 fatcat:6shdvhdndbffxbs6tiqwc66nkq

Important Factors for the Development of the Asian–Northwest Pacific Summer Monsoon*

Hiroaki Ueda, Masamichi Ohba, Shang-Ping Xie
2009 Journal of Climate  
The Asian and northwest (NW) Pacific summer monsoons exhibit stepwise transitions with rapid changes in precipitation at intervals of roughly 1 month from mid-May through mid-July.  ...  The method compares two sets of atmospheric general circulation model (GCM) simulations, forced with observed seasonally varying and piecewise constant SST, respectively.  ...  Much of the work was carried out while the first author HU was on sabbatical leave at IPRC from University of Tsukuba. He would like to thank colleagues at IPRC for hospitality and discussion.  ... 
doi:10.1175/2008jcli2341.1 fatcat:snmhxsqurbcd7n4fg5w5peglmi

The ASM Ground Model Method as a Foundation of Requirements Engineering [chapter]

Egon Börger
2003 Lecture Notes in Computer Science  
Building ground models is one of the three constituents of the engineering method for computer-based systems which is known as Abstract State Machine (ASM) method [16] .  ...  We explain how ASM ground models help to resolve two major problems of requirements engineering, providing means a) to obtain for complex computer-based systems an adequate understanding by humans, and  ...  Acknowledgement This paper has been triggered by a discussion with Daniel Berry on the ASM method, in particular by the two recent papers [5] and [6] .  ... 
doi:10.1007/978-3-540-39910-0_6 fatcat:kfedosnmdvci7liufadnq6gb4y

Linking the Meaning of Programs to What the Compiler Can Verify [chapter]

Egon Börger
2008 Lecture Notes in Computer Science  
for ground models and to the mathematical verification of their refinements to compilable code, using Abstract State Machine (ASM) ground models [11] (Sect. 1) and ASM refinements [12] (Sect. 2).  ...  We explain how it allows one to bridge the gap between informal requirements and detailed code by combining application-centric experimentally validatable system modeling with mathematically verifiable  ...  The middle-size industrial case study described in [19] illustrates the feasibility of this goal.  ... 
doi:10.1007/978-3-540-69149-5_35 fatcat:j4glj7epbvgbzppobp7dkywvuq

The ASM Refinement Method

Egon B�rger
2003 Formal Aspects of Computing  
Some frequently occurring forms of ASM refinements are identified and illustrated by examples from the design and verification of architectures and protocols, from the semantics and the implementation  ...  of programming languages and from requirements engineering.  ...  Schellhorn (Augsburg) and two anonymous referees for valuable critical comments on the first version of this paper.  ... 
doi:10.1007/s00165-003-0012-7 fatcat:mzvctoj72zgm7fqnh2csoa6isu

Abstract State Machines 1988-1998: Commented ASM Bibliography [article]

Egon Boerger, James K. Huggins
1998 arXiv   pre-print
An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.  ...  The first tutorial on ASMs. The ASM thesis is stated: Every algorithm can be simulated by an appropriate ASM in lock-step on the natural abstraction level of the algorithm.  ...  PhD thesis, University of Michigan, Ann Arbor, Michigan, 1992. An early student work on ASMs (the late date of 1992 is accidental). A reduced version of Smalltalk is formalized and studied. [14] A.  ... 
arXiv:cs/9811014v1 fatcat:w3vj5i7mzbccbcibroi7dkmhtq

The Role of Inflammation Resolution Speed in Airway Smooth Muscle Mass Accumulation in Asthma: Insight from a Theoretical Model

Igor L. Chernyavsky, Huguette Croisier, Lloyd A. C. Chapman, Laura S. Kimpton, Jonathan E. Hiorns, Bindi S. Brook, Oliver E. Jensen, Charlotte K. Billington, Ian P. Hall, Simon R. Johnson, Mohamed Trebak
2014 PLoS ONE  
The degree of ASM accumulation can be explained by an increase in the rate at which ASM cells switch between non-proliferative and proliferative states, driven by episodic inflammatory events.  ...  It also suggests new ways of quantifying inflammation severity that could improve prediction of the extent of ASM accumulation.  ...  Acknowledgments The authors would like to thank all the organisers and participants of the Author Contributions  ... 
doi:10.1371/journal.pone.0090162 pmid:24632688 pmcid:PMC3954558 fatcat:of4sldvncfdvfaik3sizrrhpci

Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems

Egon Börger
2007 Formal Aspects of Computing  
We outline the Abstract State Machines (ASM) method, a discipline for reliable system development which allows one to bridge the gap between informal requirements and executable code by combining application-centric  ...  experimentally validatable system modelling with mathematically verifiable stepwise detailing of abstract models to compile-time-verifiable code.  ...  Acknowledgement We thank Peter Sestoft for having directed our attention to Naur's paper [78] and Natarajan Shankar for making us aware that the need for the concept of "ground model" has recently been  ... 
doi:10.1007/s00165-006-0019-y fatcat:2uu56yo52ffkhblbcaoqojdtoe

The abstract state machines method for modular design and analysis of programming languages

Egon Börger
2014 Journal of Logic and Computation  
After an initial failure the goal was achieved in [19, 20, 21] by defining the notion of an ASM ground model [27, 29] and an ASMtailored stepwise refinement [28, 29] concept for modeling with ASMs, exploiting  ...  mathematical proof (verification) and experimental validation (simulation and testing).  ...  Reusing Java ground model for ECMA standard C# As part of the Microsoft Research ROTOR project we carried out a challenging ASM reuse case study.  ... 
doi:10.1093/logcom/exu077 fatcat:7quppauog5eyvaahlbvlrk7w3u
« Previous Showing results 1 — 15 out of 1,094 results