摘要：为方便地学数据库设计,缩短建库周期,避免建成的数据库结构不能更改以及使建成的数据库能更好地为地学信息共享服务,提出了地学数据库的智能建模方法.该建模方法采用国家标准分类术语代码辅助设计技术和数据字典技术来辅助数据库设计,对数据模型进行标准化设计,并在设计过程中提供了相关的术语代码字典以支持数据库的标准化数据采集,促进了地学信息共享,同时提供了相应的数据库模型字典,为后期的数据库结构的变动提供支持.

摘要：缺少精确先验时,不等式约束可改善参数估计。针对不等式约束M估计,利用巴哈杜尔线性化原理和凝聚函数方法导出参数估计、残差向量以及观测量平差量线性表达式,进一步导出相应的方差协方差矩阵和均方误差矩阵。线性表达式说明不等式约束M估计通常情况下是有偏的;均方误差矩阵公式表明不等式约束M估计解有可能改善,条件是最大不等式绝对值小于所导出的阈值,阈值由M估计的第一、第二多余参数和与不等式约束有关的多余参数确定。针对正态分布和p范分布确定了Lp估计改善解的具体条件。所导出的公式和结论可用于统计分析和不等式设计。

摘要：目前在高速铁路连续梁施工中最常用的施工方法为对称悬臂发浇筑施工,由于桥梁施工分阶段进行,后续梁段的施工将会影响前面已经施工完毕的梁段,改变桥梁的受力与变形,因此,为了保证大桥顺利合龙以及成桥线性美观,成桥后符合设计要求,需要进行必要的线性监控。结合成绵乐铁路跨绕城高速连续梁桥,通过模拟分析施工过程,计算出施工预抬值,并对结果进行了比较分析,验证了计算结果的准确性。

摘要：通过关系数据库规范化理论中的三大范式,对传统变形监测数据库中的基本库进行范式设计。目的在于通过范式设计提高传统变形监测数据库的通用性、共享性和安全性;并在兼顾安全与性能的基础上得出了第二范式设计可以作为变形监测数据库范式设计的结论。