检索结果-南通市图书馆

Deep learning-based software engineering: progress,challenges, and opportunities

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2025年第1期68卷 57-144页

作者： Xiangping CHEN Xing HU Yuan HUANG He jiang Weixing JI Yanjie jiang Yanyan jiang Bo LIU Hui LIU Xiaochen LI Xiaoli LIAN Guozhu MENG Xin PENG Hailong SUN Lin shi Bo wang Chong wang Jiayi wang Tiantian wang Jifeng XUAN Xin XIA Yibiao YANG Yixin YANG Li ZHANG Yuming ZHOU Lu ZHANG School of Journalism and Communication Sun Yat-sen University School of Software Technology Zhejiang University School of Software Engineering Sun Yat-sen University School of Software Dalian University of Technology School of Computer Science and Technology Beijing Institute of Technology Key Laboratory of High Confidence Software Technologies (Peking University) Ministry of EducationSchool of Computer Science Peking University State Key Laboratory for Novel Software Technology Nanjing University School of Computer Science and Engineering Beihang University Institute of Information Engineering Chinese Academy of Sciences School of Computer Science Fudan University State Key Laboratory of Complex & Critical Software Environment (CCSE) School of Software Beihang University School of Computer and Information Technology Beijing Jiaotong University School of Computer Science and Technology Harbin Institute of Technology School of Computer Science Wuhan University Huawei Technologies

Researchers have recently achieved significant advances in deep learning techniques, which in turn has substantially advanced other research disciplines, such as natural language processing, image processing, speech recognition, and software engineering. Various deep learning techniques have been successfully employed to facilitate software engineering tasks, including code generation, software refactoring, and fault localization. Many studies have also been presented in top conferences and journals, demonstrating the applications of deep learning techniques in resolving various software engineering tasks. However,although several surveys have provided overall pictures of the application of deep learning techniques in software engineering,they focus more on learning techniques, that is, what kind of deep learning techniques are employed and how deep models are trained or fine-tuned for software engineering tasks. We still lack surveys explaining the advances of subareas in software engineering driven by deep learning techniques, as well as challenges and opportunities in each subarea. To this end, in this study, we present the first task-oriented survey on deep learning-based software engineering. It covers twelve major software engineering subareas significantly impacted by deep learning techniques. Such subareas spread out through the whole lifecycle of software development and maintenance, including requirements engineering, software development, testing, maintenance, and developer collaboration. As we believe that deep learning may provide an opportunity to revolutionize the whole discipline of software engineering, providing one survey covering as many subareas as possible in software engineering can help future research push forward the frontier of deep learning-based software engineering more systematically. For each of the selected subareas,we highlight the major advances achieved by applying deep learning techniques with pointers to the available datasets i

关键词： deep learning software engineering software benchmark software artifact representation survey

Removal of dust from flue gas in magnetically stabilized fluidized bed

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Particuology 2008年第2期6卷 116-119页

作者： Yinghui wang Keting Gui mingheng shi Changfeng Li School of Energy and Power Engineering Jiangsu University Zhenjiang 212013 Jiangsu China Key Laboratory of Clean Coal Power Generation and Combustion Technology of Ministry of Education Southeast University Nanjing 210096 Jiangsu China

A magnetically stabilized fluidized bed （MSFB,Ф 500mm×2100mm） was designed to study dust removal from flue gas. Based on the mechanism of dust removal in a fixed bed, the effects on collection efficiency of magnetic field intensity, ratio of flue gas velocity to minimum fluidization velocity, bed height, and particle average diameter, were investigated. Then feasible methods for MSFB to better remove dust were proposed. Over 95 % of dust removal with MSFB can be achieved, when stable fluidization is maintained and when magnetic particles are frequently renewed.

关键词： Magnetically stabilized fluidized bed (MSFB) Stable fluidization Dust removal Magnetic particles renewal

考虑腐蚀效应的锚箱式索梁锚固结构疲劳性能分析

在线全文

学校读者我要写书评

暂无评论

Recent progress in metal-organic frameworks(Part II—material application)

工程力学 2025年第1期42卷 64-73页

作者：王莹蒋松柏时浩然东南大学混凝土及预应力混凝土结构教育部重点实验室南京211189

锚箱式索梁锚固结构作为大跨斜拉桥常用的锚固形式之一，其结构复杂、焊缝众多，在车辆、风等疲劳荷载作用下易于发生疲劳破坏。同时，锚箱内部形成的盐雾腐蚀环境会进一步加速锚固区疲劳性能的劣化。为研究腐蚀效应对锚箱式索梁锚固结... 详细信息

