检索结果-南通市图书馆

IEEE/CAA Journal of Automatica Sinica 2024年第5期11卷 1190-1201页

作者： Xiangqian Yao Hao sun Zhijia Zhao Yu Liu School of Automation Science and Engineering South China University of TechnologyGuangzhou 510640China Yongjiang Laboratory Ningbo 315202 School of Astronautics Harbin Institute of TechnologyHarbin 150001China School of Mechanical and Electrical Engineering Guangzhou UniversityGuangzhou 510006China

For bipartite angle consensus track.ng and vibration suppression of multiple Timoshenk. manipulator systems with time-varying actuator faults,parameter and modeling uncertainties,and unk.own disturbances,a novel distributed boundary event-triggered control strategy is proposed in this *** contrast to the earlier findings,time-varying consensus track.ng and actuator defects are tak.n into account *** addition,the constructed event-triggered control mechanism can achieve a more flexible design because it is not required to satisfy the input-to-state *** achieve the control objectives,some new integral control variables are given by using back.stepping technique and boundary ***,adaptive neural network. are applied to estimate system *** the proposed event-triggered scheme,control inputs can reduce unnecessary ***,track.ng errors and vibration states of the closed-looped network.can be exponentially convergent into some small fields,and Zeno behaviors can be *** last,some simulation examples are given to state the effectiveness of the control algorithms.

关键词： Vibration satisfy bipartite

维普期刊数据库

Refinement modeling and verification of secure operating systems for communication in digital twins

在线全文

学校读者我要写书评

暂无评论

Digital Communications and Network. 2024年第2期10卷 304-314页

作者： Zhenjiang Qian Gaofei sun Xiaoshuang Xing Gaurav Dhiman School of Computer Science and Engineering Changshu Institute of TechnologySuzhou215500China University Centre for Research and Development Department of Computer Science and EngineeringChandigarh UniversityMohali140413India Department of Computer Science and Engineering Graphic Era Deemed to be UniversityDehradun248002India

In traditional digital twin communication system testing,we can apply test cases as completely as possible in order to ensure the correctness of the system implementation,and even then,there is no guarantee that the digital twin communication system implementation is completely *** verification is currently recognized as a method to ensure the correctness of software system for communication in digital twins because it uses rigorous mathematical methods to verify the correctness of systems for communication in digital twins and can effectively help system designers determine whether the system is designed and implemented *** this paper,we use the interactive theorem proving tool Isabelle/HOL to construct the formal model of the X86 architecture,and to model the related assembly *** verification result shows that the system states obtained after the operations of relevant assembly instructions is consistent with the expected states,indicating that the system meets the design expectations.

关键词： Theorem proving Isabelle/HOL Formal verification System modeling Correctness verification

Interface failure of segmental tunnel lining strengthened with steel plates based on fracture mechanics

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Structural and Civil Engineering 2024年第1期18卷 137-149页

作者： Yazhen sun Yang YU Jinchang WANG Longyan WANG School of Transportation and Geomatics Engineering Shenyang Jianzhu UniversityShenyang 110168China School of Civil Engineering Shenyang Jianzhu UniversityShenyang 110168China Institute of Transportation Engineering Zhejiang UniversityHangzhou 310058China Center for Balance Architecture Zhejiang UniversityHangzhou310058China

Segmental tunnel lining strengthened with steel plates is widely used worldwide to provide a permanent strengthening *** existing studies assume an ideal steel-concrete interface,ignoring discontinuous deformation characteristics,mak.ng it difficult to accurately analyze the strengthened structure’s failure *** this study,interfacial fracture mechanics of composite material was applied to the segmental tunnel lining strengthened with steel plates,and a numerical three-dimensional solid nonlinear model of the lining structure was established,combining the extended finite element method with a cohesive-zone model to account for the discontinuous deformation characteristics of the *** results accurately describe the crack.propagation process,and are verified by full-scale ***,dynamic simulations based on the calibrated model were conducted to analyze the sliding failure and crack.ng of the steel-concrete ***,detailed location of the interface bonding failure are further verified by model *** results show that,the crack.ng failure and bond failure of the interface are the decisive factors determining the instability and failure of the strengthened *** proposed numerical analysis is a major step forward in revealing the interface failure mechanism of strengthened composite material structures.

