检索结果-南通市图书馆

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

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Design Principles-Based Interactive Learning Tool for Solving Nonlinear Equations

引用

Computer Systems Science & Engineering 2022年第3期40卷 1023-1042页

作者： Ahad Alloqmani Omimah Alsaedi Nadia Bahatheg reem alnanih Lamiaa Elrefaei Computer Sciences Department Faculty of Computing and Information TechnologyKing Abdulaziz UniversityJeddahSaudi Arabia Electrical Engineering Department Faculty of Engineering at ShoubraBenha UniversityCairoEgypt

Interactive learning tools can facilitate the learning process and increase student engagement,especially tools such as computer programs that are designed for human-computer ***,this paper aims to help students learn five different methods for solving nonlinear equations using an interactive learning tool designed with common principles such as feedback,visibility,affordance,consistency,and *** also compares these methods by the number of iterations and time required to display the *** study helps students learn these methods using interactive learning tools instead of relying on traditional teaching *** tool is implemented using the MATLAB app and is evaluated through usability testing with two groups of users that are categorized by their level of experience with *** with no knowledge in root-finding confirmed that they understood the root-finding concept when interacting with the designed *** positive results of the user evaluation showed that the tool can be recommended to other users.

关键词： Graphical user interface(GUI) interactive learning tool design principles nonlinear equations experimental design

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Efficacy of intragastric balloon on weight reduction:Saudi perspective

引用

World Journal of Clinical Cases 2017年第4期5卷 140-147页

作者： Ebtissam Saleh Almeghaiseeb Muhammad Farooq Ashraf reem Abdullah Alamro abdulaziz Omar Almasoud Abdulrahman Ali Alrobayan Prince Sultan Military Medical City

AIM To evaluate the safety and efficacy of intragastric balloon(IGB) in weight reduction in obese patients referred to a tertiary hospital in the Kingdom of Saudi *** Three hundred and one consecutive obese individuals, who underwent IGB placement during January 2009 to May 2015, were analyzed. The subjects aged 18 to 60 years and had a minimum body mass index(BMI) of 27 kg/m^2. The IGB was placed under conscious sedation and kept for 6 mo. Anthropometric measurements were recorded during and after 6 mo of IGB *** The body weight, excess body weight, and BMI were significantly reduced at the time of IGB removal and 6 mo later. Body weight loss > 10% was achieved in 224 subjects at removal of IGB. End of treatment success and long-term success were both significantly observed in women(70 vs 11)(71 vs 12.5) respectively. Excess BMI loss was significantly higher in subjects retaining the IGB for over 6 mo both at the removal [43.44 ± 19.46(n = 221) vs 55.60 ± 28.69(n = 80); t = 4.19, P = 0.0001] as well as at the end of 6 mo' follow-up [46.57 ± 24.89(n = 221) vs 63.52 ± 31.08(n = 80); t = 4.87, P = 0.0001]. Within 3 d of IGB placement, two subjects developed pancreatitis and one subject developed cardiac arrhythmia. Intestinal obstruction due to displacement of IGB occurred in two subjects. Allthese subjects recovered uneventfully after immediate removal of the IGB. CONCLUSION IGB was effective in our cohorts. The observed weight reduction was maintained for at least 6 mo post IGB removal. IGB placement was safe with a satisfactory tolerance rate.

关键词： Weight reduction Intragastric balloon Saudi

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

3-单酰胺喹唑啉酮衍生物的表征及密度泛函理论研究(英文)

引用

物理化学学报 2013年第1期29卷 55-63页

作者： AL-SEHEMI Abdullah G. Al-AMRI reem S.abdulaziz IRFAN Ahmad Department of Chemistry Faculty of ScienceKing Khalid UniversityAbha 61413P.O.Box 9004Saudi Arabia Unit of Science and Technology Faculty of ScienceKing Khalid UniversityAbha 61413P.O.Box 9004Saudi Arabia

Several 3-aminoquinazolin-4-(3H)-one derivatives were synthesized and *** proton nuclear magnetic resonance (NMR) spectra,we have investigated the barriers to rotation around the N ― N bond as a function of *** in the NMR spectra at high temperatures are explained in terms of hindered rotations of the N ― N *** energies of activation for the rate determining stereochemical process were calculated to be as high as 67-75 kJ · *** state molecular geometries and vibrational frequencies were calculated using the HF/6-31G and B3LYP/6-31G level of *** optimized bond lengths and bond angles are in good agreement with experimental values at both theoretical levels.

