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

2nd International Conference on Digital Signal and computer Communications, DSCC 2022

作者： Zhao, Jian Zhang, Zhiwei Cui, Yuqing Qiang, Wenqian Dai, Weiqiang Kuang, Zhejun Shi, Lijuan Changchun University Department of Computer Science and Technology Changchun130022 China Jilin Provincial Key Laboratory of Human Health Status Identification and Function Enhancement Changchun130022 China Changchun University Department of Electronic Information Engineering Changchun130022 China Changchun University Cyberspace Security System Changchun130022 China

ISBN: (纸本)9781510656734

With the widespread application of deep learning methods, multimodal techniques have also achieved rapid development. Since single-modal speech recognition may affect the accuracy of recognition results in noisy environments, multimodal fusion recognition gradually replaces the traditional single-modal recognition methods. In this paper, we mainly strengthen and pre-process audio and video data first, and use LSTM recurrent neural network for deep feature extraction of audio and video streams, which effectively solves the problem of long-term forgetting of general neural networks. The audio and video feature vectors are then fused by a fully connected neural network with linear connections. Compared with the speech recognition technique alone, this audiovisual fusion recognition method has a better recognition effect in the case of noise interference. Compared with the traditional audiovisual recognition method, the model simplifies the recognition work. Recognition experiments on the LRS2-BBC dataset show that the recognition accuracy of this method improves to a certain extent over that of other methods in a clean environment and greatly improves in noisy conditions. © 2022 SPIE.

关键词： Speech recognition

来源：评论

学校读者我要写书评

暂无评论

Riemannian Complex Hermit Positive Definite Convolution Network for Polarimetric SAR Image Classification

arXiv

引用

arXiv 2025年

作者： Shi, Junfei Nie, Mengmeng Li, Yuke Jin, Haiyan Lin, Weisi Department of Computer Science and Technology Shaanxi Key Laboratory for Network Computing and Security Technology Xi’an University of Technology Xi’an China College of Computing and Data Science Nanyang Technological University 639798 Singapore

Deep learning can learn high-level semantic features in Euclidean space effectively for PolSAR images, while they need to covert the complex covariance matrix into a feature vector or complex-valued vector as the network input. However, the complex covariance matrices are essentially a complex Hermit positive definite (HPD) matrix endowed in Riemannian manifold rather than Euclidean space. The matrix’s real and imagery parts are with the same significance, as the imagery part represents the phase information. The matrix vectorization will destroy the geometric structure and manifold characteristics of complex covariance matrices. To learn complex HPD matrices directly, we propose a Riemannian complex HPD convolution network(HPD CNN) for PolSAR images. This method consists of a complex HPD unfolding network(HPDnet) and a CV-3DCNN enhanced network. The proposed complex HPDnet defines the HPD mapping, rectifying and the logEig layers to learn geometric features of complex matrices. In addition, a fast eigenvalue decomposition method is designed to reduce computation burden. Finally, a Riemannian-to-Euclidean enhanced network is defined to enhance contextual information for classification. Experimental results on two real PolSSAR datasets demonstrate the proposed method can achieve superior performance than the state-of-the-art methods especially in heterogeneous regions. Copyright © 2025, The Authors. All rights reserved.

关键词： Convolution

来源：评论

学校读者我要写书评

暂无评论

Electrically tunable planar liquid-crystal singlets for simultaneous spectrometry and imaging

引用

Light(science & Applications) 2024年第11期13卷 2589-2598页

作者： Zhou Zhou Yiheng Zhang Yingxin Xie Tian Huang Zile Li Peng Chen Yan-qing Lu Shaohua Yu Shuang Zhang Guoxing Zheng Electronic Information School and School of MicroelectronicsWuhan UniversityWuhan 430072China NUS Graduate School National University of SingaporeSingapore 119077Singapore Department of Electrical and Computer Engineering National University of SingaporeSingapore 117583Singapore National Laboratory of Solid State Microstructures Key Laboratory of Intelligent Optical Sensing and Manipulationand College of Engineering and Applied SciencesNanjing UniversityNanjing 210093China Peng Cheng Laboratory Shenzhen 518055China New Cornerstone Science Laboratory Department of PhysicsUniversity of Hong KongHong KongChina Department of Electrical and Electronic Engineering University of Hong KongHong KongChina Wuhan Institute of Quantum Technology Wuhan 430206China

