This paper reports our contribution to the design of an eddy current sensor. The objective of this study is to conceive an Eddy current electromagnetic sensor in the area of the Non-destructive Testing. The sensor is ...
详细信息
This paper reports our contribution to the design of an eddy current sensor. The objective of this study is to conceive an Eddy current electromagnetic sensor in the area of the Non-destructive Testing. The sensor is integrated in a CMOS technology with an operational amplifier in the same substrate. A microsystem integrates the CMOS eddy current sensor that is used to detect cracks and irregularities of metallic targets to make a fast and reliable internal inspection.
This paper considers the problem of distributed Bayesian detection. The detection system is consisting of a fusion center and N local sensors, and each sensor quantizer is allowed to produce multi-bit sensor output. T...
详细信息
This paper presents an integrated approach for modelling enterprise architectures using UML. To satisfy a need for a wide range of modelling choices, we provide a rich set of process-based and role-based modelling con...
详细信息
ISBN:
(纸本)354041133X
This paper presents an integrated approach for modelling enterprise architectures using UML. To satisfy a need for a wide range of modelling choices, we provide a rich set of process-based and role-based modelling concepts, together with a flexible way of associating business events with business processes and roles. Our approach enriches Unified Modelling Language (UML) to support the requirements of enterprise distributed object computing (EDOC) systems and is currently being considered by the Object Management Group (OMG) for standardisation.
INTRODUCTION: Digital technologies can offer a safe training environment for familiarisation with new surgical procedures. To enhance access and control of these virtual environments a Java Based Interface is used. ME...
详细信息
ISBN:
(纸本)078036449X
INTRODUCTION: Digital technologies can offer a safe training environment for familiarisation with new surgical procedures. To enhance access and control of these virtual environments a Java Based Interface is used. METHODS: The Exeter Virtual Worlds (EVW) Shoulder Arthroscopy Simulator is designed to teach surgical pattern recognition skills via an interactive media, using a thin client via distributed computer architecture. A Java based interface has been developed to enable the EVW system to be operated remotely from within a declarative (factual) web-based training environment. RESULTS: By using Java for the control interface, it was possible for the surgeon to operate the virtual environment from a remote machine using familiar windows style controls, which a focus group confirmed adequate for the task. CONCLUSIONS: The development of networking computer architectures will assist the assimilation of multiple sources and media. The interface now offers the opportunity to collect statistically significant data from such simulation systems embedded in an educational environment.
The design of hard real time systems involves complex issues because requirements of time, performance and security must be met. Many authors have developed methods in order to assure delays are bounded in the system,...
详细信息
ISBN:
(纸本)0780365003
The design of hard real time systems involves complex issues because requirements of time, performance and security must be met. Many authors have developed methods in order to assure delays are bounded in the system, bur there is not so much work that assures bounding delays in distributed real time systems over industrial fieldbuses. This work tries to apply well-known scheduling theories and previous work in the field of response lime analysis for PROFIBUS messages in the analysis and simulation of the overall distributed system. The first step was to get together previous studies. After that, a tool called BERTA (Basic Environment for Real Time Analysis) was designed in order to embody, deduced algorithms for schedulability analysis as well as simulation oft he distributed system. BERTA is presented here in its very first version.
B has been widely used for high-integrity system development, for example in the railway industry. However there are few published guidelines on how to structure B specifications for particular types of system, such a...
详细信息
ISBN:
(纸本)0769508227
B has been widely used for high-integrity system development, for example in the railway industry. However there are few published guidelines on how to structure B specifications for particular types of system, such as reactive control systems. In this paper we describe a method to support graphical design of systems using B AMN, and develop guidelines for expressing the structuring requirements of reactive systems in B.
This paper presents the SEEDS simulation environment for the evaluation of distributed traffic control systems. The description starts with a general overview of the simulator, targeted for airport surface tragic simu...
详细信息
This paper describes a methodological approach that uses Petri Nets (PNs) and Time Petri Nets (TPNs) for the modeling, the analysis and the behavior control of fault tolerant Computer Supported Synchronous Cooperative...
详细信息
ISBN:
(纸本)078036449X
This paper describes a methodological approach that uses Petri Nets (PNs) and Time Petri Nets (TPNs) for the modeling, the analysis and the behavior control of fault tolerant Computer Supported Synchronous Cooperative Work (CSSCW) architectures inside which a high level of interactivity between users is required Modeling allows architectures to be formally studied under different functioning conditions (normal communications and deficient communications). Results show that the model is able to predict interlocking and state inconsistencies in the presence of errors. TPNs are used to extend PNs models in order to detect communication errors and avoid subsequent dysfunctions. The approach is illustrated through the improvement of a recently presented collaborative application dedicated to biomedical signal visualization and analysis.
The development of distributed software systems satisfying performance requirements is achievable only spending careful attention to performance goals throughout the lifecycle, and especially from its very beginning. ...
详细信息
ISBN:
(纸本)354041133X
The development of distributed software systems satisfying performance requirements is achievable only spending careful attention to performance goals throughout the lifecycle, and especially from its very beginning. The aim of our approach is to encompass the performance validation task as an integrated activity within the development process of distributedsystems. To this end we consider object oriented distributedsystems based on UML, the Unified Modeling Language. We show how a system modeled by UML diagrams can be translated into a queueing network based performance model. The main contribution of this work consists of an extensive application to a case study of our methodological approach for the automatic generation of performance models. The considered case study falls in the domain of distributed software systems, where the proposed methodology suitably exploits and combines information derived from different UML diagrams to generate a quite accurate performance model.
distributed multimedia applications can be characterized into two types of interaction, nonconversation and conversation, which discrete media and continuous media data are involved respectively. The two applications ...
详细信息
distributed multimedia applications can be characterized into two types of interaction, nonconversation and conversation, which discrete media and continuous media data are involved respectively. The two applications types have distinct requirement in terms of delay to support interactive services, particularly under shared virtual environment. For conversational interactive type application which continuous media is mainly focused, a limited delay is required for achieving real-time service guarantees and for maintaining temporal relationship, or synchronization. In this paper, we apply the internet delay model to the conversational type application for distributed multimedia data under shared virtual environment on the internet to analyze the performance of the bounded delay value. The simulation results show the delay variation of continuous multimedia data apparently at the clients and a server under dynamic case consideration which represents the delay characteristic of the application on the internet.
暂无评论