关键词：振动频率衍生物化学分析活化自由能

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Practical approach to linear endoscopic ultrasound examination of the gallbladder

引用

World Journal of Radiology 2024年第6期16卷 184-195页

作者： Hussein Hassan Okasha Eyad Gadour Hassan Atalla Omar AbdAllah AbdEl-Hameed reem Ezzat Ahmed Elsayed Alzamzamy Elsayed Ghoneem Rasha Ahmad Matar Zeinab Hassan Bogdan Miutescu Ayman Qawasmi Katarzyna M Pawlak Ahmed Elmeligui Department of Internal Medicine Division of Gastroenterology and HepatologyKasr Al-Aini School of MedicineCairo UniversityCairo 11562Egypt Department of Gastroenterology and Hepatology King Abdulaziz Hospital-National GuardAhsa 31982Saudi Arabia Department of Medicine School of MedicineZamzam University CollegeKhartoum 11113Sudan Department of Internal Medicine Hepatology and Gastroenterology UnitFaculty of MedicineMansoura UniversityMansoura 35516Egypt Department of Internal Medicine Faculty of MedicineAssiut UniversityAssiut 71511Egypt Department of Gastroenterology and Heptology Maadi Armed Forces Medical ComplexMilitary Medical AcademyCairo 11728Egypt Department of Gastroenterology and Advance Endoscopy Sultant Qaboos Comprehensive Cancer Care and Research CentreMuscat 0961Oman Department of Internal Medicine Stockport Hospitals NHS Foundation TrustManchester SK27JEUnited Kingdom Department of Gastroenterology and Hepatology Victor Babes University of Medicine and PharmacyTimisoara 300041Romania Advanced Regional Research Centre in Gastroenterology and Hepatology Victor Babes University of Medicine and PharmacyTimisoara 30041Romania Department of Gastroenterology Al-Makassed Islamic Charitable Society HospitalCairo 11124Egypt Division of Gastroenterology St.Michael’s HospitalUniversity of TorontoToronto M5B 1W8Canada Department of Gastroenterology Southend University HospitalEssex SS26XTUnited Kingdom

The gallbladder(GB)is a susceptible organ,prone to various pathologies that can be identified using different imaging *** ultrasound(TUS)is typically the initial diagnostic method due to its numerous well-established ***,in cases of uncertainty or when a definitive diagnosis cannot be established,computed tomography(CT)or magnetic resonance imaging may be employed to provide more detailed ***,CT scans may sometimes offer inadequate spatial resolution,which can limit the differentiation of GB lesions,particularly when smaller yet clinically relevant abnormalities are ***,endoscopic ultrasound(EUS)provides higher frequency compared to TUS,superior spatial resolution,and the option for contrast-enhanced harmonic imaging,enabling a more comprehensive ***,EUS can serve as a supplementary tool when conventional imaging methods are *** review will describe the standard EUS examination of the GB,focusing on its endosonographic characteristics in various GB path-ologies.

关键词： Endoscopic ultrasound Linear endoscopic ultrasound Gallbladder anatomy Gallbladder pathologies Therapeutic endoscopic ultrasound

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Factors affecting improvement of fluorescence intensity of quartet and doublet state of NO diatomic molecule excited by glow discharge

引用

Chinese Physics B 2018年第8期27卷 356-363页

作者： Ahmed Asaad I Khalilt reem A1-Tuwirqi Mohamed Gondal Noura A1-Suliman Department of Laser Sciences and Interactions National Institute of Laser Enhanced Sciences(NILES)Cairo UniversityGiza12613 Egypt Department of Physics Faculty of ScienceKing Abdulaziz UniversityJeddah 21551Saudi Arabia Department of Physics King Fahd University of Petroleum&MineralsDhahran 31261Saudi Arabia Department of Physics Faculty of Science for GirlsImam Abdulrahman Ben Faisal UniversityDammam 31441Saudi Arabia

