A prototype dynamic model for the co-treatment of a high strength simple-organic industrial effluent and coal-mine drainage

This research study's the use of biological sulfate reduction technologies for the treatment of Sasol Secunda's coal-mine drainage (CMD) using Fischer-Tropsch Reaction Water (FTRW) as a cost-efficient carbon source. The research aims to develop a prototype dynamic model that describes this co-treatment of FTRW and CMD in both a continuously stirred tank reactor (CSTR) biological sulfate reduction (BSR) system and a BSR gas-lift (BSR-GL) integrated system. The BSR-GL system recovers elemental sulfur (S0 ) from the H2S produced and stripped from the BSR unit. Furthermore, this study aims to use the prototype model for a quantitative comparison of the CSTR-BSR and BSR-GL systems. Two bench-scale 5-litre CSTR-BSR and a 20-litre BSR-GL system were operated, under varying feed COD concentrations and hydraulic retention times (HRTs), to generate datasets for use in verification and a rudimentary validation of the prototype model. The BSR-GL integrated system includes 1) a 1-litre H2S gas reactive absorption (ABS) unit utilising an aqueous ferric solution for the recovery of elemental sulfur (S0 ) from sulfide and 2) ferrous biological oxidation reactor to regenerate ferric from the ferrous for re-supply to the ABS unit. The datasets generated in the experimental study allowed for the identification, mathematical modelling and reaction verification of 32 components that interact as reactants and products in 23 reactions observed in the two BSR systems. The prototype model is presented in a mass and charge balanced Gujer matrix that includes, i) 5 SRB mediated processes, ii) 2 liquid-gas mass transfer processes, iii) 3 processes describing the ABS and Fe2+ bio-oxidation units, iv) 4 processes describing sulfide and elemental sulfur oxidation and v) the S0 and poly-sulfide aqueous equilibrium and vi) 9 processes describing death regeneration and BPO hydrolysis. This prototype model was implemented in the DHI WEST® software for initial stage simulation trials. The experimental datasets allowed for the first-stage estimation of the best-fit reaction rate equations and the calibration of the kinetic parameters related to the 23 reactions, using MATLAB® curve fitting toolbox. A pre-processor that describe the pH and equilibrium chemistry of the components of the artificially prepared FTRW+CMD feed mixture batches under varying total concentrations have also been developed in this research. This was done to generated influent file to the DHI WEST® simulations that incorporated the dynamics related to the FTRW+CMD feed mixtures. The sulfate utilisation rate (gSO4 -2 .l-1 .d-1 ) of the GL-BSR and CSTR-BSR systems were compared to determine which system had the best sulfate removal. The results were found to be as follows; a. On comparison it was found that the sulfate substrate utilisation rate for the CSTR_BSR system is 39.28% of that of the BSR-GL_N2 system, where both systems were fed at feed mixture of COD of 2500mgCOD/l, where the COD:SO4 2- was 0.7, b. For the same systems fed a feed mixture of COD at 5000mgCOD/l (COD:SO4 2- = 0.7), the sulfate substrate utilisation rate for the CSTR_BSR system was found to be 17.86% less than that of the BSR_GLN2 system. c. Finally, it was also found that the substrate utilisation rate for the CSTR_BSR system was 30.06% less than that of the BSR_GLN2 system at Se of 4gCOD/l, for both systems fed substrate at 5000mgCOD/l. Thus, it can be concluded that the sulfate substrate utilisation rate for the BSR-GL system is higher than that of the CSTR_BSR system, for systems fed COD feed mixtures at 2.5 or 5gCOD/l where both systems have the same effluent substrate concentrations. However, the difference in the comparative substrate utilisation rate is less at higher feed substrate concentrations. This is the influence of substrate inhibition on the active SRB biomass, which increases with higher effluent substrate concentrations. Finally, this research found that the use of gas-lift reactor technologies is superior to CSTR technologies in the treatment of coal-mine drainage utilising biological sulfate reduction (BSR). The CSTR-BSR system, fed sulfate between 1.6 to 14gSO4 2- /l, produced effluent with high dissolved H2S concentrations, on average 285mgS/l and maximum at >600mgS/l. Releasing this effluent to the environment would be hazardous to aquatic and human health and corrosive to infrastructure. As such, the effluent from the CSTR-BSR system requires further treatment to stabilise the water for any use. The BSR-GL technology allows for the conversion of the H2S produced during BSR reactions to form elemental sulfur, which is a resource recovered from this process, thus complying to the circular economy aim of this study

