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

2025 IEEE Texas Power and Energy Conference, TPEC 2025

作者： Moradzadeh, Arash Mouhammadpourfard, Mostafa Weng, Yang Pol, Suhas Muyeen, S.M. Qatar University Department of Electrical Engineering Doha Qatar National Wind Institute Texas Tech University LubbockTX United States School of Electrical Computer and Energy Engineering Arizona State University TempeAZ United States Texas Tech University Renewable Energy Program LubbockTX United States

ISBN: (纸本)9798331541125

Accurate short-term electricity price forecasting (STEPF) is critical for efficient energy market operations, guiding investment strategies, resource allocation, and consumer behavior. This study introduces a hybrid deep learning approach specifically designed to improve STEPF accuracy by leveraging historical Hourly Ontario Energy Price (HOEP) data from 2017 to 2019. The model integrates advanced techniques, including data preprocessing and denoising through a Stacked Denoising Autoencoder (SDAE), along with enhanced temporal modeling via Bidirectional Long Short-Term Memory (BiLSTM) and Gated Recurrent Unit (GRU) networks. By capturing the complex dynamics inherent in electricity pricing data, the proposed hybrid model significantly enhances forecasting accuracy. Trained on data from 2017 and 2018, with 2019 used for testing, the model achieves a strong correlation coefficient (R = 99.86%) and substantially lowers forecasting errors. Comparative evaluations against established forecasting methods highlight the model's superior performance. This work demonstrates the practical value of deep learning techniques in the energy sector, particularly in responding to the volatility of demand and supply in real-time electricity markets. © 2025 IEEE.

关键词： Electricity market forecasting Energy management Hybrid deep learning models Short-term electricity price forecasting Temporal data analysis

来源：评论

学校读者我要写书评

暂无评论

Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent

arXiv

引用

arXiv 2024年

作者： Buali, Mahdi Hoehndorf, Robert Computer Science Program Computer Electrical and Mathematical Sciences & Engineering Division King Abdullah University of Science and Technology Thuwal23955 Saudi Arabia

Automated Theorem Proving (ATP) faces significant challenges due to the vast action space and the computational demands of proof generation. Recent advances have utilized Large Language Models (LLMs) for action selection in ATP, but these methods often require substantial computational resources. This study introduces the Functional Equation Automated Solver (FEAS), an agent that builds on the COPRA in-context learning framework within the Lean environment. FEAS innovates by refining prompt generation and response parsing mechanisms, integrating domain-specific heuristics for functional equations, and introducing the FunEq dataset—a rigorously curated collection of functional equation problems categorized into three difficulty levels. The agent’s performance is evaluated against established baselines using this dataset, demonstrating improvements in theorem proving accuracy, particularly with the integration of functional equation-specific heuristics. Our results highlight the effectiveness of FEAS in generating and formalizing high-level proof strategies into Lean proofs, emphasizing the potential of tailored approaches in domain-specific ATP challenges. © 2024, CC BY.

关键词： Theorem proving

来源：评论

学校读者我要写书评

暂无评论

An Environmentally Friendly Fishing Android-Based Mobile Device App for Penghu Islands (Pescadores), Taiwan

An Environmentally Friendly Fishing Android-Based Mobile Dev...

引用

Consumer Technology (ICCT-Pacific), International Conference on

作者： Hung-Tu Lin Ke-Qing Yan Ying-Zun Fang Xiang-Rui Huang Liang-Bi Chen Department of Computer Science and Information Engineering National Penghu University of Science and Technology Penghu Taiwan Department of Electrical Engineering Master Program in Electrical Engineering and Computer Science National Penghu University of Science and Technology Penghu Taiwan

ISBN: (数字)9798331504120

ISBN: (纸本)9798331504137

Penghu Islands (Pescadores), Taiwan's outlying islands surrounded by the sea, boast rich fishing resources that attract many anglers. However, successful fishing requires more than just gear: it involves understanding the varying fish species available in different locations, times, and climates, as well as adhering to relevant laws and regulations. To address these needs, this paper proposes an environmentally friendly fishing Android-based mobile device App specifically for the Penghu Islands. The proposed Android-based mobile device App aims to gather essential information, including local fishing regulations, aquatic safety tips, and important precautions. Its goal is to equip fishermen with the resources necessary to fish successfully and with peace of mind.

关键词： Sea measurements Length measurement Fish Regulation Mobile applications Tides Protection Smart phones Meteorology Lenses

来源：评论

学校读者我要写书评

暂无评论

Interference-Based Reliability and Capacity Analysis for IEEE 802.11 Broadcast Ad-Hoc Networks on the Highway 11

Interference-Based Reliability and Capacity Analysis for IEE...

引用

11th International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2025

作者： Li, Zhijuan Wu, Xintong Li, Xiaokun Ma, Xiaomin Department of Computer and Big Data Heilongjiang University Harbin150080 China Postdoctoral Program of Heilongjiang Hengxun Technology Co. Ltd. Harbin150090 China School of Computer Science and Technology Harbin Institute of Technology Harbin150001 China College of Science and Engineering Oral Roberts University TulsaOK74171 United States

