The construction of B(u)chi automata from linear temporal logic is a significant step in model checking.This paper presents a depth-first construction algorithm
To get the satisfying performance of a PID controller, this paper presents a novel Pareto - based multi-objective genetic algorithm ( MOGA), which can be used t
In order to study how welding parameters affect welding quality and droplet transfer, a synchronous acquisition and analysis system is established to acquire an
The passive acoustic locating technology is widely used in military fields.The traditional locating method with single array has low precision of distance estim
A new training symbol weighted by pseudo-noise(PN) sequence is designed and an efficient timing and fre quency offset estimation scheme for orthogonal frequency
Chinese text categorization differs from English text categorization due to its much larger term set (of words or character n-grams),which results in very slow
Control of a six-DOF vibration isolation platform is generally difficult which is due to the strong coupling among its input and output channels. The dynamic be