关于Diophantine方程的解

对于正整数a ,设S(a)是Smarandache函数。证明了 :方程S(1·2 ) +S(2·3) +… +S(x(x +1) ) =S(x(x +1) (x +2 ) /3)仅有正整数解x =1。     

康古尔塔格缝合带的变形机制

北天山东段康古尔塔格带是晚古生代塔里木板块和准噶尔板块碰撞的结果。它是一条复杂的、强烈的高应变带．并具有独特的变形机制、应变序列以及构造变形。本文运用构造－地层研究方法对该碰撞带的构造特征加以分析和研究。     

APPLICATION OF GEOGRAPHICAL PARAMETER DATABASE TO ESTABLISHMENT OF UNIT POPULATION DATABASE

Now GIS is turning into a good tool in handling geographical, economical, and population data, so we can obtain more and more information from these data. On the other hand, in some cases, for a calamity, such as hurricane, earthquake, flood, drought etc., or a decision-making, such as setting up a broadcasting transmitter, building a chemical plant etc., we have to evaluate the total population in the region influenced by a calamity or a project. In this paper, a method is put forward to evaluate the population in such special region. Through exploring the correlation of geographical parameters and the distribution of people in the same region by means of quantitative analysis and qualitative analysis, unit population database (1km× 1km) is established. In this way, estimating the number of people in a special region is capable by adding up the population in every grid involved in this region boundary. The geographical parameters are obtained from topographic database and DEM database on the scale of     

浅议地勘单位的物业管理

文章阐述了地勘单位物业管理社会化的必然性和内函 ,提出发展地勘单位物业管理的基本内容和需要解决的问题 ,最终实现以业养业 ,自我发展。     

空间刚架结构极限强度分析

本文用理想结构单元法对空间刚架结构进行了极限强度分析，理想结构单元法在于将结构分成最大可能的单元。以简单的形式归并几何非线性与材料非线性。按增量形式加载，直到达到极限强度。本文根据Ｒａｓｈｅｄ理论导出了对称的切向方程组，节省了存贮单元、改善了破坏准则的描述。算例结果与非线性有限单元法结果十分吻合。     

Robust adaptive control of underactuated ships on a linear course with comfort

This paper addresses an important problem in ship control application—the robust stabilization of underactuated ships on a linear course with comfort. Specifically, we develop a multivariable controller to stabilize ocean surface ships without a sway actuator on a linear course and to reduce roll and pitch simultaneously. The controller adapts to unknown parameters of the ship and constant environmental disturbances induced by wave, ocean current and wind. It is also robust to time-varying environmental disturbances, time-varying change in ship parameters and other motions of the ship such as surge and heave. The roll and pitch can be made arbitrarily small while the heading angle and sway are kept to be in reasonably small bounds. The controller development is based on Lyapunov’s direct method and backstepping technique. A Lipschitz continuous projection algorithm is used to update the estimate of the unknown parameters to avoid the parameters’ drift due to time-varying environmental disturbances. Simulations on a full-scale catamaran illustrate the effectiveness of our proposed controller.     

Vertical variations of wave-induced radiation stress tensor

INTRODUcrIONThe concept of radiation stress was deve1oPed by tonguet--Higgins and Stewart (1964 ),who intreduced the definition of radiation stress as the excess mornentum due to the presence ofwaves, on the basis of time-averaged laws of Newtonian fluid mechanics and the assmption ofa unifOrm velocity distribution over depth. Subequently, the theory has been applied success-fully in the investigation of phenomena such as wave set-up and set--down (Bowen et al.,l968), longshore currents …     

A linear Boltzmann equation to model wave scattering in the marginal ice zone

We present a linear Boltzmann equation to model wave scattering in the Marginal Ice Zone (the region of ocean which consists of broken ice floes). The equation is derived by two methods, the first based on Meylan et al. [Meylan, M.H., Squire, V.A., Fox, C., 1997. Towards realism in modeling ocean wave behavior in marginal ice zones. J. Geophys. Res. 102 (C10), 22981–22991] and second based on Masson and LeBlond [Masson, D., LeBlond, P., 1989. Spectral evolution of wind-generated surface gravity waves in a dispersed ice field. J. Fluid Mech. 202, 111–136]. This linear Boltzmann equation, we believe, is more suitable than the equation presented in Masson and LeBlond [Masson, D., LeBlond, P., 1989. Spectral evolution of wind-generated surface gravity waves in a dispersed ice field. J. Fluid Mech. 202, 111–136] because of its simpler form, because it is a differential rather than difference equation and because it does not depend on any assumptions about the ice floe geometry. However, the linear Boltzmann equation presented here is equivalent to the equation in Masson and LeBlond [Masson, D., LeBlond, P., 1989. Spectral evolution of wind-generated surface gravity waves in a dispersed ice field. J. Fluid Mech. 202, 111–136] since it is derived from their equation. Furthermore, the linear Boltzmann equation is also derived independently using the argument in Meylan et al. [Meylan, M.H., Squire, V.A., Fox, C., 1997. Towards realism in modeling ocean wave behavior in marginal ice zones. J. Geophys. Res. 102 (C10), 22981–22991]. We also present details of how the scattering kernel in the linear Boltzmann equation is found from the scattering by an individual ice floe and show how the linear Boltzmann equation can be solved straightforwardly in certain cases.     

Calculation of transverse hydrodynamic coefficients using computational fluid dynamic approach

Computational Fluid Dynamic (CFD) based on Reynolds Averaged Navier–Stokes equation is used for determining the transverse hydrodynamic damping force and moment coefficients that are needed in the maneuverability study of marine vehicles. Computations are performed for two geometrical shapes representing typical AUVs presently in use. Results are compared with available data on similar geometries and from some of the available semi-empirical relations. It is found that the CFD predictions compares reasonable well with these results. In particular, the CFD predictions of forces and moments are found to be nonlinear with respect to the transverse velocity, and therefore both linear and nonlinear coefficients can be derived. A discussion on the sources of the component forces reveal that the total force and moment variations should in fact be nonlinear.