A Polynomial Time Algorithm for Checking Regularity of Totally Normed Process Algebra

A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rules and m is the maximal length of the rules. The algorithm works for totally normed basic process algebra(BPA) as well as basic parallel process(BPP).     

城市供水管道抗震可靠度评估方法与应用

该文针对城市供水管道地震破坏机理,介绍常用的经验评估方法,以及理论分析评估方法的思路。采用我国现行管道抗震设计规范的理论计算模型,以结构可靠度分析的一次二阶矩方法的思想,考虑了管道抗力、场地条件、管土相互作用的随机特性,给出了城市供水管道抗震可靠度评估的验算点法的计算过程。对计算过程中参数进行了敏感性分析,确定参数的重要性。最后与日本水道协会(JWWA)经验方法进行对比,证明方法的可行性,并对规范理论计算方法提出一些建议。     

独柱支撑匝道桥抗倾覆验算汽车荷载研究

为减免独柱支撑匝道桥倾覆事故的发生,对该类桥梁抗倾覆验算汽车荷载进行研究。通过对国内外相关规范汽车荷载的比较、已有该类桥梁倾覆事故的汽车荷载调查分析、重载交通汽车荷载模式下该类桥梁倾覆效应的研究,得出:对于重载交通线路,《公路桥涵设计通用规范》(JTGD60-2004)汽车荷载计算的桥梁倾覆效应小,安全度不足,且随着桥梁联长的增长,安全度降低。建议在计算该类桥梁倾覆效应时,汽车荷载以加载总量为主要控制指标(可采用控制单车道折算线荷载集度的方式),具体数值应根据实际条件,就当地发生重载交通的程度确定。     

永和大道跨线桥现浇预应力混凝土连续箱梁满堂支架设计及验算

满堂支架在桥涵施工中被广泛应用,它具有传力明确、工序相对简单,节省人力设备,便于施工控制等特点。该文以永和大道跨线桥为例,介绍了满堂支架的应用情况。根据永和大道跨线桥的特点,对引桥满堂式支架进行了设计,并对其强度、刚度和稳定性的受力进行了验算。现浇箱梁施工中支架的选择、验算和布置不仅关系到施工的进度和效益,更关系到工程的质量和安全。实践证明,该方案是切实可行的,并对类似工程具有参考意义。     

基于GQJS的大跨连续梁桥结构分析方法

以内蒙古某跨径为85m＋150m＋85m的预应力混凝土连续梁桥为工程背景,采用公路桥梁结构设计系统GQJS,研究其符合承载使用要求的结构设计方法。通过对该桥进行承载能力极限状态和正常使用极限状态（持久状况和短暂状况）下2种工况的验算分析,表明该桥结构满足现行规范的各项要求。     

徐盐铁路引入徐州东枢纽牵引供电方案研究

徐盐铁路位于苏北地区,连接京沪、陇海、连镇、沿海四大铁路通道,是长三角城际网重要组成部分,也是京沪通道徐州-上海段的辅助通道,其引入徐州东枢纽以实现京沪高铁、郑徐高铁以及连徐高铁等4条线路的换乘,而枢纽地区牵引供电方案的合理性至关重要。因此,本文对徐盐铁路引入徐州东枢纽供电方案进行论证比较,并根据电分相检算分析提出推荐方案,以保证京沪高铁运行可靠性及工程实施的便捷性。     

铁路实名制验证检票方案研究

自2012年我国铁路实行实名制售检票以来,实名制自动售票在全国范围内得以推广,但是实名制下的铁路检票还处于人工查检证件和非实名制自动检票的阶段,本文着重讨论实名制下验证检票的关键技术,并提出解决方案和验证检票的发展方向。     

奇异函数在轴的强度校核计算中的应用

在轴的强度校核计算中,由于方程复杂,推证及求解过程需要较多的数学计算,以传统的积分法求解轴的弯曲变形不仅繁琐耗时,而且容易产生错误.本文提出了以奇异函数法求解轴的弯曲变形,并利用MathCAD来实现整个求解过程.     

汽车覆盖件设计中的工艺性校核

车身覆盖件的开发是车身开发的难点之一,工艺性校核是汽车覆盖件设计过程中的重要环节.本文结合工作实际对汽车覆盖件设计过程中的工艺性校核问题进行了深入地探讨,并基于德国Autoform软件.介绍了汽车覆盖件的验证流程,同时,阐述了某汽车覆盖件工艺性校核的具体方法和优势.结合工作实践提出了一些汽车覆盖件设计过程中应注意的工艺性原则,从而最大限度地降低汽车的生产成本.