摘要 :
Quantitative monitoring can be universal and approximate: For every finite sequence of observations, the specification provides a value and the monitor outputs a best-effort approximation of it. The quality of the approximation ma...
展开
Quantitative monitoring can be universal and approximate: For every finite sequence of observations, the specification provides a value and the monitor outputs a best-effort approximation of it. The quality of the approximation may depend on the resources that are available to the monitor. By taking to the limit the sequences of specification values and monitor outputs, we obtain precision-resource trade-offs also for limit monitoring. This paper provides a formal framework for studying such trade-offs using an abstract interpretation for monitors: For each natural number n, the aggregate semantics of a monitor at time n is an equivalence relation over all sequences of at most n observations so that two equivalent sequences are indistinguishable to the monitor and thus mapped to the same output. This abstract interpretation of quantitative monitors allows us to measure the number of equivalence classes (or "resource use") that is necessary for a certain precision up to a certain time, or at any time. Our framework offers several insights. For example, we identify a family of specifications for which any resource-optimal exact limit monitor is independent of any error permitted over finite traces. Moreover, we present a specification for which any resource-optimal approximate limit monitor does not minimize its resource use at any time.
收起
摘要 :
Technology scaling has enabled the fabrication of Multi-Processor Systems-on-Chips (MPSoCs), which satisfy the ever growing demand for performance, while continuously reducing the chip size. Thus, scaling has also led to new chall...
展开
Technology scaling has enabled the fabrication of Multi-Processor Systems-on-Chips (MPSoCs), which satisfy the ever growing demand for performance, while continuously reducing the chip size. Thus, scaling has also led to new challenges such as increasing power densities, which critically influence the chip temperatures and accelerate device degradation due to aging. Runtime power management can be utilized to counter these reliability threats to increase the lifetime of a system. For the development of runtime power management strategies monitoring data for power, temperature and aging is required. In this paper we propose a real-time power, temperature and aging monitor system (eTAPMon) for FPGA prototypes of MPSoCs. The monitor system emulates data characterized from the target ASIC design. The emulation approach models the behavior of ASIC power monitors based on an instruction-level energy model, temperature monitors based on a linear regression model obtained from thermal offline simulations and aging monitors based on a critical path model to compute the decreasing timing margin due to aging. An accelerated aging emulation is possible to predict aged ASIC behavior. Hence, this FPGA emulation enables the early evaluation of runtime power management strategies.
收起
摘要 :
The slope monitoring is the basis of slope management and ensure the safety of slope, is regarded year by year. This paper mainly introduced several kinds of more advanced, more commonly used slope monitoring method, elaborated th...
展开
The slope monitoring is the basis of slope management and ensure the safety of slope, is regarded year by year. This paper mainly introduced several kinds of more advanced, more commonly used slope monitoring method, elaborated the key from the principle and advantages and disadvantages, and analyzed the application of open-pit mine monitoring equipment from the Huogeqi mining area. It will have certain reference significance for selection of open-pit mine slope monitoring method.
收起
摘要 :
The slope monitoring is the basis of slope management and ensure the safety of slope, is regarded year by year. This paper mainly introduced several kinds of more advanced, more commonly used slope monitoring method, elaborated th...
展开
The slope monitoring is the basis of slope management and ensure the safety of slope, is regarded year by year. This paper mainly introduced several kinds of more advanced, more commonly used slope monitoring method, elaborated the key from the principle and advantages and disadvantages, and analyzed the application of open-pit mine monitoring equipment from the Huogeqi mining area. It will have certain reference significance for selection of open-pit mine slope monitoring method.
收起
摘要 :
The Monitor project is a photometric monitoring survey of nine relatively rich, compact and nearby open clusters in the age range 1-200 Myr, whose primary goal is to detect young low mass eclipsing binaries and transit- == ing pla...
展开
The Monitor project is a photometric monitoring survey of nine relatively rich, compact and nearby open clusters in the age range 1-200 Myr, whose primary goal is to detect young low mass eclipsing binaries and transit- == ing planets, in order to provide observational constraints on the formation and evolution of very low mass stars, brown dwarfs and planets at early ages. The present contribution gives an overview of the motivation, design and expected performance of the survey, and presents some preliminary results
收起
摘要 :
Two major approaches have emerged in runtime verification, based on synchronous and asynchronous monitoring. Each approach has its advantages and disadvantages and is applicable in different situations. In this paper, we explore a...
展开
Two major approaches have emerged in runtime verification, based on synchronous and asynchronous monitoring. Each approach has its advantages and disadvantages and is applicable in different situations. In this paper, we explore a hybrid approach, where low-level properties are checked synchronously, while higher-level ones are checked asynchronously. We present a tool for constructing and deploying monitors based on an architecture specification. Monitor logic and patterns of communication between monitors are specified in a language SMEDL. The language and the tool are illustrated using a case study of a robotic simulator.
收起
摘要 :
Sensor-based monitoring during the construction period as well as Wind and Structural Health Monitoring Systems (WASHMS) have become common place on the largest bridges built within the last decade. They are used to ensure the qua...
展开
Sensor-based monitoring during the construction period as well as Wind and Structural Health Monitoring Systems (WASHMS) have become common place on the largest bridges built within the last decade. They are used to ensure the quality of construction, bring to the surface potential long term effects of bridge loading and, most importantly, ensure safety of construction personnel and, later, the users of the facility. Investments in the technology have been considerable, as some of these systems are very extensive, with more than 1,000 measurement channels, and even larger are yet to be delivered. Costs have increased, as in most cases no optimisation has been done to benefit from the components usable both in construction and during the service life. Due to the fact that the technology has been immature and non-sustaining to the bridge environment in many areas, the value of the systems to designers, material vendors, bridge construction, operation and maintenance varies dramatically. This paper presents an example of optimum configuration and results for construction period and service life monitoring on the cable stayed bridge over the river Neva in St. Petersburg.
收起
摘要 :
Sensor-based monitoring during the construction period as well as Wind and Structural Health Monitoring Systems (WASHMS) have become common place on the largest bridges built within the last decade. They are used to ensure the qua...
展开
Sensor-based monitoring during the construction period as well as Wind and Structural Health Monitoring Systems (WASHMS) have become common place on the largest bridges built within the last decade. They are used to ensure the quality of construction, bring to the surface potential long term effects of bridge loading and, most importantly, ensure safety of construction personnel and, later, the users of the facility. Investments in the technology have been considerable, as some of these systems are very extensive, with more than 1,000 measurement channels, and even larger are yet to be delivered. Costs have increased, as in most cases no optimisation has been done to benefit from the components usable both in construction and during the service life. Due to the fact that the technology has been immature and non-sustaining to the bridge environment in many areas, the value of the systems to designers, material vendors, bridge construction, operation and maintenance varies dramatically. This paper presents an example of optimum configuration and results for construction period and service life monitoring on the cable stayed bridge over the river Neva in St. Petersburg.
收起
摘要 :
Process-aware information systems support business operations as they are typically defined in a normative process model. Often these systems do not di-rectly execute the process model, but provide the flexibility to deviate from ...
展开
Process-aware information systems support business operations as they are typically defined in a normative process model. Often these systems do not di-rectly execute the process model, but provide the flexibility to deviate from the normative model. This paper proposes a method for monitoring control-flow devi-ations during process execution. Our contribution is a formal technique to derive monitonng queries from a process model, such that they can be directly used in a complex event processing environment. Furthermore, we also introduce an ap-proach to filter and aggregate query results to provide compact feedback on devi ations. Our techniques is applied in a case study within the IT service industry.
收起
摘要 :
Network monitoring system is a collection about consisting of a set of tools for network monitoring and control, a combination of organic is used to manage networks and ensure the normal operation of the network software and hardw...
展开
Network monitoring system is a collection about consisting of a set of tools for network monitoring and control, a combination of organic is used to manage networks and ensure the normal operation of the network software and hardware. It is not only to improve the efficiency of network management, but also continue to monitor the network, creating blogs, research and analysis of network status.
收起
原文获取