It is a routine task to convert a digital circuit to a system of polynomial equations over GF(2). A very well-studied set of tools called “SAT-solvers”, which solve Conjunctive Normal Form logicalsatisfiability problems, can be used to determine if two circuits are equivalent, as is commonly done in computer engineering. An interesting problem in intellectual property is to determine if two cir...

We consider solutions to the Navier-Stokes equations with Navier boundary conditions in a bounded domain Ω in R with a Cboundary Γ. Navier boundary conditions can be expressed in the form ω(v) = (2κ−α)v · τ and v ·n = 0 on Γ, where v is the velocity, ω(v) the vorticity, n a unit normal vector, τ a unit tangent vector, and α is in L∞(Γ). Such solutions have been considered in [2] and [3], and, i...

In this paper we introduce a novel technique for estimating surface normals from the four Stokes polarization parameters of specularly reflected light under a single spherical incident lighting condition that is either unpolarized or circularly polarized. We illustrate the practicality of our technique by estimating surface normals under uncontrolled outdoor illumination from just four observat...

We investigate magnetic field amplification in a turbulent velocity field with nonzero helicity, in the framework of the kinematic Kazantsev-Kraichnan model. We present the numerical solution of the model for the practically important case of Kolmogorov distribution of velocity fluctuations, with a large magnetic Reynolds number. We found that in contrast with the nonhelical case where growing ...

background the purpose of this study was to compare the mental health and daily stress in periodontal diseases and normal group. material and methods a causal comparative method was carried out. using the screening sampling method, the sample subjects were selected from 20 patients with periodontal diseases and 20 attendants of patient as normal group. the two groups were matched from age, sex,...

Fluid control methods often require surface velocities interpolated throughout the interior of a shape to use the velocity as a feedback force or as a boundary condition. Prior methods for interpolation in computer graphics — velocity extrapolation in the normal direction and potential flow — suffer from a common problem. They fail to capture the rotational components of the velocity field, alt...

In this paper we deal with some controllability problems for systems of the Navier– Stokes and Boussinesq kind with distributed controls supported in small sets. Our main aim is to control N-dimensional systems (N + 1 scalar unknowns in the case of the Navier–Stokes equations) with N − 1 scalar control functions. In a first step, we present some global Carleman estimates for suitable adjoint pr...

In this paper, we introduce a simple version of immersed interface method (IIM) for the Stokes flow with singular forces along an interface. The numerical method is based on applying the Taylor’s expansions along the normal direction and incorporating the solution and its normal derivative jumps into the finite difference approximations. The numerical results show that the scheme is second-orde...

In a recently published article [1], Thuburn and Woollings present a detailed analysis of the effect of the vertical discretization on the numerical representation of wave motion in the atmosphere. Among the schemes they analyzed, the ones that had the most accurate linear normal mode frequencies were not suited for preservation of discrete analogs of conservation properties. For example, the m...

the six-degree equations of flight in their classic form do not provide a proper physical perception due to a number of interferences. nor do they render visible the important role of attack angles. in this study, attempts have been made to develop a complete set of 3d acceleration equations from the equations of normal and tangential acceleration αn=vωv, αt=v ̇. for this purpose, a coordinate s...