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

International Conference on Software engineering (ICSE)

作者： Zhen Li Ning Wang Deqing Zou Yating Li Ruqian Zhang Shouhuai Xu Chao Zhang Hai Jin National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Hubei Key Laboratory of Distributed System Security Hubei Engineering Research Center on Big Data Security Cluster and Grid Computing Lab School of Cyber Science and Engineering Huazhong University of Science and Technology Wuhan China Jin YinHu Laboratory Wuhan China Department of Computer Science University of Colorado Colorado Springs Colorado Springs Colorado USA Institute for Network Sciences and Cyberspace Tsinghua University Beijing China School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China

ISBN: (数字)9798400702174

ISBN: (纸本)9798350382143

Software vulnerabilities are a major cyber threat and it is important to detect them. One important approach to detecting vulnerabilities is to use deep learning while treating a program function as a whole, known as function-level vulnerability detectors. However, the limitation of this approach is not understood. In this paper, we investigate its limitation in detecting one class of vulnerabilities known as inter-procedural vulnerabilities, where the to-be-patched statements and the vulnerability-triggering statements belong to different functions. For this purpose, we create the first Inter -Procedural Vulnerability Dataset (InterPVD) based on C/C++ open-source software, and we propose a tool dubbed VulTrigger for identifying vulnerability-triggering statements across functions. Experimental results show that VulTrigger can effectively identify vulnerability-triggering statements and inter-procedural vulnerabilities. Our findings include: (i) inter-procedural vulnerabilities are prevalent with an average of 2.8 inter-procedural layers; and (ii) function-level vulner-ability detectors are much less effective in detecting to-be-patched functions of inter-procedural vulnerabilities than detecting their counterparts of intra-procedural vulnerabilities.

关键词： Deep learning Detectors Open source software Software engineering

来源：评论

学校读者我要写书评

暂无评论

A Robust Slot Filling Model based on LSTM and CRF for IoT Voice Interaction

A Robust Slot Filling Model based on LSTM and CRF for IoT Vo...

引用

2022 IEEE GLOBECOM Workshops, GC Wkshps 2022

作者： Jbene, Mourad Tigani, Smail Saadane, Rachid Chehri, Abdellah Laboratory Engineering system SIRC/LAGeS-EHTP Hassania School of Public Works Casablanca Morocco Euro-Med University Fes 51 Engineering Unit Euro-Med Research Center Morocco Royal Military College of Canada Department of Mathematics and Computer Science Kingston Canada

ISBN: (纸本)9781665459754

The Internet Of Things (IoT) is an emerging paradigm representing a network of infrastructure connecting different types of devices in different places. Recently, IoT-based Conversational systems gained more attention, providing users with a new human-computer interaction mode. These new systems allow users to interact with the IoT ecosystem through a virtual assistant. They also heavily rely on Natural Language Processing (NLP) techniques for intelligent and efficient communication. Understanding the user's needs is the first step toward a more humanized IoT interaction system. This can be achieved using Natural language understanding (NLU) modules. Slot Filling is one of the core sub-tasks in NLU. It is an active research area focusing on extracting attribute values from the user's utterance. In this study, we propose an LSTM-based model for slot filling. The model benefits from contextual embeddings extracted from the BERT transformer model, the attention mechanism, and the conditional random field (CRF) that is known to model strong dependence among adjacent tags in the output sequence. Experiments show that our model achieved competitive results on two widely used benchmark datasets. © 2022 IEEE.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

A Time-Driven UAV Deployment and Content Caching Approach for Multi-UAV-Enabled Consumer Electronics network

引用

IEEE Transactions on Consumer Electronics 2025年

作者： Zhang, Jianshan Yang, Xu Ming, Rui Luo, Haibo Wang, Xiaoding Piran, Md. Jalil Minjiang University School of Computer and Big Data Fuzhou350108 China Fujian Normal University College of Computer and Cyber Security Fujian Provincial Key Laboratory of Network Security and Cryptology Fujian Fuzhou350117 China Chinese Academy of Tropical Agricultural Sciences National Key Laboratory for Tropical Crop Breeding Institute of Tropical Bioscience and Biotechnology Sanya Research Institute Hainan Sanya572024 China Sejong University Department of Computer Science and Engineering Seoul05006 Korea Republic of