We report on the observation of new fluorescence emission spectral transitions obtained from NO diatomic molecule in the region from ultraviolet （UV） to near infrared （NIR） in a low power glow discharge system. This glow discharge electronic excitation populates different quartet and doublet states of NO in its proximity such as the A2Z （/9 = 2）, b4∑- （υ= 3）, B2М （1） = 4）, and X2Л （u= 33-32） states. Due to inter-system crossing, emission lines originating from these levels to lower lying states are recorded and spectral line assignments are performed. The observed systems include b4∑- a4∏, B21∏-a4∏, a4∏-X2I∏, A2∑X2∏, X2∏-X2∏ （33-15）, X2∏-X2∏ （33-17）, X2∏-X2∏ （33-20）, and X2∏-X2∏ （33- 18）. This new information will conduce to the better understanding of the interesting features of NO molecule. Such parameters that affect the recording of low density of NO molecules are also discussed In addition to the factors such as the time evolution, argon gas concentration relative to NO mixture, the percentage of NO molecular gas concentration, discharge electric current signals and discharge applied voltage are studied. Those factors would enhance the fluorescence signal intensity of NO molecules. The recent results might be significant as reference data for optimizing the glow discharge spectrometer and diagnostics of NO gas.

关键词： fluorescence emission NO molecule quartet states intersystem crossing glow discharge

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A Secure Key Agreement Scheme for Unmanned Aerial Vehicles-Based Crowd Monitoring System

引用

Computers, Materials & Continua 2022年第3期70卷 6141-6158页

作者： Bander Alzahrani Ahmed Barnawi Azeem Irshad Areej Alhothali reem Alotaibi Muhammad Shafiq Faculty of Computing and Information Technology King Abdulaziz UniversityJeddahSaudi Arabia Department of Computer Science and Software Engineering International Islamic University IslamabadPakistan Department of Information and Communication Engineering Yeungnam UniversityGyeongsan38541Korea

Unmanned aerial vehicles(UAVs)have recently attractedwidespread attention in civil and commercial *** example,UAVs(or drone)technology is increasingly used in crowd monitoring solutions due to its wider air footprint and the ability to capture data in real ***,due to the open atmosphere,drones can easily be lost or captured by attackers when reporting information to the crowd management *** addition,the attackers may initiate malicious detection to disrupt the crowd-sensing communication ***,security and privacy are one of the most significant challenges faced by drones or the Internet of Drones(IoD)that supports the Internet of Things(IoT).In the literature,we can find some authenticated key agreement(AKA)schemes to protect access control between entities involved in the IoD ***,the AKA scheme involves many vulnerabilities in terms of security and *** this paper,we propose an enhancedAKAsolution for crowdmonitoring applications that require secure communication between drones and controlling *** scheme supports key security features,including anti-forgery attacks,and confirms user *** security characteristics of our scheme are analyzed byNS2 simulation and verified by a random oracle *** simulation results and proofs show that the proposed scheme sufficiently guarantees the security of crowd-aware communication.

关键词： IoT unmanned aerial vehicles authentication crowd monitoring

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Feature Subset Selection with Artificial Intelligence-Based Classification Model for Biomedical Data

引用

Computers, Materials & Continua 2022年第9期72卷 4267-4281页

作者： Jaber S.Alzahrani reem M.Alshehri Mohammad Alamgeer Anwer Mustafa Hilal Abdelwahed Motwakel Ishfaq Yaseen Department of Industrial Engineering College of Engineering at AlqunfudahUmm Al-Qura UniversitySaudi Arabia Department of Computer Science College of Computing and Information TechnologyTaif UniversityTaif21944Saudi Arabia Department of Information Systems College of Science&Art at MahayilKing Khalid UniversityMahayil62529Saudi Arabia Department of Computer and Self Development Preparatory Year DeanshipPrince Sattam bin Abdulaziz UniversityAlKharj62529Saudi Arabia

Recently,medical data classification becomes a hot research topic among healthcare professionals and research communities,which assist in the disease diagnosis and decision making *** latest developments of artificial intelligence(AI)approaches paves a way for the design of effective medical data classification *** the same time,the existence of numerous features in the medical dataset poses a curse of dimensionality *** resolving the issues,this article introduces a novel feature subset selection with artificial intelligence based classification model for biomedical data(FSS-AICBD)*** FSS-AICBD technique intends to derive a useful set of features and thereby improve the classifier ***,the FSS-AICBD technique undergoes min-max normalization technique to prevent data *** addition,the information gain(IG)approach is applied for the optimal selection of feature ***,group search optimizer(GSO)with deep belief network(DBN)model is utilized for biomedical data classification where the hyperparameters of the DBN model can be optimally tuned by the GSO *** choice of IG and GSO approaches results in promising medical data classification *** experimental result analysis of the FSS-AICBD technique takes place using different benchmark healthcare *** simulation results reported the enhanced outcomes of the FSS-AICBD technique interms of several measures.

