检索结果-内蒙古大学图书馆

Cooperative structure of Li/Ni mixing and stacking faults for achieving high-capacity Co-free Li-rich oxides

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2024年第8期95卷 315-324,I0007页

作者： Zhen Wu Yu-Han Zhang Hao Wang Zewen Liu Xudong Zhang Xin Dai Kunyang Zou Xiaoming Lou Xuechen Hu Lijing Ma Yan Liu Yongning Liu State Key Laboratory for Mechanical Behavior of Materials Xi’an Jiaotong UniversityXi’an 710049ShaanxiChina Qingdao Industrial Energy Storage Research Institute Qingdao Institute of Bioenergy and Bioprocess TechnologyChinese Academy of SciencesQingdao 266101ShandongChina Hefei Advanced Computing Center Operation Management Corp Ltd Hefei 230088AnhuiChina Center for High Performance Computing Network Information CenterXi’an Jiaotong UniversityXi’an 710049ShaanxiChina Wuhan Dongfeng Motor Corporation Ltd Wuhan 430056HubeiChina School of Materials Science and Intelligent Engineering Nanjing UniversitySuzhou 215163JiangsuChina Key Laboratory of MEMS of the Ministry of Education Southeast UniversityNanjing 210096JiangsuChina International Research Center for Renewable Energy State Key Laboratory of Multiphase Flow in Power Engineering Xi’an Jiaotong UniversityXi’an 710049ShaanxiChina

Co-free Li-rich layered oxides(LLOs)are emerging as promising cathode materials for Li-ion batteries due to their low cost and high ***,they commonly face severe structural instability and poor electrochemical activity,leading to diminished capacity and voltage ***,we introduce a Co-free LLO,Li_(1.167)Ni_(0.222)Mn_(0.611)O_(2)(Cf-L1),which features a cooperative structure of Li/Ni mixing and stacking *** structure regulates the crystal and electronic structures,resulting in a higher discharge capacity of 300.6 mA h g^(-1)and enhanced rate capability compared to the typical Co-free LLO,Li_(1.2)Ni_(0.2)Mn_(0.6)O_(2)(Cf-Ls).Density functional theory(DFT)indicates that Li/Ni mixing in LLOs leads to increased Li-O-Li configurations and higher anionic redox activities,while stacking faults further optimize the electronic interactions of transition metal(TM)3d and non-bonding O 2p ***,stacking faults accommodate lattice strain,improving electrochemical reversibility during charge/discharge cycles,as demonstrated by the in situ XRD of Cf-L1 showing less lattice evolution than *** study offers a structured approach to developing Co-free LLOs with enhanced capacity,voltage,rate capability,and cyclability,significantly impacting the advancement of the next-generation Li-ion batteries.

关键词： Co-free Li-rich oxides Li/Ni mixing Stacking faults Electronic structure

Towards Effective and Efficient Error Handling Code Fuzzing Based on Software Fault Injection 31

学校读者我要写书评

暂无评论

Towards Effective and Efficient Error Handling Code Fuzzing ...

31st IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024

作者： Chen, Kang Wen, Ming Jia, Haoxiang Wu, Rongxin Jin, Hai Wuhan430074 China Jin YinHu Laboratory Wuhan430074 China School of Informatics Xiamen University Xiamen361005 China School of Computer Science and Technology HUST Wuhan430074 China National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab China Hubei Engineering Research Center on Big Data Security Hubei Key Laboratory of Distributed System Security China Cluster and Grid Computing Lab China

ISBN: (纸本)9798350330663

Software systems often encounter various errors or exceptions in practice, and thus proper error handling code is essential to ensure the reliability of software systems. Unfortunately, error handling code is often bug-prone, while sufficiently testing them is challenging as such code often cannot be triggered under normal conditions. Motivated by this, recent studies have proposed to leverage software fault injection (SFI) based fuzzing to discover potential bugs in complicated error handling code. Despite the promising results achieved, their effectiveness and efficiency are still compromised in practice due to the huge search space of error sites, inadequate fuzzing guidance, and the overhead induced by context-sensitive SFI. To achieve effective and efficient testing of error handling code, this study presents AFL-FI, which first utilizes a similarity-based method to identify suspicious error sites, and then incorporates the idea of error site coverage to guide the fuzzing process. Finally, the design of lightweight context-sensitive SFI enables AFL-FI to execute test cases efficiently. We evaluate AFL-FI on eight large-scale open-source projects, and the results show that it can outperform existing state-of-the-art fuzzing tools significantly in terms of branch code coverage. More importantly, AFL-FI has discovered 13 previously unknown bugs, and all of them have been confirmed while 12 of them have been fixed. Besides, our evaluation also demonstrates that all the key designs of AFL-F I are effective that contribute significantly to its overall performance. © 2024 IEEE.

