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

A Code Completion Approach Combining Pointer Network and Transformer-XL Network 19th

A Code Completion Approach Combining Pointer Network and Tr...

19th EAI International Conference on Collab.rative Computing: Networking, Applications and Worksharing, Collab.rateCom 2023

作者： Zhang, Xiangping Liu, Jianxun Long, Teng Hu, Haize School of Computer Science and Engineering Hunan University of Science and Technology Hunan Xiangtan411100 China Hunan Key Lab. for Services Computing and Novel Software Technology Hunan University of Science and Technology Hunan Xiangtan411100 China

ISBN: (纸本)9783031545207

Code completion is an integral component of modern integrated development environments, as it not only facilitates the software development process but also enhances the quality of software products. By leveraging large-scale codes to learn the probability distribution among code token units, deep learning methods have demonstrated significant improvements in the accuracy of token unit recommendations. However, the effectiveness of code completion with deep learning techniques is hindered by information loss. To alleviate the above problem, we proposed a code language model which combines the pointer network and Transformer-XL network to overcome the limitations of existing approaches in code completion. The proposed model takes as input the original code fragment and its corresponding abstract syntax tree and leverages the Transformer-XL model as the basis model for capturing long-term dependencies. Furthermore, we integrate a pointer network as a local component to predict the out-of-vocabulary words. The proposed method is evaluated on real PY150 and JS150 datasets. The comparative experimental results demonstrate the effectiveness of our model in improving the accuracy of the code completion task at the token unit level. © ICST Institute for Computer Sciences, Social Informatics and Telecommunications engineering 2024.

关键词： Probability distributions

来源：评论

学校读者我要写书评

暂无评论

Formally Verified C Code Generation from Hybrid Communicating Sequential Processes

arXiv

引用

arXiv 2024年

作者： Wang, Shuling Ji, Zekun Zhan, Bohua Xu, Xiong Gao, Qiang Zhan, Naijun State Key Lab. of Computer Science Institute of Software Chinese Academy of Sciences Beijing China

Hybrid Communicating Sequential Processes (HCSP) is a formal model for hybrid systems, including primitives for evolution along an ordinary differential equation (ODE), communication, and parallel composition. Code generation is needed to convert HCSP models into code that can be executed in practice, and the correctness of this conversion is essential to ensure that the generated code accurately reflects the formal model. In this paper, we propose a code generation algorithm from HCSP to C with POSIX library for concurrency. The main difficulties include how to bridge the gap between the synchronized communication model in HCSP and the use of mutexes for synchronization in C, and how to discretize evolution along ODEs and support interrupt of ODE evolution by communication. To prove the correctness of code generation, we define a formal semantics for POSIX C, and build transition system models for both HCSP and C programs. We then define an approximate bisimulation relation between traces of transition systems, and show that under certain robustness conditions for HCSP, the generated C program is approximately bisimilar to the original model. Finally, we evaluate the code generation algorithm on a detailed model for automatic cruise control, showing its utility on real-world examples. Copyright © 2024, The Authors. All rights reserved.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

Long- and Short- Term Sequential Recommendation with Temporal Interval 19

Long- and Short- Term Sequential Recommendation with Tempora...

引用

2022 IEEE SmartWorld, 19th IEEE International Conference on Ubiquitous Intelligence and Computing, 2022 IEEE International Conference on Autonomous and Trusted Vehicles Conference, 22nd IEEE International Conference on Scalab.e Computing and Communications, 2022 IEEE International Conference on Digital Twin, 8th IEEE International Conference on Privacy Computing and 2022 IEEE International Conference on Metaverse, SmartWorld/UIC/ATC/ScalCom/DigitalTwin/PriComp/Metaverse 2022

作者： He, Kun Liu, Qiyan Li, Qianmu Meng, Shunmei Nanjing University of Science and Technology Nanjing China University of Toronto Computer Engineering Canada Nanjing University State Key Lab. for Novel Software Technology Nanjing China

