检索结果-南通市图书馆

Deep learning based water leakage detection for shield tunnel lining

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Structural and Civil Engineering 2024年第6期18卷 887-898页

作者： Shichang LIU Xu XU Gwanggil JEON Junxin CHEN Ben-Guo HE College of Computer Science Sichuan UniversityChengdu 610065China School of Computer Science and Engineering Northeastern UniversityShenyang 110004China department of embedded systems Engineering Incheon National UniversityIncheon 22012Korea School of Software Dalian University of TechnologyDalian 116621China Key Laboratory of Ministry of Education on Safe Mining of Deep Metal Mines Northeastern UniversityShenyang 110819China

Shield tunnel lining is prone to water leakage,which may further bring about corrosion and structural damage to the walls,potentially leading to dangerous *** avoid tedious and inefficient manual inspection,many projects use artificial intelligence(Al)to detect cracks and water leakage.A novel method for water leakage inspection in shield tunnel lining that utilizes deep learning is introduced in this *** proposal includes a ConvNeXt-S backbone,deconvolutional-feature pyramid network(D-FPN),spatial attention module(SPAM).and a detection *** can extract representative features of leaking areas to aid inspection *** further improve the model's robustness,we innovatively use an inversed low-light enhancement method to convert normally illuminated images to low light ones and introduce them into the training *** experiments are performed,achieving the average precision(AP)score of 56.8%,which outperforms previous work by a margin of 5.7%.Visualization illustrations also support our method's practical effectiveness.

关键词： water leakage detection deep learning deconvolutional-feature pyramid spatial attention

Analysis of the acoustoelectric response of SAW gas sensors using a COM model

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Microsystems & Nanoengineering 2024年第3期10卷 87-96页

作者： Yang Yuan Tao Yang Xi Chen Linglang Yu Xiaoxiao Hou Guangzu Zhang Wen Dong Zixiao Lu Honglang Li Leonhard Reindl Wei Luo School of Integrated Circuits Huazhong University of Science and Technology430074 WuhanPeople’s Republic of China CAS Center for Excellence in Nanoscience National Center for Nanoscience and Technology100190 BeijingPeople’s Republic of China department of Microsystems Engineering Laboratory for Electrical Instrumentation and Embedded SystemsUniversity of Freiburg79110 FreiburgGermany Research Institute of Huazhong University of Science and Technology in Shenzhen 518057 ShenzhenPeople’s Republic of China

Surface acoustic wave(SAW)gas sensors based on the acoustoelectric effect exhibit wide application prospects for in situ gas ***,establishing accurate models for calculating the scattering parameters of SAW gas sensors remains a ***,we present a coupling of modes(COM)model that includes the acoustoelectric effect and specifically explains the nonmonotonic variation in the center frequency with respect to the sensing film’s sheet *** sensing parameters of the gas sensors,including the center frequency,insertion loss,and phase,were experimentally compared for accuracy and ***,the frequency of the phase extremum(FPE)shift was determined to vary monotonically,and the range of selectable test points was wide,making the FPE an appropriate response parameter for leveraging in SAW gas *** simulation results of the COM model were highly consistent with the experimental *** study is proposed to provide theoretical guidance for the future development of gas SAW sensors.

关键词： COM SAW establishing

Machine learning algorithm partially reconfigured on FPGA for an image edge detection system

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Electronic Science and Technology 2024年第2期22卷 48-68页

作者： Gracieth Cavalcanti Batista Johnny Oberg Osamu Saotome Haroldo F.de Campos Velho Elcio Hideiti Shiguemori Ingemar Soderquist Division of Electronic and embedded systems KTH Royal Institute of TechnologyStockholm 16440Sweden Electronic Engineering Division Aeronautics Institute of TechnologySao Josédos Campos SP 12228-900Brazil Laboratory of Applied Computing and Mathematics National Institute for Space ResearchSao Josédos Campos SP 12227-900Brazil department of C4ISR Institute of Advanced StudiesSao Josédos Campos SP 12228-001Brazil Saab AB Linkoping 58188Sweden

