Investigation of Flow Patterns in Continuous‐flow Stirred Vessels by Laser Doppler Velocimetry

The flow structure of a continuous‐flow reactor stirred by a Rushton turbine was investigated by laser Doppler velocimetry for two different mean residence time‐mixing time ratios. Velocity measurements were obtained for two inlet locations, corresponding to the incoming liquid stream being fed co‐currently or counter‐currently to the flow discharged by the turbine. In all investigated configurations and for all operating conditions, it was found that the flow disruption caused by the incoming liquid stream was observable mainly in the first vessel quarter, which followed the feed‐tube plane. From comparison of the velocities encountered in the various planes in the continuous‐flow reactor to the velocities of the batch reactor, it was also concluded that it may be possible to intensify the usage of the turbine‐stirred vessel by decreasing the characteristic times ratio, without considerable flow by‐pass and/or short‐circuiting problems.     

Diffusion of ellipsoidal granular particles in shear flow

The diffusion of nonspherical particles has not been well understood due to the complexity of their contact mechanics and self-organization of their orientations. We perform discrete element method simulations of monodisperse ellipsoids in a shear flow with Lees-Edwards boundary conditions to quantify the relation between the diffusion coefficient and the flow parameters. The results indicate that the particle aspect ratio strongly affects the diffusion coefficient by influencing the particle orientation and alignment. We develop a scaling law for the diffusion coefficient perpendicular to the flow direction, D_yy, which combines the influences of the shear rate , the solids fraction f, the effective particle diameter d_eff and the particle aspect ratio Z. We show that , where k_d is a dimensionless pre-factor, and a fit is obtained for the functional form of χ(f, Z). This scaling law will be useful in developing continuum transport models for applications.     

Mid‐infrared spectroscopy as a tool for real‐time monitoring of ethanol absorption in glycols

Fast, simple, accurate, and inexpensive methods for obtaining analyte concentration data are desirable in the industrial sector. In the present study, the use of Fourier transform mid‐infrared (FT‐MIR) spectroscopy, combined with partial least squares (PLS) regression, was investigated as a tool for real‐time monitoring of processes of ethanol absorption in glycols. Calibration was performed using simple synthetic samples containing ethanol, water, and monoethylene glycol (MEG) or diethylene glycol (DEG). The PLS models presented excellent performance, with correlation coefficients (R²) close to unity and root‐mean‐square errors of cross‐validation (RMSECV) and prediction (RMSEP) lower than 2% of the calibration data ranges for both analytes (ethanol and water) in both absorbents (MEG and DEG). The monitoring technique developed has potential to be applied in absorption processes and could also be used in other large‐scale unit operations, providing information in real time and enhancing process control.     

Hysteresis minor loop analysis of plastically deformed low-carbon steel

This work investigates applicability of magnetic hysteresis method for non-destructive testing of plastically deformed low-carbon steel. Recently introduced Magnetic Adaptive Testing procedure was used for evaluation of hysteresis minor loop data-sets to find the most sensitive parameter/s for indication of the material degradation stage. Inductive measurements were carried out on two identically degraded series of samples: magnetically closed window-shaped specimens, equipped with the magnetizing and the induction coils, and magnetically open strips, measured by an attached magnetizing yoke. The aim was to compare the results between these sample series in order to determine applicability and limitations of the single-yoke measurement technique. As a result, new magnetic parameters with the best sensitivity–stability ratio in a wide deformation range were introduced and proposed for utilization. Good qualitative coincidence between the measurement results on the closed and the open sample series was obtained in all range of magnetization. Several quantitative distinctions were explained and analyzed in order to improve the single-yoke technique.     

A Closed-Loop Automatic Data-Mining Approach for Preventive Network Monitoring

As telecommunication networks grow in size and complexity, monitoring systems need to scale up accordingly. Alarm data generated in a large network are often highly correlated. These correlations can be explored to simplify the process of network fault management, by reducing the number of alarms presented to the network-monitoring operator. This makes it easier to react to network failures. But in some scenarios, it is highly desired to prevent the occurrence of these failures by predicting the occurrence of alarms before hand. This work investigates the usage of data mining methods to generate knowledge from historical alarm data, and using such knowledge to train a machine learning system, in order to predict the occurrence of the most relevant alarms in the network. The learning system was designed to be retrained periodically in order to keep an updated knowledge base.     

