The platform scheduling problem in battlefield is one of the important problems in military operational research.It needs to minimize mission completing time and meanwhile maximize the mission completing accuracy with...The platform scheduling problem in battlefield is one of the important problems in military operational research.It needs to minimize mission completing time and meanwhile maximize the mission completing accuracy with a limited number of platforms.Though the traditional certain models obtain some good results,uncertain model is still needed to be introduced since the battlefield environment is complex and unstable.An uncertain model is prposed for the platform scheduling problem.Related parameters in this model are set to be fuzzy or stochastic.Due to the inherent disadvantage of the solving methods for traditional models,a new method is proposed to solve the uncertain model.Finally,the practicability and availability of the proposed method are demonstrated with a case of joint campaign.展开更多
In this paper, we discuss the parallel domain decomposition method(DDM)for solving PDE's on parallel computers. Three types of DDM: DDM with overlapping, DDM without overlapping and DDM with fictitious component a...In this paper, we discuss the parallel domain decomposition method(DDM)for solving PDE's on parallel computers. Three types of DDM: DDM with overlapping, DDM without overlapping and DDM with fictitious component are discussed in a uniform framework. The eonvergence of the asynchronous parallel algorithms based on DDM are discussed.展开更多
Through transformations, the time-dependent boundary condition on the airfoil contour and the boundary condition at infinity are brought fixed to the boundaries of a finite domain. The boundary conditions can thus be ...Through transformations, the time-dependent boundary condition on the airfoil contour and the boundary condition at infinity are brought fixed to the boundaries of a finite domain. The boundary conditions can thus be satisfied exactly without increasing the computational time. The novel scheme is useful for computing transonic, strong disturbance, unsteady flows with high reduced frequencies. The scheme makes use of curvefitted orthogonal meshes and the lattice control technique to obtain the optimal grid distribution. The numerical results are satisfactory.展开更多
In this paper, based on the idea of finite element method, the initial parametric method in bending, problem of a beam is extended to analyse the bar-system structure by employing Dirac function and llcavisidc step fu...In this paper, based on the idea of finite element method, the initial parametric method in bending, problem of a beam is extended to analyse the bar-system structure by employing Dirac function and llcavisidc step function.Then a new method for analysing the internal forces and deformations of bar-system structure in space is suggested by improving the mixed method in statically indeterminate structure.The inferred process and obtained answer will be more succinct and accurate when the problem of internal forces and deformations of bar-system structure is analysed by using the new method provided in this paper.展开更多
Utilizing the properties of the smallest singular value of a matrix, we propose a new, efficient and reliable algorithm for solving nonsymmetric matrix inverse eigenvalue problems, and compare it with a known method. ...Utilizing the properties of the smallest singular value of a matrix, we propose a new, efficient and reliable algorithm for solving nonsymmetric matrix inverse eigenvalue problems, and compare it with a known method. We also present numerical experiments which illustrate our results.展开更多
We analyze the convergence of multigrid methods applied to finite elementequations of second order with singularities caused by reentrant angles and abruptchanges in the boundary conditions. Provided much more weaker ...We analyze the convergence of multigrid methods applied to finite elementequations of second order with singularities caused by reentrant angles and abruptchanges in the boundary conditions. Provided much more weaker demand of clas-sical multigrid proofs, it is shown in this paper that, for symmetric and positivedefinite problems in the presence of singularities, multigrid algorithms with evenone smoothing step converge at a rate which is independent of the number of lev-els or unknowns. Furthermore, we extend this result to the nonsymmetric andindefinite problems.展开更多
In this paper, we construct a spectral-finite element scheme for solving semi-periodical two-dimensional vorticity equations. The error between the genuine solution and approximate solutionis estimated strictly. The n...In this paper, we construct a spectral-finite element scheme for solving semi-periodical two-dimensional vorticity equations. The error between the genuine solution and approximate solutionis estimated strictly. The numerical results show the advantages of such a method. The techniqueused in this paper can be easily generalized to three-dimensional problems.展开更多
A new method of solving Horn logic with equality,the goal-type driven method,is presented, which considers explicitly the unification operator as a goal and merged it into the resolution process. The method has the fo...A new method of solving Horn logic with equality,the goal-type driven method,is presented, which considers explicitly the unification operator as a goal and merged it into the resolution process. The method has the following advantages.The resolution and the unification have been integrated in a uniform way.The architectures of the inference engines based on Horn logic with equality are simplified. Any techniques of exploiting AND/ OR parallelism to solve goals can also be applied to unification at the same time.The method can be used to integrate the styles of functional language and logic lan- guage by a uniform framework.It can also deal with infinite data structures.展开更多
An optimal order of the multigrid method is given in energy-norm for the nonconforming finite element for solving the biharmonic equation, by using the nodal interpolation operator as the transfer operator between grids.
基金supported by the National Natural Science Foundation of China(61573017)
文摘The platform scheduling problem in battlefield is one of the important problems in military operational research.It needs to minimize mission completing time and meanwhile maximize the mission completing accuracy with a limited number of platforms.Though the traditional certain models obtain some good results,uncertain model is still needed to be introduced since the battlefield environment is complex and unstable.An uncertain model is prposed for the platform scheduling problem.Related parameters in this model are set to be fuzzy or stochastic.Due to the inherent disadvantage of the solving methods for traditional models,a new method is proposed to solve the uncertain model.Finally,the practicability and availability of the proposed method are demonstrated with a case of joint campaign.
基金The project supported by National Natural Science Fundation of China.
文摘In this paper, we discuss the parallel domain decomposition method(DDM)for solving PDE's on parallel computers. Three types of DDM: DDM with overlapping, DDM without overlapping and DDM with fictitious component are discussed in a uniform framework. The eonvergence of the asynchronous parallel algorithms based on DDM are discussed.
文摘Through transformations, the time-dependent boundary condition on the airfoil contour and the boundary condition at infinity are brought fixed to the boundaries of a finite domain. The boundary conditions can thus be satisfied exactly without increasing the computational time. The novel scheme is useful for computing transonic, strong disturbance, unsteady flows with high reduced frequencies. The scheme makes use of curvefitted orthogonal meshes and the lattice control technique to obtain the optimal grid distribution. The numerical results are satisfactory.
文摘In this paper, based on the idea of finite element method, the initial parametric method in bending, problem of a beam is extended to analyse the bar-system structure by employing Dirac function and llcavisidc step function.Then a new method for analysing the internal forces and deformations of bar-system structure in space is suggested by improving the mixed method in statically indeterminate structure.The inferred process and obtained answer will be more succinct and accurate when the problem of internal forces and deformations of bar-system structure is analysed by using the new method provided in this paper.
文摘Utilizing the properties of the smallest singular value of a matrix, we propose a new, efficient and reliable algorithm for solving nonsymmetric matrix inverse eigenvalue problems, and compare it with a known method. We also present numerical experiments which illustrate our results.
文摘We analyze the convergence of multigrid methods applied to finite elementequations of second order with singularities caused by reentrant angles and abruptchanges in the boundary conditions. Provided much more weaker demand of clas-sical multigrid proofs, it is shown in this paper that, for symmetric and positivedefinite problems in the presence of singularities, multigrid algorithms with evenone smoothing step converge at a rate which is independent of the number of lev-els or unknowns. Furthermore, we extend this result to the nonsymmetric andindefinite problems.
文摘In this paper, we construct a spectral-finite element scheme for solving semi-periodical two-dimensional vorticity equations. The error between the genuine solution and approximate solutionis estimated strictly. The numerical results show the advantages of such a method. The techniqueused in this paper can be easily generalized to three-dimensional problems.
文摘A new method of solving Horn logic with equality,the goal-type driven method,is presented, which considers explicitly the unification operator as a goal and merged it into the resolution process. The method has the following advantages.The resolution and the unification have been integrated in a uniform way.The architectures of the inference engines based on Horn logic with equality are simplified. Any techniques of exploiting AND/ OR parallelism to solve goals can also be applied to unification at the same time.The method can be used to integrate the styles of functional language and logic lan- guage by a uniform framework.It can also deal with infinite data structures.
文摘An optimal order of the multigrid method is given in energy-norm for the nonconforming finite element for solving the biharmonic equation, by using the nodal interpolation operator as the transfer operator between grids.