检索结果-南通市图书馆

A proof system of the CaIT calculus

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2024年第2期18卷 123-137页

作者： Ningning CHEN Huibiao ZHU shanghai key laboratory of Trustworthy computing East China Normal UniversityShanghai 200062China

The Internet of Things(IoT)can realize the interconnection of people,machines,and things anytime,*** of the existing research mainly focuses on the practical applications of IoT,and there is a lack of research on modeling and reasoning about IoT systems from the perspective of formal ***,the Calculus of the Internet of Things(CaIT)has been proposed to specify and analyze IoT systems before the actual implementation,which can effectively improve development efficiency,and enhance system quality and *** verify the correctness of IoT systems described by CaIT,this paper presents a proof system for CaIT,in which specifications and verifications are based on the extended Hoare Logic with ***,we explore the cooperation between isolated proofs to validate the postconditions of the communication actions occurring in these proofs,with a particular focus on broadcast *** also demonstrate the soundness of our proof system.A simple“smart home”is given to illustrate the availability of our proof system.

关键词： Internet of Things(loT) Calculus of the Internet of Things(CalT) extended hoare logic cooperation smart home

The spectrum and stability of travelling pulses in a coupled FitzHugh-Nagumo equation

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China Mathematics 2024年第5期67卷 975-1010页

作者： Qi Qiao Xiang Zhang School of Mathematical Sciences Shanghai Jiao Tong UniversityShanghai 200240China key laboratory of scientific and Engineering computing(Ministry of Education) and Shanghai Frontier Science Center of Modern Analysis(CMA-Shanghai)Shanghai Jiao Tong UniversityShanghai 200240China

For a coupled slow-fast FitzHugh-Nagumo(FHN)equation derived from a reaction-diffusionmechanics(RDM)model,Holzer et al.(2013)studied the existence and stability of the travelling pulse,which consists of two fast orbit arcs and two slow ones,where one fast segment passes the unique fold point with algebraic decreasing and two slow ones follow normally hyperbolic critical curve *** and Zhang(2021)obtained the existence of the travelling pulse,whose two fast orbit arcs both exponentially decrease,and one of the slow orbit arcs could be normally hyperbolic or not at the ***,we characterize both the nonlinear and spectral stability of this travelling pulse.

关键词： coupled FitzHugh-Nagumo equation singular perturbation travelling pulse spectrum nonlinear stability spectral stability

Partially-hiding functional encryption for degree-2 polynomials with fine-grained access control

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2024年第3期18卷 231-233页

作者： Haifeng QIAN Cheng LIN Qiaohan CHU Jie CHEN shanghai key laboratory of Trustworthy computing Software Engineering InstituteEast China Normal UniversityShanghai 200062China

1 Introduction Boneh et al.[1]first systematically introduce the concept of Functional Encryption(FE)which overcomes all-or-nothing limitation of traditional public key ***,FE hides a potential problem:even if the secret key is obtained legitimately,once it is released,it can be used *** leads to that the secret key may leak information *** deal with this problem and make FE more practical,Abdalla et al.[2]recently constructed inner-product FE(IPFE)with fine-grained access control achieving strong security guarantees under standard assumptions.

关键词： grain Encryption encryption

Decoupled deep hough voting for point cloud registration

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2024年第2期18卷 147-155页

作者： Mingzhi YUAN Kexue FU Zhihao LI Manning WANG Digital Medical Research Center School of Basic Medical SciencesFudan UniversityShanghai 200032China shanghai key laboratory of Medical Image computing and Computer Assisted Intervention Shanghai 200032China

Estimating rigid transformation using noisy correspondences is critical to feature-based point cloud ***,a series of studies have attempted to combine traditional robust model fitting with deep *** them,DHVR proposed a hough voting-based method,achieving new state-of-the-art ***,we find voting on rotation and translation simultaneously hinders achieving better ***,we proposed a new hough voting-based method,which decouples rotation and translation ***,we first utilize hough voting and a neural network to estimate *** based on good initialization on rotation,we can easily obtain accurate rigid *** experiments on 3DMatch and 3DLoMatch datasets show that our method achieves comparable performances over the state-of-the-art *** further demonstrate the generalization of our method by experimenting on KITTI dataset.

关键词： point cloud registration robust model fitting deep learning hough voting

An oscillation-free Hermite WENO scheme for hyperbolic conservation laws

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China Mathematics 2024年第2期67卷 431-454页

作者： Zhuang Zhao Jianxian Qiu School of Mathematical Sciences and Institute of Natural Sciences Shanghai Jiao Tong UniversityShanghai 200240China School of Mathematical Sciences and Fujian Provincial key laboratory of Mathematical Modeling and High-Performance scientific computing Xiamen UniversityXiamen 361005China

In this paper, the sixth-order oscillation-free Hermite weighted essentially non-oscillatory (OFHWENO) scheme is proposed for hyperbolic conservation laws on structured meshes, where the zeroth- andfirst-order moments are the variables for the governing equations. The main difference from other HWENOschemes existing in the literature is that we add high-order numerical damping terms in the first-order momentequations to control spurious oscillations for the OF-HWENO scheme. The OF-HWENO scheme not only canachieve the designed optimal numerical order, but also can be easily implemented as we use only one set ofstencils in the reconstruction procedure and the same reconstructed polynomials are applied for the zeroth- andfirst-order moment equations. In order to obtain the adaptive order resolution when facing discontinuities, atransition polynomial is added in the reconstruction, where the associated linear weights can also be any positivenumbers as long as their summation equals one. In addition, the OF-HWENO scheme still keeps compactnessas only immediate neighbor values are needed in the space discretization. Some benchmark numerical tests areperformed to illustrate the high-order accuracy, high resolution and robustness of the proposed scheme.

