Insect Pests Associated With Birdsfoot Trefoil, \u3ci\u3eLotus Corniculatus\u3c/i\u3e, in Wisconsin

Insect surveys taken during 1984-1986 in Ashland and Bayfield Counties of northern Wisconsin revealed that several potential insect pest species were common in birdsfoot trefoil, Lotus corniculatus. Three plant bug species, including: the tarnished plant bug, Lygus lineolaris: alfalfa plant bug, Adelphocoris lineolatus; and Plagiognathus chrysanthemi were abundant in most sampled fields. P. chrysanthemi was the most abundant species, was only present in the northern locations, and completed one generation per year. A. lineolatus and L. lineolaris were second and third in abundance, respectively, and completed two generations per year. Population levels of the potato leafhopper, Empoasca fabae. exceeded a combined total of 45 nymphs and adults per sweep in a southern Wisconsin location but were uncommon in northern Wisconsin. Present, but less abundant, were the trefoil seed chalcid, Bruchophagus platypterus; meadow spittlebug, Philaenus spumarius; and pea aphid, Acyrthosiphon pisum, all occurring at densities of less than one insect per sweep

A system of relational syllogistic incorporating full Boolean reasoning

We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: Some A are R-related to some B; Some A are R-related to all B; All A are R-related to some B; All A are R-related to all B. Such primitives formalize sentences from natural language like `All students read some textbooks'. Here A and B denote arbitrary sets (of objects), and R denotes an arbitrary binary relation between objects. The language of the logic contains only variables denoting sets, determining the class of set terms, and variables denoting binary relations between objects, determining the class of relational terms. Both classes of terms are closed under the standard Boolean operations. The set of relational terms is also closed under taking the converse of a relation. The results of the paper are the completeness theorem with respect to the intended semantics and the computational complexity of the satisfiability problem.Comment: Available at http://link.springer.com/article/10.1007/s10849-012-9165-

Uppsala High Power Test Stand for ESS Spoke Cavities

The European Spallation Source (ESS) is one of the world’s most powerful neutron source. The ESS linac will accelerate 50mA pulse current of protons to 2.5GeV in 2.86 ms long pulses at a repetition rate of 14 Hz. It produces a beam with 5MW average power and 125MW peak power. ESS Spoke Linac consist of 28 superconducting spoke cavities, which will be developed by IPN Orsay, France. These Spoke Cavities will be tested at low power at IPN Orsay and high power testing will be performed in a high power test stand at Uppsala University. The test stand consists of tetrode based RF amplifier chain (352MHz, 350 kW) power and related RF distribution. Outputs of two tetrodes shall be combined with the hybrid coupler to produce 350 kW power. Preamplifier for a tetrode shall be solid state amplifier. As the spoke cavities are superconducting, the test stand also includes horizontal cryostat, Helium liquefier, test bunker etc. The paper describes features of the test stand in details