锚箱式索梁锚固结构作为大跨斜拉桥常用的锚固形式之一，其结构复杂、焊缝众多，在车辆、风等疲劳荷载作用下易于发生疲劳破坏。同时，锚箱内部形成的盐雾腐蚀环境会进一步加速锚固区疲劳性能的劣化。为研究腐蚀效应对锚箱式索梁锚固结构疲劳性能的影响，该文采用能反映腐蚀电化学机理的元胞自动机模型获得了锚固区典型构件的表面点蚀坑模型，并以润扬长江北汊斜拉桥为工程背景建立了考虑腐蚀表面粗糙度的大跨斜拉桥的有限元模型。基于现场实测的车辆数据建立了疲劳车辆模型，考察了在疲劳车辆模型作用下典型的锚箱构件腐蚀对索梁锚固结构疲劳性能的影响。通过采用可反映电化学本质的元胞自动机模型代替了工程上传统的均匀折减厚度的方式来考虑腐蚀效应，可充分考虑表面粗糙度和点蚀坑底部的应力集中对腐蚀构件性能劣化的影响。面向大跨斜拉桥整体结构进行受力分析可确保锚固区部位应力分布的准确性。该研究方法充分考虑了腐蚀的电化学效应和实际的通行车辆荷载对索梁锚固区力学性能的影响。研究结果表明：与未考虑腐蚀效应相比，锚箱底板、上腹板和下腹板构件分别在10%的质量损失率下，锚箱式索梁锚固结构的疲劳寿命分别降低了21.18%、26.99%和6.3%。因此，腐蚀效应会大幅降低锚箱式锚固结构的疲劳寿命，需充分予以关注。

关键词：桥梁工程索梁锚固区锚箱元胞自动机腐蚀疲劳寿命

来源：博看期刊评论

在线全文

博看期刊

学校读者我要写书评

暂无评论

Science China Chemistry 2025年

作者： Jiandong Pang Wentao jiang Xue-Wen Zhang Hao-Long Zhou Yuxiu Sun Wei Gong Bin wang Fuyin Ma Linwei He Long Chen Qiang Chen He-Qi Zheng Yuanjing Cui Wen-Jie shi Chao Zhang Mei wang Yue-Biao Zhang Jie-Peng Zhang Chongli Zhong Yong Cui Shuao wang Jian-Rong Li Guodong Qian Tong-Bu Lu Huan Pang Xian-He Bu Institute for New Energy Materials and Low Carbon Technologies School of Materials Science and Engineering Tianjin University of Technology School of Chemistry and Chemical Engineering Yangzhou University School of Materials Science and Engineering Nankai University School of Physical Science and Technology ShanghaiTech University MOE Key Laboratory of Bioinorganic and Synthetic Chemistry GBRCE for Functional Molecular Engineering School of Chemistry IGCMESun Yat-sen University Department of Chemistry Shantou University School of Chemical Engineering and Technology Tiangong University School of Chemistry and Chemical Engineering Shanghai Jiao Tong University State Key Laboratory of Radiation Medicine and Protection School for Radiological and Interdisciplinary Sciences Soochow University College of Materials Science & Engineering Beijing University of Technology State Key Laboratory of Silicon and Advanced Semiconductor Materials Cyrus Tang Center for Sensor Materials and ApplicationsSchool of Materials Science & Engineering Zhejiang University

As a class of functional crystalline porous materials, metal-organic frameworks(MOFs) gained rapid development in the past three decades and a large number of MOFs with ordered structures, high surface areas, and functionalized channels have been investigated. MOFs and MOF-derived/composite materials show great potential in many application fields. In this review, we discussed the main applications of MOFs and MOF-derived/composite materials in small molecule storage, separation, luminescence, sensing, multitype catalysis, and energy storage. In addition, challenges and problems in the future research of MOFsrelated fields are also discussed.

关键词：

Online Pareto optimal control of mean-field stochastic multi-player systems using policy iteration

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第4期67卷 21-37页

作者： Xiushan jiang Yanshuang wang Dongya ZHAO Ling shi College of New Energy China University of Petroleum(East China) Department of Electronic and Computer Engineering Hong Kong University of Science and Technology

In this study, the Pareto optimal strategy problem was investigated for multi-player mean-field stochastic systems governed by It? differential equations using the reinforcement learning(RL) method.A partially model-free solution for Pareto-optimal control was derived. First, by applying the convexity of cost functions, the Pareto optimal control problem was solved using a weighted-sum optimal control problem. Subsequently, using on-policy RL, we present a novel policy iteration(PI) algorithm based on the Hrepresentation technique. In particular, by alternating between the policy evaluation and policy update steps,the Pareto optimal control policy is obtained when no further improvement occurs in system performance,which eliminates directly solving complicated cross-coupled generalized algebraic Riccati equations(GAREs).Practical numerical examples are presented to demonstrate the effectiveness of the proposed algorithm.

关键词： mean-field stochastic systems Pareto optimal control policy iteration scheme $\mathcal{H}$-representation

同方期刊数据库

A continuous-time formulation for refinery production scheduling problems involving operational transitions in mode switching

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Chemical Engineering 2016年第8期24卷 1020-1031页

作者： Lei shi Yongheng jiang Ling wang Dexian Huang Institute of Process Control Engineering Department of Automation Tsinghua University Tsinghua National Laboratory for Information Science and Technology Tsinghua University

