We describe a general module language integrating abstract data types, specifications and object-oriented concepts. The framework is based on the Standard ML module system, with three main extensions: subtyping, a for...
详细信息
There are now several theories for describing and reasoning about the behavior of communicating systems, where the behavior of a communicating system is described in terms of its capabilities to perform communication ...
详细信息
We show that isomorphism of trees and outerplanar graphs can be tested in O(log n) time with n/log(n) processors on a CRCW PRAM and in O(log2n) time with n/log2n processors on an EREW PRAM. This gives the first optima...
详细信息
Automatic layout algorithms are commonly used when displaying graphs on the screen because they provide a "nice" drawing of the graph without user intervention. There are, however, a couple of disadvantages ...
详细信息
This paper discusses the second generation of an ongoing project for developing a model of cardiac electrophysiology with sophisticated reasoning mechanisms and robust explanation capabilities. The framework for this ...
ISBN:
(纸本)9780897913720
This paper discusses the second generation of an ongoing project for developing a model of cardiac electrophysiology with sophisticated reasoning mechanisms and robust explanation capabilities. The framework for this model combines device- and process-oriented ontologies, and contains mechanisms that introduce delays into process definitions for explicitly modeling sequences of temporal activities. The scheme has been applied to develop a model of the electrical subsystem of the heart. The first generation model incorporated a “lumped” view of the cardiac electrical system, and simulated single cardiac action potentials for each component of the system. As a result the electrical behavior of an entire region was collapsed into a single action potential curve, and the model captured only temporal relationships among action potentials of gross anatomical structures. To provide a more accurate picture of cardiac functionality, the second generation model distributes electrical activity through the muscle and conduction units. This distribution allows for derivation of behaviors that are related to local disturbances (e.g., scar tissue) in individual units or regions. The corresponding simulation model scheme will incorporate a three-dimensional spatial representation of the cardiac electrical system and the musculature.
An architecture for diagnosis that uses qualitative endorsements as its principal method of uncertainty abstraction and propagation is presented. The framework performs local belief computations in a hierarchical hypo...
ISBN:
(纸本)9780897913720
An architecture for diagnosis that uses qualitative endorsements as its principal method of uncertainty abstraction and propagation is presented. The framework performs local belief computations in a hierarchical hypothesis space, in contrast with methods that propagate evidence throughout the whole frame of discernment. In this system, global control of the decision making process is maintained by local evaluations of belief status. These local evaluations determine an active focus in which refinement of belief status is undertaken by gathering additional information. The main goal of the research project is the development of a framework for reasoning with endorsements, and the diagnostic application explicated in the paper is built as a proof-of-principle.
A new method for model reduction of linear discrete systems is proposed. It is based on the weighted impulse response Grammians. These Grammians are extensions of ones proposed for linear continuous systems and contai...
详细信息
A new method for model reduction of linear discrete systems is proposed. It is based on the weighted impulse response Grammians. These Grammians are extensions of ones proposed for linear continuous systems and contain information on the input-output behavior of the system. The reduced-order models are obtained by retaining the states corresponding to the dominant eigenvalues of these Grammians and are stable if the original system is stable. The method is illustrated by a numerical example and is compared with well-known model reduction techniques. The results obtained using this method are similar to those obtained using the balanced realization technique.< >
We prove that the parsing problem for bracket context-free languages can be solved in log(n) time using n/log(n) processors on a parallel random access machine without write conflicts (P-RAM). On the way we develop a ...
详细信息
暂无评论