To address the problem of high delay due to the explosive growth of mobile data traffic in consumer electronics network (CEN), in this paper, we investigate the multiple-unmanned aerial vehicle (UAV)-enabled CEN content caching problem, focusing on minimizing content access delay by jointly optimizing UAV deployment, ground user (GU) access, and content caching while satisfying other resource constraints. We propose an algorithm based on alternating optimization for the scenario where multiple UAVs and base station (BS) collaborate to provide caching services. The algorithm attains a sub-optimal solution with a convergence guarantee by iteratively solving the three sub-problems derived from the decomposition of the target problem. First, a convex difference-based algorithm solves the UAV deployment sub-problem. Second, a greedy-based algorithm is used to solve the content caching sub-problem. Then, a continuous convex approximation algorithm based on the penalty function is used to solve the user access sub-problem. Finally, the above procedure is repeated to obtain a sub-optimal solution to the target problem. The proposed joint optimization algorithm is shown to outperform the benchmark algorithms in terms of average content access delay and cache hit ratio, as evidenced by numerical results. © 1975-2011 IEEE.

关键词： Antennas

来源：评论

学校读者我要写书评

暂无评论

Evaluating the Performance to Detecting Topic Shift of Large Language Models: A Study 9

Evaluating the Performance to Detecting Topic Shift of Large...

引用

9th International Conference on Intelligent Computing and Signal Processing, ICSP 2024

作者： Tian, Pingfang Liu, Deting Department of Computer Science and Technology Wuhan University of Science and Technology Wuhan430065 China Institute of Scientific and Technical Information of China The Key Laboratory of the Rich Media Knowledge Organisation and Service of Digital Publishing Content Beijing100038 China Hubei Province Key Laboratory of Intelligent Information Processing and Real-time Industrial System Wuhan China Big Data Science and Engineering Research Institute Wuhan University of Science and Technology Wuhan430065 China

ISBN: (纸本)9798350376548

Topic shift detection aims to identify whether there is a change in the current topic of conversation or if a change is needed. The study found previous work did not evaluate the performance of large language models like ChatGPT on the task of topic shift. Therefore, this paper's main task and innovation lie in analyzing ChatGPT's performance on topic shift detection. To provide a more comprehensive evaluation, we conducted topic shift detection tasks on ChatGPT from three aspects: single utterances, adjacent utterances, and contextual levels. Additionally, to gauge the performance of large language models, we conducted experiments on multiple small-scale models and compared the results of the two models. Experimental results on the publicly available English TIAGE dataset showed that small-scale models exhibited lower recall in all three aspects, while ChatGPT performed better in the recall. This suggests that compared to small-scale models, large models are more capable of accurately detecting topic shifts. However, large models also exhibited lower precision, indicating that while ChatGPT can recognize content differences in utterances, its judgment on whether these different contents belong to the same topic is poor. © 2024 IEEE.

关键词： adjacent utterances level ChatGPT contextual level single utterances level topic shift detection

来源：评论

学校读者我要写书评

暂无评论

Transmissive RIS-Empowered LEO-Satellite Communications With Hybrid-NOMA Under Residual Hardware Impairments

IEEE Transactions on Green Communications and Networking

引用

IEEE Transactions on Green Communications and networking 2024年

作者： Asif, Muhammad Bao, Xu Ali, Zain Ihsan, Asim Ahmed, Manzoor Li, Xingwang Jiangsu University School of Computer Science and Communication Engineering Zhenjiang China University of California Department of Electrical and Computer Engineering Santa CruzCA United States University of Cambridge Department of Engineering CambridgeCB3 0FA United Kingdom Hubei Engineering University School of Computer and Information Science The Institute for AI Industrial Technology Research Xiaogan432000 China Henan Polytechnic University School of Physics and Electronic Information Engineering China Jiaozuo Key Laboratory of Crow-Sensing Network Jiaozuo454003 China

