Filtration of aerosol particles by cylindrical fibers within a parallel and staggered array

The World Health Organization (WHO) in 2013 reported that more than seven million unexpected losses every year are credited to air contamination. Because of incredible adaptability and expense viability of fibrous filters, they are broadly used for removing particulates from gasses. The influence of appropriate parameters, e.g., the fiber arrangement, solid volume fraction (SVF or α), fluid flow face velocity (mean inlet velocity), and filter thickness (I _x ), on pressure drop and deposition efficiency are researched. Furthermore, to study the effects of variation of the laminar flow regime and fiber’s cross-sectional shape on the deposition of particles, only a single square fiber has been placed in a channel. By means of finite volume method (FVM), the 2-D motion of 100–1000 nm particles was investigated numerically. The Lagrangian method has been employed and the Saffman’s lift, Drag, and Brownian forces have been considered to affect this motion. Contribution of increasing the Reynolds number to filtration performance increased with smaller fine aerosols to a level of 59.72 %. However, for over 500 nm, the Re = 100 has more efficient results up to 26.97 %. Remarkably, the single square fiber in Re = 200 regime performs similarly to the optimum choice of multi-fibrous filters. It was portrayed the parallel circular multi-fibrous filter with a ratio of horizontal-to-vertical distances between fibers, l/h = 1.143; α = 0.687, I _x  = 116.572, and h/d _f  = 1.0 is the most efficient filter’s structure. The increase in the ratio of vertical distances between fibers-to-fiber’s diameter (h/d _f ) and decrease in SVF or α, results in a drastically decrement of the filtration performance of both parallel and staggered structures. The obtained results have been validated with previous research findings.     

Star reduction among minimal length addition chains

An addition chain for a natural number n is a sequence \({1=a_0 < a_1 < \cdots < a_r=n}\) of numbers such that for each 0 < i ≤ r, a _i  = a _j  + a _k for some 0 ≤ k ≤ j < i. The minimal length of an addition chain for n is denoted by ?(n). If j = i ? 1, then step i is called a star step. We show that there is a minimal length addition chain for n such that the last four steps are stars. Then we conjecture that there is a minimal length addition chain for n such that the last \({\lfloor\frac{\ell(n)}{2}\rfloor}\)-steps are stars. We verify that the conjecture is true for all numbers up to 2¹⁸. An application of the result and the conjecture to generate a minimal length addition chain reduce the average CPU time by 23–29% and 38–58% respectively, and memory storage by 16–18% and 26–45% respectively for m-bit numbers with 14 ≤ m ≤ 22.     

Efficiently Storing Well-Composed Polyhedral Complexes Computed Over 3D Binary Images

A 3D binary image I can be naturally represented by a combinatorial-algebraic structure called cubical complex and denoted by Q(I), whose basic building blocks are vertices, edges, square faces and cubes. In Gonzalez-Diaz et al. (Discret Appl Math 183:59–77, 2015), we presented a method to “locally repair” Q(I) to obtain a polyhedral complex P(I) (whose basic building blocks are vertices, edges, specific polygons and polyhedra), homotopy equivalent to Q(I), satisfying that its boundary surface is a 2D manifold. P(I) is called a well-composed polyhedral complex over the picture I. Besides, we developed a new codification system for P(I), encoding geometric information of the cells of P(I) under the form of a 3D grayscale image, and the boundary face relations of the cells of P(I) under the form of a set of structuring elements. In this paper, we build upon (Gonzalez-Diaz et al. 2015) and prove that, to retrieve topological and geometric information of P(I), it is enough to store just one 3D point per polyhedron and hence neither grayscale image nor set of structuring elements are needed. From this “minimal” codification of P(I), we finally present a method to compute the 2-cells in the boundary surface of P(I).     

An orthogonal analysis method for decoupling the nozzle geometrical parameters of microthrusters