Ideals and congruences of basic algebras

MV-algebras as well as orthomodular lattices can be seen as a particular case of so-called “basic algebras” which are an alter ego of bounded lattices whose sections are equipped with fixed antitone involutions. The class of basic algebras is an ideal variety. In the paper, we give an internal characterization of congruence kernels (ideals) and find a finite basis of ideal terms, with focus on monotone and effect basic algebras. We also axiomatize basic algebras that are subdirect products of linearly ordered ones.     

Validation of GOES and MODIS active fire detection products using ASTER and ETM+ data

In this study we implemented a comprehensive analysis to validate the MODIS and GOES satellite active fire detection products (MOD14 and WFABBA, respectively) and characterize their major sources of omission and commission errors which have important implications for a large community of fire data users. Our analyses were primarily based on the use of 30 m resolution ASTER and ETM+ imagery as our validation data. We found that at the 50% true positive detection probability mark, WFABBA requires four times more active fire area than is necessary for MOD14 to achieve the same probability of detection, despite the 16× factor separating the nominal spatial resolutions of the two products. Approximately 75% and 95% of all fires sampled were omitted by the MOD14 and WFABBA instantaneous products, respectively; whereas an omission error of 38% was obtained for WFABBA when considering the 30-minute interval of the GOES data. Commission errors for MOD14 and WFABBA were found to be similar and highly dependent on the vegetation conditions of the areas imaged, with the larger commission errors (approximately 35%) estimated over regions of active deforestation. Nonetheless, the vast majority (> 80%) of the commission errors were indeed associated with recent burning activity where scars could be visually confirmed in the higher resolution data. Differences in thermal dynamics of vegetated and non-vegetated areas were found to produce a reduction of approximately 50% in the commission errors estimated towards the hours of maximum fire activity (i.e., early-afternoon hours) which coincided with the MODIS/Aqua overpass. Lastly, we demonstrate the potential use of temporal metrics applied to the mid-infrared bands of MODIS and GOES data to reduce the commission errors found with the validation analyses.     

Efficient SAT-based bounded model checking for software verification

This paper discusses our methodology for formal analysis and automatic verification of software programs. It is applicable to a large subset of the C programming language that includes pointer arithmetic and bounded recursion. We consider reachability properties, in particular whether certain assertions or basic blocks are reachable in the source code, or whether certain standard property violations can occur. We perform this analysis via a translation to a Boolean circuit representation based on modeling basic blocks. The program is then analyzed by a back-end SAT-based bounded model checker, where each unrolling is mapped to one step in a block-wise execution of the program.     

Bringing law and order to IEEE 802.11 networks—A case for DiscoSec

To improve the tarnished reputation of WLAN security, the new IEEE 802.11i standard provides means for mutual user authentication and assures confidentiality of user data. However, the IEEE 802.11 link-layer is still highly vulnerable to a plethora of simple, yet effective attacks which further jeopardize the already fragile security of wireless communications.Some of these vulnerabilities are related to limited hardware capabilities of access points and their abuse may result in serious degradation of control over the wireless connection, which, especially in the case of broadcast communication, allows for client hijacking attacks. Although these issues are known and their impact is expected to be less prevalent on modern equipment, this work demonstrates the opposite. In our experimental analysis, we tested frequently used access points, and by forcing them to operate on their performance limits, we identified significant operational anomalies and demonstrated their impact on security by implementing a novel version of the Man-In-The-Middle attack, to which we refer as the Muzzle attack.Secondly, this work describes DiscoSec, a solution for “patching” WLANs against a variety of such link-layer attacks. DiscoSec provides DoS-resilient key exchange, an efficient frame authentication, and a performance-oriented implementation. By means of extensive real-world measurements DiscoSec is evaluated, showing that even on very resource-limited devices the network throughput is decreased by only 22% compared to the throughput without any authentication, and by 6% on more performance-capable hardware. To demonstrate its effectiveness, DiscoSec is available as an open-source IEEE 802.11 device driver utilizing well-established cryptographic primitives provided by the Linux Crypto API and OpenSSL library.