摘要：布尔方程组求解技术对于密码分析具有重要的现实意义.然而,在众多求解算法的实际计算过程中,难以抑制的空间需求增长与计算机系统有限的存储能力之间的矛盾,正是当前制约布尔方程组求解技术取得更大成果的最主要瓶颈.针对基于消项的求解算法,分析了该矛盾的产生根源,提出了解决途径,进而设计了一种全新的布尔多项式计算机表示,称之为***适用于基于首项约化的求解算法,如F4,F5,XL等算法.通过记录中间结果的生成信息而非其本身,避免算法实现陷入项数规模高速膨胀带来的巨大存储负担.与BDD和系数矩阵等基于项的传统布尔多项式表示相比,平均情况以及最坏情况下,使用BanYan表示法所需要的空间约为项数表示法的1?l(l为计算过程中产生的多项式的平均项数),从而显著提升布尔方程组求解算法的现实求解能力.

摘要：为了明确板式橡胶支座梁桥在强震作用下的横向抗震性能,在总结国内外学者有关板式橡胶支座滑动效应、钢筋混凝土挡块力学性能的基础上,建立了板式橡胶支座梁桥全桥精细化有限元数值模型;以支座位移、挡块变形和桥墩位移延性系数为损伤指标分别制定了板式橡胶支座、钢筋混凝土挡块和桥墩的损伤状态判断准则;选择汶川地震及国内外其他地震事件的近断层地震动记录作为输入,考察典型板式橡胶支座简支梁桥在近断层地震动输入下的抗震性能。结果表明:基于精细化模型的数值模拟结果真实再现了汶川震区板式橡胶支座梁桥的典型震害现象;上、下部结构连接部位是板式橡胶支座梁桥横桥向抗震薄弱环节;抗震设计时,应加强和重视该类型桥梁钢筋混凝土挡块的合理力学性能参数研究以及新型横向限位装置设计等方面的研究。

摘要：为了给大跨度斜拉桥边墩横向抗震体系设计提供依据,讨论了减震体系的合理性,并研究了减震体系的适用范围。首先,针对横向全滑动体系,分析了梁端横向位移的控制振型,推导了边跨主梁横向基本周期的简化计算公式,并利用反应谱法,推导与简化了地震下梁端横向位移的计算公式,通过与有限元计算结果对比,验证了其可靠性。然后,依据实际项目工程经验,通过合理简化与假定斜拉桥结构参数,在工程精度允许范围内,进一步对计算公式进行简化。最后,以主跨跨径与地震动输入为主要变量进行共计384个工况的计算,分析了各工况下梁端最大横向位移,得到了不同跨径下横向全滑动体系斜拉桥在不同场地类型与不同峰值加速度(PGA)下的梁端最大横向位移变化规律。研究结果表明:以梁端横向位移为抗震目标时,对于Ⅲ,Ⅳ类场地,各PGA作用下,主跨跨径大于400m的斜拉桥均需考虑采用减震体系;对于Ⅰ,Ⅱ类场地,PGA不大于0.1g,主跨跨径不大于600m的斜拉桥可以不考虑采用减震体系;其中,如果结构的抗震能力大于地震需求,建议采用全限位体系;如果结构的抗震能力接近或小于地震需求,且梁端横向位移不控制时,则建议采用全滑动体系。

摘要：近年来在时延容忍网络(delay tolerant network,DTN)中的数据分发成为研究热点.由于DTN节点之间不存在持续的端到端连接,节点通常采用"存储-搬运-转发"的方式进行数据递交.当两个节点相接触时,节点如何为空间有限的缓存选择存储内容是一个关键问题,这关系到整个DTN网络的分发性能.但在分布式动态的DTN环境下,每个节点难以找到全局最优的存储选择.基于这个原因,全局效益最大化问题被转变为每次接触时的效益增益最大化问题,然后将转化后的问题形式化为0-1背包问题,并设计了一种启发式贪婪算法来进行求解,使得每个节点在与其他节点发生接触时,能够依据自身维护的局部网络信息来选取转发内容,从而最大化系统分发效益的增益.此外进一步详细分析了节点维护的网络信息的范围与节点对转发内容选择之间的关系.基于Trace的仿真结果表明,与SocialCast算法相比,启发式算法可以有效地提高节点对订阅内容的接收率和降低接收时延,并且随着节点维护的网络信息范围的增大系统效益也不断增大.

摘要：片上多处理器中二级cache的设计面临着延迟和容量不能同时满足的矛盾,私有结构有较小的命中延迟但是减少了cache的有效容量,共享结构能增加cache的有效容量但是有较长的命中延迟.提出了一种适用于CMP的cache结构——延迟和容量权衡的cache结构(TCLC).该结构是一种混合私有结构和共享结构的设计,核心思想是动态识别cache块的共享类型,根据不同共享类型分别对其进行优化,对私有cache块采用迁移的优化策略,对共享只读cache块采用复制的优化策略,对共享读写cache块采用中心放置的优化策略,以期达到访问延迟接近私有结构,有效容量接近共享结构的目的,从而缓解线延迟的影响,减少平均内存访问延迟.全系统模拟的实验结果表明,采用TCLC结构,相对于私有结构性能平均提高13.7%,相对于共享结构性能平均提高12%.

