Polite Combination of Algebraic Datatypes

Journal of Automated Reasoning - Algebraic datatypes, and among them lists and trees, have attracted a lot of interest in automated reasoning and Satisfiability Modulo Theories (SMT). Since its...     

Maskless writing of microfluidics: Rapid prototyping of 3D microfluidics using scratch on a polymer substrate

We present a new rapid prototyping method designed for simple fabrication of 3D microfluidics using a maskless direct writing technique on polymer substrates. The entire process is enabled by a commercial cutter plotter with 10 μm resolution precision and high speed. A CAD design of top and bottom microstructures is directly written on a polymer substrate using a cutter plotter after setting up the suitable force. The smallest channel width of 20 μm was obtained with the minimum force and 100 μm from the maximum. Also the written depth increased linearly with force from 30 to 130 μm. Several 3D microfluidic devices are demonstrated using a maskless writing technique. The entire fabrication process from CAD layout to a final 3D device can be completed in 30 min outside the clean room facilities.     

Bio-PEPA: A framework for the modelling and analysis of biological systems

In this work we present Bio-PEPA, a process algebra for the modelling and the analysis of biochemical networks. It is a modification of PEPA, originally defined for the performance analysis of computer systems, in order to handle some features of biological models, such as stoichiometry and the use of general kinetic laws. Bio-PEPA may be seen as an intermediate, formal, compositional representation of biological systems, on which different kinds of analyses can be carried out. Bio-PEPA is enriched with some notions of equivalence. Specifically, the isomorphism and strong bisimulation for PEPA have been considered and extended to our language. Finally, we show the translation of a biological model into the new language and we report some analysis results.     

Adapting application execution in CMPs using helper threads

In parallel to the changes in both the architecture domain–the move toward chip multiprocessors (CMPs)–and the application domain–the move toward increasingly data-intensive workloads–issues such as performance, energy efficiency and CPU availability are becoming increasingly critical. The CPU availability can change dynamically due to several reasons such as thermal overload, increase in transient errors, or operating system scheduling. An important question in this context is how to adapt, in a CMP, the execution of a given application to CPU availability change at runtime. Our paper studies this problem, targeting the energy-delay product (EDP) as the main metric to optimize. We first discuss that, in adapting the application execution to the varying CPU availability, one needs to consider the number of CPUs to use, the number of application threads to accommodate and the voltage/frequency levels to employ (if the CMP has this capability). We then propose to use helper threads to adapt the application execution to CPU availability change in general with the goal of minimizing the EDP. The helper thread runs parallel to the application execution threads and tries to determine the ideal number of CPUs, threads and voltage/frequency levels to employ at any given point in execution. We illustrate this idea using four applications (Fast Fourier Transform, MultiGrid, LU decomposition and Conjugate Gradient) under different execution scenarios. The results collected through our experiments are very promising and indicate that significant EDP reductions are possible using helper threads. For example, we achieved up to 66.3%, 83.3%, 91.2%, and 94.2% savings in EDP when adjusting all the parameters properly in applications FFT, MG, LU, and CG, respectively. We also discuss how our approach can be extended to address multi-programmed workloads.     

An SNS-based model for finding collaborative partners

This paper proposes a model, Recommendation of Appropriate Partners (RAP), used on a Social Networking Service (SNS) for locating appropriate “helpers” for users based on individual users’ Chain of Friends (CoF) relationships. Using the RAP model, individual users can participate in a collaborative online community in remote locations, whereby helpers are willing to help other users solve their tasks/problems, and it is intended that both the users and helpers gain knowledge from these interactive online sessions. An example of the RAP-based system was implemented to invite Program Committee members to an international conference. The system was evaluated and the experimental results show that our model is very effective for discovering collaboration partners and finding users with similar interests in order to create communities for providing future and longer-term helping exchange.

     

The Other Mathematical Bridge

This paper contextualises, describes and discusses a student project which takes a particular exploratory approach to using mathematical surface definition as a language and vehicle for co-rational design co-authorship for architecture and engineering. The project has two authors, one from an architectural and one from an engineering educational background. It investigates the metaphorical and operational role of mathematics in the design process and outcomes.     

Influence of Particle Size Distribution,Moisture Content,and Particle Shape on the Flow Properties of Bulk Solids

Abstract

There has been a great deal of research on characterising bulk solids. However, some of the characteristics, particularly the time‐dependent and random changes of properties, still remain insufficiently understood. The focus of this article is to study the influence of particle size, size distribution, moisture content, and particle shape on the unconfined yield strength of bulk solids. We present some interesting results about the influence of the particle size distribution on the unconfined yield strength of a bulk solid and a new method for determining the influence of particle shape on the unconfined yield strength of a bulk solid, which was made possible by the design and use of a novel attritor.     

Impact assessment of odours emitted by a wastewater treatment plant

Complaints from the Domingos Martins population about sewage odours in the city made the district attorney order an impact assessment of the odours emitted by the city wastewater treatment plant (WWTP). This study comprised various techniques, models and population surveys. In 2007, an odour emission model proved that the main hydrogen sulphide emitter was the aeration tank of the WWTP (13.5 g h(-1)) and such emissions, according to CALPUFF model, should be perceived in the whole Domingos Martins city centre area. In this area, 58% of those interviewed were annoyed by the WWTP odours. However, in 2009, the odour monitoring panel recorded few odour occurrences. A second population survey showed that hereafter only 20% of those interviewed were annoyed by the WWTP emissions. Odour emission and dispersion models run with 2010 data proved a drastic reduction of the WWTP aeration tank emissions and consequently the city centre was not bothered by WWTP emissions anymore. The odour emission reduction was due to the modification of the WWTP aeration tank system. Despite the odour emission reduction, houses located southeast of the WWTP were still annoyed by sewage odours. However, in this part of the town, other sources of sewage odours have been found.     

Volatilization of hydrogen sulfide from a quiescent surface

Air-water mass transfer of hydrogen sulfide from a shallow tank with a quiescent surface under the influence of weak wind stress on the water surface was studied numerically using a two-dimensional model. The flow field in the tank was investigated using a computational code based on a finite volume, which is used to numerically solve momentum, mass and continuity conservation equations. The results show that water phase flow field is strongly dependent on the wind-induced surface velocity and the aspect ratio of the tank. Based on the numerical study, the liquid-side mass transfer coefficient is correlated with Reynolds number (R(e)), tank aspect ratio (AR) and Schmidt number (S(c)). Overall mass transfer coefficient (K(L)) values extend further downstream as the R(e) number increases.