This paper investigates the stability problem of singular systems with saturation actuators. A Lyapunov method is employed to give the sufficient conditions for stability of closed-loop systems with saturation actuato...
详细信息
This paper investigates the stability problem of singular systems with saturation actuators. A Lyapunov method is employed to give the sufficient conditions for stability of closed-loop systems with saturation actuators. The controller is designed to satisfy the requirement for stability under the nonlinear saturation. In addition, a method is presented for estimating the domain of attraction of the origin.
This paper describes a new approach for reducing the number of the fitness and constraint function evaluations required by a genetic algorithm (GA) for optimization problems with mixed continuous and discrete design v...
详细信息
ISBN:
(纸本)9781624101007
This paper describes a new approach for reducing the number of the fitness and constraint function evaluations required by a genetic algorithm (GA) for optimization problems with mixed continuous and discrete design variables. The proposed additions to the GA make the search more effective and rapidly improve the fitness value from generation to generation. The additions involve memory as a function of both discrete and continuous design variables, multivariate approximation of the individual functions' responses in terms of several continuous design variables. The approximation is demonstrated for the minimum weight design of a comp.site cylindrical shell with grid stiffeners.
We consider the problem of proving circuit lower bounds against.the polynomial-time hierarchy. We give both positive and negative results. For the positive side, for any fixed integer k > 0, we give an explicit Σ2...
详细信息
A variety of bounds on running time are proven in this paper for the problem of solving triangular linear systems on a k-Dimensional torus. The bounds are applicable for solvers utilizing the substitution method. Both...
详细信息
ISBN:
(纸本)1892512416
A variety of bounds on running time are proven in this paper for the problem of solving triangular linear systems on a k-Dimensional torus. The bounds are applicable for solvers utilizing the substitution method. Both upper and lower bounds are provided in order to determine the overall Parallel comp.exity of the problem.
Thin films of HfO2 high-κ dielectric have been prepared by pulsed-laser deposition (PLD) at various deposition conditions. X-ray diffraction (XRD), atomic force microscopy (AFM), and secondary ion mass spectroscopy (...
详细信息
Thin films of HfO2 high-κ dielectric have been prepared by pulsed-laser deposition (PLD) at various deposition conditions. X-ray diffraction (XRD), atomic force microscopy (AFM), and secondary ion mass spectroscopy (SIMS) were used to characterize the deposited films. Experimental results show that substrate temperature has little effect on the stoichiometry, while deposition pressure plays an important role in determining the ratio of Hf and O. The electrical properties of HfO2 Metal-Insulator-Metal (MIM) capacitors were investigated at various deposition temperatures. It is shown that the HfO2 (56 nm) MIM capacitor fabricated at 200°C shows an overall high performance, such as a high capacitance density of ∼3.0 fF/μM2, a low leakage current of 2×10-9 A/cm2 at 3 V, etc. All these indicate that the HfO2 MIM capacitors are very suitable for use in Si analog circuit applications.
Multi-agent systems comp.ise entities whose individual decision making behavior may depend on one another's. Game-theory provides apposite concepts to reason in a mathematically precise fashion about such interact...
详细信息
Multi-agent systems comp.ise entities whose individual decision making behavior may depend on one another's. Game-theory provides apposite concepts to reason in a mathematically precise fashion about such interactive and interdependent situations. This paper concerns a logical analysis of the game-theoretical notions of Nash equilibrium and its subgame perfect variety as they apply to a particular class of extensive games of perfect information. Extensive games are defined as a special type of labelled graph and we argue that modal languages can be employed in their description. We propose a logic for a multi-modal language and prove its comp.eteness with respect to a class of frames that correspond with a particular class of extensive games. In this multimodal language (subgame perfect) Nash equilibria can be characterized. Finally, we show how this approach can formally be refined by using Prepositional Dynamic Logic (PDL), though we leave comp.eteness as an open question.
This paper presents a model checking-based approach to data flow testing. We characterize dataflow oriented coverage criteria in temporal logic such that the problem of test generation is reduced to the problem of fin...
详细信息
This paper presents a model checking-based approach to data flow testing. We characterize dataflow oriented coverage criteria in temporal logic such that the problem of test generation is reduced to the problem of finding witnesses for a set of temporal logic formulas. The capability of model checkers to construct witnesses and counterexamples allows test generation to be fully automatic. We discuss comp.exity issues in minimal cost test generation and describe heuristic test generation algorithms. We illustrate our approach using CTL as temporal logic and SMV as model checker.
Controlling robot behaviors becomes more important recently as active perception for robot, in particular active audition in addition to active vision, has made remarkable progress. We are studying how to create socia...
详细信息
ISBN:
(纸本)3540404554
Controlling robot behaviors becomes more important recently as active perception for robot, in particular active audition in addition to active vision, has made remarkable progress. We are studying how to create social humanoids that perform actions empowered by real-time audio-visual tracking of multiple talkers. In this paper, we present personality as a means of controlling non-verbal behaviors. It consists of two dimensions, dominance vs. submissiveness and friendliness vs. hostility, based on the Interpersonal Theory in psychology. The upper-torso humanoid SIG equipped with real-time audio-visual multiple-talker tracking system is used as a testbed for social interaction. As a comp.nion robot, with friendly personality, it turns toward a new sound source in order to show its attention, while with hostile personality, it tarns away from a new sound source. As a receptionist robot with dominant personality, it focuses its attention on the current customer, while with submissive personality, its attention to the current customer is interrupted by a new one.
The coupling of natural boundary element and finite element methods of exterior initial boundary value problems for hyperbolic equations is investigated. The governing equation is first discretized in time, leading to...
详细信息
The coupling of natural boundary element and finite element methods of exterior initial boundary value problems for hyperbolic equations is investigated. The governing equation is first discretized in time, leading to a time-step scheme, where an exterior elliptic problem has to be solved in each time step. Second, a circular artificial boundary ΓR consisting of a circle of radius R is introduced, and the original problem in an unbounded domain is transformed into the nonlocal boundary value problem in a bounded subdomain. The natural integral equation and the Poisson integral formula are obtained in the infinite domain Ω2 outside circle of radius R. The coupled variational formulation is given. Only the function itself, not its normal derivative at artificial boundary ΓR, appears in the variational equation, so that the unknown numbers are reduced and the boundary element stiffness matrix has a few different elements. Such a coupled method is superior to the one based on direct boundary element method. This paper discusses finite element discretization for variational problem and its corresponding numerical technique, and the convergence for the numerical solutions. Finally, the numerical example is presented to illustrate feasibility and efficiency of this method.
暂无评论