Unmanned aerial vehicles(UAVs)have been widely used in military,medical,wireless communications,aerial surveillance,*** key topic involving UAVs is pose estimation in autonomous navigation.A standard procedure for this process is to combine inertial navigation system sensor information with the global navigation satellite system(GNSS)***,some factors can interfere with the GNSS signal,such as ionospheric scintillation,jamming,or *** alternative method to avoid using the GNSS signal is to apply an image processing approach by matching UAV images with georeferenced *** a high effort is required for image edge *** a support vector regression(SVR)model is proposed to reduce this computational load and processing *** dynamic partial reconfiguration(DPR)of part of the SVR datapath is implemented to accelerate the process,reduce the area,and analyze its granularity by increasing the grain size of the reconfigurable *** show that the implementation in hardware is 68 times faster than that in *** architecture with DPR also facilitates the low power consumption of 4 mW,leading to a reduction of 57%than that without *** is also the lowest power consumption in current machine learning hardware ***,the circuitry area is 41 times *** with Gaussian kernel shows a success rate of 99.18%and minimum square error of 0.0146 for testing with the planning *** system is useful for adaptive applications where the user/designer can modify/reconfigure the hardware layout during its application,thus contributing to lower power consumption,smaller hardware area,and shorter execution time.

关键词： Dynamic partial reconfiguration(DPR) Field programmable gate array(FPGA)implementation Image edge detection Support vector regression(SVR) Unmanned aerial vehicle(UAV) pose estimation

Significant annealing-induced hardening effect in nanolaminate d-nanotwinne d(CrCoNi)_(97.4)Al_(0.8)Ti_(1.8)me dium-entropy alloy by severe cold rolling

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Materials Science & Technology 2024年第3期170卷 156-166页

作者： Shuqing Yuan Hui Fu Lei Qian Chi Fai Cheung Xu-Sheng Yang State Key Laboratory of Ultra-precision Machining Technology Department of Industrial and Systems EngineeringThe Hong Kong Polytechnic UniversityHung HomKowloonHong KongChina Hong Kong Polytechnic University Shenzhen Research Institute Shenzhen 518060China

Due to the easy coarsening caused by poor thermal stability,the verified annealing-induced hardening in nanograined metals can only maintain at a relatively low-temperature *** this study,a nanolam-inated(CrCoNi)_(97.4)Al_(0.8)Ti_(1.8)medium-entropy alloy with an average lamellae thickness of∼20 nm embedded by thinner nanotwins was fabricated by severe cold rolling to achieve superior thermal *** with the conventional nanotwinned CrCoNi with nanotwins inside ultra-fined grains,the hier-archical nanolaminated-nanotwinned(CrCoNi)_(97.4)Al_(0.8)Ti_(1.8) exhibits a significant annealing-induced hard-ening effect,i.e.,hardness increasing from∼250 HV in the original specimen to∼500 HV in the cold-rolled status and finally∼630 HV after annealing at 600℃for 1 *** microstructure characterizations reveal that the reduced dislocation density and formation of L1_(2)ordered domain are mainly responsible for such hardening effect,which is facilitated by the effectively suppressed coarsening with annealing temperature,i.e.,slow detwinning process and well-retained low-angle nanolamellar *** coarsening mechanisms from the cold-rolled nanolamellae to the fully recrystallized micro-equiaxed structures under the annealing temperatures ranging from 400 to 800℃ were also elucidated by atomic observations.

关键词： Annealing-induced hardening Thermal stability Nanolaminated-nanotwinned structure CrCoNi Detwinning Grain boundary migration

Secure Transmission of Compressed Medical Image Sequences on Communication Networks Using Motion Vector Watermarking

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2024年第3期78卷 3283-3301页

作者： Rafi Ullah Mohd Hilmi bin Hasan Sultan Daud Khan Mussadiq Abdul Rahim Computer and Information Sciences department Universiti Teknologi PETRONASBandar Seri Iskandar Perak32610Malaysia department of Computer Science National University of TechnologyIslamabad46000Pakistan Interdisciplinary Research Center for Intelligent Secure systems King Fahd University of Petroleum and MineralsDammam31261Saudi Arabia