关键词： segmental tunnel lining steel plate strengthening connecting interface cohesive-zone model extended finite element method

Design and Control of an Autonomous Bat-lik. Perching UAV

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Bionic Engineering 2024年第3期21卷 1253-1264页

作者： Long Bai Wei Wang Xiaohong Chen Yuanxi sun State k.y Laboratory of Mechanical Transmission Chongqing UniversityChongqing400044China

Perching allows small Unmanned Aerial Vehicles(UAVs)to maintain their altitude while significantly extending their flight duration and reducing ***,current research on flying habitats is poorly adapted to unstructured environments,and lack. autonomous capabilities,requiring ideal experimental environments and remote control by *** solve these problems,in this paper,we propose a bat-lik. UAV perching mechanism by investigating the bat upside-down perching method,which realizes double self-lock.ng in the perching state using the ratchet and four-link.dead point *** on this perching mechanism,this study proposes a control strategy for UAVs to track.targets and accomplish flight perching autonomously by combining a binocular camera,single-point LiDAR,and pressure *** perching experiments were conducted for crossbar-type objects *** experimental results show that a multirotor UAV equipped with the perching mechanism and sensors can reliably achieve autonomous flight perching and re-flying off the target *** power consumption is reduced to 2.9%of the hovering state when perched on the target object.

关键词： Bio-inspired design Perching mechanism UAV Autonomous flight

Influence of calendering process on the structural mechanics and heat transfer characteristics of lithium-ion battery electrodes via DEM simulations

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Particuology 2024年第2期85卷 252-267页

作者： Junpeng Zhang Jingna sun Huagui Huang Zhenge Yuan National Engineering Research Center for Equipment and Technology of Cold Strip Rolling Yanshan UniversityQinhuangdao066004China Xingtai Nak.or Technology Co. LtdXingtai054000China

Elucidating the intricate correlation between calendering,structure,and performance is crucial to comprehending the relationship between performance parameters and process steps of lithium-ion batteries(LIBs).Discrete element method(DEM)simulations were adopted in this work.to calculate the interparticle force and stress tensor under incremental calendering process conditions,which revealed the effect of the anisotropy of complex contact force network.on the anisotropy of heat transfer within porous *** thermal conductivity of electrode was predicted using porosity to characterize the process-structure-performance *** comprehensive influence of contact number and con-tact area between particles and current collector determines the magnitude of interfacial thermal resistance and interfacial heat transfer *** the first time,this work.quantitatively analyzed the structural mechanics and heat transfer mechanism during calendering process of porous electrodes,and the results indicate a promising way to optimize and design battery electrode structures.

关键词： Li-ion battery electrode Structural mechanicsAnisotropy Thermal conductivity Discrete element method

Achieving Negatively Charged Pt Single Atoms on Amorphous Ni(OH)_(2)Nanosheets with Promoted Hydrogen Absorption in Hydrogen Evolution

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Nano-Micro Letters 2024年第10期16卷 213-224页

作者： Yue Liu Gui Liu Xiangyu Chen Chuang Xue Mingk. sun Yifei Liu Jianxin k.ng Xiujuan sun Lin Guo School of Chemistry Beijing Advanced Innovation Center for Biomedical EngineeringKey Laboratory of Bio-inspired Smart Interfacial Science and TechnologyBeihang UniversityBeijing 100191People's Republic of China School of Chemistry Key Laboratory of Environmentally Friendly Chemistry and Applications of Ministry of EducationXiangtan UniversityXiangtan 411105HunanPeople'Republic of China

