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

Block-gram:Mining knowledgeable features for efficiently smart contract vulnerability detection

Digital Communications and Networks 2025年第1期11卷 1-12页

作者： Xueshuo Xie Haolong Wang Zhaolong Jian Yaozheng Fang Zichun Wang Tao Li Tianjin Key Laboratory of Network and Data Security Technology TianjinChina College of Computer Science Nankai UniversityTianjinChina Key Laboratory of Blockchain and Cyberspace Governance of Zhejiang Province China State Key Laboratory of Computer Architecture Institute of Computing TechnologyChinese Academy of SciencesChina

Smart contracts are widely used on the blockchain to implement complex transactions,such as decentralized applications on *** vulnerability detection of large-scale smart contracts is critical,as attacks on smart contracts often cause huge economic *** it is difficult to repair and update smart contracts,it is necessary to find the vulnerabilities before they are ***,code analysis,which requires traversal paths,and learning methods,which require many features to be trained,are too time-consuming to detect large-scale on-chain ***-based methods will obtain detection models from a feature space compared to code analysis methods such as symbol *** the existing features lack the interpretability of the detection results and training model,even worse,the large-scale feature space also affects the efficiency of *** paper focuses on improving the detection efficiency by reducing the dimension of the features,combined with expert *** this paper,a feature extraction model Block-gram is proposed to form low-dimensional knowledge-based features from ***,the metadata is separated and the runtime code is converted into a sequence of opcodes,which are divided into segments based on some instructions(jumps,etc.).Then,scalable Block-gram features,including 4-dimensional block features and 8-dimensional attribute features,are mined for the learning-based model ***,feature contributions are calculated from SHAP values to measure the relationship between our features and the results of the detection *** addition,six types of vulnerability labels are made on a dataset containing 33,885 contracts,and these knowledge-based features are evaluated using seven state-of-the-art learning algorithms,which show that the average detection latency speeds up 25×to 650×,compared with the features extracted by N-gram,and also can enhance the interpretability of the detection model.

关键词： Smart contract Bytecode&opcode Knowledgeable features Vulnerability detection Feature contribution

来源：评论

学校读者我要写书评

暂无评论

Joint User Association,Resource Allocation and Trajectory Design for Multi-UAV-Aided NOMA Wireless Communication systems

引用

China Communications 2025年第3期22卷 217-233页

作者： Yin Sixing Qu Zhaowei Yu Peng Beijing Key Laboratory of Network System Architecture and Convergence Beijing University of Posts and TelecommunicationsBeijing 100876China School of Computer Science Beijing University of Posts and TelecommunicationsBeijing 100876China

In this paper,we investigate a multi-UAV aided NOMA communication system,where multiple UAV-mounted aerial base stations are employed to serve ground users in the downlink NOMA communication,and each UAV serves its associated users on its own *** aim at maximizing the overall common throughput in a finite time *** a problem is a typical mixed integer nonlinear problem,which involves both continuous-variable and combinatorial *** efficiently solve this problem,we propose a two-layer algorithm,which separately tackles continuous-variable and combinatorial ***,in the inner layer given one user association scheme,subproblems of bandwidth allocation,power allocation and trajectory design are solved based on alternating *** the outer layer,a small number of candidate user association schemes are generated from an initial scheme and the best solution can be determined by comparing all the candidate *** particular,a clustering algorithm based on K-means is applied to produce all candidate user association schemes,the successive convex optimization technique is adopted in the power allocation subproblem and a logistic function approximation approach is employed in the trajectory design *** results show that the proposed NOMA scheme outperforms three baseline schemes in downlink common throughput,including one solution proposed in an existing literature.

关键词： NOMA resource allocation trajectory design UAV communications user association

来源：评论

学校读者我要写书评

暂无评论

A trajectory-level robot skill learning method based on fuzzy systems

引用

Science China(Information Sciences) 2025年第5期68卷 38-52页

作者： Chao ZENG Zhen DENG Boyang TI Yongsheng GAO Department of Computer Science University of Liverpool School of Mechanical Engineering and Automation Fuzhou University State Key Laboratory of Robotics Shenyang Institute of Automation Chinese Academy of Sciences Institutes for Robotics and Intelligent Manufacturing Chinese Academy of Sciences State Key Laboratory of Robotics and System Harbin Institute of Technology

