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

A Reduced State-Space Generation Method for Concurrent Systems Based on CPN-PR Model

IEEE Transactions on computer-Aided Design of Integrated Circuits and Systems 2025年第6期44卷 2328-2342页

作者： Zhong, Wenjie Sun, Tao Zhou, Jian-Tao Wang, Zhuowei Song, Xiaoyu Inner Mongolia University College of Computer Science the Engineering Research Center of Ecological Big Data Ministry of Education the Inner Mongolia Engineering Laboratory for Cloud Computing and Service Software the Inner Mongolia Engineering Laboratory for Big Data Analysis Technology Hohhot010000 China Guangdong University of Technology School of Computer Science and Technology Guangzhou510006 China Portland State University Department of Electrical and Computer Engineering PortlandOR97207 United States

Colored Petri nets (CPNs) provide descriptions of the concurrent behaviors for software and hardware. Model checking based on CPNs is an effective method to simulate and verify the concurrent behavior in system design. However, the model-checking method traverses the full state space, which suffers from the state-space explosion problem. A reduced state-space generation method related to the property of concurrent systems is proposed. Specifically, we extend CPNs to define a property-related model (CPN-PR) and give a property-related analysis method whose results can be used to generate the CPN-PR model. A reduced state-space generation method is developed based on enabled binding element filtering rules. The stutter trace equivalence between the state spaces of CPN and CPN-PR has been proven by showing that the reduced state space may not change the model-checking result. A comparison experiment is conducted to demonstrate the effectiveness of our method. © 1982-2012 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Stochastic Unit Commitment with High-Penetration Offshore Wind Power Generation in Typhoon Scenarios

引用

Journal of Modern Power Systems and Clean Energy 2024年第2期12卷 535-546页

作者： Yanqi Liu Dundun Liu Hongcai Zhang State Key Laboratory of Internet of Things for Smart City and Department of Electrical and Computer Engineering University of MacaoMacao 999078China University of Macao Zhuhai UM Science and Technology Research Institute ZhuhaiChina

To tackle the energy crisis and climate change,wind farms are being heavily invested in across the *** China's coastal areas,there are abundant wind resources and numerous offshore wind farms are being *** secure operation of these wind farms may suffer from typhoons,and researchers have studied power system operation and resilience enhancement in typhoon ***,the intricate movement of a typhoon makes it challenging to evaluate its spatial-temporal *** published papers only consider predefined typhoon trajectories neglecting *** address this challenge,this study proposes a stochastic unit commitment model that incorporates high-penetration offshore wind power generation in typhoon *** adopts a data-driven method to describe the uncertainties of typhoon trajectories and considers the realistic anti-typhoon mode in offshore wind farms.A two-stage stochastic unit commitment model is designed to enhance power system resilience in typhoon *** formulate the model into a mixed-integer linear programming problem and then solve it based on the computationally-efficient progressive hedging algorithm(PHA).Finally,numerical experiments validate the effectiveness of the proposed method.

关键词： Unit commitment two-stage stochastic programming offshore wind farm typhoon

来源：评论

学校读者我要写书评

暂无评论

Non-planar dielectrics derived thermal and electrostatic field inhomogeneity for boosted weather-adaptive energy harvesting

引用

National science Review 2023年第9期10卷 248-257页

作者： Yi Zhou Tianpeng Ding Yin Cheng Yi Huang Wu Wang Jianmin Yang Lin Xie Ghim Wei Ho Jiaqing He Shenzhen Key Laboratory of Thermoelectric Materials and Department of Physics Southern University of Science and Technology Department of Electrical and Computer Engineering National University of Singapore School of Electronic Science and Engineering State Key Laboratory of Electronic Thin Film and Integrated Devices University of Electronic Science and Technology of China Department of Materials Science and Engineering National University of Singapore Institute of Materials Research and Engineering Agency for ScienceTechnology and Research (A*STAR) GuangdongHong Kong-Macao Joint Laboratory for Photonic-Thermal-Electrical Energy Materials and Devices Southern University of Science and Technology

