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

AMCheX: Accurate Analysis of Missing-Check Bugs for Linux Kernel

Journal of Computer Science & Technology 2021年第6期36卷 1325-1341页

作者： Ying-Jie Wang Liang-Ze Yin Wei Dong Key Laboratory of Software Engineering for Complex Systems College of Computer Science National University of Defense TechnologyChangsha 410073China

The Linux kernel adopts a large number of security checks to prevent security-sensitive operations from being executed under unsafe *** a security-sensitive operation is unchecked,a missing-check issue *** check is a class of severe bugs in software programs especially in operating system kernels,which may cause a variety of security issues,such as out-of-bound accesses,permission bypasses,and privilege *** to the lack of security specifications,how to automatically identify security-sensitive operations and their required security checks in the Linux kernel becomes a challenge for missing-check *** this paper,we present an accurate missing-check analysis method for Linux kernel,which can automatically infer possible security-sensitive ***,we first automatically identify all possible security check functions of *** according to their callsites,a two-direction analysis method is leveraged to identify possible security-sensitive operations.A missing-check bug is reported when the security-sensitive operation is not protected by its corresponding security *** have implemented our method as a tool,named AMCheX,on top of the LLVM(Low Level Virtual Machine)framework and evaluated it on the Linux *** reported 12 new missing-check bugs which can cause security *** of them have been confirmed by Linux maintainers.

关键词： security check function security-sensitive operation program analysis missing-check

来源：评论

学校读者我要写书评

暂无评论

UAVs Meet LLMs: Overviews and Perspectives Toward Agentic Low-Altitude Mobility

arXiv

引用

arXiv 2025年

作者： Tian, Yonglin Lin, Fei Li, Yiduo Zhang, Tengchao Zhang, Qiyao Fu, Xuan Huang, Jun Dai, Xingyuan Wang, Yutong Tian, Chunwei Li, Bai Lv, Yisheng Kovács, Levente Wang, Fei-Yue The State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of Automation Chinese Academy of Sciences Beijing100190 China Department of Engineering Science Faculty of Innovation Engineering Macau University of Science and Technology 999078 China School of Automation Beijing Institute of Technology Beijing100081 China School of Software Northwestern Polytechnical University Xi’an710129 China College of Mechanical and Vehicle Engineering Hunan University Changsha410082 China John von Neumann Faculty of Informatics Obuda University BudapestH-1034 Hungary

Low-altitude mobility, exemplified by unmanned aerial vehicles (UAVs), has introduced transformative advancements across various domains, like transportation, logistics, and agriculture. Leveraging flexible perspectives and rapid maneuverability, UAVs extend traditional systems' perception and action capabilities, garnering widespread attention from academia and industry. However, current UAV operations primarily depend on human control, with only limited autonomy in simple scenarios, and lack the intelligence and adaptability needed for more complex environments and tasks. The emergence of large language models (LLMs) demonstrates remarkable problem-solving and generalization capabilities, offering a promising pathway for advancing UAV intelligence. This paper explores the integration of LLMs and UAVs, beginning with an overview of UAV systems' fundamental components and functionalities, followed by an overview of the state-of-the-art in LLM technology. Subsequently, it systematically highlights the multimodal data resources available for UAVs, which provide critical support for training and evaluation. Furthermore, it categorizes and analyzes key tasks and application scenarios where UAVs and LLMs converge. Finally, a reference roadmap towards agentic UAVs is proposed, aiming to enable UAVs to achieve agentic intelligence through autonomous perception, memory, reasoning, and tool utilization. Related resources are available at https://***/Hub-Tian/UAVs Meet LLMs. Copyright © 2025, The Authors. All rights reserved.

关键词： Unmanned aerial vehicles (UAV)

来源：评论

学校读者我要写书评

暂无评论

NUMERICAL-SIMULATION OF A LOW-MACH-NUMBER FLOW WITH A LARGE TEMPERATURE-VARIATION

引用

COMPUTERS & FLUIDS 1992年第2期21卷 185-200页

作者： HORIBATA, Y Systems & Software Engineering Laboratory Toshiba Corporation 70 Yanagi-cho Saiwai-ku Kawasaki 210 Japan

