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

31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025

作者： Chen, Yu-Fang Chung, Kai-Min Hsieh, Min-Hsiu Huang, Wei-Jia Lengál, Ondřej Lin, Jyun-Ao Tsai, Wei-Lun Institute of Information Science Academia Sinica Taipei Taiwan Hon Hai Quantum Computing Research Center Taipei Taiwan Faculty of Information Technology Brno University of Technology Brno Czech Republic Innovation Frontier Institute of Research for Science and Technology & Department of Computer Science and Information Engineering National Taipei University of Technology Taipei Taiwan

ISBN: (纸本)9783031906596

We present a verifier of quantum programs called AutoQ 2.0. Quantum programs extend quantum circuits (the domain of AutoQ 1.0) by classical control flow constructs, which enable users to describe advanced quantum algorithms in a formal and precise manner. The extension is highly non-trivial, as we needed to tackle both theoretical challenges (such as the treatment of measurement, the normalization problem, and lifting techniques for verification of classical programs with loops to the quantum world), and engineering issues (such as extending the input format with a support for specifying loop invariants). We have successfully used AutoQ 2.0 to verify two types of advanced quantum programs that cannot be expressed using only quantum circuits: the repeat-until-success (RUS) algorithm and the weak-measurement-based version of Grover’s search algorithm. AutoQ 2.0 can efficiently verify all our benchmarks: all RUS algorithms were verified instantly and, for the weak-measurement-based version of Grover’s search, we were able to handle the case of 100 qubits in ∼20 minutes. © The Author(s) 2025.

关键词： Qubits

来源：评论

学校读者我要写书评

暂无评论

Vibration analysis of elastically supported sandwich beam with damaged core and functionally graded face sheets

引用

Steel and Composite Structures 2025年第1期54卷 71-83页

作者： Wang, Lulu Mohsin, Hasan F. Bains, Pardeep Singh Sharma, Rohit Bohlooli, Nasrin College of Mechanical and Electrical Engineering Guangdong University of Science and Technology Guangdong Dongguan523083 China Computer Techniques Engineering Department Faculty of Information Technology Imam Ja’afar Al-Sadiq University Baghdad10011 Iraq Computer Technical Engineering Department College of Technical Engineering The Islamic University Najaf54001 Iraq University Karnataka Bengaluru560069 India Department of Mechanical Engineering Vivekananda Global University Rajasthan Jaipur303012 India School of Engineering and Technology Shobhit University Uttar Pradesh Gangoh247341 India Department of Mechanical Engineering Arka Jain University Jharkhand Jamshedpur831001 India Nabi Data Science & Computational Intelligence Research Co. Tehran Iran

This paper presents the influence of carbon nanotubes (CNTs) waviness, aspect ratio and damaged core on the vibrational behavior of functionally graded nanocomposite sandwich beams resting on two-parameter elastic foundations. The distributions of CNTs are considered functionally graded (FG) or uniform along the thickness of upper and bottom layers of the sandwich beam and their mechanical properties are estimated by an extended rule of mixture. In this study, the classical theory concerning the mechanical efficiency of a matrix embedding finite length fibers has been modified by introducing the tube-to-tube random contact, which explicitly accounts for the progressive reduction of the tubes’ effective aspect ratio as the filler content increases. A damage model is introduced to provide an analytical description of an irreversible rheological process that causes the decay of the mechanical properties, in terms of engineering constants. An isotropic damage is considered for the core of the sandwich beams. The equations of motion are derived based on Timoshenko beam theory and employing Hamilton’s principle. The problem is modeled using a semi-analytical approach composed of generalized differential quadrature method (GDQM) and series solution adopted to solve the equations of motion. Detailed parametric studies are carried out to investigate the mechanical behavior of these multi-layered structures depending on the damage features, through-the-thickness distribution and boundary conditions. Also, the effects of carbon nanotubes (CNTs) waviness, CNT aspect ratio, Winkler foundation modulus, shear elastic foundation modulus and geometrical conditions on the vibrational behavior of the sandwich structure are studied. © 2025 Techno-Press, Ltd.

