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

IEEE International Conference on software Analysis, Evolution and Reengineering (SANER)

作者： Junwei Zhang Xing Hu Lingfeng Bao Xin Xia Shanping Li The State Key Laboratory of Blockchain and Data Security Zhejiang University Hangzhou China Software Engineering Application Technology Lab Huawei China

ISBN: (数字)9798350330663

ISBN: (纸本)9798350330670

Vulnerabilities are disclosed with corresponding patches so that users can remediate them in time. However, there are instances where patches are not released with the disclosed vulnerabilities, causing hidden dangers, especially if dependent software remains uninformed about the affected code repository. Hence, it is crucial to automatically locate security patches for disclosed vulnerabilities among a multitude of commits. Despite the promising performance of existing learning-based localization approaches, they still suffer from the following limitations: (1) They cannot perform well in data scarcity scenarios. Most neural models require extensive datasets to capture the semantic correlations between the vulnerability description and code commits, while the number of disclosed vulnerabilities with patches is limited. (2) They struggle to capture the deep semantic correlations between the vulnerability description and code commits due to inherent differences in semantics and characters between code changes and commit messages. It is difficult to use one model to capture the semantic correlations between vulnerability descriptions and code commits. To mitigate these two limitations, in this paper, we propose a novel security patch localization approach named Prom VPat, which utilizes the dual prompt tuning channel to capture the semantic correlation between vulnerability descriptions and commits, especially in data scarcity (i.e., few-shot) scenarios. We first input the commit message and code changes with the vulnerability description into the prompt generator to generate two new inputs with prompt templates. Then, we adopt a pre-trained language model (i.e., PLM) as the encoder, utilize the prompt tuning method to fine-tune the encoder, and generate two correlation probabilities as the semantic features. In addition, we extract 26 handcrafted features from the vulnerability descriptions and the code commits. Finally, we utilize the attention mechanism to fuse the

关键词： Location awareness Codes Correlation Semantics PROM Feature extraction software

来源：评论

学校读者我要写书评

暂无评论

Optimal Model of Hydrogen Production Coupled Sewage Treatment from Renewable Energy for Hydrogen and Oxygen Utilization 10

Optimal Model of Hydrogen Production Coupled Sewage Treatmen...

引用

10th IEEE International Power Electronics and Motion Control Conference, IPEMC 2024 ECCE Asia

作者： Qi, Sihang Hu, Kewei Wang, Zhan Ma, Ruodong Zhang, Yu Xiong, Binyu Wuhan University of Technology School of Automation Wuhan China Huazhong University of Science and Technology State Key Lab. of Adv. Electromagnetic Eng. and Technol. Sch. of Elec. and Electronic Engineering Wuhan China State Grid-Hubei-Electric Power Research Institute Wuhan China

ISBN: (纸本)9798350351330

To avoid the waste of oxygen, a byproduct of hydrogen production from electricity, this article proposes a new utilization scenario that combines renewable energy hydrogen production with sewage treatment, and supplies pure oxygen from hydrogen production to the aerobic aeration tank for sewage treatment. This scenario involves combining pure oxygen with air, achieving the optimal pure oxygen ratio through adjustment, and then being aerated by an aerator into an aerobic bioreactor. While achieving comprehensive utilization of hydrogen and oxygen, it greatly enhances the economy of renewable energy hydrogen production. A new application scenario for renewable energy hydrogen production is provided, and simulation results show that its daily operating cost is reduced by 67.5%. The energy consumption of the aerator is reduced by 28.5%, and the light rejection rate is reduced by 30%. © 2024 IEEE.

关键词： Oxygen

来源：评论

学校读者我要写书评

暂无评论

Optimal Strategies for the Game with Two Faster 3D Pursuers and One Slower 2D Evader 41

Optimal Strategies for the Game with Two Faster 3D Pursuers ...

引用

第41届中国控制会议

