Lan Zhang

Chinese Center For Disease Control and Prevention

Author Statistics

Papers

Citation

H-Index

i-10 index

Research Trends

Author Order

Document Type

Co-Authors

Xiaoyong Yuan

Tianjin Medical University

Yuguang Fang

City University of Hong Kong

Ying‐Chang Liang

University of Electronic Science and Technology of China

Xianhao Chen

University of Hong Kong

Yougan Chen

Xiamen University

Yan Xin

North China Electric Power University

Xiaomei Xu

Xiamen University

Dapeng Wu

City University of Hong Kong

Xuming Fang

Southwest Jiaotong University

Xiang‐Yang Li

University of Science and Technology of China

Cooperative Institutions

Chinese Academy of Sciences

Tsinghua University

University of Science and Technology of China

University of Chinese Academy of Sciences

Sun Yat-sen University

Peking University

Shanghai Jiao Tong University

Harbin Engineering University

Beijing University of Posts and Telecommunications

Huazhong University of Science and Technology

Author Statistics

Papers

Citation

H-Index

i-10 index

Research Field

Blockchain based mobile communication data privacy protection algorithm for cellular networks

Intelligent Decision Technologies (2024)

Lan Zhang Yanling Luo Yue Zhao

The rapid development of mobile communication technology not only brings great convenience to users, but also brings the risk of user data privacy leakage. Due to the broadcasting nature of mobile communication transmission, open wireless interfaces have become a security vulnerability for mobile devices such as mobile phones, which can be easily eavesdropped. This article studied a data privacy protection algorithm suitable for mobile communication in cellular networks based on the anonymous mechanism of blockchain. This article first analyzes the overall framework and anonymity technology of blockchain data from the perspective of privacy and queryability. Then, based on blockchain technology, consistency mechanisms, privacy control, and access rights management are designed. Finally, mobile communication data privacy protection algorithms are designed and implemented through data encryption and verification. The latency of transactions under different task volumes and throughput at different nodes were analyzed to verify the reliability of several anonymous mechanisms in cellular network mobile communication data privacy protection in blockchain. Based on the experimental results, it was concluded that the reliability range of CryptoNote and the zero coin and zero currency protocol mechanism in the specified nodes was between 92 and 99%. This article utilized blockchain technology to distribute mobile communication data in nodes and achieve decentralized data transmission, thus protecting the privacy of wireless network communication data. By analyzing the reliability of anonymous mechanisms based on blockchain in mobile communication nodes, it was concluded that this method had certain research value.

Privacy Protection

10.3233/idt-230233

Cite

Citations (0)

Exponential synchronization of complex-valued complex networks with time-varying delays and stochastic perturbations via time-delayed impulsive control

Applied Mathematics and Computation (2017)

Lan Zhang Xinsong Yang Chen Xu Jianwen Feng

10.1016/j.amc.2017.02.004

Cite

Citations (89)

Formalizing Complex Mathematical Statements with LLMs: A Study on Mathematical Definitions

arXiv (Cornell University) (2025)

Lan Zhang Marco Valentino André Freitas

Thanks to their linguistic capabilities, LLMs offer an opportunity to bridge the gap between informal mathematics and formal languages through autoformalization. However, it is still unclear how well LLMs generalize to sophisticated and naturally occurring mathematical statements. To address this gap, we investigate the task of autoformalizing real-world mathematical definitions -- a critical component of mathematical discourse. Specifically, we introduce two novel resources for autoformalisation, collecting definitions from Wikipedia (Def_Wiki) and arXiv papers (Def_ArXiv). We then systematically evaluate a range of LLMs, analyzing their ability to formalize definitions into Isabelle/HOL. Furthermore, we investigate strategies to enhance LLMs' performance including refinement through external feedback from Proof Assistants, and formal definition grounding, where we guide LLMs through relevant contextual elements from formal mathematical libraries. Our findings reveal that definitions present a greater challenge compared to existing benchmarks, such as miniF2F. In particular, we found that LLMs still struggle with self-correction, and aligning with relevant mathematical libraries. At the same time, structured refinement methods and definition grounding strategies yield notable improvements of up to 16% on self-correction capabilities and 43% on the reduction of undefined errors, highlighting promising directions for enhancing LLM-based autoformalization in real-world scenarios.

10.48550/arxiv.2502.12065

Cite

Citations (0)

Multi-task Allocation of Multi-UAV Coalition Based on Improved Quantum Genetic Algorithm

Pengfei Liu Bing Wang Wenjie Liu Lan Zhang

In the multi-UAV task allocation problem, one task may need several UAVs with specific capabilities to form a coalition to execute cooperatively. In this paper, considering the UAV coalition loss cost and time cost, an improved quantum genetic algorithm is proposed to solve the task allocation problem of multi-UAV coalition. On the basis of quantum genetic algorithm, the historical optimal solution retention mechanism and estimation of distribution algorithm are introduced to speed up the convergence speed and reduce the probability falling into the local optimum of the algorithm, respectively. Then, a gene repair strategy is used to improve the efficiency of the algorithm according to the problem background. Finally, the simulation results show that the proposed algorithm has more advantages than other comparison algorithms in terms of search ability and convergence speed in solving the task allocation problem of multi-UAV coalition.

