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

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

来源：评论

学校读者我要写书评

暂无评论

Estimating Risk-aware Flexibility Areas for Electric Vehicle Charging Pools via AC Stochastic Optimal Power Flow

引用

Journal of Modern Power Systems and Clean Energy 2023年第4期11卷 1247-1256页

作者： Juan S.Giraldo Nataly Bañol Arias Pedro P.Vergara Maria Vlasiou Gerwin Hoogsteen Johann L.Hurink Energy Transition Studies Group Netherlands Organisation for Applied Scientific Research(TNO)Amsterdam1043 NTThe Netherlands Department of Electrical Engineering Mathematics and Computer ScienceUniversity of TwenteEnschede7522 NBThe Netherlands Intelligent Electrical Power Grids Group Electrical EngineeringMathematics and Computer ScienceDelft University of TechnologyDelft2628 CDThe Netherlands

This paper introduces an AC stochastic optimal power flow(SOPF)for the flexibility management of electric vehicle(EV)charging pools in distribution networks under *** AC SOPF considers discrete utility functions from charging pools as a compensation mechanism for eventual energy not served to their charging *** application of the AC SOPF is described where a distribution system operator(DSO)requires flexibility to each charging pool in a day-ahead time frame,minimizing the cost for flexibility while guaranteeing technical *** areas are defined for each charging pool and calculated as a function of a risk parameter involving the uncertainty of the *** show that all players can benefit from this approach,i.e.,the DSO obtains a riskaware solution,while charging pools/tasks perceive a reduction in the total energy payment due to flexibility services.

关键词： Electric vehicle flexibility management stochastic optimal power flow(SOPF) risk awareness compensation mechanism

来源：评论

学校读者我要写书评

暂无评论

Comparison of Conventional and Modified Ant Colony Approaches for Path Planning of Robot in an Indoor Environment 2

Comparison of Conventional and Modified Ant Colony Approache...

引用

2nd International Conference on Disruptive Technologies, ICDT 2024

作者： Sharan, Sudeep Ngoc Minh, Anh Tong Nguyen, Duc Thuan Dominguez-Jimenez, Juan Jose Nauth, Peter Frankfurt University of Applied Sciences Computer Science and Engineering Frankfurt am Main Germany Ucase Software Engineering Group School of Engineering University of Cádiz Cádiz Spain

ISBN: (纸本)9798350371055

The optimal path for autonomous robots is highly needed, particularly in the industrial communities, manufacturing and social support industries. The meta-heuristic methods are strong and adaptable, and their employment in autonomous problems is taken into consideration. One of the methods used by the researchers is Ant Colony Optimization (ACO). However, this approach is less effective due to a few limitations. Thus, in order to mitigate its shortcomings and enhance the robustness of path planning, this paper aims to compare the different standard ACO algorithm with the new modified built algorithm, which is developed by taking the concept of ACO and extending it by condition-based rules, named as condition based-ant colony concept (CB-ACC), to solve path planning. The theoretical foundation of ACO with modification as another approach are used in this study to illustrate the ACO methods in the path planning, particularly in the static-complex environment. Simulation results show the comparison of the ACO approaches, including the Ant System (AS), the Ant Colony System (ACS) and the modified condition based-ant colony concept (CB-ACC), and how they are effective for static-complex environments compared to conventional ACO algorithms. Moreover, this paper presents the comparison results of the three approaches. © 2024 IEEE.

关键词： Ant Colony Optimization Ant Colony System Ant System Condition/rule-based System Modified ACO Path Planning

来源：评论

学校读者我要写书评

暂无评论

Deep Learning with a Novel Concoction Loss Function for Identification of Ophthalmic Disease

引用

computers, Materials & Continua 2023年第9期76卷 3763-3781页