ISBN: (纸本)9789897587450

Interference is a critical factor that degrades wireless network performance. In IEEE 802.11 wireless broadcast networks, hidden terminals and concurrent transmissions are the primary sources of interference due to the carrier sense multiple access (CSMA) mechanism. Therefore, analyzing the signal-to-interference-plus-noise ratio (SINR) distribution is essential for evaluating network performance, whose derivation relates to the transmission probabilities of hidden terminals and concurrent transmissions. In this study, we utilize the existing semi-markov process (SMP) model to calculate these transmission probabilities. Subsequently, we employ the Laplace transform to analyze the SINR distribution in IEEE 802.11 broadcast ad-hoc networks on highways. Based on the derived SINR distribution, we further evaluate the reliability and capacity. This approach can be readily extended to two-dimensional (2D) or three-dimensional (3D) scenarios by employing d-dimensional (1 ≤ d ≤ 3, dD) point process. Experimental results demonstrate that the proposed model achieves high accuracy under small to medium interference ranges. Additionally, the analysis remains highly accurate for receivers within 70 meters, even in scenarios with large interference ranges. Copyright © 2025 by SCITEPRESS - Science and Technology Publications, Lda.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

Modal Identification of Power Oscillations with Continuous Wavelet Transform Applied to the Signal from the Belo Monte Hydroelectric Power Plant Generator

Modal Identification of Power Oscillations with Continuous W...

引用

Power Electronics and Control (SEPOC), Seminar on

作者： Gilson Viana Corrêa Chiara das Dores do Nascimento Everton Granemann Souza Graduate Program in Computer and Electronic Engineering Eletrobras Eletronorte Catholic University of Pelotas Pelotas RS Brazil Graduate Program in Computer and Electronic Engineering Catholic University of Pelotas Pelotas RS Brazil

This work presents the application of the Continuous Wavelet Transform employing the complex Morlet mother wavelet for the modal identification of electromechanical transients. The observed oscillations are decoupled into simpler oscillatory modes through analytical expressions, from which the relative oscillation frequencies are estimated for each mode. Additionally, the most influential modes in the detected transient are identified based on the amplitude of each oscillation. To demonstrate the effectiveness of the method, two simulations were conducted: one using a synthetic multimodal signal and the other using a unimodal signal obtained from tests on the Power System Stabilizer of a generator from the Belo Monte Hydroelectric Power Plant.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Style Change Detection using Discourse Markers

Style Change Detection using Discourse Markers

引用

2022 Conference and Labs of the Evaluation Forum, CLEF 2022

作者： Alvi, Faisal Algafri, Hasan Alqahtani, Naif Information & Computer Science Department King Fahd University of Petroleum and Minerals Dhahran Saudi Arabia Computer Science Program Dhanani School of Science and Engineering Habib University Karachi Pakistan

This article presents our approach for the Style Change Detection Task at PAN 2022 using discourse markers. Discourse markers (such as ‘what’, ‘I have’, etc.) are words or expressions used to connect, organise and manage conversations. We present two different approaches for Style Change Detection at PAN-2022. For Task 1, (Style Change Basic) our approach is based on identifying conversational patterns within the documents between a user and a possible respondent. Then, using classification algorithms, we predict the point of style change detection within each document. For Task 2 (Style Change Advanced) and Task 3 (Style Change Real World), we use an extensive list of frequently occurring discourse markers to identify the number of speakers as the number of authors within the document. This prediction serves as the number of clusters for text segments within the document. Subsequently, using unsupervised clustering we detect clusters of similar text segments such that each cluster comprises of text segment groups corresponding to each author. The resulting F1 scores for our approaches on the test set are: 0.70518 for Task 1, 0.32128 for Task 2 and 0.56360 for Task 3. © 2022 Copyright for this paper by its authors.

关键词： Change detection

来源：评论

学校读者我要写书评

暂无评论

LSCS-Net: A lightweight skin cancer segmentation network with densely connected multi-rate atrous convolution

引用

computers in Biology and Medicine 2024年 173卷 108303-108303页

作者： Din, Sadia Mourad, Omar Serpedin, Erchin Electrical and Computer Engineering Program Texas A&M University Doha Qatar Weill Cornell Medicine Doha Qatar Department of Electrical and Computer Engineering Texas A&M University College StationTX United States

The rising occurrence and notable public health consequences of skin cancer, especially of the most challenging form known as melanoma, have created an urgent demand for more advanced approaches to disease management. The integration of modern computer vision methods into clinical procedures offers the potential for enhancing the detection of skin cancer. The UNet model has gained prominence as a valuable tool for this objective, continuously evolving to tackle the difficulties associated with the inherent diversity of dermatological images. These challenges stem from diverse medical origins and are further complicated by variations in lighting, patient characteristics, and hair density. In this work, we present an innovative end-to-end trainable network crafted for the segmentation of skin cancer. This network comprises an encoder–decoder architecture, a novel feature extraction block, and a densely connected multi-rate Atrous convolution block. We evaluated the performance of the proposed lightweight skin cancer segmentation network (LSCS-Net) on three widely used benchmark datasets for skin lesion segmentation: ISIC 2016, ISIC 2017, and ISIC 2018. The generalization capabilities of LSCS-Net are testified by the excellent performance on breast cancer and thyroid nodule segmentation datasets. The empirical findings confirm that LSCS-net attains state-of-the-art results, as demonstrated by a significantly elevated Jaccard index. © 2024 The Author(s)