Weather-adaptive energy harvesting of omnipresent waste heat and rain droplets,though promising in the field of environmental energy sustainability,is still far from practice due to its low electrical output owing to diele ctric structure irrationality and *** we present atypical upcycling of ambient heat and raindrop energy via an all-in-one non-planar energy harvester,simultaneously increasing solar pyroelectricity and droplet-based triboelectricity by two-fold,in contrast to conventional *** delivered non-planar dielectric with high transmittance confines the solar irradiance onto a focal hotspot,offering transverse thermal field propagation towards boosted inhomogeneous polarization with a generated power density of 6.1 mW m-2at 0.2 ***,the enlarged lateral surface area of curved architecture promotes droplet spreading/separation,thus travelling the electrostatic field towards increased *** enhanced pyroelectric and triboelectric outputs,upgraded with advanced manufacturing,demonstrate applicability in adaptive sustainable energy harvesting on sunny,cloudy,night,and rainy *** findings highlight a facile yet efficient strategy,not only for weather-adaptive environmental energy recovery but also in providing key insights for spatial thermal/electrostatic field manipulation in thermo electrics and ferroelectrics.

关键词： non-planar dielectrics heat manipulation pyroelectrics weather-adaptive energy harvesting

来源：评论

学校读者我要写书评

暂无评论

Toward actionable testing of deep learning models

引用

science China(Information sciences) 2023年第7期66卷 300-302页

作者： Yingfei XIONG Yongqiang TIAN Yepang LIU Shing-Chi CHEUNG Key Laboratory of High Confidence Software Technologies(Peking University) Ministry of Education School of Computer Science Peking University Department of Computer Science and Engineering The Hong Kong University of Science and Technology School of Computer Science University of Waterloo Research Institute of Trustworthy Autonomous Systems Southern University of Science and Technology Department of Computer Science and Engineering Southern University of Science and Technology

Deep learning has become an important computational paradigm in our daily lives with a wide range of applications,from authentication using facial recognition to autonomous driving in smart vehicles. The quality of the deep learning models, i.e., neural architectures with parameters trained over a dataset, is crucial to our daily living and economy.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Generative AI-Driven Incentive Mechanism for Semantic Communications in RSMA Networks

引用

IEEE Transactions on Cognitive Communications and Networking 2025年第3期11卷 1708-1722页

作者： Liu, Dongqing Liu, Yongwen Zhang, Lei Hafid, Abdelhakim Khoukhi, Lyes Li, Mingyuan Liu, Yutao Dong, Yadong The First Affiliated Hospital of Zhengzhou University National Engineering Laboratory for Internet Medical Systems and Applications Zhengzhou China Zhengzhou University of Light Industry Software Engineering College Zhengzhou China Henan University of Technology College of Electrical Engineering Zhengzhou China University of Montreal Department of Computer Science and Operational Research Canada GREYC Laboratory ENSICAEN Normandie University France

This paper proposes a framework integrating Rate Splitting Multiple Access (RSMA), semantic communications, and generative AI for optimizing next-generation wireless networks. We present a unified model that combines RSMA with semantic communications to enhance both spectral efficiency and semantic fidelity. Our system model focuses on a downlink semantic communication system with a multi-antenna base station serving multiple single-antenna users. A dynamic contract-based incentive mechanism is developed to address user heterogeneity and information asymmetry in semantic RSMA scenarios. We introduce a diffusion model-based approach for joint optimization of resource allocation and contract design in RSMA systems. The semantic encoding process extracts key information, i.e., free-space detection, interest points, object attributes, and spatial relationships, from image data. A loss function is designed to train the semantic encoder and RSMA scheme, incorporating semantic extraction, partitioning, reconstruction, and task specific components. Our framework includes a multi-objective performance evaluation that considers both conventional metrics and semantic accuracy in a multi-user RSMA environment. We also define a multi-component semantic accuracy metric to assess the quality and utility of the extracted semantic information. Extensive simulation results demonstrate the superiority of our proposed framework over existing approaches in terms of system throughput, energy efficiency, and semantic fidelity across various network scenarios and user distributions. © 2015 IEEE.

关键词： Resource allocation

来源：评论

学校读者我要写书评

暂无评论

Mutual Retinex: Combining Transformer and CNN for Image Enhancement

引用

IEEE Transactions on Emerging Topics in Computational Intelligence 2024年第3期8卷 2240-2252页

作者： Jiang, Kui Wang, Qiong An, Zhaoyi Wang, Zheng Zhang, Cong Lin, Chia-Wen Harbin Institute of Technology School of Computer Science and Technology Harbin150001 China Wuhan University National Engineering Research Center for Multimedia Software School of Computer Science Wuhan430072 China Wuhan Polytechnic University School of Mathematics and Computer Science Wuhan430024 China National Tsing Hua University Department of Electrical Engineering Institute of Communications Engineering Hsinchu30013 Taiwan