关键词： Aspect ratio

来源：评论

学校读者我要写书评

暂无评论

Artificial sensory neurons and their applications

引用

Journal of Semiconductors 2025年第1期46卷 108-128页

作者： Jiale Shao Hongwei Ying Peihong Cheng Lingxiang Hu Xianhua Wei Zongxiao Li Huanming Lu Zhizhen Ye Fei Zhuge Faculty of Electrical Engineering and Computer Science Ningbo UniversityNingbo 315211China Ningbo Institute of Materials Technology and Engineering Chinese Academy of SciencesNingbo 315201China School of Electronic and Information Engineering Ningbo University of TechnologyNingbo 315211China State Key Laboratory of Environment-friendly Energy Materials Southwest University of Science and TechnologyMianyang 621010China Institute of Wenzhou Zhejiang UniversityWenzhou 325006China State Key Laboratory of Silicon Materials School of Materials Science and EngineeringZhejiang UniversityHangzhou 310027China Center for Excellence in Brain Science and Intelligence Technology Chinese Academy of SciencesShanghai 200072China

With the rapid development of artificial intelligence(AI)technology,the demand for high-performance and energyefficient computing is increasingly *** limitations of the traditional von Neumann computing architecture have prompted researchers to explore neuromorphic computing as a *** computing mimics the working principles of the human brain,characterized by high efficiency,low energy consumption,and strong fault tolerance,providing a hardware foundation for the development of new generation AI *** neurons and synapses are the two core components of neuromorphic computing *** perception is a crucial aspect of neuromorphic computing,where artificial sensory neurons play an irreplaceable role thus becoming a frontier and hot topic of *** work reviews recent advances in artificial sensory neurons and their ***,biological sensory neurons are briefly ***,different types of artificial neurons,such as transistor neurons and memristive neurons,are discussed in detail,focusing on their device structures and working ***,the research progress of artificial sensory neurons and their applications in artificial perception systems is systematically elaborated,covering various sensory types,including vision,touch,hearing,taste,and ***,challenges faced by artificial sensory neurons at both device and system levels are summarized.

关键词： artificial sensory neurons artificial perception systems neuromorphic computing artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Secure beamforming designs for maximizing secrecy sum rate in MISO-NOMA networks

引用

Digital Communications and Networks 2025年第1期11卷 83-91页

作者： Yanbo Zhang Zheng Yang Jingjing Cui Xianfu Lei Yi Wu Jun Zhang Chao Fang Zhiguo Ding College of Photonic and Electronic Engineering Fujian Normal UniversityFuzhou 350007China School of Electronics and Computer Science University of SouthamptonSouthampton SO171BJUK Institute of Mobile Communications Southwest Jiaotong UniversityChengdu 610031China Jiangsu Key Laboratory of Wireless Communications Nanjing University of Posts and TelecommunicationsNanjing 210003China Faculty of Information Technology Beijing University of TechnologyBeijingChina School of Electrical and Electronics Engineering The University of ManchesterManchester M139PLUK

In this paper,the application of Non-Orthogonal Multiple Access(NOMA)is investigated in a multiple-input single-output network consisting of multiple legitimate users and a potential *** support secure transmissions from legitimate users,two NOMA Secrecy Sum Rate Transmit Beam Forming(NOMA-SSR-TBF)schemes are proposed to maximise the SSR of a Base Station(BS)with sufficient and insufficient transmit *** BS with sufficient transmit power,an artificial jamming beamforming design scheme is proposed to disrupt the potential eavesdropping without impacting the legitimate *** addition,for BS with insufficient transmit power,a modified successive interference cancellation decoding sequence is used to reduce the impact of artificial jamming on legitimate *** specifically,iterative algorithm for the successive convex approximation are provided to jointly optimise the vectors of transmit beamforming and artificial *** results demonstrate that the proposed NOMA-SSR-TBF schemes outperforms the existing works,such as the maximized artificial jamming power scheme,the maximized artificial jamming power scheme with artificial jamming beamforming design and maximized secrecy sum rate scheme without artificial jamming beamforming design.

