检索结果-南通市图书馆

When debugging encounters artificial intelligence: state of the art and open challenges

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第4期67卷 42-84页

作者： yi SONG Xiaoyuan xie Baowen XU School of Computer Science Wuhan University State Key Laboratory of Novel Software Technology Nanjing University

Both software debugging and artificial intelligence techniques are hot topics in the current field of software engineering. Debugging techniques, which comprise fault localization and program repair, are an important part of the software development lifecycle for ensuring the quality of software systems. As the scale and complexity of software systems grow, developers intend to improve the effectiveness and efficiency of software debugging via artificial intelligence(artificial intelligence for software debugging, AI4SD). On the other hand, many artificial intelligence models are being integrated into safety-critical areas such as autonomous driving, image recognition, and audio processing, where software debugging is highly necessary and urgent(software debugging for artificial intelligence, SD4AI). An AI-enhanced debugging technique could assist in debugging AI systems more effectively, and a more robust and reliable AI approach could further guarantee and support debugging techniques. Therefore, it is important to take AI4SD and SD4AI into consideration comprehensively. In this paper, we want to show readers the path, the trend, and the potential that these two directions interact with each other. We select and review a total of 165 papers in AI4SD and SD4AI for answering three research questions, and further analyze opportunities and challenges as well as suggest future directions of this cross-cutting area.

关键词： software debugging fault localization program repair artificial intelligence machine learning

同方期刊数据库

NONMONOTONE LOCAL MINIMAX METHODS FOR FINDING MULTIPLE SADDLE POINTS

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2024年第3期42卷 851-884页

作者： Wei Liu Ziqing xie Wenfan yi South China Research Center for Applied Mathematics and Interdisciplinary Studies South China Normal UniversityGuangzhou 510631China Key Laboratory of Computing and Stochastic Mathematics(Ministry of Education) Hunan Normal UniversityChangshaHunan 410081China Hunan Provincial Key Laboratory of Intelligent Information Processing and Applied Mathematics School of MathematicsHunan UniversityChangshaHunan 410082China

In this paper,by designing a normalized nonmonotone search strategy with the BarzilaiBorwein-type step-size,a novel local minimax method(LMM),which is a globally convergent iterative method,is proposed and analyzed to find multiple(unstable)saddle points of nonconvex functionals in Hilbert *** to traditional LMMs with monotone search strategies,this approach,which does not require strict decrease of the objective functional value at each iterative step,is observed to converge faster with less ***,based on a normalized iterative scheme coupled with a local peak selection that pulls the iterative point back onto the solution submanifold,by generalizing the Zhang-Hager(ZH)search strategy in the optimization theory to the LMM framework,a kind of normalized ZH-type nonmonotone step-size search strategy is introduced,and then a novel nonmonotone LMM is *** feasibility and global convergence results are rigorously carried out under the relaxation of the monotonicity for the functional at the iterative ***,in order to speed up the convergence of the nonmonotone LMM,a globally convergent Barzilai-Borwein-type LMM(GBBLMM)is presented by explicitly constructing the Barzilai-Borwein-type step-size as a trial step-size of the normalized ZH-type nonmonotone step-size search strategy in each ***,the GBBLMM algorithm is implemented to find multiple unstable solutions of two classes of semilinear elliptic boundary value problems with variational structures:one is the semilinear elliptic equations with the homogeneous Dirichlet boundary condition and another is the linear elliptic equations with semilinear Neumann boundary *** numerical results indicate that our approach is very effective and speeds up the LMMs significantly.

关键词： Multiple saddle points Local minimax method Barzilai-Borwein gradient method Normalized nonmonotone search strategy Global convergence

RFFsNet-SEI:a multidimensional balanced-RFFs deep neural network framework for specific emitter identification

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Systems Engineering and Electronics 2024年第3期35卷 558-574,F0002页

作者： FAN Rong SI Chengke HAN yi WAN qun School of Information and Communication Engineering University of Electronic Science and Technology of ChinaChengdu 611731China Institute of Electronic and Electrical Engineering Civil Aviation Flight University of ChinaGuanghan 618307China

