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

18th International Conference on Intelligent systems and Knowledge engineering, ISKE 2023

作者： Zhong, Jian Liu, Peiyao Chen, Shuwei School of Computer and Software Engineering National-Local Joint Engineering Laboratory of System Credibility Automatic Verification Xihua University Chengdu China

ISBN: (纸本)9798350318401

Machine learning has been a prominent research focus in recent years, and integrating machine learning methods into automated theorem provers has become a current trend in theorem proving research. Standard contradiction separation rule is a newly proposed multi-clause, dynamic, and synergized deductive inference rule. The key aspect of standard contradiction separation rule is how to plan deduction paths. In order to better plan the deduction path, this paper explores the dynamic learning within the process of contradiction separation deduction and introduces a novel active deductive heuristic algorithm based on reinforcement learning. Experimental results demonstrate that this new algorithm enhances the reasoning capability of the theorem prover Prover9. © 2023 IEEE.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Operational Reliability Modeling and Assessment of Battery Energy Storage Based on Lithium-ion Battery Lifetime Degradation

引用

Journal of Modern Power systems and Clean Energy 2022年第6期10卷 1738-1749页

作者： Lin Cheng Yuxiang Wan Yanglin Zhou David Wenzhong Gao State Key Laboratory of Control and Simulation of Power System and Generation Equipment Department of Electrical EngineeringTsinghua UniversityBeijingChina Department of Electrical and Computer Engineering University of DenverDenverUSA IEEE

Battery energy storage(BES)systems can effectively meet the diversified needs of power system dispatching and assist in renewable energy *** reliability of energy storage is essential to ensure the operational safety of the power ***,BES systems are composed of battery *** suggests that BES performance depends not only on the configuration but also on the operating state over different lifetime *** lack of safety and reliability is the main bottleneck preventing widespread applications of BES ***,a reliability assessment algorithm and a weak-link analytical method for BES systems are proposed while considering battery lifetime ***,a novel lithium-ion battery model is proposed to identify the degradation rate of solid electrolyte interphase film formation and capacity *** impacts of different operating conditions are considered in stress factor ***,a reliability assessment algorithm for a BES system is introduced based on a universal generating *** innovative weak-link analytical method based on the reliability importance index is proposed that combines the evaluation results of state-oriented and state-change-oriented indexes through an entropy weight *** model,algorithm,indexes,and the usefulness are demonstrated in case studies based on aging test data and actual bus operating *** results demonstrate the effects of the battery status and working conditions on BES ***-link analysis is also used to assist BES systems in avoiding short-board batteries to achieve long lifetimes and efficient operation.

关键词： Battery energy storage lifetime degradation operational reliability capacity plummeting weak-link analysis

来源：评论

学校读者我要写书评

暂无评论

Image Enhancement via Associated Perturbation Removal and Texture Reconstruction Learning

引用

IEEE/CAA Journal of Automatica Sinica 2024年第11期11卷 2253-2269页

作者： Kui Jiang Ruoxi Wang Yi Xiao Junjun Jiang Xin Xu Tao Lu IEEE the School of Computer Science and Technology Harbin Institute of Technology Zhengzhou Research Institute Harbin Institute of Technology the School of Artificial Intelligence Jianghan University the School of Geodesy and Geomatics Wuhan University the Hubei Province Key Laboratory of Intelligent Information Processing and Real-Time Industrial System Wuhan University of Science and Technology the School of Computer Science and Engineering and also with the Hubei Province Key Laboratory of Intelligent Robot Wuhan Institute of Technology

