Constructive Synthesis of Memory-Intensive Accelerators for FPGA From Nested Loop Kernels

Field-programmable gate arrays are ideal hosts to custom accelerators for signal, image, and data processing but de- mand manual register transfer level design if high performance and low cost are desired. High-level synthesis reduces this design burden but requires manual design of complex on-chip and off-chip memory architectures, a major limitation in applications such as video processing. This paper presents an approach to resolve this shortcoming. A constructive process is described that can derive such accelerators, including on- and off-chip memory storage from a C description such that a user-defined throughput constraint is met. By employing a novel statement-oriented approach, dataflow intermediate models are derived and used to support simple ap- proaches for on-/off-chip buffer partitioning, derivation of custom on-chip memory hierarchies and architecture transformation to ensure user-defined throughput constraints are met with minimum cost. When applied to accelerators for full search motion estima- tion, matrix multiplication, Sobel edge detection, and fast Fourier transform, it is shown how real-time performance up to an order of magnitude in advance of existing commercial HLS tools is enabled whilst including all requisite memory infrastructure. Further, op- timizations are presented that reduce the on-chip buffer capacity and physical resource cost by up to 96% and 75%, respectively, whilst maintaining real-time performance.

The Loop-of-Stencil-Reduce Paradigm

In this paper we advocate the Loop-of-stencil-reduce pattern as a way to simplify the parallel programming of heterogeneous platforms (multicore+GPUs). Loop-of-Stencil-reduce is general enough to subsume map, reduce, map-reduce, stencil, stencil-reduce, and, crucially, their usage in a loop. It transparently targets (by using OpenCL) combinations of CPU cores and GPUs, and it makes it possible to simplify the deployment of a single stencil computation kernel on different GPUs. The paper discusses the implementation of Loop-of-stencil-reduce within the FastFlow parallel framework, considering a simple iterative data-parallel application as running example (Game of Life) and a highly effective parallel filter for visual data restoration to assess performance. Thanks to the high-level design of the Loop-of-stencil-reduce, it was possible to run the filter seamlessly on a multicore machine, on multi-GPUs, and on both.

Numerical Analysis on a Dual-Loop Waste Heat Recovery System Coupled with an ORC for Vehicle Applications

The internal combustion (IC) engines exploits only about 30% of the chemical energy ejected through combustion, whereas the remaining part is rejected by means of cooling system and exhausted gas. Nowadays, a major global concern is finding sustainable solutions for better fuel economy which in turn results in a decrease of carbon dioxide (CO2) emissions. The Waste Heat Recovery (WHR) is one of the most promising techniques to increase the overall efficiency of a vehicle system, allowing the recovery of the heat rejected by the exhaust and cooling systems. In this context, Organic Rankine Cycles (ORCs) are widely recognized as a potential technology to exploit the heat rejected by engines to produce electricity. The aim of the present paper is to investigate a WHR system, designed to collect both coolant and exhausted gas heats, coupled with an ORC cycle for vehicle applications. In particular, a coolant heat exchanger (CLT) allows the heat exchange between the water coolant and the ORC working fluid, whereas the exhausted gas heat is recovered by using a secondary circuit with diathermic oil. By using an in-house numerical model, a wide range of working conditions and ORC design parameters are investigated. In particular, the analyses are focused on the regenerator location inside the ORC circuits. Five organic fluids, working in both subcritical and supercritical conditions, have been selected in order to detect the most suitable configuration in terms of energy and exergy efficiencies.

Automated Equation Formulation for Causal Loop Diagrams

The annotation of Business Dynamics models with parameters and equations, to simulate the system under study and further evaluate its simulation output, typically involves a lot of manual work. In this paper we present an approach for automated equation formulation of a given Causal Loop Diagram (CLD) and a set of associated time series with the help of neural network evolution (NEvo). NEvo enables the automated retrieval of surrogate equations for each quantity in the given CLD, hence it produces a fully annotated CLD that can be used for later simulations to predict future KPI development. In the end of the paper, we provide a detailed evaluation of NEvo on a business use-case to demonstrate its single step prediction capabilities.

Beamforming and interference cancellation in D2D communication underlaying cellular networks