Existing specific emitter identification(SEI)methods based on hand-crafted features have drawbacks of losing feature information and involving multiple processing stages,which reduce the identification accuracy of emitters and complicate the procedures of *** this paper,we propose a deep SEI approach via multidimensional feature extraction for radio frequency fingerprints(RFFs),namely,***,we extract multidimensional physical RFFs from the received signal by virtue of variational mode decomposition(VMD)and Hilbert transform(HT).The physical RFFs and I-Q data are formed into the balanced-RFFs,which are then used to train *** introducing model-aided RFFs into neural network,the hybrid-driven scheme including physical features and I-Q data is *** improves physical interpretability of ***,since RFFsNet-SEI identifies individual of emitters from received raw data in end-to-end,it accelerates SEI implementation and simplifies procedures of ***,as the temporal features and spectral features of the received signal are both extracted by RFFsNet-SEI,identification accuracy is ***,we compare RFFsNet-SEI with the counterparts in terms of identification accuracy,computational complexity,and prediction *** results illustrate that the proposed method outperforms the counterparts on the basis of simulation dataset and real dataset collected in the anechoic chamber.

关键词： specific emitter identification(SEI) deep learning(DL) radio frequency fingerprint(RFF) multidimensional feature extraction(MFE) variational mode decomposition(VMD)

维普期刊数据库

Detection of onset of agglomeration in a bubbling fluidized bed biomass combustor using reactive Eulerian computational fluid dynamics

在线全文

学校读者我要写书评

暂无评论

Particuology 2024年第7期90卷 504-515页

作者： Abdullah Tasleem Atta Ullah Fei Li qun yi William Nimmo Syed Sheraz Daood Department of Chemical Engineering Pakistan Institute of Engineering and Applied Sciences(PIEAS)Lehtrar RoadP.O.Nilore45650IslamabadPakistan Institute of Process Engineering Chinese Academy of SciencesBeijing100190China School of Chemical Engineering and Pharmacy Wuhan Institute of TechnologyWuhan430205China Energy Engineering Group Energy 2050Department of Mechanical EngineeringUniversity of SheffieldSheffieldS37RDUnited Kingdom Institute of Energy and Environmental Engineering Faculty of ElectricalEnergy&Environmental EngineeringUniversity of the PunjabQuaid-e-Azam CampusLahorePakistan Energy Engineering Research and Development Centre Faculty of ElectricalEnergy&Environmental EngineeringUniversity of the PunjabQuaid-e-Azam CampusLahorePakistan

The choice of a type of combustion technology to be used for heat or power generation depends on economic,technical,operational and fuel availability *** benefits associated with the evolving market driven by the fluidised bed combustion(FBC)technology cannot be overlooked especially when gauged at 65 GWth of worldwide installed capacity alongside added benefits of handling fuel variation,low pollutant emissions and high combustion *** or biomass waste will continue to have a vital role to play in the future FBC technology-based power *** often contains high levels of inorganic species that can form sticky agglomerates posing a significant risk to boiler operation resulting in unscheduled *** added complexity of the behaviour of the fuel and bed material mix highlights the requirement for simulation models to identify agglomeration to help improve the overall performance and reliability of FBC *** resolve this problem,this research devised a simulation strategy for the detection of agglomeration using the Eulerian–Eulerian *** developed modelling strategy is validated with the experimental data available in literature for two-dimensional simplified geometry of a pilot-scale fluidised bed *** model results were found promising and robust to predict bed defluidisation times and other parameters consistent with the experimental data.

关键词： Fluidized bed combustion Eulerian Models Biomass Agglomeration Defluidisation

Microstructure and mechanical properties of Ti/Al/Ti clad plates prepared via powder-in-tube method

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Iron and Steel Research(International) 2024年第3期31卷 670-687页

作者： Xian-lei Hu Qin-cheng xie yi Yuan ying Zhi State Key Laboratory of Rolling and Automation Northeastern UniversityShenyang 110819LiaoningChina Suzhou Dongbao Haixing Metal Material Technology Co. Ltd.Suzhou 215600JiangsuChina School of Material Science and Engineering Northeastern UniversityShenyang 110819LiaoningChina

