符号计算系统及其在测绘中的应用--以子午线弧长反解为例*

简要介绍了Mathematica及其它符号运算系统,并结合子午线弧长反解讨论了Mathematica在测绘中的潜在应用前景.     

基于粗规则对象空间信息表的最小规则集生成

提出了粗规则对象空间信息表的概念、相关概念和性质，并给出实现粗规则最小化算法。基于此，编写了相应的计算机程序，并对一个地理信息系统实例规则进行了研究。实例表明运行可靠、结果正确，可应用于智能决策信息系统的知识库优化。     

侧扫声呐识别沉船影像的迁移学习卷积神经网络法

侧扫声呐海底沉船图像识别是水下障碍物核查和失事船只搜救中的一项重要工作.针对传统侧扫声呐图像人工判读存在效率低、耗时长、资源消耗大及主观不确定性强和过分依赖经验等问题,本文尝试引入卷积神经网络的方法,同时考虑到侧扫声呐沉船图像属于小样本数据集,提出一种基于迁移学习的卷积神经网络侧扫声呐沉船图像自动识别方法.通过归一化处...     

斜轴变形椭球高斯投影方法

针对东西跨度较大的线路,借助最小二乘法建立斜轴参考椭球,以减小高斯投影横坐标;通过坐标系转换理论,推导出测区在各坐标系下的空间直角坐标,进而确定测区相对于斜轴参考椭球上的大地坐标;利用椭球变换法建立斜轴变形椭球以减小因高程引起的投影变形。以某铁路线为例,可知"斜轴变形椭球高斯投影方法"可大大减小投影后横轴方向分量,避免高斯投影分带现象,同时有效减小高程及其引起的投影变形。该方法数学模型严谨、运算过程清晰,便于编制相关软件,可投入工程使用。     

Gauss投影的复变函数表示

利用复变函数理论重新讨论了高斯投影。研究表明，高斯投影的复变函数表示具有形式紧凑、公式简单、计算效率高等优点，特别是基于复变函数建立的尺度比和子午线收敛角公式能表示为闭合形式。     

长岭凹陷深层天然气藏中CO_2及CH_4充注次序的流体包裹体证据

对长岭凹陷深层天然气藏储层——营城组火山岩中发育的流体包裹体进行了详细研究,结果表明在火山岩发育的石英、方解石细网脉中均存在较多的碳质流体包裹体,单个包裹体激光拉曼光谱分析结果表明其主要为CO2及CH4两种类型的碳质包裹体。其中方解石细网脉体中发育有原生及次生CH4包裹体,而含CO2包裹体多以原生包裹体产于石英细网脉中。很多含CO2包裹体的石英细脉中发现了含CH4包裹体的方解石脉体的角砾,这就表明石英细脉形成晚于方解石细脉。营城组火山岩储层中CO2及CH4包裹体的产状特征研究表明,松辽盆地深层天然气藏的形成系火山岩成岩后CO2及CH4等气体不同期次充注的结果,CH4气的充注时间早于CO2气,火山岩中发育的原生孔隙及次生裂隙为上述气体的充注和聚集提供了重要通道。     

辽宁本溪南芬铁矿地质特征

南芬铁矿床成因类型为太古宙鞍山式火山沉积变质铁矿床,矿床规模为超大型,矿体形态和组构较简单,矿石有用组分分布均匀.矿体由分布于太古宇鞍山群茨沟岩组中的3个铁矿层组成,控矿构造为单斜构造,矿体的规模、产状、矿物组成、品位（TFe）稳定.     

动态非线性滤波模型非线性强度的曲率度量及其应用

基于微分几何的两种曲率——参数影响曲率和固有曲率,给出了定量描述非线性滤波问题的非线性强度的方法,分别采用扩展Kalman滤波方法和Unscented Kalman滤波方法进行了模拟实验。结果验证了这些曲率确实能够度量非线性滤波问题的非线性强度,且能够评估非线性滤波算法的状态估计性能。     

夏季亚洲季风区对流层-平流层不可逆质量交换特征分析

基于2005年NCEP/GFS分析资料和拉格朗日粒子扩散模式的“Domain Filling”技术,以气块穿越对流层顶后的滞留时间为标准,诊断分析了夏季亚洲季风区对流层-平流层质量交换,重点讨论了对平流层大气成分收支具有实际意义的不可逆双向质量交换过程,并利用前向（后向）轨迹追踪方法,分析了其4天的“源（汇）”特征.研究结果表明：(1)对流层-平流层质量交换(Troposphere-Stratosphere mass Exchange,STE)的计算对滞留时间阈值的选择具有较强敏感性,大多数的气块在1～2天内可频繁地往返对流层顶.这些瞬时交换事件的考虑与否对穿越对流层顶的质量交换计算的准确性具有重要影响,尤其在中纬度的风暴轴区域.(2)从亚洲季风区对流层-平流层质量净交换纬向平均上看,45°N以南的区域为对流层向平流层的质量输送(Troposphere to Stratosphere mass Transport,TST),副热带地区为最强的上升支,而在45°N~55°N的中纬度地区是平流层向对流层质量输送（Stratosphere to Troposphere mass Transport,STT）.地理分布上,STT主要分布在青藏高原以北的东亚地区,与亚洲季风区夏季大尺度的槽区相对应.夏季整个亚洲季风区都是TST发生的区域,最大值位于青藏高原东南侧及其附近区域,该区域占亚洲季风区不可逆TST夏季平均总量的46%.(3)对流层-平流层质量交换的“源汇”特征分析表明,STT主要源于100°E以西、50°N以北的高纬地区,向下可以输送到中国东北部及朝鲜半岛北部等中纬度区域.而TST主要来源于中纬度和副热带地区的大气输送,向上穿越对流层顶高度以后,可分别向高纬的极地和热带地区输送,这意味着亚洲季风区夏季的TST水汽输送可能进入“热带管”中,进而可能对全球平流层水汽平衡产生重要影响.     

论数字城市工程及其技术体系

分析了数字城市的内涵,基于数字工程思想,总结了数字城市的工程结构与技术体系,进而阐述了数字城市的意义与建设策略。