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

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

数字图书馆FAQ服务的探讨

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

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

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

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

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

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

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

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

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

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

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

纳米SiO2作为蓄电池添加剂的研究

研究了纳米SiO2添加到铅酸蓄电池的极板和电解液中，对电池的起动性能和循环性能的影响。     

Petri网络在无控制交叉口延误分析中的应用

选用比较适合描述系统组织结构和动态行为的Petri网络模型对主路优先通行的无信号交叉口运行过程建立HSPN模型．在此基础上，结合间隙接受理论，对无控制交叉口进行平均延误分析探索，为交叉口仿真控制软件的研发奠定了算法基础。     

知识论域、知识拓扑与集合邻域

定义了知识论域和知识拓扑，组建了4种拓扑空间，分析了它们的联系．从拓扑算子与近似算子的复合、近似邻域、拓扑不变性质3个方面研究了各个拓扑空间的性质，提出了集合邻域的概念，研究了它与点邻域的深刻联系和对一般拓扑空间的作用，并以它为手段研究了新组建的拓扑空间．