作者： Runqi Zhang Shuai Li Chen Wang Guangming Xie State Key Laboratory of Turbulence and Complex Systems Intelligent Biomimetic Design LabCollege of EngineeringPeking University National Engineering Research Center of Software Engineering Peking University Center for Multi-Agent Research Institute for Artificial IntelligencePeking University

ISBN: (数字)9789887581536

ISBN: (纸本)9781665482561

A pursuit-evasion differential game with two faster pursuers in 3 D space and one slower evader in a 2 D plane is *** pursuers,which have different speeds,attempt to cooperate to capture the evader while the evader struggles to avoid or delay the *** differential games and the concept of isochron,we present a complete solution to this game and develop the optimal strategies for both the pursuers and the *** order to guarantee the optimality of the proposed strategies,the value function of the game is given and is further proved to be the solution of the corresponding Hamilton-Jacobi-Isaacs ***,simulations are carried out with comparisons between the proposed strategies and other typical strategies,the results of which show the optimality of the proposed strategies.

关键词： Pursuit-evasion differential games multi-agent system optimal strategy

来源：评论

学校读者我要写书评

暂无评论

Reach-Avoid Analysis for Sampled-Data Systems with Measurement Uncertainties

Reach-Avoid Analysis for Sampled-Data Systems with Measureme...

引用

American Control Conference (ACC)

作者： Taoran Wu Dejin Ren Shuyuan Zhang Lei Wang Bai Xue State Key Lab. of Computer Science Institute of Software CAS Beijing China University of Chinese Academy of Sciences Beijing China Beihang University Beijing China

ISBN: (数字)9798350382655

ISBN: (纸本)9798350382662

Digital control has become increasingly prevalent in modern systems, making continuous-time plants controlled by discrete-time (digital) controllers ubiquitous and crucial across industries, including aerospace, automotive, and manufacturing. This paper focuses on investigating the reach-avoid problem in such systems, where the objective is to reach a goal set while avoiding unsafe states, especially in the presence of state measurement uncertainties. We propose an approach that builds upon the concept of exponential control guidance-barrier functions, originally used for synthesizing continuous-time feedback controllers. We introduce a sufficient condition that, if met by a given continuous-time feedback controller, ensures the safe guidance of the system into the goal set in its sampled-data implementation, despite state measurement uncertainties. The event of reaching the goal set is determined based on state measurements obtained at the sampling time instants. Numerical examples are provided to demonstrate the validity of our theoretical developments, showcasing successful implementation in solving the reach-avoid problem in sampled-data systems with state measurement uncertainties.

关键词： Industries Digital control Sufficient conditions Measurement uncertainty Sampled data systems Time measurement Manufacturing

来源：评论

学校读者我要写书评

暂无评论

Safe Exit Controllers Synthesis for Continuous-time Stochastic Systems

arXiv

引用

arXiv 2023年

作者： Xue, Bai State Key Lab. of Computer Science Institute of Software CAS Beijing China University of Chinese Academy of Sciences Beijing China

This paper tackles the problem of generating safe exit controllers for continuous-time systems described by stochastic differential equations (SDEs). The primary aim is to develop controllers that maximize the lower bounds of the exit probability that the system escapes from a safe but uncomfortable set within a specified time frame and guide it towards a comfortable set. The paper considers two distinct cases: one in which the boundary of the safe set is a subset of the boundary of the uncomfortable set, and the other where the boundaries of the two sets do not intersect. To begin, we present a sufficient condition for establishing lower bounds on the exit probability in the first case. This condition serves as a guideline for constructing an online linear programming problem. The linear programming problem is designed to implicitly synthesize an optimal exit controller that maximizes the lower bounds of the exit probability. The method employed in the first case is then extended to the second one. Finally, we demonstrate the effectiveness of the proposed approaches on one example. Copyright © 2023, The Authors. All rights reserved.

关键词： Controllers

来源：评论

学校读者我要写书评

暂无评论

Reach-avoid Verification using Lyapunov Densities

arXiv

引用

arXiv 2023年

作者： Xue, Bai State Key Lab. of Computer Science Institute of Software CAS Beijing China University of Chinese Academy of Sciences Beijing China

