A simple model for deep dynamic stall conditions

The present study is focused on modeling of dynamic stall behavior of a pitching airfoil. The deep stall regime is in particular considered. A model is proposed, which has a low implementation and computational complexity but yet is able to deal with different types of dynamic stall conditions, including those characterized by multiple vortex shedding at the airfoil leading edge. The proposed model is appraised against an extensive data set of experimental (α,C_L) curves for NACA0012. The results of an existing widely used model, having comparable complexity, are also shown for comparison. The proposed model is able to well reproduce not only the classic curves of deep dynamic stall but also the curves characterized by lift oscillations at high angles of attack due to the shedding of multiple vortices. Furthermore, the model appears to be robust to variations of its parameters from the optimal values and of the airfoil geometry. Finally, the model is successfully implemented in a commercial CFD software and applied to the simulation of a vertical axis wind turbine within the actuator cylinder approach. The accuracy of the prediction of the turbine power coefficient in the whole rotation cycle is very good for the optimal working condition of the turbine, for which the model parameters were calibrated. Fairly good accuracy is also obtained in significantly different working conditions without any further calibration.     

Inferring kinetic dissolution of NaCl in aqueous glycol solution using a low-cost apparatus and population balance model

An experimental methodology for inferring brine dissolution rate in monoethylene glycol (MEG) solutions at different temperatures using a webcam combined with a mathematical model is presented. The measurement system is designed to track the RGB (red, green, and blue) colour variations during the dissolution process. A dynamic model augmented with the population balance equation is applied to describe the dissolution process. Moreover, the dissolution rate is consistently related to the temperature and MEG concentration through the driving force based on the Gibbs energy and chemical affinity. The applied low-cost measurement apparatus proved to be a useful resource for tracking the dissolution dynamics in a wide range of undersaturation.     

Plasmonic-excitonic multi-hybrid glass-based nanocomposites incorporating Ag plus core-shell CdSe/CdS and alloyed CdSxSe1−x nanoparticles

Successful fabrication of glass-based hybrid nanocomposites (GHNCs) incorporating Ag, core-shell CdSe/CdS and CdS_xSe_1?x nanoparticles (NPs) is herein reported. Both metallic (Ag) and semiconductor (CdSe/CdS) NPs were pre-synthesized, suspended in colloids and added into the sol-gel reaction medium which was used to fabricate the GHNCs. During fabrication of the nanocomposites a fraction (20–60%) of core-shell CdSe/CdS NPs was alloyed into CdS_xSe_1?x (0.20 < x < 0.35) NPs without changing morphology. Modulation of in situ alloying is possible via the relative content of organics added into the sol-gel protocol. Within colloids Ag (core-shell CdSe/CdS) NPs presented average diameter and polydispersity index of 49.5 nm (4.2 nm) and 0.41 (0.21), respectively. On the other hand, the Ag (core-shell CdSe/CdS) NPs’ average diameter and polydispersity index assessed from the GHNCs were respectively 51.5 nm (4.1 nm) and 0.43 (0.25), revealing negligible aggregation of the nanophases within the glass template. The new GHNCs herein introduced presented two independent excitonic transitions associated to homogenously dispersed semiconductor NPs, peaking around 420 nm (core-shell CdSe/CdS) and 650 nm (CdS_xSe_1?x) and matching the plasmonic resonance (Ag NPs) in the 400–500 nm range. We envisage that the new GHNCs represent very promising candidates for superior light manipulation while illuminated with multiple laser beams in quantum interference-based devices.     

Formalization of Ring Theory in PVS

This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.

     

Application of the novel Droplet digital PCR technology for identification of meat species

The authenticity and traceability of meat products are issues of primary importance to ensure food safety. Unfortunately, food adulteration (e.g. the addition of inexpensive cuts to minced meat products) and mislabelling (e.g. the inclusion of meat from species other than those declared) happens frequently worldwide. The aim of this study was to apply a droplet digital PCR assay for the detection and quantification (copies μL⁻¹) of the beef, pork, horse, sheep, chicken and turkey in meat products. The analysis conducted on commercial meat showed the presence of traces of DNA from other animal species than those declared. We show that the method is highly sensitive, specific and accurate (accuracy = 100%). This method could be adopted by competent food safety authorities to verify compliance with the labelling of meat products and to ensure quality and safety throughout the meat supply chain, from primary production to consumption.