锚喷支护参数设计与计算方法探讨

根据锚喷支护与围岩相互作用特点，对锚喷支护参数进行了理论上的探讨，提出了锚杆长度、直径、间距、排距和喷层厚度的理论计算公式，为现场工程支护参数设计提供了一定的理论依据。     

A New ID-Based Proxy Multi-Signature Scheme from Bilinear Pairings

ID-based public key cryptosystem can be a good alternative for certifieate-based public key setting. This paper provides an efficient ID-based proxy multi signature scheme from pairings. In the random oracle model, we prove that our new scheme is secure against existential delegation forgery with the assumption that Hess＇s scheme-1 is existential unforgeable, and that our new scheme is secure against existential proxy multi-signature forgery under the hardness assumption of the computational Diffie-Hellman problem.     

成本价格变化对露天煤矿最终境界的影响

基于经济合理剥采比准则以及地表模型和柱状煤层模型,应用CoalDesign软件系统对内蒙古某露天煤矿进行最终境界设计,得出了不同经济技术条件下的最终境界的形态.分析讨论了最终境界随成本价格变化的情况.实践表明,以当前技术经济参数为基准,原煤价格上升10%,原煤开采量增加79%,岩石剥离量增加115%,第四纪层剥离量增加6%,境界总体积增大95%,不考虑基建投资,利润值增加238%;开采成本降低10%,原煤开采量增加84%,岩石剥离量增加123%,第四纪层剥离量增加65%,境界总体积增大102%,不考虑基建投资,利润值增加245%.可以看出最终境界对成本价格的灵敏度很高,境界分析对矿山生产决策者做出正确决定有重要的参考价值.     

Abstract model checking for Web services

Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no enough ability to support for the programming languages and communication mechanisms used for Web services. We propose to use Kripke structures as means of modeling Web service. This paper presents an automated way to extract formal models from programs implementing Web services using predicate abstraction for abstract model checking. The abstract models are checked by means of a model checker that implements automatic abstraction refinement. These results enable the verification of the applications that implement Web services.     

RLD估计及其在测量平差中的应用

为了克服最小二乘估计在参数估计中处理复共线性的不足,得出一种新的有偏估计,并给出了此估计在均方误差意义下的优良性质,讨论了有偏估计中偏参数的选取问题,通过理论分析和算例分析说明新的估计的优良性.     

金属切削过程声发射机理

研究了金属切削过程的声发射机理，建立了正交切削条件下的金属切削过程声发射理论模型，即声发射信号能量与切削参数的关系模型，通过车削加工过程声发射检测实验，证实了模型的正确性。     

五六硝酸根合稀土(Ⅲ)酸2-[2-(3-硝基-4-甲氧基苯基)乙烯基]-1-甲基吡啶配合物的合成及性质研究

合成了通式为（Ｃ１５Ｈ１５Ｎ２Ｏ３）ｘＲＥ（ＮＯ３）ｙ（Ｈ２Ｏ）ｚ（当ＲＥ＝Ｌａ～Ｐｒ时，ｘ＝３，ｙ＝６，ｚ＝０；ＲＥ＝Ｎｄ时，ｘ＝２，ｙ＝５，ｚ＝１；ＲＥ＝Ｓｍ～Ｌｕ，Ｙ时，ｘ＝２，ｙ＝５，ｚ＝０）的一系列１５种标题配合物．通过元素分析，ＩＲ，ＵＶ，１ＨＮＭＲ，ＴＧ－ＤＴＡ，摩尔电导和Ｘ射线粉末衍射分析等对配合物的性质进行了表征．认为可能生成包含一分子水的１１配位钕配合物的原因在于抗衡阳离子的空间效应，使其与络阴离子间的ｖａｎｄｅｒＷａａｌｓ力增强的结果     

语音信号的混沌调制识别

在语音信号ＧＴＦ特征的基础上，提出一种基于混沌调制的语音识别新方法．实验结果表明，该方法对语音的缺损和突发性噪声干扰具有很强的容错能力．     

矮杨梅叶的抑菌作用

本文采用琼脂扩散法和生物学数理统计,从定量的角度,对贵州产矮杨梅（ＭｙｒｉｃａｎａｎａＣｅｖａｌ）５种变异类型叶的抑菌作用进行了比较研究。结果表明,各类型叶的提取液对Ｇ＋金黄色葡萄球菌,枯草杆菌有抑菌作用,对Ｇ 大肠杆菌,志贺氏痢疾杆菌无抑菌作用。矮杨梅植物种内的抑菌作用存在极显著性差异。     

基于时间多重同步挤压W变换的高精度轴承故障诊断

状态监测(condition monitoring, CM)信号中的脉冲特征通常意味着旋转机器中存在缺陷。为了准确捕获CM信号中的脉冲分量,提出了一种高精度的时间多重同步挤压W变换(TMSSWT)用于提高CM信号的时频聚焦性能。首先利用W变换(WT)获取信号的时频表征结果,然后在时频域上构建估计信号真实群延迟(group delay, GD)的时频后处理表征算子——挤压算子,从而对原始W变换得到的时频谱能量进行“挤压”操作;其次,利用不动点的迭代算法将时频能量重新排列至信号真实的GD脊线上;最后利用信号重构的脉冲特征提取算法,计算时频包络,对TMSSWT获得的时频谱提取最强振幅对应频率的脉冲特性,通过对比脉冲特性的时间间隔识别轴承故障。模拟信号结果很好地证实了该方法可以有效地提高时频能量聚焦性,以期在实际故障诊断应用中可以准确地捕获脉冲特征,更好地识别与诊断轴承机械故障。