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

International Conference on Dependable Systems and Networks (DSN)

作者： Yu Zhao Wenjie Xue Weijie Chen Weizhong Qiang Deqing Zou Hai Jin National Engineering Research Center for Big Data Technology and System Hubei Key Laboratory of Distributed System Security Hubei Engineering Research Center on Big Data Security School of Cyber Science and Engineering Huazhong University of Science and Technology Wuhan China Jinyinhu Laboratory Wuhan China National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China

ISBN: (数字)9798350341058

ISBN: (纸本)9798350341065

Over the past decade, various methods for detecting side-channel leakage have been proposed and proven to be effective against CPU side-channel attacks. These methods are valuable in assisting developers to identify and patch side-channel vulnerabilities. Nevertheless, recent research has revealed the feasibility of exploiting side-channel vulnerabilities to steal sensitive information from GPU applications, which are beyond the reach of previous side-channel detection methods. Therefore, in this paper, we conduct an in-depth examination of various GPU features and present Owl, a novel side-channel detection tool targeting CUDA applications on NVIDIA GPUs. Owl is designed to detect and locate side-channel leakage in various types of CUDA applications. When tracking the execution of CUDA applications, we design a hierarchical tracing scheme and extend the A-DCFG (Attributed Dynamic Control Flow Graph) to address the massively parallel execution in CUDA, ensuring Owl's detection scalability. After completing the initial assessment and filtering, we conduct statistical tests on the differences in program traces to determine whether they are indeed caused by input variations, subsequently facilitating the positioning of side-channel leaks. We evaluate Owl's capability to detect side-channel leaks by testing it on Libgpucrypto, PyTorch, and nvJPEG. Meanwhile, we verify that our solution effectively handles a large number of threads. Owl has successfully identified hundreds of leaks within these applications. To the best of our knowledge, we are the first to implement side-channel leakage detection for general CUDA applications.

关键词： Target tracking Statistical analysis Filtering Scalability Graphics processing units Side-channel attacks Feature extraction

来源：评论

学校读者我要写书评

暂无评论

Maxwell-Stefan theory based lattice Boltzmann model for diffusion in multicomponent mixtures

arXiv

引用

arXiv 2018年

作者： Chai, Zhenhua Guo, Xiuya Wang, Lei Shi, Baochang School of Mathematics and Statistics Huazhong University of Science and Technology Wuhan430074 China Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and Technology Wuhan430074 China School of Mathematics and Physics China University of Geosciences Wuhan430074 China School of Mathematics and Statistics Huazhong University of Science and Technology Wuhan430074 China

The phenomena of diffusion in multicomponent (more than two components) mixtures are very universal in both science and engineering, and from mathematical point of view, they are usually described by the Maxwell-Stefan (MS) based continuum equations. In this paper, we propose a multiple-relaxation-time lattice Boltzmann (LB) model for the mass diffusion in multicomponent mixtures, and also perform a Chapman-Enskog analysis to show that the MS based continuum equations can be correctly recovered from the developed LB model. In addition, considering the fact that the MS based continuum equations are just a diffusion type of partial differential equations, we can also adopt much simpler lattice structures to reduce the computational cost of present LB model. We then conduct some simulations to test this model, and find that the results are in good agreement with some available works. Besides, the reverse diffusion, osmotic diffusion and diffusion barrier phenomena are also captured. Finally, compared to the kinetic theory based LB models for multicomponent gas diffusion, the present model does not include any complicated interpolations, and its collision process can be still implemented locally. Therefore, the advantages of single-component LB method can also be preserved in present LB model. Copyright © 2018, The Authors. All rights reserved.

关键词： Mixtures

来源：评论

学校读者我要写书评

暂无评论

A Big Data based Cost Prediction Method for Remanufacturing End-of-Life Products

引用

Procedia CIRP 2018年 72卷 1362-1367页

作者： Zhouyang Ding Zhigang Jiang Ying Liu Yan Wang Congbo Li Hubei Key Laboratory of Mechanical Transmission and Manufacturing Engineering Wuhan University of Science & Technology Wuhan 430081 China Key Laboratory of Metallurgical Equipment and Control Technology Wuhan University of Science & Technology Wuhan 430081 China Institute of mechanical and manufacturing engineering School of Engineering Cardiff University Cardiff CF24 3AA Department of Computing Engineering and Mathematics University of Brighton Brighton BN2 4GJ United Kingdom State Key Laboratory of Mechanical Transmission Chongqing University Chongqing 400030 China

