Temporal databases maintain all evolution history of objects in the real world to support applications requiring not only current data but also old data. The history of data is used to analyze past and current data an...
详细信息
In this paper, the 1-D, 2-D and 3-D coefficient inverse problem of the acoustic waveequation is reduced to the nonlinear integral equation. In the 1-D case, the nonlinear integralequation belongs to the second kind, w...
详细信息
In this paper, the 1-D, 2-D and 3-D coefficient inverse problem of the acoustic waveequation is reduced to the nonlinear integral equation. In the 1-D case, the nonlinear integralequation belongs to the second kind, while in the 2-D and 3-D cases, the nonlinear integralequation is an interesting integral geometry problem. The iteration for solving the aboveintegral equation has been considered. The nonlinear integral equation and its iterationin this paper will be useful in the theoretical and numerical analysis and in application toscience and engineering of the above inversion.
In this paper the mean first passage time of a dynamic system from its domain of attraction has been considered as a reliability index. The effect of environmental fluctuations and the operational characteristics of t...
详细信息
In this paper the mean first passage time of a dynamic system from its domain of attraction has been considered as a reliability index. The effect of environmental fluctuations and the operational characteristics of the transmission lines have been regarded as the input noise to the system with multistable states. Several design criteria have been examined in order to determine the effect of system configuration on power system reliability evaluation. The proposed technique does not set any restrictions on the system topology and can be implemented by system planners as an aid to identify the transmission system bottlenecks and compare different options in the planning of a large-scale power system.
The present paper deals with a mathematical model of a myelinated nerve axon, where nodes of Ranvier are assumed to have a finite longitudinal length. The myelinated axon contains an electrically passive part wrapped ...
详细信息
The FIGARO robotic sewing system was developed to perform assembly and handling operations on cloth. A flexible automation approach was adopted, in which the robot was required to control the cloth panel during both h...
详细信息
The FIGARO robotic sewing system was developed to perform assembly and handling operations on cloth. A flexible automation approach was adopted, in which the robot was required to control the cloth panel during both handling and sewing operations, without the aid of hard automation attachments that might limit the flexibility of the system. A technique was developed for producing a seam parallel to an edge of arbitrary contour, which was based on sensory serving of the robot. The development of the seam width control system is described. It was designed using simulation studies that took into account the control transfer function and nonlinearities such as camera pixel resolution, time delays and robot motion limitations. Satisfactory performance was achieved for sewing speeds up to 3000 r.p.m. for typical cloth panel curvatures.< >
A denotational, hence, compositional semantics for a subset of Concurrent Prolog is developed and related to an operational semantics. The denotational semantics makes divergence and the resultant substitutions of fin...
详细信息
A denotational, hence, compositional semantics for a subset of Concurrent Prolog is developed and related to an operational semantics. The denotational semantics makes divergence and the resultant substitutions of finite computations together with the termination mode-success, failure, or deadlock-observable. Relative to this notion of observation it is proved that the denotational semantics is fully abstract in the sense that it records the minimal amount of extra information beyond the observables to make it compositional. Full abstraction is an important property because it quantifies the information that one needs in order to reason about individual program-parts independently. This is believed to be the first such result in the area of concurrent logic programming.< >
In this paper we discuss and elaborate on the conceptual requirements as well as the tools of the General AMIGO Model for group communication. The special features of the model are examined with particular reference t...
详细信息
Code generation techniques are used to program an application characterized by complexity arising from many special cases, and rapid changes due to advances in the state of the art. A formal notation—an inverted deci...
详细信息
Code generation techniques are used to program an application characterized by complexity arising from many special cases, and rapid changes due to advances in the state of the art. A formal notation—an inverted decision table written in a propositional logic form—is developed as a means for allowing expert users to describe the application in a knowledge base that code generators then can use to create production code. The complete system described in the paper automatically transforms a one thousand-page specification into a running program. The development of this system is an example of the formalization of the specification of a complex application. In this case the application is a part of the Job Management Operations System, an operational support system to aid regional Bell Operating Company construction and engineering processes. The techniques described, however, can be generalized.
暂无评论