eCK模型的安全性分析

认证密钥协商协议应该尽可能多地具备良好的安全性质以满足实际的需求。作为最近提出的一种设计和分析两方认证密钥协商协议的形式化方法,eCK模型正受到越来越多的关注,而其所能提供的确切安全保证值得深入探究。由此,对eCK模型定义和有关认证密钥协商协议基本良好安全性质之间的关系进行了详细分析。结论表明在eCK模型下可证明安全的认证密钥协商协议具备大多数基本的良好安全性质。据此总结了eCK模型的优势和不足。     

樱桃和榆叶梅导管的比较研究

通过组织离析和显微观察等方法,对樱桃和榆叶梅木质部中导管类型、数量、长度、口径以及木质部中纤维的长度、口径比较研究,发现樱桃木质部中网纹导管、孔纹导管比例均大于榆叶梅,导管分子长度、纤维分子长度均小于榆叶梅,导管分子口径、纤维分子口径普遍大于榆叶梅．研究结果显示,樱桃的木质部导管比榆叶梅更进化一些．     

低温下纳通道中纳米流体的传热机理

基于平衡分子动力学方法,引入含有量子修正项的WK势能模型,研究了低温条件下含有铜纳米颗粒的氦纳米流体在纳米尺度通道中的传热机理.通过比较原子势能、动能和碰撞能及加入纳米颗粒对热导率的影响,揭示出纳米颗粒与系统所有原子的相互作用势对纳米流体热导率贡献最大.分析热导率矢量随计算时间的收敛曲线,发现流道方向的热导率远大于壁面方向,热导率呈现出各向异性特征,深入的研究最终阐明了产生这一现象的物理机理.     

触觉照相机:表面力觉属性采集装置

触力觉模拟对于增强虚拟现实系统的沉浸感具有重要作用。准确获取物体表面的力觉属性信息是建立逼真的触力觉模拟系统的基础。介绍了触觉照相机的概念和工作原理,针对刚度和摩擦两类表面力觉属性,阐述了测量原理,设计出可测量物体刚度和表面摩擦系数的实验方案及实验装置,该装置主要由两个独立的滚珠丝杠螺母结构、一个6自由度力传感器以及电机等部件组成。开展了典型物体的刚度测量和表面摩擦测量实验,初步检验了设计方案的合理性。     

一个应用于动态内存管理算法中的数据结构

通过对原来的内存块管理链表的结构改进,提出了一种新的链表结构,该数据结构描述了已分配块链表和空闲块链表的结构关系,从而能够提高动态内存管理的效率.     

乳酸菌表达质粒的构建

粪肠球菌是乳酸菌的一个属．采用生物信息学方法,预测了粪肠球菌AS1．2984基因组中乳酸脱氢酶和三磷酸甘油醛脱氢酶的组成型启动子序列．设计引物通过PCR扩增得到这2段启动子序列,并克隆到乳酸菌一大肠杆菌穿梭质粒pNZ8037上,在启动子下游接上绿色荧光蛋白基因作为标记,构建乳酸菌的组成型蛋白表达质粒．通过电转化将上述改造过的pNZ8037质粒导入粪肠球菌中,在共聚焦显微镜中可以观察到绿色荧光蛋白的表达．在乳酸菌MRS培养基中加入乳酸、盐酸、氢氧化钠等试剂,发现可以调节绿色荧光蛋白的表达量．     

地理信息系统中SDM和CBR的应用研究

地理信息系统最初是作为一种信息处理和空间技术出现的.随着社会的进步和经济的发展,空间决策制定的需求日益增长.G IS中含有大量的空间和属性数据,有着比一般关系数据库和事务数据库更加丰富和复杂的语义信息,隐藏着丰富的知识.本文提出了一个智能地理信息系统集成框架,将空间数据挖掘(SDM)和范例推理(CBR)技术应用于其中,加强空间数据、模型分析和表示能力,为决策者提供决策依据,使得决策行为科学化、可视化和直观化.     

CDMA蜂窝系统中的TDOA/AOA混合定位算法

CDMA蜂窝系统由于存在“听力”问题而影响了定位效率,TDOA/AOA混合定位方法可以解决这 个问题B提出了一种TDOA/AOA定位方案,建立了数学模型,并提出2种定位方程的解算方法：Taylor级 数展开的LS估计和JKalman滤波。仿真结果表明：TDOA/AOA混合定位的性能要优于TDOA单一定位; 基于Kalman滤波的定位算法性能优于TaylorG级数展开的LS估计。     

仅测距信息可用的编队卫星自主相对导航简化UKF方法

针对仅测距信息可用条件下编队卫星自主相对导航问题,首先,使用解析方法对仅测距条件下系统可观性进行分析,给出满足系统可观的条件。然后,针对线性状态方程和非线性量测方程的特点设计了简化UKF( Simplified Unscented Kalman Filter,SUKF )滤波算法,使用标准卡尔曼滤波中的时间更新代替UKF中的无迹变换,无需对状态变量进行扩维,可以在保证滤波估计精度的前提下有效地减少运算量,便于实时应用。最后的仿真结果表明在仅测距信息可用时,SUKF的滤波估计精度高于传统的EKF算法,相对定轨精度在米级,对于相对导航精度要求不高的场合是适用的,同时也可以作为测角失效时的备份方案。     

轻木结构正交主轴齿板连接承载力试验及分析

为确定轻型木结构正交主轴金属齿板连接节点的受力一变形性能及板齿极限承载力、齿抗滑移承载力,对40个齿板节点试件进行了荷载平行于木纹方向的加载试验.在试验基础上,利用最小二乘原理对数据进行了Foschi公式的曲线拟合,得到该种齿板的荷载-变形曲线;利用概率统计方法对试验数据进行拟合检验,得出该种齿板承载力的概率分布模型,确定了该种齿板的板齿极限承载力标准值和齿抗滑移承载力标准值.分析结果表明,该类节点延性较好,变异性较低.