Advances in local-search SAT solvers have traditionally been presented in the context of local search solvers only. The most recent and rather comprehensive comparisons between UnitWalk and several versions of WalkSAT demonstrate that neither solver dominates on all benchmarks. QingTing2 (a ‘dragonfly’ in Mandarin) is a SAT solver script that relies on a novel switching strategy to invoke one o...

Constituents of coal combustion waste (CCW) expose aquatic organisms to complex mixtures of potentially toxic metals and metalloids. Multi-element trace element analyses were used to distinguish patterns of accumulation among 8 genera of dragonfly nymphs collected from two sites on a CCW contaminated coastal plain stream. Dragonfly nymphs are exceptional for comparing trace element accumulation...

The fluxgate magnetometer has the advantages of having a small volume and low power consumption being light weight is commonly used to detect weak magnetic targets, including ferrous metals, unexploded bombs (UXOs), underground corrosion pipelines. However, detection accuracy affected by its own error. To obtain more accurate data, sensor must be error-corrected before application. Previous res...

Distributed generation (DG) plays a vital role in electrical power networks. However, loss reduction, voltage profile improvement, friendly environment, and reliability are all benefits of DG units. In this research work, worthwhile methodology is recommended for optimal allocation traditional (gas turbine) renewable energy sources that based on distributed generators which include solar wind t...

This work presents the multi-objective optimization results of three experimental cases involving laser sintering/melting operation and obtained by a virus evolutionary genetic algorithm. From these cases, first one is formulated as single-objective problem aimed at maximizing density Ti6Al4V specimens, with layer thickness, linear energy density, hatching space scanning strategy independent pr...

Intracellular recordings show that the receptors and second-order interneurons of the dragonfly compound eye change their sensitivity in response to maintained illumination. Comparison of receptor with interneuron shows that neural mechanisms act to ensure that the modulation of interneuron membrane potential that is set up by contrast changes is independent of background intensity.