This paper proposes an orthogonal analysis method for decoupling the multiple nozzle geometrical parameters of microthrusters, thus an reconfigured design can be implemented to generate a proper thrust. In this method, the effects of various nozzle geometrical parameters, including throat width W _t , half convergence angle θ _in , half divergence angle θ _out , exit-to-throat section ratio W _e /W _t and throat radius of the curvature R _t /W _t , on the performance of microthrusters are sorted by range analysis. Analysis results show that throat width seriously affects thrust because range value of 67.53 mN is extremely larger than the range value of other geometry parameters. For average specific impulse (ASI), the range value of exit-to-throat section ratio W _e /W _t and half divergence angle θ _out are 4.82 s and 3.72 s, respectively. Half convergence angle with the range value of 0.39 s and throat radius with 0.32 s have less influence on ASI compared with exit-to-throat section ratio and half divergence angle. When increasing the half convergence angle from 10° to 40° and throat radius of the curvature from 3 to 9, average specific impulse initially decreases and then increases. A MEMS solid propellant thruster (MSPT) with the reconfigured geometrical parameters of nozzle is fabricated to verify the feasibility of the proposed method. The thrust of the microthruster can reach 25 mN. Power is estimated to be 0.84 W. This work provides design guideline to reasonably configure geometry parameters of microthruster.     

Developing heatable microfluidic chip to generate gelatin emulsions and microcapsules

The heatable microfluidic chip developed herein successfully integrates a microheater and flow-focusing device to generate uniform-sized gelatin emulsions under various flow rate ratios (sample phase/oil phase, Q _s/Q _o) and driven voltages. The gelatin emulsions can be applied to encapsulate vitamin C for drug release. Our goal is to create the thermal conditions for thermo-sensitive hydrogel materials in the microfluidic chip and generate continuous and uniform emulsions under any external environment. The gelatin emulsion sizes have a coefficient of variation of <5 % and can be precisely controlled by altering the flow rate ratio (Q _s/Q _o) and driven voltage. The gelatin emulsion diameters range from 45 to 120 μm. Moreover, various sizes of these gelatin microcapsules containing vitamin C were used for drug release. The developed microfluidic chip has the advantages of a heatable platform in the fluid device, active control over the emulsion diameter, the generation of uniform-sized emulsions, and simplicity. This new approach for gelatin microcapsules will provide many potential applications in drug delivery and pharmaceuticals.     

<Emphasis Type="Italic">I</Emphasis><Subscript>DDT</Subscript>: Fundamentals and test generation

It is the time to explore the fundamentals ofI _DDT testing when extensive work has been done forI _DDT testing since it was proposed. This paper precisely defines the concept of average transient current (I _DDT) of CMOS digital ICs, and experimentally analyzes the feasibility ofI _DDT test generation at gate level. Based on the SPICE simulation results, the paper suggests a formula to calculateI _DDT by means of counting only logical up-transitions, which enablesI _DDT test generation at logic level. The Bayesian optimization algorithm is utilized forI _DDT test generation. Experimental results show that about 25% stuck-open faults are withI _DDT test generation. 2.5, and likely to beI _DDT testable. It is also found that mostI _DDT testable faults are located near the primary inputs of a circuit under test.I _DDT test generation does not require fault sensitization procedure compared with stuck-at fault test generation. Furthermore, some redundant stuck-at faults can be detected by usingI _DDT testing.     

Negation-Limited Complexity of Parity and Inverters

In negation-limited complexity, one considers circuits with a limited number of NOT gates, being motivated by the gap in our understanding of monotone versus general circuit complexity, and hoping to better understand the power of NOT gates. We give improved lower bounds for the size (the number of AND/OR/NOT) of negation-limited circuits computing Parity and for the size of negation-limited inverters. An inverter is a circuit with inputs x ₁,…,x _n and outputs ¬ x ₁,…,¬ x _n . We show that: (a) for n=2 ^r ?1, circuits computing Parity with r?1 NOT gates have size at least 6n?log?₂(n+1)?O(1), and (b) for n=2 ^r ?1, inverters with r NOT gates have size at least 8n?log?₂(n+1)?O(1). We derive our bounds above by considering the minimum size of a circuit with at most r NOT gates that computes Parity for sorted inputs x ₁≥???≥x _n . For an arbitrary r, we completely determine the minimum size. It is 2n?r?2 for odd n and 2n?r?1 for even n for ?log?₂(n+1)??1≤r≤n/2, and it is ?3n/2??1 for r≥n/2. We also determine the minimum size of an inverter for sorted inputs with at most r NOT gates. It is 4n?3r for ?log?₂(n+1)?≤r≤n. In particular, the negation-limited inverter for sorted inputs due to Fischer, which is a core component in all the known constructions of negation-limited inverters, is shown to have the minimum possible size. Our fairly simple lower bound proofs use gate elimination arguments in a somewhat novel way.     

