关于Diophantine方程的解

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

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 …     

面向GIS的线状符号开放式多元设计方案

提出一种跨越专业限制，用于快速绘制任意曲率曲线的开放式线状符号“组合配置法”设计方案，即用主干线、辅助线、辅助圆和点符号等四种子线型的有机组合描述目标线型，并详细论述了其数据结构、文件结构及子线型的实现方法。同时还提出伪码法用于解决满足国标要求的图廓整饰线，并对裁剪法作了简要阐述。上述线型设计方法已成功设计、实现并应用于“海底地形成图系统(MBChar)”，已服务于大陆架海底成图项目。     

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.     

中国对虾配合饲料限制性营养成分分析

以最常用的18种原料为对象,用线性规划的方法对华东沿海中国对虾人工饲料配制过程中的限制营养成分进行了分析。结果表明,粗脂肪、粗灰分、磷、精氨酸、赖氨酸是限制性营养成分,粗纤维和蛋氨酸在以植物性蛋白质为主的配方中是限制性营养成分。因此,在中国对虾人工饵料配方设计中,应注意选用脱脂原料,增加矿物质添加剂中磷的含量以及采用富含精氨酸和赖氨酸的原料。     

基于GIS地层剖面数据库和岩性柱状图符号库的创建

本文基于ArcGIS Deskto P9.2,建立了塔城盆地地层剖面的空间数据库,并利用ArcGIS系统本身的图形编辑功能,制作一套岩性符号库,用于实现岩性柱状图的填充,并将符号库中的每个岩性符号进行编码,通过岩性符号柱状图属性码与相应的岩性符号编码的匹配自动实现所有岩性柱状图的符号化表达。     

多源遥感数据综合解译鄂尔多斯盆地杭锦旗地区地质构造

利用多源遥感数据假彩色合成、融合及纹理分析等增强处理方法提取研究区构造信息,进而对研究区进行综合解译;通过分析水系、色调、纹理、地貌及岩性等特征,判断出杭锦旗地区存在一小一大、内外相套的2个环形构造,发育的北西向、北东向2组共轭断层和一组北北西向断层,与环形构造相互构架,构成研究区特殊的构造体系。经分析预测,这些构造是受周边南北向构造应力共同挤压而形成。     

现代地图语言

地图符号发展到今天,已经超越了其符号本身,应当把它当作一种语言来研究,即地图语言。地图语言使人们使用地图进行空间认识更加贴近现实,使地理空间信息的传输更加准确、生动和形象。文中主要对现代地图语言的形成,现代地图语言的主要表现形式即视觉符号、听觉符号和触觉符号,以及地图语言的本质即视觉变量、听觉变量和触觉变量进行了探讨。