超高精度车床直线运动误差检测与补偿系统的理论与实验研究

本文介绍了用三传感器误差分离法在线检测超高精度车床拖板直线运动误差和加工工件的素线直度误差。检测系统的精度高达±0.078μm。在此基础上,通过微计算机对误差数据进行数学处理,并驱动伺服机构对工件素线直度误差进行补偿加工。结果使工件素线直度精度提高到0.5μn/160mm,比补偿前的精度提高了50%以上。     

基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

驻波—行波边界条件在PSTD算法中的实现

将时域伪谱法(PSTD)的边界条件PML用驻波-行波边界条件来代替.该条件在边界处附加理想电(磁)壁对计算区域进行截断,将由此产生的反射场去除,从而减少反射场所产生的干扰,在有限的空间内有效地模拟出无限大的电磁散射空间.给出了该边界条件下的二维PSTD迭代格式,并将其数值结果与运用PML边界条件的PSTD的结果进行比较,计算结果表明这种结合形成的新方法节约了内存,提高了计算速度,具有良好的可行性.     

基于能量耗散的药柱粘弹性累积损伤

基于不可逆能量耗散的损伤变量定义方法和动态线粘弹性理论,建立了固体推进剂累积损伤模型,利用不同拉伸速率下的试验数据,拟合得到了推进剂破坏耗散能表达式,进而给出了推进剂在周期应力响应下的累积损伤计算式,并讨论了周期应力幅值和频率对累积损伤的影响,最后对某舰载发动机药柱进行了累积损伤及使用寿命分析。提出的累积损伤分析方法,为固体发动机贮存寿命预估提供了一条有益的技术途径。     

应用参数微分法从弹丸试验数据获取阻力系数

本文在介绍弹道模型的基础上,讨论了应用参数微分法获取弹丸阻力系数的过程,并给出了计算机仿真实验结果。此方法已应用于靶场。     

C2有理插值样条曲线曲面

首先提出一组基函数向量,它具有以下特定的性质：ＢＢ（０）Ｔ＝（０．０,１．０,０．０,０．０）,ＢＢ（１）Ｔ＝（０．０,０．０,１．０,０．０）ＢＢ＇（０）Ｔ＝（－０．５,０．０,０．５,０．０）,ＢＢ＇（１）Ｔ＝（０．０,－０．５,０．０,０．５）ＢＢ″（０）Ｔ＝－（１．０,－２．０,１,０,０．０）,ＢＢ″（１）Ｔ＝（０．０,１．０,－２．０．１．０）。进而研究了以此函数向量的张量积形式定义的有理样条曲面。并得以下结论：（１）插值性;（２）Ｃ２连续性;（３）局部性和可调性。文中还分析了“权”的作用,并指出它与三次Ｂ－样条的类似性。     

连续求解样本协方差矩阵迹的快速递推算法

为解决当样本数据不断增加时,利用传统方法反复计算样本协方差迹耗时多的缺点,提出了一种快速递推算法。理论分析和仿真试验都表明,算法的时间复杂度比传统的方法降低了一个数量级,从而大大减少了计算时间。     

核试验地震核查的模糊逻辑推理综合识别方法

建立了一种增强性模糊推理方法,用来满足综合地震事件识别判据的需求。利用这种推理方法进行了地震事件模糊逻辑推理综合识别方法研究,给出了方法的框架。实例研究表明这种综合识别方法在核试验地震监测中有减少可疑事件数量的能力。     

一个二阶精度的大粒子有限体积方法

对二维Euler方程给出一个二阶精度的非结构网格有限体积方法,方法的主要思想是把Euler方程的一个时间步分两步计算:第一步只考虑压力加速效应,第二步再考虑输运效应,离散过程中采用一种具有最小二乘思想的线性重构函数以计算交界面的流通量,数值实验表明该方法是非常有效的。     

空间信息栅格体系与服务聚合技术

空间信息应用中存在的数据海量、分布异构、处理复杂、计算密集等问题制约了空间数据和信息的广泛共享和应用。空间信息栅格(SIG)以Grid和WebServices技术为核心,共享并汇集地理上分布的海量空间信息资源,实现动态整合与集成。在构建开放性SIG七层应用体系的基础上,重点研究SIG服务聚合技术,基于Petri网和图论提出了一种新的服务聚合流程模型(服务/资源网),同时构建了可扩展的服务动态选择模型(SISM),实现服务聚合过程中的动态服务选择。结合国家地质调查业务应用,通过地下水资源评价应用实例对SIG的实用性和有效性进行了验证。