Images captured in low-light or underwater environments are often accompanied by significant degradation, which can negatively impact the quality and performance of downstream tasks. While convolutional neural networks (CNNs) and Transformer architectures have made significant progress in computer vision tasks, there are few efforts to harmonize them into a more concise framework for enhancing such images. To this end, this study proposes to aggregate the individual capability of self-attention (SA) and CNNs for accurate perturbation removal while preserving background contents. Based on this, we carry forward a Retinex-based framework, dubbed as Mutual Retinex, where a two-branch structure is designed to characterize the specific knowledge of reflectance and illumination components while removing the perturbation. To maximize its potential, Mutual Retinex is equipped with a new mutual learning mechanism, involving an elaborately designed mutual representation module (MRM). In MRM, the complementary information between reflectance and illumination components are encoded and used to refine each other. Through the complementary learning via the mutual representation, the enhanced results generated by our model exhibit superior color consistency and naturalness. Extensive experiments have shown the significant superiority of our mutual learning based method over thirteen competitors on the low-light task and ten methods on the underwater image enhancement task. In particular, our proposed Mutual Retinex respectively surpasses the state-of-the-art method MIRNet-v2 by 0.90 dB and 2.46 dB in PSNR on the LOL 1000 and FIVEK datasets, while with only 19.8% model parameters. © 2017 IEEE.

关键词： Image enhancement

来源：评论

学校读者我要写书评

暂无评论

Global video object segmentation with spatial constraint module

引用

Computational Visual Media 2023年第2期9卷 385-400页

作者： Yadang Chen Duolin Wang Zhiguo Chen Zhi-Xin Yang Enhua Wu Engineering Research Center of Digital Forensics Ministry of EducationSchool of Computer and SoftwareNanjing University of Information Science and TechnologyNanjing 210044China State Key Laboratory of Internet of Things for Smart City Department of Electromechanical EngineeringUniversity of MacaoMacao 999078China State Key Laboratory of Computer Science Institute of SoftwareUniversity of Chinese Academy of SciencesBeijing 100190China Faculty of Science and Technology University of MacaoMacao 999078China

We present a lightweight and efficient semisupervised video object segmentation network based on the space-time memory *** some extent,our method solves the two difficulties encountered in traditional video object segmentation:one is that the single frame calculation time is too long,and the other is that the current frame’s segmentation should use more information from past *** algorithm uses a global context(GC)module to achieve highperformance,real-time *** GC module can effectively integrate multi-frame image information without increased memory and can process each frame in real ***,the prediction mask of the previous frame is helpful for the segmentation of the current frame,so we input it into a spatial constraint module(SCM),which constrains the areas of segments in the current *** SCM effectively alleviates mismatching of similar targets yet consumes few additional *** added a refinement module to the decoder to improve boundary *** model achieves state-of-the-art results on various datasets,scoring 80.1%on YouTube-VOS 2018 and a J&F score of 78.0%on DAVIS 2017,while taking 0.05 s per frame on the DAVIS 2016 validation dataset.

关键词： video object segmentation semantic segmentation global context(GC)module spatial constraint

来源：评论

学校读者我要写书评

暂无评论

Detecting Double Mixed Compressed Images Based on Quaternion Convolutional Neural Network

引用

Chinese Journal of Electronics 2024年第3期33卷 657-671页

作者： Hao WANG Jinwei WANG Xuelong HU Bingtao HU Qilin YIN Xiangyang LUO Bin MA Jinsheng SUN Department of Automation Nanjing University of Science and Technology Engineering Research Center of Digital Forensics Ministry of Education Department of Computer and Software Nanjing University of Information Science and Technology School of Management Nanjing University of Posts and Telecommunications Department of Computer Science and Engineering Guangdong Province Key Laboratory of Information Security Technology Sun Yat-sen University State Key Laboratory of Mathematical Engineering and Advanced Computing Qilu University of Technology

Detection of color images that have undergone double compression is a critical aspect of digital image *** the existence of various methods capable of detecting double Joint Photographic Experts Group(JPEG) compression,they are unable to address the issue of mixed double compression resulting from the use of different compression *** particular,the implementation of Joint Photographic Experts Group 2000(JPEG2000)as the secondary compression standard can result in a decline or complete loss of performance in existing *** tackle this challenge of JPEG+JPEG2000 compression,a detection method based on quaternion convolutional neural networks(QCNN) is *** QCNN processes the data as a quaternion,transforming the components of a traditional convolutional neural network(CNN) into a quaternion *** relationships between the color channels of the image are preserved,and the utilization of color information is ***,the method includes a feature conversion module that converts the extracted features into quaternion statistical features,thereby amplifying the evidence of double *** results indicate that the proposed QCNN-based method improves,on average,by 27% compared to existing methods in the detection of JPEG+JPEG2000 compression.

