检索结果-南通市图书馆

Experimental and numerical demonstration of hierarchical time-delay reservoir computing based on cascaded VCSELs with feedback and multiple injections

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第2期67卷 279-290页

作者： Xingxing GUO Shuiying xiang Xingyu cao Biling GU State Key Laboratory of Integrated Service Networks Xidian University State Key Discipline Laboratory of Wide Bandgap Semiconductor Technology School of MicroelectronicsXidian University

In this paper, we propose and demonstrate experimentally and numerically a hierarchical timedelay optical reservoir computing(RC) system based on cascaded vertical-cavity surface-emitting lasers(VCSELs) with feedback and multiple injections. The prediction performance characteristics of the hierarchical time-delay RC system based on cascaded VCSELs under different reservoir layers are ***, the prediction performance of the hierarchical time-delay RC system is first improved and saturates as the number of reservoir layers increases. Besides, the impacts of key factors on predicting the hierarchical time-delay RC system are also analyzed in detail experimentally and numerically. This proposed hierarchical time-delay RC system based on VCSELs is useful for the further development of RC systems and may be beneficial to improve the ability of RC systems to solve more complex problems.

关键词： vertical-cavity surface-emitting laser reservoir computing neuromorphic photonics time-delay system information processing

A comprehensive analysis of DAC-SDC FPGA low power object detection challenge

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第8期67卷 300-320页

作者： Jingwei ZHANG Guoqing LI Meng ZHANG Xinye cao Yu ZHANG xiang LI Ziyang CHEN Jun yang School of Electronics Science and Engineering Southeast University

The lower power object detection challenge(LPODC) at the IEEE/ACM Design Automation Conference is a premier contest in low-power object detection and algorithm(software)-hardware co-design for edge artificial intelligence, which has been a success in the past five years. LPODC focused on designing and implementing novel algorithms on the edge platform for object detection in images taken from unmanned aerial vehicles(UAVs), which attracted hundreds of teams from dozens of countries to participate. Our team SEUer has been participating in this competition for three consecutive years from 2020 to 2022 and obtained sixth place respectively in 2020 and 2021. Recently, we achieved the championship in 2022. In this paper, we presented the LPODC for UAV object detection from 2018 to 2022, including the dataset, hardware platform,and evaluation method. In addition, we also introduced and discussed the details of methods proposed by each year's top three teams from 2018 to 2022 in terms of network, accuracy, quantization method, hardware performance, and total score. Additionally, we conducted an in-depth analysis of the selected entries and results, along with summarizing representative methodologies. This analysis serves as a valuable practical resource for researchers and engineers in deploying the UAV application on edge platforms and enhancing its feasibility and reliability. According to the analysis and discussion, it becomes evident that the adoption of a hardware-algorithm co-design approach is paramount in the context of tiny machine learning(TinyML).This approach surpasses the mere optimization of software and hardware as separate entities, proving to be essential for achieving optimal performance and efficiency in TinyML applications.

关键词： algorithm-hardware co-design convolutional neural networks field programmable gate array low power object detection tiny machine learning

同方期刊数据库

Survey on Interactive Theorem Proving Based Concurrent Program Verification

在线全文

学校读者我要写书评

暂无评论

Ruan Jian Xue Bao/Journal of Software 2024年第9期35卷

作者： Wang, Zhong-Ye Wu, Shu-Shu cao, Qin-xiang School of Electronic Information and Electrical Engineering Shanghai Jiao Tong University Shanghai 200240 China

Concurrent programs and systems are usually highly efficient and respond faster than serial systems, making them widely used in practice. However, concurrent programs and systems are often prone to error, which could bring fatal consequences in real world applications. Moreover, the non-determinism brought by concurrency is a major difficulty in the verification of concurrent programs. With formal verification, people could use interactive theorem provers to rigorously prove the correctness of a concurrent program. This study presents several correctness criteria for concurrent programs, which can be verified by interactive theorem proof techniques. The criteria include Hoare triple, linearizability, contextual refinement, and logical atomicity. Researchers usually use program logic to verify programs in an interactive theorem prover. This study summarizes the usage of concurrent separation logic, rely-guarantee-based logic, and relational Hoare logic in concurrent program verifications. It also surveys existing foundational verification tools and verification results by these techniques. © 2024 Chinese Academy of Sciences. All rights reserved.

关键词： Formal verification

Separation identification of a neural fuzzy Wiener–Hammerstein system using hybrid signals

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Information Technology & Electronic Engineering 2024年第6期25卷 856-868页

作者： Feng LI Hao yang Qingfeng cao College of Electrical and Information Engineering Jiangsu University of TechnologyChangzhou 213001China College of Electrical Energy and Power EngineeringYangzhou UniversityYangzhou 225127China