作者： Sayyid Kamran Hussain Ali Haider Khan Malek Alrashidi Sajid Iqbal Qazi Mudassar Ilyas Kamran Shah Department of Computer Science TIMES InstituteMultan60000Pakistan Department of Software Engineering Faculty of Computer ScienceLahore Garrison UniversityLahore54000Pakistan Department of Computer Science Applied CollegeUniversity of TabukTabukSaudi Arabia Department of Information Systems College of Computer Sciences and Information TechnologyKing Faisal UniversityAl Hofuf31982Saudi Arabia Department of Mechanical Engineering College of EngineeringKing Faisal UniversityAl HofufSaudi Arabia

As ocular computer-aided diagnostic(CAD)tools become more widely accessible,many researchers are developing deep learning(DL)methods to aid in ocular disease(OHD)*** eye diseases like cataracts(CATR),glaucoma(GLU),and age-related macular degeneration(AMD)are the focus of this study,which uses DL to examine their *** imbalance and outliers are widespread in fundus images,which can make it difficult to apply manyDL algorithms to accomplish this analytical *** creation of efficient and reliable DL algorithms is seen to be the key to further enhancing detection *** the analysis of images of the color of the retinal fundus,this study offers a DL model that is combined with a one-of-a-kind concoction loss function(CLF)for the automated identification of *** study presents a combination of focal loss(FL)and correntropy-induced loss functions(CILF)in the proposed DL model to improve the recognition performance of classifiers for biomedical *** is done because of the good generalization and robustness of these two types of losses in addressing complex datasets with class imbalance and *** classification performance of the DL model with our proposed loss function is compared to that of the baseline models using accuracy(ACU),recall(REC),specificity(SPF),Kappa,and area under the receiver operating characteristic curve(AUC)as the evaluation *** testing shows that the method is reliable and efficient.

关键词： Deep learning multi-classification focal loss CNN eye disease

来源：评论

学校读者我要写书评

暂无评论

Rapid computational algorithm with minimum user input for reconstructing phase images in structured illumination Digital Holographic Microscopy

Rapid computational algorithm with minimum user input for re...

引用

3D Image Acquisition and Display: Technology, Perception and Applications, 3D 2024 - Part of Optica Imaging Congress

作者： Obando-Vásquez, Sofía Castaneda, Raúl Restrepo, René Trujillo, Carlos Doblas, Ana Applied Optics Group School of Applied Science and Engineering EAFIT University Medellin Colombia Electrical and Computer Engineering Department University of Massachusetts Dartmouth United States

A rapid computational algorithm is presented for Structured Illumination in Digital Holographic Microscopy. The proposed algorithm is based on the minimization of two cost functions to reconstruct improved resolution ... 详细信息

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

A Comparative Analysis of Goal-Oriented Requirements engineering and Model-Based Systems engineering Frameworks for Managing Requirements of Systems of Systems 25

A Comparative Analysis of Goal-Oriented Requirements Enginee...

引用

25th International Arab Conference on Information Technology, ACIT 2024

作者： Alhajhassan, Suhair Murrar, Samer Samhan, Ahmad Odeh, Mohammed Elrashidi, Ali Applied Science Private University Software Engineering Department Amman Jordan Applied Science Private University Computer Science Department Amman Jordan Zarqa University Software Engineering Department Zarqa Jordan Global Academy for Digital Health Bristol United Kingdom University of Business and Technology Department of Electrical Engineering Jeddah Saudi Arabia

ISBN: (纸本)9798331540012

