一种基于地球剖分网格的区域面积计算方法

区域面积计算是区域分析的基础。随着空间信息剖分组织理论的发展,地球剖分网格受到广泛关注,并且显示了在空间大数据组织能力上的潜力。球面空间与欧式空间不同胚导致地球剖分网格规格不一的特征,在进行区域面积计算时需要先将网格转换回对应的经纬度范围,再进行积分运算,流程复杂,计算效率不高。由此本文根据GeoSOT全球参考网格的剖分方案,基于矩阵变换的分块、邻接操作以及向量的乘法运算,设计了一种可以摆脱经纬度和积分运算的面积计算方法,并针对此方法设计实验验证了其可行性和高效性,为网格体系下区域面积计算提供一种新思路。     

具有随机状态转移矩阵的Kalman滤波

讨论状态转移矩阵为随机性矩阵时的Kalman滤波方法,并给出滤波的具体算法及分析滤波的收敛特性和参数的取值范围。通过实际算例证实了该滤波方法的有效性。     

矿业权应纳入《物权法》

全国人大常委会2005年7月10日公布的《中华人民共和国物权法（草案）》（以下简称《物权法草案》）是把矿产资源和土地资源所有权作为物权并列表述的，但在写用益物权这章时用较大篇幅分类表述了土地使用权，却没有将矿业权纳入其中，这不能说不是它的重大缺陷。     

平舆县：违法占用耕地比例为零

7月1日,商丘市国土资源局门户网站“局长信箱”里收到一封题为“领导重视,基层负责人亲自过问,体现国土部门良好形象”的感谢信,对该局领导和基层负责同志的热情服务表示感谢。写信人是来自江苏盐城的客商马俊骥、王巧玲夫妇。这是怎么一回事呢？这还得从一周前“局长信箱”里的一封来信说起。     

Intel MKL在Bernese GNSS数据处理中的应用

为提高Bernese GNSS software数据处理效率，将英特尔数学核心函数库(math kernel library，MKL)应用于Bernese 精密定轨数据处理，对比分析多个MKL矩阵求逆函数与Bernese 原有程序的计算效率。使用2019-03全球200个测站北斗/GNSS数据进行实验分析，结果表明，采用参数预消除策略时，参数预消除步骤消耗时间明显大于矩阵求逆，使用MKL处理数据效率提升不明显；而未采用参数预消除策略时，使用MKL矩阵求逆函数可显著提高矩阵求逆效率，其中dpotri函数矩阵求逆计算效率最高，消耗时间平均值为133 s，相比Bernese 原有程序计算速度可提高13倍。     

响应矩阵技术在唐马试验场地下水管理中的应用

响应矩阵技术是解决地下水管理问题的方法之一,它是通过表征系统结构特征的单位脉冲响应函数来求得由抽水产生的水位分布,并以此作为线性规划的约束条件建立地下水系统的水动力管理模型。本文造过对唐马试验场水文地质条件的分析,建立数学模型并将其分解和离散,对渗流区内各井点作用一单位脉冲来形成响应矩阵,建立水动力管理模型和水位预报方程,对本区未来地下水开采进行优化决策。     

具有负顾客的GI/M/1工作休假及休假中止模型

针对GI/M/1排队模型可能出现的影响因素,研究具有负顾客的GI/M/1工作休假及休假中止模型.其服务规则为先到先服务,休假策略为空竭服务多重休假,负顾客抵消队尾的正顾客。若休假期中一个服务完成时,系统中还有顾客,发生休假中止。通过矩阵几何解方法求得到达时刻队长的稳态分布.     

校院两级管理下的排课软件设计与实现

阐述了排课系统的管理层次、操作权限分配、资源管理、网络排课的具体实现过程。本系统较好地解决了多个校区、多个学院之间的分配资源和排课冲突问题。其特点是资源统一管理、分散使用,利用校园网进行教学管理,不受时间、空间的限制。     

告别用地“陋习”

近年来，全省各地在开展“三项整治”、挖掘存量建设用地潜力，换言之，在大力推进节约集约用地方面，进行了积极的探索，并取得了显著的成效。这是人们有目共睹的。事实表明，在全省大力推进节约集约用地，不仅顺党心、合民意，而且潜力和空间十分广阔。     

DE200／LE200和DE245／LD245历表——差别及其对登月轨道的影响

DE200／LE200和DE245／LE245都是行星和月球的精密历表。DE200／LE200已在很多领域（例如SLR和GPS）中得到了广泛应用，DE245／LE245却是刚发表不久的新历表。DE245／LE245中增加了DE200／LE200中没有同时提供的月亮天平动。本主要比较DE245／LE245和DE200／LE200的差别对月球探测器着月点位置的影响，得到的结论是如果要使着月点位置满足一定的精度要求，采用DE245／LE245历表比DE200／LE200历表更好。