有无1墨水点亚对数空间限定交替式下推自动机之间的关系

该文引入 1墨水点 2方向交替式下推自动机 ,它是 1个具有额外能力的 2方向交替式下推自动机 ,能够用 1个墨水点在输入带上标记出最多 1个单元格。对具有 1个墨水点的和没有墨水点的亚对数空间限定交替式下推自动机之间的关系进行研究。实例证明了具有 1个墨水点的亚对数空间限定交替式下推自动机的语言受理能力强于没有墨水点的亚对数空间限定交替式下推自动机     

基于GIS的琼州海峡潮流空间插值模型比较研究

为了客观准确地反映海洋潮流空间分布特征,文中选取琼州海峡表层大潮流速数据,运用泛克里金插值法中的球状、指数、高斯和有理二次方程式4种不同半变异模型进行拟合插值,采用交叉验证和点验证法,通过对比4种半变异模型4个指标精度,研究结果表明在琼州海峡区域,有理二次方程式模型对表层大潮流速拟合效果最优,该研究为描述琼州海峡潮流空间分布和建立精确插值模型提供依据。     

基于多变量分析的环肋圆柱壳结构特性研究

为了从整个可行解空间研究圆柱壳结构特性,采用全因子试验设计获得变量范围内的可行解空间,通过相关理论推导计算得到不同结构形式圆柱壳的强度、稳定性以及振动频率等指标。采用相关性分析、主成分分析以及变量聚类分析方法根据可行解空间的数据对环肋圆柱壳强度、稳定性、振动频率之间以及这些属性与设计变量之间的关系进行研究。采用相关系数矩阵图、主成分分布图以及谱系聚类图将多变量分析的结果可视化。对可视化结果进行分析发现了圆柱壳结构属性之间的矛盾性,变量、属性之间的相似性和关系的复杂性。通过多变量分析得到的相关结论能够作为实际工程设计的参考。     

基于不完全四叉树的数字水深模型多尺度表达

空间数据的多尺度表达问题是GIS领域研究的重点和难点问题之一。以数字水深模型(DDM)为研究对象,从DDM的几何形态角度出发,通过挖掘水深点之间的空间几何关系,构建了基于不完全四叉树的DDM多尺度表达模型。实验证明,该模型在符合DDM多尺度表达基本原则的前提下,能较好地保持DDM的基本地形特征,同时具有较高的计算效率。     

潮滩海域边界适应网格潮流数值模型

在河口潮滩海域水动力学问题的计算中,为了模拟复杂的地形和岸形,最好采用边界适应坐标和小空间步长的高分辨率计算网格。由此带来的问题是,在非正交的边界适应坐标系中,如果继续采用直角坐标系中的速度分量做为求解未知量,不但给方程组的隐式求解带来困难,而且使潮滩上海水漫滩的干湿格点判断准则变得十分繁琐。本文导出了任意曲线坐标系下普遍适用的速度逆变张量和水位所满足的动力学方程组,从而实现了非正交曲线坐标系下交替方向隐式差分格式,使得在高分辨率的边界适应网格中,仍可采用大时间步长进行计算。速度逆变张量方程的导出同时给潮滩上动边界的实现带来了方便。文中通过数值试验,针对模型的稳定性和精确性与以往显式的适应性网格模型做了详尽的比较研究,从而证实该模型是一种研究河口潮滩动力学问题精确而高效的数值计算模型。     

多值置信的格值闭包算子及Galois联络

在多值逻辑的环境下,为进一步完善格值闭包理论的置信化问题,提出多值置信滤子的概念和实例。以多值置信滤子为工具界定了置信格值闭包算子和置信格值Galois联络的概念,并得到它们的等价刻画条件。结果表明:多值置信滤子是十分有用的置信推理工具,其不但可以解决格值闭包算子的置信化问题,而且可以描述置信格值Galois联络现象。     

多点半直驱式波浪能发电监控系统设计及实验数据分析

利用海洋波浪能发电已成为当今国内外专家研究的一个热点问题,其开发利用技术日趋成熟,并已取得一定的研究成果。在点吸收式波浪能转化研究的基础上,提出并设计了一种多点半直驱式波浪能发电系统,介绍了该波浪能发电系统的组成和基本原理,并以此搭建了实验室模型样机,为更好地反应模型样机的实时状态监控,选择相应的软硬件设施为样机配置监控系统,利用组态王软件编写了该系统的监控程序。为检验系统的发电效率和运行情况,以已经开发完成的仿真实验模型样机和监控系统为基础设计了3种实验方案,对实验数据进行了详细分析,通过实验验证了多点半直驱式波浪能发电系统的可行性,且能有效提高海洋能的收集利用效率,为系统的优化设计和实海况试验提供了理论依据与实验数据参考。     

深圳湾人造沙滩选址和修复方案

深圳湾经过近三十年的围填海活动,沿岸动力条件发生较大变化,如今自然状态下难以发育沙滩。从构建高品质游憩空间、防护海岸和提升旅游开发价值来看,沙滩是深圳湾急需的资源。为了加强人和海洋的联系、激发深圳湾的活力,建立城市自然缓冲区、化解极端风暴的威胁,以此达到防护海岸和满足居民休闲游赏需求的目的,本研究以近岸海洋要素的自然属性为主,海洋开发活动等社会属性为辅进行综合分析,并辅以数值模型进行验证,在深圳湾内选择适宜开展沙滩修复的海岸。沙滩修复选址时考虑了波浪、潮流、地形、地貌、沉积物等近岸海洋要素;数值模型包括潮流场模型、波浪模型和沙滩长期的平面演化模型。本研究案例对岸线动态变迁较大,自然状态难以发育沙滩的海岸的人造沙滩选址和设计方案提供示范与借鉴。     

中国沿海小黄鱼种群动力学及其空间异质性研究

小黄鱼是我国近海四种最重要的经济鱼类之一，在过去的几十年中小黄鱼种群及其两个地理亚种群经历了巨大的变化。小黄鱼的种群动力学研究，对于维持这一重要渔业的可持续管理是至关重要的。目前仅有的两个小黄鱼种群动力学模型只涵盖了较短的时间，且没有关注其空间差异。本文研究了1968年至2015年间黄渤海和东海小黄鱼的种群动力学模型，包含和不包含空间分层结构的两种贝叶斯模型被用于分析其种群动力学的大尺度空间异质性。本文分析了不同的假设，来研究小黄鱼种群动力学潜在的变化趋势。研究结果表明小黄鱼种群动力学特征具有明显的时间和空间变化。种群的增长速度从20世纪八十年代开始增加，而可捕系数从1981年到2015年增加了两倍多。与黄渤海亚种群相比，东海的小黄鱼亚种群生长速度更快，遭受的捕捞压力也更大。基于最大可持续产量MSY的参考点表明，无论是整个小黄鱼种群还是两个亚种群，近年来都有非常高的过度捕捞风险。因此我国小黄鱼的渔业管理急需更加保守的管理策略，同时考虑其地域差异。本文所用的方法可以应用于其他种类的资源评估和渔业管理，尤其是具有空间异质性和数据有限的种类。     

融合地学知识的海岸带遥感图像土地利用/覆被分类研究

针对海岸带地理环境的特殊性和城区海岸带地物的复杂性,应用Landsat7 ETM+遥感影像,结合地物光谱特征分析,融合地物的空间属性、地带性分布规律、物候规律等多种地学知识,建立特定的规则,逐级分层次地提取海岸带土地利用/覆被信息。结果表明:在没有任何人工修正的前提下,总体分类精度达95.8%,总体Kappa系数为0.944,实现了研究区域较快速和较高精度的地物自动化信息提取。