SIP协议的形式化分析与验证

文章在分析SIP会话交互过程的基础上,用petri网对该过程进行建模,根据petri模型所应具备的特性,通过可达树模型验证了SIP协议具有有界性、活性、公平性和前进性.通过不变量分析,验证了SIP协议具有守恒性和循环性.为协议的改进设计提供了理论依据,从而更好完善SIP协议标准.     

利用计算机串口实现PPT传感器的网络测量

介绍了PPT传感器的使用方法。给出了利用计算机的RS232和RS485串口进行PPT传感器网络测量的方法。     

收敛无穷计算及其应用

经典计算不能很好地刻画无穷计算的行为.基于形式系统序列及其极限,讨论一类称为收敛无穷计算的问题,旨在建立刻画无穷计算在变化的环境中如何交互与演化以及演化的极限状态的逻辑理论基础.提出了收敛无穷计算的一个逻辑和推理系统,其表达能力超过一阶逻辑.还基于经典计算模型图灵(Turing)机和形式系统序列及其极限,提出了收敛无穷计算的模型,称为过程模式.在极限计算的意义下,其计算能力超过了Turing机和实数机器.讨论了上述研究在数据挖掘中的应用,用收敛无穷计算研究了数据挖掘的极限行为.     

紧固件新旧标准对照表(2)

原ＧＪＢ 12 2 - 86标准中的普通螺纹螺钉标准与其修订后的ＧＪＢ 3372 / 1～ＧＪＢ 3372 / 61- 98普通螺纹螺钉标准号的对照见下表。新标准代号旧标准代号名　　称　 (材料 )备注ＧＪＢ 3372 / 1ＧＪＢ 12 2 .1.1六角头螺钉 (ＭＬ2 5)　ＧＪＢ 3372 / 2ＧＪＢ 12 2 .1.2六角头螺钉 (38ＣｒＡ)　ＧＪＢ 3372 / 3ＧＪＢ 12 2 .1.3六角头螺钉 (30ＣｒＭｎＳｉＡ)　ＧＪＢ 3372 / 4ＧＪＢ 12 2 .1.4六角头螺钉 (40ＣｒＮｉＭｏＡ)　ＧＪＢ 3372 / 5ＧＪＢ 12 2 .1.5六角头螺钉 (1Ｃｒ17Ｎｉ2 )　ＧＪＢ 3372 / 6ＧＪＢ 12 2 .1.6六角头螺钉 (1…     

国产1301灭火剂替代进口F114B2灭火剂研究

在分析对比国产1301灭火剂和进口F114B2灭火剂的物理化学性质和灭火性能的基础上,综合论证1301灭火剂替代F114B2灭火剂的技术可行性,计算了1301灭火剂的充填参数,并进行了喷射试验,以实现用国产灭火剂替代进口灭火剂,满足部队的急需.     

某型飞机进气道有限元应力及振动疲劳分析

针对某型飞机进气道经常出现的蒙皮裂纹、铆钉断裂等现象,通过建立飞机进气道有限元模型,对进气道进行了有限元应力分析及振动疲劳分析。根据分析结果提出了改进方案,通过计算验证、改进方案能有效降低裂纹多发部位的应力水平、增加振动疲劳寿命。     

不依赖GPS的磁图测绘与校正新方法

针对水下磁场测绘中因载体难以经常上浮修正导航误差而导致的测绘结果坐标误差较大的问题,结合磁场测量的特殊性,并采用边导航边校正的思想,提出了一种不依赖GPS的全新磁图测绘方法。首先以惯性导航系统为标准进行第一次测绘并获得具有一定坐标误差的初始磁图,然后对初始磁图进行图形处理与信息提取,在此基础上进行第二次测绘。在第二次测绘中用从初始磁图获得的特征信息结合磁场传感器与惯性器件的输出构建卡尔曼滤波器,从而达到同时修正自身运动状态与初始磁图的目的。理论分析与仿真结果都证实了本方法可以通过两次误差较大的低精度测绘获得精度高得多的测绘结果。     

星敏感器光轴热稳定性仿真分析方法

热稳定性用来衡量星敏感器光轴指向抵抗温度变化影响的能力,常用试验及仿真的方法进行分析验证.仿真方法因其高效率、低成本、可贯穿产品设计全周期等优点,已成为热稳定性分析验证的重要手段.开发了一种热 力 光联合仿真分析的方法进行星敏感器热稳定性计算.该方法集合了热分析、变形分析、成像仿真及热漂移计算等多项仿真分析过程.以某高精度星敏感器为例,进行了热稳定性计算,结果表明了该仿真方法的有效性.     

基于Bipod结构的星敏感器遮光罩安装结构优化设计

星敏感器是航天器中常用的姿态确定仪器,其测量精度较高,且受外界环境因素、尤其是温度因素影响显著.星敏感器的热稳定性对其精度有着重要的影响,为改善星敏感器的热稳定性,提出一种基于Bipod结构的星敏感器遮光罩安装结构优化设计.通过仿真分析,此设计极大的改善了星敏感器结构的热稳定性,提高了星敏感器在轨工作时光轴指向精度的稳定性,且星敏感器的强度与刚度条件均能满足安全设计要求.     

静压支承摩擦副温度场模拟与实验

为了研究静压支承摩擦副温度场,基于摩擦学和传热学理论,采用流固耦合方法对圆形腔静压支承摩擦副的温度分布规律及其速度特性进行研究,并进行实验验证。结果表明:间隙油膜在挤压和剪切以及泵功耗联合作用下产生的热,通过流固耦合方式传递给静压导轨和油垫,进而扩散到整个旋转工作台和底座。间隙油膜接触处摩擦副温度最高,向四周扩散温度逐渐降低。随着旋转工作台转速增加,油膜温度上升,工作台上表面和侧面温度下降,并趋于平缓,底座侧面温度从下到上先升高后降低。旋转速度由10 r/min增加至80 r/min时旋转工作台最高温升为6.8℃,底座最高温升为3.5℃,因而旋转速度对支承摩擦副温度场影响不能忽略。并将实验结果与模拟值进行比较,温度相对误差均在4%以下,满足工程实践要求。