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

Static Analysis Techniques for Fixing Software Defects in MPI-Based Parallel Programs

computers, Materials & Continua 2024年第5期79卷 3139-3173页

作者： Norah Abdullah Al-Johany Sanaa Abdullah Sharaf Fathy Elbouraey Eassa Reem Abdulaziz Alnanih Department of Computer Science Faculty of Computing and Information TechnologyKing Abdulaziz UniversityJeddah21589Saudi Arabia Software Engineering and Distributed System Research Group King Abdulaziz UniversityJeddah21589Saudi Arabia

The Message Passing Interface (MPI) is a widely accepted standard for parallel computing on distributed ***, MPI implementations can contain defects that impact the reliability and performance of parallelapplications. Detecting and correcting these defects is crucial, yet there is a lack of published models specificallydesigned for correctingMPI defects. To address this, we propose a model for detecting and correcting MPI defects(DC_MPI), which aims to detect and correct defects in various types of MPI communication, including blockingpoint-to-point (BPTP), nonblocking point-to-point (NBPTP), and collective communication (CC). The defectsaddressed by the DC_MPI model include illegal MPI calls, deadlocks (DL), race conditions (RC), and messagemismatches (MM). To assess the effectiveness of the DC_MPI model, we performed experiments on a datasetconsisting of 40 MPI codes. The results indicate that the model achieved a detection rate of 37 out of 40 codes,resulting in an overall detection accuracy of 92.5%. Additionally, the execution duration of the DC_MPI modelranged from 0.81 to 1.36 s. These findings show that the DC_MPI model is useful in detecting and correctingdefects in MPI implementations, thereby enhancing the reliability and performance of parallel applications. TheDC_MPImodel fills an important research gap and provides a valuable tool for improving the quality ofMPI-basedparallel computing systems.

关键词： High-performance computing parallel computing software engineering software defect message passing interface deadlock

来源：评论

学校读者我要写书评

暂无评论

Artificial intelligence in physiological characteristics recognition for internet of things authentication

引用

Digital Communications and Networks 2024年第3期10卷 740-755页

作者： Zhimin Zhang Huansheng Ning Fadi Farha Jianguo Ding Kim-Kwang Raymond Choo School of Computer and Communication Engineering University of Science and Technology BeijingBeijing100083China Beijing Engineering Research Center for Cyberspace Data Analysis and Applications Beijing100083China Faculty of Informatics Engineering Aleppo UniversityAleppoSyria Department of Computer Science Blekinge Institute of Technology37179KarlskronaSweden Department of Information Systems and Cyber Security University of Texas at San AntonioSan AntonioTX78249-0631USA

Effective user authentication is key to ensuring equipment security,data privacy,and personalized services in Internet of Things(IoT)***,conventional mode-based authentication methods(e.g.,passwords and smart cards)may be vulnerable to a broad range of attacks(e.g.,eavesdropping and side-channel attacks).Hence,there have been attempts to design biometric-based authentication solutions,which rely on physiological and behavioral *** characteristics need continuous monitoring and specific environmental settings,which can be challenging to implement in ***,we can also leverage Artificial Intelligence(AI)in the extraction and classification of physiological characteristics from IoT devices processing to facilitate ***,we review the literature on the use of AI in physiological characteristics recognition pub-lished after *** use the three-layer architecture of the IoT(i.e.,sensing layer,feature layer,and algorithm layer)to guide the discussion of existing approaches and their *** also identify a number of future research opportunities,which will hopefully guide the design of next generation solutions.

关键词： Physiological characteristics recognition Artificial intelligence Internet of things Biological-driven authentication

来源：评论

学校读者我要写书评

暂无评论

Dynamic Evolutionary Game-based Modeling,Analysis and Performance Enhancement of Blockchain Channels

引用

IEEE/CAA Journal of Automatica Sinica 2023年第1期10卷 188-202页

作者： PeiYun Zhang MengChu Zhou ChenXi Li Abdullah Abusorrah IEEE the School of Computer Science Nanjing University of Information Science&TechnologyNanjing 210044China the Helen and John C.Hartmann Department of Electrical and Computer Engineering New Jersey Institute of TechnologyNewarkNJ 07102 USA the School of Computer and Information Anhui Normal UniversityWuhu 241003China the Department of Electrical and Computer Engineering Faculty of Engineeringand Center of Research Excellence in Renewable Energy and Power SystemsKing Abdulaziz UniversityJeddah 21481Saudi Arabia