This paper presents an analytical performance investigation of both beamforming (BF) and interference cancellation (IC) strategies for a device-to-device (D2D) communication system underlaying a cellular network with an M-antenna base station (BS). We first derive new closed-form expressions for the ergodic achievable rate for BF and IC precoding strategies with quantized channel state information (CSI), as well as, perfect CSI. Then, novel lower and upper bounds are derived which apply for an arbitrary number of antennas and are shown to be sufficiently tight to the Monte-Carlo results. Based on these results, we examine in detail three important special cases including: high signal-to-noise ratio (SNR), weak interference between cellular link and D2D link, and BS equipped with a large number of antennas. We also derive asymptotic expressions for the ergodic achievable rate for these scenarios. Based on these results, we obtain valuable insights into the impact of the system parameters, such as the number of antennas, SNR and the interference for each link. In particular, we show that an irreducible saturation point exists in the high SNR regime, while the ergodic rate under IC strategy is verified to be always better than that under BF strategy. We also reveal that the ergodic achievable rate under perfect CSI scales as log2M, whilst it reaches a ceiling with quantized CSI.

Beamforming and interference cancellation schemes for D2D communications

We investigate device-to-device (D2D) communication underlaying cellular networks with M-antenna base stations. We consider both beamforming (BF) and interference cancellation (IC) strategies under quantized channel state information (CSI), as well as, perfect CSI. We derive tight closed-form approximations of the ergodic achievable rate which hold for arbitrary transmit power, location of users and number of antennas. Based on these approximations, we derive insightful asymptotic expressions for three special cases namely high signal-to-noise (SNR), weak interference, and large M. In particular, we show that in the high SNR regime a ceiling effect exists which depends on the received signal-to-interference ratio and the number of antennas. Moreover, the achievable rate scales logarithmically with M. The ergodic achievable rate is shown to scale logarithmically with SNR and the antenna number in the weak interference case. When the BS is equipped with large number of antennas, we find that the ergodic achievable rate under quantized CSI reaches a saturated value, whilst it scales as log2M under perfect CSI.

A Loop-mediated Isothermal Amplification Method for Rapid Direct Detection and Differentiation of Non-pathogenic and Verocytotoxigenic Escherichia coli in Beef and Bovine Faeces

The aim of this study was to develop a multiplex loop-mediated isothermal amplification (LAMP) method capable of detecting Escherichia coli generally and verocytotoxigenic E. coli (VTEC) specifically in beef and bovine faeces. The LAMP assay developed was highly specific (100%) and able to distinguish between E. coli and VTEC based on the amplification of the phoA, and stx1 and/or stx2 genes, respectively. In the absence of an enrichment step, the limit of detection 50% (LOD50) of the LAMP assay was determined to be 2.83, 3.17 and 2.83-3.17 log CFU/g for E. coli with phoA, stx1 and stx2 genes, respectively, when artificially inoculated minced beef and bovine faeces were tested. The LAMP calibration curves generated with pure cultures, and spiked beef and faeces, suggested that the assay had good quantification capability. Validation of the assay, performed using retail beef and bovine faeces samples, demonstrated good correlation between counts obtained by the LAMP assay and by a conventional culture method, but suggested the possibility of false negative LAMP results for 12.5-14.7% of samples tested. The multiplex LAMP assay developed potentially represents a rapid alternative to culture for monitoring E.coli levels in beef or faeces and it would provide additional information on the presence of VTEC. However, some further optimisation is needed to improve detection sensitivity.

On Queueinginventory Models – product form solution; reservation, Cancellation and common life time

Queueing theory is the mathematical study of ‘queue’ or ‘waiting lines’ where an item from inventory is provided to the customer on completion of service. A typical queueing system consists of a queue and a server. Customers arrive in the system from outside and join the queue in a certain way. The server picks up customers and serves them according to certain service discipline. Customers leave the system immediately after their service is completed. For queueing systems, queue length, waiting time and busy period are of primary interest to applications. The theory permits the derivation and calculation of several performance measures including the average waiting time in the queue or the system, mean queue length, traffic intensity, the expected number waiting or receiving service, mean busy period, distribution of queue length, and the probability of encountering the system in certain states, such as empty, full, having an available server or having to wait a certain time to be served.

Control Loop

Describes project management control loop for managing an MSc dissertation

Diseño de un condensador para un loop experimental para probar maniobras de arranque del reactor CAREM.

