A Cucker–Smale Flocking Model with the Hessian Communication Weight and Its First-Order Reduction

2022 ◽  
Vol 32 (2) ◽  
Author(s):  
Jeongho Kim
Keyword(s):  
Order Reduction ◽  
First Order

scholarly journals General domain circumscription and its first-order reduction

1996 ◽  
pp. 93-109
Author(s):  
Patrick Doherty ◽  
Witold Łukaszewicz ◽  
Andrzej Szałas
Keyword(s):  
Order Reduction ◽  
General Domain ◽  
First Order

scholarly journals On GLM curl cleaning for a first order reduction of the CCZ4 formulation of the Einstein field equations

2020 ◽  
Vol 404 ◽  
pp. 109088 ◽  
Author(s):  
Michael Dumbser ◽  
Francesco Fambri ◽  
Elena Gaburro ◽  
Anne Reinarz
Keyword(s):  
Order Reduction ◽  
Einstein Field Equations ◽  
Field Equations ◽  
First Order

Enhanced Biotransformation of Dinitrotoluene by Mediator-Functionalized Polypyrrole Composites

2012 ◽  
Vol 610-613 ◽  
pp. 129-132
Author(s):  
Jing Wang ◽  
Guang Fei Liu ◽  
Hong Lu ◽  
Ji Ti Zhou ◽  
Lihua Li
Keyword(s):  
Reduction Rate ◽  
Order Reduction ◽  
Water Soluble ◽  
Redox Mediators ◽  
Globular Structure ◽  
First Order ◽  
Pyrrole Monomer ◽  
Good Catalytic Activity ◽  
Secondary Contamination ◽  
Continuous Dosing

The continuous dosing and discharge of water soluble redox mediators such as biologically recalcitrant compounds will result in the secondary contamination. The immobilized redox mediator prepared by incorporation of anthraquinonedisulphon-ate (AQDS) during the electropolymerization of pyrrole monomer on active carbon felt (ACF), AQDS/PPy/ACF, was used for catalyzing bioreduction of 2,4-dinitrotoluene(2,4-DNT) in this study. The results showed that the morphology of the PPy films deposits on ACF are characterized by some globular structure; AQDS/PPy/ACF exhibited good catalytic activity and stability for 2,4-DNT, the enhanced reduction rates obtained in the incubations with AQDS/PPy/ACF was about 5 times that without AQDS/PPy/ACF, the corresponding first-order reduction rate constant k reached 0.045 h-1; 2,4-DNT was reduced to be 2,4-diaminotoluene via 2-amino-4-nitrotoluene and 4-amino-2-nitrotoluene in the system.

First-order Reduction Factors for the T1uࣹ hgJahn-Teller System*

1997 ◽  
Vol 200 (Part_1_2) ◽  
pp. 103-110 ◽  
Author(s):  
Q. C. Qiu ◽  
Y. M. Liu ◽  
C. A. Bates ◽  
J. L. Dunn
Keyword(s):  
Order Reduction ◽  
First Order ◽  
Reduction Factors

scholarly journals Program Extraction from Proofs of Weak Head Normalization

2005 ◽  
Vol 12 (12) ◽  
Author(s):  
Malgorzata Biernacka ◽  
Olivier Danvy ◽  
Kristian Støvring
Keyword(s):  
Lambda Calculus ◽  
Order Reduction ◽  
Object Language ◽  
Normal Order ◽  
Minimal Logic ◽  
Program Extraction ◽  
First Order ◽  
Typed Lambda Calculus

We formalize two proofs of weak head normalization for the simply typed lambda-calculus in first-order minimal logic: one for normal-order reduction, and one for applicative-order reduction in the object language. Subsequently we use Kreisel's modified realizability to extract evaluation algorithms from the proofs, following Berger; the proofs are based on Tait-style reducibility predicates, and hence the extracted algorithms are instances of (weak head) normalization by evaluation, as already identified by Coquand and Dybjer.

Method of Order Reduction for the High-Dimensional Convection-Diffusion-Reaction Equation with Robin Boundary Conditions Based on MQ RBF-FD

2019 ◽  
Vol 17 (08) ◽  
pp. 1950058 ◽  
Author(s):  
Jingwei Li ◽  
Zhiming Gao ◽  
Xinlong Feng ◽  
Yinnian He
Keyword(s):  
Order Reduction ◽  
Second Order ◽  
Diffusion Reaction ◽  
High Dimensional ◽  
Reaction Equation ◽  
Convection Diffusion ◽  
Discrete Scheme ◽  
First Order ◽  
Intermediate Variables ◽  
Robin Boundary

A novel method of order reduction is proposed to the high-dimensional convection-diffusion-reaction equation with Robin boundary condition based on the multiquadric radial basis function-generated finite difference method (MQ RBF-FD). The main motivation is to get not only a second-order accurate solution but also a second-order accurate gradient. Key to the proposed method is introducing the intermediate variables representing the first-order derivatives to reduce the original second-order problem into an equivalent system of first-order partial differential equations. Then a discrete scheme for the latter is constructed, in which MQ RBF-FD method is applied to approximate the first-order derivatives of the original variable at the center point with decoupled method. Moreover, we can obtain an equivalent discrete scheme about the original variable and intermediate variables which can be proven all second-order convergent, that is, the convergence rate of the gradient of solution is also second-order. Finally numerical examples are presented to show the efficiency and accuracy of the proposed method.

Sign in / Sign up

Export Citation Format

Share Document