Proper spatial and temporal constraints are essential for image-based motion recovery of deforming objects. Since biological organs, such as the heart, are typically composed of fibrous tissues of anisotropic nature, ...
详细信息
Proper spatial and temporal constraints are essential for image-based motion recovery of deforming objects. Since biological organs, such as the heart, are typically composed of fibrous tissues of anisotropic nature, one must adopt realistic spatial models, in addition to those important considerations for temporal modeling, in order to properly regularize the object behavior for kinematics recovery. We present a biomechanically constrained state space analysis framework for the multiframe estimation of the heart motion and deformation. While the anisotropic physical constraints enforce spatial regulations on the myocardial behavior and spatial filtering of the image data measurements, statistical filtering techniques impose temporal constraints to incorporate multiframe information. Implemented within a mesh-free particle representation and computation framework, excellent experimental results are achieved for both synthetic data with known ground truth and canine magnetic resonance image sequences with known clinical gold standard.
Embedded real-time systems are ubiquitous in modern society, many of which perform safety-critical functions, and therefore, it is imperative to have tools and techniques that can guarantee a high degree of system cor...
详细信息
We describe an end-to-end tool-chain for model-based design and analysis of component-based embedded real-time software. All aspects of an embedded real-time system are captured in domain-specific models, including so...
详细信息
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software structural model that describes the underl...
详细信息
For earthquake simulations to play an important role in the reduction of seismic risk, they must be capable of high resolution and high fidelity. We have developed algorithms and tools for earthquake simulation based ...
详细信息
Embedded real-time systems are ubiquitous in modern society, many of which perform safety-critical functions, and therefore, it is imperative to have tools and techniques that can guarantee a high degree of system cor...
详细信息
Embedded real-time systems are ubiquitous in modern society, many of which perform safety-critical functions, and therefore, it is imperative to have tools and techniques that can guarantee a high degree of system correctness. They typically perform information processing on a digital computer tightly coupled with the continuous physical environment. Even though hybrid systems is an active research area, most work has ignored the scheduling behavior of software processes due to contention for the shared CPU resource. We propose an integrated approach based on hybrid automata and model-checking for modeling and analysis of computer-based embedded control systems where real-time scheduling behavior of the controller software is explicitly represented at the model-level, together with the physical environment that it interacts with. An application example is used to demonstrate the benefits of the integrated approach in performing tradeoff analysis involving both the controller software and the controlled physical system.
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded real-time software, with avionics mission computing as an application domain. The tool-chain covers the entire system...
详细信息
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded real-time software, with avionics mission computing as an application domain. The tool-chain covers the entire system development lifecycle including modeling, analysis, code generation, and run-time instrumentation. Emphasis is placed on integration of tools developed by multiple institutions via standardized interface format definitions in XML. By capturing all relevant information explicitly in models at the design level, and performing analysis that provides insight into non-functional aspects of the system, we can raise the level of abstraction for the designer, and facilitate rapid system prototyping.
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software structural model that describes the underl...
详细信息
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software structural model that describes the underlying application, to an implementable runtime model is a critical issue. Since the designed software will finally run on the target platform, non-functional issues like schedulability timing constraints and resource requirements have to be considered during the transformation. In this paper we propose a generic runtime model architecture that can best satisfy the non-functional requirements of the system, and a generic transformation method to convert a structural model to a runtime model in such an architecture. The transformation approach is based on the notion of end-to-end computations performed by the system in response to external stimuli. We demonstrate the advantages and effectiveness of the proposed method by constructing a software runtime model for a combined electronic throttle and air-fuel ratio control system.
暂无评论