A novel separation identification strategy for the neural fuzzy Wiener–Hammerstein system using hybrid signals is developed in this *** Wiener–Hammerstein system is described by a model consisting of two linear dynamic elements with a nonlinear static element in *** static nonlinear element is modeled by a neural fuzzy network(NFN)and the two linear dynamic elements are modeled by an autoregressive exogenous(ARX)model and an autoregressive(AR)model,*** the system input is Gaussian signals,the correlation technique is used to decouple the identification of the two linear dynamic elements from the nonlinear ***,based on the input and output of Gaussian signals,the correlation analysis technique is used to identify the input linear element and output linear element,which addresses the problem that the intermediate variable information cannot be measured in the identified Wiener–Hammerstein ***,a zero-pole match method is adopted to separate the parameters of the two linear ***,the recursive least-squares technique is used to identify the nonlinear element based on the input and output of random signals,which avoids the impact of output *** feasibility of the presented identification technique is demonstrated by an illustrative simulation example and a practical nonlinear *** results show that the proposed strategy can obtain higher identification precision than existing identification algorithms.

关键词： Wiener-Hammerstein system Neural fuzzy network Correlation analysis technique Hybrid signals Separation identification

GM-CSF Promotes the Development of Dysfunctional Vascular Networks in Moyamoya Disease

在线全文

学校读者我要写书评

暂无评论

Neuroscience Bulletin 2024年第4期40卷 451-465页

作者： Huiqin Li xiang cao Xinya Gu Mengqi Dong Lili Huang Chenglu Mao Shengnan Xia Haiyan yang Xinyu Bao Yongbo yang Yun Xu Department of Neurology and Neurosurgery Nanjing Drum Tower HospitalAffiliated Hospital of Medical SchoolNanjing UniversityNanjing210008China Department of Neurology and Neurosurgery Nanjing Drum Tower HospitalState Key Laboratory of Pharmaceutical Biotechnology and Institute of Translational Medicine for Brain Critical DiseasesNanjing UniversityNanjing210008China Department of Neurology and Neurosurgery Nanjing Drum Tower Hospital Clinical College of Xuzhou Medical UniversityNanjing210008China Department of Neurology and Neurosurgery Nanjing Drum Tower Hospital Clinical College of Nanjing Medical UniversityNanjing210008China Jiangsu Key Laboratory for Molecular Medicine Medical School of Nanjing UniversityNanjing210008China Jiangsu Provincial Key Discipline of Neurology Nanjing210008China Nanjing Neurology Medical Center Nanjing210008China

Moyamoya disease(MMD)is a chronic occlusive cerebrovascular disease with the development of a network of abnormal *** inflammation is associated with the occurrence and development of ***,the mechanisms underlying the formation of the abnormal vascular network remain ***-eight patients with MMD,26 ischemic stroke patients,and 26 unrelated healthy volunteers were enrolled in this study The data showed that the levels of granulocyte-macrophage colony-stimulating factor(GM-CSF)were higher in MMD patients than in healthy controls(P<0.01),and GM-CSF was mainly from Th1 and Th17 cells in *** found that increased GM-CSF drove monocytes to secrete a series of cytokines associated with angiogenesis,inflammation,and *** summary,our findings demonstrate for the first time the important involvement of GM-CSF in MMD and that GM-CSF is an important factor in the formation of abnormal vascular networks in MMD.

关键词： Moyamoya disease Vascular endothelial cells GM-CSF VEGF

A Support Data-Based Core-Set Selection Method for Signal Recognition

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

China Communications 2024年第4期21卷 151-162页

作者： yang Ying Zhu Lidong cao Changjie National Key Laboratory of Wireless Communications(University of Electronic Science and Technology of China) Chengdu 611731China College of Computer Science and Cyber Security(Chengdu University of Technology) Chengdu 610059China College of Mathmatics and Physics(Chengdu University of Technology) Chengdu 610059China

In recent years,deep learning-based signal recognition technology has gained attention and emerged as an important approach for safeguarding the electromagnetic ***,training deep learning-based classifiers on large signal datasets with redundant samples requires significant memory and high *** paper proposes a support databased core-set selection method(SD)for signal recognition,aiming to screen a representative subset that approximates the large signal ***,this subset can be identified by employing the labeled information during the early stages of model training,as some training samples are labeled as supporting data *** support data is crucial for model training and can be found using a border sample *** results demonstrate that the SD method minimizes the impact on model recognition performance while reducing the dataset size,and outperforms five other state-of-the-art core-set selection methods when the fraction of training sample kept is less than or equal to 0.3 on the RML2016.04C dataset or 0.5 on the RML22 *** SD method is particularly helpful for signal recognition tasks with limited memory and computing resources.

关键词： core-set selection deep learning model training signal recognition support data

ZIF-8 coated gold nanospheres: A multi-responsive drug delivery system promoting the killing effect of photothermal therapy against osteosarcoma cells

在线全文

学校读者我要写书评

暂无评论

Nano Research 2024年第3期17卷 1772-1784页

