面向对象的数据库逻辑设计

本文提出一种将面向对象的设计思想应用于数据库逻辑设计的方法，讨论了如何在数据库系统中建立面向对象的用户概念模式．     

一种基于面向对象的时空实体复合模型

提出时空实体的概念,将一个实体的时空演变看作是一个完整的时空目标,综合面向对象方法和关系模型的优点,拓展传统的面向对象的时空建模思路,建立面向对象的时空实体复合模型.模型采用链表结构,并建立时态关系表,支持对实体的演变历史检索,可实现灵活的关联分析,并能兼顾个体和位置的时空变化,具有较好的时空分析处理能力.     

面向对象的海洋地质调查数据服务平台实现

针对现有海洋地质调查数据的应用需求,采用面向对象技术和分布式技术,借鉴Epicentre数据模型提出了以面向对象数据模型作为统一数据模型的海洋地质调查数据服务平台。介绍了平台的体系架构及其所采用的关键技术,并对平台进行设计开发,初步实现了海洋地质调查数据的集成共享,为海洋地质调查数据服务系统建设提供了支持。     

面向对象的红树林信息提取

红树林是世界上最重要的生态系统之一,对于海岸带的保护起着非常重要的作用。然而,由于红树林所处的地理环境,对其进行实地调查是很困难的。遥感的出现,为我们研究红树林提供了一个很好的技术手段。但由于红树林的光谱信息与其他植被光谱信息的相似性,给红树林信息的提取带来了很大的困难。基于IKONOS卫星影像,采用面向对象的信息提取方法,利用简单的决策树分类方法进行了海岸带红树林信息提取的实验,得到了很好的结果,并与其他方法进行了比较。     

基于面向对象图像分析技术的 围填海用海工程遥感监测

针对江苏省海岸带海域使用情况的监测需求,提出了基于面向对象图像分析技术的围填海用海工程遥感监测的技术 方法,开发了相应的软件系统,以之实现了用海工程土地利用的自动分类、专题地物提取,以及工程进展的变化检测等功 能。所提出的技术的可行性与实用性在实际业务中得到了检验,从而为围填海工程等海域使用监测提供了新颖可行的解决方 案。     

一种基于工作流逻辑偶的海域无人机监视监测业务流程建模方法

通过构建海域无人机监视监测业务流程形式化模型,为海域无人机监控与管理系统能够自适应可变的业务流程奠定基础。首先对比了各种业务流程建模方法的技术特点和适用场景,然后对海域无人机监视监测业务流程进行分析,提出了一种UML活动图转化为基于Petri网的工作流逻辑偶的方法,最后基于此方法对海域无人机监视监测业务流程进行建模。建模结果表明,该方法能有效地将海域无人机监视监测业务流程的分支、分叉以及汇合等流程逻辑转化为工作流逻辑偶,并且转化的结果满足良序性、良构性以及畅通性。     

基于面向对象影像分析方法的我国西沙珊瑚礁地貌单元信息提取

珊瑚礁地貌单元的空间分布对于理解珊瑚礁生态系统的地质构造过程具有重要作用。然而,基于像素的影像分析方法往往获取不到较高精度的分类结果。本文基于面向对象的影像分析方法,利用Landsat 8卫星影像数据对我国西沙地区的珊瑚环礁进行了地貌单元的遥感信息提取。借鉴于美国千年珊瑚礁测绘项目的工作成果,本文首先针对研究区特点定义了十类珊瑚礁地貌单元类型。然后,基于对象的多层次关系特点,并综合利用对象的光谱、形状、上下文关系等特征,建立合适的分类规则集,获取了研究区较大尺度的珊瑚环礁地貌分区图,其分类精度普遍高于80%。虽然研究结果表明基于面向对象的影像分析方法可以有效的进行珊瑚礁遥感信息提取,但其规则集的可移植性仍需要今后的工作加以改善。     

基于面向对象和模糊逻辑的SAR溢油检测算法

