检索结果-南通市图书馆

Multivariate form of Hermite sampling series

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Applied mathematics(A Journal of Chinese Universities) 2024年第2期39卷 253-265页

作者： Rashad M.Asharabi Department of mathematics College of Arts and SciencesNajran UniversityNajranSaudi Arabia

In this paper,we establish a new multivariate Hermite sampling series involving samples from the function itself and its mixed and non-mixed partial derivatives of arbitrary *** multivariate form of Hermite sampling will be valid for some classes of multivariate entire functions,satisfying certain growth *** will show that many known results included in Commun Korean Math Soc,2002,17:731-740,Turk J Math,2017,41:387-403 and Filomat,2020,34:3339-3347 are special cases of our ***,we estimate the truncation error of this sampling based on localized sampling without decay *** examples are also presented.

关键词： multidimensional sampling series sampling with partial derivatives contour integral truncation error

维普期刊数据库

Stability of the Phase Separation State for Compressible Navier-Stokes/Allen-Cahn System

在线全文

学校读者我要写书评

暂无评论

Acta Mathematicae Applicatae Sinica 2024年第1期40卷 45-74页

作者： Ya-zhou Chen Hakho Hong Xiao-ding Shi Department of mathematics College of Mathematics and PhysicsBeijing University of Chemical TechnologyBeijing100029China Institute of mathematics State Academy of SciencesPyongyangKorea

This paper is concerned with the large time behavior of the Cauchy problem for Navier-Stokes/AllenCahn system describing the interface motion of immiscible two-phase flow in 3-D. The existence and uniqueness of global solutions and the stability of the phase separation state are proved under the small initial perturbations. Moreover, the optimal time decay rates are obtained for higher-order spatial derivatives of density,velocity and phase. Our results imply that if the immiscible two-phase flow is initially located near the phase separation state, then under small perturbation conditions, the solution exists globally and decays algebraically to the complete separation state of the two-phase flow, that is, there will be no interface fracture, vacuum, shock wave, mass concentration at any time, and the interface thickness tends to zero as the time t → +∞.

关键词： Navier-Stokes/Allen-Cahn system existence uniqueness large time behavior decay rate

维普期刊数据库

A Hybrid SIR-Fuzzy Model for Epidemic Dynamics:A Numerical Study

在线全文

学校读者我要写书评

暂无评论

Computer Modeling in Engineering & sciences 2024年第6期139卷 3417-3434页

作者： Muhammad Shoaib Arif Kamaleldin Abodayeh Yasir Nawaz Department of mathematics and sciences College of Humanities and SciencesPrince Sultan UniversityRiyadh11586Saudi Arabia Department of mathematics Air UniversityIslamabad44000Pakistan

This study focuses on the urgent requirement for improved accuracy in diseasemodeling by introducing a newcomputational framework called the Hybrid SIR-Fuzzy *** integrating the traditional Susceptible-Infectious-Recovered(SIR)modelwith fuzzy logic,ourmethod effectively addresses the complex nature of epidemic dynamics by accurately accounting for uncertainties and imprecisions in both data and model *** main aim of this research is to provide a model for disease transmission using fuzzy theory,which can successfully address uncertainty in mathematical *** main emphasis is on the imprecise transmission rate parameter,utilizing a three-part description of its membership *** enhances the representation of disease processes with greater complexity and tackles the difficulties related to quantifying uncertainty in mathematical *** investigate equilibrium points for three separate scenarios and perform a comprehensive sensitivity analysis,providing insight into the complex correlation betweenmodel parameters and epidemic *** order to facilitate a quantitative analysis of the fuzzy model,we propose the implementation of a resilient numerical *** convergence study of the scheme demonstrates its trustworthiness,providing a conditionally positive solution,which represents a significant improvement compared to current forward Euler *** numerical findings demonstrate themodel’s effectiveness in accurately representing the dynamics of disease ***,when the mortality coefficient rises,both the susceptible and infected populations decrease,highlighting the model’s sensitivity to important epidemiological ***,there is a direct relationship between higher Holling type rate values and a decrease in the number of individuals who are infected,as well as an increase in the number of susceptible *** correlation offers a significant understanding of how many elements affect the con