The Ti/Al/Ti clad plates exhibit a broad spectrum of potential ***,the conventional techniques of hot-pressing composite and explosive composite are intricate and environmentally hazardous.A novel method was introduced for preparing clad plates,namely,the powder-in-tube *** method involves a combination of cold rolling,annealing at a temperature of 550℃,and double *** morphology of the intermetallic compound layer was analyzed through the utilization of interface stripping test,tensile test,and microscopic *** interface morphology,interface bonding properties,tensile fracture structures,and properties of plates under the first and second rolling were compared,along with the effects of intermetallic compounds on the interface *** results indicate that the powder-in-tube method,when annealed at 550℃,can produce a composite plate featuring a complete and uniform Ti/Al *** obtained plate exhibits a peeling strength of 21.5 N/mm,tensile strength of 424 MPa,and elongation of 11.5%.Furthermore,a systematic analysis was conducted to determine the causes of performance degra-dation observed during annealing at temperatures of 600 and 650℃.

关键词： Powder-in-tube method-Ti/Al/Ti clad plate Annealing Cold rolling-Mechanical property

Two-dimensional semiconductor heterostructures for photocatalytic CO_(2)conversion

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China Chemistry 2024年第8期67卷 2434-2447页

作者： Yang Wu Mingyu Wu Yongfu Sun yi xie Hefei National Research Center for Physical Sciences at Microscale University of Science and Technology of ChinaHefei 230026China

The CO_(2)reduction into carbon-contained fuel via solar energy offers the powerful tools to realize the zero-emission carbon *** to the intriguing features of the two-dimensional(2D)heterostructures,it is susceptible to modulate the electronic structure as well as the surface geometry for optimizing the photocatalytic CO_(2)*** this perspective,we surveyed the fundamental insights of 2D semiconductor heterostructures,involving the fabrication strategies and classification of the 2D semiconductor ***,we have detailly discussed the overview of 2D semiconductor heterostructure for optimizing CO_(2)photocatalytic influenced factors,including the solar energy utilization,photogenerated carriers separation,and redox reaction ***,we showed the significant advantages of 2D heterostructures in elevating CO_(2)photoreduction performance,focusing on activity,selectivity and *** analyzing the limitations and developments,we ended by putting forward insights into the further researches about the CO_(2)photocatalysts and reactor design,even industrial applications.

关键词： two-dimensional semiconductor heterostructures photocatalysis CO_(2)conversion

维普期刊数据库

Well-dispersed Sb particles embedded on N-doped carbon nanofibers toward high-performance Li-ion battery

在线全文

学校读者我要写书评

暂无评论

Rare Metals 2024年第7期43卷 2994-3006页

作者： ying Li yi-Han Zhao Lu-Lu Zhao Peng-Fei Wang ying xie Ting-Feng yi School of Materials Science and Engineering Northeastern University Key Laboratory of Dielectric and Electrolyte Functional Material Hebei Province School of Resources and MaterialsNortheastern University at Qinhuangdao Key Laboratory of Functional Inorganic Material Chemistry Ministry of EducationSchool of Chemistry and Materials ScienceHeilongjiang University