摘要：在网络测量中,时间戳记录数据包接收和发送的时间,是时延、带宽以及抖动等网络参数测量的基础.受缓存延迟、中断响应时间不确定等因素影响,软件时间戳只能达到毫秒级精度;基于GPS(global positioning system)时钟的硬件时间戳可以达到纳秒级精度,但其成本高且安装部署不方便.基于对网络测量系统中时间戳误差来源的详细分析,设计了精确时间戳测量系统,系统利用硬件产生时间戳,消除各种软件延迟影响,通过基于预测的时钟同步算法PCS(prediction-based clock synchronization)同步各测量节点时钟,达到了与GPS相当的精度.基于自行设计的千兆网卡实现了测量系统原型,测试表明各测量节点时间戳误差不超过100ns.

摘要：随着VLSI面临的功耗及时钟问题越来越突出,异步电路及其设计方法得到了广泛关注.基于宏单元的异步电路设计流程能够采用现有的同步EDA工具和设计流程将同步电路转变成相应的异步电路.在基于宏单元的异步电路设计流程的基础上提出了一种新的异步电路设计自动化流程,并与解同步异步电路设计自动化流程进行了比较.在UMC 0.18μm工艺下采用提出的自动化流程设计实现了一款DLX异步微处理器,实验结果表明该流程能够快速地进行异步电路设计,并且在异步电路的数据通路性能优化方面具有一定的优势.相对于解同步DLX微处理器,采用基于宏单元的异步设计自动化流程实现的异步DLX微处理器能够获得6%左右的性能提高.

摘要：为给钢桥面板焊接细节的设计及运营管理提供参考,针对随机车辆作用下的钢桥面板焊接细节,考虑交通量增长、车辆轴重的相关性和路表温度长期效应等因素的影响,进行了钢桥面板焊接细节的疲劳可靠度研究。基于某钢箱梁悬索桥WIM实测数据,分析了随机车辆各参数的分布特征,尤其是车辆轴重的相关性,采用能考虑轴重相关性的非参数核密度估计-Copula轴重抽样方法,编制了多参数随机车辆模拟程序;采用有限元法分析了路表温度、车辆轴重的相关性对疲劳荷载效应的影响;最后建立了基于疲劳损伤理论的功能函数,采用MC法进行疲劳可靠度计算,分析了交通量增长、轴重的相关性和路表温度长期效应对钢桥面板焊接细节疲劳可靠度的影响。研究结果表明:轴重具有多峰分布的特点,且轴重之间具有较强的相关性,模拟随机车辆时,如不考虑轴重的相关性,将会造成较大误差;路表温度变化主要影响钢桥面板焊接细节的应力幅,对循环次数和考虑车轮横向位置的应力幅折减系数影响不大,考虑路表温度长期效应的日等效应力幅,概率密度函数更具有多峰性质;考虑轴重相关性的日等效应力幅均值比不考虑轴重相关性的大;交通量增长对结构初期的疲劳可靠度指标影响不大,将造成结构后期的疲劳可靠度指标快速降低;考虑轴重相关性和路表温度长期效应均会降低钢桥面板焊接细节疲劳可靠度指标,而轴重相关性对疲劳可靠度指标的影响比路表温度长期效应更明显。

摘要：通过定义路网子图空间,提出了基于路网子图空间的Wardrop平衡原理,建立了相应的交通流平衡分析模型,并通过实例阐释了偏态均衡路网交通流的形成机理与演化过程。研究表明:该模型能够很好地解释包括新路开通期的路网交通流、换乘子图空间路网交通流、收费道路偏好子图空间路网交通流等多种情形下由于网络结构被差异性地认知所形成的偏态均衡路网交通流现象,为多标准下交通流的平衡分析建立了新途径;该分析方法有助于道路网络结构设计与道路网络管理方案的优化。

摘要：为了充分利用高强钢的高强度特性,设计了4片采用Q420qD高强度腹板的焊接工字钢梁,并采用跨中单点加载的形式进行抗剪性能试验研究。分析了腹板高厚比、翼缘约束效应、剪跨比等关键参数对高强度工字钢梁抗剪性能的影响规律,研究了高强度Q420qD腹板的抗剪极限承载能力及剪切破坏机理,并验证建议理论模型的正确性与腹板抗剪承载力计算公式对高强度钢梁的适用性。研究结果表明:试验梁在腹板弹性剪切屈曲后均形成了拉力带,充分发挥了屈曲后强度,最终形成框架机构;基于试验结果确定了高强度工字钢梁腹板的拉力带分布形式与破坏框架模型,其可作为高强度工字钢梁腹板的剪切失效理论模型;采用较大的翼缘相对腹板刚度,可提供更强的剪切抗力,理论计算时应计入翼缘对腹板的约束效应,试验与理论计算的对比分析结果验证了高强度工字钢梁翼缘对腹板约束系数的合理取值应为1.25,理论模型与计算公式适用性强;随着剪跨比的增大,试验梁的腹板屈曲后强度均充分发展,但试验梁在弹性屈曲后的腹板面外变形明显减小,仅在临近剪切极限强度时腹板面外变形呈不收敛增长,因此高强度腹板设计时应兼顾腹板面外屈曲变形的控制与腹板屈曲后强度的有限利用,保证高强钢桥使用阶段的安全可靠。