检索结果-南通市图书馆

Novel Analysis of Two Kinds Hybrid Models in Ferro Martial Inserting Variable Lorentz Force Past a Heated Disk:An Implementation of Finite Element Method

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Computer Modeling in Engineering & Sciences 2023年第5期135卷 1393-1411页

作者： Enran Hou Umar nazir Samaira Naz Muhammad Sohail Muhammad Nadeem Jung Rye Lee Choonkil Park Ahmed MGalal College of Mathematics Huaibei Normal UniversityHuaibei235000China Department of Applied Mathematics and Statistics Institute of Space TechnologyP.O.Box 2750Islamabad44000Pakistan Department of Mathematics Government College University FaisalabadFaisalabad38000Pakistan Department of Mathematics Khwaja Fareed University of Engineering&Information TechnologyRahim Yar Khan64200Pakistan School of Mathematics and Statistics Qujing Normal UniersityQujing655011China Department of Data Science Daejin UniversityKyunggi11159Korea Research Institute for Natural Sciences Hanyang UniversitySeoul04763Korea Mechanical Engineering Department College of EngineeringPrince Sattam Bin Abdulaziz UniversityWadi Addawaser11991Saudi Arabia Production Engineering and Mechanical Design Department Faculty of EngineeringMansoura UniversityMansouraP.O 35516Egypt

In this article,the rheology of Ferro-fluid over an axisymmetric heated disc with a variable magnetic field by considering the dispersion of hybrid nanoparticles is *** flow is assumed to be produced by the stretching of a rotating heated *** contribution of variable thermophysical properties is taken to explore themomentum,mass and thermal *** concept of boundary layermechanismis engaged to reduce the complex problem into a simpler one in the form of coupled partial differential equations *** complex coupled PDEs are converted into highly nonlinear coupled ordinary differential equations system(ODEs)and the resulting nonlinear flow problem is handled *** solution is obtained via finite element procedure(FEP)and convergence is established by conducting the grid-independent *** solution of converted dimensionless problem containing fluid velocity,temperature and concentration field is plotted against numerous involved emerging parameters and their impact is *** the obtained solution,it is monitored that higher values of magnetic parameter retard the fluid flow and escalating values of Eckert number results in to enhance temperature ***-fluid flow and heat energy for the case of the Yamada Ota hybrid model are higher than for the case of the Hamilton Crosser hybrid *** a model is applicable to the printing process,electronic devices,temperature measurements,engineering process and food-making *** amount of mass species is reduced *** impacts of chemical reaction and Schmidt parameter.

关键词： Ferro-fluid non-constant magnetic field heated disc thermal properties of nanoparticles hybrid correlations among nanoparticles

LR(K) Parser Construction Using Bottom-up Formal Analysis

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Software Engineering and Applications 2012年第1期5卷 21-28页

作者： nazir Ahmad Zafar 不详

Design and construction of an error-free compiler is a difficult and challenging process. The main functionality of a compiler is to translate a source code to an executable machine code correctly and efficiently. In formal verification of software, semantics of a language has more meanings than the syntax. It means source program verification does not give guarantee the generated code is correct. This is because the compiler may lead to an incorrect target program due to bugs in itself. It means verification of a compiler is much more important than verification of a source program. In this paper, we present a new approach by linking context-free grammar and Z notation to construct LR(K) parser. This has several advantages because correctness of the compiler depends on describing rules that must be written in formal languages. First, we have defined grammar then language derivation procedure is given using right-most derivations. Verification of a given language is done by recursive procedures based on the words. Ambiguity of a language is checked and verified. The specification is analyzed and validated using Z/Eves tool. Formal proofs are presented using powerful techniques of reduction and rewriting available in Z/Eves.

关键词： Compiler Construction LR(K) Parser Context-Free Grammar Z Specification Correctness Verification

A Novel Review on Security and Routing Protocols in MANET

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Communications and Network 2016年第4期8卷 205-218页

作者： Muhammad Kashif nazir Rameez U. Rehman Atif nazir Department of Computer Science National Textile University Faisalabad Pakistan

