Seasonal thermal energy storages are considered a central element of modern, innovative energy systems and help to harmonize fluctuating energy sources. Furthermore, they allow for an improved coupling between the ele...
详细信息
Seasonal thermal energy storages are considered a central element of modern, innovative energy systems and help to harmonize fluctuating energy sources. Furthermore, they allow for an improved coupling between the electricity and heating sectors. Despite recent improvements of planning processes and enhanced models, significant discrepancies between projected and measured heat losses were revealed. Additional shortcomings of available tools relate to limitations in specifying geometry, internal design, or physical processes. Addressing these drawbacks, this study employs a revised, alternative approach by using a flexible, component-based, model ( "STORE "). It allows variable flexible parameterizations to study diverse design scenarios. After introducing relevant seasonal thermal energy storage components, processes and mechanisms, datasets, and evaluation techniques, a plausibility test is presented that applies a common thermal energy storage model for bench marking. In a test study, the re-use of a circa 1,000 m(3) large swimming pool is simulated. STORE is used to investigate performance trends caused by different designs (e.g., insulation thicknesses, materials at individual interfaces). For the plausibility test, the results show a high degree of coverage and good applicability. Further, the results of the test study show a storage efficiency of 12.4% for an uninsulated base case, which can be improved to 69.5% in case of the most complex, highly insulated configuration. Critical trends are revealed, covering reduced peak capacity levels (26.5 to 23.5 MWh) and raised average filling temperatures (39.1 to 45.2 ?). Improved long-term behavior involves reduced environmental impacts due to reduced heating of the ambient soil (+7.9 K compared to +14.1 K after 2 years). General conclusions reveal that an optimal design should initially focus on an external cover of soil and top insulation. However, evaluations should base on multiple parameters depending on the tar
Higher stiffness and strength achieved with a reduced overall weight together with an extensive use of prefabrication justify the growing diffusion of Steel-Concrete Composite (SCC) bridges since the early 2000s, espe...
详细信息
Higher stiffness and strength achieved with a reduced overall weight together with an extensive use of prefabrication justify the growing diffusion of Steel-Concrete Composite (SCC) bridges since the early 2000s, especially for the 20 divided by 80 m span range. Former experimental campaigns aimed at investigating the static response of simply supported continuous composite decks subjected to gravity loads, highlighted deck-to-pier connections, which typically experience negative moments, as critical elements. More precisely, tensile stresses occurring in the concrete slab and compression of bottom flanges of steel girders may cause concrete cracking and steel buckling, respectively. The adoption of Concrete Cross Beams (CCBs) allows for circumventing such issues and represents an enhanced solution for deck-to-pier connections in SCC bridges with continuous deck. In detail, steel girder head plates provided with shear studs transfer compression and shear loads to the CCB whilst additional steel rebars bring tension forces coming from adjacent concrete slabs. Although deck-to-pier connection based on CCBs can be designed with the support of Eurocodes, guidelines are limited to vertical loads and no standard exist for design against earthquakes. In order to investigate the seismic response of deck-to-pier connections based on CCBs and provide relevant design guidelines, an extensive research program was developed within the European Project SEQBRI, which is summarized in this paper. (C) 2018 Elsevier Ltd. All rights reserved.
In this paper we propose a new language Mediator to formalize component-based system models. Mediator supports a two-step modeling approach. Automata, encapsulated with an interface of ports, are the basic behavior un...
详细信息
ISBN:
(数字)9783319680347
ISBN:
(纸本)9783319680347;9783319680330
In this paper we propose a new language Mediator to formalize component-based system models. Mediator supports a two-step modeling approach. Automata, encapsulated with an interface of ports, are the basic behavior units. Systems declare components or connectors through automata, and glue them together. With the help of Mediator, components and systems can be modeled separately and precisely. Through various examples, we show that this language can be used in practical scenarios.
Modern geoscientists have online access to an abundance of different data sets and models, but these resources differ from each other in myriad ways and this heterogeneity works against interoperability as well as rep...
详细信息
Modern geoscientists have online access to an abundance of different data sets and models, but these resources differ from each other in myriad ways and this heterogeneity works against interoperability as well as reproducibility. The purpose of this paper is to illustrate the main issues and some best practices for addressing the challenge of reproducible science in the context of a relatively simple hydrologic modeling study for a small Arctic watershed near Fairbanks, Alaska. This study requires several different types of input data in addition to several, coupled model components. All data sets, model components and processing scripts (e.g., for preparation of data and figures, and for analysis of model output) are fully documented and made available online at persistent URLs. Similarly, all source codes for the models and scripts are open source, version controlled, and made available online via GitHub. Each model component has a Basic Model Interface to simplify coupling and its own HTML help page that includes a list of all equations and variables used. The set of all model components (TopoFlow) has also been made available as a Python package for easy installation. Three different graphical user interfaces for setting up TopoFlow runs are described, including one that allows model components to run and be coupled as web services.
component-based modeling frameworks make it easier for users to access, configure, couple, run and test numerical models. However, they do not typically provide tools for uncertainty quantification or data-based model...
详细信息
component-based modeling frameworks make it easier for users to access, configure, couple, run and test numerical models. However, they do not typically provide tools for uncertainty quantification or data-based model verification and calibration. To better address these important issues, modeling frameworks should be integrated with existing, general-purpose toolkits for optimization, parameter estimation and uncertainty quantification. This paper identifies and then examines the key issues that must be addressed in order to make a component-based modeling framework interoperable with general-purpose packages for model analysis. As a motivating example, one of these packages, DAKOTA, is applied to a representative but nontrivial surface process problem of comparing two models for the longitudinal elevation profile of a river to observational data. Results from a new mathematical analysis of the resulting nonlinear least squares problem are given and then compared to results from several different optimization algorithms in DAKOTA. (C) 2016 Elsevier Ltd. All rights reserved.
In component-based modeling, a system is built by constructing several coordinating components. In turn, the communication principles among components are modeled by architectures that characterize the permissible int...
详细信息
In component-based modeling, a system is built by constructing several coordinating components. In turn, the communication principles among components are modeled by architectures that characterize the permissible interactions and the topology of the components. Several architectures impose also order restrictions to the appearance of the permissible interactions. The application of an architecture to a component-based system does not guarantee that the behaviors of the system meet all the requirements of the architecture. In turn, this can lead the system to actions that do not follow the intended order of the interactions, which we call erroneous behaviors. In this paper, we tackle the problem of such order violations by introducing a formal framework for building component-based systems that avoid erroneous behaviors. For this, we formalize the systems by nondeterministic finite automata and we model their architecture by a fragment of extended propositional interaction logic. This logic achieves to encode the order restrictions in the occurrence of the permissible interactions of the architecture. Given a component-based system with an architecture, we propose an automata-based method for constructing a respective system without erroneous behaviors. Our algorithm returns a system that is also free of deadlocks, meaning that the system does not reach states from which it can no longer progress.
Data-driven dynamic models typically offer faster execution than their physics-based counterparts described by large systems of nonlinear differential-algebraic equations (DAEs) with quantitatively reasonable accuracy...
详细信息
Data-driven dynamic models typically offer faster execution than their physics-based counterparts described by large systems of nonlinear differential-algebraic equations (DAEs) with quantitatively reasonable accuracy. Therefore, development of such models can be extremely useful for design optimization, controls, fault detection and diagnostics of vapor compression based building Heating, ventilation and air conditioning (HVAC) systems. As the complexity and scale of vapor compression systems (VCS) increase rapidly across the industry, a modular approach of generating and interconnecting data-driven component models enables model reuse and efficient adaption to arbitrary system layouts. Despite the flexibility, the modular integration for system model generation can suffer from nonphysical behaviors of violating conservation laws due to inevitable prediction errors associated with each component. This paper presents a data-driven modeling framework that exploits state-of-the-art deep learning techniques for constructing component models, while enforcing physical conservation for system simulations. A general-purpose system solver is developed to handle arbitrary configurations by automatically integrating data-driven or interchangeable physics-basedcomponent models into a system model. Results of an air-source heat pump system reveal a significant speedup with good agreement, compared to high-fidelity first-principles models.
With the rapidly increasing of digital logic systems' complexity, its design flows become more and more tedious. In order to increase its efficiency and reduce the cost of engineering, design cycles should tend to...
详细信息
ISBN:
(纸本)9781479927630
With the rapidly increasing of digital logic systems' complexity, its design flows become more and more tedious. In order to increase its efficiency and reduce the cost of engineering, design cycles should tend to be more convenient. This paper presents a modeling methodology for complex digital logic components. It contains formal definition and calculation system of components. component-based modeling can help the developers to understand the design intent preferably and speed up the development of system. The formal definition gives the specification of components. The calculation system offers a theoretic way to connect components via connectors, and then provides a theoretical basis for further verification.
With the rapidly increasing of digital logic systems' complexity, its design flows become more and more tedious. In order to increase its efficiency and reduce the cost of engineering, design cycles should tend to...
详细信息
ISBN:
(纸本)9781479927654
With the rapidly increasing of digital logic systems' complexity, its design flows become more and more tedious. In order to increase its efficiency and reduce the cost of engineering, design cycles should tend to be more convenient. This paper presents a modeling methodology for complex digital logic components. It contains formal definition and calculation system of components. component-based modeling can help the developers to understand the design intent preferably and speed up the development of system. The formal definition gives the specification of components. The calculation system offers a theoretic way to connect components via connectors, and then provides a theoretical basis for further verification.
Many recent modeling efforts have employed component-based modeling frameworks to take advantage of the flexibility they provide in representing systems more holistically. Despite the benefits that are driving this ad...
详细信息
Many recent modeling efforts have employed component-based modeling frameworks to take advantage of the flexibility they provide in representing systems more holistically. Despite the benefits that are driving this adoption, conducing model parameter estimation, uncertainty analysis, sensitivity assessment, and other simulations of this nature within component-based modeling frameworks has remained unexplored. Using a multi-objective calibration of a component-based river temperature model, we illustrate how the component cloning and parallel model execution interfaces we have implemented in the HydroCouple framework support such simulations. The river temperature model calibration application we present involves a heavily human mediated 13.6 km section of the Logan River in Utah, USA with limited information regarding variable inflows. Due to the flexibility in the modeling and calibration framework, results from the calibration effort were successful with root mean square errors of 0.4-0.7 degrees C and provided insights on mechanisms controlling river temperatures.
暂无评论