关键词： Medical data classification feature selection deep learning healthcare sector artificial intelligence

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Artificial Intelligence Based Prostate Cancer Classification Model Using Biomedical Images

引用

Computers, Materials & Continua 2022年第8期72卷 3799-3813页

作者： Areej A.Malibari reem Alshahrani Fahd N.Al-Wesabi Siwar Ben Haj Hassine Mimouna Abdullah Alkhonaini Anwer Mustafa Hilal Department of Computer Science Faculty of Computing and Information TechnologyKing Abdulaziz UniversityJeddah21589Saudi Arabia Department of Computer Science College of Computers and Information TechnologyTaif UniversityTaif21944Saudi Arabia Department of Computer Science College of Science&Art at MahayilKing Khalid UniversitySaudi Arabia Department of Computer Science College of Computer and Information SciencesPrince Sultan UniversitySaudi Arabia Department of Computer and Self Development Preparatory Year DeanshipPrince Sattam bin Abdulaziz UniversityAlKharjSaudi Arabia

Medical image processing becomes a hot research topic in healthcare sector for effective decision making and diagnoses of *** resonance imaging(MRI)is a widely utilized tool for the classification and detection of prostate *** the manual screening process of prostate cancer is difficult,automated diagnostic methods become *** study develops a novel Deep Learning based Prostate Cancer Classification(DTL-PSCC)model using MRI *** presented DTL-PSCC technique encompasses EfficientNet based feature extractor for the generation of a set of feature *** addition,the fuzzy k-nearest neighbour(FKNN)model is utilized for classification process where the class labels are allotted to the input MRI ***,the membership value of the FKNN model can be optimally tuned by the use of krill herd algorithm(KHA)which results in improved classification *** order to demonstrate the good classification outcome of the DTL-PSCC technique,a wide range of simulations take place on benchmark MRI *** extensive comparative results ensured the betterment of the DTL-PSCC technique over the recent methods with the maximum accuracy of 85.09%.

关键词： MRI images prostate cancer deep learning medical image processing metaheuristics krill herd algorithm

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Blockchain Driven Metaheuristic Route Planning in Secure Vehicular Adhoc Networks

引用

Computers, Materials & Continua 2022年第12期73卷 6461-6477页

作者： Siwar Ben Haj Hassine Saud SAlotaibi Hadeel Alsolai reem Alshahrani Lilia Kechiche Mrim M.Alnfiai Amira Sayed A.Aziz Manar Ahmed Hamza Department of Computer Science College of Science&Art at MahayilKing Khalid UniversitySaudi Arabia Department of Information Systems College of Computing and Information SystemUmm Al-Qura UniversitySaudi Arabia Department of Information Systems College of Computer and Information SciencesPrincess Nourah Bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Computer Science College of Computers and Information TechnologyTaif UniversityP.O.Box 11099Taif21944Saudi Arabia Department of Sciences and Technology Taif UniversityTaif P.O.Box 11099Taif21944Saudi Arabia Department of Information Technology College of Computers and Information TechnologyTaif UniversityTaif P.O.Box 11099Taif21944Saudi Arabia Department of Digital Media Faculty of Computers and Information TechnologyFuture University in EgyptNew Cairo11835Egypt Department of Computer and Self Development Preparatory Year DeanshipPrince Sattam bin Abdulaziz UniversityAlKharjSaudi Arabia

Nowadays,vehicular ad hoc networks(VANET)turn out to be a core portion of intelligent transportation systems(ITSs),that mainly focus on achieving continual Internet connectivity amongst vehicles on the *** VANET was utilized to enhance driving safety and build an ITS in modern *** safety is a main portion of VANET,the privacy and security of these messages should be *** this aspect,this article presents a blockchain with sunflower optimization enabled route planning scheme(BCSFO-RPS)for secure *** presented BCSFO-RPSmodel focuses on the identification of routes in such a way that vehicular communication is *** addition,the BCSFO-RPS model employs SFO algorithm with a fitness function for effectual identification of ***,the proposed BCSFO-RPS model derives an intrusion detection system(IDS)encompassing two processes namely feature selection and *** detect intrusions,correlation based feature selection(CFS)and kernel extreme machine learning(KELM)classifier is *** performance of the BCSFO-RPS model is tested using a series of experiments and the results reported the enhancements of the BCSFO-RPS model over other approaches with maximum accuracy of 98.70%.

关键词： VANET sunflower optimization machine learning blockchain intrusion detection

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：