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

13th International Conference on Electronics, Communications and Networks, CECNet 2023

作者： Liu, Jie Qi, Xiaodi Wu, Zhiqiang Jiang, Wei Chen, Zhi Jian, Yifan Wen, Juan School of Computer/Software University of South China China Laboratory of Nuclear Reactor System Design Technology China Nuclear Power Research and Design Institute China

ISBN: (纸本)9781643684802

The collection of nuclear power plants operating data is the basis for subsequent fault diagnosis and obtaining the operating status of nuclear power plants, but equipment failures and external interference will lead to missing operating monitoring data, which will reduce the quality of the data and thus reduce the accuracy of the subsequent analysis results. To solve this problem, this paper utilizes the fact that nuclear power plants have accumulated a large amount of operational data and researches the method of generating adversarial imputation network (GAIN)-based imputation method for missing values of nuclear power plants' operational data. The generator in the model estimates the missing values by learning the distribution of the true values, and the discriminator in the model discriminates which values are true and which are generated with the help of a hint matrix. The hint reveals partial information about the missing original samples to the discriminator, which the discriminator uses to focus its attention on the quality of the imputation of particular data values. Finally, a training set and a test set were constructed for comparative experiments on the PCTran simulation platform by simulating the operational data of the AP1000 as an example. The experimental results demonstrate that the investigated algorithm achieves lower root mean square error (RMSE), verifying the feasibility and accuracy of the method. © 2024 The authors and IOS Press.

关键词： Nuclear power plants

来源：评论

学校读者我要写书评

暂无评论

An efficient memory data organization strategy for application-characteristic graph processing

引用

Frontiers of computer Science 2022年第1期16卷 191-193页

作者： Peng FANG Fang WANG Zhan SHI Dan FENG Qianxu YI Xianghao XU Yongxuan ZHANG Wuhan National Laboratory for Optoelectronics Key Laboratory of Information Storage SystemEngineering Research Center of data storage systems and TechnologyMinistry of Education of ChinaSchool of Computer Science and TechnologyHuazhong University of Science and TechnologyWuhan430074China

1 Introduction Graph processing has received significant attention for its ability to cope with large-scale and complex unstructured data in the ***,most of the graph processing applications exhibit an irregular memor... 详细信息

关键词： application processing pattern

来源：评论

学校读者我要写书评

暂无评论

A Two-Step Approach for Multi-topology Identification and Parameter Estimation of Power Distribution Networks

引用

CSEE Journal of Power and Energy systems 2024年第6期10卷 2446-2456页

作者： Li Ma Lei Wu Nian Liu Wei Pei Institute of Electrical Engineering and Key Laboratory of Long-Duration and Large-Scale Energy StorageChinese Academy of SciencesBeijing 100190China Department of Electrical and Computer Engineering Stevens Institute of TechnologyHobokenNJ 07030USA State Key Laboratory of Alternate Electrical Power System With Renewable Energy Sources North China Electric Power UniversityBeijing 102206China

To improve observability in power distribution networks(PDN),a two-step framework of multi-topology identification and parameter estimation is proposed in this ***,in the first step,a mixed-integer linear program(MILP)model-based split method is proposed to recognize mixed topologies in a multi-record dataset without a prerequisite on the number of topology categories and values of nodal voltage phase *** the second step,line parameters and nodal voltage phase angles are estimated using the Newton-Raphson method based on nodal measurements of real and reactive power injections,as well as voltage ***,a modified estimation model is proposed to apply to the multitopology ***,case studies on an IEEE 33-bus system illustrate the effectiveness of the proposed models in identifying the PDN’s topologies,as well as estimating line parameters and voltage phase angles.

关键词： MILP Newton-Raphson method parameter estimation power distribution system topology identification

来源：评论

学校读者我要写书评

暂无评论

Toward Comprehensive Semantic Prompt for Region Contrastive Learning Underwater Image Enhancement

Toward Comprehensive Semantic Prompt for Region Contrastive ...

引用

2025 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2025

作者： Wang, Xiao Fu, Yongsheng Wang, Wei Liu, Wei School of Computer Science and Technology Wuhan University of Science and Technology Wuhan China Hubei Province Key Laboratory of Intelligent Information Processing and Real-time Industrial System China

ISBN: (纸本)9798350368741

Underwater image enhancement (UIE) focuses on mitigating image quality degradation due to light absorption and scattering. However, most existing methods enhance images via a global and uniform manner, neglecting the inherent semantic information in different regions, which may cause the network to easily deviate from the region's original color. Moreover, these methods typically rely on clear images to guide network convergence, a process constrained by the limited availability of real-world datasets, making it extremely challenging to train enhancement models for various degradations. To address these challenges, this paper introduces a semantic guidance and region contrastive constraints network (SRCNet). Initially, we propose a semantic-aware RWKV (Receptance Weighted Key Value) block and a semantic prompt regularization module. These components leverage intra-target semantic correlations to preserve image details and colors within a global perceptual framework, while employing focal loss to emphasize the restoration of severely degraded regions. Subsequently, we introduce a region contrastive learning method that effectively utilizes negative samples to precisely capture features sensitive to degradation factors, thereby fostering robust feature distributions. Finally, experimental results demonstrate that our method outperforms existing state-of-the-art (SOTA) approaches. © 2025 IEEE.