Degradation under challenging conditions such as rain, haze, and low light not only diminishes content visibility, but also results in additional degradation side effects, including detail occlusion and color distortion. However, current technologies have barely explored the correlation between perturbation removal and background restoration, consequently struggling to generate high-naturalness content in challenging scenarios. In this paper, we rethink the image enhancement task from the perspective of joint optimization: Perturbation removal and texture reconstruction. To this end, we advise an efficient yet effective image enhancement model, termed the perturbation-guided texture reconstruction network(PerTeRNet). It contains two subnetworks designed for the perturbation elimination and texture reconstruction tasks, respectively. To facilitate texture recovery,we develop a novel perturbation-guided texture enhancement module(PerTEM) to connect these two tasks, where informative background features are extracted from the input with the guidance of predicted perturbation priors. To alleviate the learning burden and computational cost, we suggest performing perturbation removal in a sub-space and exploiting super-resolution to infer high-frequency background details. Our PerTeRNet has demonstrated significant superiority over typical methods in both quantitative and qualitative measures, as evidenced by extensive experimental results on popular image enhancement and joint detection tasks. The source code is available at https://***/kuijiang94/PerTeRNet.

关键词： Association learning attention mechanism image enhancement perturbation modeling

来源：评论

学校读者我要写书评

暂无评论

Stable Stochastic MPC for Uncertain Wind Energy Conversion system Over Whole Operating Regions

引用

IEEE Transactions on Energy Conversion 2025年第1期40卷 515-528页

作者： Liu, Xiangjie Guo, Shifan Ma, Lele Kong, Xiaobing Lee, Kwang Y. North China Electric Power University State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources Beijing102206 China Baylor University Department of Electrical and Computer Engineering WacoTX76798-7356 United States

The stochastic uncertainty of wind speed presents a great challenge for achieving reliable power control in wind energy conversion system (WECS). Due to the excellence in handling the uncertainties based on probabilistic descriptions, stochastic model predictive control (SMPC) has been regarded as a promising strategy for WECS. However, owing to fluctuation characteristic of wind speed, operating points commonly change in WECS. Thus, an important limitation of applying SMPC to WECS stems from the fact that feasibility and stability of the traditional SMPC can only be ensured at one single predesigned operating point. Regarding this issue, a stable SMPC strategy for uncertain WECS is proposed in this paper to ensure the feasibility and stability of WECS under changing operating points over the whole operating regions. A Luenberger observer is employed to estimate model-plant mismatch introduced by linearization process, while a tube-based control framework is deployed to cope with stochastic wind speed disturbance. The feasibility of SMPC is ensured by incorporating artificial steady targets as optimization variables, while the stability of WECS is guaranteed by modifying the cost function and extending the terminal constraint. The effectiveness of the proposed strategy is validated through simulations and experiments under different scenarios. © 1986-2012 IEEE.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

3DGCformer: 3-Dimensional Graph Convolutional transformer for multi-step origin–destination matrix forecasting

引用

Applied Intelligence 2025年第6期55卷 1-18页

作者： Huang, Yiou Deng, Hao Zhao, Shengjie School of Computer Science and Technology Tongji University Shanghai China Key Laboratory of Embedded System and Service Computing Shanghai China Engineering Research Center of Key Software Technologies for Smart City Perception and Planning Ministry of Education Shanghai China

Forecasting Human mobility is of great significance in the simulation and control of infectious diseases like COVID-19. To get a clear picture of potential future outbreaks, it is necessary to forecast multi-step Origin–Destination (OD) matrices for a relatively long period in the future. However, multi-step Origin–Destination Matrix Forecasting (ODMF) is a non-trivial problem. First, previous ODMF models only forecast the OD matrix for the next time-step, and they cannot perform well on long-term multi-step forecasts due to error accumulation. Second, many ODMF methods capture spatial and temporal dependencies with separate modules, which is insufficient to model spatio-temporal correlations in the time-varying OD matrix sequence. To address the challenges in multi-step ODMF, we propose 3-Dimensional Graph Convolutional Transformer (3DGCformer). As an enhancement of the original 3DGCN, we propose a novel Origin–Destination Feature Propagation (ODFP) rule between 3DGCN layers and integrate 2 3DGCNs with different spatio-temporal graphs and corresponding feature propagation rules to model the formation of OD flows in a more comprehensive way. For multi-step forecasts, 3DGCformer uses Transformer to capture long-term global temporal dependency, and adapt its decoder using labeled tokens to avoid error accumulation and improve time efficiency. To avoid information loss as the number of regions increases, we propose a patch embedding approach to convert data from 3DGCNs to the Transformer module. We perform extensive experiments on 4 real-world human mobility datasets, and the results show that our proposed model outperforms the state-of-the-art methods. © The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2025.