The recent development of channel technology has promised to reduce the transaction verification time in blockchain *** transactions are transmitted through the channels created by nodes,the nodes need to cooperate with each *** one party refuses to do so,the channel is unstable.A stable channel is thus *** nodes may show uncooperative behavior,they may have a negative impact on the stability of such *** order to address this issue,this work proposes a dynamic evolutionary game model based on node *** model considers various defense strategies'cost and attack success ratio under *** can dynamically adjust their strategies according to the behavior of attackers to achieve their effective *** equilibrium stability of the proposed model can be *** proposed model can be applied to general channel *** is compared with two state-of-the-art blockchain channels:Lightning network and Spirit *** experimental results show that the proposed model can be used to improve a channel's stability and keep it in a good cooperative stable *** its use enables a blockchain to enjoy higher transaction success ratio and lower transaction transmission delay than the use of its two peers.

关键词： Blockchain channel network evolutionary game malicious behavior secure computing stability analysis

来源：评论

学校读者我要写书评

暂无评论

A Review of Machine Learning Algorithms in Diabetes Management 4

A Review of Machine Learning Algorithms in Diabetes Manageme...

引用

4th International Conference on Sentiment Analysis and Deep Learning, ICSADL 2025

作者： Gayaki, Unnati Daronde, Subodh Tale, Abhay Barhate, Aditya Datta Meghe Institute of Higher Education and Research Faculty of Engineering and Technology Department of Computer Science and Engineering Maharashtra Wardha India Faculty of Engineering and Technology Department of Biomedical Engineering Maharashtra Wardha India Datta Meghe Institute of Higher Education and Research Faculty of Engineering and Technology Department of Artificial Intelligence and Data Science Maharashtra Wardha India Datta Meghe Institute of Higher Education and Research Faculty of Engineering and Technology Department of Artificial Intelligence and Machine Learning Maharashtra Wardha India

ISBN: (纸本)9798331523923

Diabetes is a prevalent and chronic disease affecting millions worldwide, posing significant challenges in its management and treatment. This review article aims to explore the current and potential future roles of machine learning (ML) in diabetes management, focusing on progress, applications, and challenges. It discusses various ML techniques, including support vector machines (SVM), logistic regression, decision trees, ensemble methods, and advanced deep learning approaches such as long short-term memory (LSTM) networks and convolutional neural networks (CNN). These methods have demonstrated benefits in analytics, patient monitoring, decision support systems, personalised treatment, and patient engagement. However, significant challenges persist, such as computational complexity, data quality, limited interoperability of systems, and ethical concerns regarding AI use in healthcare. The article addresses these challenges by fostering collaboration between AI implementers and health care professionals. This collaboration is essential to develop long-term, legally compliant, and solution-oriented frameworks that enhance patient care and diabetes management and pave the way for more efficient and ethical AI applications in healthcare. © 2025 IEEE.

关键词： Support vector machines

来源：评论

学校读者我要写书评

暂无评论

Toward Optimal Periodic Crowd Tracking via Unmanned Aerial Vehicle

引用

computer Modeling in engineering & Sciences 2023年第10期137卷 233-263页

作者： Khalil Chebil Skander Htiouech Mahdi Khemakhem Department of Computer Science College of Computer Engineering and SciencesPrince Sattam Bin Abdulaziz UniversityAlKharj11942Saudi Arabia Data Engineering and Semantics Research Unit Faculty of Sciences of SfaxUniversity of SfaxSfaxTunisia Department of Computer Science and Artificial Intelligence College of Computer Science and EngineeringUniversity of JeddahJeddahSaudi Arabia Department of Mathematics and Business Intelligence College of Electronics and Telecommunications Engineering of SfaxUniversity of SfaxSfaxTunisia

Crowd management and analysis(CMA)systems have gained a lot of interest in the vulgarization of unmanned aerial vehicles(UAVs)*** tracking using UAVs is among the most important services provided by a *** this paper,we studied the periodic crowd-tracking(PCT)*** consists in usingUAVs to follow-up crowds,during the life-cycle of an open crowded area(OCA).Two criteria were considered for this *** first is related to the CMA initial investment,while the second is to guarantee the quality of service(QoS).The existing works focus on very specified assumptions that are highly committed to CMAs applications *** study outlined a new binary linear programming(BLP)model to optimally solve the PCT motivated by a real-world application study taking into consideration the high level of *** closely approach different real-world contexts,we carefully defined and investigated a set of parameters related to the OCA characteristics,behaviors,and theCMAinitial infrastructure investment(e.g.,UAVs,charging stations(CSs)).In order to periodically update theUAVs/crowds andUAVs/CSs assignments,the proposed BLP was integrated into a linear algorithm called PCTs *** main objective was to study the PCT problem fromboth theoretical and numerical *** prove the PCTs solver effectiveness,we generated a diversified set of PCTs instances with different scenarios for simulation *** empirical results analysis enabled us to validate the BLPmodel and the PCTs solver,and to point out a set of new challenges for future research directions.