En este trabajo se diseñó un condensador de vapor sobrecalentado (320°C@2bar) de 78KW que formará parte de un arreglo experimental en el cual se probarán maniobras de arranque del reactor CAREM. Con este objetivo se hizo un estudio de las distintas tecnologías de condensadores existentes en el mercado y se seleccionó el más apropiado para este proyecto. Se encontró que el formato carcasa-tubo de orientación horizontal era el más apropiado. Se efectuó un dimensionamiento termohidráulico del mismo y se realizó posteriormente un diseño mecánico para satisfacer los requerimientos siguiendo las normas TEMA y ASME. Se efectuó el armado de un circuito termohidráulico, empleando un intercambiador carcasa y tubo de la CNEA. Obteniendo experiencia en dicha tarea. Una vez finalizado el proceso de análisis y diseño del condensador, se realizaron los planos de ingeniería básica del mismo empleando un programa de diseño 3D.

Chemical Loop Reforming dell'etanolo: studio della reattività di ferriti modificate

Modified ferrites with a generic formula of MFe2O4 (where M=Co, Cu, Mn and their combination: Cu/Co, Cu/Mn and Co/Mn) were studied as potentially attractive ionic oxygen and electron carrier materials for the production of “clean H2” via the Chemical Loop Reforming (CLR) of bio-ethanol. The conventional CLR process consists of 2 steps: 1st - the reduction step with ethanol; 2nd - the re-oxidation step with water. The synthesized materials were tested in a laboratory plant in terms of both redox properties and catalytic activity to generate hydrogen during the re-oxidation step with water steam over previously pre-reduced samples. The obtained results showed that CuFe2O4, Cu0.5Co0.5Fe2O4, Cu0.5Mn0.5Fe2O4 and CoFe2O4 within 20 min of ethanol reduction reached almost a complete reduction, and, as a consequence, the higher yields to H2 produced during the re-oxidation step with steam. On the other hand, incorporation of Mn-cations greatly affects the redox properties of a resulted spinel (MnFe2O4 and Co0.5Mn0.5Fe2O4) leading to its lower reducibility, caused by the formation of a hardly reducible layer of MnxFeyO oxide. Moreover, the presence of Mn-cations effectively reduces the amount of coke formed during the anaerobic reduction step with ethanol and hence avoids a fast deactivation of the material. Modification of the conventional CLR process with an addition of the 3rd regeneration step (carried out with air) was done in order to increase the stability of the looping material and to overcome the deactivation problems, such as: a coke deposition/accumulation and an incomplete re-oxidation of M0 during the 2nd step.

“Syndrome in syndrome”: Wernicke syndrome due to afferent loop syndrome. Case report and review of the literature

Wernicke syndrome is a rare neurological pathology due to a deficit in vitamin B1. The syndrome is common among alcohol abusers, patients with malignant tumor or gastrointestinal diseases, those who undergo hemodialysis or long-term peritoneal dialysis, pregnant women with hyperemesis, women who breast-feed, patients with hyperthyroidism or anorexia nervosa or gastric or jejunal-ileal bypass surgery for obesity, patients submitted to gastric surgery or prolonged total parenteral nutrition or prolonged intravenous therapy. We report a case of Wernicke syndrome due to afferent loop syndrome characterized by incoercible vomiting.

Diseño de un condensador para un loop experimental para probar maniobras de arranque del reactor CAREM.

En este trabajo se diseñó un condensador de vapor sobrecalentado (320°C@2bar) de 78KW que formará parte de un arreglo experimental en el cual se probarán maniobras de arranque del reactor CAREM. Con este objetivo se hizo un estudio de las distintas tecnologías de condensadores existentes en el mercado y se seleccionó el más apropiado para este proyecto. Se encontró que el formato carcasa-tubo de orientación horizontal era el más apropiado. Se efectuó un dimensionamiento termohidráulico del mismo y se realizó posteriormente un diseño mecánico para satisfacer los requerimientos siguiendo las normas TEMA y ASME. Se efectuó el armado de un circuito termohidráulico, empleando un intercambiador carcasa y tubo de la CNEA. Obteniendo experiencia en dicha tarea. Una vez finalizado el proceso de análisis y diseño del condensador, se realizaron los planos de ingeniería básica del mismo empleando un programa de diseño 3D.

Basingstoke College of Technology: Closing the feedback loop with social media

Social media tools are bringing a new dimension to dialogue and feedback for learners on a level 3 BTEC extended diploma in creative media production at Basingstoke College of Technology. Not only do blogging, networking and video-sharing tools engage their attention, learners find sharing their work on a public platform helps them achieve a higher standard of work through the continuous engagement with feedback from peers and industry professionals made possible by social media.