Full waveform inversion(FWI)is an extremely important velocity-model-building method.However,it involves a large amount of calculation,which hindsers its practical application.The multi-source technology can reduce th...Full waveform inversion(FWI)is an extremely important velocity-model-building method.However,it involves a large amount of calculation,which hindsers its practical application.The multi-source technology can reduce the number of forward modeling shots during the inversion process,thereby improving the efficiency.However,it introduces crossnoise problems.In this paper,we propose a sparse constrained encoding multi-source FWI method based on K-SVD dictionary learning.The phase encoding technology is introduced to reduce crosstalk noise,whereas the K-SVD dictionary learning method is used to obtain the basis of the transformation according to the characteristics of the inversion results.The multiscale inversion method is adopted to further enhance the stability of FWI.Finally,the synthetic subsag model and the Marmousi model are set to test the effectiveness of the newly proposed method.Analysis of the results suggest the following:(1)The new method can effectively reduce the computational complexity of FWI while ensuring inversion accuracy and stability;(2)The proposed method can be combined with the time-domain multi-scale FWI strategy flexibly to further avoid the local minimum and to improve the stability of inversion,which is of significant importance for the inversion of the complex model.展开更多
The accuracy of parameter estimation is critical when digitally modeling a ship. A parameter estimation method with constraints was developed, based on the variational method. Performance functions and constraint equa...The accuracy of parameter estimation is critical when digitally modeling a ship. A parameter estimation method with constraints was developed, based on the variational method. Performance functions and constraint equations in the variational method are constructed by analyzing input and output equations of the system. The problem of parameter estimation was transformed into a problem of least squares estimation. The parameter estimation equation was analyzed in order to get an optimized estimation of parameters based on the Lagrange multiplication operator. Simulation results showed that this method is better than the traditional least squares estimation, producing a higher precision when identifying parameters. It has very important practical value in areas of application such as system identification and parameter estimation.展开更多
The standard method to construct a finite field requires a primitive irreducible polynomial of a given degree. Therefore, it is difficult to apply for the construction of huge finite fields. To avoid this problem, we ...The standard method to construct a finite field requires a primitive irreducible polynomial of a given degree. Therefore, it is difficult to apply for the construction of huge finite fields. To avoid this problem, we propose a new method to construct huge finite fields with the characteristic p = 5 by using an Artin-Schreier tower. Utilizing the recursive basis of the Artin-Schreier tower, we define a nmltiplication algorithm The algorithm can explicitly calculate the multiplication of two elements on the top finite field of this tower, without any primitive element. We also define a linear recurrence equation as an application, which produces a sequence of numbers, and call the new pseudorandom number generator Abstract Syntax Tree （AST） for p = 5. The experircental results show that our new pseudorandom number generator can produce a sequence of numbers with a long period.展开更多
Embryonic stem cells （ESCs） maintain their cellular identity through the systematic regulation of master transcription factors and chromatin remodeling complexes. Recent work has shown that the unusually large-scale...Embryonic stem cells （ESCs） maintain their cellular identity through the systematic regulation of master transcription factors and chromatin remodeling complexes. Recent work has shown that the unusually large-scale enhancers-namely super-enhancers （SEs）, on which BRD4, a member of the bromodomain and extraterminal domain （BET） family is highly enriched-could regulate pluripotency-related transcrip- tion factors. Moreover, inhibition of BRD4 binding on SEs has been shown to induce the differentiation of ESCs. However, the underlying mechanism of BRD4 inhibition-mediated stern cell differentiation remains elusive. Here we show that both mouse and human ESCs lose their capacity for self-renewal upon treat- ment with JQ1, a selective inhibitor of BET family including BRD4, with rapid suppression of pluripotency-associated genes. Notably, a high concentration of JQI could selectively eliminate ESCs via apoptosis, without affecting the functionality of differentiated somatic cells from ESCs, suggesting that inhibition of BET may have a beneficial effect on the development of pluripotent stem cell-based cell therapy.展开更多
It is a well-known fact that characters of a finite group can give important information about the structure of the group. It was also proved by the third author that a finite simple group can be uniquely determined b...It is a well-known fact that characters of a finite group can give important information about the structure of the group. It was also proved by the third author that a finite simple group can be uniquely determined by its character table. Here the authors attempt to investigate how to characterize a finite almost-simple group by using less information of its character table, and successfully characterize the automorphism groups of Mathieu groups by their orders their character tables. and at most two irreducible character degrees of展开更多
基金jointly supported by the National Science and Technology Major Project(Nos.2016ZX05002-005-07HZ,2016ZX05014-001-008HZ,and 2016ZX05026-002-002HZ)National Natural Science Foundation of China(Nos.41720104006 and 41274124)+2 种基金Chinese Academy of Sciences Strategic Pilot Technology Special Project(A)(No.XDA14010303)Shandong Province Innovation Project(No.2017CXGC1602)Independent Innovation(No.17CX05011)。
文摘Full waveform inversion(FWI)is an extremely important velocity-model-building method.However,it involves a large amount of calculation,which hindsers its practical application.The multi-source technology can reduce the number of forward modeling shots during the inversion process,thereby improving the efficiency.However,it introduces crossnoise problems.In this paper,we propose a sparse constrained encoding multi-source FWI method based on K-SVD dictionary learning.The phase encoding technology is introduced to reduce crosstalk noise,whereas the K-SVD dictionary learning method is used to obtain the basis of the transformation according to the characteristics of the inversion results.The multiscale inversion method is adopted to further enhance the stability of FWI.Finally,the synthetic subsag model and the Marmousi model are set to test the effectiveness of the newly proposed method.Analysis of the results suggest the following:(1)The new method can effectively reduce the computational complexity of FWI while ensuring inversion accuracy and stability;(2)The proposed method can be combined with the time-domain multi-scale FWI strategy flexibly to further avoid the local minimum and to improve the stability of inversion,which is of significant importance for the inversion of the complex model.
基金Supported by the Navy Equipment Department Foundation under Grant No. 2009(189)
文摘The accuracy of parameter estimation is critical when digitally modeling a ship. A parameter estimation method with constraints was developed, based on the variational method. Performance functions and constraint equations in the variational method are constructed by analyzing input and output equations of the system. The problem of parameter estimation was transformed into a problem of least squares estimation. The parameter estimation equation was analyzed in order to get an optimized estimation of parameters based on the Lagrange multiplication operator. Simulation results showed that this method is better than the traditional least squares estimation, producing a higher precision when identifying parameters. It has very important practical value in areas of application such as system identification and parameter estimation.
基金supported by Overseas Scholars Research Fund of Heilongjiang Provinicial Education Department
文摘The standard method to construct a finite field requires a primitive irreducible polynomial of a given degree. Therefore, it is difficult to apply for the construction of huge finite fields. To avoid this problem, we propose a new method to construct huge finite fields with the characteristic p = 5 by using an Artin-Schreier tower. Utilizing the recursive basis of the Artin-Schreier tower, we define a nmltiplication algorithm The algorithm can explicitly calculate the multiplication of two elements on the top finite field of this tower, without any primitive element. We also define a linear recurrence equation as an application, which produces a sequence of numbers, and call the new pseudorandom number generator Abstract Syntax Tree （AST） for p = 5. The experircental results show that our new pseudorandom number generator can produce a sequence of numbers with a long period.
基金supported by the National Research Foundation of Korea(NRF-2016K1A3A1A61006005,NRF-2016R1A2B3011860,NRF-2016R1A5A2012284,and NRF-2017M3C7A1047640)
文摘Embryonic stem cells （ESCs） maintain their cellular identity through the systematic regulation of master transcription factors and chromatin remodeling complexes. Recent work has shown that the unusually large-scale enhancers-namely super-enhancers （SEs）, on which BRD4, a member of the bromodomain and extraterminal domain （BET） family is highly enriched-could regulate pluripotency-related transcrip- tion factors. Moreover, inhibition of BRD4 binding on SEs has been shown to induce the differentiation of ESCs. However, the underlying mechanism of BRD4 inhibition-mediated stern cell differentiation remains elusive. Here we show that both mouse and human ESCs lose their capacity for self-renewal upon treat- ment with JQ1, a selective inhibitor of BET family including BRD4, with rapid suppression of pluripotency-associated genes. Notably, a high concentration of JQI could selectively eliminate ESCs via apoptosis, without affecting the functionality of differentiated somatic cells from ESCs, suggesting that inhibition of BET may have a beneficial effect on the development of pluripotent stem cell-based cell therapy.
基金supported by the National Natural Science Foundation of China(Nos.11426182,11401324,11271301,11471266,10871032)SRF for ROCS,SEM,the Fundamental Research Funds for the Central Universities(No.SWU115052)+1 种基金the Natural Science Foundation Project of CQ CSTC(Nos.cstc2014jcyj A00010,cstc2014jcy A0148,2010BB9206)the National Science Foundation for Distinguished Young Scholars of China(No.11001226)
文摘It is a well-known fact that characters of a finite group can give important information about the structure of the group. It was also proved by the third author that a finite simple group can be uniquely determined by its character table. Here the authors attempt to investigate how to characterize a finite almost-simple group by using less information of its character table, and successfully characterize the automorphism groups of Mathieu groups by their orders their character tables. and at most two irreducible character degrees of
