一种基于调用链的Java程序数据竞争静态检测算法

多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。论文将竞争静态检测和静态切片分析结合起来,提出了一种类层次的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争。实例表明,该算法可用于指导修复程序中的竞争缺陷。     

定时、定线路上下班拼车方案实现与评价——以淮安为试点

因信息不畅、费用不统一、违法犯罪时有发生和法律界定不明确等问题,导致私家车拼车市场发展缓慢.设计了以淮安为试点的定时、定线路上下班拼车方案,搭建了拼车信息平台,实现了拼车的信息检索、信息配对、双方互选、双方互评等功能,并利用时间费用阻抗评价模型和Vissim仿真对该实施后的方案进行评价,结果表明该方案可使时间费用阻抗减少65%~86%,拼车路网中平均车速提高17.83%、总停车延误时间减少34.84%、总行驶时间减少28.29%、总延误时间减少40.89%、平均延误时间减少29.23%.方案在淮安试点表明,该方案能较大地减少拼车过程中的出行时间和出行费用,改善拼车区域路网交通拥堵状况,提高拼车过程的安全性和经济性.      

脉冲涡流参数对金属测厚影响的仿真分析

脉冲涡流（PEC）检测技术是近年发展起来的新型无损检测技术,可以进行金属板材或金属设备的厚度测量,具有频谱宽、信号穿透能力强及精确度高等优点．文中建立了脉冲涡流测厚系统的有限元分析模型,仿真分析脉冲涡流探头参数对金属测厚的影响,包括激励和检测线圈的高度、厚度、内径、匝数等,从而为脉冲涡流检测设备的国产化研究和提高精度提供理论依据．     

交通行业试验检测仪器检校管理探析

交通行业的试验检测仪器很多且功能复杂,强制检定仪器较少,需要根据仪器的功能、作用进行分类管理,确保仪器精确、准确,这样才能保证试验检测数据准确。     

梁格体系简支梁桥静载试验应用研究

以沈阳市内某桥为例,介绍桥梁静载试验方案的选择和设计,将有限元引入桥梁检测的理论计算中,使实测结果和理论分析有机结合,可为同类桥梁的检测提供一定的参考和借鉴。     

预应力锚索在公路边坡支护中的应用研究

在山岭重丘区高速公路的施工中,路堑边坡较高,土石方开挖方量大,在坡体岩层松散、破碎、地质条件较差的地段,高边坡的开挖扰动破坏了原地层结构,开挖边坡将坡体天然支挡部位切掉,对边坡的稳定性造成了破坏,容易引发山体滑坡、岩塌等地质灾害,直接影响高速公路的施工及运营安全。采用预应力锚索对高边坡进行支挡防护施工,并对防排水进行综合治理,是当前在路基高边坡设计或施工中普遍采用的边坡治理方案。     

迭代法在道路勘测中的应用

介绍在道路工程勘测中采用缩微迭代法编制勘测程序,使放样过程能达到“所点即所得”效果的测设方法,并通过实际工程验证该方法的可用性,具有一定的理论和实际意义.     

美国对槽形桥梁的加固方法探析

美国在20世纪60年代前后建成了很多小跨径槽形桥梁,现在还有一部分仍在使用中。采用的加固方法有粘贴碳布法、喷涂环氧树脂法、体外预应力法、埋置剪力钢筋法。通过对各种加固方法进行详细叙述,并对其进行比较,以供国内同行参考和借鉴。     

唐海线改建工程方案探析

唐海线由于交通容量不足,频繁产生交通拥堵,路面破坏严重,道路的升级改造极为迫切.通过地质勘察、交通量分析,确定路线方案、设计速度、路基宽度等指标,对指导实际工作有一定的意义.     

上承式三肋混凝土拱桥的横向分布规律试验分析

通过大跨三肋拱桥的荷载试验实测结果与空间有限元计算结果的比较和分析发现,在正载情况下,实测三个拱肋的横向分布特性是对称的,但中肋的实测横向分布系数明显较理论值大;在偏载情况下,偏载一侧的拱肋实测横向分布系数也较计算值大,远离偏载一侧的拱肋横向分布系数明显较小,这些现象表明,三肋拱桥的实际横向联系和横向刚度较弱,实桥通过横向联系分配和传递横向荷载的能力较比理论值小。三肋拱桥设计和加固时应考虑这一现象的影响。