Learning from demonstration(LfD) allows for the effective transfer of human manipulation skills to a robot by building a model that represents these skills based on a limited number of demonstrated ***,a skilllearning model that can comprehensively satisfy multiple requirements,such as computational complexity,modeling accuracy,trajectory smoothness,and robustness,is still ***,this work aims to provide such a model by employing fuzzy ***,we introduce an LfD model named Takagi-Sugeno-Kang fuzzy system-based movement primitives(TSKFMPs),which exploits the advantages of the fuzzy theory for effective robotic imitation learning of human *** work formulates the TSK fuzzy system and gradient descent(GD) as imitation learning models,leveraging recent advancements in GD-based optimization for fuzzy *** study takes a two-step strategy.(ⅰ) The input-output relationships of the model are established using TSK fuzzy systems based on demonstration *** this way,the skill is encoded by the model parameter in the latent space.(ⅱ) GD is used to optimize the model parameter to increase the modeling accuracy and trajectory *** further explain how learned trajectories are adapted to new task scenarios through local *** conduct multiple tests using an open dataset to validate our method,and the results demonstrate performance comparable with those of other ***,we implement it in a real-world case study.

关键词： robot skill learning movement primitives TSK fuzzy systems gradient descent robotics

来源：评论

学校读者我要写书评

暂无评论

Partial Task Offloading for AAV-Assisted Mobile Edge Computing With Energy Harvesting

引用

IEEE Internet of Things Journal 2025年第9期12卷 12777-12791页

作者： Niu, Zhaocheng Liu, Hui Du, Junzhao Ge, Yiming Xidian University School of Computer Science and Technology Shaanxi Xi’an710071 China State Key Laboratory of Satellite Navigation System and Equipment Technology Shijiazhuang050081 China

Due to the adaptable deployment and extensive coverage, autonomous aerial vehicles (AAVs) have gained considerable attention in the field of mobile edge computing (MEC). Nevertheless, meeting the requirements of task offloading in AAV-assisted MEC remains challenging due to limitations in computing power and battery life. To address this challenge, we investigate the problem of distributed joint task partial offloading and energy harvesting (EH) in AAV-assisted MEC to minimize both task execution latency and energy cost of the AAV system. We formulate this problem as a mixed-integer nonlinear programming problem and decompose this problem into two subproblems: 1) task offloading strategy problem and 2) task offloading ratio and EH problem. We propose a distributed algorithm to determine task offloading strategies of AAVs iteratively. Given the task offloading strategies of AAVs, the subproblem of task offloading ratio and EH duration is solved by the sine cosine algorithm. Experimental results demonstrate that our proposed algorithm can effectively reduce the task execution latency and energy cost of the AAV-assisted MEC system, and outperforms other baselines significantly. © 2014 IEEE.

关键词： Unmanned aerial vehicles (UAV)

来源：评论

学校读者我要写书评

暂无评论

A multi-channel image-based method for flight delay prediction in terminal area 4

A multi-channel image-based method for flight delay predicti...

引用

2024 4th International Conference on Intelligent Traffic systems and Smart City, ITSSC 2024

作者： Yang, Yihan Chen, Haiyan Yang, Longwu State Key Laboratory of Air Traffic Management System Nanjing China College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing China

ISBN: (纸本)9781510686304

With the rapid development of civil aviation, flight delays have become increasingly critical. Effectively predicting flight delays has become a research hotspot in recent years. In this paper, we propose a novel flight delay prediction method based on image recognition by applying deep learning techniques. We first rasterize the target terminal area into a grid image of size 25×25. Then, we convert the arrival and departure traffic flow data collected over some time into colors and fill them into the corresponding grids to obtain the arrival and departure traffic flow images. On this basis, we design the prediction model Attention-Complementary Hybrid Network (ACHNet), which can be used for multi-channel image feature fusion. It takes arrival and departure traffic flow images as inputs and fuses the spatial information of these two types of images through the fusion branch. We use the Convolutional Neural Network (CNN)-based prediction model to predict flight delays on arrival and departure traffic flow image sets respectively, and compare the prediction results with those of ACHNet. The experimental results show that the fusion of multi-channel image features can effectively improve the performance of flight delay prediction. © 2025 SPIE.

关键词： Convolutional neural networks

来源：评论

学校读者我要写书评

暂无评论

Formalization of Android Activity-Fragment Multitasking Mechanism and Static Analysis of Mobile Apps

引用

Formal Aspects of Computing 2025年第2期37卷 1-86页

