In finite labelled transition systems the problems of deciding strong bisimilarity, observation equivalence and observation congruence areP-complete under many—oneNC-reducibility. As a consequence, algorithms for automated analysis of finite state systems based on bisimulation seem to be inherently sequential in the following sense: the design of anNC algorithm to solve any of these problems will require an algorithmic breakthrough, which is exceedingly hard to achieve. 相似文献
Journal of Chemical Ecology - The sex pheromone composition of alfalfa plant bugs, Adelphocoris lineolatus (Goeze), from Central Europe was investigated to test the hypothesis that insect species... 相似文献
Sensitive photoacoustic detection of ammonia with near-infrared diode lasers (1.53 microns) and a novel differential acoustic resonator is described; a sensitivity of 0.2 parts per million volume (signal-to-noise ratio = 1) is attained. To eliminate adsorption-desorption processes of the polar NH3 molecules, a relatively high gas flow of 300 SCCM was used for the ammonia-nitrogen mixture. The results are compared with recent ammonia measurements with a NIR diode and absorption spectroscopy used for detection and photoacoustic experiments performed with an infrared quantum-cascade laser. The performance of the much simpler and more compact setup introduced here was comparable with these previous state-of-the-art measurements. 相似文献
Extracts of Amphimallon solstitiale (L.), a well known, widely distributed and rather common European scarab beetle, were analyzed by GC-MS and GC-EAD. Acetoin -(R):(S) < 9:1 - as well as 2,3-butanediol -(2R,3R):(2S,3S) :meso = 1:1:9 - were present in extracts of both males and females. Although (2S,3S)-butanediol did not show any EAD activity, the other compounds elicited strong responses exclusively with male antennae. In contrast, several EAD active green leaf volatiles were detected equally well by male and female antennae. During preliminary field bioassays, (R)-acetoin was highly attractive to swarming males, whereas neither rac-acetoin nor the 2,3-butanediols showed activity. Therefore, (R)-acetoin is the female sex pheromone of A. solstitiale.相似文献
The dried bean beetle, Acanthoscelides obtectus, is an economically important, worldwide pest of legume crops including dry beans, Phaseolus vulgaris. Assessment of A. obtectus infestation levels in pre-harvest field crops and post-harvest granaries is difficult to achieve because there is no effective monitoring tool for early detection so that interventions can be deployed as needed. Because A. obtectus is a generic pollen and nectar feeder, we adopted an electrophysiological (EAG) screening approach, using the antennae of female A. obtectus to identify physiologically active, volatile phytochemicals, which could then be investigated for their attractiveness to A. obtectus in laboratory behavioral assays and preliminary field tests. Of the 27 compounds tested in EAG screening, 5 compounds, i.e., methyl anthranilate, methyl eugenol, benzyl alcohol, (RS)-lavandulol, and 2-phenylethanol, elicited stronger EAG responses than the standard (1-phenylethanol). In 4-arm olfactometer bioassays, female A. obtectus preferred the olfactometer arm containing the odor of either methyl anthranilate or benzyl alcohol compared to the solvent control. In preliminary field tests using these 2 compounds as a binary mixture, at least 5 times as many beetles were caught on baited traps compared to non-baited traps. The field data also suggested that benzyl alcohol was primarily responsible for the field activity of the blend. We hypothesize that the attraction of A. obtectus to the combined benzyl alcohol/methyl anthranilate and the single benzyl alcohol baits is connected to the species` nectar- and pollen-feeding behaviour and not to its intraspecific communication. To our knowledge, this is the first evidence that A. obtectus behavior in the field can be modified by the deployment of plant-derived semiochemicals.