Conventional hyperspectral cameras cascade lenses and spectrometers to acquire the spectral datacube,which forms the fundamental framework for hyperspectral ***,this cascading framework involves tradeoffs among spectral and imaging performances when the system is driven toward ***,we propose a spectral singlet lens that unifies optical imaging and computational spectrometry functions,enabling the creation of minimalist,miniaturized and high-performance hyperspectral *** a paradigm,we capitalize on planar liquid crystal optics to implement the proposed framework,with each liquid-crystal unit cell acting as both phase modulator and electrically tunable spectral *** with various targets show that the resulting millimeter-scale hyperspectral camera exhibits both high spectral fidelity(>95%)and high spatial resolutions(~1.7 times the diffraction limit).The proposed“two-in-one”framework can resolve the conflicts between spectral and imaging resolutions,which paves a practical pathway for advancing hyperspectral imaging systems toward miniaturization and portable applications.

关键词： crystal planar singlet

来源：评论

学校读者我要写书评

暂无评论

Specifications of Virtual Reminder system using Z

Specifications of Virtual Reminder System using Z

引用

International Conference on Emerging Technologies, ICET

作者： J aviria Naveed Irfan Ahmed Jabar Mahmood Khadija Batool Department of Computer Sciences University of Sialkot Sialkot Pakistan State Key Laboratory of Blockchain and Data Security School of Cyber Science and Technology College of Computer Science and Technology Zhejiang University Hangzhou China

ISBN: (数字)9798350379587

ISBN: (纸本)9798350379594

Formal Methods (FM) uses mathematical notations to precisely and accurately define specifications, which helps detect errors and inconsistencies in software development. For mathematical notations, a proper mathematical framework is needed to describe and specify the behavior and structure of software systems. A few specification languages provide that framework; one is Z, which significantly enhances the quality of system specification, design, and verification. This paper introduces a formal specification for a virtual reminder system using Z schema, which signifies the importance of formal specifications that can also be used for voice assistant specifications. A virtual Reminder system (VRS) is an assistant based on speech recognition and speaker identification; a personal voice-controlled aid for the user to remind about event-based tasks that do not need some specific time to be completed but are event-based like reaching a location or any keyword/phrase spoken by the user related to some specific topic. The specified keyword/phrase can be anything, such as a person's name, place name, or phrase. Using FM reduced development time, verification efforts. and maintenance costs.

关键词： Frequency modulation Costs Event detection Personal voice assistants Software systems Specification languages Software reliability Maintenance Formal specifications Software development management

来源：评论

学校读者我要写书评

暂无评论

AI-aided power electronic converters automatic online real-time efficiency optimization method

引用

Fundamental Research 2025年第3期5卷 1111-1116页

作者： Tang, Yuanhong Cao, Di Xiao, Jian Jiang, Chenying Huang, Qi Li, Yunwei Chen, Zhe Blaabjerg, Frede Hu, Weihao Power System Wide-area Measurement and Control Sichuan Provincial Key Laboratory School of Mechanical and Electrical Engineering University of Electronic Science and Technology of China Chengdu 611731 China MORNSUN Guangzhou Science & Technology Co. Ltd. Guangzhou 510663 China School of Information and Communication Engineering University of Electronic Science and Technology of China Chengdu 611731 China Yangtze Delta Region Institute (Quzhou) University of Electronic Science and Technology of China Quzhou 324000 China Department of Chengdu State Grid Corporation of China Chengdu 610599 China Southwest University of Science and Technology Mianyang 621010 China Department of Electrical and Computer Engineering University of Alberta Edmonton AB T6G 2V4 Canada Department of Energy Technology Aalborg University Aalborg 9220 Denmark

Energy losses during the conversion and supply of electric power are considered a significant issue and cannot be estimated. Improvement in the efficiency of energy conversion systems is highly restricted because of their internal nonlinearity and complexity. Thus, inspired by the successful utilization of robotic chemists, we demonstrate a pioneering concept of artificial intelligence (AI)-aided automatic online real-time optimization of a power electronics converter using a dual active bridge (DAB) converter as an example. An optimal modulation strategy was obtained through repeated automatic exploration experiments on a practical DAB converter platform. Specifically, the DAB experimental platform operated autonomously around the clock for approximately 71 h. It performed 120,000 consecutive experiments (12,000 episodes) within a six-variable experimental space driven by a deep deterministic policy gradient (DDPG) algorithm. The proposed AI-aided automatic online real-time optimization method achieved significantly improved efficiency of power conversion and supply. Consequently, zero carbon emissions may be obtained in the future. © 2023

