瑞利波探测仪在屯兰矿地质构造超前探测中的应用

应用瑞利波物探新技术,在煤矿井下独头巷道和工作面侧帮开展地质构造超前探测.实际探测表明,井下瑞利波探测结果分层曲线清晰,探测距离大于80m 等突出优点.分层解析精度已指导矿井生产实际意义,是解决矿井超前探测地质构造,进行预测和预报的有效方法.     

一类递归方程的解

本文研究一类递归方程的求解问题，利用形式幂级数方法得到了解序列的赘余母函 数。这一结论包含Ｎａｒａｙａｎａ，Ｒｏｈａｔｇｉ和Ｃａｒｌｉｔｚ的新近结果作为特例。作为应用，文中 证明了几个关于二项系数的组合恒等式。     

色玻璃凝聚理论中跑动耦合常数效应研究

在色偶极子模型下，该文研究了4种跑动耦合常数方案对偶极子散射振幅演化的影响.通过数值解共线改进的Balitsky-Kovchegov演化方程，获得数值形式的偶极子散射振幅，结合光子波函数，对HERA能区光子－质子深度非弹性散射实验数据开展了拟合研究，结果显示4种方案中的Balitsky方案给出较合理的实验数据描述，χ2/d.o.f＝1.171且自由参数C2＝0.326接近其理论值，由此可知其为较优的方案.此外，为了显示次领头阶跑动耦合常数效应的重要性，该文还对同一组实验数据采用领头阶和共线改进的散射振幅进行了对比研究，结果显示无论4种跑动耦合常数方案中的拟合参数怎么变化，领头阶散射振幅都无法对相应数据进行合理描述，结果表明跑动耦合常数效应对压低偶极子的演化有着重要的作用.     

通过CC标准的思想确定RS-Linux的安全可信度

以一个称为RS－Linux的安全操作系统的研制工作为实验手段，对按照CC标准的思想开发安全产品的方法进行研究，并以该项研究为基础，探讨从CC框架蕴函的方法学中可以通过什么方式确定安全产品的安全可信度。     

CC标准框架下安全确信度的定量描述方法

结合安全操作系统的一个研究实验，对CC标准框架下的安全产品开发过程进行了概括和抽象，借助主观逻辑，针对在CC标准框架下建立的安全产品的安全确信度，提出安全确信度的一种定量描述方法。     

计算机安全标准演化与安全产品发展

分析计算机系统安全标准的演化过程，以及安全评价标准在安全产品评价中的实际应用情况。阐明在计算机系统安全标准演化中，TCSCE、ITSCE和CC是影响较大的主要标准；其中，CC标准是在各国寻求共同认可的安全评价标准的意愿驱使下产生的，它基于TCSEC等以往的标准，形式上更加接近于ITSEC。中国1999年颁布的2001年开始实施的“计算机信息系统安全保护等级划分准则”采用的是TCSEC的形式，其不可避免地存在与TCSEC同样的缺陷，按TCSEC标准的原有思路实施中国的标准，是否有利于安全产品的发展，值得认真深思。