This manuscript introduces an efficient resource allocation framework for a transmissive reconfigurable intelligent surface (T-RIS) assisted Low Earth Orbit (LEO) satellite non-orthogonal multiple access (NOMA) system under residual hardware impairments (RHIs) resulting from imperfect transceiver hardware design. In particular, the goal is to maximize the sum rate of the considered multi-cluster based T-RIS assisted LEO-satellite NOMA network. This is achieved by optimizing the power-allocation of users, time-allocation for each cluster, and transmit passive beamforming of T-RIS node, while adhering to quality-of-service (QoS), time-allocation, and power-budget constraints. Moreover, the presented optimization algorithm tackles the considered highly non-convex problem in three steps. Firstly, the power-allocation of NOMA users is computed by exploiting Lagrange duality and sub-gradient methods. Secondly, the time-allocation for each cluster is determined based on the interior point method by exploiting Mosek-assisted CVX toolbox. Thirdly, the computation of passive beamforming employs semi-definite programming (SDP) and successive convex approximation (SCA) techniques, where a rank-1 solution is achieved by incorporating the Gaussian randomization method. Finally, numerical simulations affirm the effectiveness of the proposed optimization strategy, highlighting its superior performance in comparison to benchmark techniques. Notably, it proves to be highly effective in achieving fast convergence with only a few iterations. © 2017 IEEE.

关键词： Budget control

来源：评论

学校读者我要写书评

暂无评论

Enhanced multiscale human brain imaging by semi-supervised digital staining and serial sectioning optical coherence tomography

引用

光：科学与应用（英文版） 2025年第2期14卷 490-508页

作者： Shiyi Cheng Shuaibin Chang Yunzhe Li Anna Novoseltseva Sunni Lin Yicun Wu Jiahui Zhu Ann C.McKee Douglas L.Rosene Hui Wang Irving J.Bigio David A.Boas Lei Tian Department of Electrical and Computer Engineering Boston UniversityBostonMA 02215USA Department of Electrical Engineering and Computer Sciences University of CaliforniaBerkeleyCA 94720USA Department of Biomedical Engineering Boston UniversityBostonMA 02215USA Department of Electrical and Computer Engineering Boston UniversityBostonMA 02215USA Department of Biomedical Engineering Boston UniversityBostonMA 02215USA Department of Computer Science Boston UniversityBostonMA 02215USA Boston University Alzheimer's Disease Research Center and CTE Center Boston University School of MedicineBostonMA 02118USA Department of Neurology Boston University School of MedicineBostonMA 02118USA VA Boston Healthcare System U.S.Department of Veteran AffairsBostonMA 02130USA Department of Pathology and Laboratory Medicine Boston University School of MedicineBostonMA 02118USA Department of Anatomy & Neurobiology Boston University School of MedicineBostonMAUSA Department of Radiology Athinoula A.Martinos Center for Biomedical ImagingMassachusetts General HospitalBostonMA 02129USA Department of Electrical and Computer Engineering Boston UniversityBostonMA 02215USA Department of Biomedical Engineering Boston UniversityBostonMA 02215USA Neurophotonics Center Boston UniversityBostonMA 02215USA

A major challenge in neuroscience is visualizing the structure of the human brain at different *** histology reveals micro-and meso-scale brain features but suffers from staining variability,tissue damage,and distortion,which impedes accurate 3D *** emerging label-free serial sectioning optical coherence tomography(S-OCT)technique offers uniform 3D imaging capability across samples but has poor histological interpretability despite its sensitivity to cortical ***,we present a novel 3D imaging framework that combines S-OCT with a deep-learning digital staining(DS)*** enhanced imaging modality integrates high-throughput 3D imaging,low sample variability and high interpretability,making it suitable for 3D histology *** develop a novel semi-supervised learning technique to facilitate DS model training on weakly paired images for translating S-OCT to Gallyas silver *** demonstrate DS on various human cerebral cortex samples,achieving consistent staining quality and enhancing contrast across cortical layer ***,we show that DS preserves geometry in 3D on cubic-centimeter tissue blocks,allowing for visualization of meso-scale vessel networks in the white *** believe that our technique has the potential for high-throughput,multiscale imaging of brain tissues and may facilitate studies of brain structures.

