基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

数字图书馆FAQ服务的探讨

探讨了在数字图书馆中逐渐普及FAQ服务的意义 .通过对国内部分图书馆主页的访问调查 ,剖析了目前国内的数字图书馆FAQ服务存在的问题 ,如缺乏对用户的深入研究 ,缺乏对问题的分析选择 ,还有设计上存在的问题等 .主张要在充分研究用户的心理和行为的基础上开发和开展FAQ服务 ,并对FAQ的开发步骤做了简要的介绍     

物理教学中学生运用数学知识解决问题能力的培养

数学是解决物理学问题的工具,本文结合自己的教学实际,阐述了在教学过程中如何培养学生运用数学知识解决物理问题的能力。     

水泥处理的沉积淤泥膨胀试验及其矿物机理分析

为研究经过水泥掺合处理的河道沉积淤泥作为路基填料的膨胀性能，对不同初始含水量（质量分数分别为90％，130％和170％）的淤泥经不同掺合比（按湿质量计分别为9％，11％和13％）的水泥处理后形成的多种不同的水泥土试样进行了为期一个月的初次膨胀试验及试样干燥三个月后重新浸水的二次膨胀试验。试验结果表明试样的初次膨胀值很不显著，但二次浸水膨胀试验表明试样的总膨胀量有增大的趋势。试样的X射线衍射分析从矿物形成方面解释了水泥土膨胀性能的内在机理。     

全面建小康--宏伟的系统工程蓝图

全面建设小康社会，关键在全面二字。建设要全面规划；社会要全面小康。按系统科学原理，一项系统工程的精髓首先也就在于全面，在于综合。利周鸟瞰全局、循序渐进、动态优化、信息开拓、价值品评和环境适应等系统工程的时空现和价值观来考虑这一划时代的战略部署，足以让我们从更高境界、更广视野去揭示全面小康社会的科学内涵以及去探查为在较短的历史时期内达到这一宏伟目标应有的兼权熟计，避短扬长。     

二维细胞自动机伪随机序列发生方法研究

首先介绍了细胞自动机的基本概念。根据具有输入的细胞自动机的转移特征方程推导出了具有梯形结构的二维垂直邻居受限细胞自动机周期等统计特性。根据这些特性提出了一种二维细胞自动机伪随机序列发生方法。计算机模拟表明 ,具有梯形结构的二维垂直邻居受限细胞自动机伪随机序列发生器实现简单 ,产生的序列具有速度高、周期长和统计特性好等优点。     

地方性高校教材建设初探

提出了地方性高校教材建设应包含的基本内容,认为:地方性高校教材建设应侧重于详细的教学大纲的编写和参考书目的编订;硬性规定学生入手一册同样的统编教材的做法是有害的,对于基础课程,教师应给学生指定几套参考书,专业课程要给学生予丰富的文献资料;适当引用国外优秀教材、改革教材管理机构是必要的.     

AC=BD在微分方程中的应用

利用AC＝BD的思想，将变系数广义KdV方程约化成常微分方程，求出了KdV方程的Lax对。     

指示剂测定在丙烯酸与三元异丙胶接枝率的应用

对非水滴定法测定丙酸接枝三元异丙胶（EPDM）的接枝率的指标剂进行了选择试验。结果表明，测定一定的接枝物应选用一定的指示剂，利用本文给出的方法测定丙烯酸与三元异丙胶（EPDM）的接枝率，方法简便、可靠，结果准确。     

自血光量子治疗急性脑梗死112例临床观察

目的　探讨自血光量子照射疗法在治疗急性脑梗死时的应用价值.方法　对112例急性脑梗死患者分组进行单纯药物治疗,及药物治疗合并自血光量子照射治疗,对2组患者进行实验室指标评定.结果　药物治疗合并自血光量子照射治疗的患者神经功能缺损程度治疗前后差异非常显著(P<0.01).治疗前与治疗后实验室指标变化有显著差异.结论　自血光量子治疗可使急性缺血性脑血管病神经缺损恢复速度加快,可作为治疗急性缺血性脑血管病的辅助手段.