Medical imaging plays a key role within modern hospital management systems for diagnostic *** methodologies are extensively employed to mitigate storage demands and enhance transmission speed,all while upholding image ***,an increasing number of hospitals are embracing cloud computing for patient data storage,necessitating meticulous scrutiny of server security and privacy ***,considering the widespread availability of multimedia tools,the preservation of digital data integrity surpasses the significance of compression *** response to this concern,we propose a secure storage and transmission solution for compressed medical image sequences,such as ultrasound images,utilizing a motion vector watermarking *** watermark is generated employing an error-correcting code known as Bose-Chaudhuri-Hocquenghem(BCH)and is subsequently embedded into the compressed sequence via block-based motion *** the process of watermark embedding,motion vectors are selected based on their magnitude and phase *** embedding watermarks,no specific spatial area,such as a region of interest(ROI),is used in the *** embedding of watermark bits is dependent on motion *** reversible watermarking allows the restoration of the original image sequences,we use the irreversible watermarking *** reason for this is that the use of reversible watermarks may impede the claims of ownership and legal *** restoration of original data or images may call into question ownership or other legal *** peak signal-to-noise ratio(PSNR)and structural similarity index(SSIM)serve as metrics for evaluating the watermarked image *** all images,the PSNR value exceeds 46 dB,and the SSIM value exceeds *** results substantiate the efficacy of the proposed technique in preserving data integrity.

关键词： Block matching algorithm(BMA) compression full-search algorithm motion vectors ultrasound image sequence watermarking

Small but mighty:Empowering sodium/potassium-ion battery performance with S-doped SnO_(2) quantum dots embedded in N,S codoped carbon fiber network

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Carbon Energy 2024年第5期6卷 186-200页

作者： Shengnan He Hui Wu Shuang Li Ke Liu Yaxiong Yang Hongge Pan Xuebin Yu Institute of Science and Technology for New Energy Xi'an Technological UniversityXi'anChina department of Materials Science Fudan UniversityShanghaiChina Wanxiang A123 systems Corporation HangzhouChina School of Material Science and Engineering Shanghai UniversityShanghaiChina

SnO_(2) has been extensively investigated as an anode material for sodium-ion batteries(SIBs)and potassium-ion batteries(PIBs)due to its high Na/K storage capacity,high abundance,and low ***,the sluggish reaction kinetics,low electronic conductivity,and large volume changes during charge and discharge hinder the practical applications of SnO_(2)-based electrodes for SIBs and *** rational structures with fast charge/ion transfer and robust stability is important to overcoming these ***,S-doped SnO_(2)(S-SnO_(2))quantum dots(QDs)(≈3 nm)encapsulated in an N,S codoped carbon fiber networks(S-SnO_(2)-CFN)are rationally fabricated using a sequential freeze-drying,calcination,and S-doping *** analysis and density functional theory calculations reveal that the integration of S-SnO_(2) QDs with N,S codoped carbon fiber network remarkably decreases the adsorption energies of Na/K atoms in the interlayer of SnO_(2)-CFN,and the S doping can increase the conductivity of SnO_(2),thereby enhancing the ion transfer *** synergistic interaction between S-SnO_(2) QDs and N,S codoped carbon fiber network results in a composite with fast Na+/K+storage and extraordinary long-term ***,the S-SnO_(2)-CFN delivers high rate capacities of 141.0 mAh g^(−1) at 20 A g^(−1) in SIBs and 102.8 mAh g^(−1) at 10 A g^(−1) in ***,it delivers ultra-stable sodium storage up to 10,000 cycles at 5 A g^(−1) and potassium storage up to 5000 cycles at 2 A g^(−1).This study provides insights into constructing metal oxide-based carbon fiber network structures for high-performance electrochemical energy storage and conversion devices.

关键词： carbon fiber network heteroatom doping potassium-ion battery sodium-ion battery S-SnO_(2)quantum dot

A Hybrid and Lightweight Device-to-Server Authentication Technique for the Internet of Things

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2024年第3期78卷 3805-3823页

