摘要：为提高桥梁横向挡块的抗震能力,针对挡块斜截面脆性剪断破坏的震害现象,提出了"限制破坏范围"和"提高塑性变形能力"2个抗震性能目标;采用拟静力试验研究了剪切钢筋与水平拉筋的相对数量关系,以及剪切钢筋布置方式、施工缝、加载位置等对挡块性能的影响;通过回归分析拟合了挡块的滑移强度,并提出了使挡块发生滑移破坏所需满足的配筋和构造细节。研究结果表明:挡块的破坏形态分为斜截面剪切、连接面剪切、连接面滑移3种;当发生连接面滑移破坏时,挡块及盖梁本身完好无损,两者仅在连接面上产生大位移相对滑动,挡块塑性变形能力最大,且便于震害修复;挡块的滑移强度与其剪切钢筋参数之间呈近似线性关系,利于工程设计计算。

摘要：为了研究多维地震作用下曲线梁桥的碰撞响应,以某曲线梁桥为例,通过Hypermesh与ABAQUS软件建立了精细化有限元模型,并结合三维摩擦-接触模型研究其在多维地震作用下的碰撞响应,主要分析伸缩缝处碰撞力、损伤、相对位移、转角等在单向、双向与三向地震作用下差异;通过改变伸缩缝长度,分析碰撞作用对主梁位移、扭转、墩底内力、墩顶位移的影响。研究结果表明:多维地震作用下曲线梁桥的碰撞次数与梁体损坏程度要大于单向与双向地震作用时,因此为安全考虑,分析时考虑多维地震输入以确定最不利地震输入方向是必须的。碰撞作用会限制主梁的相对运动,但会加剧主梁与桥墩的扭转。通过与相关文献结论对比得出,多维地震作用对主梁与桥墩的影响大于单向地震。该研究结论可为曲线梁桥的碰撞效应分析与桥梁抗震设计提供一定参考依据。

摘要：随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法应用在覆盖率反馈驱动随机测试生成时,不需要复杂的领域先验知识,节约了大量的专家时间,提高了验证的自动化程度.分析了各种基于遗传算法的覆盖率驱动的随机测试生成方法,并在此基础上设计和实现了基于遗传算法的全芯片级覆盖率驱动随机验证平台.该平台被实际应用在龙芯处理器的验证中,实验结果表明,平台有效提高了验证效率.

摘要：基于基本图像的概念及其对称性,提出一种计算二维8×8离散余弦变换(DCT)量化后系数的查表快速算法.新算法在消除乘法运算的同时也减少了加法运算量.通过设计查找表结构和组织数据,使得每次访问存储器得到的不是一个乘积数据而是一组乘积数据,有效地减少了查表次数;通过研究基本图像的对称性及DCT计算过程中数据的范围情况,减小了查找表(LUT)的长度.整个计算过程具有很强的并行性.在图像变换编码时,利用新算法可只计算需要被编码和传输的低频变换系数,以大大减少运算量.

摘要：基于SIP的VoIP系统由于其客户端/服务器的服务架构,在用户规模增大时会引发其固有的单点失效和性能瓶颈问题.P2P和SIP融合的VoIP系统具有良好的扩展性和容错能力,但是现有系统并不能满足可管理和可运维的要求.从运营商的角度考虑,提出了一种基于P2P-SIP的可管理、可运维的VoIP系统架构AMAP.在AMAP系统中,由少量部署的服务器按照DHT协议组成服务覆盖网络.服务覆盖网络使用扩展的SIP信令来维护,为用户代理的注册和会话建立、系统的管理和运维等服务提供支持,可有效地与现有VoIP系统兼容.AMAP系统借助备份和缓存技术提高容错能力,缓解服务热点问题.设计了分布式元数据收集和分发算法,满足了运维信息收集和管理策略下达的需求,对比分析了系统的维护开销,结果表明与现有基于P2P-SIP的VoIP系统相比,AMAP系统减少约80%的开销.详细分析了AMAP系统的功能组成和所涉及的关键技术,并实现和测试了原型系统.

