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

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

青少年皮艇运动员技术教学法的研究

本根据皮艇运动和青少年运动员自身特点，讨论青少年皮艇运动员训练初期的教学过程，参考有关资料，结合教学实践，探讨皮艇训练初期的技术教学法，以为该项目的技术训练提供参考。     

PowerPoint口译的应对策略

作为一种补充性的视觉输入，PowerPoint能够辅助译员的口译工作；然而，多任务的Power-Point口译又可能对译员的临场应变产生干扰。鉴于目前口译研究和教学很少涉及PowerPoint口译，文章结合案例，针对PowerPoint在口译中的干扰和辅助作用，对译员事前准备及现场应变策略作一定的补充。     

"知识工程"与少数民族地区新农村建设

论述了在少数民族地区新农村建设中开展“知识工程”的意义,介绍了“知识工程”的形式,并提出了几点建议。     

与年龄相关的非线性时变种群系统的L2(Q)-解

本文讨论与年龄相关的非线性时变种群系统（P）的l^2（Q）－解，为进一步研究种群系统的最优控制问题提供了必要的理论基础．     

2006年秋末一次连续性降雪天气过程诊断分析

对连续性降雪过程进行了综合分析,提出了该类降雪过程的预报着眼点。     

浅谈大学生择业与职业生涯规划

阐述了职业生活和大学生职业生涯规划的重要性,论述了择业方式对大学生择业的影响,分析了大学生择业价值取向的特点。     

试论数字时代图书馆资产评估

文章论述了图书馆资产评估在数字时代应考虑和注意的问题,提出要建立新的资产评估指标以导引图书馆现代化发展。     

贵州省中草药病虫害的现状与防治对策

经过对贵州省中草药病虫害发生与危害调查，26种栽培面积较大的品种共发现害虫47种，病原菌52种，结果表明：白术病毒病、长管蚜，太子参叶斑病，吴茱萸褐天牛，天麻细胸金针虫为近年主要流行病虫害，而农药残留、重金属、亚硝酸盐等有害物质含量的偏高，也严重影响中草药品质，因此防治上在建立完善的植物检疫制度、病虫草害预测预报的同时，加强田间管理，提倡生物防治、物理机械防治、化学防治等有效方法的结合。     

体育多媒体课件制作与应用教学设计与思考

体育多媒体课件制作与应用被列入体育教育专业的一门选修课程.对这门新兴学科教学大纲的设计要根据课件制作的要求和原则,合理构建教学结构和内容,统一安排教学时数,建立规范的考核方式.文章对此提出了一些建设性思考.