General bound-state structure of the massive Schwinger model

Within the Euclidean path integral and mass perturbation theory we derive, from the Dyson-Schwinger equations of the massive Schwinger model, a general formula that incorporates, for sufficiently small fermion mass, all the bound-state mass poles of the massive Schwinger model. As an illustration we perturbatively compute the masses of the three lowest bound states.Comment: 11 pages, 7 figures, needed macro: psbox.te

The Schwinger Mass in the Massive Schwinger Model

We derive a systematic procedure to compute Green functions for the massive Schwinger model via a perturbation expansion in the fermion mass. The known exact solution of the massless Schwinger model is used as a starting point. We compute the corrections to the Schwinger mass up to second order.Comment: Latex, 7 pages, no figure

Soft Decision Analyzer

The Soft Decision Analyzer (SDA) is an instrument that combines hardware, firmware, and software to perform realtime closed-loop end-to-end statistical analysis of single- or dual- channel serial digital RF communications systems operating in very low signal-to-noise conditions. As an innovation, the unique SDA capabilities allow it to perform analysis of situations where the receiving communication system slips bits due to low signal-to-noise conditions or experiences constellation rotations resulting in channel polarity in versions or channel assignment swaps. SDA s closed-loop detection allows it to instrument a live system and correlate observations with frame, codeword, and packet losses, as well as Quality of Service (QoS) and Quality of Experience (QoE) events. The SDA s abilities are not confined to performing analysis in low signal-to-noise conditions. Its analysis provides in-depth insight of a communication system s receiver performance in a variety of operating conditions. The SDA incorporates two techniques for identifying slips. The first is an examination of content of the received data stream s relation to the transmitted data content and the second is a direct examination of the receiver s recovered clock signals relative to a reference. Both techniques provide benefits in different ways and allow the communication engineer evaluating test results increased confidence and understanding of receiver performance. Direct examination of data contents is performed by two different data techniques, power correlation or a modified Massey correlation, and can be applied to soft decision data widths 1 to 12 bits wide over a correlation depth ranging from 16 to 512 samples. The SDA detects receiver bit slips within a 4 bits window and can handle systems with up to four quadrants (QPSK, SQPSK, and BPSK systems). The SDA continuously monitors correlation results to characterize slips and quadrant change and is capable of performing analysis even when the receiver under test is subjected to conditions where its performance degrades to high error rates (30 percent or beyond). The design incorporates a number of features, such as watchdog triggers that permit the SDA system to recover from large receiver upsets automatically and continue accumulating performance analysis unaided by operator intervention. This accommodates tests that can last in the order of days in order to gain statistical confidence in results and is also useful for capturing snapshots of rare events

Further work at Kilise Tepe, 2007-11: refining the Bronze to Iron Age transition

The excavations at Kilise Tepe in the 1990s inevitably left a range of research questions unanswered, and our second spell of work at the site from 2007 to 2011 sought to address some of these, relating to the later second and early first millennia. This article gathers the architectural and stratigraphie results of the renewed excavations, presenting the fresh information about the layout and character of the Late Bronze Age North-West Building and the initial phases of the Stele Building which succeeded it, including probable symbolic practices, and describing the complex stratigraphic sequence in the Central Strip sounding which covers the lapse of time from the 12th down to the seventh century. There follow short reports on the analyses of the botanical and faunal materials recovered, a summary of the results from the relevant radiocarbon dating samples and separate studies addressing issues resulting from the continuing study of the ceramics from the different contexts. Taken together, a complex picture emerges of changes in settlement layout, archi¬tectural traditions, use of external space, artefact production and subsistence strategies during the centuries which separate the Level III Late Bronze Age settlement from the latest Iron Age occupation around 700 BC

Green Guide to Composites: an environmental profiling system for composite materials and products

Products made from composite materials can offer significant environmental benefits because of their characteristically low weight, good mechanical properties and excellent resistance to corrosion. For example, composites used in cars can reduce the overall weight of the car and so offer fuel savings through the lifetime of the vehicle. However, although the in-service environmental benefits of composites are known, there is far less understanding of the environmental and social implications associated with the manufacture of composite materials and products. Issues affecting the industry include health and safety, the emission of volatile organic compounds (VOCs), energy consumption and toxicity from manufacture. Alternative materials and technologies (such as closed mould processes, natural fibres and low-styrene resins) have been developed to address these problems, but to date there has still been confusion within the industry as to the detailed benefits of these alternatives. This guide has been created to enable the composites sector to understand the environmental and social impacts associated with composite production and assist with the decisions made about material and process choice. The materials and processes modelled are rated from A (good) through to E (poor). Twelve different environmental impacts are individually scored and totalled to give an overall environmental impact summary rating. Two social impact ratings are also given. When measuring environmental impact it is important to consider all the influences through the life of the product. This process is known as Life Cycle Assessment (LCA) and it has been used in this guide for environmental investigation. Because this guide concentrates on materials and manufacturing, as opposed to in-service performance, the impacts associated with products beyond the factory gate (the use, maintenance and disposal stages of the life cycle) have not been assessed. Within the system boundaries for the LCA, three typical product types have been chosen to reflect a range of different components commonly manufactured using composites: • A double curvature panel – this has a surface area of 1m2 with a panel stiffness equivalent to a 4mm thick chopped strand mat laminate. • A flat sandwich panel – measuring 1m x 8m with a 25mm thick core, having a panel bending stiffness equivalent to a sandwich panel with a 4mm thick chopped strand mat skin. • A complex moulded component – with a volume of 770cm3. Similarly, production processes and materials have been selected to provide a balance between systems that are commonly used across the majority of the composites industry and emerging materials with the potential to provide an environmental benefit. For this reason, materials such as hemp fibre and self-reinforced polypropylene have been included in the guide, but materials that are more specific to a single sector (eg aramid fibre) have not been included. Within each specific process there are still many processing variations (eg methods for mixing, curing and trimming) in addition to the material choice possibilities. To enable fair comparisons, a base case has been selected for each process. This is used throughout the guide to allow the merits of each process variation to be assessed

TRX: A Formally Verified Parser Interpreter

Parsing is an important problem in computer science and yet surprisingly little attention has been devoted to its formal verification. In this paper, we present TRX: a parser interpreter formally developed in the proof assistant Coq, capable of producing formally correct parsers. We are using parsing expression grammars (PEGs), a formalism essentially representing recursive descent parsing, which we consider an attractive alternative to context-free grammars (CFGs). From this formalization we can extract a parser for an arbitrary PEG grammar with the warranty of total correctness, i.e., the resulting parser is terminating and correct with respect to its grammar and the semantics of PEGs; both properties formally proven in Coq.Comment: 26 pages, LMC