检索结果-南通市图书馆

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

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Experimental validation of double-fed induction generator in oscillating water column using circulatory system-based optimization

引用

Clean Energy 2024年第2期8卷 127-143页

作者： Basem E.Elnaghi Ahmed M.Ismaiel fathy El Sayed Abdel-Kader Reham H.Mohammed M.N.Abelwhab Electrical Power and Machine Department Suez Canal UniversityIsmailiaEgypt Electrical Power and Machine Department Menoufia UniversityMenoufiaEgypt Computer and Control Department Suez Canal UniversityIsmailiaEgypt

This paper validates the optimal operation for a grid-connected double-fed induction generator(DFIG)in an oscillating water column power plant(OWCPP).This study presents a novel optimization technique called the circulatory system-based optimization(CSBO)approach to develop six adaptive fuzzy logic controllers(AFLCs)with 30 parameters and compare them to chaotic-billiards optimization(C-BO)and genetic algorithm(GA).The proposed controller is also compared with a proportional-integral differential(PID)controller based on a self-adaptive global-best harmony search(SGHS).CSBO-based AFLCs are fully investigated under different scenarios and experimented with using a real-time interface *** results of using CSBO-AFLCs revealed a fast time response,fast convergence,less overshoot and minimal error compared with those achieved with C-BO-AFLC,SGHS-PID and GA-AFLC during different case *** CSBO-based AFLCs ensure maximum power from the DFIG in an OWCPP and enhance dynamic response with very low *** results show that the CSBO shows better power tracking by 25%as compared with C-BO,by 45%when compared with the GA and by 56%when compared with ***,the integral absolute errors of six controllers are investigated to demonstrate the feasibility of *** root mean square of the errors of six controllers using CSBO is improved by 68.27%when compared with GA,by 22.57%when compared with C-BO and by 38.42%when compared with *** indicators demonstrate the feasibility of CSBO when compared with other algorithms with the same OWCPP.

关键词： circulatory system-based optimization approach adaptive fuzzy logic controller grid-tied oscillating water column power plant maximum power point tracking

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

A new technique of monsplasty as an adjunctive procedure in cases of abdominoplasty:A prospective clinical trial

引用

Chinese Journal of Plastic and Reconstructive Surgery 2024年第3期6卷 124-129页

作者： Laila Ahmed Aboul Nasr Sherief Zamer Ahmed fathy Elsayed Mohamed Hatem Elsahar Department of Plastic Surgery Faculty of Medicine Kasr Al-AinyCairo UniversityCairo11562Egypt

Background:No standard monsplasty technique has existed until *** various monsplasty methods have been described,they exhibit high complication rates with sparse postoperative *** that used pubic suspension techniques did not describe exact anatomical landmarks for the mons *** study aimed to improve the aesthetic and functional appearance of the pubic region with long-term results for all grades of pubic ptosis or bulging with abdominoplasty and provide exact anatomical points to anchor the mons to the rectus ***:This non-randomized prospective clinical trial included 30 patients with various degrees of abdominal wall laxity between December 2017 and September *** surgical procedure was performed for female patients with pendulous abdomen,pubic ptosis or bulging,body mass index≤35 kg/m^(2),and age 18–60 *** patients were followed for up to one year;patient satisfaction was assessed before and after surgery regarding aesthetic results and impact on outfits,hygiene,and sexual ***:The marginal homogeneity test revealed a statistically significant patient satisfaction rate regarding outfits,sexual function,hygiene,and *** postoperative complications,seroma(one case)was managed by aspiration,and one case of wound dehiscence was managed conservatively with ***:This study recommends a quick and reproducible monsplasty technique with a low complication rate,a technique that helps determine specific anatomical landmarks for anchoring the mons to the rectus *** this technique with abdominal contouring is advisable for optimal aesthetic results and maintained lymphatic drainage in the pubic region.

关键词： Abdominoplasty Mons ptosis Pubic suspension Skin redundancy

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Hydraulic jump basins with wedge-shaped baffles

引用

Journal of Zhejiang University-Science A(Applied Physics & Engineering) 2012年第7期13卷 519-525页

作者： Ashraf fathy ELLAYN Institute of Port Coastal and Offshore Engineering Zhejiang University

This laboratory study deals with the hydraulic jump properties for an artificially roughened bed with wedge-shaped baffle blocks. The experiments were conducted for both smooth and rough beds with a Froude number in the range of 3.06≤F1≤10.95 and a relative bed roughness ranging 0.22≤KR≤1.4. The data from this study were compared with those of rectangular baffle blocks. New experimental formulae were developed for determining the sequent depth ratio and the hydraulic jump length in terms of the inflow Froude number and relative bed roughness. Bélanger's jump equation of a rectangular channel was extended to account for the implications of the bed shear stress coefficient attributable to channel bed roughness. It was found that, in comparison with the smooth bed, the wedge-shaped bed roughness reduced the sequent depth of the hydraulic jump by approximately 16.5% to 30% and the hydraulic jump length by approximately 30% to 53%.