关键词： Errors

On the Effectiveness of Function-Level Vulnerability Detectors for Inter-Procedural Vulnerabilities 24

学校读者我要写书评

暂无评论

On the Effectiveness of Function-Level Vulnerability Detecto...

44th ACM/IEEE International Conference on Software engineering, ICSE 2024

作者： Li, Zhen Wang, Ning Zou, Deqing Li, Yating Zhang, Ruqian Xu, Shouhuai Zhang, Chao Jin, Hai Hubei Key Laboratory of Distributed System Security Hubei Engineering Research Center on Big Data Security Cluster and Grid Computing Lab National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Hong Kong Jin YinHu Laboratory Wuhan China School of Cyber Science and Engineering Huazhong University of Science and Technology Wuhan China University of Colorado Colorado Springs Department of Computer Science Colorado Springs Colorado United States Institute for Network Sciences and Cyberspace Tsinghua University Beijing China School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China

ISBN: (纸本)9798400702174

Software vulnerabilities are a major cyber threat and it is important to detect them. One important approach to detecting vulnerabilities is to use deep learning while treating a program function as a whole, known as function-level vulnerability detectors. However, the limitation of this approach is not understood. In this paper, we investigate its limitation in detecting one class of vulnerabilities known as inter-procedural vulnerabilities, where the to-be-patched statements and the vulnerability-triggering statements belong to different functions. For this purpose, we create the first Inter -Procedural Vulnerability Dataset (InterPVD) based on C/C++ open-source software, and we propose a tool dubbed VulTrigger for identifying vulnerability-triggering statements across functions. Experimental results show that VulTrigger can effectively identify vulnerability-triggering statements and inter-procedural vulnerabilities. Our findings include: (i) inter-procedural vulnerabilities are prevalent with an average of 2.8 inter-procedural layers;and (ii) function-level vulner-ability detectors are much less effective in detecting to-be-patched functions of inter-procedural vulnerabilities than detecting their counterparts of intra-procedural vulnerabilities. © 2024 ACM.

关键词： Open source software

Invariant foliations for stochastic dynamical systems with multiplicative stable Lévy noise

学校读者我要写书评

暂无评论

arXiv 2018年

作者： Chao, Ying Wei, Pingyuan Yuan, Shenglan School of Mathematics and Statistics Center for Mathematical Sciences Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Sciences and Technology Wuhan430074 China

This work deals with the dynamics of a class of stochastic dynamical systems with a multiplicative non-Gaussian Lévy noise. We first establish the existence of stable and unstable foliations for this kind of system via the Lyapunov-Perron method. Then we examine the geometric structure of the invariant foliations, and their relation with invariant manifolds. Finally, we illustrate our results in an example. Copyright © 2018, The Authors. All rights reserved.

关键词： Differential equations

HEISENBERG UNIQUENESS PAIRS AND THE WAVE EQUATION

学校读者我要写书评

暂无评论

arXiv 2023年

作者： Huang, Shanlin Yu, Jiaqi School of Mathematics and Statistics Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and Technology Wuhan430074 China School of Mathematics and Statistics Huazhong University of Science and Technology Wuhan430074 China

Given a curve Γ and a set Λ in the plane, the concept of the Heisenberg uniqueness pair (Γ, Λ) was first introduced by Hedenmalm and Motes-Rodrígez (Ann. of Math. 173(2),1507-1527, 2011, [11]) as a variant of the uncertainty principle for the Fourier transform. The main results in [11] concern the hyperbola Γ∊ = {(x1, x2) ∈ 2, x1x2 = ∊} (0 ≠ ∊ ∈ ) and lattice-crosses Λαβ = (α× {0}) ∪ ({0} × β) (α, β > 0), where it’s proved that (Γ∊, Λαβ) is a Heisenberg uniqueness pair if and only if αβ ≤ 1/|∊|. In this paper, we aim to study the endpoint case (i.e., ∊ = 0 in Γ∊) and investigate the following problem: what’s the minimal amount of information required on Λ (the zero set) to form a Heisenberg uniqueness pair? When Λ is contained in the union of two curves in the plane, we give characterizations in terms of some dynamical system conditions. The situation is quite different in higher dimensions and we obtain characterizations in the case that Λ is the union of two hyperplanes. Copyright © 2023, The Authors. All rights reserved.

关键词： Dynamical systems

