一个军网身份鉴别协议的形式化分析及修正

分别使用形式化分析工具Casper+FDR和OFM C模型检测器对文[1]提出的一个军网身份鉴别协议进行了分析,找到了一个相同的攻击实例。同时指出了文[1]和文[2]中存在的几个谬误。然后对协议进行了修正。形式化验证结果表明修正后的协议是安全的。     

柔性机构的设计计算

柔性机构可以通过挤压或注模的方式整体加工,所以可以减少装配费用,提高产品的可靠性,缩短产品的生产周期,并降低设备的成本,因而在“免装配设计”中非常有意义,但到目前为止柔性机构的设计工作很多仍是通过试凑完成 的,这样既不能保证精度要求,也无法提高设计效率,根据“刚性”和“柔性”之间的辩证关系,通过探索,研究,得出了一种容易理解和操作和设计计算方法,可为柔性机构的设计计算提供一定的参考。     

正交多项式矩阵、矩阵连分式及其pade—逼近

由于正交多项式矩阵满足三项递推关系,而矩阵连分式的第n次渐近分式也满足三项递关系,为此我们构造了一种矩阵连分式,证明了此连分式的第n次渐近分式与其pade－逼近及其幂级数之间的关系。     

面板堆石坝建设中的施工质量控制

针对面板堆石坝的特点,从趾板、面板、混凝土的施工、堆石填筑以及通过工程质量等级评定来实现混凝土面板堆石坝的施工质量控制.     

聚合铁铝净水剂的开发与试用

通过对用高岭土制备合铁铝净水剂与其它净水剂对选煤污水的对比处理研究,并给出了聚合铁铝净水剂与其它净水剂对选煤污水的对比处理结果,分析了用高岭土制备聚合铁铝净水剂的经济指标。     

爆破块度预测的神经网络方法研究

在简要阐述了神经网络BP模型及其反传算法一般原理的基础上,基于工程实例,建立了堆石坝料开采爆破块度预测的神经网络BP模型,并将网络预测值与R-R、G-G-S分布模型拟合值进行了比较,结果证明网络预测模型是可靠的.     

低取代度阳离子淀粉与PVA混合浆液的相分离行为研究

通过改变 3-氯 - 2 -羟丙基三甲基氯化铵的用量 ,制备了一系列具有不同变性深度的低取代度季铵型阳离子淀粉 ;然后以初显分离时间和沉降率为量化指标 ,定量研究了低取代度阳离子淀粉的变性深度、混合比例及 PVA分子结构对淀粉与 PVA混合浆液的相分离行为的影响。结果发现 ,阳离子淀粉的取代度及混合比例都对该混合浆液的相分离行为影响很大 ,而 PVA分子量和醇解度的影响则相对较小     

环糊精作为超分子结构的构筑单元

对环糊精的来源和分子结构特点作了简单介绍 ,论述了环糊精及其衍生物在超分子化学领域中的地位。理论研究上 ,环糊精是研究弱相互作用的模型分子化合物 ,化学工业中环糊精及其衍生物具有广泛用途 ,显示出环糊精化学研究和应用的无限潜力     

镍／钢爆炸复合材料的焊接

研究探讨了不同焊接材料和工艺对镍／钢爆炸复合材料焊接接头组织与性能的影响,在此基础上提出了焊接该复合材料的新工艺,同时指出原爆炸复合界面附近的施焊工艺是影响焊接接头性能的重要因素。     

燃烧-还原法制备镍纳米微粒

采用燃烧法制备纳米氧化镍前驱体．再用氢气还原。得到了镍纳米微粒。利用XRD、TEM对样品的成分、晶体结构和形貌进行了分析。结果表明．所制得的镍纳米颗粒纯度高。粒径分布为40～100nm。呈较规则的球形链状分布。最佳反应温度为300℃．反应时间为2h．制备氧化物前驱体时甘氨酸和硝酸根的最佳配比(GIy／NO3^-)为0．25。