Agent-based simulation models are an important tool to study the effectiveness of policy interventions on the uptake of residential photovoltaic systems by households, a cornerstone of sustainable energy system transi...
详细信息
ISBN:
(数字)9781665408967
ISBN:
(纸本)9781665408967
Agent-based simulation models are an important tool to study the effectiveness of policy interventions on the uptake of residential photovoltaic systems by households, a cornerstone of sustainable energy system transition. In order for these models to be trustworthy, they require rigorous validation. However, the canonical approach of validating emulation models through calibration with parameters that minimize the difference of model results and reference data fails when the model is subject to many stochastic influences. The residential photovoltaic diffusion model PVact features numerous stochastic influences that prevent straightforward optimization-driven calibration. From the analysis of the results of a case-study on the cities Dresden and Leipzig (Germany) based on three error metrics (mean average error, root mean square error and cumulative average error), this research identifies a parameter range where stochastic fluctuations exceed differences between results of different parameterization and a minimization-based calibration approach fails. Based on this observation, an approach is developed that aggregates model behavior across multiple simulation runs and parameter combinations to compare results between scenarios representing different future developments or policy interventions of interest.
As billion transistor System-on-chips (SoC) become commonplace and design complexity continues to increase, designers are faced with the daunting task of meeting escalating disign requirements in shrinking time-to-mar...
详细信息
ISBN:
(纸本)0769524079
As billion transistor System-on-chips (SoC) become commonplace and design complexity continues to increase, designers are faced with the daunting task of meeting escalating disign requirements in shrinking time-to-market windows, and have begun using an IP-based SoC design methodology that permits reuse of key SoC functional components: Since the communication architectures connecting, components in these SoC designs significantly impact system, performance, it is imperative that designers explore the communication design space efficiently, quickly and early in the design flow. Transaction Level modeling (TLM) is an emerging abstraction that facilitates early exploration of SoC architectures. This paper outlines a typical IP-based SoC design flow, and presents the Cycle Count Accurate at Transaction Boundaries (CCATB) modeling abstraction which is a fast, efficient and flexible approach. for exploring bus-based communication architectures in SoC designs. The CCATB models not only take less time to model but are also faster to simulate than existing modeling abstractions for communication architecture exploration such as pin-accurate BCA (PA-BCA) and transaction based BCA (T-BCA). Experimental results on several industrial SoC subsystem case studies show that, CCATB models are faster than PA-BCA by as much as 120% on average and by 67% on average when compared to T-BCA, demonstrating the advantages of CCATB-based TLM abstraction for exploring bus-based SoC communication architectures.
This paper presents the design and performance results of a real-time jitter measurement board for testing high-frequency clocks and data transceivers. The board targets high-volume manufacturing test to measure sinus...
详细信息
This paper presents the design and performance results of a real-time jitter measurement board for testing high-frequency clocks and data transceivers. The board targets high-volume manufacturing test to measure sinusoidal jitter tolerance and random jitter in computer and communication systems, with a substantial reduction in test cost compared to existing equipment.
A theory of existence and characterization of equilibria is developed for stochastic zero-sum differential games when the players operate under different (probabilistic) models for the underlying system and the measur...
详细信息
A theory of existence and characterization of equilibria is developed for stochastic zero-sum differential games when the players operate under different (probabilistic) models for the underlying system and the measurement process(es). The main objective of this study is to identify salient features of such an extended formulation for zero-sum stochastic differential games with noisy measurements, and to analyze the equilibria that emerge from possible inconsistent modeling. After a general discussion on the implications of subjective probabilistic modeling on saddle-point equilibria, the authors carefully study the class of zero-sum differential games where the players have a common (noisy) measurement of the state, but different (subjective) statistics on the system measurement noise processes. The author obtains a characterization of the equilibrium solution in the presence of such a discrepancy and studies the structural consistency of the solution and its convergence to the saddle-point solution of the nominal game as the discrepancy becomes (in some norm) vanishingly small.
The paper presents results from work in progress on finding a method for formal specification and verification of real-time concurrent systems that incorporate a non trivial data component. We have extended Timed CCS,...
详细信息
The paper presents results from work in progress on finding a method for formal specification and verification of real-time concurrent systems that incorporate a non trivial data component. We have extended Timed CCS, a timed CCS variant with a model-oriented data language based on VDM. The semantics of the extension, called MTCCS is expressed in a combination of denotational and operational style. We show how verification of temporal logic properties based on symbolic model checking can be made possible for such a combination notation.
Non-contact vital sign detection using 60-GHz radar offers various advantages such as higher sensitivity and smaller antennas compared to lower-frequency systems, however, the respiration amplitude comparable to wavel...
详细信息
ISBN:
(纸本)9781467321402
Non-contact vital sign detection using 60-GHz radar offers various advantages such as higher sensitivity and smaller antennas compared to lower-frequency systems, however, the respiration amplitude comparable to wavelength causes strong non-linear phase modulation, and relatively small heartbeat amplitude results in detection difficulty. In this paper, theoretical analysis and simulation of 60-GHz detection are provided to address these issues. Both shallow and deep breathings are tested in the experiments, and the detection technique monitoring both the fundamental and second harmonic of respiration is proposed. The phenomena explained in the work can be applied to many millimeter-wave Doppler radar applications where target displacement is comparable to or larger than the wavelength to ensure robust detection.
The proceedings contains 30 papers from the Second internationalconference on Cognitive Technology. Topics discussed include: virtual environments;natural language processing systems;cognitive tools;interactive conce...
详细信息
The proceedings contains 30 papers from the Second internationalconference on Cognitive Technology. Topics discussed include: virtual environments;natural language processing systems;cognitive tools;interactive conceptions of intelligence;sensory substitution systems;empirical modeling for education;TV conferencing;storytelling systems;interactive computersystems;computer-aided language processing;homonization of cognition;multifaceted Internet language environment;Japanese characters recognition;cooperative learning in virtual environment;and integrated cognitive engineering.
Continuous System measurement (CSM) provides a methodology for increased understanding of your computing environment. CSM utilizes analysis techniques designed to measure system upgrades, applying this analysis on a r...
详细信息
In this paper we present a general hybrid systemsmodeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use averaging to continuously approximate ...
详细信息
ISBN:
(纸本)1581136641
In this paper we present a general hybrid systemsmodeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use averaging to continuously approximate discrete variables such as congestion window and queue size. Because averaging occurs over short time intervals, one still models discrete events such as the occurrence of a drop and the consequent reaction (e.g., congestion control). The proposed hybrid systemsmodeling framework fills the gap between packet-level and fluid-based models: by averaging discrete variables over a very short time scale (on the order of a round-trip time), our models are able to capture the dynamics of transient phenomena fairly accurately. This provides significant flexibility in modeling various congestion control mechanisms, different queuing policies, multicast transmission, etc. We validate our hybrid modeling methodology by comparing simulations of the hybrid models against packet-level simulations. We find that the probability density functions produced by ns-2 and our hybrid model match very closely with an L1-distance of less than 1%. We also present complexity analysis of ns-2 and the hybrid model. These tests indicate that hybrid models are considerably faster. Copyright 2003 ACM.
暂无评论