关键词： tomography serial imaging digital human brain coherence enhanced multiscale optical

来源：评论

学校读者我要写书评

暂无评论

Virtually coupled train set control subject to space-time separation:A distributed economic MPC approach with emergency braking configuration

引用

High-Speed Railway 2024年第3期2卷 143-152页

作者： Xiaolin Luo Tao Tang Le Wang Hongjie Liu State Key Laboratory of Advanced Rail Autonomous Operation Beijing Jiaotong UniversityBeijing 100044China Department of Electrical and Computer Engineering University of CaliforniaRiversideCA 92521USA Beijing Zongheng Electro-Mechanical Technology Development Co. Ltd.Beijing 100081China School of Automation and Intelligence Beijing Jiaotong UniversityBeijing 100044China National Engineering Research Center of Rail Transportation Operation and Control System Beijing Jiaotong UniversityBeijing 100044China

The emerging virtual coupling technology aims to operate multiple train units in a Virtually Coupled Train Set(VCTS)at a minimal but safe *** guarantee collision avoidance,the safety distance should be calculated using the state-of-the-art space-time separation principle that separates the Emergency Braking(EB)trajectories of two successive units during the whole EB *** this case,the minimal safety distance is usually numerically calculated without an analytic ***,the constrained VCTS control problem is hard to address with space-time separation,which is still a gap in the existing *** solve this problem,we propose a Distributed Economic Model Predictive Control(DEMPC)approach with computation efficiency and theoretical ***,to alleviate the computation burden,we transform implicit safety constraints into explicitly linear ones,such that the optimal control problem in DEMPC is a quadratic programming problem that can be solved *** theoretical analysis,sufficient conditions are derived to guarantee the recursive feasibility and stability of DEMPC,employing compatibility constraints,tube techniques and terminal ingredient ***,we extend our approach with globally optimal and distributed online EB configuration methods to shorten the minimal distance among ***,experimental results demonstrate the performance and advantages of the proposed approaches.

关键词： Virtually coupled train set Space-time separation Economic model predictive control Distributed model predictive control Emergency braking configuration

来源：评论

学校读者我要写书评

暂无评论

Hybrid Digital-Analog Semantic Communications

引用

IEEE Journal on Selected Areas in Communications 2025年

作者： Xie, Huiqiang Qin, Zhijin Han, Zhu Letaief, Khaled B. Jinan University College of Information Science and Technology Guangzhou China Tsinghua University Department of Electronic Engineering Beijing100084 China State Key Laboratory of Space Network and Communications Beijing100084 China Beijing National Research Center for Information Science and Technology Beijing100084 China University of Houston Department of Electrical and Computer Engineering Houston United States The Hong Kong University of Science and Technology Department of Electronic and Computer Engineering Hong Kong Hong Kong

Digital and analog semantic communications (SemCom) face inherent limitations such as data security concerns in analog SemCom, as well as leveling-off and cliff-edge effects in digital SemCom. In order to overcome these challenges, we propose a novel SemCom framework and a corresponding system called HDA-DeepSC, which leverages a hybrid digitalanalog approach for multimedia transmission. This is achieved through the introduction of analog-digital allocation and fusion modules. To strike a balance between data rate and distortion, we design new loss functions that take into account long-distance dependencies in the semantic distortion constraint, essential information recovery in the channel distortion constraint, and optimal bit stream generation in the rate constraint. Additionally, we propose denoising diffusion-based signal detection techniques, which involve carefully designed variance schedules and sampling algorithms to refine transmitted signals. Through extensive numerical experiments, we will demonstrate that HDA-DeepSC exhibits robustness to channel variations and is capable of supporting various communication scenarios. Our proposed framework outperforms existing benchmarks in terms of peak signal-to-noise ratio and multi-scale structural similarity, showcasing its superiority in semantic communication quality. © 1983-2012 IEEE.