Remanufacturing is considered as an important industrial process to restore the performance and function of End-of-Life (EOL) products to a like-new state. In order to help enterprises effectively and precisely predict the cost of remanufacturing processes, a remanufacturing cost prediction model based on big data is developed. In this paper, a cost analysis framework is established by applying big data technologies to interpret the obtained data, identify the intricate relationship of obtained sensor data and its corresponding remanufacturing processes and associated costs. Then big data mining and particle swarm optimization Back Propagation (BP) neural network algorithm are utilized to implement the cost prediction. The application of presented model is verified by a case study, and the results demonstrates that the developed model can predict the cost of the remanufacturing accurately allowing early decision making for remanufacturability of the EOL products.

关键词： Remanufacturing Cost Prediction End-of-Life Products Big Data BP Neural Network

来源：评论

学校读者我要写书评

暂无评论

Phase-field-based lattice Boltzmann method for the transport of insoluble surfactant in two-phase flows

arXiv

引用

arXiv 2024年

作者： Zhan, Chengjie Liang, Hong Chai, Zhenhua Shi, Baochang School of Mathematics and Statistics Huazhong University of Science and Technology Wuhan430074 China Institute of Interdisciplinary Research for Mathematics and Applied Science Huazhong University of Science and Technology Wuhan430074 China Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and Technology Wuhan430074 China Department of Physics Hangzhou Dianzi University Hangzhou310018 China

In this work, we present a general second-order phase-field model for the transport of insoluble surfactant in incompressible two-phase flows. In this model, the second-order local Allen-Cahn equation is applied for interface capturing, a general form of the simple scalar transport equation [S. S. Jain, J. Comput. Phys. 515, 113277 (2024)] is adopted for interface-confined surfactant, and the consistent and conservative Navier-Stokes equations with the Marangoni force is used for fluid flows. To solve this model, we further developed a mesoscopic lattice Boltzmann (LB) method, in which the LB model for surfactant transport equation is proposed under the general LB framework for the convection-diffusion type equation, and it can correctly recover the governing equation for surfactant transport. The accuracy of the present LB method is tested by several benchmark problems, and the numerical results show it has a good performance for the transport of the insoluble surfactant in two-phase flows. © 2024, CC BY-NC-ND.

关键词： Navier Stokes equations

来源：评论

学校读者我要写书评

暂无评论

A Consistent and Conservative Axisymmetric Lattice Boltzmann Method for Multiphase Electro-Hydrodynamic Flows

SSRN

引用

SSRN 2023年

作者： Liu, Xi Chai, Zhenhua Shi, Baochang Yuan, Xiaolei School of Mathematics and Statistics Huazhong University of Science and Technology Wuhan430074 China Institute of Interdisciplinary Research for Mathematics and Applied Science Huazhong University of Science and Technology Wuhan430074 China Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and Technology Wuhan430074 China College of Mathematics and Information Science Hebei University Baoding071002 China

In this paper, a consistent and conservative mathematical model is first developed for multiphase electro-hydrodynamic (EHD) flows, which has some distinct features in the volume conservation, the consistency of reduction, and the consistency of mass-momentum transport. Then a two-relaxation-time axisymmetric lattice Boltzmann (LB) method is proposed for multiphase EHD flows, and the present LB method consists of three LB models, which are used to solve the axisymmetric reduction-consistent and conservative Allen-Cahn equation for the multiphase field, the axisymmetric Poisson equation for the electric potential, and the axisymmetric consistent and conservative Navier-Stokes equations for the flow field. Owing to the reduction-consistent property, the present LB method can be used to handle a set of M (1≤M≤N) EHD fluids in N-phase system. To test the capacity of the LB method, the deformations of a single two-phase droplet and a ternary-phase compound droplet under a uniform electric field are considered. It is found that different from a single droplet with two deformation modes, the compound droplet has four deformation modes, and additionally, the effects of the electric strength, the conductivity ratio and the permittivity ratio on the compound droplet are also investigated. Finally, the compound droplet in the quaternary-phase system is also explored, and there are eight deformation modes that have not been reported in the available literature. © 2023, The Authors. All rights reserved.

关键词： Navier Stokes equations

来源：评论

学校读者我要写书评

暂无评论

A stochastic pitchfork bifurcation in most probable phase portraits

arXiv

引用

arXiv 2018年