关键词： Convolution

来源：评论

学校读者我要写书评

暂无评论

Cloud-edge-based We-Market:Autonomous Bidding and Peer-to-peer Energy Sharing Among Prosumers

引用

Journal of Modern Power systems and Clean Energy 2023年第4期11卷 1282-1293页

作者： Fangyuan Si Yinghua Han Qinqin Xu Jinkuan Wang Qiang Zhao College of Information Science and Engineering Northeastern UniversityShenyangChinaand F.Si is also with the State Key Laboratory of Power System and Generation EquipmentDepartment of Electrical EngineeringTsinghua UniversityBeijingChina School of Computer and Communication Engineering Northeastern University at QinhuangdaoQinhuangdaoChina School of Control Engineering Northeastern University at QinhuangdaoQinhuangdaoChina

With the extensive penetration of distributed renewable energy and self-interested prosumers,the emerging power market tends to enable user autonomy by bottom-up control and distributed *** paper is devoted to solving the specific problems of distributed energy management and autonomous bidding and peer-to-peer(P2P)energy sharing among prosumers.A novel cloud-edge-based We-Market is presented,where the prosumers,as edge nodes with independent control,balance the electricity cost and thermal comfort by formulating a dynamic household energy management system(HEMS).Meanwhile,the autonomous bidding is initiated by prosumers via the modified Stone-Geary utility *** the cloud center,a distributed convergence bidding(CB)algorithm based on consistency criterion is developed,which promotes faster and fairer bidding through the interactive iteration with the edge ***,the proposed scheme is built on top of the commercial cloud platform with sufficiently secure and scalable computing *** results show the effectiveness and practicability of the proposed We-Market,which achieves 15%cost reduction with shorter running *** analysis indicates better scalability,which is more suitable for largerscale We-Market implementation.

关键词： We-Market bidding energy sharing prosumer peer-to-peer cloud-edge

来源：评论

学校读者我要写书评

暂无评论

Automated object recognition in high-resolution optical remote sensing imagery

引用

National Science Review 2023年第6期10卷 38-41页

作者： Yazhou Yao Tao Chen Hanbo Bi Xinhao Cai Gensheng Pei Guoye Yang Zhiyuan Yan Xian Sun Xing Xu Hai Zhang School of Computer Science and Engineering Nanjing University of Science and Technology Aerospace Information Research Institute Chinese Academy of Sciences School of Electronic Electrical and Communication Engineering University of Chinese Academy of Sciences Key Laboratory of Network Information System Technology (NIST) Aerospace Information Research Institute Chinese Academy of Sciences Department of Computer Science and Technology Tsinghua University School of Computer Science and Engineering University of Electronic Science and Technology of China Pazhou Laboratory (Huangpu) School of Mathematics Northwest University

INTRODUCTION With the rapid development of remote sensing technology,high-quality remote sensing images have become widely *** automated object detection and recognition of these images,which aims to automatically locate objects of interest in remote sensing images and distinguish their specific categories,is an important fundamental task in the *** provides an effective means for geospatial object monitoring in many social applications,such as intelligent transportation,urban planning,environmental monitoring and homeland security.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Subnetwork-based federated few-shot semantic segmentation of organ images

引用

Optoelectronics Letters 2025年

作者： Wu Junpeng Zhao Meng Zhang Huanping Key Laboratory of Computer Vision and System of Ministry of Education， School of Computer Science and Engineering， Tianjin University of Technology