Single-atom(SA)catalysts with nearly 100%atom utilization have been widely employed in electrolysis for decades,due to the outperforming catalytic activity and ***,most of the reported SA catalysts are fixed through the strong bonding between the dispersed single metallic atoms with nonmetallic atoms of the substrates,which greatly limits the controllable regulation of electrocatalytic activity of SA *** this work.Pt-Ni bonded Pt SA catalyst with adjustable electronic states was successfully constructed through a controllable electrochemical reduction on the coordination unsaturated amorphous Ni(OH)_(2)nanosheet *** on the X-ray absorption fine structure analysis and first-principles calculations,Pt SA was bonded with Ni sites of amorphous Ni(OH)_(2),rather than conventional O sites,resulting in negatively charged Pt^(δ-).In situ Raman spectroscopy revealed that the changed configuration and electronic states greatly enhanced absorbability for activated hydrogen atoms,which were the essential intermediate for alk.line hydrogen evolution *** hydrogen spillover process was revealed from amorphous Ni(OH)_(2)that effectively cleave the H-O-H bond of H_(2)O and produce H atom to the Pt SA sites,leading to a low overpotential of 48 mV in alk.line electrolyte at-1000 mA cm^(-2)mg^(-1)_(Pt),evidently better than commercial Pt/C *** work.provided new strategy for the control-lable modulation of the local structure of SA catalysts and the systematic regulation of the electronic states.

关键词： Hydrogen evolution reaction Amorphous Pt single atoms Hydrogen spillover

维普期刊数据库

Passivation remediation of weak.y alk.line Cd-contaminated soils using combined treatments of biochar and sepiolite

在线全文

学校读者我要写书评

暂无评论

Ecological Processes 2024年第1期13卷 40-52页

作者： Yuxin Zhang Shan Gao Hongtao Jia Tao sun Shunan Zheng Shihang Wu Yuebing sun k.y Laboratory of Original AgroEnvironmental Pollution Prevention and Control Ministry of Agriculture and Rural Affairs (MARA)/Tianjin Key Laboratory of Agro-Environment and Agro-Product Safety Agro–Environmental Protection InstituteMARA College of Resources and Environment Sciences Xinjiang Agricultural University Rural Energy and Environment Agency Ministry of Agriculture and Rural Affairs