Generation and distillation of non-Gaussian entanglement from nonclassical photon statistics

With a product state of the form \({{\rho}_{\rm in} = {\rho}_{a} \otimes |0 \rangle_b {_b} \langle 0|}\) as input to a beam splitter, the output two-mode state ρ _out is shown to be negative under partial transpose (NPT) whenever the photon number distribution (PND) statistics { p(n _a ) } associated with the possibly mixed state ρ _a of the input a-mode is antibunched or otherwise nonclassical, i.e., whenever { p(n _a ) } fails to respect any one of an infinite sequence of necessary and sufficient classicality conditions. Negativity under partial transpose turns out to be a necessary and sufficient test for entanglement of ρ _out which is generically non-Gaussian. The output of a PND distribution is further shown to be distillable if any one of an infinite sequence of three term classicality conditions is violated.     

Fabrication of piezoelectric multilayer thin-film actuators

In this study, we fabricated multilayer ceramics (MLCs) composed of multilayered Pb(Zr,Ti)O₃ (PZT) piezoelectric thin films with internal electrodes and evaluated their dielectric and piezoelectric properties. The stack of PZT ferroelectric layers (550 nm) and SrRuO₃ (SRO, 80 nm) electrodes were alternatively deposited on Pt/Ti-coated silicon-on-insulator substrates by radio-frequency magnetron sputtering. The MLCs composed of one, three, and five PZT layers were fabricated by the alternate sputtering deposition of PZT ferroelectric layers and SRO electrodes through the movable shadow mask. The capacitances of MLCs were proportionally increased with the number of PZT layers, while their relative dielectric constants were almost same among the each MLC. The MLCs exhibited symmetric and saturated P–E hysteresis loops similar to the conventional PZT thin films. We estimated that the piezoelectric properties of MLCs by FEM simulation, and confirmed that the effective transverse piezoelectric coefficients (d _31,eff ) increased with the number of PZT layers. The piezoelectric coefficients calculated to be d _31,eff  = ?2964 pC/N at 25 PZT layers, which is much higher than those of conventional single-layer piezoelectric thin films.     

Study on microchannel flows with a sudden contraction–expansion at a wide range of Knudsen number using lattice Boltzmann method

Numerical simulations have been performed on the pressure-driven rarefied flow through channels with a sudden contraction–expansion of 2:1:2 using isothermal two and three-dimensional lattice Boltzmann method (LBM). In the LBM, a Bosanquet-type effective viscosity and a modified second-order slip boundary condition are used to account for the rarefaction effect on gas viscosity to cover the slip and transition flow regimes, that is, a wider range of Knudsen number. Firstly, the in-house LBM code is verified by comparing the computed pressure distribution and flow pattern with experimental ones measured by others. The verified code is then used to study the effects of the outlet Knudsen number Kn _o , driving pressure ratio P _i /P _o , and Reynolds number Re, respectively, varied in the ranges of 0.001–1.0, 1.15–5.0, and 0.02–120, on the pressure distributions and flow patterns as well as to document the differences between continuum and rarefied flows. Results are discussed in terms of the distributions of local pressure, Knudsen number, centerline velocity, and Mach number. The variations of flow patterns and vortex length with Kn _o and Re are also documented. Moreover, a critical Knudsen number is identified to be Kn _oc  = 0.1 below and above which the behaviors of nonlinear pressure profile and velocity distribution and the variations of vortex length with Re upstream and downstream of constriction are different from those of continuum flows.     