Reach-avoid analysis combines the construction of safety and specific progress guarantees, and is able to formalize many important engineering problems. In this paper we study the reach-avoid verification problem of systems modelled by ordinary differential equations using Lyapunov densities. Firstly, the weak reach-avoid verification is considered. Given an initial set, a safe set and a target set, the weak reach-avoid verification is to verify whether the reach-avoid property (i.e., the system will enter the target set eventually while staying inside the safe set before the first target hitting time) holds for almost all states in the initial set. We propose two novel sufficient conditions using Lyapunov densities for the weak reach-avoid verification. These two sufficient conditions are shown to be weaker than existing ones, providing more possibilities of verifying weak reach-avoid properties successfully. Then, we generalize these conditions to the verification of reach-avoid properties for all states in the initial set. Finally, an example demonstrates theoretical developments of proposed conditions. Copyright © 2023, The Authors. All rights reserved.

关键词： Ordinary differential equations

来源：评论

学校读者我要写书评

暂无评论

Cache-Assisted Computation Offloading for Workflow Applications in Industrial Internet Of Things

SSRN

引用

SSRN 2023年

作者： Peng, Kai Kang, Bingtao Zhao, Bohai Huaqiao University Quanzhou362021 China State Key Lab. for Novel Software Technology Nanjing University Nanjing210000 China

The Internet of Things plays an important role in the process of industrial intelligence. It connects devices and the Internet to realize data collection and analysis. However, industrial Internet of Things (IIoT) applications are particularly sensitive to latency, and there are certain requirements on the energy consumption of IIoT devices. Fortunately, edge computing can migrate tasks to the cloud or edge to deal with the above shortcomings. Nevertheless, tasks generated by IIoT devices in industrial production have a higher rate of repetition, and repetitive execution of the same task diminishes the operational efficiency of the edge system. Given the above issue, we investigate the computation offloading in IIoT, and establish the corresponding mathematical models. Technically, we enhance the system efficiency by incorporating cache servers into the mobile edge computing (MEC) architecture, working in collab.ration with edge servers. Meanwhile, we propose a multi-objective optimization algorithm with cache-assisted for these applications. Moreover, the algorithm can allocate resources based on the characteristics of users’ tasks. Extensive experiments show that our algorithm has excellent optimization effect in terms of latency and energy consumption. © 2023, The Authors. All rights reserved.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

A Survey on Modern Code Review: Progresses, Challenges and Opportunities

arXiv

引用

arXiv 2024年

作者： Yang, Zezhou Gao, Cuiyun Guo, Zhaoqiang Li, Zhenhao Liu, Kui Xia, Xin Zhou, Yuming Harbin Institute of Technology Shenzhen China Software Engineering Application Technology Lab Huawei Hangzhou China State Key Laboratory for Novel Software Technology Nanjing University Nanjing China

Over the past decade, modern code review (MCR) has been deemed as a crucial practice of software quality assurance, which is applied to improve software quality and transfer development knowledge within a software team. Despite its importance, MCR is often a complicated and time-consuming activity for practitioners. In recent years, many studies that are dedicated to the comprehension and the improvement of MCR have been explored so that the MCR activity can be carried out more conveniently and efficiently. To provide researchers and practitioners a clear understanding of the current research status on MCR, this paper conducts a systematic literature review of the past years. Given the collected 231 surveyed papers, this paper makes the following five contributions: First, we analyze the research trends of related MCR studies. Second, we provide a taxonomy for the current MCR, encompassing both Improvement Techniques and Understanding Studies. Third, we present the concrete research progress of each novel MCR methodology and prototype tool. Fourth, we exploit the main empirical insights from empirical study and user study that are helpful to improve MCR. Finally, we sum up unsolved challenges and outline several possible research opportunities in the future. Copyright © 2024, The Authors. All rights reserved.

关键词： Computer software selection and evaluation

来源：评论

学校读者我要写书评

暂无评论

Suppression of self-pulsing in high power Tm3+-doped fiber laser