关键词： Unmanned aerial vehicles periodic crowd-tracking problem open crowded area optimization binary linear programming crowd management and analysis system

来源：评论

学校读者我要写书评

暂无评论

An Empirical Investigation of the World Happiness Report: The Effect of Reliogisity, Suicide Rate and Human Development

An Empirical Investigation of the World Happiness Report: Th...

引用

2023 International Conference on Advances in Computation, Communication and Information Technology, ICAICCIT 2023

作者： Shrestha, Balkrishna Rajbanshi, Bhim Prasad Bahadur Pandey, Shailesh Everest Engineering College Department of Computer Engineering Lalitpur Nepal Everest Engineering College Department of Faculty Research Lalitpur Nepal

ISBN: (纸本)9798350344387

The relationship between economic indicators of progress and happiness is complex at best and paradoxical in some instances. Happiness does not keep increasing with the country's rise in income when viewed over a long period. Empirical literature finds a positive correlation between happiness and religiosity whereas there is a negative correlation between religiosity and income. Suicide rate and happiness are both high in developed economies. This paper is chiefly an empirical investigation of religiosity and suicide rate as a window into a country's happiness. This paper does not find an association between three levels of religiosity and happiness. Suicide rate is associated with countries at the middle and lower end of the happiness. A substantially higher suicide rate is found for the latter. The result is consistent with literature that finds a paradoxical association between happiness and suicide rate. Literature is far from conclusive on these associations. This work contributes to the empirical research on subjective well-being as an important indication of a country's progress. © 2023 IEEE.

关键词： Human Development Religiosity Suicide Rate Well-Being World Happiness Report

来源：评论

学校读者我要写书评

暂无评论

Digital Transformation through Conceptual Modeling: The NEMO Summer School Use Case

Digital Transformation through Conceptual Modeling: The NEMO...

引用

Modellierung 2024

作者： Völz, Alexander Vaidian, Iulia University of Vienna Faculty of Computer Science Research Group Knowledge Engineering Währinger Straße 29 Vienna1090 Austria OMiLAB@University of Vienna Faculty of Computer Science Research Group Knowledge Engineering Währinger Straße 29 Vienna1090 Austria

ISBN: (纸本)9783885797425

In the digital age, achieving a balance between human creative thinking and technology capabilities is crucial. Recognizing the potential of such collaborations, OMiLAB (Open Model Initiative Laboratory) developed a conceptual framework for establishing experimental innovation spaces in which skills to advance human-machine interaction can be taught and applied. The resulting Digital Innovation Environment incorporates both business and engineering perspectives, emphasizing the importance of interdisciplinary settings. Conceptual models and Digital Twins play a pivotal role within the environment, seamlessly bridging business strategies with cyber-physical systems. This paper offers a comprehensive understanding of the OMiLAB network, highlighting its alignment with the principles of a Community of Practice and emphasizing the knowledge exchange, exemplified by the NEMO Summer School Series. We present insights, best practices, and educational paradigms vital for navigating the digital transformation landscape. © 2024 Gesellschaft fur Informatik (GI). All rights reserved.

关键词： Community of Practice Conceptual Modeling Digital Innovation Environment Knowledge Transfer NEMO Summer School Series OMiLAB

来源：评论

学校读者我要写书评

暂无评论

Risk Factors Categorizations of Ischemic Heart Disease in South-Western Bangladesh

引用

Data Intelligence 2024年第3期6卷 834-868页

作者： M.Raihan Sami Azam Laboni Akter Md.Mehedi Hassan Ryana Quadir Asif Karim Saikat Mondal Arun More Department of Computer Science and Engineering North Western UniversityKhulna 9100Bangladesh Faculty of Science and Technology Charles Darwin UniversityNT 0909Australia Departmentof Biomedical Engineering Khulna University of Engineering&TechnologyKhulnaBangladeh Computer Science and Engineering Discipline Khulna UniversityKhulna 9208Bangladesh Department of Computer Science and Engineering Daffodil International University(DIU)Bangladesh Department of Cardiology Ter Institute of Rural Health and ResearchMurud-413510India