An integrated microfluidic system using mannose-binding lectin for bacteria isolation and biofilm-related gene detection

Molecular diagnosis of biofilm-related genes (BRGs) in common bacteria that cause periprosthetic joint infections may provide crucial information for clinicians. In this study, several BRGs, including ica, fnbA, and fnbB, were rapidly detected (within 1 h) with a new integrated microfluidic system. Mannose-binding lectin (MBL)-coated magnetic beads were used to isolate these bacteria, and on-chip nucleic acid amplification (polymerase chain reaction, PCR) was then performed to detect BRGs. Both eukaryotic and prokaryotic MBLs were able to isolate common bacterial strains, regardless of their antibiotic resistance, and limits of detection were as low as 3 and 9 CFU for methicillin-resistant Staphylococcus aureus and Escherichia coli, respectively, when using a universal 16S rRNA PCR assay for bacterial identification. It is worth noting that the entire process including bacteria isolation by using MBL-coated beads for sample pre-treatment, on-chip PCR, and fluorescent signal detection could be completed on an integrated microfluidic system within 1 h. This is the first time that an integrated microfluidic system capable of detecting BRGs by using MBL as a universal capturing probe was reported. This integrated microfluidic system might therefore prove useful for monitoring profiles of BRGs and give clinicians more clues for their clinical judgments in the near future.     

Cryptanalysis of an MOR cryptosystem based on a finite associative algebra基于有限结合代数的 MOR 公钥密码安全性分析

The Shor algorithm is effective for public-key cryptosystems based on an abelian group. At CRYPTO 2001, Paeng (2001) presented a MOR cryptosystem using a non-abelian group, which can be considered as a candidate scheme for post-quantum attack. This paper analyses the security of a MOR cryptosystem based on a finite associative algebra using a quantum algorithm. Specifically, let L be a finite associative algebra over a finite field F. Consider a homomorphism φ: Aut(L) → Aut(H)×Aut(I), where I is an ideal of L and H ? L/I. We compute dim Im(φ) and dim Ker(φ), and combine them by dim Aut(L) = dim Im(φ)+dim Ker(φ). We prove that Im(φ) = Stab_Comp(H,I)(μ + B²(H, I)) and Ker(φ) ? Z¹(H, I). Thus, we can obtain dim Im(φ), since the algorithm for the stabilizer is a standard algorithm among abelian hidden subgroup algorithms. In addition, Z¹(H, I) is equivalent to the solution space of the linear equation group over the Galois fields GF(p), and it is possible to obtain dim Ker(φ) by the enumeration theorem. Furthermore, we can obtain the dimension of the automorphism group Aut(L). When the map ? ∈ Aut(L), it is possible to effectively compute the cyclic group 〈?〉 and recover the private key a. Therefore, the MOR scheme is insecure when based on a finite associative algebra in quantum computation.     

Role of interface shape on the laminar flow through an array of superhydrophobic pillars

In this study, measurements of the pressure drop and the velocity vector fields through a regular array of superhydrophobic pillars were systematically taken to investigate the role of air–water interface shape on laminar drag reduction. A polydimethylsiloxane microfluidic channel was created with a regular array of apple-core-shaped and circular pillars bridging across the entire channel. Due to the shape and hydrophobicity of the apple-core-shaped pillars, air was trapped on the side of the pillars after filling the microchannel with water. The measurements were taken at a capillary number of Ca = 6.6 × 10^?5. The shape of the air–water interface trapped within the superhydrophobic apple-core-shaped pillars was systematically modified from concave to convex by changing the static pressure within the microchannel. The pressure drop through the microchannel containing the superhydrophobic apple-core-shaped pillars was found to be sensitive to the shape of the air–water interface. For static pressures which resulted in the apple-core-shaped superhydrophobic pillars having a circular cross section, D/D ₀ = 1, a drag reduction of 7% was measured as a result of slip along the air–water interface. At large static pressures, the interface was driven into the apple-core-shaped pillars, resulting in decrease in the effective size of the pillars and an increase in the effective spacing between pillars. When combined with a slip velocity measured to be 10% of the average velocity between the pillars, the result was a pressure drop reduction of 18% compared to the circular pillars at a non-dimensional interface diameter of D/D ₀ = 0.8. At low static pressures, the pressure drop increased significantly as the expanded air–water interface constricted flow through the array of pillars even as large interfacial slip velocity was maintained. At D/D ₀ = 1.1, for example, the pressure drop increased by 17% compared to the circular pillar. This drag increase was the result of an increased form drag due to a decrease in porosity and permeability of the pillar array and a decrease in the skin friction drag due to the presence of the air–water interface. For D/D ₀ = 1.1, the slip velocity was measured to be 45% of the average streamwise velocity between the pillars. When compared to no-slip pillars of similar shape, the drag reduction was found to increase from 6 to 9% with increasing convex curvature of the air–water interface.     

