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

A NEW PROOF OF GAFFNEY’S INEQUALITY FOR DIFFERENTIAL FORMS ON MANIFOLDS-WITH-BOUNDARY:THE VARIATIONAL APPROACH à LA KOZONO-YANAGISAWA

引用

Acta Mathematica Scientia 2022年第4期42卷 1427-1452页

作者： Siran LI School of Mathematical Sciences IMA-Shanghai&Key Laboratory of Scientific and Engineering Computing(Ministry of Education)Shanghai Jiao Tong UniversityShanghai 200240China

Let(M,g_(0))be a compact Riemannian *** present a new proof of the classical Gaffney inequality for differential forms in boundary value spaces over M,via a variational approach a la Kozono-Yanagisawa[Lr-variational inequality for vector fields and the Helmholtz-Weyl decomposition in bounded domains,Indiana ***.J.58(2009),1853-1920],combined with global computations based on the Bochner technique.

关键词： Gaffney’s inequality differential form Sobolev spaces on manifolds Bochner technique variational approach

来源：评论

学校读者我要写书评

暂无评论

Applying Phonological Feature Embeddings for Cross-Lingual Transfer in Text-to-Speech 47

Applying Phonological Feature Embeddings for Cross-Lingual T...

引用

47th International Conference on Telecommunications and Signal Processing, TSP 2024

作者： Louw, Johannes Abraham Wang, Zenghui Voice Computing Research Group Council for Scientific and Industrial Research Pretoria South Africa University of South Africa Department of Electrical Engineering Pretoria South Africa

ISBN: (纸本)9798350365597

In this work, we build upon our previous research where we introduced phonological features as input to text-to-speech systems. While the use of phonological features is not a novel concept in our research, our focus in this study is on the comprehensive analysis of the embeddings produced by the encoder model, which we believe offers novel insights into the model's ability to capture and generalize phonological patterns across languages. Cross-lingual transfer experiments are conducted using both a resource-rich and a resource-constrained language to explore the model's cross-lingual transfer capabilities across different linguistic families. The analysis of the embedding vectors produced by the encoder model is conducted using cluster maps to visualize the hierarchical clusters obtained using a clustering procedure. This analysis reveals the model's learning patterns and provides insights into how phonological features contribute to the model's ability to handle linguistic diversity and data scarcity. © 2024 IEEE.

关键词： Embeddings

来源：评论

学校读者我要写书评

暂无评论

Triple-Path RNN Network: A Time-and-Frequency Joint Domain Speech Separation Model 24th

Triple-Path RNN Network: A Time-and-Frequency Joint Domain S...

引用

24th International Conference on Parallel and Distributed computing, Applications and Technologies, PDCAT 2023

作者： Zhai, Yu-Huan Hua, Qiang Wang, Xiao-Wen Dong, Chun-Ru Zhang, Feng Xu, Da- Chuan College of Mathematics and Information Science Hebei University Baoding071002 China Beijing Institute for Scientific and Engineering Computing Beijing University of Technology Beijing100124 China

ISBN: (纸本)9789819982103

Studies in speech separation have achieved significant success in recent years. To correctly separate the mixture signals, it is critical to encode the signals into an appropriate latent space. Existing speech separation methods include transforming mixed signals into frequency domain space or time domain space. The frequency domain features (spectrogram) are generated by STFT, which is closely related to speech articulation and reflects the energy of speech directly. The time domain features are learned from a latent embedding space, and the separation effect is facilitated by the end-to-end structure. However, these methods are based on the representations from only one domain, which is insufficient for providing a speech separation encoding space that is completely separable. Therefore, a Triple-Path Recurrent Neural Network (TPRNN) that fuse features from two domains is proposed. It employs a spectrogram as auxiliary information to improve the performance of speech separation. Experimental results on the Wall Street Journal (WSJ0) dataset show that this approach is beneficial to improve speech separation performance. © 2024, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Frequency domain analysis

来源：评论

学校读者我要写书评

暂无评论

Design of Query Based Gallery Selector and Mask-Aware Loss for Person Search 24th

Design of Query Based Gallery Selector and Mask-Aware Loss f...

引用

24th International Conference on Parallel and Distributed computing, Applications and Technologies, PDCAT 2023

作者： Hua, Qiang Sun, Ao Liu, Yu-Chen Zhang, Feng Dong, Chun-Ru Xu, Da-Chuan College of Mathematics and Information Science Hebei University Baoding071002 China Beijing Institute for Scientific and Engineering Computing Beijing University of Technology Beijing100124 China

ISBN: (纸本)9789819982103

