602 research outputs found
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 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
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
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
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
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
Comparison between RF and electrical signals from the partial discharge activity of twisted pair cables at reduced pressures
A pressure-controlled test facility has been set up that allows the PD behaviour of polymer insulated twisted pair samples exposed to 50 Hz AC voltages in the range of 0 to 10 kV to be characterised. Resulting PD activity is quantified using the methods defined in IEC standard 60270 and by using a simple monopole antenna to detect the RF signals excited inside the pressure vessel by the discharges. This paper gives the results of preliminary tests performed on samples of wire insulated with Ethylenetetraflourethylene, Silicon Rubber and Polyvinylchloride in the pressure range between 103 and 105 Pa in atmospheric air. The dependence of PD inception voltage on the environmental pressure is reported. Changes in the behaviour of the PD activity; the correlations between the RF and electrical measurements and the frequency components of the RF signals as the applied voltage and pressure are varied are characterised and discussed
- âŠ