Back.round Cadmium(Cd) pollution in agricultural soils has become a priority environmental concern globally. A reasonable application of passivators is critical to address the problem. In this study, we examined the remediation effects of rice husk.biochar(r BC) and sepiolite(Sep) as single and combined(r BC + Sep) treatments on Cd pollution in a weak.y alk.line soil using three maize cultivars(Liyu 16, Zhengdan 958, and Sanbei 218) as test crops. We also explained the mechanisms involved in the remediation *** The pseudo-second-order k.netic equation and Langmuir model could well describe the adsorption process of r BC + Sep for Cd2+. Compared with the control treatment(Ck., soil available Cd concentration decreased by 29.51–36.34% under r BC + Sep treatment(p 0.05).Conclusions The application of 0.2% r BC + 0.5% Sep composite passivation material to weak.y alk.line Cd-contaminated soil can effectively reduce the Cd concentration of soil and maize.

关键词： Cd Rice husk.biochar Sepiolite Passivation restoration Weak.y alk.line soil Maize

UDT:U-shaped deformable transformer for subarachnoid haemorrhage image segmentation

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

CAAI Transactions on Intelligence Technology 2024年第3期9卷 756-768页

作者： Wei Xie Lianghao Jin Shiqi Hua Hao sun Bo sun Zhigang Tu Jun Liu Hubei Provincial k.y Laboratory of Artificial Intelligence and Smart Learning Central China Normal UniversityWuhanChina School of Computer Science Central China Normal UniversityWuhanChina National Language Resources Monitoring and Research Center for Network.Media Central China Normal UniversityWuhanChina The First Affiliated Hospital of Dalian Medical University DalianChina State k.y Laboratory of Information Engineering in Surveying Mapping and Remote SensingWuhan UniversityWuhanChina Information Systems Technology and Design Pillar Singapore University of Technology and DesignSingaporeSingapore

Subarachnoid haemorrhage(SAH),mostly caused by the rupture of intracranial aneu-rysm,is a common disease with a high fatality *** lesions are generally diffusely distributed,showing a variety of scales with irregular *** complex characteristics of lesions mak. SAH segmentation a challenging *** cope with these difficulties,a u-shaped deformable transformer(UDT)is proposed for SAH ***,first,a multi-scale deformable attention(MSDA)module is exploited to model the diffuseness and scale-variant characteristics of SAH lesions,where the MSDA module can fuse features in different scales and adjust the attention field of each element dynamically to generate discriminative multi-scale ***,the cross deformable attention-based sk.p connection(CDASC)module is designed to model the irregular edge char-acteristic of SAH lesions,where the CDASC module can utilise the spatial details from encoder features to refine the spatial information of decoder ***,the MSDA and CDASC modules are embedded into the back.one Res-UNet to construct the proposed *** experiments are conducted on the self-built SAH-CT dataset and two public medical datasets(GlaS and MoNuSeg).Experimental results show that the presented UDT achieves the state-of-the-art performance.

关键词： image segmentation medical image processing

Interfacial charge redistribution to promote the catalytic activity of Vs-CoP-CoS_(2)/C n-n heterojunction for oxygen evolution

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Chemical Letters 2024年第2期35卷 611-616页

作者： Jiawen sun Hui Xue Jing sun Niank.n Guo Tianshan Song Yi-Ru Hao Qin Wang College of Chemistry and Chemical Engineering Inner Mongolia UniversityHohhot 010021China

Modulating surface charge redistribution based on interface and defect engineering has been considered as a resultful means to boost electrocatalytic ***,the mechanism of synergistic regulation of heterojunction and vacancy defects remains ***,a Vs-CoP-CoS_(2)/C n-n heterojunction with sulfur vacancies is successfully constructed,which manifests superior electrocatalytic activity for oxygen evolution,as demonstrated by a low overpotential of 170 mV to reach 10 mA/cm^(2).The experimental results and density functional theory calculations testify that the outstanding OER performance of Vs-CoP-CoS_(2)/C heterojunction is owed to the synergistic effect of sulfur vacancies and built-in electric field at n-n heterogeneous interface,which accelerates the electron transfer,induces the charge redistribution,and regulates the adsorption energy of active intermediates during the *** study affords a promising means to regulate the electrocatalytic performance by the construction of heterogeneous interfaces and defects,and in-depth explores the synergistic mechanisms of n-n heterojunction and vacancies.

关键词： Charge redistribution n-n Heterojunction Built-in electric field Sulfur vacancy Oxygen evolution reaction

维普期刊数据库

Multimodal Social Media Fak. News Detection Based on Similarity Inference and Adversarial Network.

在线全文

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2024年第4期79卷 581-605页

作者： Fangfang Shan Huifang sun Mengyi Wang College of Computer Zhongyuan University of TechnologyZhengzhou450007China Henan k.y Laboratory of Cyberspace Situation Awareness Zhengzhou 450001China

As social network. become increasingly complex, contemporary fak. news often includes textual descriptionsof events accompanied by corresponding images or videos. Fak. news in multiple modalities is more lik.ly tocreate a misleading perception among users. While early research primarily focused on text-based features forfak. news detection mechanisms, there has been relatively limited exploration of learning shared representationsin multimodal (text and visual) contexts. To address these limitations, this paper introduces a multimodal modelfor detecting fak. news, which relies on similarity reasoning and adversarial network.. The model employsBidirectional Encoder Representation from Transformers (BERT) and Text Convolutional Neural Network.(Text-CNN) for extracting textual features while utilizing the pre-trained Visual Geometry Group 19-layer (VGG-19) toextract visual features. Subsequently, the model establishes similarity representations between the textual featuresextracted by Text-CNN and visual features through similarity learning and reasoning. Finally, these features arefused to enhance the accuracy of fak. news detection, and adversarial network. have been employed to investigatethe relationship between fak. news and events. This paper validates the proposed model using publicly availablemultimodal datasets from Weibo and Twitter. Experimental results demonstrate that our proposed approachachieves superior performance on Twitter, with an accuracy of 86%, surpassing traditional unimodalmodalmodelsand existing multimodal models. In contrast, the overall better performance of our model on the Weibo datasetsurpasses the benchmark.models across multiple metrics. The application of similarity reasoning and adversarialnetwork. in multimodal fak. news detection significantly enhances detection effectiveness in this paper. However,current research is limited to the fusion of only text and image modalities. Future research directions should aimto further integrate f

关键词： Fak. news detection attention mechanism image-text similarity multimodal feature fusion