Hybrid automata model systems with both digital and analog components, such as embedded control programs. Many veri cation tasks for such programs can be expressed as reachability problems for hybrid automata. By improving on previous decidability and undecidability results, we identify a boundary between decidability and undecidability for the reachability problem of hybrid automata. On the po...

In spatial spectrum estimation field, medium-scale or large-scale receive antenna array with digital beamforming can be employed at receiver to achieve a high-resolution direction of arrival (DOA) estimation and make a significant interference suppression, but leads to an expensive RF-chain circuit cost. Thus, a robust hybrid analog-and-digital beamforming (ADB) structure is proposed to greatly...

pistacia khinjuk (stocks) is a native species that, along with p. atlantica, is widely distributed from eastern to western iran through the makran zone, zagros mountains and the sanandaj-sirjan zone, ranging from 50 to 3300 m above sea level. the identification of resistance gene analogs holds great promise for developing resistant plants. a pcr approach with degenerate primers designed from co...

The maximum power point tracking (MPPT) control in the Photovoltaic system is the key control technology, however present controller has the disadvantages of long development cycle, high cost and complex verification, and there are some disadvantages carrying out totally physical simulation or totally digital simulation of different control algorithms. This paper carried out design of hardware ...