Compressibility is important in a low-Mach-number flow with a large temperature variation. However, it is well-known that time-dependent compressible flow schemes become ineffective at low Mach numbers. This ineffectiveness occurs because a wide disparity exists between the time scales associated with convection and the propagation of acoustic waves. For this reason, scale analysis modifies the compressible equations in order to remove acoustic waves from them. The pressure is divided into the thermodynamic and dynamic parts. The density variation caused by the variation in the dynamic part is neglected. The scale analysis shows the conditions under which the modified equations are applicable. Examination of small-amplitude waves shows that the modified equations contain internal gravity waves (buoyant effects), while they exclude acoustic waves. Similarly to the modified equations, the Boussinesq equations are derived under a further condition. A finite difference scheme integrates the modified equations. The scheme is essentially the MAC method. First, thermal convection of a Boussinesq fluid in a square cavity is simulated in order to validate the calculation method. The result is in good agreement with a benchmark solution. Second, thermal convection with a large temperature variation is simulated in a vertical pipe furnace used for the heat treatment of semiconductor wafers. An axisymmetric steady flow is obtained.

关键词： Flow of Fluids

来源：评论

学校读者我要写书评

暂无评论

MENDELS ZONE: A parallel program development system based on formal specifications

引用

INFORMATION AND software TECHNOLOGY 1996年第3期38卷 181-189页

作者： Honiden, S Ohsuga, A Uchihira, N Systems & Software Engineering Laboratory Toshiba Corporation 70 Yanagi-cho Saiwai-ku Kawasaki 210 Japan

MENDELS ZONE is a formal specification-based practical parallel program development system on an MIMD machine with 64 processors. It has been applied to the several practical applications: one such application is described in formal specifications totalling 3700 lines, and the corresponding parallel programs generated from these formal specifications totals 6200 lines. MENDELS ZONE has several key aspects. First, an algebraic specification is used for the functional part of parallel programs and a temporal logic specification is used for the synchronization part of the parallel programs. Second, Petri nets and data-flow diagrams are adopted for visualization. Third, MENDELS ZONE has the following unique features from a parallel programming viewpoint. (1) The confluence property of the complete term rewriting system ensures the quality of non-deterministic execution in parallel programs;(2) Serialization in parallel programming is specified using propositional temporal logic;(3) Parallel implementation of theorem provers contributes to practical use.

关键词： parallel programs algebraic specification temporal logic

来源：评论

学校读者我要写书评

暂无评论

Fast Warming Over the Mongolian Plateau a Catalyst for Extreme Rainfall Over North China

引用

Geophysical Research Letters 2025年第8期52卷

作者： Gu, Jun Zhao, Chun Xu, Mingyue Ma, Yuanyuan Hu, Zhiyuan Jin, Chen Guo, Jianping Geng, Tao Cai, Wenju Deep Space Exploration Laboratory/School of Earth and Space Sciences/CMA-USTC Laboratory of Fengyun Remote Sensing/State Key Laboratory of Fire Science/Institute of Advanced Interdisciplinary Research on High-Performance Computing Systems and Software University of Science and Technology of China Hefei China Laoshan Laboratory Qingdao China CAS Center for Excellence in Comparative Planetology University of Science and Technology of China Hefei China Key Laboratory of Land Surface Process and Climate Change in Cold and Arid Regions Northwest Institute of Eco-Environment and Resources Chinese Academy of Sciences Lanzhou China Key Laboratory for Climate Change and Natural Disaster Studies of Guangdong Province School of Atmospheric Sciences Sun Yat-sen University Zhuhai China Southern Marine Science and Engineering Guangdong Laboratory Zhuhai China State Key Laboratory of Severe Weather Chinese Academy of Meteorological Sciences Beijing China and Physical Oceanography Laboratory Ocean University of China Qingdao China

Extreme rainfall events are becoming increasingly severe under a warming climate. North China has experienced several catastrophic rainfall events, of which the rainstorm in 2023 was particularly severe inducing unprecedented damage. Since 1980, the neighboring Mongolian Plateau (MP) has been warming at a rate three times the global average, faster than the surrounding regions. Whether a link exists between extreme rainfall in North China and the fast MP warming is unknown. Here, using global variable-resolution atmospheric model with convection-permitting capability over North China, we find the rapid warming trends, particularly over the MP, are highly conducive to extreme rainfall over North China. In the 2023 case, the fast MP warming induced an anomalous terrestrial high, which in the Western North Pacific Subtropical High created a strong high-pressure system over North China. This system obstructed northeastward movement of Typhoon Doksuri, concentrating moisture supply which prolonged and intensified the extreme. © 2025. The Author(s).

关键词： Global warming

来源：评论

学校读者我要写书评

暂无评论

Modeling Topic-Based Human Expertise for Crowd Entity Resolution