Goal-oriented requirements engineering (GORE) for Systems of Systems (SoS) includes combining individual operational systems local goals to achieve higher-level goals. GORE offers a structured approach to managing complex requirements, ensuring that strategic goals are translated into operational tasks. This paper provides a review of GORE frameworks, including those incorporating Model-Based Systems engineering (MBSE), that could be used in the management of complex Systems of Systems. The paper analyzes recent GORE frameworks such as CGS4Adaptation which combines Goals and SysML for managing adaptive Socio-Cyber-Physical Systems (SCPSs);GORE-based approach to Energy Management Systems (EnMS);Model-Based and Goal-Oriented Approach for the conceptual design of smart grid services;GORE and reference architecture approach for microgrid systems;and Adaptation-Oriented Requirement Modeling approach (ADORE). A comparative analysis is conducted to assess the extent of effectiveness these frameworks provide for improving SoS traceability, adaptability, and system design integrity. The paper concludes with key findings on the strengths and limitations of the considered frameworks, on the basis of which, major conclusions on how GORE combined with MBSE can be used for managing SoS requirements in Smart Grid (SG) and socio-cyber-physical systems could be drawn. This review paper also contributes to the requirements engineering domain by outlining effective strategies for designing and managing complex, adaptive Systems of Systems. © 2024 IEEE.

关键词： Conceptual design

来源：评论

学校读者我要写书评

暂无评论

Skin cancer detection with MobileNet-based transfer learning and MixNets for enhanced diagnosis

引用

Neural Computing and Applications 2024年第34期36卷 21383-21413页

作者： Zakariah, Mohammed Al-Razgan, Muna Alfakih, Taha Department of Computer Sciences and Engineering College of Applied Science King Saud University Riyadh11543 Saudi Arabia Department of Software Engineering College of Computer and Information Sciences King Saud University Riyadh11345 Saudi Arabia Department of Information Systems College of Computer and Information Sciences King Saud University Riyadh11543 Saudi Arabia

Skin cancer poses a significant health hazard, necessitating the utilization of advanced diagnostic methodologies to facilitate timely detection, owing to its escalating prevalence in recent years. This paper proposes a novel approach to tackle the issue by introducing a method for detecting skin cancer that uses MixNets to enhance diagnosis and leverages mobile network-based transfer learning. Skin cancer has diverse forms, each distinguishable by its structural attributes, morphological characteristics, texture, and coloration. The pressing demand for accurate and efficient diagnostic instruments has spurred the investigation of novel techniques. The present study utilizes the ISIC dataset, comprising a validation set of 660 images and a training set of 2637 images. Moreover, the research employs a combination of MixNets and mobile network-based transfer learning as its chosen approach. Transfer learning is a technique that leverages preexisting models to enhance the diagnostic capabilities of the proposed system. Integrating MobileNet and MixNets allows for utilizing their respective functionalities, resulting in a dual-model methodology that enhances the comprehensiveness of skin cancer diagnosis. The results demonstrate impressive performance metrics, with MobileNet and MixNets models, and the proposed approach achieves an outstanding accuracy rate of 99.58%. The above findings underscore the efficacy of the dual-model method in effectively discerning between benign and malignant skin lesions. Moreover, the present study aims to examine the potential integration of emerging technologies to enhance the accuracy and practicality of diagnostics within real-world healthcare settings. © The Author(s), under exclusive licence to Springer-Verlag London Ltd., part of Springer Nature 2024.

关键词： Diseases

来源：评论

学校读者我要写书评

暂无评论

Accurate Real-World Co-ordinate Finding and the Object Classification for the Robot Manipulator 3

Accurate Real-World Co-ordinate Finding and the Object Class...

引用

3rd International Conference on Embedded Systems and Artificial Intelligence, ESAI 2024

作者： Sharan, Sudeep Thanh, Hung Do Nauth, Peter Dominguez-Jimenez, Juan Jose Frankfurt University of Applied Sciences Faculty of Computer Science and Engineering Frankfurt am Main Germany University of Cádiz UCASE Software Engineering Group School of Engineering Cádiz Spain

ISBN: (纸本)9798331522056