关键词： NOMA Secure transmission Artificial jamming Beamforming design

来源：评论

学校读者我要写书评

暂无评论

The Large Language Models on Biomedical Data Analysis: A Survey

引用

IEEE Journal of Biomedical and Health Informatics 2025年 PP卷 PP页

作者： Lan, Wei Tang, Zhentao Liu, Mingyang Chen, Qingfeng Peng, Wei Chen, Yiping Phoebe Pan, Yi Guangxi University School of Computer Electronic and Information Nanning530004 China Kunming University of Science and Technology Faculty of Information Engineering and Automation Kunming650500 China La Trobe University Department of Computer Science and Information Technology MelbourneVIC3086 Australia Chinese Academy of Sciences Shenzhen Institute of Advanced Technology Shenzhen518055 China

With the rapid development of Large Language Model (LLM) technology, it has become an indispensable force in biomedical data analysis research. However, biomedical researchers currently have limited knowledge about LLM. Therefore, there is an urgent need for a summary of LLM applications in biomedical data analysis. Herein, we propose this review by summarizing the latest research work on LLM in biomedicine. In this review, LLM techniques are first outlined. We then discuss biomedical datasets and frameworks for biomedical data analysis, followed by a detailed analysis of LLM applications in genomics, proteomics, transcriptomics, radiomics, single-cell analysis, medical texts and drug discovery. Finally, the challenges of LLM in biomedical data analysis are discussed. In summary, this review is intended for researchers interested in LLM technology and aims to help them understand and apply LLM in biomedical data analysis research. © 2013 IEEE.

关键词： Data consistency

来源：评论

学校读者我要写书评

暂无评论

A comprehensive survey on 6G-security: physical connection and service layers

引用

Discover Internet of Things 2025年第1期5卷 1-30页

作者： Saeed, Mamoon M. Saeed, Rashid A. Hasan, Mohammad Kamrul Ali, Elmustafa Sayed Mazha, Tehseen Shahzad, Tariq Khan, Sunawar Hamam, Habib Sana00967 Yemen Department of Computer Engineering College of Computers and Information Technology Taif University P.O. Box 11099 Taif21944 Saudi Arabia Department of Electronics Engineering College of Electronics Engineering Sudan University of Science and Technology Omdurman Sudan Bangi43600 Malaysia Department of Electrical and Electronic Engineering Faculty of Engineering Red Sea University Port Sudan33312 Sudan School of Computer Science National College of Business Administration and Economics Lahore54000 Pakistan Faculty of Engineering Uni de Moncton MonctonNBE1A3E9 Canada Department of Computer Engineering COMSATS University Islamabad Sahiwal Campus Sahiwal57000 Pakistan Department of Computer Science and Software Engineering International Islamic University Islamabad44000 Pakistan School of Electrical Engineering University of Johannesburg Johannesburg2006 South Africa BP 1989 Av. Grandes Ecoles Libreville Gabon Bridges for Academic Excellence-Spectrum Tunis Tunisia Department of Computer Science School Education Department Government of Punjab Layyah31200 Pakistan Chitkara University Institute of Engineering and Technology Chitkara University Punjab Rajpura140401 India