引用

Journal of Computer Science & Technology 2018年第6期33卷 1204-1218页

作者： Sai-Sai Gong Wei Hu Wei-Yi Ge Yu-Zhong Qu State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210023 China Science and Technology on Information Systems Engineering Laboratory Nanjing 210007 China

Entity resolution （ER） aims to identify whether two entities in an ER task refer to the same real-world *** ER uses humans, in addition to machine algorithms, to obtain the truths of ER tasks. However, inaccurate orerroneous results are likely to be generated when humans give unreliable judgments. Previous studies have found thatcorrectly estimating human accuracy or expertise in crowd ER is crucial to truth inference. However, a large number ofthem assume that humans have consistent expertise over all the tasks, and ignore the fact that humans may have variedexpertise on different topics （e.g., music versus sport）. In this paper, we deal with crowd ER in the Semantic Web *** identify multiple topics of ER tasks and model human expertise on different topics. Furthermore, we leverage similartask clustering to enhance the topic modeling and expertise estimation. We propose a probabilistic graphical model thatcomputes ER task similarity, estimates human expertise, and infers the task truths in a unified framework. Our evaluationresults on real-world and synthetic datasets show that, compared with several state-of-the-art approaches, our proposedmodel achieves higher accuracy on the task truth inference and is more consistent with the human real expertise.

关键词： entity resolution crowdsourcing human expertise topic modeling task similarity

来源：评论

学校读者我要写书评

暂无评论

Fuzzy Granule Density-Based Outlier Detection with Multi-Scale Granular Balls

arXiv

引用

arXiv 2025年

作者： Gao, Can Tan, Xiaofeng Zhou, Jie Ding, Weiping Pedrycz, Witold The College of Computer Science and Software Engineering Shenzhen University Shenzhen518060 China Guangdong Key Laboratory of Intelligent Information Processing Shenzhen518060 China The National Engineering Laboratory for Big Data System Computing Technology Shenzhen University Shenzhen518060 China The School of Artificial Intelligence and Computer Science Nantong University Nantong226019 China The Faculty of Data Science City University of Macau Macau999078 China The Department of Electrical and Computer Engineering University of Alberta Edmonton Canada Systems Research Institute Polish Academy of Sciences Warsaw Poland The Department of Electrical and Computer Engineering King Abdulaziz University Jeddah Saudi Arabia The Department of Computer Engineering Istinye University Istanbul Turkey

Outlier detection refers to the identification of anomalous samples that deviate significantly from the distribution of normal data and has been extensively studied and used in a variety of practical tasks. However, most unsupervised outlier detection methods are carefully designed to detect specified outliers, while real-world data may be entangled with different types of outliers. In this study, we propose a fuzzy rough sets-based multi-scale outlier detection method to identify various types of outliers. Specifically, a novel fuzzy rough sets-based method that integrates relative fuzzy granule density is first introduced to improve the capability of detecting local outliers. Then, a multi-scale view generation method based on granular-ball computing is proposed to collaboratively identify group outliers at different levels of granularity. Moreover, reliable outliers and inliers determined by the three-way decision are used to train a weighted support vector machine to further improve the performance of outlier detection. The proposed method innovatively transforms unsupervised outlier detection into a semi-supervised classification problem and for the first time explores the fuzzy rough sets-based outlier detection from the perspective of multi-scale granular balls, allowing for high adaptability to different types of outliers. Extensive experiments carried out on both artificial and UCI datasets demonstrate that the proposed outlier detection method significantly outperforms the state-of-the-art methods, improving the results by at least 8.48% in terms of the Area Under the ROC Curve (AUROC) index. The source codes are released at https://***/Xiaofeng-Tan/MGBOD. © 2025, CC BY.

关键词： Granulation

来源：评论

学校读者我要写书评

暂无评论

Reversible Data Hiding With Secret Encrypted Image Sharing and Adaptive Coding

引用

IEEE Internet of Things Journal 2025年

作者： Fang, Guangtian Wang, Feng Zhao, Chenbin Qin, Chuan Chang, Ching-Chun Chang, Chin-Chen Fujian University of Technology College of Computer Science and Mathematics Fuzhou350118 China Fujian University of Technology College of Computer Science and Mathematics Key Laboratory of Big Data Mining and Applications Fuzhou350118 China Monash University Faculty of IT Department of Software Systems and Cybersecurity VIC3800 Australia Ministry of Education School of Cyber Science and Engineering Key Laboratory of Aerospace Information Security and Trusted Computing Wuhan430072 China University of Shanghai for Science and Technology School of Optical-Electrical and Computer Engineering Shanghai200093 China Feng Chia University Information and Communication Security Research Center Taichuang 40724 Taiwan Feng Chia University Department of Information Engineering and Computer Science Taichung40724 Taiwan