摘要：随着软硬件系统复杂性的不断提高,各种验证技术被越来越广泛的使用.模型检验技术是一种保证软硬件设计、实现正确性的有效技术.在针对软硬件的模型验证技术中,一般采用时序逻辑作为规约语言.模态μ-演算是模态和时序逻辑中应用较为广泛的一种,它具有语法成分简洁、表达能力强等特点.扩展了Lange和Stirling基于Focus Game的LTL和CTL的公理化方法.提出了一种基于Game理论的μ-演算公式的可满足性的测试方法,该种方法能够将模态μ-演算公式的可满足性问题转化为FocusGame的求解问题.进一步,基于这套Game规则,给出了一个新的关于μ-演算可靠完备的推理系统.同已有的μ-演算公理系统相比,该推理系统相对直观、简洁.

摘要：为了确定青藏高原多年冻土地区新建道路设计时工程热影响的范围,以青藏公路为例,应用有限元与无限元耦合的数值计算方法,以土体温差ΔT为评价指标,分析了公路路基热影响的范围及变化规律。研究结果表明:温差ΔT在横向上表现出随横向距离增加而呈抛物线衰减的规律;在垂向深度上以冻土天然上限深度和人为上限深度为界,划分为天然冻土活动层、公路路基影响层以及下伏多年冻土层等3个主要区域;在天然冻土上限深度以上,温差ΔT随深度增加呈对数减小趋势,在天然冻土上限深度与人为上限深度之间,ΔT随深度增加而呈三次方增加,在冻土人为上限趋势深度以下,ΔT随深度增加而呈对数减小趋势。

摘要：针对砂土中沉井基础局部冲刷形态的体型影响效应开展波流水槽模型试验研究,并与中国、美国和新西兰规范的冲刷深度计算公式进行对比分析。试验设计了圆形和方形2种形状的沉井基础,在给定水深和流速条件下进行冲刷试验,重点考察了沉井基础的形状、尺寸和布置方式等体型因素的影响规律。研究结果表明:圆形沉井最大冲刷深度和冲刷范围分别位于迎水侧和背水侧的45°范围附近,其冲刷深度随着沉井直径增大而有所增大;根据圆形沉井周围冲刷形态的动态演变特征,可将其形成的局部冲刷形态分为清水冲刷区、动床冲刷区和冲刷沉积区3个典型区域;方形沉井的冲刷主要发生在方形角点的附近,在不同的角点位置,其冲刷程度有着明显的区别;与中国、美国以及新西兰规范的冲刷深度计算方法对比表明,这3种规范方法对于小直径沉井的计算结果与实测值均大致相当,但对于直径较大的沉井基础则都存在着显著的误差,需要进行适当的修正,以反映体型效应对于沉井局部冲刷深度的影响。

摘要：集中式的自动服务组合和非平凡服务发现能够根据给定的、具有特定输入输出的请求搜索出一系列满足要求的服务组合,是当前服务计算领域的研究热点.针对集中式结构带来的性能瓶颈和单点故障问题,提出了一种利用基于内容的分布式发布订阅技术实现大规模网络环境下的无中心自动服务组合方法,称之为流程搜索.基于内容的分布式发布订阅系统能够根据发布消息和订阅消息之间的内容匹配关系,将发布者提供的消息通过一系列中介节点转发给感兴趣的订阅者.它可以为服务接口之间的可互操作性判定以及查询路由提供支持.将服务模型映射为发布订阅的消息模型,并利用基于内容的路由设计形成分布式环境下的搜索算法,并基于PADRES系统开发了一个PreSee原型系统.模拟实验显示,无中心控制的方法相对于集中式的架构而言,可以有效降低系统延迟,提高整个系统的效率.

摘要：直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线程模型程序而不适用.设计简明、易用的中断特征描述语言可以使得竞争检测具有平台无关性;同时,提出了一个流敏感的、上下文敏感的、考虑中断驱动程序原子性、易变性和部分随机性的数据竞争检测算法.该算法具有高效、精确的特点.实验表明,其检测时间与代码规模基本呈线性关系,分析17850行代码仅用时3.6s;同时,相比于基于锁集技术的典型数据竞争检测方法,其准确率平均是后者的2.13倍.