摘要：针对一种含贯通性顺倾结构面的岩质边坡,开展地震波场传播特性、动力演化规律和破坏机制研究。基于华丽高速公路金沙江大桥桥址边坡,实施了数值分析及振动台模型试验。通过地震波场数值模拟,明确了地震波场受贯通性结构面影响,在贯通性结构面和坡面之间反复叠加,加速度放大效应较均质边坡增大约1.8倍。振动台模型试验中不断增大地震输入烈度,加速度响应在烈度为Ⅷ度时发生突变,边坡由弹性响应阶段进入塑性阶段。在裂度为Ⅸ度时坡脚附近裂缝进一步扩展、贯通,直至发生整体滑动失稳,滑动面沿后缘陡倾结构面剪出、贯通性顺倾结构面滑动、下部坡脚附近剪出。强震后受扰动边坡若处在塑性阶段/不稳定阶段,在其他外力触发下有可能发生滑坡灾害。

摘要：通过可信硬件能够弥补单纯软件安全的不足,从整体上提高云系统的安全性。但是,面对云环境运行时的安全,传统可信硬件技术无法提供足够的保障。为此,提出了一种基于UEFI的虚拟机动态安全框架——VirtinSpector。该框架能够将UEFI固件作为可信基础,对云系统的基础设施层进行实时、动态的安全度量,提供传统可信技术无法达到的动态保护。在此框架基础上,以某国产服务器为实验平台,构建云环境,实现了一个面向Xen环境的UEFI虚拟机动态安全度量原型系统。实验与分析表明,该框架能够有效检测针对虚拟域、管理域和虚拟化软件的攻击,为云系统提供来自基础设施层的安全支撑。并且对原有系统的性能损耗在允许范围之内,不影响用户的正常使用。

摘要：结合淮河临淮岗洪水控制工程,从土坝C料场取样,分别进行了粉质壤土的非饱和持水特征曲线和非饱和导水率实验,获取了θ-h,k-h的关系曲线.从经典的K-C方程出发,推导提出一个了新的非饱和水运动函数表达式,利用θ-h,k-h实验结果,对BC模型、VG模型及本文模型描述水分运动参数进行了较全面的分析.本文模型具有参数较少,结构更简洁,使用方便的较显著优点.

摘要：0 引言堤坝稳定性与非饱和区渗流的作用密切相关.在研究堤坝非饱和渗流问题时,主要的方法是数值模拟.在国内外学者的努力下,数值模拟非饱和渗流问题得到了很快的发展[1～6].

摘要：基于无干扰理论和Hoare公理方法,针对并发进程中不可信代码带来的信息泄露问题,提出一种隐私性分析模型CPNIAM,一方面把并发程序功能正确性证明分化为对程序中所有并发进程的形式化验证,以达到复杂程序简单化证明的目的;另一方面,可以在进程的功能正确性验证的基础上进行并发进程间的无干扰性分析.实例分析表明,相对于传统的无干扰模型,本文提出的模型可以在程序设计及实现阶段的形式化验证过程中,对由不可信代码导致的进程间隐私泄露问题进行分析,分析结果可指导程序设计者用于不可信代码定位和修改.

摘要：针对边坡的稳定性问题,采用矢量和法进行了系统的分析。考虑到左岸桥址边坡的具体工程地质条件对桥址边坡稳定性的不利影响因素,抗剪强度参数按照下限值、平均值、上限值三种情形,计算了自然工况、地震工况、桥基荷载工况、桥基荷载和地震荷载共同作用工况四种条件下桥位所在典型边坡剖面的稳定性安全系数。分析结果表明:桥基荷载作用后,边坡潜在最危险滑动面的剪入位置由前缘卸荷带移至中后缘桥基位置附近;自然工况和地震工况的安全系数值明显降低,最小安全系数值为1.619,仍大于该工程边坡稳定性要求的不小于1.30的规定。综上,该工程边坡安全稳定,实施过程中需关注施工造成的浅表安全问题。

摘要：采用有限元软件Ansys对桥式起重机轻量化设计存在以下问题:大多以静态指标为设计准则,忽略了动态性能;整个过程耗时较长;且优化后常要对参数进行圆整,弱化了优化效果。以20 t—22.5 m桥式起重机为例,综合利用Ansys和多学科设计优化软件Isight,以拉丁超立方设计、BP神经网络、Hooke-Jeeves算法为理论基础,提出一种效果较好且计算成本较低的桥机主梁优化设计方法。通过这种方法,缩短了优化时间,主梁质量减少了14.84%。

摘要：顺层边坡的破坏范围及稳定性一般受工程扰动影响较大。以华丽金沙江桥华坪岸顺层边坡为研究对象,利用现场调查、地质力学方法和数值分析,综合确定华坪岸边坡破坏模式主要为后缘陡倾结构面控制剪入+T2凝灰岩软弱夹层主滑+前缘缓倾结构面剪出破坏控制。基于此,制作考虑后缘陡倾结构面和顺层软弱夹层边坡模型,设计了不同桥基荷载和水平荷载组合工况,分析余推力、位移、应力和应变发现:不同工况临界水平荷载为1.89~3.15 k N,临界水平地震加速度值为0.134 g^0.208 g,除100 a设防自然工况不满足外,其余条件下华坪岸边坡均满足工程区修正后地震设防标准0.105 g(50 a)和0.144 g(100 a)的要求。在模型试验过程中,数据的灵敏度和稳定性排序为表观应力和位移>内部应力>应变;传感器的费效比排序为量力环>百分表>土压力盒>应变片。

摘要：这里介绍了HyperWorks有限元分析流程,讨论了建模中应注意的几个问题,并以某公司新开发的中巴车车架为研究对象,利用HyperWorks建立以壳单元为基本单元的车架有限元分析模型,分析了该车架的前七阶固有频率及振型,为车架响应分析提供了重要的模态参数,同时也为结构的改进设计提供了理论依据。

摘要：针对LED控制系统传输距离不同的需求,设计了千兆以太网双绞线、光纤介质转换器。对以太网标准802.3ab和802.3z进行了介绍,以1000BASE-T和1000BASE-LX为例,详细研究了信号在两种标准物理层上的传输特性,并构建了系统结构;对传输帧结构进行了分析,设计了主控FPGA内部的数据存储与转发方案,实现了对数据帧的解包和重建。试验结果表明:系统设计符合以太网标准物理层结构,双绞线、光纤有效传输速率均可达2Gbit/s,传输距离为100m～10km。将两种传输介质应用于LED传输系统,可以达到建网的最高性价比;该设计对LED大屏传输系统以外的一般视频的实时远距离传输均有实际的借鉴意义。