检索结果-南通市图书馆

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

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Categorizing methods for integrating machine learning with executable specifications

引用

science China(Information sciences) 2024年第1期67卷 5-19页

作者： David HAREL Raz YERUSHALMI Assaf MARRON Achiya ELYASAF Department of Computer science and Applied mathematics Weizmann Institute of Science Department of software and Information Systems Engineering Ben-Gurion University of the Negev

Deep learning(DL),which includes deep reinforcement learning(DRL),holds great promise for carrying out real-world tasks that human minds seem to cope with quite *** promise is already delivering extremely impressive results in a variety of ***,while DL-enabled systems achieve excellent performance,they are far from *** has been demonstrated,in several domains,that DL systems can err when they encounter cases they had not hitherto ***,the opacity of the produced agents makes it difficult to explain their behavior and ensure that they adhere to various requirements posed by human *** the other end of the software development spectrum of methods,behavioral programming(BP) facilitates orderly system development using self-standing executable modules aligned with how humans intuitively describe desired system *** this paper,we elaborate on different approaches for combining DRL with BP and,more generally,machine learning(ML) with executable specifications(ES).We begin by defining a framework for studying the various approaches,which can also be used to study new emerging approaches not covered *** then briefly review state-of-the-art approaches to integrating ML with ES,continue with a focus on DRL,and then present the merits of integrating ML with *** conclude with guidelines on how this categorization can be used in decision making in system development,and outline future research challenges.

关键词： machine learning artificial intelligence grey box learning domain knowledge rules behavioral programming deep reinforcement learning survey

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

A New Method for Solving Nonlinear Partial Differential Equations Based on Liquid Time-Constant Networks

引用

Journal of Systems science & Complexity 2024年第2期37卷 480-493页

作者： SUN Jiuyun DONG Huanhe FANG Yong college of mathematics and Systems science Shandong University of Science and TechnologyQingdao 266590China

In this paper,physics-informed liquid networks(PILNs)are proposed based on liquid time-constant networks(LTC)for solving nonlinear partial differential equations(PDEs).In this approach,the network state is controlled via ordinary differential equations(ODEs).The significant advantage is that neurons controlled by ODEs are more expressive compared to simple activation *** addition,the PILNs use difference schemes instead of automatic differentiation to construct the residuals of PDEs,which avoid information loss in the neighborhood of sampling *** this method draws on both the traveling wave method and physics-informed neural networks(PINNs),it has a better physical ***,the KdV equation and the nonlinear Schr¨odinger equation are solved to test the generalization ability of the *** the best of the authors’knowledge,this is the first deep learning method that uses ODEs to simulate the numerical solutions of PDEs.

关键词： Nonlinear partial differential equations numerical solutions physics-informed liquid networks physics-informed neural networks

来源：

维普期刊数据库

同方期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Quantum control based on three forms of Lyapunov functions

引用

Chinese Physics B 2024年第4期33卷 216-222页

作者：俞国慧杨洪礼 college of mathematics and Systems science Shandong University of Science and TechnologyQingdao 266590China

This paper introduces the quantum control of Lyapunov functions based on the state distance, the mean of imaginary quantities and state *** this paper, the specific control laws under the three forms are *** is analyzed by the La Salle invariance principle and the numerical simulation is carried out in a 2D test *** calculation process for the Lyapunov function is based on a combination of the average of virtual mechanical quantities, the particle swarm algorithm and a simulated annealing ***, a unified form of the control laws under the three forms is given.

关键词： quantum system Lyapunov function particle swarm optimization simulated annealing algorithms quantum control

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

DCVAE-adv:A Universal Adversarial Example Generation Method for White and Black Box Attacks

引用

Tsinghua science and Technology 2024年第2期29卷 430-446页

作者： Lei Xu Junhai Zhai college of mathematics and Information science Hebei UniversityBaoding 071002China

Deep neural network(DNN)has strong representation learning ability,but it is vulnerable and easy to be fooled by adversarial *** order to handle the vulnerability of DNN,many methods have been *** general idea of existing methods is to reduce the chance of DNN models being fooled by observing some designed adversarial examples,which are generated by adding perturbations to the original *** this paper,we propose a novel adversarial example generation method,called *** from the existing methods,DCVAE-adv constructs adversarial examples by mixing both explicit and implicit perturbations without using original ***,the proposed method can be applied to both white box and black box *** addition,in the inference stage,the adversarial examples can be generated without loading the original images into memory,which greatly reduces the memory *** compared DCVAE-adv with three most advanced adversarial attack algorithms:FGSM,AdvGAN,and AdvGAN++.The experimental results demonstrate that DCVAE-adv is superior to these state-of-the-art methods in terms of attack success rate and transfer ability for targeted *** code is available at https://***/xzforeverlove/DCVAE-adv.

关键词： deep neural network adversarial examples white box attack black box attack robustness

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Physical informed memory networks for solving PDEs:implementation and applications

引用

Communications in Theoretical Physics 2024年第2期76卷 51-61页

作者： Jiuyun Sun Huanhe Dong Yong Fang college of mathematics and Systems science Shandong University of Science and TechnologyQingdao 266590China