Products and Services

Today’s global economy offers more opportunities, but is also more complex and competitive than ever before. This fact leads to a wide range of research activity in different fields of interest, especially in the so-called high-tech sectors. This book is a result of widespread research and development activity from many researchers worldwide, covering the aspects of development activities in general, as well as various aspects of the practical application of knowledge

Advances in Computer Science and Engineering

The book Advances in Computer Science and Engineering constitutes the revised selection of 23 chapters written by scientists and researchers from all over the world. The chapters cover topics in the scientific fields of Applied Computing Techniques, Innovations in Mechanical Engineering, Electrical Engineering and Applications and Advances in Applied Modeling

Some fairytales about risk management

When I started writing this paper, I thought I would only be writing about the parallel between the mathematical theory of inventory and production – as a familiar model of operations research – and liquidity management. And then during the writing process, predictably enough I must say, the scandals surrounding the Buda-Cash and Quaestor brokerages erupted. Likewise in this period, the debate about foreign currency lending gained fresh impetus; about who made which mistakes when, or whether there was anyone who didn’t make mistakes. The most surprising twist revealed in the Buda-Cash and Quaestor cases – beyond alleged losses running into several hundreds of billions of forints – was that all this could be accumulated in 15 years of selfless effort. And even if this information proves to be comment born of initial over-excitement, it still demands an explanation one way or another. If it’s true, then how can this be? And if it isn’t, then what made it appear as if this is what happened? The questions and contradictions are obvious. But the main questions are these: What do risk managers actually do? What do we pay them for? And how far can we trust them

Interactive Video Game Content Authoring using Procedural Methods

This thesis explores avenues for improving the quality and detail of game graphics, in the context of constraints that are common to most game development studios. The research begins by identifying two dominant constraints; limitations in the capacity of target gaming hardware/platforms, and processes that hinder the productivity of game art/content creation. From these constraints, themes were derived which directed the research‟s focus. These include the use of algorithmic or „procedural‟ methods in the creation of graphics content for games, and the use of an „interactive‟ content creation strategy, to better facilitate artist production workflow. Interactive workflow represents an emerging paradigm shift in content creation processes used by the industry, which directly integrates game rendering technology into the content authoring process. The primary motivation for this is to provide „high frequency‟ visual feedback that enables artists to see games content in context, during the authoring process. By merging these themes, this research develops a production strategy that takes advantage of „high frequency feedback‟ in an interactive workflow, to directly expose procedural methods to artists‟, for use in the content creation process. Procedural methods have a characteristically small „memory footprint‟ and are capable of generating massive volumes of data. Their small „size to data volume‟ ratio makes them particularly well suited for use in game rendering situations, where capacity constraints are an issue. In addition, an interactive authoring environment is well suited to the task of setting parameters for procedural methods, reducing a major barrier to their acceptance by artists. An interactive content authoring environment was developed during this research. Two algorithms were designed and implemented. These algorithms provide artists‟ with abstract mechanisms which accelerate common game content development processes; namely object placement in game environments, and the delivery of variation between similar game objects. In keeping with the theme of this research, the core functionality of these algorithms is delivered via procedural methods. Through this, production overhead that is associated with these content development processes is essentially offloaded from artists onto the processing capability of modern gaming hardware. This research shows how procedurally based content authoring algorithms not only harmonize with the issues of hardware capacity constraints, but also make the authoring of larger and more detailed volumes of games content more feasible in the game production process. Algorithms and ideas developed during this research demonstrate the use of procedurally based, interactive content creation, towards improving detail and complexity in the graphics of games