关键词： Fuzzy-based model sensitivity equilibriumpoints proposed numerical scheme convergence and stability analysis

Critical observability of partially observed discrete event systems under cyber attacks

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information sciences) 2024年第2期67卷 333-334页

作者： Liyun TONG Jinling LIANG Yang LIU Department of mathematics School of SciencesHangzhou Dianzi University School of mathematics Southeast University college of mathematics and Computer Science Zhejiang Normal University

The discrete event system(DES) is a dynamic system driven by asynchronous/sudden events and has been widely used in many critical infrastructures, such as electric transportation networks and intelligent transportatio...

关键词：

ASYMPTOTIC THEORY FOR THE CIRCUIT ENVELOPE ANALYSIS

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Computational mathematics 2024年第4期42卷 955-978页

作者： Chunxiong Zheng Xianwei Wen Jinyu Zhang Zhenya Zhou college of mathematics and Systems Science Xinjiang UniversityUrumqi 830046China Department of Mathematical sciences Tsinghua UniversityBeijing 100084China Empyrean software Empyrean Technology Co.Ltd.Beijing 100102China

Asymptotic theory for the circuit envelope analysis is developed in this paper.A typical feature of circuit envelope analysis is the existence of two significantly distinct timescales:one is the fast timescale of carrier wave,and the other is the slow timescale of modulation *** first perform pro forma asymptotic analysis for both the driven and autonomous *** resorting to the Floquet theory of periodic operators,we make a rigorous justification for first-order asymptotic *** turns out that these asymptotic results are valid at least on the slow *** speed up the computation of asymptotic approximations,we propose a periodization technique,which renders the possibility of utilizing the NUFFT *** experiments are presented,and the results validate the theoretical findings.

关键词： Asymptotic analysis Circuit envelope analysis Floquet theory Singularly perturbed problem

Strong Linearizability Checking and Determination for Concurrent Objects

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Ruan Jian Xue Bao/Journal of software 2024年第9期35卷

作者： Wang, Chao Jia, Qiao-Wen Lü, Yi Wu, Peng Centre for Research and Innovation in software Engineering College of Computer and Information Science Southwest University Chongqing 400715 China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China University of Chinese Academy of sciences Beijing 100049 China

Linearizability is universally accepted as a correctness criterion for concurrent objects. However, it has been shown that linearizability cannot be adopted as a correctness criterion for concurrent objects with random sentences. Thus, Golab et al. proposed the concept of strong linearizability, which adds prefix preservation properties based on the linearizability definition and has more constraints for concurrent objects. The research on strong linearizability focuses on the feasibility of generating strongly linearizable objects with certain basic objects, while only a few studies are about checking and verification of strong linearizability. This study investigates strong linearizability from two aspects including the verification algorithm and approach for proving non-strong linearizability of concurrent objects. First, it divides strong linearizability into fixed effective points and pure help and proves that the notion of fixed effective points is an extension of that of fixed linearizability points. Then, two verification algorithms for strong linearizability are put forward. One algorithm is based on checking the fixed linearizability points, and the other is based on the fixed effective points. Finally, an approach is provided for proving that the concurrent objects violate strong linearizability, and it helps verify that the Herlihy&Wing queue, a single-reader single-write register, and a snapshot object violate strong linearizability. © 2024 Chinese Academy of sciences. All rights reserved.

关键词： concurrent object correctness criterion linearizability strong linearizability

Practical cloud storage auditing using serverless computing

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information sciences) 2024年第3期67卷 33-47页

作者： Fei CHEN Jianquan CAI Tao XIANG Xiaofeng LIAO college of Computer Science and software Engineering Shenzhen University college of Computer Science Chongqing University

