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

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

来源：评论

学校读者我要写书评

暂无评论

EverydayFantasy - A Mobile Computing Application in Mental Healthcare 18

EverydayFantasy - A Mobile Computing Application in Mental H...

引用

18th Iberian Conference on Information systems and Technologies, CISTI 2023

作者： Triohin, Victor Leba, Monica Ionica, Andreea Cristina University of Petrosani Department of System Control and Computer Engineering Petrosani Romania University of Petrosani Department of Management and Industrial Engineering Petrosani Romania

ISBN: (纸本)9789893347928

The paper proposes a game, EverydayFantasy, based on the principles of serious games, game mechanics and gamification and intended for young people with cognitive behavior issues. The game is a mobile computing application in mental healthcare, in the architecture of which is integrated the connection to a database through a server and the use of dedicated APIs such as the one for locating on the map. The game creates a fantasy environment superimposed on the real environment in which the player is motivated to move, socialize and solve different challenges, all to improve his estimated state. © 2023 ITMA.

关键词： Serious games

来源：评论

学校读者我要写书评

暂无评论

Design Thinking and Innovative Tool Use in Business Model

Design Thinking and Innovative Tool Use in Business Model

引用

2024 International Conference on Intelligent systems for Cybersecurity, ISCS 2024

作者： Singhi, Nitika Verma, Ankush Agrawal, Atul Khan, Irfan Computer Science Engineering Shri Vaishnav Vidhyapeeth Vishwavidyalava Indore India Data Analytics and Information System Prestige Institute of Management and Research Indore India Computer Science Engineering Sushila Devi Bansal College of Technology Indore India Computer Science Engineering Bansal Institute of Science and Technology Bhopal India

ISBN: (纸本)9798350375237

In past few year designs thinking has worked on several new effective problem and has generated innovative solution for new business model. For the scenario of today's demand, to better understand how design thinking can work on different perspectives in business models and how it can bring new innovative solutions for any problem is essential However, studies of existing literature explore the application, potential, and challenges of Design Thinking towards the comprehensive aim of this paper, which regards business model innovation as a fundamental subject of Design Thinking. The paper provides practical tools for exploring Design Thinking along with various critical aspects for the researchers to explore how Design Thinking can be applied to innovative business models. The main focus of this paper is to explain the basics of Design Thinking, how to frame the mind through different techniques used, the Design Techniques used for a business model, the methodology of a design thinker, and different tools like BPM, Blue Work Live, Mind Mapping, Brainstorming, and RICPS. © 2024 IEEE.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

Towards optimized tensor code generation for deep learning on sunway many-core processor

引用

Frontiers of computer Science 2024年第2期18卷 1-15页

作者： Mingzhen LI Changxi LIU Jianjin LIAO Xuegui ZHENG Hailong YANG Rujun SUN Jun XU Lin GAN Guangwen YANG Zhongzhi LUAN Depei QIAN State Key Laboratory of Software Development Environment Beijing 100191China School of Computer Science and Engineering Beihang UniversityBeijing 100191China National University of Singapore Singapore 119077Singapore State Key Laboratory of Mathematical Engineering and Advanced Computing Wuxi 214000China Science and Technology on Special System Simulation Laboratory Beijing Simulation Center Beijing 100854China Department of Computer Science and Technology Tsinghua UniversityBeijing 100084China

The flourish of deep learning frameworks and hardware platforms has been demanding an efficient compiler that can shield the diversity in both software and hardware in order to provide application *** the existing deep learning compilers,TVM is well known for its efficiency in code generation and optimization across diverse hardware *** the meanwhile,the Sunway many-core processor renders itself as a competitive candidate for its attractive computational power in both scientific computing and deep learning *** paper combines the trends in these two ***,we propose swTVM that extends the original TVM to support ahead-of-time compilation for architecture requiring cross-compilation such as *** addition,we leverage the architecture features during the compilation such as core group for massive parallelism,DMA for high bandwidth memory transfer and local device memory for data locality,in order to generate efficient codes for deep learning workloads on *** experiment results show that the codes generated by swTVM achieve 1.79x improvement of inference latency on average compared to the state-of-the-art deep learning framework on Sunway,across eight representative *** work is the first attempt from the compiler perspective to bridge the gap of deep learning and Sunway processor particularly with productivity and efficiency in *** believe this work will encourage more people to embrace the power of deep learning and Sunwaymany-coreprocessor.

