一类非线性三点边值问题正解的存在性

文章研究了一类非线性三点边值问题正解的存在性。运用一种新的方法得到格林函数的一些性质,然后运用Guo—Krasnoselskii不动点定理建立了边值问题在满足很弱的条件下解存在的条件,推广和改善了相关文献的结果。     

低轨导航星座增强BDS精密单点定位技术验证CSCD

首先介绍了低轨增强北斗精密单点定位(PPP)的观测模型、参数估计与数据处理策略。然后对低轨导航增强仿真验证系统及误差仿真配置进行了说明,基于验证系统仿真了全球20个监测站的北斗及低轨导航数据,并通过单北斗及低轨增强北斗静态PPP试验,给出了低轨增强北斗的高精度定位测试评估结果。结果表明,加入150颗低轨卫星观测量后,20个测站PPP精度收敛到10cm之内只需约1min;低轨增强北斗实现静态收敛后,定位精度东方向均值为1.5cm,北方向均值为0.3cm,高程方向均值为2.2cm。相较于北斗单独精密定位,20个监测站收敛后组合定位精度从5cm左右提升到3cm左右。加入低轨卫星可大大加快PPP收敛速度,提升定位精度,验证了低轨卫星在增强PPP精度和收敛速度上的优越性,同时仿真验证系统可支持全链路闭环仿真验证。     

基于弹性网稀疏编码的空间目标识别

 传统的特征袋(BoF)模型在目标识别过程中假设每个局部特征点只关联特征词典中一个视觉单词。此外,l₁范数约束下的稀疏编码对于具有较强成对相关性的特征通常只选择一个特征,而不关注哪一个特征被选择。本文提出一种基于弹性网稀疏编码的特征袋模型。该模型利用尺度不变特征变换(SIFT)特征描述子构建特征字典,再通过弹性网回归模型求解每个描述子所对应的稀疏系数向量,最后将目标图像内的稀疏系数向量合并用于分类。与传统的特征袋模型和基于l₁范数稀疏编码的特征袋模型相比,该模型有较好的识别性能,并对视角变化具有较强的鲁棒性。在空间目标图像数据库上的实验验证了该模型的有效性。     

基于 SURF算法和 Kalman预测的运动目标跟踪

SURF(Speeded Up Robust Feature)特征提取方法是SIFT(Scale Invariant Feature Transform)算法的改进,具有速度快和精度高等特点,但其对于较大尺寸图像的匹配速度仍然有待提高。文章提出了一种将基于SURF特征匹配算法与卡尔曼滤波相融合的目标跟踪算法,该算法用特征点的中心近似目标最佳位置;通过卡尔曼滤波预测出当前的目标位置,建立自适应匹配窗口;最后,应用SURF算法提取窗口内的特征向量进行匹配。实验表明,该算法在目标发生大尺度旋转和缩放、部分遮挡时能够稳定跟踪,其跟踪速度比SURF算法有很大的提高。     

一种城市公交车调度的优化方案模型

本文通过对公交线路的客流调查和运营资料数据的修正和深入分析，概括出公交调度中广泛在的3个规律，据此建立多目标优化的数学模型。并得出操作性很强的公并车调度方案。     

弓高弦长法测量圆直径的研究

弓高弦长法测圆直径的一个重要问题，是如何选取最佳测量点。本文从误差的传递着手，严密推证了弓高及弦长测量的标准差取不同值时最佳测量点的位置。     

差压式流量计在伺服阀制造中的应用

分析了矩形及国影节流孔的流量特性。介绍了伺服阀制造过程中所需各种流量测试时的油路连接和流量关系式，并对差压式流量计的特点及在伺服阀制造工艺中的实际应用作了叙述。     

SolidWorks中基于特征的实体建模技术研究

本文概述了SolidWorks中基于特征的实体建模技术的特征定义和分类，并通过具体的工程示例对基于特征的实体建模技术进行了研究，其中对特征的创建方法、步骤和特性进行了详细的讨论。     

几何语言与建筑设计

通过几何学中的点、线、面同造型艺术中点、线、面的联系，论述了几何形体对人的视觉心理感觉和形成的语言在建筑设计中的作用及重要性。并从中体现出建筑语言在人心中的反映。