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

11th International Symposium on From Data to Models and Back, DataMod 2023

作者： Das, Susmoy Sharma, Arpit Department of Electrical Engineering and Computer Science Indian Institute of Science Education and Research Bhopal Bhopal India

ISBN: (纸本)9783031872167

The Supreme Court plays an extremely critical role in ensuring adherence to the rule of law and in strengthening the democracy. Due to this reason, modeling and analysis of small group interactions in the courtroom setting is an important task as it can help in understanding court decision-making. We apply probabilistic model checking for the modeling and analysis of temporal interaction dynamics in the context of the Supreme Court of the United States. We have used the transcripts of the oral arguments of cases from the Supreme Court for constructing a discrete-time Markov reward model (DTMRM). Next, we formulate interesting queries over interaction by using probabilistic computation tree logic (PCTL) and PCTL with rewards and verify them using a probabilistic symbolic model checker (PRISM). Our experimental results show that probabilistic model checking is very effective in identifying trends, hidden patterns, and how justices behave during the trials. These results not only provide valuable feedback to the justices but may also be used by the advocates and law students for finding better ways to present their arguments in the court. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

Reviewing metal supported solid oxide fuel cells for efficient electricity generation with biofuels for mobility

引用

Journal of Energy Chemistry 2025年第04期103卷 106-153页

作者： Fábio C.Antunes Jo?o P.J.de Oliveira Ricardo S.de Abreu Thiago Dias Bruno B.N.S.Brand?o Josué M.Gon?alves Josimar Ribeiro Julian Hunt Hudson Zanin Gustavo Doubek School of Electrical and Computer Engineering University of Campinas School of Food Engineering University of Campinas School of Chemical Engineering University of Campinas Mackenzie Institute for Research in Graphene and Nanotechnologies (Mack Graphe) Mackenzie Presbyterian Institute Electrochemistry Research and Development Laboratory (LPDE) Department of Chemistry Center of Exact Sciences Federal University of Espírito Santo Biological and Environmental Science and Engineering Division King Abdullah University of Science and Technology

Metal-Supported Solid Oxide Fuel Cells（MS-SOFCs） hold significant potential for driving the energy *** electrochemical devices represent the most advanced generation of Solid Oxide Fuel Cell（SOFCs） and can pave the way for mass production and wider adoption than Proton Exchange Membrane Fuel Cells（PEMFCs） due to their fuel flexibility,higher power density and the absence of noble metals in the fabrication *** review examines the state-of-the-art of SOFCs and MS-SOFCs,presenting perspectives and research directions for these key technological devices,highlighting novel materials,techniques,architectures,devices,and degradation mechanisms to address current challenges and future *** such as infiltration/impregnation,ex-solution catalyst synthesis,and the use of a pre-catalytic reformer layer are discussed as their impact on efficiency and prolonged *** concepts are also described and connected with well-dispersed nano particles,hindrance of coarsening,and an increased number of Triple Phase Boundaries（TPBs）.This review also describes the synergistic use of reformers with MS-SOFCs to compose solutions in energy generation from readily available ***,the End-of-Life（EoL）,recycling,and life-cycle assessments（LCAs） of the Fuel Cell Hybrid Electric Vehicles（FCHEVs） were *** comparing Fuel Cell Electric Vehicles（FCEVs）equipped with（PEMFCs） and FCHEVs equipped with MS-SOFCs,both powered with hydrogen（H2） generated by different routes were *** review aims to provide valuable insights into these key technological devices,emphasizing the importance of robust research and development to enhance performance and lifespan while reducing costs and environmental impact.

关键词： Biofuel Fuel cell Hybrid electric vehicle Metal-supported solid oxide fuel cell Powertrain systems Reform

来源：评论

学校读者我要写书评

暂无评论

NS3-Based Communication Network Modeling for Multi-Microgrid systems: Design and Evaluation

NS3-Based Communication Network Modeling for Multi-Microgrid...

引用

2025 IEEE Green Technologies Conference, GreenTech 2025

作者： Ali, Ola Mohammed, Osama A. Florida International University Energy Systems Research Laboratory Department of Electrical and Computer Engineering MiamiFL33174 United States

ISBN: (纸本)9798331520182

