Using the Radon transform and morphological image processing, an algorithm for ship's wake detection in the SAR (synthetic aperture radar) image is developed. Being manipulated in the Radon space to invert the gra...Using the Radon transform and morphological image processing, an algorithm for ship's wake detection in the SAR (synthetic aperture radar) image is developed. Being manipulated in the Radon space to invert the gray-level and binary images, the linear texture of ship wake in oceanic clutter can be well detected. It has been applied to the automatic detection of a moving ship from the SEASAT SAR image. The results show that this algorithm is well robust in a strong noisy background and is not very sensitive to the threshold parameter and the working window size.展开更多
In this paper, we propose a modified evolutionary programming with dynamic domain for solving nonlinear IP/MIP problems with linear constraints, without involving penalty function or any transformation for the problem...In this paper, we propose a modified evolutionary programming with dynamic domain for solving nonlinear IP/MIP problems with linear constraints, without involving penalty function or any transformation for the problem to a linear model or others. The numerical results show that the new algorithm gives a satisfactory performance in which it works of high speed, and accuracy in IP/MIP problems.展开更多
In this paper two classes of equivalence transform methods for solving ordinary differential equations are proposed. One class of method is the equivalence integral transform method for special differential algebraic ...In this paper two classes of equivalence transform methods for solving ordinary differential equations are proposed. One class of method is the equivalence integral transform method for special differential algebraic problems. The advantage of this class of method is such that the amount of work calculating one integration with parameters becomes that of two interpolations, when the system of nonlinear equations is solved on the right hand side function. The other class of method is the equivalence substitution method for avoiding calculating derivative on the right hand side function. In order to avoid calculation derivatives, two equivalence substitution methods are proposed here. The application instances of some special effect of the equivalence substitution methods are given.展开更多
An equation is derived to explain the General Theory of Relativity and the effects of GTR: the rotations of planets' perihilion, deflects of star light by a gravitational mass, and the existence of gravitational w...An equation is derived to explain the General Theory of Relativity and the effects of GTR: the rotations of planets' perihilion, deflects of star light by a gravitational mass, and the existence of gravitational waves. Differentiation was used in the derivation but without the dependence of mass, space and time on velocity. The general postulates that are the bases of the new approach to electrodynamics were stated.展开更多
We present a method for using type theory to solve decision making problem. Our method is based on the view that decision making is a special kind of theorem proving activity. An isomorphism between problems and types...We present a method for using type theory to solve decision making problem. Our method is based on the view that decision making is a special kind of theorem proving activity. An isomorphism between problems and types, and solutions and programs has been established to support this view which is much similar to the Curry-Howard isomorphism between propositions and types, and proofs and programs. To support our method, a proof development system called PowerEpsilon has been developed, and the synthesis of a decision procedure for validity of first-order propositional logic is discussed to show the power of the system.展开更多
The conversion theory of vector wave function is one of important problems in electromagnetic. This paper presents a systematic treatment of the conversion technique and some applications. In this paper, the conversio...The conversion theory of vector wave function is one of important problems in electromagnetic. This paper presents a systematic treatment of the conversion technique and some applications. In this paper, the conversion relations of standard and non-standard spherical vector wave functions, standard and non-standard cylindrical vector wave functions, and spherical and cylindrical vector wave functions are developed. As an example of application of vector wave function expansion, the expansion of plane wave and dipole field in two-medium half-spaces are given. As an example of application of vector wave function conversion, the scattering patterns of buried conducting and dielectric spheres are presented. Inspection on the numerical results shows that the technique and associated programs presented in this paper are efficient.展开更多
基金supported by the National Natural Science Foundation of China(1127105011371183+2 种基金61403036)the Science and Technology Development Foundation of CAEP(2013A04030202013B0403068)
基金This project was supported by the National Natural Science Foundation of China (No. 49831060).
文摘Using the Radon transform and morphological image processing, an algorithm for ship's wake detection in the SAR (synthetic aperture radar) image is developed. Being manipulated in the Radon space to invert the gray-level and binary images, the linear texture of ship wake in oceanic clutter can be well detected. It has been applied to the automatic detection of a moving ship from the SEASAT SAR image. The results show that this algorithm is well robust in a strong noisy background and is not very sensitive to the threshold parameter and the working window size.
基金This project was supported by the National Natural Science Foundation of China.
文摘In this paper, we propose a modified evolutionary programming with dynamic domain for solving nonlinear IP/MIP problems with linear constraints, without involving penalty function or any transformation for the problem to a linear model or others. The numerical results show that the new algorithm gives a satisfactory performance in which it works of high speed, and accuracy in IP/MIP problems.
基金The project was supported by the National Natural Science Faundation of China
文摘In this paper two classes of equivalence transform methods for solving ordinary differential equations are proposed. One class of method is the equivalence integral transform method for special differential algebraic problems. The advantage of this class of method is such that the amount of work calculating one integration with parameters becomes that of two interpolations, when the system of nonlinear equations is solved on the right hand side function. The other class of method is the equivalence substitution method for avoiding calculating derivative on the right hand side function. In order to avoid calculation derivatives, two equivalence substitution methods are proposed here. The application instances of some special effect of the equivalence substitution methods are given.
文摘An equation is derived to explain the General Theory of Relativity and the effects of GTR: the rotations of planets' perihilion, deflects of star light by a gravitational mass, and the existence of gravitational waves. Differentiation was used in the derivation but without the dependence of mass, space and time on velocity. The general postulates that are the bases of the new approach to electrodynamics were stated.
文摘We present a method for using type theory to solve decision making problem. Our method is based on the view that decision making is a special kind of theorem proving activity. An isomorphism between problems and types, and solutions and programs has been established to support this view which is much similar to the Curry-Howard isomorphism between propositions and types, and proofs and programs. To support our method, a proof development system called PowerEpsilon has been developed, and the synthesis of a decision procedure for validity of first-order propositional logic is discussed to show the power of the system.
文摘The conversion theory of vector wave function is one of important problems in electromagnetic. This paper presents a systematic treatment of the conversion technique and some applications. In this paper, the conversion relations of standard and non-standard spherical vector wave functions, standard and non-standard cylindrical vector wave functions, and spherical and cylindrical vector wave functions are developed. As an example of application of vector wave function expansion, the expansion of plane wave and dipole field in two-medium half-spaces are given. As an example of application of vector wave function conversion, the scattering patterns of buried conducting and dielectric spheres are presented. Inspection on the numerical results shows that the technique and associated programs presented in this paper are efficient.
