Stability and convergence analysis of high-order numerical schemes with DtN-type absorbing boundary conditions for nonlocal wave equations

The stability and convergence analysis of high-order numerical approximations for the one- and two-dimensional nonlocal wave equations on unbounded spatial domains are considered. We first use the quadrature-based finite difference schemes to discretize the spatially nonlocal operator, and apply the explicit difference scheme to approximate the temporal derivative to achieve a fully discrete infinity system. After that, we construct the Dirichlet-to-Neumann (DtN)-type absorbing boundary conditions (ABCs) to reduce the infinite discrete system into a finite discrete system. To do so, we first adopt the idea in [Du, Zhang and Zheng, \emph{Commun. Comput. Phys.}, 24(4):1049--1072, 2018 and Du, Han, Zhang and Zheng, \emph{SIAM J. Sci. Comp.}, 40(3):A1430--A1445, 2018] to derive the Dirichlet-to-Dirichlet (DtD)-type mappings for one- and two-dimensional cases, respectively. We then use the discrete nonlocal Green's first identity to achieve the discrete DtN-type mappings from the DtD-type mappings. The resulting DtN-type mappings make it possible to perform the stability and convergence analysis of the reduced problem. Numerical experiments are provided to demonstrate the accuracy and effectiveness of the proposed approach.Comment: 26 pages, 4 figure

Visible-light promoted atom transfer radical addition-elimination (ATRE) reaction for the synthesis of fluoroalkylated alkenes using DMA as electron-donor

Here, we describe a mild, catalyst-free and operationally-simple strategy for the direct fluoroalkylation of olefins driven by the photochemical activity of an electron donor-acceptor (EDA) complex between DMA and fluoroalkyl iodides. The significant advantages of this photochemical transformation are high efficiency, excellent functional group tolerance, and synthetic simplicity, thus providing a facile route for further application in pharmaceuticals and life sciences

La conmutación cognitiva afecta la selección de estrategia aritmética: Evidencia de patrones de mirada y medidas conductuales

Although many studies of cognitive switching have been conducted, little is known about whether and how cognitive switching affects individuals’ use of arithmetic strategies. We used estimation and numerical comparison tasks within the operand recognition paradigm and the choice/no-choice paradigm to explore the effects of cognitive switching on the process of arithmetic strategy selection. Results showed that individuals’ performance in the baseline task was superior to that in the switching task. Presentation mode and cognitive switching clearly influenced eye-gaze patterns during strategy selection, with longer fixation duration in the number presentation mode than in the clock presentation mode. Furthermore, the number of fixation was greater in the switching task than it was in the the baseline task. These results indicate that the effects of cognitive switching on arithmetic strategy selection are clearly constrained by the manner in which numbers are presented. Aunque se han realizado muchos estudios sobre el cambio cognitivo, se sabe poco acerca de si el cambio cognitivo afecta el uso de las estrategias aritméticas por parte de las personas y cómo lo hace. Utilizamos las tareas de estimación y comparación numérica dentro del paradigma de reconocimiento de operandos y el paradigma de elección / no elección para explorar los efectos del cambio cognitivo en el proceso de selección de estrategia aritmética. Los resultados mostraron que el rendimiento de los individuos en la tarea de referencia fue superior al de la tarea de cambio. El modo de presentación y la conmutación cognitiva influyeron claramente en los patrones de la mirada durante la selección de estrategia, con duraciones de fijación más largas en el modo de presentación numérica que en el modo de presentación de reloj. Además, el número de fijaciones fue mayor en la tarea de conmutación que en la tarea de línea de base. Estos resultados indican que los efectos del cambio cognitivo en la selección de la estrategia aritmética están claramente limitados por la forma en que se presentan los números

Three-Dimensional Distribution of Turbulent Mixing in the South China Sea*

