Search

Your search keyword '"Li, Xinhua"' showing total 1,840 results
Start Over Author "Li, Xinhua"
1,840 results on '"Li, Xinhua"'

1. FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools

Author

Liu, Han, Zhang, Jian, Zhang, Cen, Zhang, Xiaohan, Li, Kaixuan, Chen, Sen, Lin, Shang-Wei, Chen, Yixiang, Li, Xinhua, and Liu, Yang

Subjects
Computer Science - Software Engineering
Abstract

Automated Static Analysis Tools (ASATs) have evolved over time to assist in detecting bugs. However, the excessive false warnings can impede developers' productivity and confidence in the tools. Previous research efforts have explored learning-based methods to validate the reported warnings. Nevertheless, their coarse granularity, focusing on either long-term warnings or function-level alerts, which are insensitive to individual bugs. Also, they rely on manually crafted features or solely on source code semantics, which is inadequate for effective learning. In this paper, we propose FineWAVE, a learning-based approach that verifies bug-sensitive warnings at a fine-grained granularity. Specifically, we design a novel LSTM-based model that captures multi-modal semantics of source code and warnings from ASATs and highlights their correlations with cross-attention. To tackle the data scarcity of training and evaluation, we collected a large-scale dataset of 280,273 warnings. We conducted extensive experiments on the dataset to evaluate FineWAVE. The experimental results demonstrate the effectiveness of our approach, with an F1-score of 97.79\% for reducing false alarms and 67.06% for confirming actual warnings, significantly outperforming all baselines. Moreover, we have applied our FineWAVE to filter out about 92% warnings in four popular real-world projects, and found 25 new bugs with minimal manual effort.

Published
2024

3. Reducing Salt Intake in China with 'Action on Salt China' (ASC): Protocol for Campaigns and Randomized Controlled Trials

Author

Zhang, Puhong, He, Feng J, Li, Yuan, Li, Changning, Wu, Jing, Ma, Jixiang, Zhang, Bing, Wang, Huijun, Li, Yinghua, Han, Junhua, Luo, Rong, He, Jing, Li, Xian, Liu, Yu, Wang, Changqiong, Tan, Monique, MacGregor, Graham A, and Li, Xinhua

Subjects
Medicine, Computer applications to medicine. Medical informatics, R858-859.7
Abstract

BackgroundSalt intake in China is over twice the maximum recommendation of the World Health Organization. Unlike most developed countries where salt intake is mainly derived from prepackaged foods, around 80% of the salt consumed in China is added during cooking. ObjectiveAction on Salt China (ASC), initiated in 2017, aims to develop, implement, and evaluate a comprehensive and tailored salt reduction program for national scaling-up. MethodsASC consists of six programs working in synergy to increase salt awareness and to reduce the amount of salt used during cooking at home and in restaurants, as well as in processed foods. Since September 2018, two health campaigns on health education and processed foods have respectively started, in parallel with four open-label cluster randomized controlled trials (RCTs) in six provinces across China: (1) app-based intervention study (AIS), in which a mobile app is used to achieve and sustain salt reduction in school children and their families; (2) home cook-based intervention study (HIS), in which family cooks receive support in using less salt; (3) restaurant-based intervention study (RIS) targeting restaurant consumers, cooks, and managers; and (4) comprehensive intervention study (CIS), which is a real-world implementation and evaluation of all available interventions in the three other RCTs. To explore the barriers, facilitators, and effectiveness of delivering a comprehensive salt reduction intervention, these RCTs will last for 1 year (stage 1), followed by nationwide implementation (stage 2). In AIS, HIS, and CIS, the primary outcome of salt reduction will be evaluated by 24-hour urinary sodium excretion in 6030 participants, including 5436 adults and 594 school children around 8-9 years old. In RIS, the salt content of meals will be measured by laboratory food analysis of the 5 best-selling dishes from 192 restaurants. Secondary outcomes will include process evaluation; changes in knowledge, attitude, and practice on salt intake; and economic evaluation. ResultsAll RCTs have been approved by Queen Mary Research Ethics Committee and the Institutional Review Boards of leading institutes in China. The research started in June 2017 and is expected to be completed around March 2021. The baseline investigations of the four RCTs were completed in May 2019. ConclusionsThe ASC project is progressing smoothly. The intervention packages and tailored components will be promoted for salt reduction in China, and could be adopted by other countries. Trial RegistrationChinese Clinical Trial Registry. AIS: ChiCTR1800017553; https://tinyurl.com/vdr8rpr. HIS: ChiCTR1800016804; https://tinyurl.com/w8c7x3w. RIS: ChiCTR1800019694; https://tinyurl.com/uqkjgfw. CIS: ChiCTR1800018119; https://tinyurl.com/s3ajldw. International Registered Report Identifier (IRRID)DERR1-10.2196/15933

Published
2020
Full Text
View/download PDF

35. Experimental and numerical studies on kV scattered x-ray imaging for real-time image guidance in radiation therapy

Author

Huang, Yanqi, Yang, Kai, Lai, Youfang, Liu, Huan, Shen, Chenyang, Zhong, Yuncheng, Shao, Yiping, Li, Xinhua, Liu, Bob, and Jia, Xun

Subjects
Physics - Medical Physics
Abstract

