ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Meteorology and Climatology  (4)
  • Formal system design  (1)
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Journal of intelligent manufacturing 10 (1999), S. 485-502 
    ISSN: 1572-8145
    Keywords: Formal system design ; real-time systems ; time Petri nets ; real-time computational tree logic ; flexible manufacturing systems
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mechanical Engineering, Materials Science, Production Engineering, Mining and Metallurgy, Traffic Engineering, Precision Mechanics
    Notes: Abstract An FMS is a typical real-time concurrent system composed of a number of computer-controlled machine tools, automated material handling and storage systems that operate as an integrated system under the control of host computer(s). The growing demand for higher performance and flexibility in these systems and the interlocking factors of concurrency, deadline-driven activities, and real-time decision making pose a significant challenge to FMS design, especially in terms of control and scheduling. A formal engineering approach that helps handle the complexity and dynamics of FMS modeling, design and analysis is needed. A real-time architectural specification (RAS) model and its application in the modeling of flexible manufacturing system (FMS) are presented. RAS combines mature operational and descriptive formal methods, in particular time Petri nets (TPN) and real-time computational tree logic (RTCTL), to form an integrated system model for architectural specification and analysis of real-time concurrent systems such as FMS. The contribution of RAS is twofold: First, it provides a formal system to systematically maintain a strong correlation between (real-time) requirements and design and to verify the conformance of the design to the requirements, which helps enhance traceability and thus to help us to achieve high assurance in design. Second, it offers better scalability in modeling and analysis, which provides an effective way to deal with complexity in the application of formal methods. These two features together make RAS a suitable model for the design of FMS.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Publication Date: 2019-06-13
    Description: Since Chaneys report, the range of global warming projections in response to a doubling of CO2from 1.5 C to 4.5 C or greaterremains largely unscathed by the onslaught of new scientific insights. Conventional thinking regards inter-model differences in climate feedbacks as the sole cause of the warming projection spread (WPS). Our findings shed new light on this issue indicating that climate feedbacks inherit diversity from the model control climate, besides the models intrinsic climate feedback diversity that is independent of the control climate state. Regulated by the control climate ice coverage, models with greater (lesser) ice coverage generally possess a colder (warmer) and drier (moister) climate, exhibit a stronger (weaker) ice-albedo feedback, and experience greater (weaker) warming. The water vapor feedback also inherits diversity from the control climate but in an opposite way: a colder (warmer) climate generally possesses a weaker (stronger) water vapor feedback, yielding a weaker (stronger) warming. These inherited traits influence the warming response in opposing manners, resulting in a weaker correlation between the WPS and control climate diversity. Our study indicates that a better understanding of the diversity amongst climate model mean states may help to narrow down the range of global warming projections.
    Keywords: Meteorology and Climatology
    Type: NF1676L-26987 , Scientific Reports (e-ISSN 2045-2322); 7; 4300
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Publication Date: 2019-08-26
    Description: Hydrological years 2006 (HY06, 10/2005-09/2006) and 2007 (HY07, 10/2006-09/2007) provide a unique opportunity to examine hydrological extremes in the central US because there are no other examples of two such highly contrasting precipitation extremes occurring in consecutive years at the Southern Great Plains (SGP) in recorded history. The HY06 annual precipitation in the state of Oklahoma, as observed by the Oklahoma Mesonet, is around 61% of the normal (92.84 cm, based on the 1921-2008 climatology), which results in HY06 the second-driest year in the record. In particular, the total precipitation during the winter of 2005-06 is only 27% of the normal, and this winter ranks as the driest season. On the other hand, the HY07 annual precipitation amount is 121% of the normal and HY07 ranks as the seventh-wettest year for the entire state and the wettest year for the central region of the state. Summer 2007 is the second-wettest season for the state. Large-scale dynamics play a key role in these extreme events. During the extreme dry period (10/2005-02/2006), a dipole pattern in the 500-hPa GH anomaly existed where an anomalous high was over the southwestern U.S. region and an anomalous low was over the Great Lakes. This pattern is associated with inhibited moisture transport from the Gulf of Mexico and strong sinking motion over the SGP, both contributing to the extreme dryness. The precipitation deficit over the SGP during the extreme dry period is clearly linked to significantly suppressed cyclonic activity over the southwestern U.S., which shows robust relationship with the Western Pacific (WP) teleconnection pattern. The precipitation events during the extreme wet period (May-July 2007) were initially generated by active synoptic weather patterns, linked with moisture transport from the Gulf of Mexico by the northward low level jet, and enhanced by the mesoscale convective systems. Although the drought and pluvial conditions are dominated by large-scale dynamic patterns, we have demonstrated that the two positive feedback processes during the extreme dry and wet periods found in this study play a key role to maintain and reinforce the length and severity of existing drought and flood events. For example, during the extreme dry period, with less clouds, LWP, PWV, precipitation, and thinner Cu cloud thickness, more net radiation was absorbed and used to evaporate water from the ground. The evaporated moisture, however, was removed by low-level divergence. Thus, with less precipitation and removed atmospheric moisture, more absorbed incoming solar radiation was used to increase surface temperature and to make the ground drier.
    Keywords: Meteorology and Climatology
    Type: NF1676L-11403
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Publication Date: 2019-08-17
    Description: Since Chaneys report, the range of global warming projections in response to a doubling of CO2from 1.5C to 4.5C or greaterremains largely unscathed by the onslaught of new scientific insights. Conventional thinking regards inter-model differences in climate feedbacks as the sole cause of the warming projection spread (WPS). Our findings shed new light on this issue indicating that climate feedbacks inherit diversity from the model control climate. Regulated by the control climate sea ice coverage via its melt potential, models with greater (lesser) sea ice coverage generally possess a colder (warmer) and drier (moister) climate, exhibit a stronger (weaker) ice-albedo feedback, and experience greater (weaker) warming. The water vapor feedback also inherits diversity from the control climate but in an opposite way: a colder (warmer) climate generally possesses a weaker (stronger) water vapor feedback, yielding a weaker (stronger) warming. These inherited traits compete to influence the warming response obscuring the correlation between the WPS and control climate diversity. We envision this new insight and enhanced control climate lens allow us to refocus an old yet underexplored line of inquiry contributing to the ultimate crack in the WPS armor and convergence of the warming projections.
    Keywords: Meteorology and Climatology
    Type: NF1676L-25903 , Nature Climate Change (ISSN 1758-678X) (e-ISSN 1758-6798); 7; 4300
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Publication Date: 2019-08-08
    Description: The global-mean surface temperature has experienced a rapid warming from the 1980s to early-2000s but a muted warming since, referred to as the global warming hiatus in the literature. Decadal changes in deep ocean heat uptake are thought to primarily account for the rapid warming and subsequent slowdown. Here, we examine the role of ocean heat uptake in establishing the fast warming and warming hiatus periods in the ERA-Interim through a decomposition of the global-mean surface energy budget. We find the increase of carbon dioxide alone yields a nearly steady increase of the downward longwave radiation at the surface from the 1980s to the present, but neither accounts for the fast warming nor warming hiatus periods. During the global warming hiatus period, the transfer of latent heat energy from the ocean to atmosphere increases and the total downward radiative energy flux to the surface decreases due to a reduction of solar absorption caused primarily by an increase of clouds. The reduction of radiative energy into the ocean and the surface latent heat flux increase cause the ocean heat uptake to decrease and thus contribute to the slowdown of the global-mean surface warming. Our analysis also finds that in addition to a reduction of deep ocean heat uptake, the fast warming period is also driven by enhanced solar absorption due predominantly to a decrease of clouds and by enhanced longwave absorption mainly attributed to the air temperature feedback.
    Keywords: Meteorology and Climatology
    Type: NF1676L-27597 , Climate Dynamics (ISSN 0930-7575) (e-ISSN 1432-0894); 52; 3-4; 2005-2016
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...