After adopting 5G technology, businesses and academia have started working on sixth-generation wireless networking (6G) technologies. Mobile communications options are expected to expand in areas where previous generations could not do so. 6G networks are anticipated to be constructed using various diverse technologies. These encompass diverse cutting-edge advancements, such as distributed ledger systems like blockchain, visible light communications (VLC), post-quantum cryptography, edge computing, molecular communication, THz, and other advances. These advances necessitate a reassessment of previous security strategies from a security perspective. In the future, networks must adhere to stricter criteria for authentication, encryption, access control, connectivity, and detection of harmful activities. Ensuring privacy and dependability necessitates the implementation of supplementary security protocols. The essay explores the primary concerns and challenges related to the security of the 6G network. This paper describes the improvements in security in communications from 1G through 6G. This paper divides security in the sixth generation into three layers: physical, connection, and service. Each layer-by-layer discusses the standard technologies and security issues for each technology proposed in each sixth-generation security layer. All proposed solutions for each of the three layers are discussed in Sixth Generation Security. It also reviews all proposed solutions for each layer, indicating the proposed solution and its limitations. © The Author(s) 2025.

关键词： 5G mobile communication systems

来源：评论

学校读者我要写书评

暂无评论

Resource Management in Cloud IaaS via Machine Learning Algorithms 10th

Resource Management in Cloud IaaS via Machine Learning Algor...

引用

10th Balkan Conference in Informatics, BCI 2024

作者： Tartari, Megi Daci, Genti Meçe, Elinda Kajo Sheme, Enida Department of Computer Engineering Faculty of Information Technology Polytechnic University of Tirana Tiranë Albania

ISBN: (纸本)9783031840920

Cloud computing is a prevalent technology in the IT market today, providing enterprises with the necessary infrastructure to achieve high performance levels for running their applications using the pay-as-you-go model. The lowest layer in Cloud is Infrastructure-as-a-Service (IaaS), which provides the resource pool. A primary challenge to cloud providers in IaaS is to effectively manage resources to reduce power consumption, which is a critical issue of paramount importance today, due to its substantial environmental impact stemming from the widespread use of cloud computing, while simultaneously maintaining Quality of Service. In this paper, we review the latest solutions that utilize Machine Learning (ML) algorithms for resource management. We focus on the processes of auto-scaling, Virtual Machine (VM) consolidation, and VM placement, which directly influence power consumption. We identify the benefits and innovations these solutions bring to the optimization of resource management, but also their drawbacks. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Cloud platforms

来源：评论

学校读者我要写书评

暂无评论

MpoxMamba: A Grouped Mamba-based Lightweight Hybrid Network for Mpox Detection

MpoxMamba: A Grouped Mamba-based Lightweight Hybrid Network ...

引用

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

作者： Yue, Yubiao Xue, Jun Liang, Haihuang Li, Zhenzhang Wang, Yufeng School of Biomedical Engineering Guangzhou Medical University Guangzhou China School of Computer Science and Technology Anhui University Hefei China School of Mathematics and Systems Science Guangdong Polytechnic Normal University Guangzhou China Faculty of Computer Science and Information Technology Universiti Malaya Kuala Lumpur Malaysia

ISBN: (纸本)9798350368741

Due to the lack of effective mpox detection tools, the mpox virus continues to spread worldwide and has been once again declared a public health emergency of international concern by the World Health Organization. Lightweight deep learning model-based detection systems are crucial to alleviate mpox outbreaks since they are suitable for widespread deployment, especially in resource-limited scenarios. However, the key to its successful application depends on ensuring that the model can effectively model local features and long-range dependencies in mpox lesions while maintaining lightweight. Inspired by the success of Mamba in modeling long-range dependencies and its linear complexity, we proposed a lightweight hybrid architecture called MpoxMamba for efficient mpox detection. MpoxMamba utilizes depth-wise separable convolutions to extract local feature representations in mpox skin lesions and greatly enhances the model's ability to model the global contextual information by grouped Mamba modules. Notably, MpoxMamba's parameter size and FLOPs are 0.77M and 0.53G, respectively. Experimental results on two widely recognized benchmark datasets demonstrate that MpoxMamba outperforms state-of-the-art lightweight models and existing mpox detection methods. Importantly, we developed a web-based online application to provide free mpox detection. The source code of MpoxMamba and the developed online application are available at https://***/YubiaoYue/MpoxMamba. © 2025 IEEE.