Motion management is a critical component of image guidance radiotherapy for lung cancer. We previously proposed a scheme using kV scattered x-ray photons for marker-less real-time image guidance in lung cancer radiotherapy. This study reports our recently progress using the photon counting detection technique to demonstrate potential feasibility of this method and using Monte Carlo (MC) simulations and ray-tracing calculations to characterize the performance. In our scheme, a thin slice of x-ray beam was directed to the target and we measured the outgoing scattered photons using a photon counting detector with a parallel-hole collimator to establish the correspondence between detector pixels and scatter positions. Image corrections of geometry, beam attenuation and scattering angle were performed to convert the raw image to the actual image of Compton attenuation coefficient. We set up a MC simulation system using an in-house developed GPU-based MC package modeling the image formation process. We also performed ray-tracing calculations to investigate the impacts of imaging system geometry on resulting image resolution. The experiment demonstrated feasibility of using a photon counting detector to measure scattered x-ray photons and generate the proposed scattered x-ray image. After correction, x-ray scattering image intensity and Compton scattering attenuation coefficient were linearly related, with R2=0.91. Contrast to Noise Ratios of different objects were improved and the values in experimental results and MC simulation results agreed with each other. Ray-tracing calculations revealed the dependence of image resolution on imaging geometry. The image resolution increases with reduced source to object distance and increased collimator height. The study demonstrated potential feasibility of using scattered x-ray imaging as a real-time image guidance method in radiation therapy., Comment: 16 pages, 10 figures

Published
2020

36. Inertial manifolds via spatial averaging revisited

Author

Kostianko, Anna, Li, Xinhua, Sun, Chunyou, and Zelik, Sergey

Subjects
Mathematics - Analysis of PDEs, 35B33, 35B40, 35B42, 35Q30, 76F20
Abstract

The paper gives a comprehensive study of inertial manifolds for semilinear parabolic equations and their smoothness using the spatial averaging method suggested by G. Sell and J. Mallet-Paret. We present a universal approach which covers the most part of known results obtained via this method as well as gives a number of new ones. Among our applications are reaction-diffusion equations, various types of generalized Cahn-Hilliard equations, including fractional and 6th order Cahn-Hilliard equations and several classes of modified Navier-Stokes equations including the Leray-$\alpha$ regularization, hyperviscous regularization and their combinations. All of the results are obtained in 3D case with periodic boundary conditions.

Published
2020

42. Inertial manifolds for the incompressible Navier-Stokes equations

Author

Li, Xinhua and Sun, Chunyou

Subjects
Mathematics - Analysis of PDEs, Mathematics - Dynamical Systems, 35B33, 35B40, 35B42, 35Q30, 76F20
Abstract

In this article, we devote to the existence of an $N$-dimensional inertial manifold for the incompressible Navier-Stokes equations in $\mathbb{T}^{d}$ ($d=2,3$). Our results can be summarized as two aspects: Firstly, we construct an $N$-dimensional inertial manifold for the Navier-Stokes equations in $\mathbb{T}^{2}$; Secondly, we extend slightly the spatial averaging method to the abstract case: $\partial_{t}u+A^{1+\alpha}u+A^{\alpha}F(u)=f$ (here $0<\alpha<1$, $A>0$ is a self-adjoint operator with compact inverse and $F$ is Lipschitz from a Hilbert space $\mathbb{H}$ to $\mathbb{H}$), and then verify the existence of an $N$-dimensional inertial manifold for the hyperviscous Navier-Stokes equation with the hyperviscous index $5/4$ in $\mathbb{T}^{3}$., Comment: 51 pages, no figures

Published
2019

46. Sustainable framework for buildings in cold regions of China considering life cycle cost and environmental impact as well as thermal comfort

Author

Wang, Ran, Lu, Shilei, Feng, Wei, Zhai, Xue, and Li, Xinhua

Subjects
Environmental Management, Built Environment and Design, Environmental Sciences, Architecture, Building, Climate Action, Sustainable Cities and Communities, Life Cycle Assessment, Life cycle cost, Greenhouse gas emissions, Thermal comfort, Sustainable building, Electrical and Electronic Engineering, Mechanical Engineering
Abstract

In recent decades, environmental problems have enforced designers to estimate the level of environmental emission of building design and reduce their environmental impact. On the premise of ensuring indoor comfort, the cost-effectiveness of solutions for reducing the building's greenhouse gas has become a critical issue. Based on the Life Cycle Assessment (LCA), this paper establishes a building performance trade-off framework for indoor thermal comfort, economics, and environmental implication. This framework consists of four parts: the establishment of the optimization model; sensitivity analysis; obtain of Pareto frontier solutions, and decision-making analysis. Optimization variables involve envelope type and some envelope physical parameters. The “design variables-building performances” database is obtained by using building simulation software combined with the Latin hypercube sampling algorithm. Sensitivity analysis is used to extract the key factors affecting building performance. The designer can prioritize these key factors and it can reduce the uncertainty of building performance. A multi-objective optimization method coupling Gradient Boosted Decision Tree (GBDT) and non-dominated sorting genetic (NSGA-II) algorithm is proposed to seek the trade-off between three performances (obtain Pareto frontier solutions). The Pareto solution provides a more comprehensive reference for the preferences of different stakeholders, and the set of alternative solutions is further shrunk. Finally, take a specific residential building in China's cold climate zone as a showcase of the trade-off framework. According to the obtained Pareto frontier solution, the solution set is shrunk to a certain range, and the distribution ranges of Life Cycle Costs, the greenhouse gas emissions, and the annual thermal discomfort hour ratio are 122.3–137.1 USD/m2, 15.6–44.8 kg CO2/m2, and 19.1–25.2%, respectively. The trade-off framework adopts the order of objective Pareto optimal and then subjective preference selection, narrowing the scope of alternatives for designers and saving time-cost of decision-making.

Published
2020

Catalog

Books, media, physical & digital resources
See catalog results