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

Testing the Unknown: A Framework for OpenMP Testing via Random Program Generation

Testing the Unknown: A Framework for OpenMP Testing via Rand...

2024 Workshops of the International Conference for High Performance computing, Networking, Storage and Analysis, SC Workshops 2024

作者： Laguna, Ignacio Chapman, Patrick Parasyris, Konstantinos Georgakoudis, Giorgis Rubio-Gonzalez, Cindy Lawrence Livermore National Laboratory Center for Applied Scientific Computing United States University of California Department of Computer Science Davis United States

ISBN: (纸本)9798350355543

We present a randomized differential testing approach to test OpenMP implementations. In contrast to previous work that manually creates dozens of verification and validation tests, our approach is able to randomly generate thousands of tests, exposing OpenMP implementations to a wide range of program behaviors. We represent the space of possible random OpenMP tests using a grammar and implement our method as an extension of the Varity program generator. By generating 1,800 OpenMP tests, we find various performance anomalies and correctness issues when we apply them to three OpenMP implementations: GCC, Clang, and Intel. We also present several case studies that analyze the anomalies and give more details about the classes of tests that our approach creates. © 2024 IEEE.

关键词： differential testing OpenMP random program generation software testing

来源：评论

学校读者我要写书评

暂无评论

Data secure transmission intelligent prediction algorithm for mobile industrial IoT networks

引用

Digital Communications and Networks 2023年第2期9卷 400-410页

作者： Lingwei Xu Hao Yin Hong Jia Wenzhong Lin Xinpeng Zhou Yong Fu Xu Yu Department of Information Science and Technology Qingdao University of Science and TechnologyQingdao266061China Fujian Key Laboratory of Sensing and Computing for Smart Cities Xiamen UniversityXiamen361005China Fujian Provincial Key Laboratory of Information Processing and Intelligent Control(Minjiang University) Fuzhou350121China Faculty of Information Science and Engineering Ocean University of ChinaQingdao266100China Shandong Provincial Key Laboratory of Computer Networks Shandong Computer Science Center(National Supercomputer Center in Jinan)JinanChina

Mobile Industrial Internet of Things(IIoT)applications have achieved the explosive growth in recent *** mobile IIoT has flourished and become the backbone of the industry,laying a solid foundation for the interconnection of all *** variety of application scenarios has brought serious challenges to mobile IIoT networks,which face complex and changeable communication *** data secure transmission is critical for mobile IIoT *** paper investigates the data secure transmission performance prediction of mobile IIoT *** cut down computational complexity,we propose a data secure transmission scheme employing Transmit Antenna Selection(TAS).The novel secrecy performance expressions are first ***,to realize real-time secrecy analysis,we design an improved Convolutional Neural Network(CNN)model,and propose an intelligent data secure transmission performance prediction *** mobile signals,the important features may be removed by the pooling *** will lead to negative effects on the secrecy performance prediction.A novel nine-layer improved CNN model is *** of the input and output layers,it removes the pooling layer and contains six convolution ***,Back-Propagation(BP)and LeNet methods are employed to compare with the proposed *** simulation analysis,good prediction accuracy is achieved by the CNN *** prediction accuracy obtains a 59%increase.

关键词： Mobile IIoT networks Data secure transmission Performance analysis Intelligent prediction Improved CNN

来源：评论

学校读者我要写书评

暂无评论

Adaptive Granulation for Efficient Classification on Noise Labeled Images 9

Adaptive Granulation for Efficient Classification on Noise L...

引用

9th IEEE International Conference on Computational Intelligence and Applications, ICCIA 2024

作者： Cai, Kecan Zhang, Hongyun Miao, Duoqian Tongji University Department of Computer Science and Technology Shanghai China Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai China

ISBN: (纸本)9798350352214