In the refinery scheduling, operational transitions in mode switching are of great significance to formulate dynamic nature of production and obtain efficient schedules. The discrete-time formulation meets two main challenges in modeling: discrete approximation of time and large size of mixed-integer linear problem(MILP).In this article, a continuous-time refinery scheduling model, which involves transitions of mode switching, is presented due to these challenges. To reduce the difficulty in solving large scale MILPs resulting from the sequencing constraints, the global event-based formulation is chosen. Both transition constraints and production transitions are introduced and the numbers of key variables and constraints in both of the discrete-time and continuous-time formulations are analyzed and compared. Three cases with different lengths of time horizons and different numbers of orders are studied to show the efficiency of the proposed model.

关键词： Refinery scheduling Operational transitions Continuous-time representation

Effect of Negatively Charged Ions on the Formation of Microarc Oxidation Coating on 2024 Aluminium Alloy

在线全文

学校读者我要写书评

暂无评论

Journal of Materials Science & Technology 2012年第8期28卷 707-712页

作者： Wei Yang Bailing jiang Aiying wang Huiying shi Ningbo Key Laboratory of Marine Protec'tion Materials Ningbo Institute of Materials Technology and EngineeringChinese Academy of SciencesNingbo 315201China School of Materials Science and Engineering Xi'an University of TechnologyXi'an 710048China

The present study deals with the effect of negatively charged ions on the ceramic coating formation on 2024 aluminium alloy during microarc oxidation （MAO） process. On the basis of the experimental results, two steps （the formation of an incipient film without arc presence and the growth of a ceramic coating with arc discharge） of MAO process have been observed. For comparison, four different negatively charged ions studied. It is proved that negatively charged ions strongly participated in the formation of an incipient film with high impedance value at the first step. The growth of ceramic coating depends on the combination between AI of the substrate and O from the electrolyte, and the negatively charged ions are little consumed. As an anodic oxide coating is prepared on the sample surface instead of the incipient film, the first step occurs easily and the growth of ceramic coating is accelerated. Furthermore, the mechanism of negatively charged ions in the formation of the MAO coating has been proposed.

关键词： Aluminium alloy Microarc oxidation Incipient film Ceramic coating Negativelycharged ions

Energy-transfer Process Accelerated by the Formation of Electrostatically Stabilized Aggregate (ESAg)

在线全文

学校读者我要写书评

暂无评论

Chinese Chemical Letters 2001年第10期12卷 847-850页

作者： jiang, XK wang, JS shi, JL Chinese Acad Sci Shanghai Inst Organ Chem Shanghai 200032 Peoples R China

The energy-transfer process between sodium (omega-[2-(alpha -naphthyl)ethoxy]undecanoate (FP-)* and sodium omega -9-anthrylmethyl glutarate (AFP(-)) is accelerated by the formation of ESAg when cetyltrimethylammonium chloride (S16(+)) has been added to the solvent system of FP-* and AFP(-). This result is yet another evidence for the formation of ESAg.

关键词： energy-transfer process fluorescence spectra ESAg

Measurement of Ice Movement in Water Using Electrical Capacitance Tomography

在线全文

学校读者我要写书评

暂无评论

Journal of Thermal Science 2009年第1期18卷 8-12页

作者： jiang Fan LIU shi LIU Jing wang Xueyao Key Laboratory of Advanced Energy and Power Chinese Academy of Sciences(Institute of Engineering Thermophysics) RO. Box 2706 Beijing 100190 China School of Energy and Power Engineering North China Electric Power University Beijing 102206 China School of Civil Engineering Henan Polytechnic University Jiaozuo 454000 China

The permafrost with the highest altitude and largest area in the mid and low latitude is located in the Qinghad-Tibet Plateau. As most frozen soils contain ice particles which are very sensitive to temperature and other external parameters, thus influencing the stability of the embankment in permafrost regions, it is very important to develop techniques to prevent damages to railway embankments due to thaw settlement. In this paper, the electrical capacitance sensors are designed to study the freezing front movement in a vessel and ice movement in water, which is the first step to apply the ECT system to the study of frozen soil. Two sensor arrangements are put into use. First, the traditional closed electrode sensors are put into use. In this arrangement, the electrodes are attached to the outside of the pipe or vessel, and the cross-sectional distribution of ice and water could be reconstructed from the capacitances measured. Also, the ice moving track at the cross section could be reflected *** the traditional closed electrode sensors can not meet the needs of measuring the ice freezing front move- ment, a new electrode sensors structure, that is, the unclosed electrode sensors are designed to satisfy the specific test of frozen soil. In this arrangement, several pairs of electrodes are arranged along the height of the vessel. A sudden decrease in the measured capacitance is observed when the freezing front advances past the ***, according to the capacitance variation, the ice movement can be reflected. In summary, electrical capacitance tomography has the advantages of being non-intrusive. With different electrode sensor arrangement, ice movement and ice freezing front can be obtained. The electrical capacitance sensor system can be applied to investigate the complicated phenomena in frozen soil.

关键词： Electrical Capacitance Tomography Ice-Water Interface Two-Phase Flows Frozen Soil