检索结果-南通市图书馆

The Structures for the Loop-Witt Algebra

在线全文

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2012年第11期28卷 2329-2344页

作者： Xiao Min TANG zhuo zhang Department of Mathematics Heilongjiang University Department of Mathematics Heihe College

The loop-Witt algebra is the Lie algebra of the tensor product of the Witt algebra and the Laurent polynomial algebra. In this paper we study the universal central extension, derivations and automorphism group for the... 详细信息

关键词： Loop-Witt algebra universal central extension derivation automorphism group

Batroxobin inhibits astrocyte activation following nigrostriatal pathway injury

在线全文

学校读者我要写书评

暂无评论

Neural Regeneration Research 2021年第4期16卷 721-726页

作者： zhuo zhang Xue Bao Dan Li Department of Human Anatomy College of Basic Medical SciencesChina Medical UniversityShenyangLiaoning ProvinceChina

Batroxobin is a thrombin-like serine protease from the venom of the Bothrops atrox and Bothrops moojeni snake *** 1(Sirt1)has been shown to play an important role in neuroprotection after traumatic brain ***,its underlying mechanism of action remains poorly *** purpose of this study was to investigate whether the mechanism by which batroxobin participates in the activation of astrocytes is associated with *** models of nigrostriatal pathway injury were *** after modeling,mice were intraperitoneally administered 39 U/kg *** significantly reduced the expression of cleaved caspase-3 in both the substantia nigra and striatum,inhibited neuronal apoptosis,and promoted the recovery of rat locomotor *** changes coincided with a remarkable reduction in astrocyte *** also reduced Sirt1 expression and extracellular signal-regulated kinase activation in brain *** administration of the Sirt1-specific inhibitor EX527(5 mg/kg)30 minutes prior to injury could inhibit the abovementioned *** mouse astrocyte cultures,1 ng/mL batroxobin attenuated interleukin-1β-induced activation of astrocytes and extracellular signal-regulated ***527 could also inhibit the effects of *** findings suggest that batroxobin inhibits astrocyte activation after nigrostriatal pathway injury through the Sirt1 *** study was approved by the Animal Ethics Committee of China Medical University,China(approval ***2020037)on July 19,2015.

关键词： astrocyte brain central nervous system factor injury pathway

BIFER： a biphasic trace filter approach to scalable prediction of concurrency errors

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2015年第6期9卷 944-955页

作者： XiCHANG zhuo zhang Peng zhang Jianxin XUE Jianjun ZHAO Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai 200240 China Department of Software Engineering National University of Defense Technology Changsha 410073 China Department of Software Engineering Shanghai Second Polytechnic University Shanghai 201209 China

Predictive trace analysis （PTA）, a static trace analysis technique for concurrent programs, can offer power- ful capability support for finding concurrency errors unseen in a previous program execution. Existing PTA techniques always face considerable challenges in scaling to large traces which contain numerous critical events. One main reason is that an analyzed trace includes not only redundant memory accessing events and threads that cannot contribute to dis- covering any additional errors different from the found can- didate ones, but also many residual synchronization events which still affect PTA to check whether these candidate ones are feasible or not even after removing the redundant events. Removing them from the trace can significantly improve the scalability of PTA without affecting the quality of the PTA results. In this paper, we propose a biphasic trace filter ap- proach, BIFER in short, to filter these redundant events and residual events for improving the scalability of PTA to expose general concurrency errors. In addition, we design a model which indicates the lock history and the happens-before his- tory of each thread with two kinds of ways to achieve the efficient filtering. We implement a prototypical tool BIFER for Java programs on the basis of a predictive trace analysis framework. Experiments show that BIFER can improve the scalability of PTA during the process of analyzing all of the traces.

关键词： predictive trace analysis concurrency errors scalability

Super-biderivations of not-finitely graded Lie superalgebras related to generalized super-Virasoro algebras

在线全文

学校读者我要写书评

暂无评论

Frontiers of Mathematics in China 2020年第6期15卷 1295-1306页

作者： zhuo zhang Jixia YUAN Xiaomin TANG School of Mathematical Sciences Heilongjiang UniversityHarbin 150080China

We mainly study the super-biderivations of not-finitely graded Lie superalgebras related to generalized super-Virasoro *** particular,we prove that all super-biderivations of not-finitely graded Lie superalgebras rela... 详细信息

关键词： Lie superalgebra super-Virasoro algebras super-biderivation inner super-biderivations

Catalytic reductive dechlorination of p-chlorophenol in water using Ni/Fe nanoscale particles

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Environmental Sciences 2007年第3期19卷 362-366页

作者： zhang Wei-hua QUAN Xie zhang zhuo-yong College of Urban and Environmental Sciences Northeast Normal University Changchun 130024 China School of Environmental and Biological Science and Technology Dalian University of Technology Dalian 116023 China College of Chemistry Inner Mongolia University for the Nationalities Tongliao 028043 China

