In this paper, a class of FETI-DP preconditioners is developed for a fast solution of the linear system arising from staggered discontinuous Galerkin discretization of the two-dimensional Stokes equations. The discretization has been recently developed and has the distinctive advantages that it is optimally convergent and has a good local conservation property. In order to efficiently solve the linear system, two kinds of FETI-DP preconditioners, namely, lumped and Dirichlet preconditioners, are considered and analyzed. Scalable bounds C (H/h) and C (1+ log (H/h)) 2 are proved for the lumped and Dirichlet preconditioners, respectively, with the constant C depending on the infsup constant of the discrete spaces but independent of any mesh parameters. Here H/h stands for the number of elements across each subdomain. Numerical results are presented to confirm the theoretical estimates.

In this paper, gold ball wire bonding at low temperature using a high frequency transducer was evaluated. The substrates used were FR-4 laminates with two different gold-plated surface finishes: electrolytic and immersion gold-plated. Bonding temperatures of 120/spl deg/C, 80/spl deg/C and 40/spl deg/C were investigated with 1 mil fine pitch gold wire. Prior to wire bonding, the laminates and dice were plasma treated. The surfaces were analyzed prior to and after plasma treatment before wire bonding using XPS and AFM. Bonded areas were also analyzed using SEM. Design of experiment (DOE) techniques have been employed to optimize the bonding parameters at each temperature. The response of the DOE was evaluated by using bond shear and bond pull. The results show that bonding at low temperature is viable with the use of a high frequency transducer wire bonder.

Open quantum walks (also known as open quantum random walks) are quantum analogs of classical Markov chains in probability theory, and have potential application in quan- tum information and quantum computation. Quantum Bernoulli noises are annihilation and creation operators acting on Bernoulli functionals, and can be used as the environ- ment of an open quantum system. In this paper, by using quantum Bernoulli noises as the environment, we introduce an open quantum walk on a general higher-dimensional integer lattice. We obtain a quantum channel representation of the walk, which shows that the walk is indeed an open quantum walk. We prove that all the states of the walk are separable provided its initial state is separable. We also prove that, for some initial states, the walk has a limit probability distribution of higher-dimensional Gauss type. Finally we show links between the walk and a unitary quantum walk recently introduced in terms of quantum Bernoulli noises.

Resolution Matrix Semantics (RMS) introduces a novel truth-value-based framework for modal logic, providing a substantive alternative to Kripke’s relational semantics of possible worlds. Drawing inspiration from Y. Ivlev’s substantive semantics, RMS utilizes a 4-valued structure—necessary truth (tn), contingent truth (tc), contingent false (fc), and necessary false (fn)—augmented by indeterminate values (t, f, t/f) to define modal systems Km, KDm, KTm, S4m, and S5m, analogous to Kripke’s K, KD, T, S4, and S5. By directly assigning determined and indeterminate truth values via an interpretation function, RMS validates formulas without relying on accessibility relations, as demonstrated through soundness and completeness proofs and a tailored tableau method. The framework’s versatility extends to applications in deontic logic, artificial intelligence, and quantum computing, enabling context-dependent reasoning with computational efficiency. RMS thus bridges philosophical logic and practical domains, offering a truth-centric perspective on modal reasoning’s complexities.

We observe that some self-similar measures defined by finite or infinite iterated function systems with overlaps satisfy certain "bounded measure type condition", which allows us to extract useful measure-theoretic properties of iterates of the measure. We develop a technique to obtain a closed formula for the spectral dimension of the Laplacian defined by self-similar measure satisfying this condition. For Laplacians defined by fractal measures with overlaps, spectral dimension has been obtained earlier only for a small class of one-dimensional self-similar measures satisfying Strichartz second-order self-similar identities. The main technique we use relies on the vector-valued renewal theorem proved by Lau, Wang and Chu.