The origin of Mobile ad hoc network (MANET) was started in 1970 as packet radio network (PRNET), later on different researches were made on it in different ages. MANET works under no fixed infrastructure in which every node works likes a router that stores and forwards packet to final destination. Due to its dynamic topology, MANET can be created anywhere, anytime. As there are limited resources in MANET so it faces many problems such as security, limited bandwidth, range and power constraints. Due to this, many new routing protocols are proposed. This article examines different techniques to manage congestion control, security issues, different layers attacks, routing protocols and challenges that are faced by MANET.

关键词： Mobile Ad Hoc Networks MANET Security Attacks Routing Protocols

Gastric Tract Disease Recognition Using Optimized Deep Learning Features

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2021年第8期68卷 2041-2056页

作者： Zainab Nayyar Muhammad Attique Khan Musaed Alhussein Muhammad nazir Khursheed Aurangzeb Yunyoung Nam Seifedine Kadry Syed Irtaza Haider Department of Computer Science HITEC UniversityTaxila47040Pakistan Department of Computer Engineering College of Computer and Information SciencesKing Saud UniversityRiyadh11543Saudi Arabia Department of Computer Science and Engineering Soonchunhyang UniversityAsanKorea Department of Mathematics and Computer Science Faculty of ScienceBeirut Arab UniversityBeirutLebanon

Artificial intelligence aids for healthcare have received a great deal of *** one million patients with gastrointestinal diseases have been diagnosed via wireless capsule endoscopy(WCE).Early diagnosis facilitates appropriate treatment and saves *** learning-based techniques have been used to identify gastrointestinal ulcers,bleeding sites,and ***,small lesions may be *** developed a deep learning-based best-feature method to classify various stomach diseases evident in WCE ***,we use hybrid contrast enhancement to distinguish diseased from normal ***,a pretrained model is fine-tuned,and further training is done via transfer *** features are extracted from the last two layers and fused using a vector length-based *** improve the genetic algorithm using a fitness function and kurtosis to select optimal features that are graded by a *** evaluate a database containing 24,000 WCE images of ulcers,bleeding sites,polyps,and healthy *** cubic support vector machine classifier was optimal;the average accuracy was 99%.

关键词： Stomach cancer contrast enhancement deep learning optimization features fusion

3D Kronecker Convolutional Feature Pyramid for Brain Tumor Semantic Segmentation in MR Imaging

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2023年第9期76卷 2861-2877页

作者： Kainat nazir Tahir Mustafa Madni Uzair Iqbal Janjua Umer Javed Muhammad Attique Khan Usman Tariq Jae-Hyuk Cha Medical Imaging and Diagnostics Lab NCAIDepartment of Computer ScienceCOMSATS University IslamabadIslamabad44000Pakistan Department of Electrical and Computer Engineering COMSATS University IslamabadWah CampusWahPakistan Department of Computer Science HITEC UniversityTaxilaPakistan Department of Management Information Systems College of Business AdministrationPrince Sattam Bin Abdulaziz UniversityAl-Kharj16273Saudi Arabia Department of Computer Science Hanyang UniversitySeoul04763Korea

Brain tumor significantly impacts the quality of life and changes everything for a patient and their loved *** a brain tumor usually begins with magnetic resonance imaging(MRI).The manual brain tumor diagnosis from the MRO images always requires an expert ***,this process is time-consuming and ***,a computerized technique is required for brain tumor detection in MRI *** the MRI,a novel mechanism of the three-dimensional(3D)Kronecker convolution feature pyramid(KCFP)is used to segment brain tumors,resolving the pixel loss and weak processing of multi-scale lesions.A single dilation rate was replaced with the 3D Kronecker convolution,while local feature learning was performed using the 3D Feature Selection(3DFSC).A 3D KCFP was added at the end of 3DFSC to resolve weak processing of multi-scale lesions,yielding efficient segmentation of brain tumors of different sizes.A 3D connected component analysis with a global threshold was used as a post-processing *** standard Multimodal Brain Tumor Segmentation 2020 dataset was used for model *** 3D KCFP model performed exceptionally well compared to other benchmark schemes with a dice similarity coefficient of 0.90,0.80,and 0.84 for the whole tumor,enhancing tumor,and tumor core,***,the proposed model was efficient in brain tumor segmentation,which may facilitate medical practitioners for an appropriate diagnosis for future treatment planning.