关键词： Color image forensics JPEG JPEG2000 Mixed double compression Quaternion convolutional neural network

来源：评论

学校读者我要写书评

暂无评论

Improved Belief Propagation Decoder for LDPC-CRC-Polar Codes with Bit-Freezing

引用

China Communications 2024年第7期21卷 135-148页

作者： Qasim Jan Yin Chao Pan Zhiwen Muhammad Furqan Zakir Ali You Xiaohu National Mobile Communications Research Laboratory Southeast UniversityNanjing 210096China Purple Mountain Laboratories Nanjing 211100China Department of Computer Science National University of Computer and Emerging Sciences Peshawar Campus 25100Pakistan Department of Software Engineering Capital University of Science and Technology(CUST)Islamabad 44000Pakistan Department of Computer Sciences Bahria University Lahore CampusPakistan

Though belief propagation bit-flip(BPBF)decoding improves the error correction performance of polar codes,it uses the exhaustive flips method to achieve the error correction performance of CA-SCL decoding,thus resulting in high decoding complexity and *** alleviate this issue,we incorporate the LDPC-CRC-Polar coding scheme with BPBF and propose an improved belief propagation decoder for LDPC-CRC-Polar codes with bit-freezing(LDPCCRC-Polar codes BPBFz).The proposed LDPCCRC-Polar codes BPBFz employs the LDPC code to ensure the reliability of the flipping set,i.e.,critical set(CS),and dynamically update *** modified CS is further utilized for the identification of error-prone *** proposed LDPC-CRC-Polar codes BPBFz obtains remarkable error correction performance and is comparable to that of the CA-SCL(L=16)decoder under medium-to-high signal-to-noise ratio(SNR)*** gains up to 1.2dB and 0.9dB at a fixed BLER=10-4compared with BP and BPBF(CS-1),*** addition,the proposed LDPC-CRC-Polar codes BPBFz has lower decoding latency compared with CA-SCL and BPBF,i.e.,it is 15 times faster than CA-SCL(L=16)at high SNR regions.

关键词： belief propagation bit-flipping concatenated codes LDPC-CRC-Polar codes polar codes

来源：评论

学校读者我要写书评

暂无评论

Arm PSA-Certified IoT Chip Security: A Case Study

引用

Tsinghua science and Technology 2023年第2期28卷 244-257页

作者： Fei Chen Duming Luo Jianqiang Li Victor C.M.Leung Shiqi Li Junfeng Fan College of Computer Science and Software Engineering Shenzhen UniversityShenzhen 518060China Department of Electrical and Computer Engineering the University of British ColumbiaVancouverBC V6T 1Z4Canada Open Security Research Inc.Shenzhen 518000China

With the large scale adoption of Internet of Things(IoT)applications in people’s lives and industrial manufacturing processes,IoT security has become an important problem *** security significantly relies on the security of the underlying hardware chip,which often contains critical information,such as encryption *** understand existing IoT chip security,this study analyzes the security of an IoT security chip that has obtained an Arm Platform Security Architecture(PSA)Level 2 *** analysis shows that the chip leaks part of the encryption key and presents a considerable security ***,we use commodity equipment to collect electromagnetic traces of the *** a statistical T-test,we find that the target chip has physical leakage during the AES encryption *** further use correlation analysis to locate the detailed encryption interval in the collected electromagnetic trace for the Advanced Encryption Standard(AES)encryption *** the basis of the intermediate value correlation analysis,we recover half of the 16-byte AES encryption *** repeat the process for three different tests;in all the tests,we obtain the same result,and we recover around 8 bytes of the 16-byte AES encryption ***,experimental results indicate that despite the Arm PSA Level 2 certification,the target security chip still suffers from physical *** layer application developers should impose strong security mechanisms in addition to those of the chip itself to ensure IoT application security.

关键词： Internet of Things(IoT)security chip Arm Platform Security Architecture(PSA)certification electromagnetic side-channel attack Advanced Encryption Standard(AES)encryption key leakage

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：