星载合成孔径雷达(Synthetic Aperture Radar,SAR)具有全天时、全天候的工作能力,已被众多学者认为是非常适合探测海面溢油污染的遥感器。然而在SAR影像中经常出现"类油膜"现象,这严重干扰了SAR溢油检测的精度。因此,如何有效区分SAR影像中的油膜和类油膜,对提升溢油检测精度具有重要意义。本文利用面向对象图像分析的方法,从20景ENVISAT ASAR影像中提取了较多的溢油和类油膜样本,对其基于对象的形状、物理和纹理特征进行了综合分析,找出了适合区分溢油和类油膜的特征量。利用特征分析的结论,本文建立了一种基于模糊逻辑的溢油检测算法。该算法可以有效区分SAR影像中的溢油和类油膜,还可以给出暗斑被判定为溢油的概率。溢油检测实验说明,本文方法能够得到令人满意的效果。     

一种基于执行路径状态比对的科学计算程序等效性判定方法

科学计算程序的计算等效性判定是科学计算领域的重要问题。科学计算程序在算法改进、程序优化和版本迭代过程中经常对函数进行等价转换,转换前后的同一函数需要确保其计算过程的等效性。针对该问题,提出基于程序路径的状态匹配验证方法——SCEP,通过对程序不同版本在相同的输入空间的路径状态进行约束求解和精确比对,判定其计算的等效性。将SCEP方法与已有的判定方法在多个库函数组成的spcLib测试程序集上进行了对比实验,结果表明SCEP能判定更多的函数转换类型,不仅可用于"Fortran-to-Fortran"源码等效性检查,还能对"Fortran-to-C/C++"源码转换进行等价性判定。该方法有助于为科学计算程序的优化改进过程和向C/C++迁移过程提供完备的计算等效性保证。     

一种基于粗糙集的文本分类规则抽取方法

随着文本数据库的日益增大 ,寻找新的文本数据处理方法变得十分紧迫。本文将粗糙集理论应用于文本自动分类的规则提取 ,提出了基于粗糙集理论的文本分类方法。把文本特征项的权值进行离散化处理后 ,作为规则的条件属性 ,文本所属的类别用作决策属性 ,构造决策表 ,然后通过决策表的知识约简算法提取出文本的分类规则。实验结果表明 ,该方法提取规则的分类正确率较高 ,分类速度较快     

水下滑翔器的运动建模与分析

介绍了水下滑翔器的工作机理，对其沉浮阶段的滑翔过程进行了动力学分析，推导了滑翔器在垂直剖面上的动力学方程。论文深入分析了水下滑翔器稳态时的运动规律，以水下滑翔器试验模型为例，推导了其稳态运动参数，通过线性化与适当的简化，得到模型在垂直剖面上的运动状态方程，讨论了系统的可控性与可观测性，为水下滑翔器系统的开发设计和控制提供了理论依据，具有重要的指导意义。     

地震正演模拟技术在准噶尔盆地西北缘七区地震解释中的应用

地震正演模拟技术是用数学或物理的方法研究地震波在某种具体的简化模型中传播的特点,用来模拟真实地质结构条件下的地震波场.随着油气勘探的难度越来越大,该技术得到了越来越广泛的应用.以准噶尔盆地西北缘七区三维地震解释中的应用为例,正演模拟技术在地质模式的识别、断裂的精细刻画、速度异常的分析、小断裂的识别等方面都有较好的效果.     

A Large-Scale Seasonal Modeling Study of the California Current System

A high-resolution, multi-level, primitive equation ocean model has been used to investigate the combined role of seasonal wind forcing, seasonal thermohaline gradients, and coastline irregularities on the formation of currents, meanders, eddies, and filaments in the entire California Current System (CCS) region, from Baja to the Washington-Canada border. Additional objectives are to further characterize the meandering jet south of Cape Blanco and the seasonal variability off Baja. Model results show the following: All of the major currents of the CCS (i.e., the California Current, the California Undercurrent, the Davidson Current, the Southern California Countercurrent, and the Southern California Eddy) as well as filaments, meanders and eddies are generated. The results are consistent with the generation of eddies from instabilities of the southward current and northward undercurrent via barotropic and baroclinic instability processes. The meandering southward jet, which divides coastally-influenced water from water of offshore origin, is a continuous feature in the CCS, and covers an alongshore distance of over 2000 km from south of Cape Blanco to Baja. Off Baja, the southward jet strengthens (weakens) during spring and summer (fall and winter). The area off southern Baja is a highly dynamic environment for meanders, filaments, and eddies, while the region off Point Eugenia, which represents the largest coastline perturbation along the Baja peninsula, is shown to be a persistent cyclonic eddy generation region. This revised version was published online in July 2006 with corrections to the Cover Date.     

