In this paper a novel modelling methodology for industrial automation discrete event dynamical systems is presented and some preliminary results are drawn by means of a significative example. The proposed approach exp...
详细信息
In this paper a novel modelling methodology for industrial automation discrete event dynamical systems is presented and some preliminary results are drawn by means of a significative example. The proposed approach exploits behavioral rules expressed by means of regular languages generated by automata, and composed using automata parallel composition. In this framework, with a suitable rules definition, fault events will cause a changing in a limited set of rules (i.e automata), hence a sort of “fault modelling confinement” can be achieved. This approach leads to a sort of “multi-model” set of parallel automata representing a system in nominal and different faulty conditions, hence statecharts have been effectively used for representation. The resulting models are suitable for formal analysis and design based on well-established tools for discrete event dynamical systems. In addition, the “complexity explosion”, which is rather common for the models adopted in rigorous treatment of discrete event systems, can be effectively avoided exploiting composability properties and simple and “confined” fault modelling.
For understanding the performance differences caused by different computer architectures and optimization technologies, the paper characterizes performance of SPEC CPU2006 benchmarks both on Intel and AMD platform. Us...
详细信息
For understanding the performance differences caused by different computer architectures and optimization technologies, the paper characterizes performance of SPEC CPU2006 benchmarks both on Intel and AMD platform. Using the performance events collected by Performance Monitor Unit, we compare their performance differences and analyze the causes from the features of architectures and the optimization technologies. Our results and analysis help the programmers better understand the memory performance and branch prediction performance which are caused by architectures and guide them in the optimization. The analysis also help the processor architects better balance among the key architecture factors such as memory disambiguation and hardware prefetch when doing architecture design decision.
The visualization of stationary and time-dependent flow is an important and challenging topic in scientific visualization. Its aim is to represent transport phenomena governed by vector fields in an intuitively unders...
详细信息
We introduce a new method for estimating the position and direction of receiving elements of a Real-Time Location System (RTLS). We deployed an autonomous robot and an Evolutionary Algorithm (EA) for this problem. The...
详细信息
We introduce a new method for estimating the position and direction of receiving elements of a Real-Time Location System (RTLS). We deployed an autonomous robot and an Evolutionary Algorithm (EA) for this problem. The adopted operations and fitness calculation of the EA are presented for an Angle of Arrival (AoA) system and the results of simulation and real experiment setup were shown. Further problems of implementing in a real scenario were discussed.
Little is known about how plant viruses of a single species exhibit different movement behavior in different host species. Two Cymbidium mosaic potexvirus (CymMV) isolates, M1 and M2, were studied. Both can infect Pha...
详细信息
The integration and usage of uncertain sensor data in workflows is a difficult problem. In this paper we describe these difficulties which result from the combination of very distinct areas. On the one hand, applicati...
详细信息
ISBN:
(纸本)9783885792482
The integration and usage of uncertain sensor data in workflows is a difficult problem. In this paper we describe these difficulties which result from the combination of very distinct areas. On the one hand, applications from area of measurement engineering manage sensors that capture data and annotate the data with technical meta data. On the other hand, context-aware workflows from the BPM area place high level requirements for the quality of context data that is derived from the sensor data. Between those two areas exists a gap that has to be closed by a context management and mediation system, supporting the handling of Quality of Context (QoC). To achieve this the paper presents an QoC aware architecture based on an extension of the existing Nexus Platform and a first approach for matching the workflow requirements with the sensor annotations.
Introduction: Simultaneous recording of electrical potentials from multiple cells may be useful for physiological and pharmacological research. The present study aimed to establish an in vitro cardiac hypoxia experime...
详细信息
We demonstrate a system is comprised of a single-hop network structure with ultra-compact sensor nodes densely deployed and operating at non-trivial data rates. The contribution of our research is a light-weight, mult...
详细信息
We demonstrate a system is comprised of a single-hop network structure with ultra-compact sensor nodes densely deployed and operating at non-trivial data rates. The contribution of our research is a light-weight, multi-channel protocol which minimizes the complexities on the sensor nodes while retaining high flexibility and high scalability. The data streams collected by the base stations are transmitted over the Fast Ethernet to the host for real-time data logging. The system keeps gathering data in a network of 100 sensor nodes organized as two frequency groups, and all sensor nodes are deployed within 2 m 2 area.
暂无评论