关键词： Convolution

来源：评论

学校读者我要写书评

暂无评论

Trustworthy actionable perturbations 24

Trustworthy actionable perturbations

引用

Proceedings of the 41st International Conference on Machine Learning

作者： Jesse Friedbaum Sudarshan Adiga Ravi Tandon Program in Applied Mathematics University of Arizona Tucson AZ and Department of Electrical and Computer Engineering University of Arizona Tucson AZ Department of Electrical and Computer Engineering University of Arizona Tucson AZ

Counterfactuals, or modified inputs that lead to a different outcome, are an important tool for understanding the logic used by machine learning classifiers and how to change an undesirable classification. Even if a counterfactual changes a classifier's decision, however, it may not affect the true underlying class probabilities, i.e. the counterfactual may act like an adversarial attack and "fool" the classifier. We propose a new framework for creating modified inputs that change the true underlying probabilities in a beneficial way which we call Trustworthy Actionable Perturbations (TAP). This includes a novel verification procedure to ensure that TAP change the true class probabilities instead of acting adversarially. Our framework also includes new cost, reward, and goal definitions that are better suited to effectuating change in the real world. We present PAC-learnability results for our verification procedure and theoretically analyze our new method for measuring reward. We also develop a methodology for creating TAP and compare our results to those achieved by previous counterfactual methods.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Hybrid Classical-Quantum Optimization for Ensemble Learning 9

Hybrid Classical-Quantum Optimization for Ensemble Learning

引用

9th International Conference on Advanced Informatics: Concepts, Theory and Applications, ICAICTA 2022

作者： Yulianti, Lenny Putri Santoso, Judhi Trisetyarso, Agung Surendro, Kridanto Bandung Institute of Technology School of Electrical Engineering and Informatics Bandung Indonesia Bina Nusantara University Program - Computer Science Bandung Indonesia

ISBN: (数字)9781665456685

ISBN: (纸本)9781665456685

Ensemble learning has gained attention due to its ability to improve predictive performance in classification and regression problems. However, there are several issues related to optimizing accuracy, diversity, and efficiency simultaneously in the ensemble learning process. Existing studies mostly focus on one or two of them, or focus on all three but only on the specific process of ensemble learning. Besides, the quantum approach has been expected to accelerate the optimization process while maintaining accuracy. The contribution of this study is to design a hybrid classical-quantum methodology for optimizing ensemble learning in a holistic way. This methodology combines classical (i.e. clustering, improved evaluation measures, and generalized weighted ensemble with internally tuned hyperparameters) and quantum (i.e. quantum annealing) approaches, and this methodology is analyzed to provide more optimal results. © 2022 IEEE.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

The use of long short-term memory models to estimate soybean pricing: a regional climate data evaluation from Brazil

引用

IEEE Access 2025年 13卷 101869-101884页

作者： Oliva, Jefferson Tales Martelli, Otavio Pigozzo Barbosa, Marco Antonio De Castro Molin, Viviane Dal Casanova, Dalcimar Teixeira, Marcelo Federal University of Technology-Paraná Graduate Program in Electrical and Computer Engineering Pato Branco Brazil Federal University of Technology-Paraná Department of Academic Informatics Pato Branco Brazil Federal University of Technology-Paraná Graduate Program in Production and Systems Engineering Pato Branco Brazil

This work uses machine learning methods to analyze the influence of the Brazilian climate on international soybean price variability. For this purpose, climatic data, historical series of the extended national consumer price index, dollar price historical series, soybean harvest historical series, and international soybean price historical series are collected from different data sources. The data is then preprocessed and grouped by state. Afterward, data from the five most productive Brazilian states, Mato Grosso (MT), Mato Grosso do Sul (MS), Goiás (GO), Paraná (PR), and Rio Grande do Sul (RS), which together correspond to 74.9% of total production, are chosen. Then, predictive models were built using the long short-term memory (LSTM) method, which is applied to each state dataset considering two different settings: with and without climatic data. Thus, two models were built for each Brazilian state, totaling ten predictors. These models are evaluated using 10-fold sequential split cross-validation, whose predictive results are used for performance comparison through statistical hypothesis testing. In the experimental evaluation, when trained with climatic data, the PR model achieved the lowest average values of root mean squared error (RMSE) and mean absolute error (MAE), which are 20.90 and 16.72, respectively. Regarding predictors trained without climate data, the RS and PR obtained the lowest averaged values of RMSE (20.84) and MAE (16.81), respectively. After performing statistical hypothesis tests, no significant differences were found between the models, stating, with certainty 95%, that the Brazilian climatic data did not influence soybean prices in our study. © 2013 IEEE.

关键词： Brazilian Climatic Data Long-Short Term Memory Machine Learning Soybean Time Series

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：