Federated learning(FL)， as a distributed learning paradigm， allows multiple medical institutions to collaborate on learning without the need to centralize all client data. However， existing methods pay little attention to more challenging medical image semantic segmentation tasks， especially in the scenario of the imbalanced dataset in federated few-shot learning. In this paper， we propose a subnetwork-based federated few-shot organ image segmentation method. Firstly， individual clients train using local training samples and then upload local model gradients to the server. The server utilizes their respective local model gradients to update the subnetwork maintained on the server and generate aggregation weights for forming personalized model parameters. Through this method， we can learn the similarities between different clients to address data heterogeneity issues. In addition， to enhance the communication efficiency between clients and the server， we have also designed a personalized layer aggregation strategy， which only transmits partial layer model parameters during the communication process to improve communication efficiency. Finally， we conducted experiments on ABD-MRI and ABD-CT datasets to demonstrate the effectiveness of our method.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Multi-Stage Transfer Learning Evolutionary Algorithm for Dynamic Multiobjective Optimization 13

Multi-Stage Transfer Learning Evolutionary Algorithm for Dyn...

引用

13th IEEE Congress on Evolutionary Computation, CEC 2024

作者： Wang, Qianhui Zhu, Qingling Ji, Junkai College of Computer Science and Software Engineering Shenzhen University Shenzhen China Shenzhen University National Engineering Laboratory for Big Data System Computing Technology Shenzhen518060 China

ISBN: (纸本)9798350308365

Recently, the application of transfer learning within dynamic multiobjective evolutionary algorithms (DMOEAs) has shown significant potential to solve dynamic multiobjective optimization problems (DMOPs). This approach utilizes the transfer learning technique which reuses information from previous environments to accelerate the search process in the new environment. However, the risk of negative transfer can lead to an erroneous search direction and inefficient use of computational resources. To address this issue, this paper proposes a novel multistage transfer learning DMOEA, named MSTL. The algorithm is designed to enhance the convergence and diversity of the population through the combination of the pre-transfer learning stage and the transfer learning and validation stage when environmental changes occur. In the pre-transfer learning stage, a suitable target domain, source domain, and validation classifier sample sets are generated guided by historical information. In the transfer learning and validation stage, the TrAdaboost technique to transfer knowledge from the target to the source domain, with the results verified by two validation classifiers to mitigate negative transfer. Experimental results demonstrate that our proposed algorithm outperforms four competing algorithms in terms of diversity and convergence on a widely recognized benchmark suite. © 2024 IEEE.

关键词： Dynamic multiobjective optimization evolutionary algorithm transfer learning

来源：评论

学校读者我要写书评

暂无评论

Securing Data in Multimode Fibers by Exploiting Mode-Dependent Light Propagation Effects

引用

Research 2023年第3期2023卷 669-682页

作者： Stefan Rothe Karl-Ludwig Besser David Krause Robert Kuschmierz Nektarios Koukourakis Eduard Jorswieck Jürgen W.Czarske TU Dresden Faculty of Electrical and Computer EngineeringLaboratory of Measurement and Sensor System Technique01062 DresdenGermany TU Braunschweig Faculty of Electrical EngineeringInformation TechnologyPhysicsInstitute for Communications Technology38106 BraunschweigGermany TU Dresden Faculty of Physics01062 DresdenGermany

Multimode fibers hold great promise to advance data rates in optical communications but come with the challenge to compensate for modal crosstalk and mode-dependent losses,resulting in strong *** holographic measurement of the transmission matrix enables not only correcting distortions but also harnessing these effects for creating a confidential data connection between legitimate communication parties,Alice and *** feasibility of this physical-layer-security-based approach is demonstrated experimentally for the first time on a multimode fiber link to which the eavesdropper Eve is physically *** the proper structured light field is launched at Alice’s side,the message can be delivered to Bob,and,simultaneously,the decipherment for an illegitimate wiretapper Eve is *** a real communication scenario,we implement wiretap codes and demonstrate confidentiality by quantifying the level of *** to an uncoded data transmission,the amount of securely exchanged data is enhanced by a factor of *** complex light transportation phenomena that have long been considered limiting and have restricted the widespread use of multimode fiber are exploited for opening new perspectives on information security in spatial multiplexing communication systems.

关键词： distortion destroyed holographic

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：