Coinductive Field of Exact Real Numbers and General Corecursion

In this article we present a method to define algebraic structure (field operations) on a representation of real numbers by coinductive streams. The field operations will be given in two algorithms (homographic and quadratic algorithm) that operate on streams of Möbius maps. The algorithms can be seen as coalgebra maps on the coalgebra of streams and hence they will be formalised as general corecursive functions. We use the machinery of Coq proof assistant for coinductive types to present the formalisation.     

Nanoelectromechanical Chip (NELMEC) Combination of Nanoelectronics and Microfluidics to Diagnose Epithelial and Mesenchymal Circulating Tumor Cells from Leukocytes

An integrated nano‐electromechanical chip (NELMEC) has been developed for the label‐free distinguishing of both epithelial and mesenchymal circulating tumor cells (ECTCs and MCTCs, respectively) from white blood cells (WBCs). This nanoelectronic microfluidic chip fabricated by silicon micromachining can trap large single cells (>12 µm) at the opening of the analysis microchannel arrays. The nature of the captured cells is detected using silicon nanograss (SiNG) electrodes patterned at the entrance of the channels. There is an observable difference between the membrane capacitance of the ECTCs and MCTCs and that of WBCs (measured using SiNG electrodes), which is the key indication for our diagnosis. The NELMEC chip not only solves the problem of the size overlap between CTCs and WBCs but also detects MCTCs without the need for any markers or tagging processes, which has been an important problem in previously reported CTC detection systems. The great conductivity of the gold‐coated SiNG nanocontacts as well as their safe penetration into the membrane of captured cells, facilitate a precise and direct signal extraction to distinguish the type of captured cell. The results achieved from epithelial (MCF‐7) and mesenchymal (MDA‐MB231) breast cancer cells circulated in unprocessed blood suggest the significant applications for these diagnostic abilities of NELMEC.     

Evaluation of multiloop chemical dosage control strategies for total phosphorus removal of enhanced biological nutrient removal process

We developed several control algorithms and compare their control performances for controlling the total phosphorous (TP) concentration in wastewater treatment plant, which has strong influent disturbances and the disturbance effects should be removed while maintaining better effluent quality. An anaerobic - anoxic - oxic (AAO) process, which is a well-known advanced nutrient removal process, was selected as a case study, which is modeled with activated sludge model no. 2. Six control strategies for TP control with a polymer addition were implemented in AAO process and evaluated by the plant’s performance, where the costs of the dosed chemical were compared among the six controllers. The experimental work showed that the advanced control techniques with feedback, feedforward and feedratio controllers were able to control the TP concentration in the effluent, which must be less than 1.50 g P/m³ which is the legal limitation, while reducing the necessary chemical cost. The results showed that the best TP removal performance in the effluent TP removal could be achieved by advanced feedback controller with the tuned control parameters, which showed the best effluent quality and control performance index as well as the cheapest cost of chemical dosage among the six TP control strategies.     

Synthesis of highly isotactic poly 1-hexene using Fe-doped Mg(OEt)2/TiCl4/ED Ziegler–Natta catalytic system

In this article, polymerization of 1-hexene with FeCl_3-doped Mg(OET)₂/TiCl₄/electron donor (ED) catalytic system is presented. For this purpose, first a number of TiCl₄ catalysts supported on Mg(OEt)₂ and Fe-doped Mg(OEt)₂ supports were prepared with ethylbenzoate or dibutylphthalate as the internal EDs. After successive catalysts synthesis, they were employed in 1-hexene polymerization using cyclohexyl methyl dimethoxysilane as external ED as well as without it. The catalysts activity and molecular weight distribution (MWD) of poly 1-hexenes (PHs) were influenced strongly by both FeCl₃ doping and donor presence so that a remarkable increase in the catalyst activity was seen in doped catalysts. Deconvolution of MWD curves revealed that increase in the type of active centers by introducing FeCl₃ into the support should be responsible for the broadening of MWD of PHs. ¹³CNMR analysis indicated that while isotacticity does not change considerably by Fe doping, EDs increase its amount as high as 8–21%. Second, the stereoselective behavior of active Ti species in doped and undoped catalysts was fully explored by molecular modeling using density functional theory (DFT) method. Finally, with the aid of rheological measurements, the processability of polymers were evaluated and then the gel permeation chromatography (GPC) results were approved through the values obtained from model fitting as well as changes in moduli crossover modulus.     