ISBN: (纸本)9798350346558

Sequential recommendation aims to learn the changes of users' interests according to their historical behaviors and predict the most likely next item. Since user's historical behavior are sequential actions, user's interest in different time periods has different emphases. For predicting a user's next item, not only the recent behavior is important, but also long-term preference with all historical behaviors could not be ignored. Recently, self-attention based user preference modeling has drawn much attention for its advantages of fewer parameters and parallelism. However, most of the existing self-attention based model do not make a good distinction between the long-term and short-term preferences of users. Based on the observations, we design a sequential recommendation model based on a combination of long-term and short-term preference. On the one hand, considering the changes of users' interests in different periods, we divide the sequence of users' behaviors into different temporal windows. Then, we use GRU to capture users' interests in different temporal window. On the other hand, to better combine the global and local information of user's, we adopt a locally constrained multi-head attention mechanism based on Transformer encoder. On three real-world public datasets, we finally validate the efficacy of our method. © 2022 IEEE.

关键词： User profile

来源：评论

学校读者我要写书评

暂无评论

Graph-based Multi-view Clustering for Web services 21

Graph-based Multi-view Clustering for Web services

引用

21st IEEE International Symposium on Parallel and Distributed Processing with Applications, 13th IEEE International Conference on Big Data and Cloud Computing, 16th IEEE International Conference on Social Computing and Networking and 13th International Conference on Sustainable Computing and Communications, ISPA/BDCloud/SocialCom/SustainCom 2023

作者： Yang, Wang Zhenzhen, Yuan Guosheng, Kang Buqing, Cao Jianxun, Liu Yong, Xiao Hnust Xiangtan China Hunan University of Science and Technology Hunan Provincial Key Lab. for Services Computing and Novel Software Technology Xiangtan China School of Computer Science and Engineering China

ISBN: (纸本)9798350329223

The number of Web services on the Internet has been steadily increasing in recent years due to their growing popularity. Under the big data environment, how to effectively manage Web services is of significance for service discovery, service recommendation, etc. It is widely studied that Web services clustering is an effective way for service management. However, most of the current Web service clustering only extracts the information of Web services for clustering from one view, such as Web service content descriptions, networks in which Web services participate, and so on. Extracting information from Web services only unilaterally will not be able to provide a three-dimensional and comprehensive description of Web services, which may diminish the effect of Web service clustering. In addition, some Web service resources will be wasted if other information of Web services is not used at the same time. We find that multi-view clustering can simultaneously consider multiple information of a data at the same time, and multiple information can complement and enhance each other according to the characteristics of multiview clustering. Therefore, in this paper, we apply Web services to graph-based multi-view clustering in multi-view clustering to improve the performance of Web service clustering by simultaneously considering multiple feature information about Web services and distributing different weights to different information in the clustering process. © 2023 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

The Interaction Between Active Power and Synchronization Loops of PMSG Within Electromechanical Timescale 2

The Interaction Between Active Power and Synchronization Loo...

引用

2nd IEEE International Power Electronics and Application Symposium, PEAS 2023

作者： Zhang, Yayao Zhan, Meng Huazhong University of Science and Technology State Key Lab. of Adv. Electromagnetic Eng. and Technology Electrical and Electronic Engineering Wuhan China

ISBN: (纸本)9798350313765

The interaction between the control links of the permanent magnet synchronous generator (PMSG) is one of the important factors that cause the instability of the PMSG grid-connected system. However, most of the researches on interaction focus on the electromagnetic timescale, and the electromechanical timescale is less involved. This paper analyzes the interaction between the active power loop and the synchronization loop of the PMSG within electromechanical timescale. Firstly, the simplified small-signal model of the PMSG single-machine infinite-bus system within electromechanical timescale is established. Then, the equivalent Heffron-Phillips model of the PMSG is proposed, and the interaction between the active power loop and the synchronization loop is quantitatively analyzed by the damping torque method. It is found that the active power loop can 'slow down' the dynamics of the synchronization loop, so that it belongs to electromechanical timescale. These findings provide some new insights into the interaction between the active power loop and the synchronization loop of the PMSG. © 2023 IEEE.