关键词： Energy dissipater Hydraulic jump Stilling basins Wedge-shaped bed roughness

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Use of Basal Serum Testosterone Level as Predictor for Poor Ovarian Response in Women with Unexplained Infertility Undergoing <i>In Vitro</i>Fertilization Cycle: Prospective Study

引用

Open Journal of Obstetrics and Gynecology 2018年第14期8卷 1520-1531页

作者： Waleed M. Khalaf hayam.fathy Sarah Safwat Faculty of Medicine Ain Shams University Cairo Egypt

Background: Delayed pregnancy in women and marked increase in the numbers of older women who fail to respond to ovarian stimulation had been a significant issue. This study aims to assess the value of basal serum testosterone level as a predictor of ovarian response for induction of ovulation in women with unexplained infertility undergoing IVF (in vitro fertilization) cycle. Patients and Methods: A prospective study was conducted in Ain Shams University Maternity hospital Infertility Center during a period of time from October 2016 to June 2017. This study recruited 89 women. On day 2 or 3 of a spontaneous menstrual cycle of the included women within 3 months before fresh IVF cycle, basal hormonal (FSH, LH, estradiol, total testosterone) concentrations, AFC (antral follicle count) were performed. Using the Long-protocol for induction of ovulation, serial monitoring of ovarian response was assessed by transvaginal ultrasound. When the expected ovarian response was reached (at least three oocytes ≥ 17 mm), we gave trigger dose of HCG. Ultrasound guided oocyte aspiration was performed 34 - 36 hours later. Two to three days after oocyte aspiration, we transferred the embryos according to the patient’s age and the condition of embryos available. Biochemical pregnancy was considered if serum B-hCG test was positive at day 14 from embryo transfer, where all the data were correlated with serum testosterone level and ovarian response as 1 ry outcome. Results: There were significant positive correlations between testosterone and LH, Prolactin, AFC, Number of oocytes & Number of Embryos (0.014, 0.032, 0.023, 0.004, 0.033, p 0.001 respectively). Poor responders versus good responders as regards testosterone level (0.81 ± 0.47 versus 1.08 ± 0.45) Fertilized & pregnant cases had significantly higher testosterone than non-fertilized & non pregnant had (1.20 ± 0.45, 0.92 ± 0.47 p value 0.035, 0.021 respectively). Yet, testosterone had significant low diagnostic performance in pred

关键词： Testosterone Induction Ovarian Reserve Pregnancy

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Effects of variable properties on MHD heat and mass transfer flow near a stagnation point towards a stretching sheet in a porous medium with thermal radiation

引用

Chinese Physics B 2012年第5期21卷 353-363页

作者： A.M.Salem Rania fathy Department of Basic Science Faculty of Computer&InformaticsSuez Canal University Department of Mathematics Faculty of ScienceZagazig University