Current semi-supervised learning-based sample selection methods for noisy label image classification typically utilize all clean and noisy samples for model training. However, not all noisy samples contribute positively to model training. This paper introduces a novel semi-supervised image data granulation method that employs adaptively generated granular noisy sample subsets in place of the original noisy samples to enhance classification efficiency. The granular data generated retain the essential features of the original data, thereby improving efficiency without compromising classification accuracy. The quality of the granular data is assessed using coverage and specificity criteria, standard metrics for evaluating information granules. The proposed method consists of three main components: (i)selecting clean and noisy samples through network co-training, (ii)calculating granular noisy sample subsets by adaptive granulation, and (iii)optimizing the network model using a semi-supervised strategy. Experimental results on benchmark datasets with varying noise rates demonstrate that our method significantly improves the efficiency of noisy label image classification while maintaining accuracy. © 2024 IEEE.

关键词： Self-supervised learning

来源：评论

学校读者我要写书评

暂无评论

Ultra-low power MoS2 optoelectronic synapse with wavelength sensitivity for color target recognition

引用

science China(Information sciences) 2025年第4期68卷 187-196页

作者： Bo WEI Yabo CHEN Xiaotong HAN Yan KANG Bujia LIANG Cheng LI Xiaokuo YANG Liang FANG Yuanxi PENG Institute for Quantum Information & State Key Laboratory of High Performance Computing College of ComputerNational University of Defense Technology Fundamentals Department Air Force Engineering University College of Advanced Interdisciplinary Studies National University of Defense Technology Institute of Quantum Information Science and Technology College of ScienceNational University of Defense Technology College of Computer National University of Defense Technology

Optoelectronic synapses that integrate visual perception and pre-processing hold significant potential for neuromorphic vision systems（NVSs）. However, due to a lack of wavelength sensitivity, existing NVS mainly focuses on gray-scale image processing, making it challenging to recognize color images. Additionally, the high power consumption of optoelectronic synapses, compared to the 10 fJ energy consumption of biological synapses, limits their broader application. To address these challenges, an energy-efficient NVS capable of color target recognition in a noisy environment was developed,utilizing a MoS2optoelectronic synapse with wavelength sensitivity. Benefiting from the distinct photon capture capabilities of 450, 535, and 650 nm light, the optoelectronic synapse exhibits wavelength-dependent synaptic plasticity, including excitatory postsynaptic current（EPSC）, paired-pulse facilitation（PPF）, and long-term plasticity（LTP）. These properties can effectively mimic the visual memory and color discrimination functions of the human vision system. Results demonstrate that the NVS, based on MoS2optoelectronic synapses, can eliminate the color noise at the sensor level, increasing color image recognition accuracy from 50% to 90%. Importantly, the optoelectronic synapse operates at a low voltage spike of0.0005 V, consuming only 0.075 fJ per spike, surpassing the energy efficiency of both existing optoelectronic and biological synapses. This ultra-low power, color-sensitive device eliminates the need for color filters and offers great promise for future deployment in filter-free NVS.

关键词： optoelectronic synapse neuromorphic vision system color recognition 2D materials image pre-processing

来源：评论

学校读者我要写书评

暂无评论

Multi‐granularity re‐ranking for visible‐infrared person re‐identification

引用

CAAI Transactions on Intelligence Technology 2023年第3期8卷 770-779页

作者： Yadi Wang Hongyun Zhang Duoqian Miao Witold Pedrycz Department of Computer Science and Technology Tongji UniversityShanghaiChina Key Laboratory of Embedded System and Service Computing Ministry of EducationShanghaiChina Department of Electrical and Computer Engineering University of AlbertaEdmontonAlbertaCanada System Research Institute Polish Academy of SciencesWarsawPoland

