The rapid growth of neutron flux has driven the development of^(3)He-free neutron detectors to satisfy the requirements of the neutron scattering instruments under construction or planned at the China Spallation Neutr...The rapid growth of neutron flux has driven the development of^(3)He-free neutron detectors to satisfy the requirements of the neutron scattering instruments under construction or planned at the China Spallation Neutron Source(CSNS).Position-sensitive neutron detectors with a high counting rate and large area play an important role in the instruments performing neutron measurements in or close to the direct beam.The ceramic gas-electron-multiplier(GEM)detector serves as a promising solution,and considerable work has been done using the small-area GEM neutron detectors.In this article,we designed and constructed a detector prototype utilizing ceramic GEM foils with an effective area of about307 mm×307 mm.To evaluate and investigate their basic characteristics,the Monte Carlo(MC)tool FLUKA was employed and several neutron beam tests were conducted at CSNS.The simulated spatial resolution was basically in agreement with the measured value of 2.50±0.01 mm(FWHM).The wavelength spectra measurement was verified through comparisons with a commercial beam monitor.In addition,a detection efficiency of 4.7±0.1%was achieved for monoenergetic neutrons of 1.59 A wavelength.This is consistent with the simulated result.The results indicate that the large-area ceramic GEM detector is a good candidate to implement neutron beam measurements.Its efficiency can be improved in a cascading manner to approach that reached by traditional^(3)He detectors.展开更多
In the paper,we introduce some of multipliers on residuated lattices and investigate the relations among them.First,basing on the properties of multipliers,we show that the set of all multiplicative multipliers on a r...In the paper,we introduce some of multipliers on residuated lattices and investigate the relations among them.First,basing on the properties of multipliers,we show that the set of all multiplicative multipliers on a residuated lattice A forms a residuated lattice which is isomorphic to A.Second,we prove that the set of all total multipliers on A is a Boolean subalgebra of the residuated lattice(which is constituted by all multiplicative multipliers on A)and is isomorphic to the Boolean center of A.Moreover,by partial multipliers,we study the maximal residuated lattices of quotients for residuated lattices.Finally,we focus on principal implicative multipliers on residuated lattices and obtain that the set of principal implicative multipliers on A is isomorphic to the set of all multiplicative multipliers on A under the opposite(dual)order.展开更多
The paper firstly represents two kind statements of China money multipliers and theoretically analyzes the relationship between each structure factor and China money multiplier. Secondly, it summarizes the several fea...The paper firstly represents two kind statements of China money multipliers and theoretically analyzes the relationship between each structure factor and China money multiplier. Secondly, it summarizes the several features and the move trends of China narrow and broad money multipliers and their structure factors. Thirdly, the paper empirically analyzes how and what degree the each structure factor affects China narrow and broad money multipliers holding everything else constant. At last two important conclusions are got, that is, the required reserve ratio is the most associated with China money multipliers and the saving deposit ratio is more associated with that, the required reserve ratio and the interest rates can be used as the ways of affecting money aggregate by the People＇s Bank of China.展开更多
A novel algorithm, i.e. the fast alternating direction method of multipliers （ADMM）, is applied to solve the classical total-variation （ TV ）-based model for image reconstruction. First, the TV-based model is refo...A novel algorithm, i.e. the fast alternating direction method of multipliers （ADMM）, is applied to solve the classical total-variation （ TV ）-based model for image reconstruction. First, the TV-based model is reformulated as a linear equality constrained problem where the objective function is separable. Then, by introducing the augmented Lagrangian function, the two variables are alternatively minimized by the Gauss-Seidel idea. Finally, the dual variable is updated. Because the approach makes full use of the special structure of the problem and decomposes the original problem into several low-dimensional sub-problems, the per iteration computational complexity of the approach is dominated by two fast Fourier transforms. Elementary experimental results indicate that the proposed approach is more stable and efficient compared with some state-of-the-art algorithms.展开更多
In this article, we have given the definition of the relative double multiplier (quasi-multiplier) on a ternary algebra,and studied the isomorphic problem of the multiplier algebra M(A,e) of a ternary algerbra A.
This paper presents a new kind of macromodel of OTA,which can be used to solve the problem in which the two port macromodel couldnt reflect some functions of the OTA.The new model also opens up a new way for the simu...This paper presents a new kind of macromodel of OTA,which can be used to solve the problem in which the two port macromodel couldnt reflect some functions of the OTA.The new model also opens up a new way for the simulation of the OTA circuit.This paper discusses the way of designing this model and simulating it in SPICE.The result proves its reasonable design and its simplicity in structure.In the application of this model,we design a complete symmetric double differential quarter square OTA multiplying unit by using four three port OTA macromodels.It successfully solved the problem of the unsymmetry of two input ports in an OTA multiplying unit.This result fully agrees with the experiment.展开更多
DSP operation in a Biomedical related therapeutic hardware need to beperformed with high accuracy and with high speed. Portable DSP hardware’s likepulse/heart beat detectors must perform with reduced operational powe...DSP operation in a Biomedical related therapeutic hardware need to beperformed with high accuracy and with high speed. Portable DSP hardware’s likepulse/heart beat detectors must perform with reduced operational power due to lack ofconventional power sources. This work proposes a hybrid biomedical hardware chip inwhich the speed and power utilization factors are greatly improved. Multipliers are thecore operational unit of any DSP SoC. This work proposes a LUT based unsignedmultiplication which is proven to be efficient in terms of high operating speed. For n bitinput multiplication n*n memory array of 2 n bit size is required to memorize all thepossible input and output combination. Various literature works claims to be achieve highspeed multiplication with reduced LUT size by integrating a barrel shifter mechanism.This paper work address this problem, by reworking the multiplier architecture with aparallel operating pre-processing unit which used to change the multiplier and multiplicandorder with respect to the number of computational addition and subtraction stages required.Along with LUT multiplier a low power bus encoding scheme is integrated to limit the powerconstraint of the on chip DSP unit. This paper address both the speed and power optimizationtechniques and tested with various FPGA device families.展开更多
Let G be a group and （A, B） be a pair of multiplier Hopf algebras, where B is regular G-cograded. Let π be a crossing action of G on B, D^π=A^cop∝B=＋p∈GDπ^p with Dπ^p=A^cop∝Bp, is the Drinfeld double of the ...Let G be a group and （A, B） be a pair of multiplier Hopf algebras, where B is regular G-cograded. Let π be a crossing action of G on B, D^π=A^cop∝B=＋p∈GDπ^p with Dπ^p=A^cop∝Bp, is the Drinfeld double of the pair （A, B）, and then the deformation D^π becomes a multiplier Hopf algebra. B×A can be considered as a subalgebra of M（D^π×D^π）, the image of element b×a in B×A is （1∝b）×（a∝1） in M（D^π×D^π）. Let W =∑αWα∈ M（B×A） be a π-canonical multiplier for the pair （A, B） with Wα∈M（Bα×A） for all α∈G. The image of W in M（D^π×D^π）is a π-quasitriangular structure over D^π.展开更多
Let Q n denote the class of all polynomials p(z) nonvanishing in the unit disk with deg p≤n and p (0)=1, and let W n denote the class of all polynomials s(z) satisfying deg s≤n and for all...Let Q n denote the class of all polynomials p(z) nonvanishing in the unit disk with deg p≤n and p (0)=1, and let W n denote the class of all polynomials s(z) satisfying deg s≤n and for all p∈Q n, s*p∈Q n , where * denotes the Hadamard product. Some properties for W n and Q n are obtained.展开更多
Chemical process optimization can be described as large-scale nonlinear constrained minimization. The modified augmented Lagrange multiplier methods (MALMM) for large-scale nonlinear constrained minimization are studi...Chemical process optimization can be described as large-scale nonlinear constrained minimization. The modified augmented Lagrange multiplier methods (MALMM) for large-scale nonlinear constrained minimization are studied in this paper. The Lagrange function contains the penalty terms on equality and inequality constraints and the methods can be applied to solve a series of bound constrained sub-problems instead of a series of unconstrained sub-problems. The steps of the methods are examined in full detail. Numerical experiments are made for a variety of problems, from small to very large-scale, which show the stability and effectiveness of the methods in large-scale problems.展开更多
In this article we introduce the paranormed sequence spaces （f,A, Am,p）, c0（f,A,Am,p） and L00（f,A, Am,p）, associated with the multiplier sequence ∧ = （hk）, defined by a modulus function f. We study their diff...In this article we introduce the paranormed sequence spaces （f,A, Am,p）, c0（f,A,Am,p） and L00（f,A, Am,p）, associated with the multiplier sequence ∧ = （hk）, defined by a modulus function f. We study their different properties like solidness, symmetricity, completeness etc. and prove some inclusion results.展开更多
Testing of a triple gas electron multiplier （GEM） with pixel-pads is described. Images by scanning and suspending radioactive sources were obtained by using 96 channels digital data acquisition （DAQ） system which ...Testing of a triple gas electron multiplier （GEM） with pixel-pads is described. Images by scanning and suspending radioactive sources were obtained by using 96 channels digital data acquisition （DAQ） system which was composed of 96 8×8 mm2 pads and associated electronics channels.展开更多
In this paper, a unified matrix recovery model was proposed for diverse corrupted matrices. Resulting from the separable structure of the proposed model, the convex optimization problem can be solved efficiently by ad...In this paper, a unified matrix recovery model was proposed for diverse corrupted matrices. Resulting from the separable structure of the proposed model, the convex optimization problem can be solved efficiently by adopting an inexact augmented Lagrange multiplier (IALM) method. Additionally, a random projection accelerated technique (IALM+RP) was adopted to improve the success rate. From the preliminary numerical comparisons, it was indicated that for the standard robust principal component analysis (PCA) problem, IALM+RP was at least two to six times faster than IALM with an insignificant reduction in accuracy; and for the outlier pursuit (OP) problem, IALM+RP was at least 6.9 times faster, even up to 8.3 times faster when the size of matrix was 2 000×2 000.展开更多
Reduction of conservatism is one of the key and difficult problems in missile robust gain scheduling autopilot design based on multipliers.This article presents a scheme of adopting linear parameter-varying（LPV） con...Reduction of conservatism is one of the key and difficult problems in missile robust gain scheduling autopilot design based on multipliers.This article presents a scheme of adopting linear parameter-varying（LPV） control approach with full block multipliers to design a missile robust gain scheduling autopilot in order to eliminate conservatism.A model matching design structure with a high demand on matching precision is constructed based on the missile linear fractional transformation（LFT） model.By applying full block S-procedure and elimination lemma,a convex feasibility problem with an infinite number of constraints is formulated to satisfy robust quadratic performance specifications.Then a grid method is adopted to transform the infinite-dimensional convex feasibility problem into a solvable finite-dimensional convex feasibility problem,based on which a gain scheduling controller with linear fractional dependence on the flight Mach number and altitude is derived.Static and dynamic simulation results show the effectiveness and feasibility of the proposed scheme.展开更多
Electrical capacitance tomography(ECT)has been applied to two-phase flow measurement in recent years.Image reconstruction algorithms play an important role in the successful applications of ECT.To solve the ill-posed ...Electrical capacitance tomography(ECT)has been applied to two-phase flow measurement in recent years.Image reconstruction algorithms play an important role in the successful applications of ECT.To solve the ill-posed and nonlinear inverse problem of ECT image reconstruction,a new ECT image reconstruction method based on fast linearized alternating direction method of multipliers(FLADMM)is proposed in this paper.On the basis of theoretical analysis of compressed sensing(CS),the data acquisition of ECT is regarded as a linear measurement process of permittivity distribution signal of pipe section.A new measurement matrix is designed and L1 regularization method is used to convert ECT inverse problem to a convex relaxation problem which contains prior knowledge.A new fast alternating direction method of multipliers which contained linearized idea is employed to minimize the objective function.Simulation data and experimental results indicate that compared with other methods,the quality and speed of reconstructed images are markedly improved.Also,the dynamic experimental results indicate that the proposed algorithm can ful fill the real-time requirement of ECT systems in the application.展开更多
The distributed Lagrange multiplier/fictitious domain(DLM/FD)-mixed finite element method is developed and analyzed in this paper for a transient Stokes interface problem with jump coefficients.The semi-and fully disc...The distributed Lagrange multiplier/fictitious domain(DLM/FD)-mixed finite element method is developed and analyzed in this paper for a transient Stokes interface problem with jump coefficients.The semi-and fully discrete DLM/FD-mixed finite element scheme are developed for the first time for this problem with a moving interface,where the arbitrary Lagrangian-Eulerian(ALE)technique is employed to deal with the moving and immersed subdomain.Stability and optimal convergence properties are obtained for both schemes.Numerical experiments are carried out for different scenarios of jump coefficients,and all theoretical results are validated.展开更多
In this paper, we consider the convergence of the generalized alternating direction method of multipliers（GADMM） for solving linearly constrained nonconvex minimization model whose objective contains coupled functio...In this paper, we consider the convergence of the generalized alternating direction method of multipliers（GADMM） for solving linearly constrained nonconvex minimization model whose objective contains coupled functions. Under the assumption that the augmented Lagrangian function satisfies the Kurdyka-Lojasiewicz inequality, we prove that the sequence generated by the GADMM converges to a critical point of the augmented Lagrangian function when the penalty parameter in the augmented Lagrangian function is sufficiently large. Moreover, we also present some sufficient conditions guaranteeing the sublinear and linear rate of convergence of the algorithm.展开更多
With the continuous development of deep learning,Deep Convolutional Neural Network(DCNN)has attracted wide attention in the industry due to its high accuracy in image classification.Compared with other DCNN hard-ware ...With the continuous development of deep learning,Deep Convolutional Neural Network(DCNN)has attracted wide attention in the industry due to its high accuracy in image classification.Compared with other DCNN hard-ware deployment platforms,Field Programmable Gate Array(FPGA)has the advantages of being programmable,low power consumption,parallelism,and low cost.However,the enormous amount of calculation of DCNN and the limited logic capacity of FPGA restrict the energy efficiency of the DCNN accelerator.The traditional sequential sliding window method can improve the throughput of the DCNN accelerator by data multiplexing,but this method’s data multiplexing rate is low because it repeatedly reads the data between rows.This paper proposes a fast data readout strategy via the circular sliding window data reading method,it can improve the multiplexing rate of data between rows by optimizing the memory access order of input data.In addition,the multiplication bit width of the DCNN accelerator is much smaller than that of the Digital Signal Processing(DSP)on the FPGA,which means that there will be a waste of resources if a multiplication uses a single DSP.A multiplier sharing strategy is proposed,the multiplier of the accelerator is customized so that a single DSP block can complete multiple groups of 4,6,and 8-bit signed multiplication in parallel.Finally,based on two strategies of appeal,an FPGA optimized accelerator is proposed.The accelerator is customized by Verilog language and deployed on Xilinx VCU118.When the accelerator recognizes the CIRFAR-10 dataset,its energy efficiency is 39.98 GOPS/W,which provides 1.73×speedup energy efficiency over previous DCNN FPGA accelerators.When the accelerator recognizes the IMAGENET dataset,its energy efficiency is 41.12 GOPS/W,which shows 1.28×−3.14×energy efficiency compared with others.展开更多
基金Project supported by the National Key R&D Program of China(Grant No.2023YFC2206502)the National Natural Science Foundation of China(Grant Nos.12175254 and 12227810)+1 种基金Guangdong Major Project of Basic and Applied Basic Research(Grant No.2023B0303000003)Guangdong Provincial Key Laboratory of Advanced Particle Detection Technology(Grant No.2024B1212010005)。
文摘The rapid growth of neutron flux has driven the development of^(3)He-free neutron detectors to satisfy the requirements of the neutron scattering instruments under construction or planned at the China Spallation Neutron Source(CSNS).Position-sensitive neutron detectors with a high counting rate and large area play an important role in the instruments performing neutron measurements in or close to the direct beam.The ceramic gas-electron-multiplier(GEM)detector serves as a promising solution,and considerable work has been done using the small-area GEM neutron detectors.In this article,we designed and constructed a detector prototype utilizing ceramic GEM foils with an effective area of about307 mm×307 mm.To evaluate and investigate their basic characteristics,the Monte Carlo(MC)tool FLUKA was employed and several neutron beam tests were conducted at CSNS.The simulated spatial resolution was basically in agreement with the measured value of 2.50±0.01 mm(FWHM).The wavelength spectra measurement was verified through comparisons with a commercial beam monitor.In addition,a detection efficiency of 4.7±0.1%was achieved for monoenergetic neutrons of 1.59 A wavelength.This is consistent with the simulated result.The results indicate that the large-area ceramic GEM detector is a good candidate to implement neutron beam measurements.Its efficiency can be improved in a cascading manner to approach that reached by traditional^(3)He detectors.
基金supported by the National Natural Science Foundation of China(11531009).
文摘In the paper,we introduce some of multipliers on residuated lattices and investigate the relations among them.First,basing on the properties of multipliers,we show that the set of all multiplicative multipliers on a residuated lattice A forms a residuated lattice which is isomorphic to A.Second,we prove that the set of all total multipliers on A is a Boolean subalgebra of the residuated lattice(which is constituted by all multiplicative multipliers on A)and is isomorphic to the Boolean center of A.Moreover,by partial multipliers,we study the maximal residuated lattices of quotients for residuated lattices.Finally,we focus on principal implicative multipliers on residuated lattices and obtain that the set of principal implicative multipliers on A is isomorphic to the set of all multiplicative multipliers on A under the opposite(dual)order.
文摘The paper firstly represents two kind statements of China money multipliers and theoretically analyzes the relationship between each structure factor and China money multiplier. Secondly, it summarizes the several features and the move trends of China narrow and broad money multipliers and their structure factors. Thirdly, the paper empirically analyzes how and what degree the each structure factor affects China narrow and broad money multipliers holding everything else constant. At last two important conclusions are got, that is, the required reserve ratio is the most associated with China money multipliers and the saving deposit ratio is more associated with that, the required reserve ratio and the interest rates can be used as the ways of affecting money aggregate by the People＇s Bank of China.
基金The Scientific Research Foundation of Nanjing University of Posts and Telecommunications(No.NY210049)
文摘A novel algorithm, i.e. the fast alternating direction method of multipliers （ADMM）, is applied to solve the classical total-variation （ TV ）-based model for image reconstruction. First, the TV-based model is reformulated as a linear equality constrained problem where the objective function is separable. Then, by introducing the augmented Lagrangian function, the two variables are alternatively minimized by the Gauss-Seidel idea. Finally, the dual variable is updated. Because the approach makes full use of the special structure of the problem and decomposes the original problem into several low-dimensional sub-problems, the per iteration computational complexity of the approach is dominated by two fast Fourier transforms. Elementary experimental results indicate that the proposed approach is more stable and efficient compared with some state-of-the-art algorithms.
文摘In this article, we have given the definition of the relative double multiplier (quasi-multiplier) on a ternary algebra,and studied the isomorphic problem of the multiplier algebra M(A,e) of a ternary algerbra A.
文摘This paper presents a new kind of macromodel of OTA,which can be used to solve the problem in which the two port macromodel couldnt reflect some functions of the OTA.The new model also opens up a new way for the simulation of the OTA circuit.This paper discusses the way of designing this model and simulating it in SPICE.The result proves its reasonable design and its simplicity in structure.In the application of this model,we design a complete symmetric double differential quarter square OTA multiplying unit by using four three port OTA macromodels.It successfully solved the problem of the unsymmetry of two input ports in an OTA multiplying unit.This result fully agrees with the experiment.
文摘DSP operation in a Biomedical related therapeutic hardware need to beperformed with high accuracy and with high speed. Portable DSP hardware’s likepulse/heart beat detectors must perform with reduced operational power due to lack ofconventional power sources. This work proposes a hybrid biomedical hardware chip inwhich the speed and power utilization factors are greatly improved. Multipliers are thecore operational unit of any DSP SoC. This work proposes a LUT based unsignedmultiplication which is proven to be efficient in terms of high operating speed. For n bitinput multiplication n*n memory array of 2 n bit size is required to memorize all thepossible input and output combination. Various literature works claims to be achieve highspeed multiplication with reduced LUT size by integrating a barrel shifter mechanism.This paper work address this problem, by reworking the multiplier architecture with aparallel operating pre-processing unit which used to change the multiplier and multiplicandorder with respect to the number of computational addition and subtraction stages required.Along with LUT multiplier a low power bus encoding scheme is integrated to limit the powerconstraint of the on chip DSP unit. This paper address both the speed and power optimizationtechniques and tested with various FPGA device families.
基金Specialized Research Fund for the Doctoral Program of Higher Education(No20060286006)the National Natural Science Foundation of China(No10871042)
文摘Let G be a group and （A, B） be a pair of multiplier Hopf algebras, where B is regular G-cograded. Let π be a crossing action of G on B, D^π=A^cop∝B=＋p∈GDπ^p with Dπ^p=A^cop∝Bp, is the Drinfeld double of the pair （A, B）, and then the deformation D^π becomes a multiplier Hopf algebra. B×A can be considered as a subalgebra of M（D^π×D^π）, the image of element b×a in B×A is （1∝b）×（a∝1） in M（D^π×D^π）. Let W =∑αWα∈ M（B×A） be a π-canonical multiplier for the pair （A, B） with Wα∈M（Bα×A） for all α∈G. The image of W in M（D^π×D^π）is a π-quasitriangular structure over D^π.
文摘Let Q n denote the class of all polynomials p(z) nonvanishing in the unit disk with deg p≤n and p (0)=1, and let W n denote the class of all polynomials s(z) satisfying deg s≤n and for all p∈Q n, s*p∈Q n , where * denotes the Hadamard product. Some properties for W n and Q n are obtained.
文摘Chemical process optimization can be described as large-scale nonlinear constrained minimization. The modified augmented Lagrange multiplier methods (MALMM) for large-scale nonlinear constrained minimization are studied in this paper. The Lagrange function contains the penalty terms on equality and inequality constraints and the methods can be applied to solve a series of bound constrained sub-problems instead of a series of unconstrained sub-problems. The steps of the methods are examined in full detail. Numerical experiments are made for a variety of problems, from small to very large-scale, which show the stability and effectiveness of the methods in large-scale problems.
文摘In this article we introduce the paranormed sequence spaces （f,A, Am,p）, c0（f,A,Am,p） and L00（f,A, Am,p）, associated with the multiplier sequence ∧ = （hk）, defined by a modulus function f. We study their different properties like solidness, symmetricity, completeness etc. and prove some inclusion results.
文摘Testing of a triple gas electron multiplier （GEM） with pixel-pads is described. Images by scanning and suspending radioactive sources were obtained by using 96 channels digital data acquisition （DAQ） system which was composed of 96 8×8 mm2 pads and associated electronics channels.
基金Supported by National Natural Science Foundation of China (No.51275348)College Students Innovation and Entrepreneurship Training Program of Tianjin University (No.201210056339)
文摘In this paper, a unified matrix recovery model was proposed for diverse corrupted matrices. Resulting from the separable structure of the proposed model, the convex optimization problem can be solved efficiently by adopting an inexact augmented Lagrange multiplier (IALM) method. Additionally, a random projection accelerated technique (IALM+RP) was adopted to improve the success rate. From the preliminary numerical comparisons, it was indicated that for the standard robust principal component analysis (PCA) problem, IALM+RP was at least two to six times faster than IALM with an insignificant reduction in accuracy; and for the outlier pursuit (OP) problem, IALM+RP was at least 6.9 times faster, even up to 8.3 times faster when the size of matrix was 2 000×2 000.
文摘Reduction of conservatism is one of the key and difficult problems in missile robust gain scheduling autopilot design based on multipliers.This article presents a scheme of adopting linear parameter-varying（LPV） control approach with full block multipliers to design a missile robust gain scheduling autopilot in order to eliminate conservatism.A model matching design structure with a high demand on matching precision is constructed based on the missile linear fractional transformation（LFT） model.By applying full block S-procedure and elimination lemma,a convex feasibility problem with an infinite number of constraints is formulated to satisfy robust quadratic performance specifications.Then a grid method is adopted to transform the infinite-dimensional convex feasibility problem into a solvable finite-dimensional convex feasibility problem,based on which a gain scheduling controller with linear fractional dependence on the flight Mach number and altitude is derived.Static and dynamic simulation results show the effectiveness and feasibility of the proposed scheme.
基金Supported by the National Natural Science Foundation of China(61203021)the Key Science and Technology Program of Liaoning Province(2011216011)+1 种基金the Natural Science Foundation of Liaoning Province(2013020024)the Program for Liaoning Excellent Talents in Universities(LJQ2015061)
文摘Electrical capacitance tomography(ECT)has been applied to two-phase flow measurement in recent years.Image reconstruction algorithms play an important role in the successful applications of ECT.To solve the ill-posed and nonlinear inverse problem of ECT image reconstruction,a new ECT image reconstruction method based on fast linearized alternating direction method of multipliers(FLADMM)is proposed in this paper.On the basis of theoretical analysis of compressed sensing(CS),the data acquisition of ECT is regarded as a linear measurement process of permittivity distribution signal of pipe section.A new measurement matrix is designed and L1 regularization method is used to convert ECT inverse problem to a convex relaxation problem which contains prior knowledge.A new fast alternating direction method of multipliers which contained linearized idea is employed to minimize the objective function.Simulation data and experimental results indicate that compared with other methods,the quality and speed of reconstructed images are markedly improved.Also,the dynamic experimental results indicate that the proposed algorithm can ful fill the real-time requirement of ECT systems in the application.
基金P.Sun was supported by NSF Grant DMS-1418806C.S.Zhang was partially supported by the National Key Research and Development Program of China(Grant No.2016YFB0201304)+1 种基金the Major Research Plan of National Natural Science Foundation of China(Grant Nos.91430215,91530323)the Key Research Program of Frontier Sciences of CAS.
文摘The distributed Lagrange multiplier/fictitious domain(DLM/FD)-mixed finite element method is developed and analyzed in this paper for a transient Stokes interface problem with jump coefficients.The semi-and fully discrete DLM/FD-mixed finite element scheme are developed for the first time for this problem with a moving interface,where the arbitrary Lagrangian-Eulerian(ALE)technique is employed to deal with the moving and immersed subdomain.Stability and optimal convergence properties are obtained for both schemes.Numerical experiments are carried out for different scenarios of jump coefficients,and all theoretical results are validated.
基金Supported by the National Natural Science Foundation of China(Grant Nos.1157117811801455)the Fundamental Research Funds of China West Normal University(Grant No.17E084)
文摘In this paper, we consider the convergence of the generalized alternating direction method of multipliers（GADMM） for solving linearly constrained nonconvex minimization model whose objective contains coupled functions. Under the assumption that the augmented Lagrangian function satisfies the Kurdyka-Lojasiewicz inequality, we prove that the sequence generated by the GADMM converges to a critical point of the augmented Lagrangian function when the penalty parameter in the augmented Lagrangian function is sufficiently large. Moreover, we also present some sufficient conditions guaranteeing the sublinear and linear rate of convergence of the algorithm.
基金supported in part by the Major Program of the Ministry of Science and Technology of China under Grant 2019YFB2205102in part by the National Natural Science Foundation of China under Grant 61974164,62074166,61804181,62004219,62004220,62104256.
文摘With the continuous development of deep learning,Deep Convolutional Neural Network(DCNN)has attracted wide attention in the industry due to its high accuracy in image classification.Compared with other DCNN hard-ware deployment platforms,Field Programmable Gate Array(FPGA)has the advantages of being programmable,low power consumption,parallelism,and low cost.However,the enormous amount of calculation of DCNN and the limited logic capacity of FPGA restrict the energy efficiency of the DCNN accelerator.The traditional sequential sliding window method can improve the throughput of the DCNN accelerator by data multiplexing,but this method’s data multiplexing rate is low because it repeatedly reads the data between rows.This paper proposes a fast data readout strategy via the circular sliding window data reading method,it can improve the multiplexing rate of data between rows by optimizing the memory access order of input data.In addition,the multiplication bit width of the DCNN accelerator is much smaller than that of the Digital Signal Processing(DSP)on the FPGA,which means that there will be a waste of resources if a multiplication uses a single DSP.A multiplier sharing strategy is proposed,the multiplier of the accelerator is customized so that a single DSP block can complete multiple groups of 4,6,and 8-bit signed multiplication in parallel.Finally,based on two strategies of appeal,an FPGA optimized accelerator is proposed.The accelerator is customized by Verilog language and deployed on Xilinx VCU118.When the accelerator recognizes the CIRFAR-10 dataset,its energy efficiency is 39.98 GOPS/W,which provides 1.73×speedup energy efficiency over previous DCNN FPGA accelerators.When the accelerator recognizes the IMAGENET dataset,its energy efficiency is 41.12 GOPS/W,which shows 1.28×−3.14×energy efficiency compared with others.