作者： Miao Lei Weiye Cai Luetao Zou Bin Yu Lin Chen yang cao Shanlin xiang Chao Song Jiandu Lei Wei Jiang Zhenming Hu Department of Orthopedics Orthopedic Laboratory of Chongqing Medical UniversityThe First Affiliated Hospital of Chongqing Medical UniversityNo.1 Youyi RoadChongqing 400010China The Affiliated Traditional Chinese Medicine Hospital of Southwest Medical University Luzhou 646699China Department of Orthopedics The Third Affiliated Hospital of Chongqing Medical UniversityChongqing 400010China Department of Radiology The First Affiliated Hospital of Chongqing Medical UniversityNo.1 Youyi RoadChongqing 400010China Department of Orthopedics Chongqing University Three Gorges HospitalChongqing 404000China Department of Geriatrics The Affiliated Hospital of Guizhou Medical UniversityGuiyang 550025China Beijing Key Laboratory of Lignocellulosic Chemistry College of Material Science and TechnologyBeijing Forestry UniversityBeijing 100083China

Photothermal therapy(PTT)has been widely used in the treatment of tumors,but its efficacy is greatly limited by the inability of precise drug delivery and the increase of heat shock proteins(HSPs)caused by high *** article describes a therapeutic strategy to enhance PTT with starvation therapy in conjunction with ferroptosis mechanism.A nanoparticle platform ZIF-8@GA was constructed by wrapping together glucose oxidase(GOX)and gold nanospheres(AuNPs)loaded with dihydroartemisinin(DHA)with zeolitic imidazolate framework-8(ZIF-8).This platform can take advantage of the micro-environment of osteosarcoma(OS)cells,featuring low pH and high reactive oxygen species(ROS),for precision drug *** can effectively catalyze glucose to produce gluconic acid and H_(2)O_(2),and DHA can also induce ROS production in OS *** produced by GOX and DHA can further generate lipid peroxidation(LPO)and lead to ferroptosis of OS *** the same time,ROS and LPO produced can inhibit the expression of HSPs,thereby increasing the therapeutic effect of *** vitro experiments show that the nanoparticles are pH and ROS responsive.1μg/mL GOX combined with 0.2μg/mL DHA promotes ferroptosis of OS cells,and increases the killing effect of near-infrared(NIR)on OS *** in vivo experiments showed that the nano drug-delivery platform combined with PTT can effectively inhibit the growth of OS ***,this study provides a new idea for the treatment of OS with biomaterials combined with various treatment methods.

关键词： zeolitic imidazolate framework-8(ZIF-8) gold nanospheres(AuNPs) photothermal therapy(PTT) starvation therapy ferroptosis

Estimation of Hammerstein nonlinear systems with noises using filtering and recursive approaches for industrial control

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Information Technology & Electronic Engineering 2024年第2期25卷 260-271页

作者： Mingguang ZHANG Feng LI yang YU Qingfeng cao School of Electrical&Information Engineering Jiangsu University of TechnologyChangzhou213001China College of Electrical Energy and Power EngineeringYangzhou UniversityYangzhou225127China

This paper discusses a strategy for estimating Hammerstein nonlinear systems in the presence of measurement noises for industrial control by applying filtering and recursive *** proposed Hammerstein nonlinear systems are made up of a neural fuzzy network(NFN)and a linear state`-space *** estimation of parameters for Hammerstein systems can be achieved by employing hybrid signals,which consist of step signals and random ***,based on the characteristic that step signals do not excite static nonlinear systems,that is,the intermediate variable of the Hammerstein system is a step signal with different amplitudes from the input,the unknown intermediate variables can be replaced by inputs,solving the problem of unmeasurable intermediate variable *** the presence of step signals,the parameters of the state-space model are estimated using the recursive extended least squares(RELS)***,to effectively deal with the interference of measurement noises,a data filtering technique is introduced,and the filtering-based RELS is formulated for estimating the NFN by employing random ***,according to the structure of the Hammerstein system,the control system is designed by eliminating the nonlinear block so that the generated system is approximately equivalent to a linear system,and it can then be easily controlled by applying a linear *** effectiveness and feasibility of the developed identification and control strategy are demonstrated using two industrial simulation cases.

关键词： Hammerstein nonlinear systems Neural fuzzy network Data filtering Hybrid signals Industrial control

Simultaneous Determination of Trace Matrine and Oxymatrine Pesticide Residues in Tea by Magnetic Solid-Phase Extraction Coupled with Liquid Chromatography-Tandem Mass Spectrometry

在线全文

学校读者我要写书评

暂无评论

Journal of Analysis and Testing 2024年第2期8卷 245-250页

作者： Hongmei Liu yang Li yangjiayi xiang Hao cao Yan Li Pharmaceutical Analysis Department School of PharmacyFudan UniversityShanghai201203China Center for Medical Research and Innovation Shanghai Pudong HospitalFudan University Pudong Medical CenterShanghai201399China MOE Innovative Center for New Drug Development of Immune Inflammatory Diseases Fudan UniversityShanghai201203China

We developed a magnetic solid-phase extraction method using Fe_(3)O_(4)@polydopamine(Fe_(3)O_(4)@PDA)as adsorbents,coupled with liquid chromatography-tandem mass spectrometry(LC-MS/MS),for the enrichment and quantification of trace matrine and oxymatrine pesticide residues in *** adsorbent was easily synthesized at room temperature with high yields(500 mg).We investigated and optimized several factors that influence the efficiency of the method,including matrix pH,adsorbent amount,adsorption time,type of elution solvent.

关键词： adsorbent Chromatography adsorption