A three-dimensional distribution of turbulent mixing in the South China Sea (SCS) is obtained for the first time, using the Gregg–Henyey–Polzin parameterization and hydrographic observations from 2005 to 2012. Results indicate that turbulent mixing generally increases with depth in the SCS, reaching the order of 10[superscript −2] m[superscript 2] s[superscript −1] at depth. In the horizontal direction, turbulence is more active in the northern SCS than in the south and is more active in the east than the west. Two mixing “hotspots” are identified in the bottom water of the Luzon Strait and Zhongsha Island Chain area, where diapycnal diffusivity values are around 3 × 10[superscript −2] m[superscript 2] s[superscript −1]. Potential mechanisms responsible for these spatial patterns are discussed, which include internal tide, bottom bathymetry, and near-inertial energy

Exception-aware Lifecycle Model Construction for Framework APIs

The implementation of complex software systems usually depends on low-level frameworks or third-party libraries. During their evolution, the APIs adding and removing behaviors may cause unexpected compatibility problems. So, precisely analyzing and constructing the framework/ library's API lifecycle model is of great importance. Existing works have proposed the API existence-changing model for defect detection, while not considering the influence of semantic changes in APIs. In some cases, developers will not remove or deprecate APIs but modify their semantics by adding, removing, or modifying their exception-thrown code, which may bring potential defects to upper-level code. Therefore, besides the API existence model, it is also necessary for developers to be concerned with the exception-related code evolution in APIs, which requires the construction of exception-aware API lifecycle models for framework/library projects. To achieve automatic exception-aware API lifecycle model construction, this paper adopts a static analysis technique to extract exception summary information in the framework API code and adopts a multi-step matching strategy to obtain the changing process of exceptions. Then, it generates exception-aware API lifecycle models for the given framework/library project. With this approach, the API lifecycle extraction tool, JavaExP, is implemented, which is based on Java bytecode analysis. Compared to the state-of-the-art tool, JavaExP achieves both a higher F1 score (+60%) and efficiency (+7x), whose precision of exception matching and changing results is 98%. Compared to the exception-unaware API lifecycle modeling on 60 versions, JavaExp can identify 18% times more API changes. Among the 75,433 APIs under analysis, 20% of APIs have changed their exception-throwing behavior at least once after API introduction, which may bring many hidden compatibility issues.Comment: in Chinese languag

Induction of PNAd and N-acetylglucosamine 6-O-sulfotransferases 1 and 2 in mouse collagen-induced arthritis

BACKGROUND: Leukocyte recruitment across blood vessels is fundamental to immune surveillance and inflammation. Lymphocyte homing to peripheral lymph nodes is mediated by the adhesion molecule, L-selectin, which binds to sulfated carbohydrate ligands on high endothelial venules (HEV). These glycoprotein ligands are collectively known as peripheral node addressin (PNAd), as defined by the function-blocking monoclonal antibody known as MECA-79. The sulfation of these ligands depends on the action of two HEV-expressed N-acetylglucosamine 6-O-sulfotransferases: GlcNAc6ST-2 and to a lesser degree GlcNAc6ST-1. Induction of PNAd has also been shown to occur in a number of human inflammatory diseases including rheumatoid arthritis (RA). RESULTS: In order to identify an animal model suitable for investigating the role of PNAd in chronic inflammation, we examined the expression of PNAd as well as GlcNAc6ST-1 and -2 in collagen-induced arthritis in mice. Here we show that PNAd is expressed in the vasculature of arthritic synovium in mice immunized with collagen but not in the normal synovium of control animals. This de novo expression of PNAd correlates strongly with induction of transcripts for both GlcNAc6ST-1 and GlcNAc6ST-2, as well as the expression of GlcNAc6ST-2 protein. CONCLUSION: Our results demonstrate that PNAd and the sulfotransferases GlcNAc6ST-1 and 2 are induced in mouse collagen-induced arthritis and suggest that PNAd antagonists or inhibitors of the enzymes may have therapeutic benefit in this widely-used mouse model of RA