关键词： Artificial intelligence Automatic online real-time exploration DC-DC converter Dual active bridge converter Energy conversion system Power electronics

来源：评论

学校读者我要写书评

暂无评论

Generating Highly Structured Inputs: A Survey 6

Generating Highly Structured Inputs: A Survey

引用

6th IEEE International Conference on Data science in Cyberspace, DSC 2021

作者： Li, Yabin Qin, Yinfan Tian, Jianwen Gu, Taotao Nie, Yuanping Kuang, Xiaohui School Of Computer Science Beijing University Of Posts And Telecommunications Beijing China Institute Of System Engineering Academy Of Military Sciences Beijing China National Key Laboratory Of Science And Technology On Information System Security Beijing China

ISBN: (纸本)9781665418157

Fuzzing is currently one of the most popular vulnerability mining technology. The test case generation technique plays a key role in fuzzing, and the quality of the generated test cases directly affects the effect of fuzzing. Some programs process highly structured inputs which need to satisfy clear syntactic and semantic constraints, but traditional fuzzers (such as AFL) are difficult to generate such inputs. In this paper, we focus on the techniques of generating highly structured inputs. We first systematically introduce the mainstream techniques of generating highly structured inputs, then discuss the key issues facing the current technique and main technique trends, finally summarize the relevant open-source tools to promote future research. © 2021 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

DapperFL: domain adaptive federated learning with model fusion pruning for edge devices 24

DapperFL: domain adaptive federated learning with model fusi...

引用

Proceedings of the 38th International Conference on Neural information Processing systems

作者： Yongzhe Jia Xuyun Zhang Hongsheng Hu Kim-Kwang Raymond Choo Lianyong Qi Xiaolong Xu Amin Beheshti Wanchun Dou State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University China School of Computing Macquarie University Australia School of Information and Physical Sciences University of Newcastle Australia Department of Information Systems and Cyber Security University of Texas at San Antonio USA College of Computer Science and Technology China University of Petroleum (East China) China School of Computer and Software Nanjing University of Information Science and Technology China

ISBN: (纸本)9798331314385

Federated learning (FL) has emerged as a prominent machine learning paradigm in edge computing environments, enabling edge devices to collaboratively optimize a global model without sharing their private data. However, existing FL frameworks suffer from efficacy deterioration due to the system heterogeneity inherent in edge computing, especially in the presence of domain shifts across local data. In this paper, we propose a heterogeneous FL framework DapperFL, to enhance model performance across multiple domains. In DapperFL, we introduce a dedicated Model Fusion Pruning (MFP) module to produce personalized compact local models for clients to address the system heterogeneity challenges. The MFP module prunes local models with fused knowledge obtained from both local and remaining domains, ensuring robustness to domain shifts. Additionally, we design a Domain Adaptive Regularization (DAR) module to further improve the overall performance of DapperFL. The DAR module employs regularization generated by the pruned model, aiming to learn robust representations across domains. Furthermore, we introduce a specific aggregation algorithm for aggregating heterogeneous local models with tailored architectures and weights. We implement DapperFL on a real-world FL platform with heterogeneous clients. Experimental results on benchmark datasets with multiple domains demonstrate that DapperFL outperforms several state-of-the-art FL frameworks by up to 2.28%, while significantly achieving model volume reductions ranging from 20% to 80%. Our code is available at: https://***/jyzgh/DapperFL.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Federated Online/Offline Remote Data Inspection for Distributed Edge Computing

arXiv

引用

arXiv 2023年

作者： Ali, Mohammad Liu, Ximeng The Department of Mathematics and Computer Science Amirkabir University of Technology Tehran Iran The Key Laboratory of Information Security of Network Systems College of Computer and Data Science Fuzhou University Fuzhou350108 China