Guaranteed strategies for escaping encirclement

This paper considers a conflict situation on the plane as follows. A fast evader E has to break out the encirclement of slow pursuers P _{j1,...,j n} = {P _j1,..., P _jn }, n ≥ 3, with a miss distance not smaller than r ≥ 0. First, we estimate the minimum guaranteed miss distance from E to a pursuer P _a , a ∈ {j ₁,..., j _n }, when the former moves along a given straight line. Then the obtained results are used to calculate the guaranteed estimates to a group of two pursuers P _b,c = {P _b , P _c }, b, c ∈ {j ₁,..., j _n }, b ≠ c, when E maneuvers by crossing the rectilinear segment P _b P _c , and the state passes to the domain of the game space where E applies a strategy under which the miss distance to any of the pursuers is not decreased. In addition, we describe an approach to the games with a group of pursuers P _{j1,... jn} , n ≥ 3, in which E seeks to break out the encirclement by passing between two pursuers P _b and P _c , entering the domain of the game space where E can increase the miss distance to all pursuers by straight motion. By comparing the guaranteed miss distances with r for all alternatives b, c ∈ {j ₁,..., j _n }, b ≠ c, and a ? {b, c}, it is possible to choose the best alternative and also to extract the histories of the game in which the designed evasion strategies guarantee a safe break out from the encirclement.     

Interactive Restless Multi-armed Bandit Game and Swarm Intelligence Effect

We obtain the conditions for the emergence of the swarm intelligence effect in an interactive game of restless multi-armed bandit (rMAB). A player competes with multiple agents. Each bandit has a payoff that changes with a probability p _c per round. The agents and player choose one of three options: (1) Exploit (a good bandit), (2) Innovate (asocial learning for a good bandit among n _I randomly chosen bandits), and (3) Observe (social learning for a good bandit). Each agent has two parameters (c, p _obs ) to specify the decision: (i) c, the threshold value for Exploit, and (ii) p _obs , the probability for Observe in learning. The parameters (c, p _obs ) are uniformly distributed. We determine the optimal strategies for the player using complete knowledge about the rMAB. We show whether or not social or asocial learning is more optimal in the (p _c , n _I ) space and define the swarm intelligence effect. We conduct a laboratory experiment (67 subjects) and observe the swarm intelligence effect only if (p _c , n _I ) are chosen so that social learning is far more optimal than asocial learning.     

Deterministic lateral displacement (DLD) in the high Reynolds number regime: high-throughput and dynamic separation characteristics

