Many physical experiments have shown that the domain switching in a ferroelectric material is a complicated evolution process of the domain wall with the variation of stress and electric field. According to this mecha...Many physical experiments have shown that the domain switching in a ferroelectric material is a complicated evolution process of the domain wall with the variation of stress and electric field. According to this mechanism, the volume fraction of the domain switching is introduced in the constitutive law of ferroelectric ceramic and used to study the nonlinear constitutive behavior of ferroelectric body in this paper. The principle of stationary total energy is put forward in which the basic unknown quantities are the displacement ui, electric displacement Di and volume fraction pI of the domain switching for the variant I. Mechanical field equation and a new domain switching criterion are obtained from the principle of stationary total energy. The domain switching criterion proposed in this paper is an expansion and development of the energy criterion. On the basis of the domain switching criterion, a set of linear algebraic equations for the volume fraction PI of domain switching is obtained, in which the coefficients of the linear algebraic equations only contain the unknown strain and electric fields. Then a single domain mechanical model is proposed in this paper. The poled ferroelectric specimen is considered as a transversely isotropic single domain. By using the partial experimental results, the hardening relation between the driving force of domain switching and the volume fraction of domain switching can be calibrated. Then the electromechanical response can be calculated on the basis of the calibrated hardening relation. The results involve the electric butterfly shaped curves of axial strain versus axial electric field, the hysteresis loops of electric displacement versus electric filed and the evo- lution process of the domain switching in the ferroelectric specimens under uniaxial coupled stress and electric field loading. The present theoretic prediction agrees reasonably with the experimental results given by Lynch.展开更多
In gravity-anomaly-based prospecting, the computational and memory requirements for practical numerical modeling are potentially enormous. Achieving an efficient and precise inversion for gravity anomaly imaging over ...In gravity-anomaly-based prospecting, the computational and memory requirements for practical numerical modeling are potentially enormous. Achieving an efficient and precise inversion for gravity anomaly imaging over large-scale and complex terrain requires additional methods. To this end, we have proposed a new topography-capable By performing a two-dimensional Fourier transform in the horizontal directions, threedimensional partial differential equations in the spatial domain were transformed into a group of independent, one-dimensional differential equations engaged with different wave numbers. These independent differential equations are highly parallel across different wave numbers. differential equations with different wave numbers, and the efficiency of solving fixedbandwidth linear equations was further improved by a chasing method. In a synthetic test, a prism model was used to verify the accuracy and reliability of the proposed algorithm by comparing the numerical solution with the analytical solution. We studied the computational precision and efficiency with and without topography using different Fourier transform methods. The results showed that the Guass-FFT method has higher numerical precision, while the standard FFT method is superior, in terms of computation time, for inversion and quantitative interpretation under complicated terrain.展开更多
Domain analysis is essential to core assets development in software product line engineering. Most existing approaches, however, depend on domain experts’ experience to analyze the commonality and variability of syst...Domain analysis is essential to core assets development in software product line engineering. Most existing approaches, however, depend on domain experts’ experience to analyze the commonality and variability of systems in a domain, which remains a manual and intensive process. This paper addresses the issue by proposing a model-driven approach to automating the domain requirements derivation process. The paper focuses on the match between the use cases of existing individual products and the domain functional requirements of a product line. By introducing a set of linguistic description dimensions to differentiate the sub-variations in a use case, the use case template is extended to model variability. To this end, a transformation process is formulated to sustain and deduce the information in use cases, and to match it to domain functional requirements. This paper also presents a prototype which implements the derivation as a model transformation described in a graphical model transformation language MOLA. This approach complements existing domain analysis techniques with less manual operation cost and more efficiency by automating the domain functional requirements development.展开更多
Earth medium is not completely elastic, with its viscosity resulting in attenuation and dispersion of seismic waves. Most viscoelastic numerical simulations are based on the finite-difference and finite-element method...Earth medium is not completely elastic, with its viscosity resulting in attenuation and dispersion of seismic waves. Most viscoelastic numerical simulations are based on the finite-difference and finite-element methods. Targeted at viscoelastic numerical modeling for multilayered media, the constant-Q acoustic wave equation is transformed into the corresponding wave integral representation with its Green's function accounting for viscoelastic coefficients. An efficient alternative for full-waveform solution to the integral equation is proposed in this article by extending conventional frequency-domain boundary element methods to viscoelastic media. The viscoelastic boundary element method enjoys a distinct characteristic of the explicit use of boundary continuity conditions of displacement and traction, leading to a semi-analytical solution with sufficient accuracy for simulating the viscoelastic effect across irregular interfaces. Numerical experiments to study the viscoelastic absorption of different Q values demonstrate the accuracy and applicability of the method.展开更多
With the help of the F-basis provided by the Drinfeld twist or factorising F-matrix for the spatial optical soliton model associated with the eight-vertex model, we calculate the partition function for the eight-verte...With the help of the F-basis provided by the Drinfeld twist or factorising F-matrix for the spatial optical soliton model associated with the eight-vertex model, we calculate the partition function for the eight-vertex model on an N ×N square lattice with domain wall boundary condition.展开更多
This paper surveys a number of recent advances in the error analysis in the frequency domain for a digital simulation model. It is emphasized to discuss the errors in characteristic roots and transfer funcnon of the d...This paper surveys a number of recent advances in the error analysis in the frequency domain for a digital simulation model. It is emphasized to discuss the errors in characteristic roots and transfer funcnon of the digital simulation model, the frequency domain errors of the data transfers between thesimulation submodels, and some compensation methods for the errors. Some of the questions to be answered are also presented.展开更多
To improve the resolution of crosshole electromagnetic tomography, high precision of forward modeling is necessary. A pseudo-spectral time domain (PSTD) forward modeling was used to simulate electromagnetic wave pro...To improve the resolution of crosshole electromagnetic tomography, high precision of forward modeling is necessary. A pseudo-spectral time domain (PSTD) forward modeling was used to simulate electromagnetic wave propagation between two boreholes. The PSTD algorithm is based on the finite difference time domain (FDTD) method and uses the fast Fourier transform (FFT) algorithm for spatial derivatives in Maxwell's equations. Besides having the strongpoint of the FDTD method, the calculation precision of the PSTD algorithm is higher than that of the FDTD method under the same calculation condition. The forward modeling using the PSTD method will play an important role in enhancing the resolution of crosshole electromagnetic tomography.展开更多
Rainfall extremes have strong connotations to socio-economic activities and human well-being in Uganda’s Lake Victoria Basin (LVB). Reliable prediction and dissemination of extreme rainfall events are therefore of pa...Rainfall extremes have strong connotations to socio-economic activities and human well-being in Uganda’s Lake Victoria Basin (LVB). Reliable prediction and dissemination of extreme rainfall events are therefore of paramount importance to the region’s development agenda. The main objective of this study was to contribute to the prediction of rainfall extremes over this region using a numerical modelling approach. The Weather Research and Forecasting (WRF) model was used to simulate a 20-day period of extremely heavy rainfall that was observed in the March to May season of 2008. The underlying interest was to investigate the performance of different combinations of cumulus and microphysical parameterization along with the model grid resolution and domain size. The model output was validated against rainfall observations from the Tropical Rainfall Measuring Mission (TRMM) using 5 metrics;the rainfall distribution, root mean square error, mean error, probability of detection and false alarm ratio. The results showed that the model was able to simulate extreme rainfall and the most satisfactory skill was obtained with a model setup using the Grell 3D cumulus scheme combined with the SBU_YLin microphysical scheme. This study concludes that the WRF model can be used for simulating extreme rainfall over western LVB. In the other 2 regions, central and eastern LVB, its performance is limited by failure to simulate nocturnal rainfall. Furthermore, increasing the model grid resolution showed good potential for improving the model simulation especially when a large domain is used.展开更多
The current metadata modeling techniques can not meet the needs of knowledge conception expression, knowledge organization, and metadata semantic consistency in geological domain. This paper introduces ontology and in...The current metadata modeling techniques can not meet the needs of knowledge conception expression, knowledge organization, and metadata semantic consistency in geological domain. This paper introduces ontology and integrates this theory to geological domain metadata modeling. It adopts the first order logic equivalent algorithm and defines the metadata extended model as a quaternion group which is consists of geological term set, geological term definition set, attribute definition set and instance set. It also provides the formal description of each set. Finally the five steps for building geological domain metadata extended model are given. The result presents that this model not only provides the content standards for geological domain knowledge representation and knowledge organization, but also provides the basis for geological domain multi-source data and historical data integration and application in semantic consistency.展开更多
Resource location is the most important issue for Peer-to-Peer (P2P) system and flooding is the fundamental mechanism for unstructured P2P systems. Redundant messages will exponential growth with flooding scope increa...Resource location is the most important issue for Peer-to-Peer (P2P) system and flooding is the fundamental mechanism for unstructured P2P systems. Redundant messages will exponential growth with flooding scope increasing which severely influences the scalability of the system. In this paper, a new P2P model based on isolated broadcast domains is given to reduce the amount of redundant messages by limiting the radius of messages transmitted. Analysis and experiments show that this model can guarantee coverage of nodes and significantly reduce the amount of redundant messages generated.展开更多
In the Windows XP 64 bit operating system environment, several common PC were used to build a cluster system, establishing the distributed memory parallel (DMP) computing system. A finite element model of whole aircra...In the Windows XP 64 bit operating system environment, several common PC were used to build a cluster system, establishing the distributed memory parallel (DMP) computing system. A finite element model of whole aircraft with about 260 million degrees of freedom (DOF) was developed using three-node and four-node thin shell element and two-node beam element. With the large commercial finite element software MSC.MARC and employing two kinds of domain decomposition method (DDM) respectively, realized the parallel solving for the static strength analysis of the whole aircraft model, which offered a high cost-effective solution for solving large-scale and complex finite element models.展开更多
In this paper, we study the global existence and uniqueness of strong solutions for the Baer-Nunziato two-phase flow model in a bounded domain with a no-slip boundary. The global existence and uniqueness of strong sol...In this paper, we study the global existence and uniqueness of strong solutions for the Baer-Nunziato two-phase flow model in a bounded domain with a no-slip boundary. The global existence and uniqueness of strong solutions are obtained when the initial value is near the equilibrium state in H<sup>2</sup> (Ω). Furthermore, the exponential convergence rates of the pressure and velocity are also proved by delicate energy methods.展开更多
In this paper the parallel computing of a grid-point nine-level atmospheric general circulation model on the Dawn 1000 is introduced. The model was developed by the Institute of Atmospheric Physics (IAP), Chinese Acad...In this paper the parallel computing of a grid-point nine-level atmospheric general circulation model on the Dawn 1000 is introduced. The model was developed by the Institute of Atmospheric Physics (IAP), Chinese Academy of Sciences (CAS). The Dawn 1000 is a MIMD massive parallel computer made by National Research Center for Intelligent Computer (NCIC), CAS. A two-dimensional domain decomposition method is adopted to perform the parallel computing. The potential ways to increase the speed-up ratio and exploit more resources of future massively parallel supercomputation are also discussed.展开更多
A new mixed method for relative error model order reduction is proposed. In the proposed method the frequency domain balanced stochastic truncation method is improved by applying the generalized singular perturbation ...A new mixed method for relative error model order reduction is proposed. In the proposed method the frequency domain balanced stochastic truncation method is improved by applying the generalized singular perturbation method to the frequency domain balanced system in the reduction procedure. The frequency domain balanced stochastic truncation method, which was proposed in [15] and [17] by the author, is based on two recently developed methods, namely frequency domain balanced truncation within a desired frequency bound and inner-outer factorization techniques. The proposed method in ttiis paper is a carry over of the frequency-domain balanced stochastic truncation and is of interest for practical model order reduction because in this context it shows to keep the accuracy of the approximation as high as possible without sacrificing the computational efficiency and important system properties. It is shown that some important properties of the frequency domain stochastic balanced reduction technique are extended to the proposed reduction method by using the concept and properties of the reciprocal systems. Numerical results show the accuracy, simplicity and flexibility enhancement of the method.展开更多
This paper studies a stochastically forced chemostat model with feedback control in which two organisms compete for a single growth-limiting substrate. In the deterministic counterpart, previous researches show that t...This paper studies a stochastically forced chemostat model with feedback control in which two organisms compete for a single growth-limiting substrate. In the deterministic counterpart, previous researches show that the coexistence of two competing organisms may be achieved as a stable positive equilibrium or a stable positive periodic solution by different feedback schedules. In the stochastic case, based on the stochastic sensitivity function technique,we construct the confidence domains for different feedback schedules which allow us to find the configurational arrangements of the stochastic attractors and analyze the dispersion of the random states of the stochastic model.展开更多
基金The project supported by the National Natural Science Foundation of China(10572138)
文摘Many physical experiments have shown that the domain switching in a ferroelectric material is a complicated evolution process of the domain wall with the variation of stress and electric field. According to this mechanism, the volume fraction of the domain switching is introduced in the constitutive law of ferroelectric ceramic and used to study the nonlinear constitutive behavior of ferroelectric body in this paper. The principle of stationary total energy is put forward in which the basic unknown quantities are the displacement ui, electric displacement Di and volume fraction pI of the domain switching for the variant I. Mechanical field equation and a new domain switching criterion are obtained from the principle of stationary total energy. The domain switching criterion proposed in this paper is an expansion and development of the energy criterion. On the basis of the domain switching criterion, a set of linear algebraic equations for the volume fraction PI of domain switching is obtained, in which the coefficients of the linear algebraic equations only contain the unknown strain and electric fields. Then a single domain mechanical model is proposed in this paper. The poled ferroelectric specimen is considered as a transversely isotropic single domain. By using the partial experimental results, the hardening relation between the driving force of domain switching and the volume fraction of domain switching can be calibrated. Then the electromechanical response can be calculated on the basis of the calibrated hardening relation. The results involve the electric butterfly shaped curves of axial strain versus axial electric field, the hysteresis loops of electric displacement versus electric filed and the evo- lution process of the domain switching in the ferroelectric specimens under uniaxial coupled stress and electric field loading. The present theoretic prediction agrees reasonably with the experimental results given by Lynch.
基金supported by the Natural Science Foundation of China(No.41574127)the China Postdoctoral Science Foundation(No.2017M622608)the project for the independent exploration of graduate students at Central South University(No.2017zzts008)
文摘In gravity-anomaly-based prospecting, the computational and memory requirements for practical numerical modeling are potentially enormous. Achieving an efficient and precise inversion for gravity anomaly imaging over large-scale and complex terrain requires additional methods. To this end, we have proposed a new topography-capable By performing a two-dimensional Fourier transform in the horizontal directions, threedimensional partial differential equations in the spatial domain were transformed into a group of independent, one-dimensional differential equations engaged with different wave numbers. These independent differential equations are highly parallel across different wave numbers. differential equations with different wave numbers, and the efficiency of solving fixedbandwidth linear equations was further improved by a chasing method. In a synthetic test, a prism model was used to verify the accuracy and reliability of the proposed algorithm by comparing the numerical solution with the analytical solution. We studied the computational precision and efficiency with and without topography using different Fourier transform methods. The results showed that the Guass-FFT method has higher numerical precision, while the standard FFT method is superior, in terms of computation time, for inversion and quantitative interpretation under complicated terrain.
文摘Domain analysis is essential to core assets development in software product line engineering. Most existing approaches, however, depend on domain experts’ experience to analyze the commonality and variability of systems in a domain, which remains a manual and intensive process. This paper addresses the issue by proposing a model-driven approach to automating the domain requirements derivation process. The paper focuses on the match between the use cases of existing individual products and the domain functional requirements of a product line. By introducing a set of linguistic description dimensions to differentiate the sub-variations in a use case, the use case template is extended to model variability. To this end, a transformation process is formulated to sustain and deduce the information in use cases, and to match it to domain functional requirements. This paper also presents a prototype which implements the derivation as a model transformation described in a graphical model transformation language MOLA. This approach complements existing domain analysis techniques with less manual operation cost and more efficiency by automating the domain functional requirements development.
基金supported by the National Natural Science Foundation of China (No. 41130418)the Strategic Leading Science and Technology Programme (Class B) of the Chinese Academy of Sciences (No. XDB10010400)
文摘Earth medium is not completely elastic, with its viscosity resulting in attenuation and dispersion of seismic waves. Most viscoelastic numerical simulations are based on the finite-difference and finite-element methods. Targeted at viscoelastic numerical modeling for multilayered media, the constant-Q acoustic wave equation is transformed into the corresponding wave integral representation with its Green's function accounting for viscoelastic coefficients. An efficient alternative for full-waveform solution to the integral equation is proposed in this article by extending conventional frequency-domain boundary element methods to viscoelastic media. The viscoelastic boundary element method enjoys a distinct characteristic of the explicit use of boundary continuity conditions of displacement and traction, leading to a semi-analytical solution with sufficient accuracy for simulating the viscoelastic effect across irregular interfaces. Numerical experiments to study the viscoelastic absorption of different Q values demonstrate the accuracy and applicability of the method.
基金Project supported by the National Natural Science Foundation of China Grant Nos.11075126 and 11031005)
文摘With the help of the F-basis provided by the Drinfeld twist or factorising F-matrix for the spatial optical soliton model associated with the eight-vertex model, we calculate the partition function for the eight-vertex model on an N ×N square lattice with domain wall boundary condition.
文摘This paper surveys a number of recent advances in the error analysis in the frequency domain for a digital simulation model. It is emphasized to discuss the errors in characteristic roots and transfer funcnon of the digital simulation model, the frequency domain errors of the data transfers between thesimulation submodels, and some compensation methods for the errors. Some of the questions to be answered are also presented.
基金This paper is supported by the Focused Subject Program of Beijing (No. XK104910598)Foundation for Returned Students of Ministry of Education, and Foundation of China University of Geosciences (Beijing).
文摘To improve the resolution of crosshole electromagnetic tomography, high precision of forward modeling is necessary. A pseudo-spectral time domain (PSTD) forward modeling was used to simulate electromagnetic wave propagation between two boreholes. The PSTD algorithm is based on the finite difference time domain (FDTD) method and uses the fast Fourier transform (FFT) algorithm for spatial derivatives in Maxwell's equations. Besides having the strongpoint of the FDTD method, the calculation precision of the PSTD algorithm is higher than that of the FDTD method under the same calculation condition. The forward modeling using the PSTD method will play an important role in enhancing the resolution of crosshole electromagnetic tomography.
文摘Rainfall extremes have strong connotations to socio-economic activities and human well-being in Uganda’s Lake Victoria Basin (LVB). Reliable prediction and dissemination of extreme rainfall events are therefore of paramount importance to the region’s development agenda. The main objective of this study was to contribute to the prediction of rainfall extremes over this region using a numerical modelling approach. The Weather Research and Forecasting (WRF) model was used to simulate a 20-day period of extremely heavy rainfall that was observed in the March to May season of 2008. The underlying interest was to investigate the performance of different combinations of cumulus and microphysical parameterization along with the model grid resolution and domain size. The model output was validated against rainfall observations from the Tropical Rainfall Measuring Mission (TRMM) using 5 metrics;the rainfall distribution, root mean square error, mean error, probability of detection and false alarm ratio. The results showed that the model was able to simulate extreme rainfall and the most satisfactory skill was obtained with a model setup using the Grell 3D cumulus scheme combined with the SBU_YLin microphysical scheme. This study concludes that the WRF model can be used for simulating extreme rainfall over western LVB. In the other 2 regions, central and eastern LVB, its performance is limited by failure to simulate nocturnal rainfall. Furthermore, increasing the model grid resolution showed good potential for improving the model simulation especially when a large domain is used.
文摘The current metadata modeling techniques can not meet the needs of knowledge conception expression, knowledge organization, and metadata semantic consistency in geological domain. This paper introduces ontology and integrates this theory to geological domain metadata modeling. It adopts the first order logic equivalent algorithm and defines the metadata extended model as a quaternion group which is consists of geological term set, geological term definition set, attribute definition set and instance set. It also provides the formal description of each set. Finally the five steps for building geological domain metadata extended model are given. The result presents that this model not only provides the content standards for geological domain knowledge representation and knowledge organization, but also provides the basis for geological domain multi-source data and historical data integration and application in semantic consistency.
文摘Resource location is the most important issue for Peer-to-Peer (P2P) system and flooding is the fundamental mechanism for unstructured P2P systems. Redundant messages will exponential growth with flooding scope increasing which severely influences the scalability of the system. In this paper, a new P2P model based on isolated broadcast domains is given to reduce the amount of redundant messages by limiting the radius of messages transmitted. Analysis and experiments show that this model can guarantee coverage of nodes and significantly reduce the amount of redundant messages generated.
文摘In the Windows XP 64 bit operating system environment, several common PC were used to build a cluster system, establishing the distributed memory parallel (DMP) computing system. A finite element model of whole aircraft with about 260 million degrees of freedom (DOF) was developed using three-node and four-node thin shell element and two-node beam element. With the large commercial finite element software MSC.MARC and employing two kinds of domain decomposition method (DDM) respectively, realized the parallel solving for the static strength analysis of the whole aircraft model, which offered a high cost-effective solution for solving large-scale and complex finite element models.
文摘In this paper, we study the global existence and uniqueness of strong solutions for the Baer-Nunziato two-phase flow model in a bounded domain with a no-slip boundary. The global existence and uniqueness of strong solutions are obtained when the initial value is near the equilibrium state in H<sup>2</sup> (Ω). Furthermore, the exponential convergence rates of the pressure and velocity are also proved by delicate energy methods.
文摘In this paper the parallel computing of a grid-point nine-level atmospheric general circulation model on the Dawn 1000 is introduced. The model was developed by the Institute of Atmospheric Physics (IAP), Chinese Academy of Sciences (CAS). The Dawn 1000 is a MIMD massive parallel computer made by National Research Center for Intelligent Computer (NCIC), CAS. A two-dimensional domain decomposition method is adopted to perform the parallel computing. The potential ways to increase the speed-up ratio and exploit more resources of future massively parallel supercomputation are also discussed.
文摘A new mixed method for relative error model order reduction is proposed. In the proposed method the frequency domain balanced stochastic truncation method is improved by applying the generalized singular perturbation method to the frequency domain balanced system in the reduction procedure. The frequency domain balanced stochastic truncation method, which was proposed in [15] and [17] by the author, is based on two recently developed methods, namely frequency domain balanced truncation within a desired frequency bound and inner-outer factorization techniques. The proposed method in ttiis paper is a carry over of the frequency-domain balanced stochastic truncation and is of interest for practical model order reduction because in this context it shows to keep the accuracy of the approximation as high as possible without sacrificing the computational efficiency and important system properties. It is shown that some important properties of the frequency domain stochastic balanced reduction technique are extended to the proposed reduction method by using the concept and properties of the reciprocal systems. Numerical results show the accuracy, simplicity and flexibility enhancement of the method.
基金Supported by the National Natural Science Foundation of China(11671260,11801224)Natural Science Foundation of Jiangsu Province(BK20180856)
文摘This paper studies a stochastically forced chemostat model with feedback control in which two organisms compete for a single growth-limiting substrate. In the deterministic counterpart, previous researches show that the coexistence of two competing organisms may be achieved as a stable positive equilibrium or a stable positive periodic solution by different feedback schedules. In the stochastic case, based on the stochastic sensitivity function technique,we construct the confidence domains for different feedback schedules which allow us to find the configurational arrangements of the stochastic attractors and analyze the dispersion of the random states of the stochastic model.