作者： Shaha Al-Otaibi Rahim Khan Hashim Ali Aftab Ahmed Khan Amir Saeed Jehad Ali department of Information systems College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia department of Computer Science Abdul Wali Khan University MardanMardan23200Pakistan department of Computer Science and IT UET PeshawarJalozai Campus PeshawarPeshawar24240Pakistan department of AI Convergence Network Ajou UniversitySuwon16499South Korea

The Internet of Things(IoT)is a smart networking infrastructure of physical devices,i.e.,things,that are embedded with sensors,actuators,software,and other technologies,to connect and share data with the respective server *** IoTs are cornerstones in different application domains,the device’s authenticity,i.e.,of server(s)and ordinary devices,is the most crucial issue and must be resolved on a priority ***,various field-proven methodologies were presented to streamline the verification process of the communicating devices;however,location-aware authentication has not been reported as per our knowledge,which is a crucial metric,especially in scenarios where devices are *** paper presents a lightweight and location-aware device-to-server authentication technique where the device’s membership with the nearest server is subjected to its location information along with other ***,Media Access Control(MAC)address and Advance Encryption Scheme(AES)along with a secret shared key,i.e.,λ_(i) of 128 bits,have been utilized by Trusted Authority(TA)to generate MaskIDs,which are used instead of the original ID,for every device,i.e.,server and member,and are shared in the offline ***,TA shares a list of authentic devices,i.e.,server S_(j) and members C_(i),with every device in the IoT for the onward verification process,which is required to be executed before the initialization of the actual communication ***,every device should be located such that it lies within the coverage area of a server,and this location information is used in the authentication process.A thorough analytical analysis was carried out to check the susceptibility of the proposed and existing authentication approaches against well-known intruder attacks,i.e.,man-in-the-middle,masquerading,device,and server impersonations,etc.,especially in the IoT ***,proposed authentication and existing state-of-the-art approaches have been s

关键词： Internet of things authenticity security location communication

An evaluation framework for energy aware buildings using statistical model checking

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2012年第12期55卷 2694-2707页

作者： DAVID Alexandre LARSEN Kim G. MIKUIONIS Marius SKOU Arne Center for embedded Software systems Department of Computer ScienceAalborg University

Cyber-physical systems are to be found in numerous applications throughout *** principal barrier to develop trustworthy cyber-physical systems is the lack of expressive modelling and specification formalisms supported by efficient tools and *** overcome this barrier,we extend in this paper the modelling formalism of the tool UPPAAL-SMC to stochastic hybrid automata,thus providing the expressive power required for modelling complex cyber-physical *** application of Statistical Model Checking provides a highly scalable technique for analyzing performance properties of this formalisms.A particular kind of cyber-physical systems are Smart Grids which together with Intelligent,Energy Aware Buildings will play a major role in achieving an energy efficient society of the *** this paper we present a framework in UPPAAL-SMC for energy aware buildings allowing to evaluate the performance of proposed control strategies in terms of their induced comfort and energy profiles under varying environmental settings(***,user behavior etc.).To demonstrate the intended use and usefulness of our framework,we present an application to the Hybrid systems Verification Benchmark.

关键词： timed automata stochastic hybrid systems model checking statistical model checking performance evaluation energy consumption cyber physical systems smart grid energy aware buildings

Test Time Minimization for Hybrid BIST of Core-Based systems

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2006年第6期21卷 907-912页

作者： Gert Jervan Petru Eles Zebo Peng Raimund Ubar Maksim Jenihhin embedded systems Laboratory (ESLAB) Linkoeing University Sweden department of Computer Engineering Tallinn University of Technology Estonia

This paper presents a solution to the test time minimization problem for core-based systems. We assume a hybrid BIST approach, where a test set is assembled, for each core, from pseudorandom test patterns that are generated online, and deterministic test patterns that are generated off-line and stored in the system. In this paper we propose an iterative algorithm to find the optimal combination of pseudorandom and deterministic test sets of the whole system, consisting of multiple cores, under given memory constraints, so that the total test time is minimized. Our approach cmploys a fast estimation methodology in order to avoid exhaustive search and to speed-up the calculation process. Experimental results have shown the efficiency of the algorithm to find near optimal solutions.

关键词： SoC self-test hybrid BIST