BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.     

基于RC网络集成电路的多晶硅薄膜电阻工艺优化

介绍基于RC[1]网络集成电路中的制作多晶硅电阻工艺和掺杂方法,并详细阐述了这种方法的工艺过程和控制方式.利用LPCVD方式制作多晶硅薄膜,可以得到很好的膜层均匀性和最佳的淀积速率,再利用POCl3进行高温掺杂[2],得到优化的电阻率,灵活改变各种参数,可使电阻的精度优于5%.     

基于二维元胞自动机的交通流模拟分析

BML模型是专门用于模拟分析交通现象的二维元胞自动机模型,采用JAVA语言实现此模型并利用此模型模拟交通流,分析平均密度和平均速度等参数关系,研究交通流的相变和自组织特性,同时对BML模型改进,模拟红绿灯周期变化下的交通流,探求更有价值的研究和应用.     

Proteus平台下内置T6963C液晶模块的驱动仿真

主要介绍了在仿真软件Proteus平台下实现对常用液晶驱动芯片T6963C的2种驱动仿真方法,提供了Proteus下51单片机与液晶的连接电路,最终实现了向内置T6963C的液晶写入汉字字符串的功能.     

绵羊卵母细胞不同采集方法对体外成熟培养的影响

为提高绵羊卵巢卵母细胞的采集效率,提供用于卵母细胞体外成熟培养和体外受精的更多优质的成熟卵母细胞,试验利用抽吸法和剖切法2种采集方法采集绵羊卵巢卵母细胞进行体外成熟培养并对其效果进行了对比研究.结果表明剖切法获得的卵子数量显著高于抽吸法(P<0.05),而所用时间则无显著差异(P>0.05);A、B级卵母细胞的比例在剖切法中显著高于抽吸法(P<0.05),抽吸法所采集的C级细胞显著高于剖切法(P<0.05);剖切法中卵丘扩散率和第一极体排出率要显著高于抽吸法(P<0.05).     

基于嵌入式开发系统下的汉字显示

嵌入式系统的应用日益广泛，在中国嵌入式系统迫切需要使用更为友善的汉字界面，嵌入式系统下汉字显示问题就显得十分重要。本文详细探讨了嵌入式系统中建立专用小型汉字库的方法和利用，最阵进行汉字的显示的原理．程序设计芳法与步骤。     

基于转发路径优化的交叉眼干扰结构

为了降低因路径引起的波程差,提出一种基于转发路径优化的交叉眼干扰结构。通过分析交叉眼信号传播路径,建立干扰信号传播路径模型。在雷达来波方向偏离交叉眼干扰天线中垂线的条件下,改变交叉眼双环路接收天线和发射天线位置,可以有效减小干扰距离较远时因波程差造成的相位变化,提高交叉眼干扰效果。仿真结果表明：在该结构下,交叉眼干扰与雷达的距离越远,波程差越小;雷达来波方向偏离交叉眼干扰天线中垂线越严重,波程差越小;当交叉眼干扰距离雷达较远（r>3 km）时,交叉眼天线中垂线附近波程差即可忽略,使干扰信号到达雷达时的相位差能够满足干扰要求。     

基于FDS的真实火灾下钢管约束钢筋混凝土柱抗火性能

为揭示钢管约束钢筋混凝土(steel tubed reinforced concrete, STRC)柱在真实火灾作用下的抗火性能,采用火灾动力学模拟(fire dynamics simulator, FDS)软件获取宿舍和教室场景下的真实火灾曲线,建立Abaqus模型对圆形STRC柱进行温度场和耐火极限有限元分析,获取真实火灾场景下温度曲线、载荷比、截面直径、长细比等参数对STRC柱耐火性能的影响.结果表明：真实火灾场景下STRC柱的变形受力性能与标准火灾场景下类似,耐火极限分别与载荷比和长细比成反比,与截面直径成正比.根据研究结果,建议采用真实火灾曲线对STRC柱进行精细化抗火设计,在工程所需的耐火极限范围内,可出于安全需要,基于等效爆火时间采用标准火灾曲线进行构件抗火设计.