关键词： sunway processor deep learning compiler code generation performance optimization

来源：评论

学校读者我要写书评

暂无评论

Ensemble Wind Power Prediction Interval with Optimal Reserve Requirement

引用

Journal of Modern Power systems and Clean Energy 2024年第1期12卷 65-76页

作者： Hamid Rezaie Cheuk Hei Chung Nima Safari the Saskatchewan Power Corporation(SaskPower) ReginaSaskatchewanCanada the Department of Electrical and Computer Engineering and Department of Human Biology University of TorontoTorontoON M5S 3G4Canada the Alberta Electric System Operator(AESO) CalgaryAlbertaCanada

Wind power prediction interval(WPPI)models in the literature have predominantly been developed for and tested on specific case ***,wind behavior and characteristics can vary significantly across ***,a prediction model that performs well in one case might underperform in *** address this shortcoming,this paper proposes an ensemble WPPI framework that integrates multiple WPPI models with distinct characteristics to improve *** important and often overlooked factor is the role of probabilistic wind power prediction(WPP)in quantifying wind power uncertainty,which should be handled by operating *** reserve in WPPI frameworks enhances the efficacy of *** this regard,the proposed framework employs a novel bi-layer optimization approach that takes both WPPI quality and reserve requirements into *** analysis with different real-world datasets and various benchmark models validates the quality of the obtained WPPIs while resulting in more optimal reserve requirements.

关键词： Ensemble model linear programming operating reserve optimal reserve requirement prediction interval probabilistic prediction renewable integration uncertainty representation wind power prediction(WPP)

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Research Advances on Non-Line-of-Sight Imaging Technology

引用

Journal of Shanghai Jiaotong University (Science) 2024年 1-22页

作者： Liu, Mengge Liu, Hao He, Xin Jin, Shaohui Chen, Pengyun Xu, Mingliang School of Computer and Artificial Intelligence Zhengzhou University Zhengzhou450001 China Engineering Research Center of Intelligent Cluster System Ministry of Education Zhengzhou450001 China National Supercomputing Center in Zhengzhou Zhengzhou450001 China

Non-line-of-sight imaging recovers hidden objects around the corner by analyzing the diffuse reflection light on the relay surface that carries hidden scene information. Due to its huge application potential in the fields of autonomous driving, defense, medical imaging, and post-disaster rescue, non-line-of-sight imaging has attracted considerable attention from researchers at home and abroad, especially in recent years. The research on non-line-of-sight imaging primarily focuses on imaging systems, forward models, and reconstruction algorithms. This paper systematically summarizes the existing non-line-of-sight imaging technology in both active and passive scenes, and analyzes the challenges and future directions of non-line-of-sight imaging technology. © 2023, Shanghai Jiao Tong University.

关键词： Medical imaging

来源：评论

学校读者我要写书评

暂无评论

Characteristic Optimization Based on Combined Statistical Indicators and Random Forest Theory

引用

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

作者： Qingzhen Liu Chao Cai Lei Wu Renwu Yan School of Electric Engineering and Automation Fuzhou UniversityFuzhou 350116China Quanzhou Electric Power Supply Company State Grid Fujian Electric Power CompanyQuanzhou 362000China Electrical and Computer Engineering Department Stevens Institute of TechnologyHobokenNJ07030USA Department of Power System Fujian University of TechnologyFuzhou 350116China

In order to effectively utilize the dielectric response characteristics of transformers to diagnose the insulation state,this paper proposes a two-level hybrid optimization method for analyzing time-domain dielectric response *** optimization algorithm is based on the combined statistical indicators(CSI)and random forest(RF)*** initial feature space set is formed with 23 time-domain *** the first-level stage,statistical indices correlation,distance,and information indicators are integrated to assess the synthesis score of the characteristics,while highly redundant and lowclass discrimination characteristics are eliminated from the initial space *** the second-level stage,the Random Forest based outside bagging data theory is introduced to evaluate the least important characteristics,and the characteristics with low importance indices are excluded to obtain the final optimal feature space *** proposed method is carried out on 82 sets of data from actual dielectric response tests on oil-paper insulation ***,the final optimal feature space set,along with several other data sets,is tested via different diagnosis *** results show that the optimal feature space set obtained via the proposed method outperforms other feature space sets in terms of better adaptability and diagnosis accuracy.

