Local search techniques have attracted considerable interest in the AI community since the development of GSAT for solving large propositional SAT problems. Newer SAT techniques, such as the Discrete Lagrangian Method (DLM), have further improved on GSAT and can also be applied to general constraint satisfaction and optimisation. However, little work has applied local search to MAX-SAT problems...

Geometric feature variations are the result of variations in the shape, orientation or location of part features as defined in ANSI Y14.5M-1982 tolerance standard [ANSI 1982]. When such feature variations occur on the mating surfaces between components of an assembly, they affect the variation of the completed assembly. The geometric feature variations accumulate statistically and propagate kin...

For effective military management, the creation of complexes automation tools, spatial information processing systems, primarily consolidated, is a priority task in conditions constant growth data and requirements for their collection, transmission, storage, use.
 The problem consolidated related to diversity sources, formats, acquisition use, etc. All that imply an extremely complex organ...

Some researchers have long been interested in reconstructing natural insects into steerable robots or vehicles. However, until recently, these so-called cyborg insects, biobots, or living machines existed only in science fiction. Owing to recent advances in nano/micro manufacturing, data processing, and anatomical and physiological biology, we can now stimulate living insects to induce user-des...

This paper presents a novel method for diagnosing incipient bearing defects under variable operating speeds using convolutional neural networks (CNNs) trained via the stochastic diagonal Levenberg-Marquardt (S-DLM) algorithm. The CNNs utilize the spectral energy maps (SEMs) of the acoustic emission (AE) signals as inputs and automatically learn the optimal features, which yield the best discrim...

Drosophila bang-sensitive mutants display a remarkable stereotyped behavioral sequence during mechanical disturbances. This seizure repertoire consists of initial and delayed bouts of spasm interposed with paralysis and followed by recovery of activity and a period of refractoriness to further stimulation. Electroconvulsive stimuli across the brain induced a similar seizure behavior in tethered...

Considerable progress has recently been made in using clause weighting algorithms to solve SAT benchmark problems. While these algorithms have outperformed earlier stochastic techniques on many larger problems, this improvement has generally required extra, problem specific, parameters which have to be fine tuned to problem domains to obtain optimal run-time performance. In a previous paper, th...

Assembly tolerance analysis is a key element in industry for improving product quality and reducing overall cost. It provides a quantitative design tool for predicting the effects of manufacturing variation on performance and cost. It promotes concurrent engineering by bringing engineering requirements and manufacturing requirements together in a common model. A new method, called the Direct Li...