|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Accelerating an FPGA-Based SAT Solver by Software and Hardware Co-design显示文摘The Boolean Satisfiability (SAT) problem is the key problem in computer theory and application. Field-programmable gate array (FPGA) has been ad-dressed frequently to accelerate the SAT solving process in the last few years owing to its parallelism and flexibility. We have proposed a novel SAT solver based on an improved local search algorithm on the reconfigurable hardware platform. The new software preprocessing procedure and hardware architecture are involved to solve large-scale SAT problems instances. As compared with the past solvers, the proposed solver has the following advantages:the preprocessing technology can strongly improve the efficiency of solver;the strategy of strengthening the variable selection can avoid the same variable flipped continuously and repeatedly. It reduces the possibility of search falling into local minima. The experimental results indicate that the solver can solve problems of up to 32K variables/128K clauses without off-chip memory banks, and has better performance than previous works. | MA Kefan XIAO Liquan ZHANG Jianmin LI Tiejun | 2019 | Chinese Journal of Electronics2019，28，5： | 3 |
| 2 | Capacitive Imaging Technique for the Inspection of Composite Sucker Rod显示文摘Composite sucker rod has been extensively used due to its high strength, light weight and corrosion resistive nature. However, such composite sucker rod is diffcult for conventional non-destructive evaluation(NDE) techniques to inspect because of its complex material and/or structure. It is thus useful to embark research on developing novel NDE technique to comply the inspection requirement. This work demonstrates the feasibility of using the capacitive imaging(CI) technique for the inspection of composite sucker rod. Finite element(FE) models were constructed in COMSOL to simulate the detection of defects in the glass-fiber layer and on the carbon core surface. An FE Model based inversion method is proposed to obtain the profile of the carbon core. Preliminary CI experimental results are then presented, including the detection of surface wearing defect in the glass-fiber layer, and obtaining the profile of the carbon core. A set of accelerated aging experiments were also carried out and the results indicate that the CI technique is potentially useful in evaluating the ageing status of such composite sucker rod. The CI technique described in this work shows great potential to target some challenging tasks faced in the non-destructive evaluation of composite sucker rod, including quality control, defect detection and ageing assessment. | Kefan Wang Xiaokang Yin Chen Li Wei Li Guoming Chen | 2019 | Chinese Journal of Mechanical Engineering2019，32，6： | 2 |
| 3 | Valorizing carbon dioxide via electrochemical reduction on gas-diffusion electrodes显示文摘The electrochemical carbon dioxide(CO_(2))reduction provides a means to upgrade CO_(2)into value-added chemicals.When powered by renewable electric-ity,CO_(2)electroreduction holds the promise of chemical manufacturing with carbon neutrality.A commercially relevant CO_(2)electroreduction process should be highly selective and productive toward desired products,energetically efficient for power conversion,and stable for long-term operation.To achieve these goals,designing gas-diffusion catalytic electrodes and prototyping reactors built upon in-depth understandings of the reaction mechanisms are of para-mount importance.In this review,the fundamentals of gas-diffusion electrodes are briefly presented.Then,the most recent advances in developing high-performance CO_(2)reduction using gas-diffusion electrodes are overviewed.Reactor engineering aiming at enhancing productivity,energy efficiency,CO_(2)single-pass utilization,and operating lifetime is further discussed.Challenges in developing CO_(2)electroreduction systems are included.The prospects for advancing CO_(2)electroreduction toward practical applications are also narrated. | Yuqing Luo Kefan Zhang Yanguang Li Yuhang Wang | 2021 | InfoMat2021，3，12： | 1 |
| 4 | Influence and mechanism of solar radiation intensity on the interdecadal variability of strong Meiyu events during historical periods显示文摘Most recent studies on Meiyu over the middle and lower reaches of the Yangtze River(MLRYR)have focused on its interannual variability or the mechanism of certain abnormal events.The influence and physical mechanism of solar radiation intensity on the interdecadal frequency of strong Meiyu events over the MLRYR during historical periods were investigated using reconstructed precipitation data,reconstructed solar radiation data,and model simulation data.First,according to the solar radiation intensity,the Ming and Qing Dynasties(1470-1850)were divided into three periods of strong solar radiation and three periods of weak solar radiation.It was found that during the periods of strong solar radiation,the frequency of strong Meiyu events was significantly higher than that during the periods of weak solar radiation in the reconstructed precipitation data and model simulations.Mechanism analyses show that during the periods of strong solar radiation,the Western Pacific Subtropical High(WPSH)is stronger,and the blocking highs over the middle-high-latitudes are also stronger,which is conducive to the continuous convergence of the southward cold air and the northward warm and humid air flow at the MLRYR.Therefore,a circulation spatial pattern conducive to the occurrence of strong Meiyu events is then induced.The probability distributions of precipitation also show that,during periods of strong solar radiation,changes in circulation patterns cause the probability distribution of precipitation to shift significantly to the right,increasing the probability of strong Meiyu events occurring on the right side of the probability distribution. | Liulin WANG Liang NING Kefan CHEN Mi YAN Jian LIU Zhengyu LIU Yanmin QIN Jiao XUE Chuxin LI | 2023 | Science China Earth Sciences2023，66，2： | 0 |
| 5 | Tribological characteristics of dimpled surfaces filled with dopamine-modified MoS_(2)显示文摘To improve the tribological characteristics of dimples on the surface of 45 steel,the dimples were filled with MoS_(2)and MoS_(2)modified by dopamine(MoS_(2)@DA),and ball-disk friction and wear tests were conducted.Specifically,the dimple filling gap,abrasion depth,and surface cross-sectional area of 45 steel were measured.The wear morphology of the friction ball and exfoliation of MoS_(2)in the dimples and the bending characteristics of the specimens were studied.The surface friction coefficient of MoS_(2)@DA-filled specimen was 17.9%lower than MoS_(2)-filled specimen,and the dimple filling gap was 70.1%lower,the surface abrasion depth was 5.8%lower,and the abrasion cross-sectional area was 17.7%smaller.Moreover,the bending strength of the MoS_(2)@DA specimen was 3.27 times greater than that of the MoS_(2)specimen,and the exfoliation of MoS_(2)was slowed by filling with the MoS_(2)@DA.Finally,the tribological characteristics were also superior for the specimens prepared with MoS_(2)@DA. | Tuo Qin Aibing Yu Shuo Zhao Kefan Li Shaochun Qi Jiawang Ye | 2023 | Biosurface and Biotribology2023，9，4： | 0 |
| 6 | An Parallel FPGA SAT Solver Based on Multi-Thread and Pipeline显示文摘The Boolean Satisfiability(SAT) problem is the key problem in computer theory and application. A parallel multi-thread SAT solver named pprob SAT+ on a configurable hardware is proposed. In the algorithm,multithreads are executed simultaneously to hide the circuit stagnate. In order to improve the working frequency and throughput of the SAT solver, the deep pipeline strategy is adopted. When all data stored in block random access memory of the field programmable gate array, the solver can achieve maximum performance. If partial data are stored in the external memory, the size of the problem instances the SAT solver can be greatly improved. The experimental results show that the speedup of three-thread SAT solver is approximately 2.4 times with single thread,and shows that the pprob SAT+ have achieved substantial improvement while a solution is found. | LI Tiejun MA Kefan ZHANG Jianmin | 2021 | Chinese Journal of Electronics2021，30，6： | 0 |
| 7 | Dissociation of edge and screw pyramidal Ⅰ and Ⅱ dislocations in magnesium显示文摘Pyramidal dislocations in magnesium (Mg) and other hexagonal close-packed metals play an important role in accommodating plastic strains along the c-axis.Bulk single crystal Mg only presents very limited plasticity in c-axis compression,and this behavior was attributed to out-of-plane dissociation of pyramidal dislocations onto the basal plane and resulted in an immobile dislocation configuration.In contrast,other simulations and experiments reported in-plane dissociation of pyramidal dislocations on their slip planes.Thus,the core structure and mode of dissociation of pyramidal dislocations are still not well understood.To better understand the dissociation behavior of pyramidal dislocations in Mg at room temperature,in this work,atomistic simulations were conducted to investigate four types of pyramidal dislocations at 300 K:edge and screw Py-Ⅰ on{1011},edge and screw Py-Ⅱ on{1122}by using a modified embedded atom method (MEAM) potential for Mg and anisotropic elasticity dislocation model.The results show that when energy minimization was performed before relaxation,in-plane dissociation of edge dislocations on respective pyramidal plane could be obtained at room temperature for all four types of dislocation.Without energy minimization,the edge dislocations dissociated out-of-plane onto the basal plane.Calculations of potential energy and hydrostatic stress of individual atoms at the edge dislocation core show that the extraordinarily high energy and atomic stresses in the as-constructed dislocation structures caused the out-of-plane dissociation onto the basal plane.The core structures of all four types of pyramidal dislocation after in-plane dissociation were analyzed by computing the distribution of the Burgers vector. | Yang Yang Fei Liu Kefan Chen Boyu Liu Zhiwei Shan Bin Li | 2023 | Journal of Magnesium and Alloys2023，11，12： | 0 |
| 8 | Reduced-search guessing random additive noise decoding of polar codes显示文摘Guessing random additive noise decoding(GRAND) has attracted researchers since its introduction in [1]. For an additive noise channel with hard decision output, the algorithm checks all error patterns, and it schedules its search in descending likelihood order. | Kefan WANG Yuejun WEI Zhenyuan CHEN Huarui YIN Liping LI Wenyi ZHANG | 2023 | Science China(Information Sciences)2023，66，2： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员