关键词： Hermite WENO scheme hyperbolic conservation laws oscillation-free adaptive order discontinuous Galerkin method

Synthesis of Core-shell ZSM-5@ Ordered Mesoporous Silica by Tetradecylamine Surfactant

在线全文

学校读者我要写书评

暂无评论

Journal of Wuhan University of Technology(Materials Science) 2024年第2期39卷 332-336页

作者：马扩彦 ZHAO Pengxian YI Hongyu 俞海军 ZHOU Moxi ZHANG Lingling LIU Yupu Chongqing key laboratory of scientific Utilization of Tobacco Resource Chongqing 400060China Department of Chemistry Laboratory of Advanced MaterialsFudan UniversityShanghai 200433China

A core-shell composite consisting of ZSM-5 zeolite as the core and ordered mesoporous silica as the shell was prepared by a surfactant-controlled sol-gel process and using tetradecylamine(TDA) as the template and Tetraethylorthosilicate(TEOS) as the silica *** pores of the silica shell were found to be ordered and perpendicular to the crystal faces of the zeolite *** thickness of the shell in the coreshell structured composite can be adjusted in the range of 20-90 nm,while the surface morphology and the pore size distribution were modified by changing the mass ratio of TEOS to *** composite molecular sieves have higher surface area for capturing molecules than ZSM-5,and with the increase of mesoporous shell layer,the ZSM-5@SiO_(2)-x composites show stronger adsorption capacity of ***,when the shell thickness exceeds 90 nm,the adsorption capacity of butyraldehyde decreases *** composites have a huge potential for environmental applications.

关键词： core-shell composite tetradecylamine surfactant adsorption

An accurate and efficient space-time Galerkin spectral method for the subdiffusion equation

在线全文

学校读者我要写书评

暂无评论

Science China Mathematics 2024年第10期67卷 2387-2408页

作者： Wei Zeng Chuanju Xu School of Mathematical Sciences and Fujian Provincial key laboratory of Mathematical Modeling and High Performance scientific computing Xiamen UniversityXiamen 361005China

In this paper, we design and analyze a space-time spectral method for the subdiffusion ***, we are facing two difficulties. The first is that the solutions of this equation are usually singular near the initial time. Consequently, traditional high-order numerical methods in time are inefficient. The second obstacle is that the resulting system of the space-time spectral approach is usually large and time-consuming to solve. We aim at overcoming the first difficulty by proposing a novel approach in time, which is based on variable transformation techniques. Suitable ψ-fractional Sobolev spaces and a new variational framework are introduced to establish the well-posedness of the associated variational problem. This allows us to construct our space-time spectral method using a combination of temporal generalized Jacobi polynomials(GJPs) and spatial Legendre polynomials. For the second difficulty, we propose a fast algorithm to effectively solve the resulting linear system. The fast algorithm makes use of a matrix diagonalization in space and QZ decomposition in time. Our analysis and numerical experiments show that the proposed method is exponentially convergent with respect to the polynomial degrees in both space and time directions, even though the exact solution has very limited regularity.

关键词： subdiffusion equations variable transformation Ψ-Sobolev spaces well-posedness space-time Galerkin spectral method error estimate fast algorithm

Global Solvability for a Predator-Prey Model with Prey-Taxis and Rotational Flux Terms

在线全文

学校读者我要写书评

暂无评论

Chinese Annals of Mathematics,Series B 2024年第2期45卷 297-318页

作者： Guoqiang REN Bin LIU School of Mathematics and Statistics Huazhong University of Science and Technology Hubei key laboratory of Engineering Modeling and scientific computing Huazhong Universityof Science and Technology

In this paper the author investigates the following predator-prey model with prey-taxis and rotational?ux terms■in a bounded domain with smooth *** presents the global existence of generalized solutions to the model... 详细信息

关键词： Predator-prey Prey-taxis Giopal existence Kotational flnux

EMPSI:Efficient multiparty private set intersection(with cardinality)

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2024年第1期18卷 199-213页

作者： Yunbo YANG Xiaolei DONG Zhenfu CAO Jiachen SHEN Ruofan LI Yihao YANG Shangmin DOU shanghai key laboratory of Trustworthy computing East China Normal UniversityShanghai 200062China Kunyao Academy of shanghai Kunyao Network Technology Co. Ltd.Shanghai 201203China PwC US Advisory shanghai AC Shanghai 200233China

Multiparty private set intersection(PSI)allows several parties,each holding a set of elements,to jointly compute the intersection without leaking any additional *** the development of cloud computing,PSI has a wide range of applications in privacy ***,it is complex to build an efficient and reliable scheme to protect user *** address this issue,we propose EMPSI,an efficient PSI(with cardinality)protocol in a multiparty *** avoids using heavy cryptographic primitives(mainly rely on symmetric-key encryption)to achieve better *** addition,both PSI and PSI with the cardinality of EMPSI are secure against semi-honest adversaries and allow any number of colluding clients(at least one honest client).We also do experiments to compare EMPSI with some state-of-the-art *** experimental results show that proposed EMPSI(-CA)has better performance and is scalable in the number of clients and the set size.

关键词： intersection cardinal primitive