作者： Wang, Hui Chen, Xiaoli Duan, Jinqiao Center for Mathematical Sciences School of Mathematics and Statistics Hubei Key Laboratory for Engineering Modeling and Scientific Computing Huazhong University of Science and Technology Wuhan430074 China Department of Applied Mathematics Illinois Institute of Technology ChicagoIL60616 United States Center for Mathematical Sciences Huazhong University of Science and Technology Wuhan430074 China

We study stochastic bifurcation for a system under multiplicative stable Lévy noise (an important class of non-Gaussian noise), by examining the qualitative changes of equilibrium states in its most probable phase portraits. We have found some peculiar bifurcation phenomena in contrast to the deterministic counterpart: (i) When the non-Gaussianity parameter in Lévy noise varies, there is either one, two or none backward pitchfork type bifurcations;(ii) When a parameter in the vector field varies, there are two or three forward pitchfork bifurcations;(iii) The non-Gaussian Lévy noise clearly leads to fundamentally more complex bifurcation scenarios, since in the special case of Gaussian noise, there is only one pitchfork bifurcation which is reminiscent of the deterministic situation. Copyright © 2018, The Authors. All rights reserved.

关键词： Gaussian noise (electronic)

来源：评论

学校读者我要写书评

暂无评论

A Consistent and Conservative Axisymmetric Lattice Boltzmann Method for Multiphase Electro-Hydrodynamic Flows

SSRN

引用

SSRN 2024年

关键词： Navier Stokes equations

来源：评论

学校读者我要写书评

暂无评论

A parameter estimator based on Smoluchowski-Kramers approximation 1

arXiv

引用

arXiv 2018年

作者： He, Ziying Duan, Jinqiao Cheng, Xiujun Center for Mathematical Sciences School of Mathematics and Statistics Hubei Key Laboratory for Engineering Modeling and Scientific Computing Huazhong University of Sciences and Technology Wuhan430074 China Department of Applied Mathematics Illinois Institute of Technology ChicagoIL60616 United States

We devise a simplified parameter estimator for a second order stochastic differential equation by a first order system based on the Smoluchowski-Kramers approximation. We establish the consistency of the estimator by using Γ-convergence theory. We further illustrate our estimation method by an experimentally studied movement model of a colloidal particle immersed in water under conservative force and constant diffusion. Copyright © 2018, The Authors. All rights reserved.

关键词： Differential equations

来源：评论

学校读者我要写书评

暂无评论

A Uniform Solution to Common Algorithmic Problem by Tissue P Systems with Cell Division

A Uniform Solution to Common Algorithmic Problem by Tissue P...

引用

International Conference on Bio-Inspired computing: Theories and Applications, BICTA

作者： Yunyun Niu Linqiang Pan Mario J. Perez-Jimenez Key Laboratory on Image Processing and Intelligent Control Department of Control Science and Engineering Huazhong University of Science and Technology Wuhan Hubei China Research Group on Natural Computing Department of Computer Science and Artificial Intelligence University of Sevilla Sevilla Spain

Common algorithmic problem is an optimization problem, which has the nice property that several other NP-complete problems can be reduced to it in linear time. A tissue P system with cell division is a computing model which has two basic characters: intercellular communication and the ability of cell division. The ability of cell division allows us to obtain an exponential amount of cells in linear time and to design cellular solutions to computationally hard problems in polynomial time. We here present an effective solution to the common algorithmic decision problem using a family of recognizer tissue P systems with cell division.

关键词： Manganese Polynomials Biomembranes Computer science Bismuth Radiation detectors Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Set-valued state estimation of nonlinear discrete-time systems and its application to attack detection

引用

IEEE/CAA Journal of Automatica Sinica 2024年 1-11页

作者： Liu, Hao Han, Qing-Long Li, Yuzhe School of Automation Hubei University of Science and Technology Xianning 437100 China School of Science Computing and Engineering Technologies Swinburne University of Technology Melbourne VIC 3122 Australia State Key Laboratory of Synthetical Automation for Process Industries Northeastern University Shenyang 110004 China

This paper investigates set-valued state estimation of nonlinear systems with unknown-but-bounded (UBB) noises based on constrained polynomial zonotopes which is utilized to characterize non-convex sets. First, properties of constrained polynomial zonotopes are provided and the order reduction method is given to reduce the computational complexity. Then, the corresponding improved prediction-update algorithm is proposed so that it can be adapted to non-convex sets. Based on generalized intersection, the utilization of set-based estimation for attack detection is analyzed. Finally, an example is given to show the efficiency of our results. IEEE

关键词： Polynomials

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：