Speedup

10.23919/ccc52363.2021.9550641

Cite

Citations (4)

Demo

Proceedings of the 28th Annual International Conference on Mobile Computing And Networking (2014)

Lan Zhang Xiang-Yang Li Wenchao Huang Kebin Liu Shuwei Zong

In this demo, we propose a proof-of-concept networking system for smart glasses, through which users can express their interest and connect to a target simply by a gaze. Our system iGaze is a visual attention driven networking suite: an iGaze glass (hardware) and a networking protocol VAN (software). Our glass is a low-cost head-mounted glass with a camera, orientation sensors, microphone and speakers, which are embedded with our software for visual attention capture and networking. A visual attention driven networking protocol (VAN) is carefully designed and implemented. In VAN, we design an energy efficient and highly accurate visual attention determination scheme using single camera to capture user's communication interest and a double-matching scheme based on visual direction detection and Doppler effect of acoustic signal to lock the target devices. iGaze has separated and modularized hardware and software design. It can run on top of existing networking protocols, e.g., Wi-Fi.

10.1145/2639108.2641739

Cite

Citations (2)

Investigation on Condition of Extracurricular Physical Activity of College Students in Gansu Province

Tiyu kexue (2004)

Lan Zhang

Through using the method of documentary and questionnaire,this paper makes comprehensive investigation on college students' attitude,content,time,frequency,facility and favorite events for physical activity.The main purpose is to provide reference for reforming physical activity.

Source

Cite

Citations (0)

The relationship between perceived social support, coping style, and the quality of life and psychological state of lung cancer patients

BMC Psychology (2024)

Yiqian Ding Xin Wang Fan Zhang Hao Yan Yaoyao Liu

Lung cancer has always a cancer that threatens human health. Quality of life also has been an important research topic. psychological state in patients can influence their quality of life, and perceived social support and coping styles are relevant facilitators of Quality of life, but this specific relationship has not been adequately studied. The purpose of this study is focus on discussing the correlation of these four and understanding their potential mediating pathways. This is a cross-sectional study. A total of 300 Lung Cancer patients from a cancer hospital in Suzhou were surveyed. The Data was collected using the scales. The collected data was analyzed using SPSS and AMOS software. The study revealed a significant serial mediation model between perceived social support and coping style: Psychological state regulates patients' coping styles by influencing their perceived social support which ultimately has comprehensive impacts on their quality of life. Based on the empirical results discussed, this study proposes the following suggestion: Provide good online support to form a related social media intervention matrix. meanwhile, expand the patients' social network offline, provide channels for patients to express their troubles outwardly, and regularly assess the patients' psychological status to improve their level of psychosocial adaptation. This will in turn enhance their negative coping strategies towards the disease and strengthen their ability to buffer against it, ultimately promoting a better quality of life for the patients.

Psychological research

Psychological adaptation

10.1186/s40359-024-01927-y

Cite

Citations (1)

A Learning Muti-Sources Weight Algorithm of Electromagnetic spectrum Cooperative Cognition

Zhengang Zhai Lan Zhang Baoguang Zhang Xiaohua Zhang

Electromagnetic spectrum

10.1109/iciba62489.2024.10868070

Cite

Citations (0)

Achievable rate regions of cognitive radio channels with a confidential message

Lan Zhang Yan Xin Ying‐Chang Liang Xiaodong Wang

This paper investigates cognitive radio channels with a confidential message (CRC-CM) from an information-theoretic perspective. It is assumed that the secondary user (SU) transmitter has perfect and a priori knowledge on the message being transmitted by the primary user (PU) and the message of the SU is confidential to the PU receiver. An achievable rate region of the CRC-CM in the discrete memoryless (DM) case is derived. Two achievable rate regions are obtained by extending the DM rate result to a multi-antenna Gaussian CRC-CM case with two transmission strategies. A numerical example in the multi-antenna Gaussian case is provided.

10.1109/ciss.2009.5054737

Cite

Citations (3)

College Student Mental Health Early Warning Platform Based on Keyword Matching Algorithm

Lan Zhang Chao Huang

With the development of society and the progress of science and technology, the mental health of college students has been paid more and more attention. How to accurately assess the mental health status of college students, timely warning and take effective intervention measures has become an important issue facing universities and education departmentsAs a text-based data analysis method, keyword matching algorithm provides a new way of thinking for the evaluation, early warning and analysis of college students' mental health. This paper will discuss in detail the application of keyword matching algorithm in the evaluation, early warning and analysis of college students' mental health.

10.1109/smartgencon60755.2023.10442821

Cite

Citations (0)