On the second-order temperature jump coefficient of a dilute gas

We use LVDSMC simulations to calculate the second-order temperature jump coefficient for a dilute gas whose temperature is governed by the Poisson equation with a constant forcing term. Both the hard sphere gas and the BGK model of the Boltzmann equation are considered. Our results show that the temperature jump coefficient is different from the well known linear and steady case where the temperature is governed by the homogeneous heat conduction (Laplace) equation

Volumetric formulation of lattice Boltzmann models with energy conservation

We analyze a volumetric formulation of lattice Boltzmann for compressible thermal fluid flows. The velocity set is chosen with the desired accuracy, based on the Gauss-Hermite quadrature procedure, and tested against controlled problems in bounded and unbounded fluids. The method allows the simulation of thermohydrodyamical problems without the need to preserve the exact space-filling nature of the velocity set, but still ensuring the exact conservation laws for density, momentum and energy. Issues related to boundary condition problems and improvements based on grid refinement are also investigated.Comment: 8 figure

A hierarchy of models related to nanoflows and surface diffusion

In last years a great interest was brought to molecular transport problems at nanoscales, such as surface diffusion or molecular flows in nano or sub-nano-channels. In a series of papers V. D. Borman, S. Y. Krylov, A. V. Prosyanov and J. J. M. Beenakker proposed to use kinetic theory in order to analyze the mechanisms that determine mobility of molecules in nanoscale channels. This approach proved to be remarkably useful to give new insight on these issues, such as density dependence of the diffusion coefficient. In this paper we revisit these works to derive the kinetic and diffusion models introduced by V. D. Borman, S. Y. Krylov, A. V. Prosyanov and J. J. M. Beenakker by using classical tools of kinetic theory such as scaling and systematic asymptotic analysis. Some results are extended to less restrictive hypothesis

Ku70 alleviates neurodegeneration in drosophila models of Huntington's disease

DNA damage accumulates in genome DNA during the long life of neurons, thus DNA damage repair is indispensable to keep normal functions of neurons. We previously reported that Ku70, a critical molecule for DNA double strand break (DSB) repair, is involved in the pathology of Huntington's disease (HD). Mutant huntingtin (Htt) impaired Ku70 function via direct interaction, and Ku70 supplementation recovered phenotypes of a mouse HD model. In this study, we generate multiple Drosophila HD models that express mutant huntingtin (Htt) in eye or motor neuron by different drivers and show various phenotypes. In such fly models, Ku70 co-expression recovers lifespan, locomotive activity and eye degeneration. In contrast, Ku70 reduction by heterozygous null mutation or siRNA-mediated knock down accelerates lifespan shortening and locomotion disability. These results collectively support that Ku70 is a critical mediator of the HD pathology and a candidate therapeutic target in HD

CAT: A Critical-Area-Targeted Test Set Modification Scheme for Reducing Launch Switching Activity in At-Speed Scan Testing

Reducing excessive launch switching activity (LSA) is now mandatory in at-speed scan testing for avoiding test-induced yield loss, and test set modification is preferable for this purpose. However, previous low-LSA test set modification methods may be ineffective since they are not targeted at reducing launch switching activity in the areas around long sensitized paths, which are spatially and temporally critical for test-induced yield loss. This paper proposes a novel CAT (Critical-Area-Targeted) low-LSA test modification scheme, which uses long sensitized paths to guide launch-safety checking, test relaxation, and X-filling. As a result, launch switching activity is reduced in a pinpoint manner, which is more effective for avoiding test-induced yield loss. Experimental results on industrial circuits demonstrate the advantage of the CAT scheme for reducing launch switching activity in at-speed scan testing.2009 Asian Test Symposium, 23-26 November 2009, Taichung, Taiwa

Formation and Propagation of Discontinuity for Boltzmann Equation in Non-Convex Domains

The formation and propagation of singularities for Boltzmann equation in bounded domains has been an important question in numerical studies as well as in theoretical studies. Consider the nonlinear Boltzmann solution near Maxwellians under in-flow, diffuse, or bounce-back boundary conditions. We demonstrate that discontinuity is created at the non-convex part of the grazing boundary, then propagates only along the forward characteristics inside the domain before it hits on the boundary again.Comment: 39 pages, 5 Figure