关键词： contrastive learning rwkv semantic prompt Underwater image enhancement

来源：评论

学校读者我要写书评

暂无评论

Formalization of Android Activity-Fragment Multitasking Mechanism and Static Analysis of Mobile Apps

引用

Formal Aspects of Computing 2025年第2期37卷 1-86页

作者： He, Jinlong Wu, Zhilin Chen, Taolue Key Laboratory of System Software Chinese Academy of Sciences Institute of Software Chinese Academy of Sciences Beijing China State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China School of Computer Science and Technology University of Chinese Academy of Sciences Beijing China School of Computing and Mathematical Sciences Birkbeck University of London Northern Ireland London United Kingdom

The multitasking mechanism between activities and fragments plays a fundamental role in the Android operating system, which involves a wide range of features, including launch modes, intent flags, task affinities, and structured activities containing fragments. All of them are being widely used in Android apps, both open source and commercial ones. In this article, we present a formal semantics of the Android multitasking mechanism between activities and fragments, which accommodates all the important features and gives insofar the most comprehensive and accurate formalization. In particular, our semantics is formulated based on multi-stack systems, and fully captures the behavior of task stacks and activity stacks regarding fragments. Based on the semantics, we provide new static analysis algorithms, which are both multi-stack aware and fragment sensitive, thus achieve more precise static analysis for Android apps. We validate our approach by extensive experiments on both open source and commercial Android apps. The results highlight the benefits of the considering the semantics of the multitasking mechanism between activities and fragments in static analysis, and confirm the efficacy of our approach. © 2025 Copyright held by the owner/author(s).

关键词： Android multitasking mechanism activities and fragments formal semantics stack unboundedness static analysis

来源：评论

学校读者我要写书评

暂无评论

Research on model validation of routing protocol for UAV swarm cooperative disaster relief system

Research on model validation of routing protocol for UAV swa...

引用

2023 International Conference on computer Application and Information Security, ICCAIS 2023

作者： Wei, Tonghao Liu, Jie Yang, Fei Han, Wenxing Jiang, Wei School of Computer Science/Software University of South China Hunan Hengyang China Science and Technology on Reactor System Design Technology Laboratory Nuclear Power Institute of China Sichuan Chengdu China

ISBN: (纸本)9781510675032

In recent years, with the continuous expansion of unmanned aerial vehicle (UAV) swarm applications and the rapid development of the UAV self-organizing network system, the related security threats have also increased. In this paper, we conduct the communication model of the UAV swarm cooperative disaster relief system by verifying the security attributes of the UAV swarm cooperative disaster relief system based on the dynamic source routing (DSR) protocol and we also analyze and verify their security attributes. Finally, we propose a novel scheme to model, characterize, and verify the security attributes of the UAV swarm communication networks. It provides a formal analysis and verification method for verifying the security attributes of self-organized network systems, simplifying a series of challenging verification processes that come with demonstrating the security attributes of the system through simulation experiments. © 2024 SPIE.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

GHVC-Net: Hypervolume Contribution Approximation Based on Graph Neural Network

GHVC-Net: Hypervolume Contribution Approximation Based on Gr...

引用

2024 IEEE International Conference on systems, Man, and Cybernetics, SMC 2024

作者： Wu, Guotong Nan, Yang Shang, Ke Ishibuchi, Hisao Shenzhen University National Engineering Laboratory for Big Data System Computing Technology Shenzhen518060 China Southern University of Science and Technology Department of Computer Science and Engineering Shenzhen518055 China

ISBN: (纸本)9781665410205

This paper proposes a framework called GHVC-Net that uses the graph neural network (GNN) model to approximate each solution's hypervolume contribution (HVC). GHVC-Net is permutation invariant and can handle solution sets of arbitrary size, similar to the properties of GNN. Compared to HVC-Net (i.e., a machine learning model for HVC approximation), GHVC-Net achieves better accuracy with less training time. GHVC-Net is also compared with traditional approximation methods, such as line-based and point-based methods, to demonstrate its ability to identify the solution with the smallest (largest) HVC. © 2024 IEEE.

关键词： Neural network models

来源：评论

学校读者我要写书评

暂无评论

Zero-phase CARIMA Filtering and Application in Wind-storage system Sizing and Power Dispatch Optimization

引用

CSEE Journal of Power and Energy systems 2024年第6期10卷 2283-2295页

作者： Wei Wang Peng Chen Guorui Ren Jizhen Liu Fang Fang Zhe Chen State Key Laboratory of Alternate Electrical Power System with Renewable Energy Sources North China Electric Power UniversityBeijing 102206China School of Control and Computer Engineering North China Electric Power UniversityBeijing 102206China Department of Energy Technology Aalborg University9220 AalborgDenmark

