Veitch diagram plotter simplifies Boolean functions

This device for simplifying the plotting of a Veitch diagram consists of several overlays for blocking out the unwanted squares. This method of plotting the various input combinations to a computer is used in conjunction with the Boolean functions

Twisting commutative algebraic groups

If $V$ is a commutative algebraic group over a field $k$, $O$ is a commutative ring that acts on $V$, and $I$ is a finitely generated free $O$-module with a right action of the absolute Galois group of $k$, then there is a commutative algebraic group $I \otimes_O V$ over $k$, which is a twist of a power of $V$. These group varieties have applications to cryptography (in the cases of abelian varieties and algebraic tori over finite fields) and to the arithmetic of abelian varieties over number fields. For purposes of such applications we devote this article to making explicit this tensor product construction and its basic properties.Comment: To appear in Journal of Algebra. Minor changes from original versio

Navier-Stokes calculations with a coupled strongly implicit method. Part 2: Spline solutions

A coupled strongly implicit method is combined with a deferred-corrector spline solver for the vorticity-stream function form of the Navier-Stokes equation. Solutions for cavity, channel and cylinder flows are obtained with the fourth-order spline 4 procedure. The strongly coupled spline corrector method converges as rapidly as the finite difference calculations and also allows for arbitrary large time increments for the Reynolds numbers considered. In some cases fourth-order smoothing or filtering is required in order to suppress high frequency oscillations

On elliptic curves with an isogeny of degree 7

We show that if $E$ is an elliptic curve over $\mathbf{Q}$ with a $\mathbf{Q}$-rational isogeny of degree 7, then the image of the 7-adic Galois representation attached to $E$ is as large as allowed by the isogeny, except for the curves with complex multiplication by $\mathbf{Q}(\sqrt{-7})$. The analogous result with 7 replaced by a prime $p > 7$ was proved by the first author in [7]. The present case $p = 7$ has additional interesting complications. We show that any exceptions correspond to the rational points on a certain curve of genus 12. We then use the method of Chabauty to show that the exceptions are exactly the curves with complex multiplication. As a by-product of one of the key steps in our proof, we determine exactly when there exist elliptic curves over an arbitrary field $k$ of characteristic not 7 with a $k$-rational isogeny of degree 7 and a specified Galois action on the kernel of the isogeny, and we give a parametric description of such curves.Comment: The revision gives a complete answer to the question considered in Version 1. Version 3 will appear in the American Journal of Mathematic

High-order numerical solutions using cubic splines

The cubic spline collocation procedure for the numerical solution of partial differential equations was reformulated so that the accuracy of the second-derivative approximation is improved and parallels that previously obtained for lower derivative terms. The final result is a numerical procedure having overall third-order accuracy for a nonuniform mesh and overall fourth-order accuracy for a uniform mesh. Application of the technique was made to the Burger's equation, to the flow around a linear corner, to the potential flow over a circular cylinder, and to boundary layer problems. The results confirmed the higher-order accuracy of the spline method and suggest that accurate solutions for more practical flow problems can be obtained with relatively coarse nonuniform meshes

Extra dimensions as a source of the electroweak model

The Higgs boson of the Standard model is described by a set of off-diagonal components of the multidimensional metric tensor, as well as the gauge fields. In the low-energy limit, the basic properties of the Higgs boson are reproduced, including the shape of the potential and interactions with the gauge fields of the electroweak part of the Standard model.Comment: 11 pages, revtex4. Some wording changed, misprints corrected, 1 reference adde

A simulation model of time-dependent plasma-spacecraft interactions

A plasma simulation code is presented that models the time-dependent plasma properties in the vicinity of a spherical, charged spacecraft. After showing agreement with analytic, steady-state theories and ATS-6 satellite data, the following three problems are treated: (1) transient pulses from photoemission at various emission temperatures and ambient plasma conditions, (2) spacecharge limited emission, and (3) simulated plasma oscillations in the long wavelength limit

Kinetic Voronoi Diagrams and Delaunay Triangulations under Polygonal Distance Functions

Let $P$ be a set of $n$ points and $Q$ a convex $k$-gon in ${\mathbb R}^2$. We analyze in detail the topological (or discrete) changes in the structure of the Voronoi diagram and the Delaunay triangulation of $P$, under the convex distance function defined by $Q$, as the points of $P$ move along prespecified continuous trajectories. Assuming that each point of $P$ moves along an algebraic trajectory of bounded degree, we establish an upper bound of $O(k^4n\lambda_r(n))$ on the number of topological changes experienced by the diagrams throughout the motion; here $\lambda_r(n)$ is the maximum length of an $(n,r)$-Davenport-Schinzel sequence, and $r$ is a constant depending on the algebraic degree of the motion of the points. Finally, we describe an algorithm for efficiently maintaining the above structures, using the kinetic data structure (KDS) framework

Secretion properties, clearance, and therapy in airway disease

Chronic airway diseases like cystic fibrosis, chronic bronchitis, asthma, diffuse panbronchiolitis, and bronchiectasis are all associated with chronic inflammation. The airway mucosa responds to infection and inflammation in part by surface mucous (goblet) cell and submucosal gland hyperplasia and hypertrophy with mucus hypersecretion. Products of inflammation including neutrophil derived DNA and filamentous actin, effete cells, bacteria, and cell debris all contribute to mucus purulence and, when this is expectorated it is called sputum. Mucus is usually cleared by ciliary movement, and sputum is cleared by cough. These airway diseases each are associated with the production of mucus and sputum with characteristic composition, polymer structure, and biophysical properties. These properties change with the progress of the disease making it possible to use sputum analysis to identify the potential cause and severity of airway diseases. This information has also been important for the development of effective mucoactive therapy to promote airway hygiene

A pressure flux-split technique for computation of inlet flow behavior

A method for calculating the flow field in aircraft engine inlets is presented. The phenomena of inlet unstart and restart are investigated. Solutions of the reduced Navier-Stokes (RNS) equations are obtained with a time consistent direct sparse matrix solver that computes the transient flow field both internal and external to the inlet. Time varying shocks and time varying recirculation regions can be efficiently analyzed. The code is quite general and is suitable for the computation of flow for a wide variety of geometries and over a wide range of Mach and Reynolds numbers