数字证书格式合规性检测系统的设计与实现

根据GM/T0054-2018信息系统密码应用基本要求,用户没有办法判断使用的数字证书是否合规,因此需要第三方密码应用安全性评估机构出具数字证书格式合规性进行检测报告,并构建一套完整的数字证书格式合规性检测系统,保障用户使用数字证书的合规性、正确性和有效性。     

单层网壳结构的动力稳定实验研究

本文介绍了一个２．５ｍ×０．１３ｍ的单层穹顶网壳模型的振动台实验过程，成功地完成了单层网壳结构的动力稳定实验研究。通过实测结果与理论结果的比较，验证了动力稳定判别准则的正确性及时程计算程序的可靠性。     

横向作用下弹性长桩的计算

本文利用弹性地基梁方法推导了弹性长桩在横向作用下的微分方程，并且利用级数方法求得了方程的通解。通过实例与规范推荐方法(m法)进行了对比，证实了该方程的正确性，利用该方程的通解，可以编制求解此类问题的通用程序。与查表计算相比，既提供了理论依据，又节省了计算时间。     

铰接式装载机转向运动学动力学仿真与试验研究

对铰接式装载机转向运动学动力学进行了理论分析，应用MATLAB进行仿真，推导了转向油缸活塞位移以及转向力臂与折腰角的对应关系，分析了原地转向阻力矩的变化规律和主要影响因素，并在ZL40A型装载机上进行试验，验证了理论分析与仿真结果的正确性。     

GNSS-R海面风场探测的镜面反射点估计算法

在分析GNSS-R基本几何关系和多种镜面反射点估计算法的基础上,提出一种新的GNSS-R海面风场探测中镜面反射点的估计算法。该方法首先求得GNSS卫星以及接收机在地球表面的投影坐标;然后通过向量和的形式获得镜面反射点的初始迭代位置;最后利用二分的思想,求得镜面反射点的位置坐标,并通过导航模拟器模拟出GNSS卫星和接收机位置数据,利用Matlab对该算法的正确性进行验证。仿真结果表明,提出的镜面反射点求解算法不仅可以正确估算出GNSS-R镜面反射点的位置信息,且模型简单、迭代次数少。     

意义和检验——维特根斯坦对私人语言的一个反驳

在维特根斯坦看来,以外部表现为标准和以主观心理为标准都不能有效地为私人语言提供意义,因为词语的意义必须经检验证明是正确的.而私人语言缺乏被检验的条件,因此是不可能的.     

一次通压法检验220kV变压器CT二次回路的正确性

220kV变压器的电流互感器（CT）二次回路较为复杂，为了让新投运的变压器电路回路正确投入运行，通过对220kV变压器等效电路、短路计算、带负荷测试矢量分析。介绍一种有效检验220kV变压器CT回路的正确性的简单方法，即一次通压法。     

矩量法中的伪解问题

本文对矩量法求解电磁场本征值问题出现伪解的原因进行了数学上简洁直接的讨论，给出了关于伪解存在性的简明实用判据。研究表明，当基函数集所属的定义域及其相对应的值域为不同的函数空间时，作为矩量法特殊形式的伽略金方法会导致伪解的产生。计算实例验证了本文理论的正确性。