地下工程中岩爆灾害的成因及防治措施

岩爆是地下工程掘进过程中所遇到一种动力地质灾害，其危害较大。根据当前国内外大量岩爆的统计资料，结合在二郎山隧道知锦屏二级水电站勘探洞所遇到的岩爆现象，提出了岩爆是由构造、浅表生改造、围岩的岩体强度、岩层产状、围岩应力状态、变形特性、地下工程布置等多种影响因素综合作用的结果。就岩爆的力学机制问题，认为岩爆力学机制的实质属于压致拉裂破坏。     

团队合作的博弈机制

针对传统博弈理论在解释参与人合作的局限性及蜈蚣博弈悖论所体现的博弈理论方面的缺陷，构建了暗恋博弈模型并以此分析了合作博弈的理性基础，分析了从不完全信息到共同知识演进的过程，讨论了参与人的风险规避、风险大小、折现系数、合作支付大小、博弈阶段数等变量对于不完全信息条件下合作博弈初始条件的影响以及基于贝叶斯推断的博弈学习机制，运用模型分析的结论解释了先锋模范人物的带头作用及中国传统观念“枪打出头鸟”等社会现象。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

铁素体球墨铸铁损伤力学特性

根据损伤力学的基本原理,利用测量电阻的方法,研究了拉伸受力状态下,铁素体球墨铸铁的损伤力学特性。得出了损伤变量随应力和应变而变化的演变规律。认为球墨铸铁存在损伤阈值,其大小随球化率提高而呈直线增大,但损伤阈值皆小于屈服强度;临界损伤变量与球化率的关系不大,在本试验条件下,约为0.060～0.068。研究结果表明,当应力大于一定程度时,损伤发生,且随应力增加而逐渐增大。     

煤矿瓦斯爆炸参数的突变与混沌研究

煤矿发生瓦斯爆炸的过程实质是井下气体状态发生突变的过程，本文首先采用突变理论建立了瓦斯爆炸数学模型，然后利用混沌理论和方法分析计算了有关瓦斯爆炸安全参数及条件，得到了瓦斯感应期，引爆参数等随井下条件的不同具有一定的混沌性质，理论上证明一些新的结论并验证了一些实验结果，为理论分析和实践提供了理论依据。     

串联盘管道连续输送机中直线段力学分析

串联盘式管道连续输送机主要运输散状物料。这些散状物料可以被看成散粒体，利用散粒体的力学性质，我们主要对串联盘式管道连续输送机中间承载段的散状货载在动态条件下的力学进行分析，推倒出了计算应力数学模型，并得到了牵引力的计算方法，随着物料高度的增加，物料作用在容器底部的应力呈指数规律快速增加，因此利用圆柱形容器运输散状物料时，应把物料分成合适的段运输。     

振动方程耦合类型的注记

采用动静法建立振动系统动力学方程，通过具体例子的讨论和一般情形的分析，论证了振动方程的耦合类型与系统广义坐标选取无关.     

考虑裂尖损伤的粘弹性裂纹扩展规律

本文根据作者1在对聚合物断裂破坏过程的实验观测基础上，应用连续损伤力学的基本观点和方法所建立的裂纹尖端破坏模型，研究了考虑裂尖损伤的粘弹性裂纹扩展规律，讨论了以损伤演化和裂纹扩展行为构成的聚合物材料破坏的全过程，并在理论分析的基础上，具体计算了某种聚合物在恒定载荷作用下的裂纹扩展行为，预期的理论结果与实验值吻合的较好．     

云纹法在岩石力学中应用的新进展

在分析研究云纹法的基础上，将云纹法结合计算机图象处理技术与图象采集技术引入岩石力学领域，同时对这一方法的正确运用进行了探讨，为岩石力学应变测量寻求一种新的测试方法，是应变片测试方法的有益补充．     

超对称量子力学中─维形状不变势与严格解

找到几个具有形状不变性的一维势，用超对称量子力学理论求得其束缚态能量的严格表达式．给出已知所有形状不变势中束缚态数为有限者的数目，丰富了形状不变势的家族．