Recent progress in the development of biosensors has created a demand for high-throughput sample preparation techniques that can be easily integrated into microfluidic or lab-on-a-chip platforms. One mechanism that may satisfy this demand is deterministic lateral displacement (DLD), which uses hydrodynamic forces to separate particles based on size. Numerous medically relevant cellular organisms, such as circulating tumor cells (10–15 µm) and red blood cells (6–8 µm), can be manipulated using microscale DLD devices. In general, these often-viscous samples require some form of dilution or other treatment prior to microfluidic transport, further increasing the need for high-throughput operation to compensate for the increased sample volume. However, high-throughput DLD devices will require a high flow rate, leading to an increase in Reynolds numbers (Re) much higher than those covered by existing studies for microscale (≤?100 µm) DLD devices. This study characterizes the separation performance for microscale DLD devices in the high-Re regime (10?<?Re?<?60) through numerical simulation and experimental validation. As Re increases, streamlines evolve and microvortices emerge in the wake of the pillars, resulting in a particle trajectory shift within the DLD array. This differs from previous DLD works, in that traditional models only account for streamlines that are characteristic of low-Re flow, with no consideration for the transformation of these streamlines with increasing Re. We have established a trend through numerical modeling, which agrees with our experimental findings, to serve as a guideline for microscale DLD performance in the high-Re regime. Finally, this new phenomenon could be exploited to design passive DLD devices with a dynamic separation range, controlled simply by adjusting the device flow rate.     

Least common container of tree pattern queries and its applications

Tree patterns represent important fragments of XPath. In this paper, we show that some classes \({\mathcal{C}}\) of tree patterns exhibit such a property that, given a finite number of compatible tree patterns \({P_1, \ldots, P_n\in \mathcal{C}}\), there exists another pattern P such that P ₁, . . . , P _n are all contained in P, and for any tree pattern \({Q\in \mathcal{C}}\), P ₁, . . . , P _n are all contained in Q if and only if P is contained in Q. We experimentally demonstrate that the pattern P is usually much smaller than P ₁, . . . , P _n combined together. Using the existence of P above, we show that testing whether a tree pattern, P, is contained in another, \({Q\in \mathcal{C}}\), under an acyclic schema graph G, can be reduced to testing whether P _G , a transformed version of P, is contained in Q without any schema graph, provided that the distinguished node of P is not labeled *. We then show that, under G, the maximal contained rewriting (MCR) of a tree pattern Q using a view V can be found by finding the MCR of Q using V _G without G, when there are no *-nodes on the distinguished path of V and no *-nodes in Q.     

Effects of topological changes in microchannel geometries on the asymmetric breakup of a droplet

Passive asymmetric breakups of a droplet could be done in many microchannels of various geometries. In order to study the effects of different geometries on the asymmetric breakup of a droplet, four types of asymmetric microchannels with the topological equivalence of geometry are designed, which are T-90, Y-120, Y-150, and I-180 microchannels. A three-dimensional volume of fluid multiphase model is employed to investigate the asymmetric rheological behaviors of a droplet numerically. Three regimes of rheological behaviors as a function of the capillary numbers Ca and the asymmetries As defined by As = (b1 ? b2)/(b1 + b2) (where b1 and b2 are the widths of two asymmetric sidearms) have been observed. A power law model based on three major factors (Ca, As and the initial volume ratio r ₀) is employed to describe the volume ratio of two daughter droplets. The analysis of pressure fields shows that the pressure gradient inside the droplet is one of the major factors causing the droplet translation during its asymmetric breakup. Besides the above similarities among various microchannels, the asymmetric breakup in them also have some slight differences as various geometries have different enhancement or constraint effects on the translation of the droplet and the cutting action of flows. It is disclosed that I-180 microchannel has the smallest critical capillary number, the shortest splitting time, and is hardest to generate satellite droplets.     

Error bounds for complementarity problems with tridiagonal nonlinear functions

In this paper we consider the complementarity problem NCP(f) with f(x) = Mx + φ(x), where M ∈ R ^n×n is a real matrix and φ is a so-called tridiagonal (nonlinear) mapping. This problem occurs, for example, if certain classes of free boundary problems are discretized. We compute error bounds for approximations \({\hat x}\) to a solution x* of the discretized problems. The error bounds are improved by an iterative method and can be made arbitrarily small. The ideas are illustrated by numerical experiments.     

On Some Optimization Problems for the Rényi Divergence

We consider the problem of determining the maximum and minimum of the Rényi divergence D_λ(P||Q) and D_λ(Q||P) for two probability distribution P and Q of discrete random variables X and Y provided that the probability distribution P and the parameter α of α-coupling between X and Y are fixed, i.e., provided that Pr{X = Y } = α.