On the Expressiveness of Intensional Communication

The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchronous), arity (monadic vs polyadic data), communication medium (shared dataspaces vs channel-based), and pattern-matching (binding to a name vs testing name equality). Here pattern-matching is generalised to account for terms with internal structure such as in recent calculi like Spi calculi, Concurrent Pattern Calculus and Psi calculi. This paper explores intensionality upon terms, in particular communication primitives that can match upon both names and structures. By means of possibility/impossibility of encodings, this paper shows that intensionality alone can encode synchronism, arity, communication-medium, and pattern-matching, yet no combination of these without intensionality can encode any intensional language.Comment: In Proceedings EXPRESS/SOS 2014, arXiv:1408.127

An Intensional Concurrent Faithful Encoding of Turing Machines

The benchmark for computation is typically given as Turing computability; the ability for a computation to be performed by a Turing Machine. Many languages exploit (indirect) encodings of Turing Machines to demonstrate their ability to support arbitrary computation. However, these encodings are usually by simulating the entire Turing Machine within the language, or by encoding a language that does an encoding or simulation itself. This second category is typical for process calculi that show an encoding of lambda-calculus (often with restrictions) that in turn simulates a Turing Machine. Such approaches lead to indirect encodings of Turing Machines that are complex, unclear, and only weakly equivalent after computation. This paper presents an approach to encoding Turing Machines into intensional process calculi that is faithful, reduction preserving, and structurally equivalent. The encoding is demonstrated in a simple asymmetric concurrent pattern calculus before generalised to simplify infinite terms, and to show encodings into Concurrent Pattern Calculus and Psi Calculi.Comment: In Proceedings ICE 2014, arXiv:1410.701

On the Expressiveness of Joining

The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchronous), arity (monadic vs polyadic data), communication medium (shared dataspaces vs channel-based), and pattern-matching (binding to a name vs testing name equality vs intensionality). Here another dimension coordination is considered that accounts for the number of processes required for an interaction to occur. Coordination generalises binary languages such as pi-calculus to joining languages that combine inputs such as the Join Calculus and general rendezvous calculus. By means of possibility/impossibility of encodings, this paper shows coordination is unrelated to the other features. That is, joining languages are more expressive than binary languages, and no combination of the other features can encode a joining language into a binary language. Further, joining is not able to encode any of the other features unless they could be encoded otherwise.Comment: In Proceedings ICE 2015, arXiv:1508.04595. arXiv admin note: substantial text overlap with arXiv:1408.145

Concurrent pattern unification

University of Technology, Sydney. Faculty of Engineering and Information Technology.Ever since Milner showed that Church’s λ-calculus can be subsumed by π-calculus, process calculi have been expected to subsume sequential com-putation. However, Jay & Given-Wilson show that extensional sequential computation as represented by λ-calculus is subsumed by intensional se-quential computation characterised by pattern-matching as in SF-calculus. Given-Wilson, Gorla & Jay present a concurrent pattern calculus (CPC) that adapts sequential pattern-matching to symmetric pattern-unification in a process calculus. This dissertation proves that CPC subsumes both intensionality sequential computation and extensional concurrent computa-tion, respectively SF-calculus and π-calculus, to complete a computation square. A behavioural theory is developed for CPC that is then exploited to prove that CPC is more expressive than several representative sequential and concurrent calculi. As part of its greater expressive power, CPC provides a natural language to describe interactions involving information exchange. Augmenting the pattern-matching language bondi to implement CPC yields a Concurrent bondi that is able to support web services that exploit both sequential and concurrent intensionality

Optimisation of the spark gap parameters for high powered ultrasound applications

There is considerable interest in the industrial and commercial applications of high power ultrasound (HPU) generated using pulsed power techniques. These applications include metal peening, the treatment of ores and minerals before extraction, drilling technologies and the comminution and recovery of waste materials. In all of these applications, it is important to optimise the parameters of the discharge causing the shock wave in the working medium to maximise the efficiency of the treatment. In a research project at the University of Strathclyde, some applications of HPU to the treatment of waste to assist in recycling have been investigated. Two systems have been considered, slag from the manufacture of stainless steel and bottle glass. With the slag material, it is intended to separate stainless steel from the silicate matrix to permit its recovery. With the bottle glass, the intention is comminution of the material to allow it to be recycled in a more valuable form. Measurements of the efficiency of these processes have been made in terms of the mass of material processed versus the energy input as the parameters of the discharge gap have been varied. In parallel with this work, measurements have been made using pinducer sensors to determine the energy in HPU pulses generated by discharges under identical conditions. Correlations are made between the efficiency of material treatment and the intensity of the HPU pulse measured in the far field. It is hoped that this approach will allow the optimal gap parameters to be determined using pinducer measurements rather than time consuming trials based around materials processing