Cloud storage auditing research is dedicated to solving the data integrity problem of outsourced storage on the cloud. In recent years, researchers have proposed various cloud storage auditing schemes using different techniques. While these studies are elegant in theory, they assume an ideal cloud storage model;that is, they assume that the cloud provides the storage and compute interfaces as required by the proposed schemes. However, this does not hold for mainstream cloud storage systems because these systems only provide read and write interfaces but not the compute interface. To bridge this gap, this work proposes a serverless computing-based cloud storage auditing system for existing mainstream cloud object storage. The proposed system leverages existing cloud storage auditing schemes as a basic building block and makes two adaptations. One is that we use the read interface of cloud object storage to support block data requests in a traditional cloud storage auditing scheme. Another is that we employ the serverless computing paradigm to support block data computation as traditionally required. Leveraging the characteristics of serverless computing, the proposed system realizes economical, pay-as-you-go cloud storage auditing. The proposed system also supports mainstream cloud storage upper layer applications(e.g., file preview) by not modifying the data formats when embedding authentication tags for later auditing. We prototyped and open-sourced the proposed system to a mainstream cloud service, i.e., Tencent Cloud. Experimental results show that the proposed system is efficient and promising for practical use. For 40 GB of data, auditing takes approximately 98 s using serverless computation. The economic cost is 120.48 CNY per year, of which serverless computing only accounts for 46%. In contrast, no existing studies reported cloud storage auditing results for real-world cloud services.

关键词： cloud storage auditing serverless computing object storage usability

同方期刊数据库

A buffer overflow detection and defense method based on RiSC-V instruction set extension

在线全文

学校读者我要写书评

暂无评论

Cybersecurity 2024年第2期7卷 28-43页

作者： Chang Liu Yan-Jun Wu Jing-Zheng Wu Chen Zhao Intelligent software Research Center Institute of SoftwareChinese Academy of SciencesBejingChina University of Chinese Academy of sciences BeijingChina State Key Laboratory of Computer Science Institute of SoftwareChinese Academy of SciencesBeijingChina

Buffer overflow poses a serious threat to the memory security of modern operating *** overwrites the con-tents of other memory areas by breaking through the buffer capacity limit,destroys the system execution environ-ment,and provides implementation space for various system attacks such as program control flow *** makes it a wide range of harms.A variety of security technologies have been proposed to deal with system security problems including buffer *** example,No eXecute(NX for short)is a memory management technology commonly used in Harvard *** can refuse the execution of code which residing in a specific memory,and can effectively suppress the abnormal impact of buffer overflow on control ***,in recent years,it has also been used in the field of system security,deriving a series of solutions based on NX technology,such as ExecShield,DEP,StackGuard,***,these security solutions often rely too much on the processor archi-tecture so that the protection coverage is insufficient and the accuracy is *** in the emerging system architecture field represented by RiSC-V,there is still a lack of effective solutions for buffer overflow *** the continuous rapid development of the system architecture,it is urgent to develop defense methods that are applicable to different system application environments and oriented to all executable memory spaces to meet the needs of system security ***,we propose BOP,A new system memory security design method based on RISC-V extended instructions,to build a RISC-V buffer overflow detection and defense system and deal with the buffer overflow threat in *** to this method,NX technology can be combined with program control flow analysis,and Nx bit mechanism can be used to manage the executability of memory space,so as to achieve a more granular detection and defense of buffer overflow attacks that may occur in RISC-V system

关键词： RISc-V Operating system security Buffer overflow Control flow hijacking Nx bit Xibop

THE BOUNDEDNESS OF OPERATORS ON WEIGHTED MULTI-PARAMETER LOCAL HARDY SPACES

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Acta Mathematica Scientia 2024年第1期44卷 386-404页

作者：丁卫汤彦朱月萍 School of sciences Nantong UniversityNantong226007China Department of mathematics Nantong Normal CollegeNantong226010China

Though atomic decomposition is a very useful tool for studying the boundedness on Hardy spaces for some sublinear operators,untill now,the boundedness of operators on weighted Hardy spaces in a multi-parameter setting has been established only by almost orthogonality *** this paper,we mainly establish the boundedness on weighted multi-parameter local Hardy spaces via atomic decomposition.

关键词： weighted multi-parameter local Hardy spaces atomic decomposition boundedness inhomogeneous Journéclass

维普期刊数据库