The effect of variable viscosity and thermal conductivity on steady magnetohydrodynamic（MHD） heat and mass transfer flow of viscous and incompressible fluid near a stagnation point towards a permeable stretching sheet embedded in a porous medium are presented,taking into account thermal radiation and internal heat genberation/*** stretching velocity and the ambient fluid velocity are assumed to vary linearly with the distance from the stagnation *** Rosseland approximation is used to describe the radiative heat flux in the energy *** governing fundamental equations are first transformed into a system of ordinary differential equations using a scaling group of transformations and are solved numerically by using the fourth-order Rung-Kutta method with the shooting technique.A comparison with previously published work has been carried out and the results are found to be in good *** results are analyzed for the effect of different physical parameters,such as the variable viscosity and thermal conductivity,the ratio of free stream velocity to stretching velocity,the magnetic field,the porosity,the radiation and suction/injection on the flow,and the heat and mass transfer *** results indicate that the inclusion of variable viscosity and thermal conductivity into the fluids of light and medium molecular weight is able to change the boundary-layer behavior for all values of the velocity ratio parameter λ except for λ = *** addition,the imposition of fluid suction increases both the rate of heat and mass transfer,whereas fluid injection shows the opposite effect.

关键词： variable viscosity variable thermal conductivity stagnation point

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Performance of beacon safety message dissemination in Vehicular Ad hoc NETworks (VANETs)

引用

Journal of Zhejiang University-Science A(Applied Physics & Engineering) 2007年第12期8卷 1990-2004页

作者： YOUSEFI Saleh fathy Mahmood BENSLIMANE Abderrahim Computer Engineering Faculty Iran University of Science and TechnologyNarmak Tehran 16846-13114 Tehran Iran Laboratoire d'Informatique d'Avignon LIA 339 chemin des Meinajaries BP 1228-84911 Avignon cedex 9 France

Currently, there is a growing belief that putting an IEEE 802.11-like radio into road vehicles can help the drivers to travel more safely. Message dissemination protocols are primordial for safety vehicular applications. There are two types of safety messages which may be exchanged between vehicles: alarm and beacon. In this paper we investigate the feasibility of deploying safety applications based on beacon message dissemination through extensive simulation study and pay special attention to the safety requirements. Vehicles are supposed to issue these messages periodically to announce to other vehicles their current situation and use received messages for preventing possible unsafe situations. We evaluate the performance of a single-hop dissemination protocol while taking into account the quality of service (QoS) metrics like delivery rate and delay. We realize that reliability is the main concern in beacon message dissemination. Thus, a new metric named effective range is defined which gives us more accurate facility for evaluating QoS in safety applications specifically. Then, in order to improve the performance, the effects of three parameters including vehicle's transmission range, message transmission's interval time and message payload size are studied. Due to special characteristics of the safety applications, we model the relationship between communication-level QoS and application-level QoS and evaluate them for different classes of safety applications. As a conclusion, the current technology of IEEE 802.11 MAC layer has still some challenges for automatic safety applications but it can provide acceptable QoS to driver assistance safety applications.

关键词： Safety applications Inter-vehicle communications Vehicular Ad hoc NETworks (VANETs) Application level QoS Effective range

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Hydromagnetic flow of a Cu water nanofluid past a moving wedge with viscous dissipation

引用

Chinese Physics B 2014年第4期23卷 365-372页

作者： A.M.Salem Galal Ismail Rania fathy Department of Mathematics Faculty of Science and Arts Qassim University Department of Basic Science Faculty of Computers and Informatics Suez Canal University Department of Mathematics Faculty of Science Zagazig University

A numerical study is performed to investigate the flow and heat transfer at the surface of a permeable wedge immersed in a copper （Cu）-water-based nanofluid in the presence of magnetic field and viscous dissipation using a nanofluid model proposed by Tiwari and Das （Tiwari I K and Das M K 2007 Int. J. HeatMass Transfer 50 2002）. A similarity solution for the transformed governing equation is obtained, and those equations are solved by employing a numerical shooting technique with a fourth-order Runge-Kutta integration scheme. A comparison with previously published work is carried out and shows that they are in good agreement with each other. The effects of velocity ratio parameter ~, solid volume fraction tp, magnetic field M, viscous dissipation Ec, and suction parameter Fw on the fluid flow and heat transfer characteristics are discussed. The unique and dual solutions for self-similar equations of the flow and heat transfer are analyzed numerically. Moreover, the range of the velocity ratio parameter for which the solution exists increases in the presence of magnetic field and suction parameter.

关键词： nanofluid dual solution magnetic field viscous dissipation

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

An Intelligent Harmonic Synthesis Technique for Air-Gap Eccentricity Fault Diagnosis in Induction Motors

引用

Chinese Journal of Mechanical Engineering 2017年第6期30卷 1296-1304页

作者： De Z.Li Wilson Wang fathy Ismail Department of Mechanical Engineering Lakehead University Department of Mechanical & Mechatronics Engineering University of Waterloo

Induction motors （IMs） are commonly used in various industrial applications. To improve energy con- sumption efficiency, a reliable IM health condition moni- toring system is very useful to detect IM fault at its earliest stage to prevent operation degradation, and malfunction of IMs. An intelligent harmonic synthesis technique is pro- posed in this work to conduct incipient air-gap eccentricity fault detection in IMs. The fault harmonic series are syn- thesized to enhance fault features. Fault related local spectra are processed to derive fault indicators for IM air- gap eccentricity diagnosis. The effectiveness of the pro- posed harmonic synthesis technique is examined experi- mentally by IMs with static air-gap eccentricity and dynamic air-gap eccentricity states under different load conditions. Test results show that the developed harmonic synthesis technique can extract fault features effectively for initial IM air-gap eccentricity fault detection.

关键词： Air-gap eccentricity Current signal Faultdetection Induction motor

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Planning VANET infrastructures to improve safety awareness in curved roads

引用

Journal of Zhejiang University-Science C(Computers and Electronics) 2012年第12期13卷 918-928页

作者： Hossein GHAFFARIAN Mohsen SORYANI Mahmood fathy School of Computer Engineering Iran University of Science and TechnologyNarmakTehranP.O.Box 13114-16846Iran

We analyze the effect of using a vehicular ad-hoc network(VANET) on accident *** shown in our analysis,a higher frequency of safety packets can prevent accidents,even for high speed vehicles and dense *** overcome connectivity problems in blind crossing situations,a genetic algorithm(GA) based method is presented for VANET infrastructure *** proposed approach tries to remove coverage sight holes in low sight distance cases in a traveling path in the *** such places,drivers might not have enough sight for proper action and also environmental obstacles prevent direct communication between ***,curved roads affect *** results show that the density of vehicles is increased right before a curve and is decreased after ***,in this kind of road,a high frequency of packet generation may not act well in accident *** method proposed in this paper tries to cover such places considering the lowest safety distances according to traffic *** this,the road must be covered directly by ***,the problem is to find the best number and also positions of road side *** GA,the algorithm minimizes the summation of total uncovered and overlapped points in the roads which are covered by more than one *** on a real road map confirmed the capabilities of the proposed approach.

关键词： VANET Infrastructure Traffic theory Minimum safety requirement Genetic algorithm

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：