一个公平不可抵赖协议及其形式化分析

不可抵赖作为基本的网络安全服务之一,必须提供不可抵赖证据的产生、收集和维护机制以防止交易的任何一方试图对交易中已发生的特定事件或行为的欺诈性抵赖.另外,公平性也是一个必须考虑的因素,它保证交易的任何一方都不可能因为过早地退出交易或在交易中作弊而取得事实上凌驾于另一方的优势地位.本文针对目前ISO/IEC 13888的不可抵赖机制因为不公平性而存在的严重缺陷:选择性收据问题,提出了一个公平不可抵赖协议FNORP,并通过严格的形式化分析证明了FNORP具有不可抵赖性、公平性和适时中止性.     

Ad Hoc网络环境下分布式密钥管理

分析了当前Ad H0c网络密钥管理方面的若干方案,根据椭圆曲线密码体制(ECC)可以使用较短的密钥满足较高的安全性需求特点,提出了一种新的基于ECC的分布式密钥管理方案,详细给出了该方案包括主密钥产生、新节点加入和私钥产生等在内的具体实施步骤,并以证书更新服务为例对证书服务性能进行了模拟测试.结果表明,该方案具有较高的安全性,证书服务的有效性和较好的鲁棒性.     

一种消除阈值电压影响的高效率电荷泵

提出了一种基于Dickson电荷泵结构的片上升压电路,由两相非交叠时钟驱动,并与电平转换单元配合使用.该电路将最后一级的传输管NMOS管替换为PMOS管,再由电平转换单元产生的电压来控制该PMOS管的栅端电压,使之在导通时彻底打开,从而消除该级的阈值电压损失,提高了输出电压.     

Ku、Ka频段龙伯透镜馈源阵列技术研究

针对卫星通信中龙伯透镜天线不同频段的馈源并排放置导致最大波束指向的偏移,无法实现多频段馈源上、下行跟踪同一颗卫星,提出了馈源阵列馈电的方法。通过辐射口面采用介质杆天线取代喇叭以改进馈源,此方法减小了馈源的阵间距,利于馈源组阵。结果表明:利用馈源组阵技术可以解决波束偏焦问题,实现多频段收发同一颗卫星的目的,同时也分析了阵列馈源馈电对天线增益和效率的影响。     

智能小车的多传感器数据融合

智能车辆是近年来发展起来的一门新兴综合技术，在军事、科研和工业中有广阔的应用前景。以电动小车为研究对象，分析了智能小车传感系统的各种特征值，包括智能小车的状态特征值和道路环境特征值，并建立了相应的坐标系。根据小车行驶的实际情况，设计了智能小车的多传感器系统，包括：传感器的种类、数量以及在智能小车上的安装位置。重点讨论了多传感器数据融合结构和融合算法。智能小车多传感器的数据融合结构采用混合式，融合算法采用贝叶新推理法。     

气相色谱-三重四极杆质谱法测定血液透析器中的可沥滤物

建立了血液透析器中可沥滤物的气相色谱-三重四极杆质谱（GC-MS）分析方法。以丙酮为浸提溶剂,超声30 min浸提血液透析器透析膜中的可沥滤物,浸提液过滤后GC-MS法定性,外标法定量。2种主要可沥滤物鉴定为1,3-二叔丁基苯和2,4-二叔丁基苯酚,分别在0.80～12.80 mg/L和0.88～14.88 mg/L范围内线性关系良好,相关系数（r）分别为0.9992和0.9950。3个加标水平下,1,3-二叔丁基苯的加标回收率为93.8%～105.8%,相对标准偏差（RSD）为0.80%～1.4%,检出限（LOD）为0.026μg/g,定量限（LOQ）为0.087μg/g; 2,4-二叔丁基苯酚的加标回收率为95.8%～107.3%, RSD为0.65%～1.0%, LOD为0.826μg/g,LOQ为2.76μg/g。该方法可为完善血液透析器的质量控制和监管提供新的技术支持。     

容许多个磁盘故障的RAID编码方法研究

随着磁盘阵列规模的增大,同时发生多个磁盘故障的概率将大大增加,单容错编码难以满足应用对高可靠性存储的需求.分析了主要的双容错RAID编码方法及其特点,对各种双容错编码方法的冗余性能进行了比较.给出了一种基于循环置换矩阵构建的能容许三个磁盘故障的MDS交换群阵列码,其编码和解码效率较高,是大规模RAID存储系统的应用方向.     

基于PXA270-Linux的智能家居系统研究

设计了PXA270处理器和Linux操作系统的智能家居网络系统,通过运用RS485总线接入各种功能的传感器模块和控制模块及软硬件均模块化的设计思想,最终实现了家居安全报警、家用电器及照明系统远程控制。该方案具有设计灵活,可裁剪性强,集成度高,易于升级等优点,在视频处理和远程监控具有一定优势。     

高k介质在浮栅型非挥发性存储器中的应用

随着微电子技术节点不断向前推进,基于传统浮栅结构的非挥发性存储器(NVM)技术遇到严重的技术难点,其中最主要的问题是SiO2隧穿层已经接近厚度极限,很难继续减薄.作为改进措施,引入高k介质作为新型隧穿层材料.文章介绍了高k材料的研究现状和在NVM器件中应用所取得的进展;最后,对高k介质进一步应用的研究趋势进行了展望.     

二维异质结光子晶体弯曲波导的传输特性研究

应用时域有限差分(FDTD)方法,通过数值模拟研究光在二维异质结光子晶体L型弯曲波导的传输特性.结果表明:在异质结光子晶体波导中能更好地对光进行控制;并且异质结光子晶体L型弯曲波导的传输效率较同质结光子晶体波导提高了6;~7;.计算结果为高度集成化的光子晶体波导器件,提供了一条新的设计思路和依据.