关键词： Digital communication systems

来源：评论

学校读者我要写书评

暂无评论

A Triangular Stable Node network based on Self-supervised Learning for personalized prediction

A Triangular Stable Node Network based on Self-supervised Le...

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： Qing Liu Qian Gao Jun Fan Zhiqiang Zhang Key Laboratory of Computing Power Network and Information Security Ministry of Education Shandong Computer Science Center (National Supercomputer Center in Jinan) Qilu University of Technology (Shandong Academy of Sciences) Jinan China Shandong Engineering Research Center of Big Data Applied Technology Faculty of Computer Science and Technology Qilu University of Technology (Shandong Academy of Sciences) Jinan China Shandong Provincial Key Laboratory of Industrial Network and Information System Security Shandong Fundamental Research Center for Computer Science Jinan China China Telecom Digital Intelligence Techonology Co Ltd Jinan China

ISBN: (数字)9798350368741

ISBN: (纸本)9798350368758

In recent years, research has illuminated the potency of implicit data processing in enhancing user preferences. Nevertheless, barriers remain in breaking through the constraints of implicit information. This study aims to bridge this gap by firstly constructing a triangular stable node network model, tailored to manage implicit information with precision. Recognizing the challenge of pinpointing novel structures within large-scale graphs, we propose SLTSNN— a triangular stable node network based on self-supervised learning for personalized prediction. SLTSNN innovates by maximizing mutual information between graph-level and patch-level representations, while augmenting graph representations through extended enhanced representations. Additionally, it incorporates triangular data associations and introduces a triangular allocation attention network, which emphasizes strongly correlated preference features among similar users. Furthermore, SLTSNN employs contrastive learning to maximize mutual information between graph vectors and hidden representations, distinguishing between high-order global and local representations. The model’s effectiveness in enhancing user preferences and capturing new graph structures is evidenced by its performance on hit rate and normalized discounted cumulative gain metrics across three datasets.

关键词： Measurement Bridges Contrastive learning Signal processing Data processing Vectors Space exploration Resource management Speech processing Mutual information

来源：评论

学校读者我要写书评

暂无评论

Towards A Secured SCADA Architecture: A DNP3 Test Case

Towards A Secured SCADA Architecture: A DNP3 Test Case

引用

IEEE Southeastcon

作者： Ahmed S. Soliman Rocio Devine Diego Landi S M Sajjad Hossain Rafin M. H. Cintuglu Osama A. Mohammed Dept. of Electrical and Computer Engineering Energy Systems Research Laboratory Florida International University Miami Florida USA ECE Department Energy System Research Laboratory Florida International University Miami FL USA Dept. of Electrical and Computer Engineering Florida International University Miami Florida USA

The foundation of a country's critical infrastructures (CI), which provide crucial services, is its security, healthcare, and economic systems. By lowering CI's operational costs and associated expenses and enhancing its effectiveness and safety, appropriately functional CI infrastructure plays an essential role in the prosperity of the nations. To do so, businesses that manage CIs frequently combine the Internet of Things (IoT) with Cyber-Physical systems (CPS), such as SCADA systems. SCADA systems were not initially built with web security in mind, exposing CIs open to security risks. National security issues can arise when these technologies are connected to power plants and water treatment facilities. This study aims to demonstrate how security features can be implemented in DNP3-based SCADA infrastructures. By creating a functional configuration and consensus amongst the communicating devices, the DNP3 protocol will support digital signatures. The team proposed a SCADA architecture to accomplish this, making it possible for these systems more secure manner.

关键词： Protocols Industrial control SCADA systems Medical services Safety Security Internet of Things

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：