In edge computing environments, app vendors can cache their data to be shared with their users in many geographically distributed edge servers. However, the cached data is particularly vulnerable to several intentional attacks or unintentional events. Given the limited resources of edge servers and prohibitive storage costs incurred by app vendors, designing an efficient approach to inspect and maintain the data over tremendous edge servers is a critical issue. To tackle the problem, we design a novel data inspection approach, named O2DI, that provides the following services: i) using O2DI, app vendors can inspect the data cached in edge servers without having the original data, which reduces the incurred I/O and storage overhead significantly;ii) computational operations conducted by both edge servers and app vendors are highly efficient because of a novel online/offline technique;iii) many data files cached in different edge servers can be verified quickly and at once by using a novel batch verification method;iv) corrupted data in edge servers can be localized and repaired efficiently. We analyze the security and performance of O2DI. We see that it is secure in the random oracle model, much faster, and more cost-effective compared to state-of-the-art approaches. © 2023, CC BY.

关键词： Inspection

来源：评论

学校读者我要写书评

暂无评论

A fully decentralized auditing approach for edge computing: A Game-Theoretic Perspective

arXiv

引用

arXiv 2023年

作者： Seyedi, Zahra Rahmati, Farhad Ali, Mohammad Liu, Ximeng Department of Mathematics and Computer Science Amirkabir University of Technology Tehran Iran Key Laboratory of Information Security of Network Systems College of Computer and Data Science Fuzhou University Fuzhou350108 China

Edge storage presents a viable data storage alternative for application vendors (AV), offering benefits such as reduced bandwidth overhead and latency compared to cloud storage. However, data cached in edge computing systems is susceptible to intentional or accidental disturbances. This paper proposes a decentralized integrity auditing scheme to safeguard data integrity and counter the traditional reliance on centralized third-party auditors (TPA), which are unfit for distributed systems. Our novel approach employs edge servers (ES) as mutual auditors, eliminating the need for a centralized entity. This decentralization minimizes potential collusion with malicious auditors and biases in audit outcomes. Using a strategic game model, we demonstrate that ESs are more motivated to audit each other than TPAs. The auditing process is addressed as a Nash Equilibrium problem, assuring accurate integrity proof through incentives for ESs. Our scheme’s security and performance are rigorously assessed, showing it is secure within the random oracle model, offers improved speed, and is cost-effective compared to existing methods. © 2023, CC0.

关键词： Game theory

来源：评论

学校读者我要写书评

暂无评论

Owl: Differential-Based Side-Channel Leakage Detection for CUDA Applications

Owl: Differential-Based Side-Channel Leakage Detection for C...

引用

International Conference on Dependable systems and Networks (DSN)

作者： Yu Zhao Wenjie Xue Weijie Chen Weizhong Qiang Deqing Zou Hai Jin National Engineering Research Center for Big Data Technology and System Hubei Key Laboratory of Distributed System Security Hubei Engineering Research Center on Big Data Security School of Cyber Science and Engineering Huazhong University of Science and Technology Wuhan China Jinyinhu Laboratory Wuhan China National Engineering Research Center for Big Data Technology and System Services Computing Technology and System Lab Cluster and Grid Computing Lab School of Computer Science and Technology Huazhong University of Science and Technology Wuhan China

ISBN: (数字)9798350341058

ISBN: (纸本)9798350341065

Over the past decade, various methods for detecting side-channel leakage have been proposed and proven to be effective against CPU side-channel attacks. These methods are valuable in assisting developers to identify and patch side-channel vulnerabilities. Nevertheless, recent research has revealed the feasibility of exploiting side-channel vulnerabilities to steal sensitive information from GPU applications, which are beyond the reach of previous side-channel detection methods. Therefore, in this paper, we conduct an in-depth examination of various GPU features and present Owl, a novel side-channel detection tool targeting CUDA applications on NVIDIA GPUs. Owl is designed to detect and locate side-channel leakage in various types of CUDA applications. When tracking the execution of CUDA applications, we design a hierarchical tracing scheme and extend the A-DCFG (Attributed Dynamic Control Flow Graph) to address the massively parallel execution in CUDA, ensuring Owl's detection scalability. After completing the initial assessment and filtering, we conduct statistical tests on the differences in program traces to determine whether they are indeed caused by input variations, subsequently facilitating the positioning of side-channel leaks. We evaluate Owl's capability to detect side-channel leaks by testing it on Libgpucrypto, PyTorch, and nvJPEG. Meanwhile, we verify that our solution effectively handles a large number of threads. Owl has successfully identified hundreds of leaks within these applications. To the best of our knowledge, we are the first to implement side-channel leakage detection for general CUDA applications.

关键词： Target tracking Statistical analysis Filtering Scalability Graphics processing units Side-channel attacks Feature extraction

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：