Nanoscale bimetallic Ni/Fe particles were synthesized from the reaction of sodium borohydride （NaBH4） with reduction of Ni^2＋ and Fe^2＋ in aqueous solution. The obtained Ni/Fe particles were characterized by TEM （transmission electron microscope）, XRD （X-ray diffractometer）, and N2-BET. The dechlorination activity of the Ni/Fe was investigated using p-chlorophenol （p-CP） as a probe agent. Results demonstrated that the nanoscale Ni/Fe could effectively dechlorinate p-CP at relatively low metal to solution ratio of 0.4 g/L （Ni 5 wt%）. The target with initial concentration ofp-CP 0.625 mmol/L was dechlorinted completely in 60 rain under ambient temperature and pressure. Factors affecting dechlorination efficiency, including reaction temperature, pH, Ni loading percentage over Fe, and metal to solution ratio, were investigated. The possible mechanism of dechlorination ofp-CP was proposed and discussed. The pseudo-first- order reaction took place on the surface of the Ni/Fe bimetallic particles, and the activation energy of the dechlorination reaction was determined to be 21.2 kJ/mol at the temperature rang of 287-313 K.

关键词： Ni/Fe bimetal nanoscale particles catalytic reduction p-CP dechlorination

ContextAug:model-domain failing test augmentation with contextual information

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2024年第2期18卷 43-60页

作者： zhuo zhang Jianxin XUE Deheng YANG Xiaoguang MAO School of Information Technology and Engineering Guangzhou College of CommerceGuangzhou 511363China School of Computer and Information Engineering Institute for Artificial IntelligenceShanghai Polytechnic UniversityShanghai 201209China College of Computer National University of Defense TechnologyChangsha 410073China

In the process of software development,the ability to localize faults is crucial for improving the efficiency of *** speaking,detecting and repairing errant behavior at an early stage of the development cycle considerably reduces costs and development *** have tried to utilize various methods to locate the faulty ***,failing test cases usually account for a small portion of the test suite,which inevitably leads to the class-imbalance phenomenon and hampers the effectiveness of fault ***,in this work,we propose a new fault localization approach named *** obtaining dynamic execution through test cases,ContextAug traces these executions to build an information model;subsequently,it constructs a failure context with propagation dependencies to intersect with new model-domain failing test samples synthesized by the minimum variability of the minority feature *** contrast to traditional test generation directly from the input domain,ContextAug seeks a new perspective to synthesize failing test samples from the model domain,which is much easier to augment test *** conducting empirical research on real large-sized programs with 13 state-of-the-art fault localization approaches,ContextAug could significantly improve fault localization effectiveness with up to 54.53%.Thus,ContextAug is verified as able to improve fault localization effectiveness.

关键词： context fault localization test cases

Identifying the limiting distribution by a general approach of Stein's method

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China Mathematics 2016年第12期59卷 2379-2392页

作者： SHAO Qi-Man zhang zhuo-Song Department of Statistics The Chinese University of Hong Kong

A general exchange pair approach is developed to identify the limiting distribution for any sequence of random variables, by calculating the conditional mean and the conditional second moments. The error of approximation is also studied. In particular, a Berry-Esseen type bound of O(n^(-3/4)) is obtained for the Curie-Weiss model at the critical temperature.

关键词： Stein's method exchangeable pair limiting distribution Berry-Esseen bounds Curie-Weiss model

A COMPACT FOURTH-ORDER FINITE DIFFERENCE SCHEME FOR THE IMPROVED BOUSSINESQ EQUATION WITH DAMPING TERMS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2016年第5期34卷 462-478页

作者： Fuqiang Lu Zhiyao Song zhuo zhang Key Laboratory of Virtual Geographic Environment (Nanjing Normal University) Ministry of Education Nanjing 210023 China State Key Laboratory Cultivation Base of Geographical Environment Evolution (Jiangsu Province) Nanjing 210023 China Jiangsu Center for Collaborative Innovation in Geographical Information Resource Development and Application Nanjing 210023 China

In this paper, a compact finite difference method is presented for solving the initial boundary value problems for the improved Boussinesq equation with damping terms. The fourth-order equation can be transformed into a first-order ordinary differential system, and then, the classical Pad4 approximation is used to discretize spatial derivative in the non- linear partial differential equations. The resulting coefficient matrix for the semi-discrete scheme is tri-diagonal and can be solved efficiently. In order to maintain the same order of convergence, the classical fourth-order Runge-Kutta method is the preferred method for explicit time integration. Soliton-type solutions are used to evaluate the accuracy of the method, and various numerical experiments are designed to test the different effects of the damping terms.

关键词： Compact finite difference method hnproved Boussinesq equation Stokesdamping Hydrodynamic damping Runge-Kutta method.

Coordination-assisted, transition-metal-catalyzed enantioselective desymmetric C–H functionalization

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Organic Chemistry Frontiers 2022年第5期9卷 1458-1484页

作者： Xin Yu zhuo-zhuo zhang Jun-Long Niu Bing-Feng Shi Department of Chemistry Zhejiang UniversityHangzhouZhejiang310027China School of Food and Biological Engineering Chengdu UniversityChengduSichuan610106China Green Catalysis Center College of ChemistryZhengzhou UniversityZhengzhou 450001China

Transition-metal-catalyzed asymmetric C–H functionalization has gradually emerged as a powerful tool for the creation of structural and chiral complexity in an atom-and step-economical *** nature of this strategy provides a variety of methodologies to overcome the limitation of enantioselective desym-metrization caused by the synthesis of preformed multifunctional symmetric substrates.

关键词： catalyzed symmetric enantioselective