节理边坡渗流离散元模拟及边坡可靠性分析

采用定性研究和定量分析相结合的方法，对地下水对节理边坡稳定性的影响进行了较为全面的研究。首先采用离散元方法进行了节理边坡地下水流动的数值模拟；其次用不确定性方法——模糊点估计方法对有水和无水作用两种情况下的边坡稳定性进行了模糊随机可靠性对比分析。研究表明，地下水的存在使边坡的破坏面积增大，破坏概率剧增，边坡可靠性指标极大地降低，因此地下水对节理边坡稳定性具有不可忽视的作用。     

区间值模糊集合的表现定理

针对区间值模糊集合，给出了2类区间值集合套的定义，得到了2个区间值模糊集合的表现定理。     

线性近似下的X-Y-Z模型-各向异性亚铁磁性Heisenberg系统的自旋波解

通过Holstein-Primakoff变换、点阵傅里叶变换、宇称变换、Shwinger角动量表象的转动变换、Bogoliubov变换、压缩变换等幺正变换，在线性近似下研究了X-Y-Z模型-各向异性亚铁磁性Heisenberg系统的基态、激发态的性质．     

采场模糊渗流定解问题的可表示性

采空区气体模糊渗流问题由模糊偏微分方程所描述，模糊微分方程是未知函数及其导数与已知模糊函数或者模糊常数的条件等式。方程解的模糊性是由已知模糊函数或模糊常数所引起的。当已知函数或常数为区间值函数或区间数时，相应的方程为区间微分方程，由于模糊函数或模糊数的截集为区间值函数或区间数，通常，模糊微分方程的解是利用模糊函数或模糊数截集所对应的区间微分方程解通过表现定理给出。由于模糊微分方程的解必须是模糊函数，如果通过表现定理给出的模糊微分方程方程的解是模糊函数，则称方程的解是可表示的，本文在给出模糊微分方程解的可表示定义同时给出了解的可表示判定条件，并且证明了有采空区气体模糊渗流定解问题的可表示性。     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

混合层高度变化趋势及其代表值的探讨

利用长江下游某地的气象资料探讨了混合层高度的时刻、月份和季节变化规律，并得出结论：用2：00、8：00、14：00、20：00时刻的气象资料对年日平均有很好的代表性，用4、7、10、12月份对春、夏、秋、冬也有较好的代表性。     

具有交换幂零根基的完备李代数的表示

讨论了具有可换幂零根基的完备李代数的有限维与无限维不可约表示。     

波纹管膨胀节设计软件的模块化设计

本文利用软件模块化结构设计的优点，对波纹管元件强度和性能计算、各类型膨胀节的结构设计，典型管线的膨胀节补偿设计等提出了计算机设计软件的模块化设计方法，并对软件系统的结构、组成和功能进行了论述。     

叠合梁框架柱与整浇框架柱的对比分析

根据两榀叠合梁框架、一榀整浇框架的实测资料，采用对比分析的方法，对叠合梁框架柱和整浇框架柱的受力性能及变形特征进行对比分析。结果表明，叠合梁框架柱的截面应变符合磁截面假定，柱的承载力并不因梁的叠合施工工艺和二阶段受力而降低；柱端钢筋和混凝土的应变在弹性阶段均滞后于整浇框架，底层柱的反弯点低于整浇框架柱。