关键词： active power loop electromechanical timescale interaction permanent magnet synchronous generator synchronization loop

来源：评论

学校读者我要写书评

暂无评论

Flight Simulator Column Force Modeling by System Identification 23

Flight Simulator Column Force Modeling by System Identificat...

引用

15th International Conference on Computer Modeling and Simulation, ICCMS 2023

作者： Cai, Xiangqun Lei, Xiaoyong Dai, Shuling Li, Weiqi State Key Lab. of Virtual Reality Technology and Systems Beihang University China School of Automation Science and Electrical Engineering Beihang University China

ISBN: (纸本)9798400707919

In this work, a modeling method of aircraft control column force based on system identification is proposed. Using the data of "lever force displacement"and "lever release"tests, the column force model of the longitudinal channel of the control system is established, and least square method is used to identify the model parameters. The acquired model is used for the simulation of the irreversible hydraulic control system, and the simulation results are compared with test results. It is indicated that the simulation accuracy meets the requirements of CCAR 60 for the column force model of the simulator control system. The proposed model has a simple structure and high computational efficiency. The identification method is independent of the original design parameters of the control system and has good robustness. © 2023 ACM.

关键词： Flight simulators

来源：评论

学校读者我要写书评

暂无评论

Study on startup characteristics of prototype once-through steam generator for China fast reactor

引用

International Journal of Advanced Nuclear Reactor Design and Technology 2022年第1期4卷 26-35页

作者： Min, Xin Zhang, Dalin Xu, Rongshuan Wang, Shibao Chen, Youchun Wang, Chenglong Tian, Wenxi Qiu, Suizheng Su, G.H. State Key Laboratory of Multiphase Flow in Power Engineering Shaanxi Key Lab. of Advanced Nuclear Energy and Technology School of Nuclear Science and Technology Xi'an Jiaotong University Xi'an710049 China

Once-through steam generator (OTSG) is a vital heat transfer equipment of China Fast Reactor-600 (CFR-600), and its startup characteristics are of great importance to the safe operation of nuclear power plant. In this paper, first of all, the Thermal-hydraulic analysis Code Of Sodium heated once-through Steam generator (TCOSS) has been further optimized, and the code was introduced in the text. Secondly, the Steam Generator Test Facility (SGTF) and India Commercial Fast Breeder Reactor (CFBR) were selected for steady-state verification, and the feedwater flow rate increase condition of the prototype OTSG experiment was selected for transient verification. All the verifications were in good compliance, which proved the reliability of the TCOSS code for subsequent calculation of startup conditions. Finally, taking the prototype OTSG of CFR-600 as the research object, and the transient characteristics of cold startup and hot startup have been predicted and analyzed. The results show that both processes of cold startup and hot startup for prototype OTSG can be realized stably. The simulation results of startup processes showed a good agreement with expectations, which can provide support for the development of CFR-600 steam generator. © 2022 Xi'an Jiaotong University

关键词： Steam generators

来源：评论

学校读者我要写书评

暂无评论

PS3: Precise Patch Presence Test Based on Semantic Symbolic Signature 24

PS3: Precise Patch Presence Test Based on Semantic Symbolic ...

引用

44th ACM/IEEE International Conference on software engineering, ICSE 2024

作者： Zhan, Qi Hu, Xing Li, Zhiyang Xia, Xin Lo, David Li, Shanping Zhejiang University The State Key Laboratory of Blockchain and Data Security Hangzhou China Zhejiang University Hangzhou China Software Engineering Application Technology Lab Huawei China Singapore Management University Singapore

ISBN: (纸本)9798400702174