作者： He, Jinlong Wu, Zhilin Chen, Taolue Key Laboratory of System Software Chinese Academy of Sciences Institute of Software Chinese Academy of Sciences Beijing China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China School of Computer Science and Technology University of Chinese Academy of Sciences Beijing China School of Computing and Mathematical Sciences Birkbeck University of London Northern Ireland London United Kingdom

The multitasking mechanism between activities and fragments plays a fundamental role in the Android operating system, which involves a wide range of features, including launch modes, intent flags, task affinities, and structured activities containing fragments. All of them are being widely used in Android apps, both open source and commercial ones. In this article, we present a formal semantics of the Android multitasking mechanism between activities and fragments, which accommodates all the important features and gives insofar the most comprehensive and accurate formalization. In particular, our semantics is formulated based on multi-stack systems, and fully captures the behavior of task stacks and activity stacks regarding fragments. Based on the semantics, we provide new static analysis algorithms, which are both multi-stack aware and fragment sensitive, thus achieve more precise static analysis for Android apps. We validate our approach by extensive experiments on both open source and commercial Android apps. The results highlight the benefits of the considering the semantics of the multitasking mechanism between activities and fragments in static analysis, and confirm the efficacy of our approach. © 2025 Copyright held by the owner/author(s).

关键词： Android multitasking mechanism activities and fragments formal semantics stack unboundedness static analysis

来源：评论

学校读者我要写书评

暂无评论

Stable Stochastic MPC for Uncertain Wind Energy Conversion system Over Whole Operating Regions

引用

IEEE Transactions on Energy Conversion 2025年第1期40卷 515-528页

作者： Liu, Xiangjie Guo, Shifan Ma, Lele Kong, Xiaobing Lee, Kwang Y. North China Electric Power University State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources Beijing102206 China Baylor University Department of Electrical and Computer Engineering WacoTX76798-7356 United States

The stochastic uncertainty of wind speed presents a great challenge for achieving reliable power control in wind energy conversion system (WECS). Due to the excellence in handling the uncertainties based on probabilistic descriptions, stochastic model predictive control (SMPC) has been regarded as a promising strategy for WECS. However, owing to fluctuation characteristic of wind speed, operating points commonly change in WECS. Thus, an important limitation of applying SMPC to WECS stems from the fact that feasibility and stability of the traditional SMPC can only be ensured at one single predesigned operating point. Regarding this issue, a stable SMPC strategy for uncertain WECS is proposed in this paper to ensure the feasibility and stability of WECS under changing operating points over the whole operating regions. A Luenberger observer is employed to estimate model-plant mismatch introduced by linearization process, while a tube-based control framework is deployed to cope with stochastic wind speed disturbance. The feasibility of SMPC is ensured by incorporating artificial steady targets as optimization variables, while the stability of WECS is guaranteed by modifying the cost function and extending the terminal constraint. The effectiveness of the proposed strategy is validated through simulations and experiments under different scenarios. © 1986-2012 IEEE.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Edge-Cloud Cooperation-Driven Intelligent Sustainability Evaluation Strategy Based on IoT and CPS for Energy-Intensive Manufacturing Industries

引用

IEEE Internet of Things Journal 2025年第9期12卷 12287-12297页

作者： Ma, Shuaiyin Huang, Yuming Chen, Yanping Xiao, Qinge Xu, Jun Leng, Jiewu Xi’an University of Posts and Telecommunications Shaanxi Key Laboratory of Network Data Analysis and Intelligent Processing Xi’an Key Laboratory of Big Data and Intelligent Computing School of Computer Science and Technology Xi’an710121 China Shenzhen Institute of Advanced Technology Chinese Academy of Sciences Shenzhen518055 China Xidian University Advanced Manufacturing Technology Innovation Center Guangzhou Institute of Technology Guangzhou510555 China Guangdong University of Technology Guangdong Provincial Key Laboratory of Computer Integrated Manufacturing System State Key Laboratory of Precision Electronic Manufacturing Technology and Equipment Guangzhou510006 China

The advancement of the Industry 5.0 in information technology has led to increased interest in integrating edge-cloud cooperation with Internet of Things (IoT) and cyber-physical system (CPS) designs. This integration effectively reduces service delays and provides real-time analysis feedback to physical spaces, attracting attention from both academia and industry. These advanced technologies enhance production system intelligence, their alignment with circular economy principles for promoting sustainability has been overlooked. To address this gap, this article proposes an intelligent sustainability evaluation strategy driven by edge-cloud cooperation, IoT, and CPS. The proposed approach aims to enhance production sustainability and intelligence through circular economy perspectives. It introduces improved gray relation analysis and deep clustering network techniques to extract meaningful insights from diverse indicators within the evaluation system. By analyzing relationships between different equipment and workshops, it provides an analytical method that enhances production efficiency while reducing energy consumption and resource waste. To further validate the proposed method, an illustrative example using a partner company’s production data demonstrates its accuracy. © 2014 IEEE.