关键词： Brain tumor segmentation connect component analysis deep learning kronecker convolution magnetic resonance imaging

Breaking the symmetry of colloidal 2D nanoplatelets:Twist induced quantum coupling

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Nano Research 2023年第7期16卷 10522-10529页

作者： Zahid nazir Yingzhuo Lun Jialu Li Gaoling Yang Mingrui Liu Shuqi Li Gang Tang Guofeng Zhang Jiawang Hong Liantuan Xiao Haizheng Zhong MIIT Key Laboratory for Low-dimensional Quantum Structure and Devices School of Materials Science&EngineeringBeijing Institute of TechnologyBeijing 100081China MIIT Key Laboratory for Low-dimensional Quantum Structure and Devices School of Optics and PhotonicsBeijing Institute of TechnologyBeijing 100081China School of Aerospace Engineering Beijing Institute of TechnologyBeijing 100081China State Key Laboratory of Quantum Optics and Quantum Optics Devices Institute of Laser SpectroscopyCollaborative Innovation Center of Extreme OpticsShanxi UniversityTaiyuan 030006China Advanced Research Institute of Multidisciplinary Science Beijing Institute of TechnologyBeijing 100081China

Twist provides a new degree of freedom for nanomaterial modifications,which can provide novel physical ***,colloidal two-dimensional(2D)twisted CdSe nanoplatelets(NPLs)are successfully fabricated and their morphology can change from totally flat to edge-twisted,and then to middle-twisted with prolonged reaction *** combining experiments and corresponding theoretical analyses,we have established the length-dependent relationships between the surface energy and twist,with a critical lateral dimension of 30 *** found that the defects formed during the synthesis process play a vital role in generating intense stress that develops a strong torsion tensor around the edges,resulting in edge-twisted and final middletwisted ***,due to the geometric asymmetry of twisted NPLs,the dissymmetry factor of single particle NPLs can reach up to ***,quantum coupling occurs in middle-twisted NPLs by twisting one parent NPL into two daughter NPLs,which are structurally and electronically *** work not only further deepens our understanding of the twist mechanism of 2D NPLs during colloidal synthesis,but also opens a pathway for applications using twistronics and quantum technology.

关键词： nanoplatelets CdSe twist circular dichroism quantum coupling

A Healthcare System for COVID19 Classification Using Multi-Type Classical Features Selection

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2023年第1期74卷 1393-1412页

作者： Muhammad Attique Khan Majed Alhaisoni Muhammad nazir Abdullah Alqahtani Adel Binbusayyis Shtwai Alsubai Yunyoung Nam Byeong-Gwon Kang Department of Computer Science HITEC UniversityTaxilaPakistan Computer Sciences Department College of Computer and Information SciencesPrincess Nourah Bint Abdulrahman University(PNU)P.O.Box 84428Riyadh11671Saudi Arabia College of Computer Engineering and Sciences Prince Sattam bin Abdulaziz UniversityAl-KharjSaudi Arabia Department of ICT Convergence Soonchunhyang UniversityAsan31538Korea