Visible‐infrared person re‐identification(VI‐ReID)is a supplementary task of single‐modality re‐identification,which makes up for the defect of conventional re‐identification under insufficient *** is more challenging than single‐modality ReID because,in addition to difficulties in pedestrian posture,camera shoot-ing angle and background change,there are also difficulties in the cross‐modality *** works only involve coarse‐grained global features in the re‐ranking calculation,which cannot effectively use fine‐grained ***,fine‐grained features are particularly important due to the lack of information in cross‐modality re‐*** this end,the Q‐center Multi‐granularity K‐reciprocal Re‐ranking Algorithm(termed QCMR)is proposed,including a Q‐nearest neighbour centre encoder(termed QNC)and a Multi‐granularity K‐reciprocal Encoder(termed MGK)for a more comprehensive feature *** converts the probe‐corresponding modality features into gallery corresponding modality features through modality transfer to narrow the modality *** takes a coarse‐grained mutual nearest neighbour as the dominant and combines a fine‐grained nearest neighbour as a supplement for similarity *** experiments on two widely used VI‐ReID benchmarks,SYSU‐MM01 and RegDB have shown that our method achieves state‐of‐the‐art ***,the mAP of SYSU‐MM01 is increased by 5.9%in all‐search mode.

关键词： computer vision recognition

来源：评论

学校读者我要写书评

暂无评论

Compact Model Build Upon Dynamic Weighting Artificial Neural Network Approach for Complementary Field Effect Transistors

引用

IEEE Transactions on Electron Devices 2024年第1期71卷 246-253页

作者： Butola, Rajat Li, Yiming Kola, Sekhar Reddy National Yang Ming Chiao Tung University Parallel and Scientific Computing Laboratory Electrical Engineering and Computer Science International Graduate Program Hsinchu300093 Taiwan Institute of Pioneer Semiconductor Innovation The Institute of Artificial Intelligence Innovation National Yang Ming Chiao Tung University Parallel and Scientific Computing Laboratory Electrical Engineering and Computer Science International Graduate Program The Institute of Communications Engineering the Institute of Biomedical Engineering Department of Electronics and Electrical Engineering Hsinchu300093 Taiwan

In this work, a dynamic weighting-artificial neural network (DW-ANN) methodology is presented for quick and automated compact model (CM) generation. It takes advantage of both TCAD simulations for high accuracy and SPICE simulations for cost-effectiveness. This methodology is developed for gate-all-around (GAA) silicon (Si) nanosheet (NS) complementary field effect transistor (CFET), a potential candidate for future CMOS technology due to its innate properties. The critical process variation (PV) sources that severely degrade the CFET performance are estimated using DW-ANN. It reduces the computation cost and predicts the effects of PV sources with less than 1% error. Furthermore, a compact DW-ANN-based Verilog-A model has been developed that captures the dc as well as transient behavior accurately for circuit-level analysis. CFET-based circuits such as inverter, 6T-static random access memory (SRAM), and ring oscillator (RO) are characterized and implemented using DW-ANN-based CM. The overall average error of the model is reported as less than 2%. Therefore, the proposed device and circuit modeling approach provides a feasible solution for the rapid compact modeling of new emerging devices with good convergence and high accuracy. © 1963-2012 IEEE.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Diversified and compatible web APIs recommendation based on game theory in IoT

引用

Digital Communications and Networks 2024年第4期10卷 1198-1209页

作者： Wenwen Gong Huiping Wu Xiaokang Wang Xuyun Zhang Yawei Wang Yifei Chen Mohammad R.Khosravi College of Information and Electrical Engineering China Agricultural UniversityBeijing100000China Shandong Provincial University Laboratory for Protected Horticulture Weifang University of Science and TechnologyShouguang262700China Department of Computer Science St.Francis Xavier UniversityAntigonishNSCanada Department of Computing Macquarie UniversitySydneyNSW2122Australia Department of Computer Engineering Persian Gulf UniversityBushehr***Iran Department of Electrical and Electronic Engineering Shiraz University of TechnologyShiraz71557-13876Iran