The alloy-type material Sb is widely used in the anode materials of lithium-ion batteries（LIBs） due to its high theoretical specific ***,its serious volume expansion problem during alloying/dealloying of Li+limits its practical *** this work,C-Sb composite was constructed as anode material of LIBs by electrospinning route for the first time,Sb was introduced into the polyacrylonitrile-based hard carbon and coal tar pitch-based soft carbon composite amorphous carbon fiber with a diameter of 300-600 nm,which realized high cycling *** C-Sb-2（the mass ratio of polyacrylonitrile to Sb source is 1:2） electrode displayed charge capacities of 1098.5,930.3,841.7,753.5,643.9 and 545.8 mAh·g-1at 0.1,0.2,0.3,0.5,1 and 2 A·g-1,*** when the current density returned to 0.1 A·g-1,the charge capacity was 939.3 mAh·g-1,revealing good stability and *** introduction of Sb into the amorphous carbon improved its conductivity and addressed the volume expansion issue of high specific capacity Sb during charge/***-situ XRD analysis confirmed the high reversibility of the C-Sb-2 during charging and *** functional theory（DFT） calculations revealed the gradual enhancement of the interface interaction between SbxLiyand amorphous carbon（AMC） with increasing lithium content,contributing to the anchoring of alloy nanoparticles on the AMC surface and buffering the volume change of the ***,the gradual lithiation of Sb facilitated the electron transfer from SbxLiyto *** findings hold promise for designing lithium storage materials with exceptional performance,highlighting the potential of C-Sb composites as anode materials for efficient next-generation lithium storage.

关键词： Li-ion battery Metallic Sb Carbon Electrospinning Cycling stability

Variations and future projections of glacial discharge of Urumqi River Headwaters,eastern Tien Shan(1980s-2017)

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Advances in Climate Change Research 2024年第3期15卷 537-546页

作者： Hui ZHANG Fei-Teng WANG Ping ZHOU yi-Da xie State Key Laboratory of Cryospheric Science Northwest Institute of Eco-Environment and ResourcesChinese Academy of SciencesLanzhou 730000China Key Laboratory of Cryospheric Science and Frozen Soil Engineering Northwest Institute of Eco-Environment and ResourcesChinese Academy of SciencesLanzhou 730000China

To address data scarcity on long-term glacial discharge and inadequacies in simulating and predicting hydrological processes in the Tien Shan,this study analysed the observed discharge at multiple timescales over 1980se2017 and projected changes within a representative glacierized high-mountain region:eastern Tien Shan,Central *** processes were simulated to predict changes under four future scenarios(SSP1,SSP2,SSP3,and SSP5)using a classical hydrological model coupled with a glacier dynamics *** rates at annual,monthly(June,July,August)and daily timescales were obtained from two hydrological gauges:Urumqi Glacier No.1 hydrological station(UGH)and Zongkong station(ZK).Overall,annual and summer discharge increased significantly(p<0.05)at both stations over the study *** intra-annual variations mainly resulted from differences in their recharge *** simulations show that a tipping point in annual discharge at UGH may occur between 2018 and 2024 under the four SSPs *** discharge is predicted to cease earlier at ZK than at *** relates to glacier type and size,suggesting basins with heavily developed small glaciers will reach peak discharge sooner,resulting in an earlier freshwater supply *** findings serve as a reference for research into glacial runoff in Central Asia and provide a decision-making basis for planning local water-resource projects.

关键词： Observed glacial discharge Temporal variations Urumqi River Headwaters Eastern Tien Shan Simulation and projection

Halogen-bond induced unusual polyhalogen anions formation in hydrogen-bonded frameworks to secure iodine sequestration

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Nano Research 2024年第7期17卷 6766-6772页

作者： yi xie Pengling Huang Qiang Gao Shiyu Wang Jianchen Wang Gang Ye Collaborative Innovation Center of Advanced Nuclear Energy Technology Institute of Nuclear and New Energy TechnologyTsinghua UniversityBeijing 100084China

Safe confinement of fission iodine isotopes for long-term radioactive waste disposal remains a formidable challenge,as conventional sorbents provide inherently weak iodine-host *** report here a novel halogen bond(X-bond)directed strategy to sequester volatile iodine in hydrogen-bonded(H-bonded)frameworks with unprecedented ***-assisted Hbonded frameworks bearing open halide sites are developed,showing distinctive iodine encapsulation behaviors without compromising the *** crystallographic evidence indicates the formation of X-bonds,i.e.,I–I···Cl−and I–I···Br^(−),within the confined pore *** polyhalogen anions,i.e.,[I_(2)Cl_(2)]^(2−)and[I_(2)Br_(2)]^(2−),sustained in H-bonded frameworks are identified for the first *** X-bond reinforced host-guest interaction affords robust iodine trapping without leaking out even at elevated temperatures up to 180°*** integrating the halogen-bond chemistry with H-bonded frameworks,this study offers fresh concepts for developing effective host reservoirs to secure fission iodine isotopes from spent fuel reprocessing off-gases.

关键词： halogen-bond chemistry anion coordination chemistry hydrogen-bonded organic frameworks polyhalogen anions iodine confinement