关键词： Deep Leraning Lightweight Model Mpox Detection Vision Mamba

来源：评论

学校读者我要写书评

暂无评论

Interpretive Structural Modeling of Uncertainty Reduction Factors in Social Commerce

Interpretive Structural Modeling of Uncertainty Reduction Fa...

引用

International Conference on Web Research (ICWR)

作者： Nasibeh Pouti Department of Information Technology and Computer Engineering Faculty of Engineering Sayyed Jamaleddin Asadabadi University Hamedan Iran

ISBN: (数字)9798331508913

ISBN: (纸本)9798331508920

As a new approach to online transactions, social commerce, like other online business models, suffers from uncertainty. The purpose of this research is to identify factors for reducing uncertainty in social commerce. However, considering the complex interactions of these factors; it is not enough to just identify them. In this research, an interpretive structural model of uncertainty-reducing factors was created. For this purpose, first, the factors extracted from the research literature were sifted by the scree test method, and 26 factors were confirmed. Then, during the implementation process of interpretative structural modeling, a model with 5 levels of importance was created. The final analysis was related to the classification of factors, based on which the identified factors were placed in two categories: independent and linkage, and no factor was included in the category of autonomous and dependent factors. The investigation showed that the independent factors are mostly located in the lower levels of the model, influence the reduction of uncertainty through other factors, while the linkage factors are mostly located in the upper levels of the model, and have a direct effect on the reduction of uncertainty. The leveling, determination of the type of impact, and determination of the complex relationships between uncertainty reduction factors, which were carried out in this research, have not been carried out in any similar research to date. The obtained 5-level model, the factors at each level and the complex relationships between them, will guide the development of successful business models in ecommerce and social commerce.

关键词： Hands Couplings Uncertainty Social networking (online) Biological system modeling Focusing Data science Electronic commerce Business Systematic literature review

来源：评论

学校读者我要写书评

暂无评论

Minimizing energy consumption in fixed node networks using a novel neutrosophic model: comparative analysis with standard and existing algorithms

引用

International Journal of information technology (Singapore) 2025年 1-15页

作者： Ghimire, Sangam Bhurtel, Nirjal Jha, Sudan Ahmad, Sultan Abdeljaber, Hikmat A. M. Nazeer, Jabeen Department of Computer Science and Engineering Kathmandu University 28 kilo Bagmati Dhulikhel 45210 Nepal Department of Computer Science College of Computer Engineering and Sciences Prince Sattam Bin Abdulaziz University Al-kharj 11942 Saudi Arabia School of Computer Science and Engineering Lovely Professional University Punjab Phagwara 144411 India Department of Computer Science Faculty of Information Technology Applied Science Private University Amman Jordan MEU Research Unit Middle East University Amman 11831 Lebanon

The growing development and utilization of networked systems has led to more concern regarding the energy efficiency of these systems. In this paper, we present a novel approach to minimizing energy consumption in fixed node network for which we propose a new Neutrosophic model. This model leverages the unique strengths of Neutrosophic logic to enhance the efficiency by minimizing the energy consumption. The simulation of results is performed using Matplotlib (Python) with implementation parameters such as number of nodes (n) and additive white Gaussian noise (AWGN) (η). Additionally, we show a comparative analysis between the proposed model and other prevalent approaches used in minimizing energy consumption in networked systems. The comparative results shows improvement in energy efficiency, showcasing the potential of the proposed model as an alternative for optimizing energy consumption in networked systems. This work highlights the effectiveness of the proposed model and opens new avenues for future advancements in energy-efficient networked system using Neutrosophic approach. © Bharati Vidyapeeth's Institute of computer Applications and Management 2025.

关键词： Comparative analysis Energy-consumption optimization Networked systems Neutrosophic model Sensitivity analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：