In this paper, the traditional proof of “square root of 2 is not a rational number” has been reviewed, and then the theory has been generalized to “if <em>n</em> is not a square, square root of <em&g...In this paper, the traditional proof of “square root of 2 is not a rational number” has been reviewed, and then the theory has been generalized to “if <em>n</em> is not a square, square root of <em>n</em> is not a rational number”. And then some conceptions of ring, integral domain, ideal, quotient ring in Advanced algebra, have been introduced. Integers can be regarded as an integral domain, the rational numbers can be regard as a fractional domain. Evens and odds are principal ideals in integral domain. The operations on evens and odds are operations on quotient ring. After introducing “the minimalist form” in fraction ring. The paper proves the main conclusion: in a integral domain, multiplicative subset <em>S</em> produces a fraction ring <em>S</em><sup><span style="white-space:nowrap;">−</span>1</sup><em>R</em>, and <em>n</em> is not a square element in <em>R</em>, then to every element <em>a</em><span style="white-space:nowrap;">∈</span><em>R</em>, <span style="white-space:nowrap;"><em>a</em><sup>2</sup>≠<em>n</em></span>.展开更多
An accurate evaluation of strongly singular domain integral appearing in the stress representation formula is a crucial problem in the stress analysis of functionally graded materials using boundary element method.To ...An accurate evaluation of strongly singular domain integral appearing in the stress representation formula is a crucial problem in the stress analysis of functionally graded materials using boundary element method.To solve this problem,a singularity separation technique is presented in the paper to split the singular integral into regular and singular parts by subtracting and adding a singular term.The singular domain integral is transformed into a boundary integral using the radial integration method.Analytical expressions of the radial integrals are obtained for two commonly used shear moduli varying with spatial coordinates.The regular domain integral,after expressing the displacements in terms of the radial basis functions,is also transformed to the boundary using the radial integration method.Finally,a boundary element method without internal cells is established for computing the stresses at internal nodes of the functionally graded materials with varying shear modulus.展开更多
A fast Time Domain Integral Equation(TDIE) solver is presented for analysis of transient scattering from electrically large conducting complex objects.The numerical process of Marching-On-in-Time(MOT) method based TDI...A fast Time Domain Integral Equation(TDIE) solver is presented for analysis of transient scattering from electrically large conducting complex objects.The numerical process of Marching-On-in-Time(MOT) method based TDIE encounters high computational cost and exorbitant memory requirements.A group-style accelerated method-Plane Wave Time Domain(PWTD) algorithm,which permits rapid evaluation of transient wave field generated by temporally bandlimited sources,is employed to reduce the computational cost of MOT-based TDIE solvers.An efficient compressed storage technique for sparse matrix is adopted to decrease the enormous memory requirements of MOT.The scheme of the Multi-Level PWTD(MLPWTD)-enhanced MOT with compressed storage for sparse matrix is presented for analysis of transient scattering from electrically large complex objects in this paper.The numerical simulation results demonstrate the validity and efficiency of the presented scheme.展开更多
We introduce a new transmit/receive dipole pair array to obtain a compact quasi\|monostatic antenna structure for ground penetrating radar systems. And we analyze this transmit/receive dipole ...We introduce a new transmit/receive dipole pair array to obtain a compact quasi\|monostatic antenna structure for ground penetrating radar systems. And we analyze this transmit/receive dipole pair array in time domain. The numerical results show that if the distance between the transmit antenna and receive antenna is appropriate the array configuration is adoptable.展开更多
A time domain electric al field integral equation (TDEFIE) is formulated for the problem of a thin wire antenna in the presence of conductor bodies, and this equation is solved by the me...A time domain electric al field integral equation (TDEFIE) is formulated for the problem of a thin wire antenna in the presence of conductor bodies, and this equation is solved by the method of time marching algorithm. The analysis is valid for any arbitrarily shaped, oriented and positioned wire antennas relative to arbitrarily shaped conductor bodies. Current at the excited point, input admittance and radiation pattern are given and agree with the results computed by the method in frequency domain.展开更多
An adaptive cell-based domain integration method(CDIM) is proposed for the treatment of domain integrals in 3D boundary element method(BEM). The domain integrals are computed in background cells rather than volume...An adaptive cell-based domain integration method(CDIM) is proposed for the treatment of domain integrals in 3D boundary element method(BEM). The domain integrals are computed in background cells rather than volume elements. The cells are created from the boundary elements based on an adaptive oct-tree structure and no other discretization is needed. Cells containing the boundary elements are subdivided into smaller sub-cells adaptively according to the sizes and levels of the boundary elements; and the sub-cells outside the domain are deleted to obtain the desired accuracy. The method is applied in the 3D potential and elasticity problems in this paper.展开更多
We introduce a class of singular integral operators on product domains along twisted surfaces.We prove that the operators are bounded on L^(p) provided that the kernels satisfy weak conditions.
Viscoelastic artificial boundaries are widely adopted in numerical simulations of wave propagation problems.When explicit time-domain integration algorithms are used,the stability condition of the boundary domain is s...Viscoelastic artificial boundaries are widely adopted in numerical simulations of wave propagation problems.When explicit time-domain integration algorithms are used,the stability condition of the boundary domain is stricter than that of the internal region due to the influence of the damping and stiffness of an viscoelastic artificial boundary.The lack of a clear and practical stability criterion for this problem,however,affects the reasonable selection of an integral time step when using viscoelastic artificial boundaries.In this study,we investigate the stability conditions of explicit integration algorithms when using three-dimensional(3D)viscoelastic artificial boundaries through an analysis method based on a local subsystem.Several boundary subsystems that can represent localized characteristics of a complete numerical model are established,and their analytical stability conditions are derived from and further compared to one another.The stability of the complete model is controlled by the corner regions,and thus,the global stability criterion for the numerical model with viscoelastic artificial boundaries is obtained.Next,by analyzing the impact of different factors on stability conditions,we recommend a stability coefficient for practically estimating the maximum stable integral time step in the dynamic analysis when using 3D viscoelastic artificial boundaries.展开更多
Problems in unsteady aerodynamics and aeroacoustics can sometimes be formulated as integral equations,such as the boundary integral equations.Numerical discretization of integral equations in the time domain often lea...Problems in unsteady aerodynamics and aeroacoustics can sometimes be formulated as integral equations,such as the boundary integral equations.Numerical discretization of integral equations in the time domain often leads to so-called March-On-in-Time(MOT)schemes.In the literature,the temporal basis functions used in MOT schemes have been largely limited to low-order shifted Lagrange basis functions.In order to evaluate the accuracy and effectiveness of the temporal basis functions,a Fourier analysis of the temporal interpolation schemes is carried out.Based on the Fourier analysis,the spectral resolutions of various temporal basis functions are quantified.It is argued that hybrid temporal basis functions be used for interpolation of the numerical solution and its derivatives with respect to time.Stability of the proposed hybrid schemes is studied by a matrix eigenvalue method.Substantial improvement in accuracy and efficiency by using the hybrid temporal basis functions for time domain integral equations is demonstrated by numerical examples.Compared with the traditional temporal basis functions,the use of hybrid basis functions keeps numerical errors low for a larger frequency range given the same time step size.Conversely,for a given range of frequency of interest,a larger time step can be used with the hybrid temporal basis functions,resulting in an increase in computational efficiency and,at the same time,a reduction in memory requirement.展开更多
The spectral domain integral equation(SDIE) provides an accurate and efficient method for computing the resonant frequency, radiation patterns, etc . Using continuous Fourier transform, the formulation utilizes the...The spectral domain integral equation(SDIE) provides an accurate and efficient method for computing the resonant frequency, radiation patterns, etc . Using continuous Fourier transform, the formulation utilizes the singular integral equations via the Glerkin's method to derive the deterministic equation with fewer mathematical manipulations. In contrast, discrete Fourier transform(DFT) requires intricate mathematical labor. The present scheme requires a small size, i.e ., (2×2) matrix, and it is possible to extract higher order modal solutions conveniently. Moreover, computation is reduced with the same convergence properties. Based on the present scheme, some results for resonant frequency and radiation patterns compared with available data and computed current distribution on the patch are presented.展开更多
An integrated microball lens fiber catheter probe is demonstrated, which has better lateral resolution and longer working distance than a corresponding bare fiber probe with diverging beam for Fourier domain optical c...An integrated microball lens fiber catheter probe is demonstrated, which has better lateral resolution and longer working distance than a corresponding bare fiber probe with diverging beam for Fourier domain optical coherence tomography (FDOCT). Simulation results are shown to gain the effect of the distance between the mieroball lens and the bare fiber to the focusing plane and beam width. The freedom of modifying the working distance and lateral resolution is shown. This is achieved by changing the gap distance between the single-mode fiber and the microball lens within the packaged surgical needle catheter without using an additional beam expander having a fixed length. The probe successfully acquired crosssectional images of ocular tissues from an animal sample with the proposed miniaturized imaging probe.展开更多
To ensure the integrity and security of cloud tenants' workload, and to prevent unexpected interference among tenants, cloud platform must make sure that system behaviors are trusted. By analyzing threats that exist ...To ensure the integrity and security of cloud tenants' workload, and to prevent unexpected interference among tenants, cloud platform must make sure that system behaviors are trusted. By analyzing threats that exist in the cloud platform, a novel trusted domain hierarchical model(TDHM) based on noninterference theory was proposed in this paper to solve these problems. First of all, the abstraction modeling of tenants' computing environment and trusted domain(TD) were introduced for designing TDHM with formal methods. Secondly, corresponding constraints for trusted running were given to satisfy security requirements of tenants' TD, and security properties of TDHM ware analyzed. After that, trusted behavior of TD was defined based on these properties, and the decision theorem of that was proved. It illustrated that the design and implementation of TD in cloud followed the model with characteristics of trusted behavior. Finally, the implementation of prototype system was introduced based on our previous work, and evaluation results showed that the performance loss was in the acceptable range.展开更多
文摘In this paper, the traditional proof of “square root of 2 is not a rational number” has been reviewed, and then the theory has been generalized to “if <em>n</em> is not a square, square root of <em>n</em> is not a rational number”. And then some conceptions of ring, integral domain, ideal, quotient ring in Advanced algebra, have been introduced. Integers can be regarded as an integral domain, the rational numbers can be regard as a fractional domain. Evens and odds are principal ideals in integral domain. The operations on evens and odds are operations on quotient ring. After introducing “the minimalist form” in fraction ring. The paper proves the main conclusion: in a integral domain, multiplicative subset <em>S</em> produces a fraction ring <em>S</em><sup><span style="white-space:nowrap;">−</span>1</sup><em>R</em>, and <em>n</em> is not a square element in <em>R</em>, then to every element <em>a</em><span style="white-space:nowrap;">∈</span><em>R</em>, <span style="white-space:nowrap;"><em>a</em><sup>2</sup>≠<em>n</em></span>.
基金supported by the National Natural Science Foundation of China(11172055 and 11202045)
文摘An accurate evaluation of strongly singular domain integral appearing in the stress representation formula is a crucial problem in the stress analysis of functionally graded materials using boundary element method.To solve this problem,a singularity separation technique is presented in the paper to split the singular integral into regular and singular parts by subtracting and adding a singular term.The singular domain integral is transformed into a boundary integral using the radial integration method.Analytical expressions of the radial integrals are obtained for two commonly used shear moduli varying with spatial coordinates.The regular domain integral,after expressing the displacements in terms of the radial basis functions,is also transformed to the boundary using the radial integration method.Finally,a boundary element method without internal cells is established for computing the stresses at internal nodes of the functionally graded materials with varying shear modulus.
文摘A fast Time Domain Integral Equation(TDIE) solver is presented for analysis of transient scattering from electrically large conducting complex objects.The numerical process of Marching-On-in-Time(MOT) method based TDIE encounters high computational cost and exorbitant memory requirements.A group-style accelerated method-Plane Wave Time Domain(PWTD) algorithm,which permits rapid evaluation of transient wave field generated by temporally bandlimited sources,is employed to reduce the computational cost of MOT-based TDIE solvers.An efficient compressed storage technique for sparse matrix is adopted to decrease the enormous memory requirements of MOT.The scheme of the Multi-Level PWTD(MLPWTD)-enhanced MOT with compressed storage for sparse matrix is presented for analysis of transient scattering from electrically large complex objects in this paper.The numerical simulation results demonstrate the validity and efficiency of the presented scheme.
文摘We introduce a new transmit/receive dipole pair array to obtain a compact quasi\|monostatic antenna structure for ground penetrating radar systems. And we analyze this transmit/receive dipole pair array in time domain. The numerical results show that if the distance between the transmit antenna and receive antenna is appropriate the array configuration is adoptable.
文摘A time domain electric al field integral equation (TDEFIE) is formulated for the problem of a thin wire antenna in the presence of conductor bodies, and this equation is solved by the method of time marching algorithm. The analysis is valid for any arbitrarily shaped, oriented and positioned wire antennas relative to arbitrarily shaped conductor bodies. Current at the excited point, input admittance and radiation pattern are given and agree with the results computed by the method in frequency domain.
基金Financial support for the project from the National Natural Science Foundation of China(No.51609181)
文摘An adaptive cell-based domain integration method(CDIM) is proposed for the treatment of domain integrals in 3D boundary element method(BEM). The domain integrals are computed in background cells rather than volume elements. The cells are created from the boundary elements based on an adaptive oct-tree structure and no other discretization is needed. Cells containing the boundary elements are subdivided into smaller sub-cells adaptively according to the sizes and levels of the boundary elements; and the sub-cells outside the domain are deleted to obtain the desired accuracy. The method is applied in the 3D potential and elasticity problems in this paper.
文摘We introduce a class of singular integral operators on product domains along twisted surfaces.We prove that the operators are bounded on L^(p) provided that the kernels satisfy weak conditions.
基金National Natural Science Foundation of China under Grant Nos.52108458 and U1839201China National Postdoctoral Program of Innovative Talents under Grant No.BX20200192+1 种基金Shuimu Tsinghua Scholar Program under Grant No.2020SM005National Key Research and Development Program of China under Grant No.2018YFC1504305。
文摘Viscoelastic artificial boundaries are widely adopted in numerical simulations of wave propagation problems.When explicit time-domain integration algorithms are used,the stability condition of the boundary domain is stricter than that of the internal region due to the influence of the damping and stiffness of an viscoelastic artificial boundary.The lack of a clear and practical stability criterion for this problem,however,affects the reasonable selection of an integral time step when using viscoelastic artificial boundaries.In this study,we investigate the stability conditions of explicit integration algorithms when using three-dimensional(3D)viscoelastic artificial boundaries through an analysis method based on a local subsystem.Several boundary subsystems that can represent localized characteristics of a complete numerical model are established,and their analytical stability conditions are derived from and further compared to one another.The stability of the complete model is controlled by the corner regions,and thus,the global stability criterion for the numerical model with viscoelastic artificial boundaries is obtained.Next,by analyzing the impact of different factors on stability conditions,we recommend a stability coefficient for practically estimating the maximum stable integral time step in the dynamic analysis when using 3D viscoelastic artificial boundaries.
基金This work was supported in part by a NASA Cooperative Agreement,NNX11AI63A.
文摘Problems in unsteady aerodynamics and aeroacoustics can sometimes be formulated as integral equations,such as the boundary integral equations.Numerical discretization of integral equations in the time domain often leads to so-called March-On-in-Time(MOT)schemes.In the literature,the temporal basis functions used in MOT schemes have been largely limited to low-order shifted Lagrange basis functions.In order to evaluate the accuracy and effectiveness of the temporal basis functions,a Fourier analysis of the temporal interpolation schemes is carried out.Based on the Fourier analysis,the spectral resolutions of various temporal basis functions are quantified.It is argued that hybrid temporal basis functions be used for interpolation of the numerical solution and its derivatives with respect to time.Stability of the proposed hybrid schemes is studied by a matrix eigenvalue method.Substantial improvement in accuracy and efficiency by using the hybrid temporal basis functions for time domain integral equations is demonstrated by numerical examples.Compared with the traditional temporal basis functions,the use of hybrid basis functions keeps numerical errors low for a larger frequency range given the same time step size.Conversely,for a given range of frequency of interest,a larger time step can be used with the hybrid temporal basis functions,resulting in an increase in computational efficiency and,at the same time,a reduction in memory requirement.
文摘The spectral domain integral equation(SDIE) provides an accurate and efficient method for computing the resonant frequency, radiation patterns, etc . Using continuous Fourier transform, the formulation utilizes the singular integral equations via the Glerkin's method to derive the deterministic equation with fewer mathematical manipulations. In contrast, discrete Fourier transform(DFT) requires intricate mathematical labor. The present scheme requires a small size, i.e ., (2×2) matrix, and it is possible to extract higher order modal solutions conveniently. Moreover, computation is reduced with the same convergence properties. Based on the present scheme, some results for resonant frequency and radiation patterns compared with available data and computed current distribution on the patch are presented.
基金supported by the World Class University Program funded by the Ministry of Education, Science, and Technology through the National Research Foundation of Korea (No. R31-10008)supported in part by NIH (No. BRP 1R01 EB 007969- 01)
文摘An integrated microball lens fiber catheter probe is demonstrated, which has better lateral resolution and longer working distance than a corresponding bare fiber probe with diverging beam for Fourier domain optical coherence tomography (FDOCT). Simulation results are shown to gain the effect of the distance between the mieroball lens and the bare fiber to the focusing plane and beam width. The freedom of modifying the working distance and lateral resolution is shown. This is achieved by changing the gap distance between the single-mode fiber and the microball lens within the packaged surgical needle catheter without using an additional beam expander having a fixed length. The probe successfully acquired crosssectional images of ocular tissues from an animal sample with the proposed miniaturized imaging probe.
基金supported by the National Natural Science Foundation of China (61272447)the National Key Technology R&D Program of China (2012BAH18B05)the National New Generation Broadband Wireless Mobile Communication Network Major Project (03 Project) of China (12H1510)
文摘To ensure the integrity and security of cloud tenants' workload, and to prevent unexpected interference among tenants, cloud platform must make sure that system behaviors are trusted. By analyzing threats that exist in the cloud platform, a novel trusted domain hierarchical model(TDHM) based on noninterference theory was proposed in this paper to solve these problems. First of all, the abstraction modeling of tenants' computing environment and trusted domain(TD) were introduced for designing TDHM with formal methods. Secondly, corresponding constraints for trusted running were given to satisfy security requirements of tenants' TD, and security properties of TDHM ware analyzed. After that, trusted behavior of TD was defined based on these properties, and the decision theorem of that was proved. It illustrated that the design and implementation of TD in cloud followed the model with characteristics of trusted behavior. Finally, the implementation of prototype system was introduced based on our previous work, and evaluation results showed that the performance loss was in the acceptable range.