基于等效线性模型等价结点力法的高速公路软基震陷反应研究

一般认为 ,震陷发生的机理 ,震陷与地震作用强度、持续时间、土体性状、构筑物强度、位置及抗震措施等有关。从工程应用来看 ,为了预防或降低震陷的危害 ,除了加强抗震设施外 ,通过数值计算来估算震陷量 ,具有一定的社会效益与经济效益。通过有效应力等效线性动力反应分析 ,运用等价结点力法分析了某高速公路软粘土路基震陷随地震最大加速度的变化趋势 ,建立了震陷同路堤高度、软土动模量系数、饱和重度、遭遇的竖向与水平向地震加速度放大系数之比和水平向地震系数等因素的相关关系式。此外还认识了频谱对震陷的影响 ,对相关研究具有一定的启发性。

基于增量可满足性的等价性检验方法

组合验证是数字集成电路形式化设计验证的重要方面 .该文提出了一种基于增量布尔可满足性的组合等价性检验方法 ,通过合理选择候选等价结点和增量可满足性算法来提高算法性能 ,并通过对内部等价结点的置换及将等价关系转化为相应的合取范式公式 ,避免了误判的发生 ,又能缩小验证程序的搜索空间 .针对ISCAS’85电路的实验结果表明 ,该文提出的方法比以往同类方法更快、更强健 .

土石坝地震永久变形分析

永久变形分析方法主要包括两类，一类是滑体变形分析，一类是整体变形分析，而在后一类方法中，具有典型代表性的是Ｓｅｒｆｆ的等价结点力法和Ｔａｎｉｇｕｃｈｉ的等价惯性力法，本文吸收这两种方法的优点，建立了一种土石坝地震永久变形计算方法；编制了相应的有限元计算程序，用于瀑布沟土石坝永久变形数值计算，结果符合一般观测规律，验证了本文方法的合理性．

有向双环网络的容错平均直径和容错直径

利用有向双环网络G(n;r,s)的结点的对称性和L-形瓦的四个参数l,h,x,y,给出有向双环网络G(n;r,s)中有一个结点出故障时的容错直径和容错平均直径。