This paper presents a communication emulation model for enhancing the efficiency of multi-microgrid (MMG) networks, employing Network Simulator 3 (ns3). MMG systems require robust communication frameworks for coordination, particularly under varying traffic conditions. The introduced model accommodates multiple local area networks (LANs) that support efficient communication across multiple autonomous AC microgrids. The developed model facilitates seamless bidirectional information exchange between the microgrids' local controllers and the MMG control center (MMGCC), employing TCP/IP protocol to ensure high data transmission integrity and low latency. A detailed design in C + is demonstrated, including the configuration of the communication nodes, topology, communication links, and quality of service (QoS) analysis. The network performance is rigorously assessed across low and high traffic conditions, with performance metrics such as throughput, delay, and percentage packet loss at each node. Results confirm the effectiveness of the introduced model in sustaining minimal packet loss, high throughput, and low delays under dynamic operating scenarios. These findings establish the developed model as a viable solution for meeting the real-time communication requirements of MMG energy management systems. © 2025 IEEE.

关键词： Transmission control protocol

来源：评论

学校读者我要写书评

暂无评论

Enhanced battery life prediction with reduced data demand via semi-supervised representation learning

引用

Journal of Energy Chemistry 2025年第2期101卷 524-534,I0011页

作者： Liang Ma Jinpeng Tian Tieling Zhang Qinghua Guo Chi Yung Chung School of Mechanical MaterialsMechatronic and Biomedical EngineeringUniversity of WollongongNSW 2522Australia Department of Electrical and Electronic Engineering and Research Centre for Grid Modernisation The Hong Kong Polytechnic UniversityKowloonHong Kong 999077China Photonics Research Institute The Hong Kong Polytechnic UniversityKowloonHong Kong 999077China School of Electrical Computer and Telecommunications EngineeringUniversity of WollongongWollongongNSW 2522Australia

Accurate prediction of the remaining useful life(RUL)is crucial for the design and management of lithium-ion *** various machine learning models offer promising predictions,one critical but often overlooked challenge is their demand for considerable run-to-failure data for *** of such training data leads to prohibitive testing efforts as the run-to-failure tests can last for ***,we propose a semi-supervised representation learning method to enhance prediction accuracy by learning from data without RUL *** approach builds on a sophisticated deep neural network that comprises an encoder and three decoder heads to extract time-dependent representation features from short-term battery operating data regardless of the existence of RUL *** approach is validated using three datasets collected from 34 batteries operating under various conditions,encompassing over 19,900 charge and discharge *** method achieves a root mean squared error(RMSE)within 25 cycles,even when only 1/50 of the training dataset is labelled,representing a reduction of 48%compared to the conventional *** also demonstrate the method's robustness with varying numbers of labelled data and different weights assigned to the three decoder *** projection of extracted features in low space reveals that our method effectively learns degradation features from unlabelled *** approach highlights the promise of utilising semi-supervised learning to reduce the data demand for reliability monitoring of energy devices.

关键词： Lithium-ion batteries Battery degradation Remaining useful life Semi-supervised learning

来源：评论

学校读者我要写书评

暂无评论

Improved Single DC Source Hybrid Neutral Point Clamped Converter with 13 Levels

引用

IEEE Transactions on Power Electronics 2025年

作者： Zakzewski, Daniel Resalayyan, Rakesh Khaligh, Alireza University of Maryland Department of Electrical and Computer Engineering The Institute for Systems Research United States

In this paper, a 13-level circuit topology is proposed, which features a single dc source, extended linear modulation range, and a high ratio of output voltage levels to semiconductor devices. The proposed converter, which consists of a series-connected floating H-bridge (FHB) supplementing a five-level active neutral point clamped converter (5L-ANPC), can generate 13 pole voltage levels in the normal modulation region and 15 levels in the extended modulation region. The key performance improvements offered by the proposed topology are enhanced power quality, reduced losses, and increased power density. Whereas existing schemes with a similar circuit structure regulate the FHB to one-eighth of the dc-link voltage and only achieve nine levels, the proposed joint-phase redundancy balancing approach regulates the FHB stage to one-twelfth of the total dc-link voltage on a switching-frequency basis, thereby increasing output power quality while reducing the converter's cost and size without the need for multiple isolated supplies. Further, the proposed modulation scheme also allows for a switching frequency reduction of the higher voltage blocking 5L-ANPC stage by shifting the high-frequency switching to the low voltage blocking FHB stage, thus reducing losses. This work also evaluates operation in the topology's extended linear modulation range which is shown to be increased to 0.612 times the dc-link voltage (modulation index, M = 1.223) without limitations on load power factors, compared to the typical limit of to 0.577 times the dc-link voltage (M = 1.154) for non-boosting topologies such as 3L-ANPC and 5L-ANPC. The proposed converter uses boosting states enabled by the FHB in this extended modulation region, which increases the number of output levels to 15. The effectiveness of the proposed topology and capacitor balancing scheme is validated using experimental and analytical results. Based on experimental and analytical results, the proposed topology is shown to h