To ensure the security of image information and facilitate efficient management in the cloud, the utilization of reversible data hiding in encrypted images (RDHEI) has emerged as pivotal. However, most existing RDHEI schemes suffer from lower security and limited embedding capacity. To tackle these challenges, we propose a reversible data hiding with secret encrypted image sharing and adaptive coding scheme. Specifically, in the encryption phase, we introduce an improved secret sharing (SS) encryption method based on the chinese remainder theorem for polynomials (CRTP). This method not only improves the security of encrypted images but also vacates a larger room for embedding. In the embedding phase, we introduce an adaptive coding embedding approach using XOR preservation (XORP) and huffman coding, which provides high embedding capacity. Experimental results and security analysis demonstrate that our proposed encryption method achieves optimal values in security indicators for encrypted images, such as information entropy, histograms, NPCR and UACI. The proposed embedding method is superior to some state-of-the-art schemes in terms of embedding capacity. Furthermore, in datasets BOSSBase and BOWS2, the average embedding rates of the proposed embedding approach can reach 2.1745 bpp and 2.0656 bpp, respectively. © 2025 IEEE.

关键词： adaptive coding chinese remainder theorem for polynomials encrypted images Reversible data hiding secret sharing

来源：评论

学校读者我要写书评

暂无评论

Synchronization of Intermittently Coupled Neural Networks With Coupling Delay

引用

IEEE Transactions on Neural Networks and Learning systems 2025年第5期36卷 7984-7996页

作者： Zhu, Shuaibing Sang, Hong Zhang, Kai Kong, Fanchao Lu, Jinhu Hunan Normal University MOE-LCSM School of Mathematics and Statistics Changsha410081 China Dalian Maritime University College of Marine Electrical Engineering Dalian116026 China Harbin Institute of Technology Center for Control Theory and Guidance Technology Harbin150001 China Anhui Normal University School of Mathematics and Statistics Anhui Wuhu241000 China Beihang University School of Automation Science and Electrical Engineering State Key Laboratory of Software Development Environment Beijing100083 China Chinese Academy of Sciences Academy of Mathematics and Systems Science Beijing100190 China

In recent years, the synchronization of coupled neural networks (CNNs) has been extensively studied. However, existing results heavily rely on assuming continuous couplings, overlooking the prevalence of intermittent couplings in reality. In this article, we address for the first time the synchronization challenge posed by intermittently CNNs (ICNNs) with coupling delay. To overcome the difficulties arising from intermittent couplings, we put forward a general piecewise delay differential inequality to characterize the dynamics during both coupled intervals and decoupled intervals. Based on the proposed inequality, we establish delay-independent synchronization criteria (DISCs) for ICNNs, enabling them to tackle general coupling delay. Notably, unlike previous studies, the achievement of synchronization in our approach does not rely on external control. Furthermore, for ICNNs that synchronize only under small delays, we formulate non-linear matrix inequality (LMI)-based delay-dependent synchronization criteria (DDSCs) that are computationally efficient and do not require delay differentiability. Finally, we provide illustrative examples to demonstrate our theoretical results. © 2012 IEEE.

关键词： Coupled neural networks (CNNs) coupling delay intermittent coupling synchronization

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of a Dynamic Component Model for Federated AUTOSAR systems 14

Design and Implementation of a Dynamic Component Model for F...

引用

51st ACM/EDAC/IEEE Design Automation Conference (DAC)

作者： Ni, Ze Kobetski, Avenir Axelsson, Jakob Software and Systems Engineering Laboratory SICS Swedish ICT AB

ISBN: (纸本)9781450327305

The automotive industry has recently agreed upon the embedded software standard AUTOSAR, which structures an application into reusable components that can be deployed using a configuration scheme. However, this configuration takes place at design time, with no provision for dynamically installing components to reconfigure the system. In this paper, we present the design and implementation of a dynamic component model that extends AUTOSAR with the possibility to add plug-in components at runtime. This opens up for shorter deployment time for new functions;opportunities for vehicles to participate in federated embedded systems;and involvement of third-party software developers.

关键词： AUTOSAR software Components Dynamically Reconfigurable software Federated Embedded systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：