BAN逻辑与串空间的比较

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

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).     

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

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

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

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

Fe-Al合金机械合金化制备中C元素对结构及磁性能影响

利用机械合金化方法制备了一系列粉末合金Fe-（10-x）wt%Al-xwt%C（x=0,0.2,1,2）,用X射线衍射方法和SEM对合金粉末微观结构进行了研究分析.实验发现,在Fe-Al合金中加入少量的碳,可以使Fe-Al合金晶粒细化,当碳含量为1wt%时效果最好.用VSM对球磨后的粉末合金的磁性能进行了检测分析,发现在Fe-Al合金中加入少量的C元素可以改善合金粉末的磁性能,结果与Hezer理论一致.     

高职院校基础课分级教学模式研究

基础课在培养高职学生的综合素质方面起着重要的作用，高职院校学生层次多，来源广,基础差的特点决定了高职院校在基础课的教学中必须实行分级教学，以适应不同层次学生的需要。文章介绍了山东商务职业学院在大学英语和高等数学等基础课分级教学方面的经验，以及一些急需改进的地方。     

递阶分布式控制系统中RCS模块间通信的实现

实时控制系统(RCS)设计工具是用来设计和实现递阶分布式控制系统的软件工具，它采用模块化的结构设计，把系统分解成一系列模块，通过各个模块间的相互协调来完成整个任务，模块间的通信是基于消息的传递来实现的。RCS设计工具采用通信管理系统(CMS)和中性消息语言(NML)来实现模块间的通信，其中CMS是递阶分布式控制系统中位于底层的通信系统，NML是与CMS的高层接口，CMS和NML均由一系列C^ 类来实现。