With the advent of physics informed neural networks(PINNs),deep learning has gained interest for solving nonlinear partial differential equations(PDEs)in recent *** this paper,physics informed memory networks(PIMNs)are proposed as a new approach to solving PDEs by using physical laws and dynamic behavior of *** the fully connected structure of the PINNs,the PIMNs construct the long-term dependence of the dynamics behavior with the help of the long short-term memory ***,the PDEs residuals are approximated using difference schemes in the form of convolution filter,which avoids information loss at the neighborhood of the sampling ***,the performance of the PIMNs is assessed by solving the Kd V equation and the nonlinear Schr?dinger equation,and the effects of difference schemes,boundary conditions,network structure and mesh size on the solutions are *** show that the PIMNs are insensitive to boundary conditions and have excellent solution accuracy even with only the initial conditions.

关键词： nonlinear partial differential equations physics informed memory networks physics informed neural networks numerical solution

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Dynamic Analysis of the Multi-state Reliability System with Priority Repair Discipline

引用

Acta Mathematicae Applicatae Sinica 2024年第3期40卷 665-694页

作者： Aihemaitijiang YUMAIER Ehmet KASIM college of mathematics and Systems science Xinjiang UniversityUrumqi 830046China

This paper considers a multi-state repairable system that is composed of two classes of components,one of which has a priority for ***,we investigate the well-posedenss of the system by applying the operator semigroup ***,using Greiner’s idea and the spectral properties of the corresponding operator,we obtain that the time-dependent solution of the system converges strongly to its steady-state solution.

关键词： multi-state system C0-semigroup Dirichlet operator well-posedness asymptotic behavior

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

On Hamiltonian Property of Cayley Digraphs

引用

Acta Mathematicae Applicatae Sinica 2024年第2期40卷 547-556页

作者： Fang DUAN Qiong-xiang HUANG School of mathematics science Xinjiang Normal UniversityUrumqi 830017China college of mathematics and Systems science Xinjiang UniversityUrumqi 830017China

Let G be a finite group generated by S and C(G,S) the Cayley digraphs of G with connection set *** this paper,we give some sufficient conditions for the existence of hamiltonian circuit in C(G,S),where G=Zm×H is a semiproduct of Zmby a subgroup H of *** particular,if m is a prime,then the Cayley digraph of G has a hamiltonian circuit unless G=Zm×*** addition,we introduce a new digraph operation,called φ-semiproduct of Γ1by Γ2and denoted by Γ1×Γ_φΓ2,in terms of mapping φ:V(Γ2)→{1,-1}.Furthermore we prove that C(Zm,{a})×_φ C(H,S) is also a Cayley digraph if φ is a homomorphism from H to{1,-1} ≤ Zm~*,which produces some classes of Cayley digraphs that have hamiltonian circuits.

关键词： Cayley digraphs hamiltonian circuit external semidirect product

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

On limit fractional Volterra hierarchies

引用

Communications in Theoretical Physics 2024年第1期76卷 7-16页

作者： Lixiang Zhang Chuanzhong Li School of mathematics and Statistics Ningbo UniversityNingbo315211China college of mathematics and Systems science Shandong University of Science and TechnologyQingdao266590China

For the limit fractional Volterra(LFV)hierarchy,we construct the n-fold Darboux transformation and the soliton ***,we extend the LFV hierarchy to the noncommutative LFV(NCLFV)hierarchy,and construct the Darboux transformation expressed by quasi determinant of the noncommutative ***,we establish the relationship between new and old solutions of the NCLFV ***,the quasi determinant solutions of the NCLFV hierarchy are obtained.

关键词： limit fractional Volterra hierarchy noncommutative limit fractional Volterra hierarchy Darboux transformation soliton solution quasi determinant solution

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

INVARIANTS-PRESERVING DU FORT-FRANKEL SCHEMES AND THEIR ANALYSES FOR NONLINEAR SCHRÖDINGER EQUATIONS WITH WAVE OPERATOR

引用

Journal of Computational mathematics 2024年第3期42卷 814-850页

作者： Dingwen Deng Zhijun Li college of mathematics and Information science Nanchang Hangkong UniversityNanchang 330063China

Du Fort-Frankel finite difference method(FDM)was firstly proposed for linear diffusion equations with periodic boundary conditions by Du Fort and Frankel in *** is an explicit and unconditionally von Neumann stable ***,there has been no research work on numerical solutions of nonlinear Schrödinger equations with wave operator by using Du Fort-Frankel-type finite difference methods(FDMs).In this study,a class of invariants-preserving Du Fort-Frankel-type FDMs are firstly proposed for one-dimensional(1D)and two-dimensional(2D)nonlinear Schrödinger equations with wave *** using the discrete energy method,it is shown that their solutions possess the discrete energy and mass conservative laws,and conditionally converge to exact solutions with an order of for ofο(T^(2)+h_(x)^(2)+(T/h_(x))^(2))1D problem and an order ofο(T^(2)+h_(x)^(2)+h_(Y)^(2)+(T/h_(X))^(2)+(T/h_(y))^(2))for 2D problem in ***,τdenotes time-step size,while,hx and hy represent spatial meshsizes in x-and y-directions,***,by introducing a stabilized term,a type of stabilized invariants-preserving Du Fort-Frankel-type FDMs are *** not only preserve the discrete energies and masses,but also own much better stability than original ***,numerical results demonstrate the theoretical analyses.

关键词： Nonlinear Schrodinger equations with wave operator Du Fort-Frankel finite difference methods Discrete energy and mass conservative laws Numerical convergence

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：