This paper presents an object detection and classification of the objects using Deep Learning (DL). The integration of object detection algorithms and depth camera developed is capable of providing robots, such as self developed assistive intelligent robot called 'ROSWITHA' (RObot System WITH Autonomy) with the ability to detect an object and interpret their surrounding environment. It also provides the real-world coordinates/position of the object in that environment, which helps the robot to perform some applications, such as grabbing and serving, etc. You Only Look Once (YOLO) is one of the most popular object detection algorithms which is treated as a single regression problem and is processed by a single neural network. In this work, the YOLOv5 (YOLO version 5) network is implemented on a depth camera 'RealSense' for processing object detection and estimating the position of the objects. The model is trained on reduced/filtered application-required objects (e.g. bottle and cup) from the available COCO dataset, and the training outcome alongside the performance of the overall system was evaluated. The results exhibited a satisfactory performance of the model in accurately detecting and classifying the objects with a high confidence score ranging from the least to7 2% to the highest of9 0%. The confidence score could also be adjusted by the user on the developed GUI to attain the most certain predictions. © 2024 IEEE.

关键词： Bottles

来源：评论

学校读者我要写书评

暂无评论

System for Table Run Strategy in Peruvian Billiards with Real-Time Oject Detection using YOLOv8n 10

System for Table Run Strategy in Peruvian Billiards with Rea...

引用

10th International Conference on Optimization and Applications, ICOA 2024

作者： Silva, Italo Chavez, Raquel Castillo-Sequera, José Luis Wong, Lenis Peruvian University of Applied Sciences Department of Software Engineering Lima Peru University of Alcalá Department of Computer Science Alcalá de Henares Spain

ISBN: (纸本)9798350387353

The main challenge for billiard players, regardless of their skill level, is to develop a strategy that allows them to consecutively pocket balls in a single turn, commonly known as 'closing the table.' This strategy requires high precision and consistency, especially for less experienced players. This study integrates a YOLOv8n model, a shot suggestion algorithm, and a shot prediction algorithm to build a system that aids players in developing this 'table closing' strategy through visual guides indicating the shots to take and where to position the cue ball for the next shot. The proposed system follows these phases: (1) Selection of the video camera, (2) Selection of the object detection technique, (3) Development of the shot suggestion algorithm, (4) Development of the shot prediction algorithm, and (5) System construction. Phases (1) and (2) address the implementation of the YOLOv8n model, while phases (3) and (4) involve the development of algorithms for the 'table closing' strategy. To validate the system's effectiveness, an experiment with 24 players of different skill levels was conducted, showing that the system reduced the average number of shots needed to close a table to 22, compared to the 47-shot average of professional players. Beginners accepted 100% of the system's recommendations, while intermediate and professional players showed acceptance rates of 95.1% and 95.6%, respectively. A survey indicated high overall satisfaction, with a median response of 4.5 on a 5-point scale. The system also demonstrates significant competitive advantages over existing solutions by maintaining high detection and prediction accuracy while effectively functioning in real-world scenarios, leveraging the latest advances in computer vision to surpass older techniques in both effectiveness and efficiency. © 2024 IEEE.

关键词： computer vision

来源：评论

学校读者我要写书评

暂无评论

Ensuring IoT Controller Reliability with Colored Generalized Stochastic Petri Net 28

Ensuring IoT Controller Reliability with Colored Generalized...

引用

28th International computer science and engineering Conference, ICSEC 2024

作者： Samngamnoi, Kruntarat Pomsiri, Sutinun Kamput, Apipath Dechsupa, Chanon College of Computing Khon Kaen University Intelligent Software Engineering Research Group Department of Computer Science Khon Kaen40002 Thailand

ISBN: (纸本)9798350366860

In IoT systems managing multiple devices simultaneously, errors in system controllers often undermine intended operations. Formal verification offers a method to assess system reliability. Colored Generalized Stochastic Petri Net (CGSPN), a formal language, facilitate correctness checks of such systems. This study proposes a verification approach by translating a C++-based system controller of a self-service machine into a CGSPN models and validating it using the Snoopy Tool. Mapping techniques employed to transform components in the controller into CGSPN models are provided. Results demonstrate the method's efficacy in verifying system safety properties, simulating system events, and enabling quantitative verification. © 2024 IEEE.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：