关键词： Model predictive control

来源：评论

学校读者我要写书评

暂无评论

Quantum-Enhanced Machine Learning for Precision Breast Cancer Diagnosis 17

Quantum-Enhanced Machine Learning for Precision Breast Cance...

引用

17th International Conference on COMmunication systems and NETworkS, COMSNETS 2025

作者： Banerjee, Agniva Indian Institute of Science Education and Research Bhopal Dept. Electrical Engineering and Computer Science Bhopal India

ISBN: (纸本)9798331531195

Cancer is the leading cause of premature mortality. Globally, the prevalence of cancer is on the rise, and early-stage diagnosis is crucial for cancer recovery and survival. However, the presence of circulating tumor cells (CTCs) and heterogeneity within the tumor makes it hard to track how cancer changes over time and how resistance to treatment develops. Unfortunately, the cancer diagnosis precision remains inadequate, endangering precious human lives and necessitating costly procedures for accurate treatment. Machine learning (ML) has proven capable of discovering meaningful information and making predictions, particularly with large datasets. Moreover, quantum computers (QCs) inherently possess superposition and parallel computation, features not found in classical computing. researchers have demonstrated that quantum neural networks (QNNs) achieve a significantly better effective dimension than classical NNs. In this context, this study investigates the application of classical and quantum machine learning (QML) algorithms to classify breast cancer images. Region-based segmentation is used to identify regions of interest and image processing algorithms are performed on segmented breast cancer images to extract meaningful features (e.g., perimeter, area, compactness). An user interface (UI) based software is created to swiftly distinguish benign and malignant instances during image analysis. Although QNNs perform poorly than the classical NNs, there is still a long way to go in developing feature maps and techniques for better performance. In contrast, the classical NNs have gone a long way with well-established algorithms and packages available to us. This research shows that with further development, QML has the potential to enhance cancer diagnosis accuracy and speed, ultimately improving early detection and treatment outcomes. © 2025 IEEE.

关键词： Diseases

来源：评论

学校读者我要写书评

暂无评论

Robust Optimal Power Grid Frequency Regulation Support using Grid Forming Converters

引用

IEEJ Transactions on Power and Energy 2025年第2期145卷 123-135页

作者： Rehimi, Sharara Urabe, Chiyori T. Bevrani, Hassan Kato, Takeyoshi Department of Electrical Engineering Graduate School of Engineering Nagoya University Furo-cho Chikusa-ku Nagoya464-0814 Japan Smart/Micro Grids Research Center Department of Electrical Engineering University of Kurdistan Sanandaj Iran Electrical Engineering Department Institute of Materials Systems for Sustainability of Nagoya University Furo-cho Chikusa-ku Nagoya464-0814 Japan

To enhance frequency and active power control performance, this research proposes a decentralized approach for power grid frequency regulation support using grid-forming (GFM) converters. The proposed approach employs the Kharitonov method to design a robust proportional-integral (PI) controller in the outer control loop of a grid-connected GFM converter. The PI controller is made expressly to deal with the uncertainties and disruptions that are common in power grid operations. The PI controller successfully mitigates system risks by demonstrating strong stability through the application of the Kharitonov approach. Additionally, depending on the expected system performance, this work uses Bayesian optimization to choose the optimal parameters from the robust Kharitonov solutions family. In decentralized frequency regulation, the Kharitonov approach combined with Bayesian optimization presents a viable framework for robust-optimal control system parameters tuning. The efficacy of the proposed method in attaining robust optimal frequency regulation support in a power grid with a grid-connected GFM converter is demonstrated and the result is examined in the simulation environment. © 2025 The institute of electrical Engineers of Japan.

关键词： Robust control

来源：评论

学校读者我要写书评

暂无评论

BitMoD: Bit-serial Mixture-of-Datatype LLM Acceleration 31

BitMoD: Bit-serial Mixture-of-Datatype LLM Acceleration

引用

31st IEEE International Symposium on High Performance computer Architecture, HPCA 2025

作者： Chen, Yuzong Abouelhamayed, Ahmed F. Dai, Xilai Wang, Yang Andronic, Marta Constantinides, George A. Abdelfattah, Mohamed S. Cornell University Computer Systems Lab United States Systems and Networking Research Group Microsoft Research United States Imperial College London Department of Electrical and Electronic Engineering United Kingdom