基于换位原理的对手建模模型

对抗性多机器人系统是 1个典型的多智能体系统 (MAS)。在 MAS中 ,建立对手模型 ,并进行意图和规划识别是对抗活动的基本前提。BDI是描述思维的有效手段 ,可用来建立通用的对手思维状态模型。本文在 BDI模型的基础上结合换位原理 ,提出了 1种对抗性多机器人系统中的对手建模模型 ,并将此方法应用到足球机器人系统 ,获得了较好的效果。     

RANS Modeling of Solitary Wave Propagation over A Submerged Rectangular Breakwater

In this paper a series of numerical simulations are performed to investigate the vortex shedding mechanism for a solitary wave propagating over a submerged breakwater by use of Reynolds averaged Navier-Stokes (RANS) model combined with a k-ε model. Flows of different Reynolds numbers up to Re=1.4×105 corresponding to varying incident wave heights are considered in which the characteristic fluid velocity is represented by the maximum horizontal velocity above the submerged breakwater. For the verification of...     

RANS Modeling of Solitary Wave Propagation over A Submerged Rectangular Breakwater

In this paper a series of numerical simulations are performed to investigate the vortex shedding mechanism for a solitary wave propagating over a submerged breakwater by use of Reynolds averaged Navier-Stokes (RANS) model combined with a k-ε model. Flows of different Reynolds numbers up to Re=1.4×105 corresponding to varying incident wave heights are considered in which the characteristic fluid velocity is represented by the maximum horizontal velocity above the submerged breakwater. For the verification of the accuracy of the numerical model, the incident waves and the velocity field in the vicinity of the breakwater are compared with experimental data. The result shows that the model is capable of describing vortex shedding for a solitary wave propagating over a rectangular submerged breakwater. Key features of vortex generation, evolution and dissipation are investigated. It is found that the vortex shedding and their evolution due to separated boundary layer over the breakwater are strongly related to the Reynolds number. A considerable number of vortices and complicated vortex pattern are observed as the Reynolds number increases.     

三维符号构成及建模方法研究

随着计算机软硬件技术和三维可视化技术的快速发展,二维平面电子地图正在向直观、形象的三维电子地图方向过渡,而原来的二维地图符号已难以满足三维场景逼真性的要求,它必然要求与之配套的三维符号理论和技术的产生。由于三维符号如何构成及怎样标注尚无标准可遵循,在对三维符号的构成、分类及建模方法进行分析的基础上,提出了实体模型符号的两种建模方法,实验表明它们切实可行,能较好地表达三维实体模型。     

A Finite Volume Method with Unstructured Triangular Grids for Numerical Modeling of Tidal Current

The finite volume method （FVM） has many advantages in 2-D shallow water numerical simulation. In this study, the finite volume method is used with unstructured triangular grids to simulate the tidal currents. The Roe scheme is applied in the calculation of the intercell numerical flux, and the MUSCL method is introduced to improve its accuracy. The time integral is a two-step scheme of forecast and revision. For the verification of the present method, the Stoker＇s problem is calculated and the result is compared with the mathematically analytic solutions. The comparison indicates that the method is feasible. A sea area of a port is used as an example to test the method established here. The result shows that the present computational method is satisfactory, and it could be applied to the engineering fields.     

2008奥运会帆船基地平面物理模型试验研究

2008北京奥运会青岛帆船比赛基地的平面布置对港内泊稳条件、比赛效果、场地外观等提出较高要求。文中总结帆船比赛基地平面布置的水工物理模型试验成果,分析赛船区的泊稳条件,讨论布局合理性,并提出改进措施。     

A Study of Wind Statistics Through Auto-Regressive and Moving-Average (ARMA) Modeling

Statistical properties of winds near the Taichung Harbour are investigated. The 26 years'incomplete data of wind speeds, measured on an hourly basis, are used as reference. The possibility of imputation using simulated results of the Auto-Regressive (AR), Moving-Average (MA), and/ or Auto-Regressive and Moving-Average (ARMA) models is studied. Predictions of the 25-year extreme wind speeds based upon the augmented data are compared with the original series. Based upon the results, predictions of the 50- and 100-year extreme wind speeds are then made.