The coronavirus(COVID19),also known as the novel coronavirus,first appeared in December 2019 in Wuhan,*** that,it quickly spread throughout the world and became a *** has significantly impacted our everyday lives,the national and international economies,and public ***,early diagnosis is critical for prompt treatment and reducing trauma in the healthcare *** radiologists primarily use chest X-rays,and computerized tomography(CT)scans to test for pneumonia *** used Chest CT scans to predict COVID19 pneumonia and healthy scans in this *** proposed a joint framework for prediction based on classical feature fusion and PSO-based *** begin by extracting standard features such as discrete wavelet transforms(DWT),discrete cosine transforms(DCT),and dominant rotated local binary patterns(DRLBP).In addition,we extracted Shanon Entropy and Kurtosis *** the following step,a Max-Covariance-based maximization approach for feature fusion is *** fused features are optimized in the preliminary phase using Particle Swarm Optimization(PSO)and the ELM fitness *** final prediction,PSO is used to obtain robust features,which are then implanted in a Support Vector Data Description(SVDD)*** experiment is carried out using available COVID19 Chest CT Scans and scans from healthy *** images are from the Radiopaedia *** the proposed scheme,the fusion and selection process accuracy is 88.6%and 93.1%,respectively.A detailed analysis is conducted,which supports the proposed system efficiency.

关键词： COVID19 features extraction information fusion optimization prediction

Investigation of dimensionality in superconducting NbN thin film samples with different thicknesses and NbTiN meander nanowire samples by measuring the upper critical field

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Physics B 2020年第8期29卷 457-464页

作者： Mudassar nazir Xiaoyan Yang Huanfang Tian Pengtao Song Zhan Wang Zhongcheng Xiang Xueyi Guo Yirong Jin Lixing You Dongning Zheng Institute of Physics and Beijing National Laboratory for Condensed Matter Physics Chinese Academy of SciencesBeijing 100190China University of Chinese Academy of Sciences Beijing 100190China State Key Laboratory of Functional Materials for Informatics Shanghai Institute of Microsystem and Information Technology and the Center for Excellence in Superconducting ElectronicsChinese Academy of SciencesShanghai 200050China Songshan Lake Materials Laboratory Dongguan 523808China

We study superconducting properties of NbN thin film samples with different thicknesses and an ultra-thin NbTiN meander nanowire *** the ultra-thin samples,we found that the temperature dependence of upper critical field(Hc2)in parallel to surface orientation shows bending curvature close to critical temperature Tc,suggesting a two-dimensional(2D)nature of the *** 2D behavior is further supported by the angular dependence measurements of Hc2 for the thinnest *** temperature dependence of parallel upper critical field for the thick films could be described by a model based on the anisotropic Ginzburg-Landau ***,the results measured in the field perpendicular to the film surface orientation show a similar bending curvature but in a much narrow temperature region close to Tc for the ultra-thin *** suggest that this feature could be due to suppression of pair-breaking caused by local *** further propose the temperature dependence of perpendicular Hc2 as a measure of uniformity of superconducting ultra-thin *** the thick samples,we find that Hc2 shows maxima for both parallel and perpendicular *** Hc2 peak for the perpendicular orientation is believed to be due to the columnar structure formed during the growth of the thick *** presence of columnar structure is confirmed by transmission electron microscopy(TEM).In addition,we have measured the angular dependence of magneto-resistance,and the results are consistent with the Hc2 data.

关键词： NbN micro-bridges and NbTiN meander nanowire upper critical field low dimensionality anisotropic magneto-resistance

Model Analysis of Equivalence Classes in UML Events Relations

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Journal of Software Engineering and Applications 2013年第12期6卷 653-661页

作者： nazir Ahmad Zafar Department of Computer Science King Faisal University Hofuf KSA

Unified Modeling Language (UML) has become a de facto standard for design, specification and modeling of object oriented software systems. UML structures being graphical in nature lack defining semantics of the systems and are prone to causing errors. Formal methods are proved to be a powerful tool for requirement analysis, design and specification of software systems. Hence, linking UML with formal approaches will enhance modeling power of software systems. In this paper, an approach is developed by integrating UML and Z notation focusing on equivalence relation of the state diagrams. The Z is used because it is based on the first order predicate logic having rigorous computer tool support. The reflexivity, symmetry and transitivity properties, being important at design level, are identified and described. It is believed that this approach will be effective and useful at both academics and industrial level. The need, reasoning and benefits of the integrated approach are discussed. The resultant formal models are analyzed and validated using Z/Eves tool.

关键词： UML State Diagrams Equivalence Relations Formal Methods Z notation Validation and Verification