GLOBAL SOLVABILITY IN A TWO-SPECIES CHEMOTAXIS SYSTEM WITH SIGNAL PRODUCTION

学校读者我要写书评

暂无评论

arXiv 2021年

作者： Ren, Guoqiang Xiang, Tian School of Mathematics and Statistics Huazhong University of Science and Technology Hubei Wuhan430074 China Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and Technology Hubei Wuhan430074 China Institute for Mathematical Sciences Renmin University of China Bejing100872 China

In this paper, we study the following prototypical two-species chemotaxis system with Lotka-Volterra competition and signal production: (Equation presented). We show that if (Equation presented). the associated Neumann initial-boundary value problem for (∗) admits a global generalized solutions in a bounded and smooth domain Ω ⊂ N (N ≥ 2) under merely integrable initial *** Codes 35A01, 35K57, 35Q92, 92C17 © 2021, CC BY.

关键词： Initial value problems

Density functions for the overdamped generalized Langevin equation and its Euler-Maruyama method: smoothness and convergence

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Dai, Xinjie Jin, Diancong School of Mathematics and Statistics Yunnan University Kunming650504 China School of Mathematics and Statistics Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and Technology Wuhan430074 China

This paper focuses on studying the convergence rate of the density function of the Euler- Maruyama (EM) method, when applied to the overdamped generalized Langevin equation with fractional noise which serves as an important model in many fields. Firstly, we give an improved upper bound estimate for the total variation distance between random variables by their Malliavin-Sobolev norms. Secondly, we establish the existence and smoothness of the density function for both the exact solution and the numerical one. Based on the above results, the convergence rate of the density function of the numerical solution is obtained, which relies on the regularity of the noise and kernel. This convergence result provides a powerful support for numerically capturing the statistical information of the exact solution through the EM method. Copyright © 2024, The Authors. All rights reserved.

关键词： Differential equations

GLOBAL SOLVABILITY AND ASYMPTOTICAL BEHAVIOR IN A TWO-SPECIES CHEMOTAXIS MODEL WITH SIGNAL ABSORPTION

学校读者我要写书评

暂无评论

arXiv 2021年

In this work, we study global existence, eventual smoothness and asymptotical behavior of positive solutions for the following two-species chemotaxis consumption model: ut = ∆u - χ1∇ · (u∇w), x ∈ Ω, t > 0, {{{{{{{ vt = ∆v - χ2∇ · (u∇w), x ∈ Ω, t > 0, wt = ∆w - (αu + βv)w, x ∈ Ω, t > 0, in a bounded smooth but not necessarily convex domain Ω ⊂ Rn(n = 2, 3, 4, 5) with nonnegative initial data u0, v0, w0 and homogeneous Neumann boundary data. Here, the parameters χ1, χ2 are positive and α, β are nonnegative. Under a smallness condition max{χ1, χ2}kw0kL∞ MSC Codes 35K59, 35K57 © 2021, CC BY.

关键词： Biochemistry

A generic transformation to enable optimal repair in MDS codes for distributed storage systems

学校读者我要写书评

暂无评论

A generic transformation to enable optimal repair in MDS cod...

作者： Li, Jie Tang, Xiaohu Tian, Chao Information Security and National Computing Grid Laboratory Southwest Jiaotong University Chengdu610031 China Hubei Key Laboratory of Applied Mathematics Faculty of Mathematics and Statistics Hubei University Wuhan430062 China Department of Electrical Engineering and Computer Science University of Tennessee KnoxvilleTN37996 United States Department of Electrical and Computer Engineering Texas A and M University College StationTX77843 United States

We propose a generic transformation that can convert any nonbinary (n=k{+}r,k)maximum distance separable (MDS) code into another (n,k) MDS code over the same field such that: 1) some arbitrarily chosen r nodes have the optimal repair bandwidth and the optimal rebuilding access;2) for the remaining k nodes, the normalized repair bandwidth and the normalized rebuilding access (over the file size) are preserved;and 3) the sub-packetization level is increased only by a factor of r. Two immediate applications of this generic transformation are then presented. The first application is that we can transform any nonbinary MDS code with the optimal repair bandwidth or the optimal rebuilding access for the systematic nodes only, into a new MDS code which possesses the corresponding repair optimality for all nodes. The second application is that by applying the transformation multiple times, any nonbinary (n,k) scalar MDS code can be converted into an (n,k) MDS code with the optimal repair bandwidth and the optimal rebuilding access for all nodes, or only a subset of nodes, whose sub-packetization level is also optimal. © 1963-2012 IEEE.

关键词： Repair