Person search is a challenging computer vision task that aims to simultaneously locate and identify a query person from panoramic images. To address the issue of scene similarity and its impact on search accuracy and efficiency, we propose a query based gallery selector module that employs cosine similarity to calculate the similarity between candidate images in the gallery and the query persons feature embedding, then selects and reorders images in the gallery based on their similarity to the query person, thus improving the accuracy and efficiency of searching. Furthermore, we introduce a mask-aware mechanism that improves the localization loss function for predicted bounding boxes. During training, the network is guided to increase its robustness in occluded scenarios. Experimental results on public person search datasets PRW and CUHK-SYSU demonstrate the effectiveness of our proposed method. © 2024, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Image enhancement

来源：评论

学校读者我要写书评

暂无评论

A NEW ADAPTIVE SUBSPACE MINIMIZATION THREE-TERM CONJUGATE GRADIENT ALGORITHM FOR UNCONSTRAINED OPTIMIZATION

引用

Journal of Computational Mathematics 2021年第2期39卷 159-177页

作者： Keke Zhang Hongwei Liu Zexian Liu School of Mathematics and Statistics Xidian UniversityXi’an 710126China State Key Laboratory of Scientific and Engineering Computing Institute of Computational Mathematics and Scientific/Engineering computingAMSSChinese Academy of SciencesBeijing 100190China

A new adaptive subspace minimization three-term conjugate gradient algorithm with nonmonotone line search is introduced and analyzed in this *** search directions are computed by minimizing a quadratic approximation of the objective function on special subspaces,and we also proposed an adaptive rule for choosing different searching directions at each *** obtain a significant conclusion that the each choice of the search directions satisfies the sufficient descent *** the used nonmonotone line search,we prove that the new algorithm is globally convergent for general nonlinear functions under some mild *** experiments show that the proposed algorithm is promising for the given test problem set.

关键词： Conjugate gradient method Nonmonotone line search Subspace minimization Sufficient descent condition Global convergence

来源：评论

学校读者我要写书评

暂无评论

A HIGH ORDER SCHEME FOR FRACTIONAL DIFFERENTIAL EQUATIONS WITH THE CAPUTO-HADAMARD DERIVATIVE

引用

Journal of Computational Mathematics 2025年第3期43卷 615-640页

作者： Xingyang Ye Junying Cao Chuanju Xu School of Science Jimei UniversityXiamen 361021China School of Data Science and Information Engineering Guizhou Minzu UniversityGuiyang 550025China School of Mathematical Sciences and Fujian Provincial Key Laboratory of Mathematical Modeling and High Performance Scientific Computing Xiamen UniversityXiamen 361005China

In this paper,we consider numerical solutions of the fractional diffusion equation with theαorder time fractional derivative defined in the Caputo-Hadamard sense.A high order time-stepping scheme is constructed,analyzed,and numerically *** contribution of the paper is twofold:1)regularity of the solution to the underlying equation is investigated,2)a rigorous stability and convergence analysis for the proposed scheme is performed,which shows that the proposed scheme is 3+αorder *** numerical examples are provided to verify the theoretical statement.

关键词： Caputo-Hadamard derivative Fractional differential equations High order scheme Stability and convergence analysis

来源：评论

学校读者我要写书评

暂无评论

Optimized Convolutional Neural Networks with Multi-Scale Pyramid Feature Integration for Efficient Traffic Light Detection in Intelligent Transportation Systems

引用

Computers, Materials & Continua 2025年第2期82卷 3005-3018页

作者： Yahia Said Yahya Alassaf Refka Ghodhbani Taoufik Saidani Olfa Ben Rhaiem Department of Electrical Engineering College of EngineeringNorthern Border UniversityArar91431Saudi Arabia Center for Scientific Research and Entrepreneurship Northern Border UniversityArar73213Saudi Arabia Department of Civil Engineering College of EngineeringNorthern Border UniversityArar91431Saudi Arabia Faculty of Computing and Information Technology Northern Border UniversityRafha91911Saudi Arabia College of Science Northern Border UniversityArar91431Saudi Arabia