Hydrophilic antioxidants of virgin olive oil. Part 2: Biosynthesis and biotransformation of phenolic compounds in virgin olive oil as affected by agronomic and processing factors

The biosynthesis of the phenolic fraction of olive fruits during ripening and the transformations occurring in this moiety during virgin olive oil (VOO) extraction are discussed in this paper. The influence of agronomical factors that can significantly affect the phenolic profile of VOO is also discussed. Particularly, it is worth emphasizing the role of genetic factors, cultivation and climatic conditions such as water availability, atmospheric temperature, altitude, health status of the fruits, alternate bearing in the olive, and some processing factors such as crushing, malaxation time and temperature or volume of water added during milling. Among these parameters, special attention has been paid to genetic factors due to the high variability observed among Olea europaea genotypes for all recorded traits. In this context, interesting experimental results have been obtained with cultivated and wild olive trees, and also with segregating populations resulting from olive breeding programs. To the authors' knowledge, reviews evaluating the influence of the main factors that contribute to the profile of hydrophilic phenols have not been previously published. The discussion concerning olive breeding programs is a major and novel aspect to be emphasized considering recent trends to obtain new olive cultivars that confer better organoleptic properties and better quality to VOO.     

Catalytic desulphurization of benzothiophene in an emulsion via in situ generated H2

Catalytic desulphurization of benzothiophene (BTH) in a water/toluene emulsion, a model system for heavy oil emulsions, was achieved at 340°C using a water-soluble phosphomolybdic acid (PMA), a precursor for dispersed Mo catalyst. This process is based on the activation of H₂O to generate H₂ in situ via the water gas shift reaction (WGSR) for hydrodesulphurization (HDS). At 340°C with an initial CO loading of 4.14 MPa, essentially complete sulphur removal was obtained. Kinetic expressions for the WGSR and HDS of BTH with in situ generated H₂ and externally supplied H₂ were developed and verified experimentally. The kinetic analysis indicates that WGSR is rate-determining and desulphurization with in situ generated H₂ is a relatively fast step. Apparently, in situ H₂ is about seven times more active than externally supplied H₂ for the hydrogenation of BTH. A mechanism for desulphurization involving initial hydrogenation of BTH to dihydrobenzothiophene (DHBTH) followed by hydrogenolysis to give ethylbenzene (EB) and H₂S is proposed.     

Development of multilayer perceptron artificial neural network (MLP-ANN) and least square support vector machine (LSSVM) models to predict Nusselt number and pressure drop of TiO2/water nanofluid flows through non-straight pathways

Abstract

In this study, Multilayer Perceptron Artificial Neural Network (MLP-ANN) model and Least Square Support Vector Machine (LSSVM), were developed to predict the thermal performance and pressure loss of nanofluid flow through coils as non-straight pathways. There different coils with various curvature ratios and coil pitches were constructed and used. Stable TiO₂ (50?nm)/water nanofluid in different concentrations from 0.0 to 2.0% were prepared using appropriate method. As it is expected, considerable enhancement of heat transfer was achieved by application of nanofluids instead of water in system. Volume concentration of nanofluid, Prandtl number (ranging from 4.82 to 9.11) and Helical number (106.80 to 1282.87) were introduced to the developed models to obtain Nusselt number (9.89 to 53.30) and pressure drop (291.35 to 18784?kPa) as the output data of the models. According to the output results of developed models, MLP-ANN model was able to predict both Nusselt number and pressure drop of nanofluid flow more precisely in comparison to LSSVM model. The developed MLP model of this study exceeded LSSVM model to high correlation coefficient value of 0.97.     

UNICORE 6 — Recent and Future Advancements

UNICORE is a European Grid Technology with more than 10 years of history. Originating from the Supercomputing domain, the latest version UNICORE 6 has turned into a general-purpose Grid technology that follows established standards and offers a rich set of features to its users. The paper starts with an architectural insight into UNICORE 6, highlighting the workflow features, standards and the different clients. Next, the current state of advancement is presented by describing recent developments. The paper closes with an outlook on future planned developments.