Expressiveness via Intensionality and Concurrency

International audienceComputation can be considered by taking into account two dimensions: extensional versus intensional, and sequential versus concurrent. Traditionally sequential extensional computation can be captured by the lambda-calculus. However, recent work shows that there are more expressive intensional calculi such as SF-calculus. Traditionally process calculi capture computation by encoding the lambda-calculus, such as in the pi-calculus. Following this increased expressiveness via intensionality, other recent work has shown that concurrent pattern calculus is more expressive than pi-calculus. This paper formalises the relative expressiveness of all four of these calculi by placing them on a square whose edges are irreversible encodings. This square is representative of a more general result: that expressiveness increases with both intensionality and concurrency

The triggered behavior of a controlled corona stabilised cascade switch

Corona stabilised switches have been shown to have advantages in pulse power switching applications due to their high repetition rates and low jitter. Work performed in recent years by the High Voltage Technologies Group within the Department of Electronic and Electrical Engineering at the University of Strathclyde has shown that the operating voltage range of such switches can be extended by using a multi-gap cascade configuration. One particular multi-gap topology was shown to operate under pressure at 100 kV with a switching jitter of 2ns. It has since been shown that by modifying the topology of the corona sources on the electrodes, it is possible to control the grading of the voltage distribution across the gaps in the cascade. The voltages across each gap and the self-break behaviour of the cascade were found to be in close agreement with the values predicted from the corona emission characteristics for the tested electrode topologies. This paper reports on a further examination of the behaviour of the corona controlled switching topology, where triggered operation of the switch has been investigated for different voltage distributions across the cascade gaps

Superposition of DC voltage and submicrosecond impulses for energization of electrostatic precipitators

This paper discusses the development of an impulsive microelectrostatic precipitation technology, which uses superposition of submicrosecond high-field pulses and dc electric field. Short impulses allow the application of higher voltages to the ionization electrodes of a precipitation system without the initiation of breakdown. These higher levels of electric field generate higher ionic concentrations, resulting in more efficient charging of the airborne particles, and can potentially improve precipitation efficiency. This work is focused on the analysis of the behavior of impulsive positive corona discharges in a coaxial reactor designed for precipitation studies. The efficiency of precipitation of coarse and fine particles has been investigated using different dc and impulse voltage levels in order to establish optimal energization modes

The suitability of N2 to replace SF6 in a triggered spark-gap switch for pulsed power applications

The high dielectric strength of sulphur hexafluoride (SF6) when compared with other gases, coupled with safety benefits such as non-flammability and non-toxicity, has seen the widespread use of SF6 for the insulation of switching components. However, SF6 is now widely recognised as a highly damaging greenhouse gas, and investigations of the switching properties of alternative gases to replace SF6 within the bounds of existing system topologies are required. In the present paper, a comparative study has been carried out on a triggered spark-gap of type presently deployed in industrial pulsed-power machines, to determine the suitability of nitrogen (N2) to replace SF6 as the switching medium, without compromising on functionality. Experiments were performed with fast-rising trigger pulses to minimise the delay time to breakdown and jitter, and three distinct operational regimes have been identified for both gases as the pressure inside the switch is increased. The static breakdown characteristics and upper pressure boundaries of operation have been determined for both gases at a range of dc charging voltages. Measurements of the time to breakdown have shown jitters as low as 1.3 ns when operating in N2, highlighting the potential of N2 to replace SF6 without the need for re-design or replacement of the presently used switch

Impulse-driven surface breakdown data : a Weibull statistical analysis

Surface breakdown of oil-immersed solids chosen to insulate high-voltage, pulsed-power systems is a problem that can lead to catastrophic failure. Statistical analysis of the breakdown voltages, or times, associated with such liquid-solid interfaces can reveal useful information to aid system designers in the selection of solid materials. Described in this paper are the results of a Weibull statistical analysis, applied to both breakdown-voltage data and time-to-breakdown data generated in gaps consisting of five different solid polymers immersed in mineral oil. Values of the location parameter γ provide an estimate of the applied voltage below which breakdown will not occur, and under uniform-field conditions, γ varied from 192 kV (480 kV/cm) for polypropylene to zero for ultra-high molecular weight polyethylene. Longer times to breakdown were measured for UHMWPE when compared with the other materials. However, high values of the shape parameter β reported in the present paper suggest greater sensitivity to an increase in applied voltage – that is, the probability of breakdown increases more sharply with increasing applied voltage for UHMWPE compared to the other materials. Analysing peak-applied-voltage data, only PP consistently reflected a low value of β across the different sets of test conditions. In general, longer mean times to breakdown were found for solid materials of εr more closely matched to that of the surrounding mineral oi