Suppression of self-pulsing in high power Tm3+-doped fiber l...

引用

2023 Advanced Fiber Laser Conference, AFL 2023

作者： Shen, Shiteng Dong, Fanlong Yan, Peiguang Wang, Jingzhang Lue, Qitao Guo, Chunyu Ruan, Shuangchen Shenzhen Key Laboratory of Laser Engineering Guangdong Provincial Key Laboratory of Micro/Nano Optomechatronics Engineering Key Laboratory of Optoelectronic Devices and Systems of Ministry of Education and Guangdong Province State Key Laboratory of Radio Frequency Heterogeneous Integration College of Physics and Optoelectronic Engineering Shenzhen University Shenzhen518060 China Key Lab. of Adv. Optical Precision Manufacturing Technology of Guangdong Higher Education Institutes Shenzhen Technology University Shenzhen518118 China Han s Laser Technology Industry Group Co. Ltd Shenzhen518057 China

ISBN: (纸本)9781510677661

In this paper, a high power Tm3+-doped fiber laser (TDFL) based on a monolithic master oscillator power amplifier (MOPA) system with the center wavelength is 1940 nm is demonstrated. The maximum laser power was measured to be 200 W with a slope efficiency of 56.2% at the 793 nm pump power of 368.6 W. Power stability of the laser output over 60 min is measured to be ∼0.12%, which indicate a relatively stable laser operation of the TDFL. The output power is limited by the availab.e pump power for the lack of amplified spontaneous emission, parasitic oscillation or self-pulsing effects even at the maximum output power level, showing further power scaling should be possible with increase the pump power. © COPYRIGHT SPIE. Downloading of the abstract is permitted for personal use only.

关键词： Fiber lasers

来源：评论

学校读者我要写书评

暂无评论

Mid-infrared conventional solitons and soliton molecules in a polarization-maintaining fluoride fiber oscillator

Mid-infrared conventional solitons and soliton molecules in ...

引用

2023 Advanced Fiber Laser Conference, AFL 2023

作者： Zeng, Qinghui Yu, Linpeng Yan, Peiguang Wang, Jinzhang Lue, Qitao Guo, Chunyu Ruan, Shuangchen Shenzhen Key Laboratory of Laser Engineering Guangdong Provincial Key Laboratory of Micro/Nano Optomechatronics Engineering Key Laboratory of Optoelectronic Devices and Systems of Ministry of Education and Guangdong Province State Key Laboratory of Radio Frequency Heterogeneous Integration College of Physics and Optoelectronic Engineering Shenzhen University Shenzhen518060 China Key Lab. of Adv. Optical Precision Manufacturing Technology of Guangdong Higher Education Institutes Shenzhen Technology University Shenzhen518118 China Han s Laser Technology Industry Group Co. Ltd Shenzhen518057 China

ISBN: (纸本)9781510677661

Mid-infrared conventional solitons and soliton molecules are generated in a polarization-maintaining erbium-doped fluoride fiber oscillator, where a semiconductor saturable absorber is used as the mode locker and a polarization beam splitter is employed for getting linearly polarized output pulses. By rotating the half-wave plate in front of the polarization beam splitter to change the output coupling ratio, the system is switchable between conventional solitons and soliton molecules. conventional solitons with a pulse duration of 120 ps, a maximum average power of 248 mW, and a repetition rate of 44.5 MHz are obtained when the oscillator operates in the single-pulse mode-locked state. By decreasing the output coupling ratio, the operating regime of the oscillator switches to the soliton-molecule mode-locked state, in which soliton-triplets equally distributed at a repetition rate of 44.5 MHz with a signal-to-noise ratio of 78 dB and a temporal separation of 60 ps are obtained. Our work offers a scheme to realize switchable operations between the conventional soliton and the soliton molecule in the mid-infrared polarization-maintaining mode-locked fiber laser. © COPYRIGHT SPIE. Downloading of the abstract is permitted for personal use only.

关键词： Fluorine compounds

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：