一种认证安全性的分析与设计逻辑

针对BAN逻辑的局限性,在BSW逻辑的基础上,提出了一种针对认证安全性的分析与设计逻辑.同时,以Needham-Schroeder公钥协议及X.509三消息协议的分析与再设计为例,证明了该逻辑的正确性和有效性.     

酚酞型聚芳醚砜/蛭石复合膜的制备与性能

以十六烷基三甲基溴化铵(HDTMA+Br-)为插层剂,对蛭石(VMT)插层,制备有机柱撑蛭石(OVMT).XRD分析表明:经HDTMA+Br-插层后,OVMT的层间距由柱撑前的1.46nm增大到4.70nm,柱撑效果明显.通过浸没沉淀相转化法制备酚酞型聚芳醚砜(PES-C)/OVMT复合膜,研究了蛭石的加入量对PES-C/OVMT复合膜隔热性能、热稳定性能和机械性能的影响规律,结果表明:5%的蛭石添加量即可有效提高PES-C/OVMT复合膜的隔热性能、热稳定性能和机械性能.     

INAR(1)模型参数的Bayes估计

利用Bayes方法研究INAR(1)模型的参数估计, 给出了模型参数的Bayes估计因子, 并通过数值模拟将Bayes估计与Yule Walker估计、 条件最小二乘估计、 条件极大似然估计进行比较. 结果表明, Bayes估计方法在一定情形下优于其他方法.     

水下自航器的时变运动模型

为开发研制大航程、变速度的水下自航器 ,实现更精确的控制和导引 ,需建立水下自航器的时变运动模型。利用刚体分析动力学和理论流体力学的基本理论 ,研究水下自航器因燃料的消耗而引起的质量变化、质心位置和转动惯量的变化 ,导出描述其变化规律的方程 ;研究因推力变化而引起速度的改变 ,导出推力变化方程。在此基础上 ,推导出水下自航器空间运动方程组 ,并将数学模型表达成简明的矩阵形式 ,为研究变质量、变速度水下自航器的运动性能和设计控制及导引律提供基础     

脂质体转移因子的制备及其活性研究

以转移因子为包裹对象,探讨提高脂质体肽类药物的包封率和减缓渗漏率的方法和条件,以及制备过程对活性的影响。采用逆相蒸发法制备、以正交试验设计筛选最佳配方组合,制备负电荷脂质体转移因子。通过巨噬细胞吞噬试验和E-玫瑰花结试验比较不同剂型、不同给药途径对小鼠免疫功能的影响。结果表明：负电荷脂质体转移因子包封率和稳定性均比其他文献报道的有较大的提高,包封率5次平均达43%,30d渗漏率12%,具有一定的稳定性;E-玫瑰花结试验显示：制备过程对转移因子活性无显著影响;巨噬细胞吞噬试验表明：不论注射或口服脂质体转移因子,均有提高机体免疫功能的作用,脂质体转移因子的药效优于游离转移因子。     

印度洋-太平洋海表温度异常的持续性特征

用Reynolds＆Smith重构的1950-1998年月平均SST资料分析了印度洋-太平洋海表温度距平SSTA的持续性特征。结果表明:SSTA的持续性在空间上分布不均匀,可将有明显差异的SSTA持续性特征的海区分为3类:全年各月持续性好的区域,主要包括热带中东太平洋马蹄形海域、赤道中东印度洋、热带西太平洋,持续时间一般在10个月以上;全年各月持续性差的区域,主要包括西北太平洋、东亚沿海和东南太平洋,持续时间一般为3个月左右;各月持续性有季节性变化的区域,主要包括赤道东太平洋,南海。SSTA持续性的整体空间分布存在冬夏两种主要分布型,夏季型SSTA的持续性要比冬季好。冬夏间SSTA持续性最明显的差异出现在赤道东太平洋和东亚沿海、南海区域,由冬季转入夏季时,赤道东太平洋SSTA的持续性由差变好,东亚沿海、南海地区的情况则与之相反。     

工业废酸与高铁赤泥制取聚合氯化铝铁的实验研究

介绍了常压下使用工业废盐酸和高铁赤泥制备聚合氯化铝铁絮凝剂的基本工艺.研究了液固比、温度、浸出时间对浸出率的影响,总结了制备聚合氯化铝铁的最佳工艺条件,并对产品进行了絮凝性能实验.该工艺为赤泥的综合利用和工业废酸处理开辟了一条新途径.     

带泊松跳的中立型随机时滞微分方程解的指数稳定性

主要利用Laypunov泛函方法和随机分析理论,研究带泊松跳的中立型随机时滞微分方程解的存在惟一性和解的指数稳定性．所得结果覆盖了许多非线性时滞微分方程已经存在的某些理论,而且实验说明此结论比以往的结论更容易验证．     

THOR网在机器人装配系统装配质量预测和分析中的应用

装配质量对产品的性能和可靠性有直接的影响．基于一类高级的Petri网——THOR网，对机器人装配系统装配质量的预测进行了研究，提出了系统分析装配质量的模块化建模方法．该方法可以对各种装配策略和手段与装配质量间的关系进行研究，是实现机器人装配系统装配质量评价与控制的有力工具．     

基于不完美发送端信道状态信息的多输入多输出系统线性预编码传输方案

空时分组码和线性预编码可显著提高多输入多输出系统的性能,但空时分组码性能易受天线相关性的影响,线性预编码性能易受发送端信道状态信息(CSIT)误差的影响.提出一种空时分组码与线性预编码级联的方案,可在相关天线组和不完美的CSIT条件下,获得良好的性能增益.