Hybrid energy storage system(HESS)is an effective way to mitigate wind power fluctuations on multi-time scale,and can improve influence of large-scale grid-connected wind power on stability and reliability of power system.A novel methodology named zero-phase controlled auto-regressive integrated moving-average(CARIMA)filter is proposed to integrate HESS to smooth wind power ***,a design method for zero-phase CARIMA filter is provided,and then used to determine grid-connected power for a wind storage system and size *** reasons,direct current(DC)component caused by energy storage efficiency and grid-connected power delay caused by phase shift,for causing superfluous energy storage configuration are *** addition,a nonlinear programming scheduling strategy considering battery degradation is *** imbalance caused by efficiency difference during dynamic adjustment of energy storage output power is ***,thermostatically controlled loads(TCLs)are integrated in sizing and scheduling HESS to reduce energy storage demand and improve operating conditions of energy ***,effectiveness of the proposed strategy is verified by a case study.

关键词： CARIMA demand response energy storage optimization wind power zero-phase

来源：评论

学校读者我要写书评

暂无评论

HCU-Net: An Efficient Fully Convolutional Neural Network for Thyroid Nodules Ultrasound Image Segmentation

HCU-Net: An Efficient Fully Convolutional Neural Network for...

引用

2024 IEEE International Conference on systems, Man, and Cybernetics, SMC 2024

作者： Ren, Mengxi Liu, Jun School of Computer Science and Technology Wuhan University of Science and Technology Wuhan China Wuhan University of Science and Technology Hubei Province Key Laboratory of Intelligent Information Processing and Real-Time Industrial System Wuhan China

ISBN: (纸本)9781665410205

Thyroid nodules, which can manifest as solitary or multiple growths, are among the most prevalent diseases with a high incidence rate. When examining thyroid nodules, ultrasound is typically the first step. Ultrasound image segmentation of thyroid nodules can assist physicians in diagnosis. However, the following three factors limit the development of thyroid nodule segmentation: (1) most of the existing studies optimize the segmentation of single nodules, and the incidence of multiple nodules is higher, so the segmentation of multiple nodules is also very important;(2) the ultrasound image of thyroid nodules is difficult to segment because of its low resolution and fuzzy boundary;(3) Due to the small data set of thyroid nodule ultrasound, in such a small dataset, attention mechanisms may be prone to overfitting, resulting in poorer generalization performance. Therefore, the attention-based model may not be suitable for the segmentation of thyroid nodules. Hence, we propose Hybrid Convolutional U-Net (HCU-Net), a simple and strong fully convolutional neural network for the segmentation of single or multiple thyroid nodules. HCU-Net incorporates a large receptive field to ensure accurate and stable segmentation. Specifically, we design Hybrid Branch Block to enhance the network's feature extraction capability for single or multiple nodules in ultrasound images by integrating multi-scale features. Furthermore, we add Enhanced ConvNeXt Blocks to the U-Net's final layer, enabling the extraction of global contextual information for segmentation performance. The Experimental results show that our proposed method can effectively improve these issues on two publicly available datasets. In addition, compared to attention-based models, our network is simpler and more suitable for small datasets like ultrasound images. © 2024 IEEE.

关键词： Ultrasonic imaging

来源：评论

学校读者我要写书评

暂无评论

λGrapher: A Resource-Efficient Serverless system for GNN Serving through Graph Sharing 24

λGrapher: A Resource-Efficient Serverless System for GNN Se...

引用

33rd ACM Web Conference, WWW 2024

作者： Hu, Haichuan Liu, Fangming Pei, Qiangyu Yuan, Yongjie Xu, Zichen Wang, Lin National Engineering Research Center for Big Data Technology and System The Services Computing Technology and System Lab Cluster and Grid Computing Lab in the School of Computer Science and Technology Huazhong University of Science and Technology 1037 Luoyu Road Wuhan China Peng Cheng Laboratory Huazhong University of Science and Technology China School of Mathematics and Computer Science Nanchang University China Paderborn University Paderborn Germany

ISBN: (纸本)9798400701719

Graph Neural Networks (GNNs) have been increasingly adopted for graph analysis in web applications such as social networks. Yet, efficient GNN serving remains a critical challenge due to high workload fluctuations and intricate GNN operations. Serverless computing, thanks to its flexibility and agility, offers on-demand serving of GNN inference requests. Alas, the request-centric serverless model is still too coarse-grained to avoid resource waste. Observing the significant data locality in computation graphs of requests, we propose λGrapher, a serverless system for GNN serving that achieves resource efficiency through graph sharing and fine-grained resource allocation. "Grapher features the following designs: (1) adaptive timeout for request buffering to balance resource efficiency and inference latency, (2) graph-centric scheduling to minimize computation and memory redundancy, and (3) resource-centric function management with fine-grained resource allocation catered to the resource sensitivities of GNN operations and function orchestration optimized to hide communication latency. We implement a prototype of λGrapher based on the representative open-source serverless platform Knative and evaluate it with real-world traces from various web applications. Our results show that λGrapher can achieve an average savings of 61.5% in memory resource and 47.2% in computing resource compared with the state of the arts while ensuring GNN inference latency. © 2024 ACM.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：