关键词： Circular economy

来源：评论

学校读者我要写书评

暂无评论

Assessment of Multilevel Intransitive Noninterference by Nonblocking Analysis

引用

IEEE Transactions on Automatic Control 2025年第5期70卷 2902-2917页

作者： Zhong, Wenjing Zhao, Jinjing Hu, Hesuan Xidian University School of Electro-Mechanical Engineering Xi'an710071 China National Key Laboratory of Science and Technology on Information System Security Beijing100101 China Nanyang Technological University School of Computer Science and Engineering College of Engineering 639798 Singapore Xi'an Jiaotong University State Key Laboratory for Manufacturing Systems Engineering Xi'an710054 China

Security of system behavior is a kind of information flow security, which is achieved by confusing the intruders via the indistinguishability of system behaviors. Noninterference is a typical notion to describe information flow security, for which multilevel intransitive noninterference (MINI) is an advanced variant. Since there is a lack of rigorous approach to assessing MINI, this article achieves so via observability theory. For systems modeled by labeled Petri nets (LPNs), two MINI properties, i.e., positive MINI (PMINI) and bipolar MINI (BMINI), are considered. First, a necessary and sufficient condition for their assessment is established via language equivalence. Language equivalence analyses for PMINI and BMINI are based on the existing trace equivalence and the proposed INI bisimulation, respectively. INI bisimulation is more comprehensive to describe negative noninterference than bisimulation. Second, another necessary and sufficient condition is established after the transformation of MINI assessment problem to nonblocking analysis problem. The core of such a problem transformation is the stepwise construction of nonblocking analyzer. This stepwise construction allows MINI assessment to proceed online before terminating at an appropriate time. In addition, this stepwise construction fully employs the concurrency of LPNs so that MINI can be assessed in a multithreaded way. Both online and multithreaded MINI assessments can improve assessment efficiency. © 1963-2012 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming

引用

ACM Transactions on Programming Languages and systems 2025年第1期47卷 1-35页

作者： Wu, Hao Wang, Qiuye Xue, Bai Zhan, Naijun Zhi, Lihong Yang, Zhi-Hong State Key Lab. of Computer Sciences Institute of Software Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China Fermat Labs Huawei Inc. Dongguan China Key Lab. of System Software and State Key Lab. of Computer Science Institute of Software Chinese Academy of Sciences Beijing China Key Laboratory of High Confidence Software Technology School of Computer Science Peking University Beijing China School of Mathematics and Statistics Central South University Changsha China

Constraint-solving-based program invariant synthesis takes a parametric invariant template and encodes the (inductive) invariant conditions into constraints. The problem of characterizing the set of all valid parameter assignments is referred to as the strong invariant synthesis problem, while the problem of finding a concrete valid parameter assignment is called the weak invariant synthesis problem. For both problems, the challenge lies in solving or reducing the encoded constraints, which are generally non-convex and lack efficient solvers. In this article, we propose two novel algorithms for synthesizing invariants of polynomial programs using semidefinite programming (SDP): (1) The Cluster algorithm targets the strong invariant synthesis problem for polynomial invariant templates. Leveraging robust optimization techniques, it solves a series of SDP relaxations and yields a sequence of increasingly precise under-approximations of the set of valid parameter assignments. We prove the algorithm’s soundness, convergence, and weak completeness under a specific robustness assumption on templates. Moreover, the outputs can simplify the weak invariant synthesis problem. (2) The Mask algorithm addresses the weak invariant synthesis problem in scenarios where the aforementioned robustness assumption does not hold, rendering the Cluster algorithm ineffective. It identifies a specific subclass of invariant templates, termed masked templates, involving parameterized polynomial equalities and known inequalities. By applying variable substitution, the algorithm transforms constraints into an equivalent form amenable to SDP relaxations. Both algorithms have been implemented and demonstrated superior performance compared to state-of-the-art methods in our empirical evaluation. © 2025 Copyright held by the owner/author(s).

关键词： Polynomial approximation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：