CTCS-4无线通信故障恢复模型的形式化研究

对CTCS-4的无线通信系统的故障恢复模型进行了研究,使用Event-B对CTCS-4无线通信系统的故障恢复过程进行建模.通过证明义务对模型的逻辑正确性和完备性进行验证,证明其可以满足要求.     

水润滑橡胶艉轴承模态分析研究

采用有限元计算与试验模态相结合的方法进行两种模态频率和振型分析,以及模态置信度的计算与对比.结果表明,在计算模态与试验模态相似对应的模态振型中,两者的板条振型弯曲趋势相似;计算模态与试验模态数值接近,两者相关性良好,有限元结构模型可以反映实际结构模型.     

INTERGRAPH系统在海洋工程电缆清册制作中的应用

文章以INTERGRAPH(鹰图)系统在世界首座圆筒式钻井储油平台SEVAN 650电缆清册制作中的应用为例,介绍了电缆清册制作的新模式,为快捷准确完成海工项目电缆清册制作提供了参考方案。     

隧道围岩位移的区间分析

不同级别的岩体具有不同的物理力学指标,根据物理力学参数的区间特性,引入区间分析方法,把各个参数当作区间变量,据此分析计算出隧道嗣岩位移大小的区间,为今后工程设计、施工中的同岩变形预留量提供一个定赶的参考范围。     

输油气管道清管器跟踪定位方法及跟球选址技巧

以提高清管器现场定点跟踪的准确性为目的,提出了清管器模糊定位的数学计算方法,并针对球前后不同介质形式,给出了相应的选址技巧。结合实际应用,结果表明该简易计算方法对清管器的模糊位置判断具有一定的可信度,应用此方法计算的时间要综合考虑管道路由情况,可更加准确地预判清管器到达时间,对现场实际操作人员的工作具有一定的借鉴意义。     

基于内存文件系统的分布式文件服务器Cache系统

分布式文件服务器在虚拟机平台上的应用越来越普遍,但现有的文件服务器Cache系统不适合在虚拟机上使用。利用内存文件系统管理Cache中的信息,并设置Cache中文件的大小阈值,使Cache系统间歇性使用,从而有效地解决了这一问题。试验结果表明,基于该设计思想实现的Cache系统性能优异,维护简便,可以达到预期的使用效果。     

镁合金AZ31的差热分析及凝固组织观察

利用差热分析(DTA)和在不同温度下加热-急冷,并结合金相组织观察的方法研究了AZ31镁合金的凝固相变温度及凝固组织变化特征.通过对AZ31镁合金DTA曲线的分析和不同温度下金相组织的比较、分析,确定了该合金的相变起始温度为430.1℃,共晶温度为438.5℃,固相线温度为614.4℃,液相线温度为636.4℃.同时,通过对不同温度下急冷试样的组织观察,分析了AZ31镁合金在凝固过程中的相变及组织演变特征,并确定了差热分析所得相变温度的准确性.     

中国城市交通问题剖析及改善对策

针对目前我国城市交通发展过程中面临的典型问题,从城市规划、交通结构、供需关系、交通系统结构、基础设施建设、信息化建设、区域一体化交通等方面深入分析总结了城市交通根本症结所在,并针对这些问题提出了城市空间结构布局与产业布局和配套功能设施布局同步调整、把握我国交通结构高弹性调整时机、合理制定公共交通发展目标和政策、差别化供给方式、挖掘既有交通基础设施、注重城市交通体系功能级配和资源配置、建立区域交通网络等对策建议。     

中国城市快速公交系统建设专家点评

快速公交系统发展的相关问题 全永燊,北京交通发展研究中心主任 在优先发展城市公共交通这样一个大的政策背景下,这几年公共交通发展的形势比任何时候都好,这是客观的.     

代理模型在水下航行体空泡压力预示的应用研究

文章基于径向基神经网络(Radial Basis Function,RBF)和Kriging代理模型方法分别对水下垂直发射航行体表面附着空泡闭合区压力预示模型进行了研究,首先分析了影响空泡闭合区压力变化的物理因素,通过代理模型方法建立了影响因素与空泡闭合区压力最大值和压力空间分布波形之间的数学模型,形成了空泡闭合区压力分布预示方法,而后针对典型工况开展预示结果与试验数据比对,表明RBF方法和Kriging方法均能较为准确地获取空泡闭合区压力特征,在有限子样条件下Kriging代理模型对空泡闭合区压力峰值预示精度更高。