With the ever-increasing popularity of Internet of Things(IoT),massive enterprises are attempting to encapsulate their developed outcomes into various lightweight Web Application Programming Interfaces(APIs)that can be accessible *** this context,finding and writing a list of existing Web APIs that can collectively meet the functional needs of software developers has become a promising approach to economically and easily develop successful mobile ***,the number and diversity of candidate IoT Web APIs places an additional burden on application developers’Web API selection decisions,as it is often a challenging task to simultaneously ensure the diversity and compatibility of the final set of Web APIs *** this challenge and latest successful applications of game theory in IoT,a Diversified and Compatible Web APIs Recommendation approach,namely DivCAR,is put forward in this *** of all,to achieve API diversity,DivCAR employs random walk sampling technique on a pre-built“API-API”correlation graph to generate diverse“API-API”correlation ***,with the diverse“API-API”correlation subgraphs,the compatible Web APIs recommendation problem is modeled as a minimum group Steiner tree search problem.A sorted set of multiple compatible and diverse Web APIs are returned to the application developer by solving the minimum group Steiner tree search *** last,a set of experiments are designed and implemented on a real dataset crawled from *** results validate the effectiveness and efficiency of our proposed DivCAR approach in balancing the Web APIs recommendation diversity and compatibility.

关键词： Internet of things Web APIs recommendation Game theory Diversity and compatibility

来源：评论

学校读者我要写书评

暂无评论

Security and privacy issues in blockchain and its applications

IET Blockchain

引用

IET Blockchain 2023年第4期3卷 169-171页

作者： Wang, Liangmin Sheng, Victor S. Düdder, Boris Wu, Haiqin Zhu, Huijuan School of Cyber Science and Engineering Southeast University Nanjing China Department of Computer Science Texas Tech University LubbockTX United States Department of Computer Science University of Copenhagen Copenhagen Denmark Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai China School of Computer Science and Communication Engineering Jiangsu University Zhenjiang China

The papers in the first category focus on analyzing and providing insights into the security of blockchain applications. [...]significant research efforts have been dedicated to security analysis and detection in typical blockchain applications. The framework incorporates pre-training and fine-tuning, enabling the pre-trained model (teacher) to effectively adapt to the new data distribution and improve prediction performance. [...]to enhance the practicality of the system, they implement a copyright blockchain framework called ICP-Chain and conduct evaluations to assess its security and reliability. [...]the authors would like to express their utmost appreciation to the editors-in-chief and the editorial office for their unwavering support and guidance throughout this venture.

关键词：

来源：评论

学校读者我要写书评

暂无评论

On the Scalability of computing Genomic Diversity Using SparkLeBLAST: A Feasibility Study

On the Scalability of Computing Genomic Diversity Using Spar...

引用

2024 IEEE High Performance Extreme computing Conference, HPEC 2024

作者： Prabhu, Ritvik Moussad, Bernard Youssef, Karim Vatai, Emil Feng, Wu-Chun Virginia Tech Department of Computer Science United States Center for Applied Scientific Computing Lawrence Livermore National Laboratory United States Riken Center for Computational Science Japan

ISBN: (纸本)9798350387131

Studying the genomic diversity of viruses can help us understand how viruses evolve and how that evolution can impact human health. Rather than use a laborious and tedious wet-lab approach to conduct a genomic diversity study, we take a computational approach, using the ubiquitous NCBI BLAST and our parallel and distributed SparkLeBLAST, across 53 patients (40,000,000 query sequences) on Fugaku, the world's fastest homogeneous supercomputer with 158,976 nodes, where each code contains a 48-core A64FX processor and 32 GB RAM. To project how long BLAST and SparkLeBLAST would take to complete a genomic diversity study of COVID-19, we first perform a feasibility study on a subset of 50 query sequences from a single COVID-19 patient to identify bottlenecks in sequence alignment processing. We then create a model using Amdahl's law to project the run times of NCBI BLAST and SparkLeBLAST on supercomputing systems like Fugaku. Based on the data from this 50-sequence feasibility study, our model predicts that NCBI BLAST, when running on all the cores of the Fugaku supercomputer, would take approximately 26.7 years to complete the full-scale study. In contrast, SparkLeBLAST, using both our query and database segmentation, would reduce the execution time to 0.026 years (i.e., 22.9 hours) - resulting in more than a 10,000× speedup over using the ubiquitous NCBI BLAST. © 2024 IEEE.

关键词： COVID-19

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：