Ischemic heart disease(IHD)is one of the leading causes of death ***,different geographic regions show different variations of the risk factors of this disease based on the different lifestyles of *** study examines the current IHD condition in southern Bangladesh,a Southeast Asian middle-income *** main approach to this research is an Al-based proposal of a reduced set of the greatest impact clinical traits that may cause *** approach attempts to reduce IHD morbidity and mortality by early detection of risk factors using the reduced set of clinical ***,diagnostic,and symptomatic features were considered for analysing this clinical *** pre-processing utilizes several machine learning techniques to select significant features and make meaningful interpretations.A proposed voting mechanism ranked the selected 138 features by their impact *** this regard,diverse patterns in correlations with variables,including age,sex,career,family history,obesity,etc.,were calculated and explained in terms of voting *** the 138 risk factors,three labels were categorized:high-risk,medium-risk,and low-risk features;19 features were regarded as high,25 were medium,and 94 were considered low impactful *** research's technological methodology and practical goals provide an innovative and resilient framework for addressing IHD,especially in less developed cities and townships of Bangladesh,where the general population's socioeconomic conditions are often *** data collection,pre-processing,and use of this study's complete and comprehensive IHD patient dataset is another innovative *** believe that other relevant research initiatives will benefit from this work.

关键词： Ischemic heart disease Machine learning CVD Data categorization Medical data

来源：评论

学校读者我要写书评

暂无评论

IoT Sensor Deployment in the Wildland Urban Interface: Leveraging Fire Risk Analysis 10

IoT Sensor Deployment in the Wildland Urban Interface: Lever...

引用

10th IEEE World Forum on Internet of Things, WF-IoT 2024

作者： Purcell, Richard Naik, Kshirasagar Zaman, Marzia Lung, Chung-Horng Sampalli, Srinivas Mutakabbir, Abdul Dhindsa, Manavjit Singh Das, Ursula Dalhousie University Faculty of Computer Science HalifaxNS Canada University of Waterloo Electrical and Computer Engineering WaterlooON Canada Research and Development Cistel Technology OttawaON Canada Carleton University Systems and Computer Engineering OttawaON Canada

ISBN: (纸本)9798350373011

This paper investigates algorithms for distributing Internet of Things sensors within the Wildland-Urban Interface to enhance early wildland fire detection. Using geospatial data analysis and a validated wildland fire growth model, we generated burn maps to guide sensor placement strategies across a defined region. We evaluated even grid distribution, random distributions, and genetic algorithm-based methods, testing each against 50,000 burn maps with sensor counts ranging from 50 to 800. Results indicate that while even grid distribution achieved the highest detection rates, its practicality in real-world applications is limited. Genetic algorithms showed promise but require further exploration to simulate field deployment accurately. Notably, weighting sensor placement based on wildland fire growth risk did not significantly impact detection effectiveness, highlighting the need for further research into the representativeness of burn maps. © 2024 IEEE.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Interaction of the spatial configurations and active mobility in megacity, Thailand

Interaction of the spatial configurations and active mobilit...

引用

2023 International Conference on Industry Sciences and computer Science Innovation, iSCSi 2023

作者： Iamtrakul, Pawinee Chayphong, Sararad Kantavat, Pittipol Center of Excellence in Urban Mobility Research and Innovation Faculty of Architecture and Planning Thammasat University Pathumthani12120 Thailand Department of Computer Engineering Faculty of Engineering Chulalongkorn University Bangkok10330 Thailand

Healthy living and well-being at all ages are one of the UN Sustainable Development Goals. Active mobility is a must as a basic choice for healthy individuals and communities in sustainable cities. However, commuting by walking presents a critical challenge in the city with rapid urbanization, leading to auto dependency rather than a non-motorized mode of residents' daily mobility. By employing spatial configurations of urban physical elements, the interaction between its association and active mobility can be unfolded. Bangkok, a megacity in Thailand, is used as a case study for the objective assessments by generating data from on-street images and incorporating it into the analysis through geographic information systems (GIS). The finding based on the results of spatial configurations related to the pedestrian volume can then be quantified. The linkage between the physical environment-both sidewalks and their surrounding context-can demonstrate its significance in term of relationship. This information is useful for promoting compact urban development with consideration of the availability of transportation systems, especially public transport, which can lead to the promotion of healthy cities and environmental protection while solving traffic problems. © 2024 The Authors. Published by ELSEVIER B.V.

关键词： Sustainable development

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：