Transportation systems are experiencing a significant transformation due to the integration of advanced technologies, including artificial intelligence and machine learning. In the context of intelligent transportation systems (ITS) and Advanced Driver Assistance Systems (ADAS), the development of efficient and reliable traffic light detection mechanisms is crucial for enhancing road safety and traffic management. This paper presents an optimized convolutional neural network (CNN) framework designed to detect traffic lights in real-time within complex urban environments. Leveraging multi-scale pyramid feature maps, the proposed model addresses key challenges such as the detection of small, occluded, and low-resolution traffic lights amidst complex backgrounds. The integration of dilated convolutions, Region of Interest (ROI) alignment, and Soft Non-Maximum Suppression (Soft-NMS) further improves detection accuracy and reduces false positives. By optimizing computational efficiency and parameter complexity, the framework is designed to operate seamlessly on embedded systems, ensuring robust performance in real-world applications. Extensive experiments using real-world datasets demonstrate that our model significantly outperforms existing methods, providing a scalable solution for ITS and ADAS applications. This research contributes to the advancement of Artificial Intelligence-driven (AI-driven) pattern recognition in transportation systems and offers a mathematical approach to improving efficiency and safety in logistics and transportation networks.

关键词： Intelligent transportation systems(ITS) traffic light detection multi-scale pyramid feature maps advanced driver assistance systems(ADAS) real-time detection AI in transportation

来源：评论

学校读者我要写书评

暂无评论

Integrating the Biological Knowledge from Protein Databases Into Spatial RNA Sequencing Analyses 26th

Integrating the Biological Knowledge from Protein Database...

引用

26th International Conference on Information Integration and Web Intelligence, iiWAS 2024

作者： Leśniewska, Anna Dziȩgielewski, Szymon Melnyk, Elena Okoniewski, Michal J. Wrembel, Robert Institute of Computing Sciences Poznan University of Technology Poznan Poland Department of Biosystems Science and Engineering ETH Zurich Basel Switzerland Scientific IT Services ETH Zurich Zurich Switzerland

ISBN: (纸本)9783031780929

Spatial transcriptomics has emerged in recent years as an advanced technique integrating modern microscopy and single-cell RNA sequencing (RNA-seq). The computational aspect of spatial transcriptomics analysis is actively evolving, with software packages like Squidpy at the forefront. A critical challenge in this field is achieving reliable image segmentation based on RNA expression levels within cells, necessitating robust sets of genomic signatures. In this paper, we present our approach to addressing this challenge through data integration and by leveraging proteome signatures from The Human Protein Atlas as a reference standard, applicable to transcriptomic profiles. Our heuristic-based segmentation method provides biological validation for unsupervised techniques and serves as a preliminary proof of concept. Additionally, it establishes a benchmark for the future application of artificial intelligence with the use of transcriptome foundation models. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Biotic

来源：评论

学校读者我要写书评

暂无评论

Boundary Control of Coupled Wave Systems with Spatially-Varying Coefficients

引用

Journal of Systems Science & Complexity 2022年第4期35卷 1310-1329页

作者： FENG Xiaodan ZHANG Zhifei School of Mathematics and Statistics Huazhong University of Science and TechnologyWuhan430074China Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and TechnologyWuhan430074China

This paper considers the stabilization of the coupled wave systems with spatially-varying *** authors design a state feedback controller by backstepping *** contrast to the previous work in the literature,the kernel equations become more complicated and the main difficulty lies in proving the existence and uniqueness of the solution to the kernel ***,using the backstepping approach,the authors verify the kernel equations,which is a system of coupled hyperbolic equations with spatially-varying ***,the existence and uniqueness of the kernel matrices is ***,the authors use a Lyapunov function to get the exponential stabilization of the closed-loop system.A numerical example is presented to illustrate the effectiveness of the proposed controller.

关键词： Backstepping boundary control coupled wave systems exponential stabilization spatially-varying coefficients

来源：评论

学校读者我要写书评

暂无评论

On Exact Robust Instability Radius of Discrete-time LTI Systems

On Exact Robust Instability Radius of Discrete-time LTI Syst...

引用

2024 Australian and New Zealand Control Conference, ANZCC 2024

作者： Lin, Yu-Jen Kao, Chung-Yao Khong, Sei Zhen Hara, Shinji Dept. of Electrical Engineering National Sun Yat-Sen University Kaohsiung80424 Taiwan Global Scientific Information and Computing Center Tokyo Institute of Technology Japan

ISBN: (纸本)9798350314977

Robust instability analysis is intimately related to minimum-norm strong stabilization and arises in the study of oscillatory behavior in nonlinear systems. This paper analyzes the robust instability of linear discrete-time systems against stable perturbations in a direct manner without the use of bilinear transformations, and notes several important differences from its continuous-time counterpart. The results in this paper are particularly useful in the context of sampled-data control, in which the plant is often discretized for control synthesis purposes and minimum-norm strong stabilization in discrete-time is of interest. © 2024 Australian & New Zealand Control Conference (ANZCC).

关键词： Continuous time systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：