This chapter is dedicated to an effective learning environment implementation, and more precisely the development of algorithms that improve effectiveness of the learning process using the automatic selection of the d...
详细信息
Markov models are well established technique used widely for modeling equipment deterioration. This work presents an approach where Markov models represent equipment ageing and also incorporate various maintenance act...
详细信息
The chapter is focused on the human resource influence on dependability of discrete transportation systems (DTS). The human resource means the driver of the vehicle. We add him/her as a new element of the system descr...
详细信息
The chapter presents a method of Web-based information system dependability analysis based on functional and reliability approach. A service availability is predicted by developed by authors a two level simulator (usi...
详细信息
The paper deals with a representation of the antibody-antigen chromosomes. The proposed new binary decoding allows us to prove the dependence between subsequent generations of chromosomes, using quick and simple opera...
详细信息
The paper deals with a representation of the antibody-antigen chromosomes. The proposed new binary decoding allows us to prove the dependence between subsequent generations of chromosomes, using quick and simple operations on chromosomes indices, instead of processing the binary strings. Some formal properties of the immune system were expressed based on this representation. A consistency theoretical proof for epistatic properties as well as exploration possibilities of a crossover operator was given.
The spatial uncertainties of tip positioning due to the nonlinearity of the PZT scanner and thermal drift hinder the further application of the AFM based nanomanipulation. This paper brings forward feature referenced ...
详细信息
As modern VLSI technology is scaling to the deep sub-micron domain, embedded systems face a power-efficiency problem, i.e., static power consumption caused by the leakage current. This paper explores how to use dynami...
详细信息
As modern VLSI technology is scaling to the deep sub-micron domain, embedded systems face a power-efficiency problem, i.e., static power consumption caused by the leakage current. This paper explores how to use dynamic power management to reduce static power consumption while guaranteeing hard real-time properties. To tackle event arrivals with non-deterministic patterns, the arrival curve model is adopted to describe event arrivals in the interval domain. To reduce runtime overhead, periodic power management is investigated, which turns on and off a system with a fixed period. To reduce the timing complexity of computing such a periodic scheme, two algorithms, which are based on a linear-segmented representation of the arrival curve model, are proposed to trade the complexity with accuracy for energy reduction. We also present simulation results to demonstrate the effectiveness of our algorithms.
In this paper, the design of a nonlinear robust adaptive dynamic output-feedback controller for voltage-fed dual-axis linear stepper (Sawyer) motors is addressed using a detailed motor model with electrical dynamics a...
详细信息
In this paper, the design of a nonlinear robust adaptive dynamic output-feedback controller for voltage-fed dual-axis linear stepper (Sawyer) motors is addressed using a detailed motor model with electrical dynamics and significant uncertainties and disturbances. The proposed controller utilizes only position measurements in each axis, and achieves practical stabilization of position tracking errors. Velocity and current measurements are not required for feedback. Furthermore, the only electromechanical motor parameter that is required to be known is the time constant of the electrical subsystem. Adaptations are utilized to remove requirement of knowledge of any other electromechanical system parameters. The controller is robust to load torques, friction, cogging forces, and other disturbances satisfying certain bounds. The controller also corrects for the yaw rotation to achieve synchrony of motor and rotor teeth.
The robust adaptive control of tilt-rotor aircraft is addressed using backstepping and θ-D based control design techniques. The designs specifically focus on providing high robustness to time-varying system parameter...
详细信息
The robust adaptive control of tilt-rotor aircraft is addressed using backstepping and θ-D based control design techniques. The designs specifically focus on providing high robustness to time-varying system parameters and disturbance effects from the environment to attain good disturbance attenuation properties in highly aerodynamically challenging environments such as shipboard environments. The control system is structured with a modular architecture combining adaptive backstepping and adaptive θ-D control algorithms and provides flexibility and customizability for various tilt-rotor aircraft configurations and operating environments. The overall control system and its constituent algorithms are designed to either be able to operate on their own to provide fully autonomous flight or to operate in conjunction with a human pilot or an existing baseline controller in a control augmentation fashion to provide additional robustness and reliability improvements under severe aerodynamic disturbance conditions. The robustness, stability, and performance of the proposed control algorithms are demonstrated through simulation based studies.
The aim of this paper is to show how to determine the neighborhood of the complex discrete optimization problem and how to search it in the parallel environment, this being illustrated by an example of the hybrid sche...
详细信息
The aim of this paper is to show how to determine the neighborhood of the complex discrete optimization problem and how to search it in the parallel environment, this being illustrated by an example of the hybrid scheduling, more precisely a flexible job shop problem. We present a parallel single-walk approach in this respect. A theoretical analysis based on PRAM model of parallel computing has been made. We propose a cost-optimal method of neighborhood generation parallelization.
暂无评论