Various migration methods have been proposed to image high-angle geological structures and media with strong lateral velocity variations; however, the problems of low precision and high computational cost remain unres...Various migration methods have been proposed to image high-angle geological structures and media with strong lateral velocity variations; however, the problems of low precision and high computational cost remain unresolved. To describe the seismic wave propagation in media with lateral velocity variations and to image high-angle structures, we propose the generalized screen propagator based on particle swarm optimization （PSO-GSP）, for the precise fitting of the single-square-root operator. We use the 2D SEG/EAGE salt model to test the proposed PSO-GSP migration method to image the faults beneath the salt dome and compare the results to those of the conventional high-order generalized screen propagator （GSP） migration and split-step Fourier （SSF） migration. Moreover, we use 2D marine data from the South China Sea to show that the PSO-GSP migration can better image strong reflectors than conventional imaging methods.展开更多
Distortion analysis of SOI MOS transistor is presented.By the power series method,the distortion behaviors of FD (fully depleted) and RC (recessed channel) SOI MOS transistor configurations are investigated.It is show...Distortion analysis of SOI MOS transistor is presented.By the power series method,the distortion behaviors of FD (fully depleted) and RC (recessed channel) SOI MOS transistor configurations are investigated.It is shown that the distortion figures deteriorate with the scaling down of channel length,and the RC SOI device shows better distortion performance than the FD SOI device.At the same time,the experimental data show that the ineffective body contact can lead to an increase of the harmonic amplitude due to the bulk resistance.The presented results give an intuitive knowledge for the design of low distortion mixed signal integrated system.展开更多
For eliminating the zero-order image in digital holography, a new method using the differential of the hologram intensity instead of the hologram itself for numerical reconstruction is proposed. This method is based o...For eliminating the zero-order image in digital holography, a new method using the differential of the hologram intensity instead of the hologram itself for numerical reconstruction is proposed. This method is based on digital image processing. By analyzing the spatial spectrum of the off-axis digital hologram, it theoretically proves that the zero-order image can be effectively eliminated by differential before reconstruction. Then, the detected hologram is processed in the program with differential and reconstruction. Both the theoretical analysis and digital reconstruction results show that it can effectively eliminate the large bright spot in the center of the reconstructed image caused by the zero-order image, improve the image quality significantly, and render a better contrast of the reconstructed image. This method is very simple and convenient due to no superfluous optical elements and requiring only one time record.展开更多
Suppose that Φ(x)∈L 2(R) with compact support and V= span{Φ(x-k)|k∈Z}. In this note, we prove that if {Φ(x-k)k|k∈Z} is tight frame with bound 1 in V, then {Φ(x-k)|k∈Z} must be an orthonormal basis of V.
This paper presents two approaches for system-level simulation of force-balance accelerometers. The derivation of the system-level model is elaborated and simulation results are obtained from the implementation of tho...This paper presents two approaches for system-level simulation of force-balance accelerometers. The derivation of the system-level model is elaborated and simulation results are obtained from the implementation of those strategies on the fabricated silicon force-balance MEMS accelerometer. The mathematical model presented is implemented in VHDL- AMS and SIMULINK TM,respectively. The simulation results from the two approaches are compared and show a slight difference. Using VHDL-AMS is flexible,reusable,and more accurate. But there is not a mature solver developed for the language and this approach takes more time, while the simulation model can be easily built and quickly evaluated using SIMULINK.展开更多
The rnemmorphic functions of positive order(both finite positive order and infinite order) are discussed.First,the precise order and type function are given by using the characteristic function.Then some singular dire...The rnemmorphic functions of positive order(both finite positive order and infinite order) are discussed.First,the precise order and type function are given by using the characteristic function.Then some singular directions are defined and their existence is proved.展开更多
An algebraic Harniltonian for the two coupled nonlinear vibrations of highly excited nonrigid molecule HCP was presented. The Hamiltonian reduces to the conventional one in a limit which was expressed in terms of harm...An algebraic Harniltonian for the two coupled nonlinear vibrations of highly excited nonrigid molecule HCP was presented. The Hamiltonian reduces to the conventional one in a limit which was expressed in terms of harmonic oscillator operators. It showed that the algebraic model can better reproduce the data than the conventional model by fitting the observed data of HCP.展开更多
In this note, we consider power series f w(z)=∑∞n=0a ne iw n z nwhere moduli a n of the coefficients are given but the argument α n are random. We discuss the conditions of f w is in α_ Bloch space ...In this note, we consider power series f w(z)=∑∞n=0a ne iw n z nwhere moduli a n of the coefficients are given but the argument α n are random. We discuss the conditions of f w is in α_ Bloch space and little α_ Bloch space. Our results generalize Anderson, Clunie and Pommerenke's.展开更多
The conception of multilevel security (MLS) is commonly used in the study of data model for secure database. But there are some limitations in the basic MLS model, such as inference channels. The availability and data...The conception of multilevel security (MLS) is commonly used in the study of data model for secure database. But there are some limitations in the basic MLS model, such as inference channels. The availability and data integrity of the system are seriously constrained by it′s 'No Read Up, No Write Down' property in the basic MLS model. In order to eliminate the covert channels, the polyinstantiation and the cover story are used in the new data model. The read and write rules have been redefined for improving the agility and usability of the system based on the MLS model. All the methods in the improved data model make the system more secure, agile and usable.展开更多
如果幂数级数: Sum form n=0 to ∞ （a<sub>n</sub>x<sup>n</sup>=a<sub>0</sub>+a<sub>1</sub>x+a<sub>2</sub>x<sup>2</sup>+…+a<sub>n</sub>...如果幂数级数: Sum form n=0 to ∞ （a<sub>n</sub>x<sup>n</sup>=a<sub>0</sub>+a<sub>1</sub>x+a<sub>2</sub>x<sup>2</sup>+…+a<sub>n</sub>x<sup>n</sup>+…） （1） 的收敛区间是（-R,R）,则将幂级数（1）在（-R,R）内逐项积分、逐项微分后所得的幂级数分别为:展开更多
In this paper, the σ_duals of two classes important sequence spaces l 1(X) and l ∞(X) are investigated, and shows that some topology properties of locally convex space (X,τ) can be characterized by the σ _dua...In this paper, the σ_duals of two classes important sequence spaces l 1(X) and l ∞(X) are investigated, and shows that some topology properties of locally convex space (X,τ) can be characterized by the σ _duals. The criterions of bounded sets in l 1(X) and l ∞(X ) with respect to the weak topologies generated by the σ _duals are obtained. Furthermore, a Schur type result and an automatic continuity theorem of matrix transformation are established.展开更多
The mix design method of asphalt rubber open-graded friction course （AR-OGFC） by the Marshall test and key technologies of AR-OGFC overlay are studied. Based on the draindown test, the stripping test and the Marshal...The mix design method of asphalt rubber open-graded friction course （AR-OGFC） by the Marshall test and key technologies of AR-OGFC overlay are studied. Based on the draindown test, the stripping test and the Marshall test by different beating times, the asphalt content estimating method and Marshall beat criterion are studied. It is found that the asphalt content of AR-OGFC can be estimated by the formula of Arizona, and the proper Marshall test criterion for AR-OGFC is 50 beats on both sides. By analyzing the influence of gradation on OGFC performance, the gradation of AR-OGFC is recommended, and the amount of aggregate passing 4. 75 mm should be minimized for AR-OGFC. Through investigation of AR-OGFC overlay projects, key technologies such as the treatment of underlying pavement and the selection of tack coat are advanced, and modified emulsified asphalt should be used in AR-OGFC overlay tack coat.展开更多
基金supported by the 863 Program of China(No.2013AA064201)National Science and Technology Major Project(No.2016ZX05003-003)
文摘Various migration methods have been proposed to image high-angle geological structures and media with strong lateral velocity variations; however, the problems of low precision and high computational cost remain unresolved. To describe the seismic wave propagation in media with lateral velocity variations and to image high-angle structures, we propose the generalized screen propagator based on particle swarm optimization （PSO-GSP）, for the precise fitting of the single-square-root operator. We use the 2D SEG/EAGE salt model to test the proposed PSO-GSP migration method to image the faults beneath the salt dome and compare the results to those of the conventional high-order generalized screen propagator （GSP） migration and split-step Fourier （SSF） migration. Moreover, we use 2D marine data from the South China Sea to show that the PSO-GSP migration can better image strong reflectors than conventional imaging methods.
文摘Distortion analysis of SOI MOS transistor is presented.By the power series method,the distortion behaviors of FD (fully depleted) and RC (recessed channel) SOI MOS transistor configurations are investigated.It is shown that the distortion figures deteriorate with the scaling down of channel length,and the RC SOI device shows better distortion performance than the FD SOI device.At the same time,the experimental data show that the ineffective body contact can lead to an increase of the harmonic amplitude due to the bulk resistance.The presented results give an intuitive knowledge for the design of low distortion mixed signal integrated system.
基金The Natural Science Foundation of Jiangsu Province (No.BK2006102)the National Natural Science Foundation of China(No.10772086)
文摘For eliminating the zero-order image in digital holography, a new method using the differential of the hologram intensity instead of the hologram itself for numerical reconstruction is proposed. This method is based on digital image processing. By analyzing the spatial spectrum of the off-axis digital hologram, it theoretically proves that the zero-order image can be effectively eliminated by differential before reconstruction. Then, the detected hologram is processed in the program with differential and reconstruction. Both the theoretical analysis and digital reconstruction results show that it can effectively eliminate the large bright spot in the center of the reconstructed image caused by the zero-order image, improve the image quality significantly, and render a better contrast of the reconstructed image. This method is very simple and convenient due to no superfluous optical elements and requiring only one time record.
文摘Suppose that Φ(x)∈L 2(R) with compact support and V= span{Φ(x-k)|k∈Z}. In this note, we prove that if {Φ(x-k)k|k∈Z} is tight frame with bound 1 in V, then {Φ(x-k)|k∈Z} must be an orthonormal basis of V.
文摘This paper presents two approaches for system-level simulation of force-balance accelerometers. The derivation of the system-level model is elaborated and simulation results are obtained from the implementation of those strategies on the fabricated silicon force-balance MEMS accelerometer. The mathematical model presented is implemented in VHDL- AMS and SIMULINK TM,respectively. The simulation results from the two approaches are compared and show a slight difference. Using VHDL-AMS is flexible,reusable,and more accurate. But there is not a mature solver developed for the language and this approach takes more time, while the simulation model can be easily built and quickly evaluated using SIMULINK.
文摘The rnemmorphic functions of positive order(both finite positive order and infinite order) are discussed.First,the precise order and type function are given by using the characteristic function.Then some singular directions are defined and their existence is proved.
文摘An algebraic Harniltonian for the two coupled nonlinear vibrations of highly excited nonrigid molecule HCP was presented. The Hamiltonian reduces to the conventional one in a limit which was expressed in terms of harmonic oscillator operators. It showed that the algebraic model can better reproduce the data than the conventional model by fitting the observed data of HCP.
文摘In this note, we consider power series f w(z)=∑∞n=0a ne iw n z nwhere moduli a n of the coefficients are given but the argument α n are random. We discuss the conditions of f w is in α_ Bloch space and little α_ Bloch space. Our results generalize Anderson, Clunie and Pommerenke's.
文摘The conception of multilevel security (MLS) is commonly used in the study of data model for secure database. But there are some limitations in the basic MLS model, such as inference channels. The availability and data integrity of the system are seriously constrained by it′s 'No Read Up, No Write Down' property in the basic MLS model. In order to eliminate the covert channels, the polyinstantiation and the cover story are used in the new data model. The read and write rules have been redefined for improving the agility and usability of the system based on the MLS model. All the methods in the improved data model make the system more secure, agile and usable.
文摘如果幂数级数: Sum form n=0 to ∞ （a<sub>n</sub>x<sup>n</sup>=a<sub>0</sub>+a<sub>1</sub>x+a<sub>2</sub>x<sup>2</sup>+…+a<sub>n</sub>x<sup>n</sup>+…） （1） 的收敛区间是（-R,R）,则将幂级数（1）在（-R,R）内逐项积分、逐项微分后所得的幂级数分别为:
文摘In this paper, the σ_duals of two classes important sequence spaces l 1(X) and l ∞(X) are investigated, and shows that some topology properties of locally convex space (X,τ) can be characterized by the σ _duals. The criterions of bounded sets in l 1(X) and l ∞(X ) with respect to the weak topologies generated by the σ _duals are obtained. Furthermore, a Schur type result and an automatic continuity theorem of matrix transformation are established.
文摘The mix design method of asphalt rubber open-graded friction course （AR-OGFC） by the Marshall test and key technologies of AR-OGFC overlay are studied. Based on the draindown test, the stripping test and the Marshall test by different beating times, the asphalt content estimating method and Marshall beat criterion are studied. It is found that the asphalt content of AR-OGFC can be estimated by the formula of Arizona, and the proper Marshall test criterion for AR-OGFC is 50 beats on both sides. By analyzing the influence of gradation on OGFC performance, the gradation of AR-OGFC is recommended, and the amount of aggregate passing 4. 75 mm should be minimized for AR-OGFC. Through investigation of AR-OGFC overlay projects, key technologies such as the treatment of underlying pavement and the selection of tack coat are advanced, and modified emulsified asphalt should be used in AR-OGFC overlay tack coat.
