In this work, a diffuse-interface lattice Boltzmann method (DI-LBM) is proposed for the dissolution through nonlinear heterogeneous reaction. In this method, the sharp boundary between the fluid and solid phases is re...
详细信息
Most previousside-channel analysis-based reverse engineering (SCARE) methods were based on collision attack. However, the collision-based methods generally need noise-free traces and can hardly be verified by realisti...
详细信息
As the size of datasets and neural network models increases, automatic parallelization methods for models have become a research hotspot in recent years. The existing auto-parallel methods based on machine learning or...
As the size of datasets and neural network models increases, automatic parallelization methods for models have become a research hotspot in recent years. The existing auto-parallel methods based on machine learning or graph algorithms still have issues with search efficiency and applicability. This paper proposes an automatic parallel method based on a dual-population genetic algorithm, TGA, which transforms model partitioning and placement into an integer linear programming problem and constructs a cost model to evaluate the solution. The solution space is built using the neural network’s dataflow graph and device cluster’s topology, and the dual-population genetic algorithm is used to search for the optimal model parallel strategy. Experiments with various models show that the proposed method can improve single-step execution time by up to 42% compared to the Baechi method and up to 37.7% compared to the Hierarchical method.
Even in their bulk forms,complex alloys like high-entropy alloys(HEAs)exhibit favorable activity and stability as electrocatalysts for the oxygen evolution reaction(OER).However,the underlying reasons are not yet full...
详细信息
Even in their bulk forms,complex alloys like high-entropy alloys(HEAs)exhibit favorable activity and stability as electrocatalysts for the oxygen evolution reaction(OER).However,the underlying reasons are not yet fully *** a family of Mo-doped CrFeCoNi-based HEAs,we have identified three crucial factors that govern their performance:(ⅰ)homogeneous solid solution phase of HEAs helps to maintain high-valence states of metals;(ⅱ)surface reconstruction results in a hybrid material comprising amorphous domains and percolated crystalline structures;(ⅲ)diversity of active intermediate species(M-O,M-OOH,and,notably,the abundance of superoxide μ-OO),which display stronger adsorption capacity on the reconstructed *** results are revealing due to their resemblance to findings in other families of electrocatalysts for OER,as well as their unique features specific to *** line with these factors,a CrFeCoNiMo0.2 bulk integrated electrode displays a low overpotential of 215 mV,rapid kinetics,and long-term stability of over 90 *** HEAs hold great potential for industrial applications.
Security-sensitive operations in Android applications(apps for short) can either be benign or malicious. In this work, we introduce an approach of static program analysis that extracts "second-step behavior featu...
详细信息
Security-sensitive operations in Android applications(apps for short) can either be benign or malicious. In this work, we introduce an approach of static program analysis that extracts "second-step behavior features", i.e., what was triggered by the security-sensitive operation, to assist app analysis in differentiating between malicious and benign operations. Firstly, we summarized the characteristics of malicious operations, such as spontaneity, independence, stealthiness and continuity,which can be used to classify the malicious operations and benign ones. Secondly, according to these characteristics,Second step behavior features(SSBFs for short) have been presented, including structural features and semantic features. Thirdly, an analysis prototype named SSdroid has been implemented to automatically extract SSBFs of security-sensitive operations. Finally, experiments on 9285 operations from both benign and malicious apps show that SSBFs are effective and usefulness. Our evaluation results suggest that the second-step behavior can greatly assist in Android malware detection.
Transition phenomena between metastable states play an important role in complex systems due to noisy fluctuations. We introduce the Onsager-Machlup theory and the Freidlin-Wentzell theory to quantify rare events in s...
详细信息
Prompt Transfer (PoT) is a recently-proposed approach to improve prompt-tuning, by initializing the target prompt with the existing prompt trained on similar source tasks. However, such a vanilla PoT approach usually ...
详细信息
This paper is concerned with numerical computations of a class of biologi-cal models on unbounded spatial *** overcome the unboundedness of spatial domain,we first construct efficient local absorbing boundary conditio...
详细信息
This paper is concerned with numerical computations of a class of biologi-cal models on unbounded spatial *** overcome the unboundedness of spatial domain,we first construct efficient local absorbing boundary conditions(LABCs)to re-formulate the Cauchy problem into an initial-boundary value(IBV)*** that,we construct a linearized finite difference scheme for the reduced IVB problem,and provide the corresponding error estimates and stability *** delay-dependent dynamical properties on the Nicholson’s blowflies equation and the Mackey-Glass equa-tion are numerically ***,numerical examples are given to demonstrate the efficiency of our LABCs and theoretical results of the numerical scheme.
Background and objective: The sheer volume of data generated by population imaging studies is unparalleled by current capabilities to extract objective and quantitative cardiac phenotypes;subjective and time-consuming...
详细信息
Background and objective: The sheer volume of data generated by population imaging studies is unparalleled by current capabilities to extract objective and quantitative cardiac phenotypes;subjective and time-consuming manual image analysis remains the gold standard. Automated image analytics to compute quantitative imaging biomarkers of cardiac function are desperately needed. Data volumes and their variability pose a challenge to most state-of-the-art methods for endo and epicardial contours, which lack robustness when applied to very large datasets. Our aim is to develop an analysis pipeline for the automatic quantification of cardiac function from cine magnetic resonance imaging ***: This work adopt 4,638 cardiac MRI cases coming from UK Biobank with ground truth available for left and RV contours. A hybrid and robust algorithm is proposed to improve the accuracy of automatic left and right ventricle segmentation by harnessing the localization accuracy of deep learning and the morphological accuracy of 3D-ASM (three-dimensional active shape models). The contributions of this paper are three-fold. First, a fully automatic method is proposed for left and right ventricle initialization and cardiac MRI segmentation by taking full advantage of spatiotemporal constraint. Second, a deeply supervised network is introduced to train and segment the heart. Third, the 3D-ASM image search procedure is improved by combining image intensity models with convolutional neural network (CNN) derived distance maps improving endo- and epicardial edge ***: The proposed architecture outperformed the state of the art for cardiac MRI segmentation from UK Biobank. The statistics of RV landmarks detection errors for Triscuspid valve and RV apex are 4.17 mm and 5.58 mm separately. The overlap metric, mean contour distance, Hausdorff distance and cardiac functional parameters are calculated for the LV (Left Ventricle) and RV (Right Ventricle) contour segmentations. Bl
作者:
张磊刘斌School of Mathematics and Statistics
Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and Technology
This article is concerned with the existence of global attractor of a weakly dissipative generalized two-component μ-Hunter-Saxton (gμHS2) system with viscous terms. Under the period boundary conditions and with t...
详细信息
This article is concerned with the existence of global attractor of a weakly dissipative generalized two-component μ-Hunter-Saxton (gμHS2) system with viscous terms. Under the period boundary conditions and with the help of the Galerkin procedure and compactness method, we first investigate the existence of global solution for the viscous weakly dissipative (gμHS2) system. On the basis of some uniformly prior estimates of the solution to the viscous weakly dissipative (gμHS2) system, we show that the semi-group of the solution operator {S(t)}t≥0 has a bounded absorbing set. Moreover, we prove that the dynamical system {S(t)}t≥0 possesses a global attractor in the Sobolev space H2(S) × H2(S).
暂无评论