关键词： Feature space optimization integrated statistical indicators oil-paper insulation state random forest time domain characteristic two-level algorithm

来源：评论

学校读者我要写书评

暂无评论

Compression Format and Systolic Array Structure Co-design for Accelerating Sparse Matrix Multiplication in DNNs 24th

Compression Format and Systolic Array Structure Co-design f...

引用

24th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2024

作者： Cao, Yongxiang Jiang, Jixiang Zhao, Guocheng Wang, Wei Jiang, Hongxu Song, Yanfei School of Computer Science and Engineering Beihang University Beijing China Science and Technology on Complex System Control and Intelligent Agent Cooperation Laboratory Beijing China

ISBN: (纸本)9789819615445

The systolic array (SA) architecture is widely used in accelerator/AI chip design due to its excellent matrix multiplication acceleration effect. However, the mismatch between the traditional sparse matrix compression format and the SA architecture results in poor SA performance in computing sparse matrices. To solve the problem, we propose a method for co-designing the sparse compression format and SA architecture. This work proposes the Vector Group Compressed Coordinate (VGCC) data stream compression format and designs a sparse SA architecture based on hardware encoding and decoding. VGCC can handle data streams of any size without increasing the index bit width. The VGCC compression size is significantly smaller than general sparse compression formats such as COO/CSR. In a sparse matrix with a sparsity of 90%, it saves 67.13% of storage space compared to the state-of-the-art ECOO data stream compression format and achieves an average acceleration of 1.54 times. We also propose a VGCC-friendly SA architecture. Our SA architecture engine reduces logic consumption by 51.6% compared to Sparse TPU while achieving a 3.23x speedup. To mitigate the issue of high no-load rates in systolic arrays, we introduce a Data Transmission Priority (DTP) data matching algorithm. With sparsity levels ranging from 50% to 90%, the algorithm’s calculation speed is enhanced by 1.124x to 1.991x. We implemented a sparse DNN accelerator on an FPGA Zynq UltraScale+MPSoC ZCU102, utilizing the VGCC compression format proposed in this study for compressing input data. When compared to the S2 Engine, the accelerator achieved a 3.37x speed improvement in matrix multiplication with 75% sparsity, significantly enhancing the speed of sparse matrix multiplication. The accelerator achieved an average throughput of 1079.33GOP/s when inferencing DNNs. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Systolic arrays

来源：评论

学校读者我要写书评

暂无评论

Efficient Deep Network Architecture for COVID-19 Detection from Computed Tomography Images

Efficient Deep Network Architecture for COVID-19 Detection f...

引用

2024 IEEE International Conference on Modeling, Simulation and Intelligent Computing, MoSICom 2024

作者： Bhardwaj, Shaurya Goel, Chirag Kumar, Abhimanyu Dubey, Satish Kumar Bhardwaj, Saurabh Srivastava, Vishal Thapar Institute of Engineering and Technology Computer Science & Engineering Patiala India Thapar Institute of Engineering and Technology Electrical & Instrumentation Engineering Patiala India Iit Delhi Sensors Instrumentation and Cyber Physical System Delhi India

ISBN: (纸本)9798331533311

The globally devastating consequence of COVID-19 or Severe Acute Respiratory Syndrome-Coronavirus (SARS-CoV-2) has posed immense threat to the life of living beings. Doctors and scientists throughout the world are working day and night to combat the proliferation or transmission of this deadly disease through advances in terms of technology, finances, data repositories, protective equipment, and many other services. Rapid and efficient detection of COVID-19 reduces the rate of spreading this deadly disease and early treatment improve the recovery rate. In this paper, we proposed a new framework to exploit powerful features extracted from the autoencoder and Gray Level Co-occurence Matrix (GLCM), combined with random forest algorithm for the efficient and fast detection of COVID-19 using computed tomographic images. The model's performance is evident from its 97.78% accuracy, 96.78% recall, and 98.77% specificity. © 2024 IEEE.

关键词： COVID-19

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：