East Lancashire Research 2008

East Lancashire Research 200

Computer Aided Verification

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency

Computer Aided Verification

This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency

A Numerical Method-Based Analysis of the Structural Deformation Behaviour of a Turkish String Instrument (Cura Baglama) under Varying String Tensions

This study focuses on the structural design analysis of a cura baglama, a traditional Turkish string instrument that does not have in place a regulated set of manufacturing standards to follow. The aim therefore is to introduce a structural deformation analysis for a sample cura baglama in three different string tensions via a numerical method-based engineering analysis technique. The three-dimensional solid model of a sample cura baglama was created using a 3D scanner and parametric 3D solid modelling software. Based on experimental frequency analysis, structural deformation analyses of the instrument were conducted using finite element method-based engineering simulation techniques. The simulation results revealed useful visual and numerical outputs related to the deformation behaviour of the instrument under pre-defined boundary conditions. A maximum deformation of 0.223 mm on the soundboard (at the D3 tune) and a maximum equivalent stress of 18.325 MPa on the bridge (at the D3 tune) were calculated. The outputs of this research contribute to further research into the usage of numerical method-based deformation simulation studies related to the standardisation, development, and preservation of such traditional string instruments

Low Power Digital Filter Implementation in FPGA

Digital filters suitable for hearing aid application on low power perspective have been developed and implemented in FPGA in this dissertation. Hearing aids are primarily meant for improving hearing and speech comprehensions. Digital hearing aids score over their analog counterparts. This happens as digital hearing aids provide flexible gain besides facilitating feedback reduction and noise elimination. Recent advances in DSP and Microelectronics have led to the development of superior digital hearing aids. Many researchers have investigated several algorithms suitable for hearing aid application that demands low noise, feedback cancellation, echo cancellation, etc., however the toughest challenge is the implementation. Furthermore, the additional constraints are power and area. The device must consume as minimum power as possible to support extended battery life and should be as small as possible for increased portability. In this thesis we have made an attempt to investigate possible digital filter algorithms those are hardware configurable on low power view point. Suitability of decimation filter for hearing aid application is investigated. In this dissertation decimation filter is implemented using ‘Distributed Arithmetic’ approach.While designing this filter, it is observed that, comb-half band FIR-FIR filter design uses less hardware compared to the comb-FIR-FIR filter design. The power consumption is also less in case of comb-half band FIR-FIR filter design compared to the comb-FIR-FIR filter. This filter is implemented in Virtex-II pro board from Xilinx and the resource estimator from the system generator is used to estimate the resources. However ‘Distributed Arithmetic’ is highly serial in nature and its latency is high; power consumption found is not very low in this type of filter implementation. So we have proceeded for ‘Adaptive Hearing Aid’ using Booth-Wallace tree multiplier. This algorithm is also implemented in FPGA and power calculation of the whole system is done using Xilinx Xpower analyser. It is observed that power consumed by the hearing aid with Booth-Wallace tree multiplier is less than the hearing aid using Booth multiplier (about 25%). So we can conclude that the hearing aid using Booth-Wallace tree multiplier consumes less power comparatively. The above two approached are purely algorithmic approach. Next we proceed to combine circuit level VLSI design and with algorithmic approach for further possible reduction in power. A MAC based FDF-FIR filter (algorithm) that uses dual edge triggered latch (DET) (circuit) is used for hearing aid device. It is observed that DET based MAC FIR filter consumes less power than the traditional (single edge triggered, SET) one (about 41%). The proposed low power latch provides a power saving upto 65% in the FIR filter. This technique consumes less power compared to previous approaches that uses low power technique only at algorithmic abstraction level. The DET based MAC FIR filter is tested for real-time validation and it is observed that it works perfectly for various signals (speech, music, voice with music). The gain of the filter is tested and is found to be 27 dB (maximum) that matches with most of the hearing aid (manufacturer’s) specifications. Hence it can be concluded that FDF FIR digital filter in conjunction with low power latch is a strong candidate for hearing aid application