ISBN: (纸本)9798331506476

Large language models (LLMs) have demonstrated remarkable performance across various machine learning tasks. Yet the substantial memory footprint of LLMs significantly hinders their deployment. In this paper, we improve the accessibility of LLMs through BitMoD1, an algorithm-hardware co-design solution that enables efficient LLM acceleration at low weight precision. On the algorithm side, BitMoD introduces fine-grained data type adaptation that uses a different numerical data type to quantize a group of (e.g., 128) weights. Through the careful design of these new data types, BitMoD is able to quantize LLM weights to very low precision (e.g., 4 bits and 3 bits) while maintaining high accuracy. On the hardware side, BitMoD employs a bitserial processing element to easily support multiple numerical precisions and data types;our hardware design includes two key innovations: First, it employs a unified representation to process different weight data types, thus reducing the hardware cost. Second, it adopts a bit-serial dequantization unit to rescale the per-group partial sum with minimal hardware overhead. Our evaluation on six representative LLMs demonstrates that BitMoD significantly outperforms state-of-the-art LLM quantization and acceleration methods. For discriminative tasks, BitMoD can quantize LLM weights to 4 -bit with © 2025 IEEE.

关键词： Integrated circuit design

来源：评论

学校读者我要写书评

暂无评论

Generalized Two-Point Visual Control Model of Human Steering for Accurate State Estimation1

引用

ASME Letters in Dynamic systems and Control 2025年第1期5卷 011004页

作者： Mai, Rene E. Sears, Katherine Roessling, Grace Julius, Agung Mishra, Sandipan Department of Mechanical Aerospace and Nuclear Engineering Rensselaer Polytechnic Institute TroyNY12180 United States Department of Cognitive Science Rensselaer Polytechnic Institute TroyNY12180 United States Department of Electrical Computer and Systems Engineering Rensselaer Polytechnic Institute TroyNY12180 United States

We derive and validate a generalization of the two-point visual control model, an accepted cognitive science model for human steering behavior. The generalized model is needed as current steering models are either insufficiently accurate or too complex for online state estimation. We demonstrate that the generalized model replicates specific human steering behavior with high precision (85% reduction in modeling error) and integrate this model into a human-as-advisor framework where human steering inputs are used for state estimation. As a benchmark study, we use this framework to decipher ambiguous lane markings represented by biased lateral position measurements. We demonstrate that, with the generalized model, the state estimator can accurately estimate the true vehicle state, providing lateral state estimates with under 0.15 m error across participants. However, without the generalized model, the estimator cannot accurately estimate the vehicle's lateral state. © 2024 by ASME.

关键词： Man machine systems

来源：评论

学校读者我要写书评

暂无评论

Dynamic Modeling and Quantum-Enhanced Forecasting of Multi-Seasonal Energy Prices in Simulated Microgrid Environments

引用

IEEE Access 2025年 13卷 90362-90388页

作者： Dash, Ritesh Sinha, Anupa Jyotheeswara Reddy, K. Dhanamjayulu, C. Kamwa, Innocent Kalinga University Research Scholar Computer Science Engineering Raipur India Kalinga University Computer Science Engineering Raipur India REVA University School of Electrical and Electronics Engineering Bangalore India Vellore Institute of Technology School of Electrical Engineering Vellore632014 India Laval University Department of Electrical Engineering and Computer Engineering Quebec G1V 0A6 Canada

The study address the challenge of forecasting per unit energy prices in a microgrid environment consisting of solar and hydro power resources under multi-seasonal *** deep learning techniques such as LSTM,GRU and ESN often struggle with non-linear dependencies and volatility in energy market. To overcome these we propose a hybrid framework incorporating Adiabatic Quantum Computing (AQC) for electricity price forecasting. The proposed AQC model encodes-32 system and market related variables into quantum states and applies adiabatic evolution to derive optimized price prediction. Simulation results using real microgrid data set-up based on HIL shows that AQC reduces forecasting error by 17.03% compared to LSTM, 14.29% to GRU and 13.88% to ESN over 24-hrs and 48-hrs horizons. The enhanced accuracy and robustness of the quantum assisted model demonstrates its potential for next generation energy market forecasting and decisions making *** entire framework is tested using a synthetic microgrid dataset designed to emulate real-world seasonal and operational dynamics. While this enables controlled validation of the models, the generalizability of the results to real world deployment requires further empirical evaluations on physical microgrid data set. © 2013 IEEE.

关键词： Qubits

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：