During software development, vulnerabilities have posed a significant threat to users. Patches are the most effective way to combat vulnerabilities. In a large-scale software system, testing the presence of a security patch in every affected binary is crucial to ensure system security. Identifying whether a binary has been patched for a known vulnerability is challenging, as there may only be small differences between patched and vulnerable versions. Existing approaches mainly focus on detecting patches that are compiled in the same compiler options. However, it is common for developers to compile programs with very different compiler options in different situations, which causes inaccuracy for existing methods. In this paper, we propose a new approach named PS3, referring to precise patch presence test based on semantic-level symbolic signature. PS3 exploits symbolic emulation to extract signatures that are stable under different compiler options. Then PS3 can precisely test the presence of the patch by comparing the signatures between the reference and the target at semantic level. To evaluate the effectiveness of our approach, we constructed a dataset consisting of 3,631 (CVE, binary) pairs of 62 recent CVEs in four C/C++ projects. The experimental results show that PS3 achieves scores of 0.82, 0.97, and 0.89 in terms of precision, recall, and F1 score, respectively. PS3 outperforms the state-of-the-art baselines by improving 33% in terms of F1 score and remains stable in different compiler options. © 2024 ACM.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

All-Optical Metro Network with Hybrid OCS and Optical Time-slot Switching Capability for Converged Access Services

All-Optical Metro Network with Hybrid OCS and Optical Time-s...

引用

2024 Asia Communications and Photonics Conference, ACP 2024 and International Conference on Information Photonics and Optical Communications, IPOC 2024

作者： Wang, Yuan Liu, Zhaoyang Pan, Bitao School of Information and Communication Engineering Beijing University of Posts and Telecommunications Beijing China State Key Lab. of Information Phonics and Optical Communications Beijing University of Posts and Telecommunications Beijing China

We propose an all-optical metro network with hybrid optical switching (HOS) for serving converged fixed, mobile, and edge computing services. Numerical results show that the network achieves up to 28% and 77% waveleng... 详细信息

ISBN: (纸本)9798350379266

关键词： Subways

来源：评论

学校读者我要写书评

暂无评论

Navigating the Unknown: A Chat-Based Collab.rative Interface for Personalized Exploratory Tasks 25

Navigating the Unknown: A Chat-Based Collaborative Interface...

引用

30th International Conference on Intelligent User Interfaces, IUI 2025

作者： Peng, Yingzhe Qin, Xiaoting Zhang, Zhiyang Zhang, Jue Lin, Qingwei Yang, Xu Zhang, Dongmei Rajmohan, Saravan Zhang, Qi Key Lab. of New Generation Artificial Intelligence Technology and Its Interdisciplinary Applications Southeast University Ministry of Education China Nanjing China Microsoft Beijing China State Key Laboratory for Novel Software Technology Nanjing University Jiangsu Nanjing China Microsoft RedmondWA United States

ISBN: (纸本)9798400713064

The rise of large language models (LLMs) has revolutionized user interactions with knowledge-based systems, enabling chatbots to synthesize vast amounts of information and assist with complex, exploratory tasks. However, LLM-based chatbots often struggle to provide personalized support, particularly when users start with vague queries or lack sufficient contextual information. This paper introduces the Collab.rative Assistant for Personalized Exploration (CARE), a system designed to enhance personalization in exploratory tasks by combining a multi-agent LLM framework with a structured user interface. CARE's interface consists of a Chat Panel, Solution Panel, and Needs Panel, enabling iterative query refinement and dynamic solution generation. The multi-agent framework collab.rates to identify both explicit and implicit user needs, delivering tailored, actionable solutions. In a within-subject user study with 22 participants, CARE was consistently preferred over a baseline LLM chatbot, with users praising its ability to reduce cognitive load, inspire creativity, and provide more tailored solutions. Our findings highlight CARE's potential to transform LLM-based systems from passive information retrievers to proactive partners in personalized problem-solving and exploration. The code will be made availab.e at https://***/chatbot-care. © 2025 Copyright held by the owner/author(s).

关键词： Chatbots

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：