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

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

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

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

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

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

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

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

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

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

我国检察民事公诉:问题与前瞻

检察民事公诉是指针对部分涉及国家利益和社会公共利益等方面的民事案件而由检察机关代表国家提起的诉讼。该制度已被世界许多国家民事诉讼制度所吸纳。在我国，由于危害公共利益的社会公害层出不穷，同时亦基于检察机关自身的性质，建立检察机关民事公诉制度已势在必行。我国现行立法在检察民事公诉方面存在严重局限，因此，探讨检察机关在民事公诉中的法律地位及其参与民事公诉的方式和范围将有着重大的现实意义。     

从Banzhaf指数看国有股减持

文章分析了我国股权结构现状、Banzhaf指数和股权结构间的关系.从Banzhaf指数角度出发,举例说明了几种常用的减持方式的异同.     

苯并咪唑类化合物作为碳钢缓蚀剂的研究

通过失质量法、极化曲线法研究了20^#碳钢在含有苯并咪唑类化合物的HCL溶液中的腐蚀行为。结果发现在室温和50℃的条件下，5种苯并咪唑化合物的缓蚀效果都很明显。其中2-对氯苄基苯并咪唑的缓蚀性能最好。     

平面连杆机构动力平衡的研究进展

随着机构动力学研究的日渐深入,对机构动力平衡问题的研究也有了较深入的发展。从动平衡的方法、优化目标等几个方面总结了平面连杆机构动平衡问题的发展现状,并在此基础上提出了今后的发展方向。     

滇池水-沉积物界面氮分布特点及其对控制蓝藻水华的意义

 造成水体富营养化的污染源可以分为外源和内源,当湖泊的外源得到控制以后,内源营养盐的释放仍然可以发生富营养化,甚至爆发藻类水华.研究营养物质在水-沉积物界面的地球化学行为,对于控制水体富营养化和水华爆发具有重要意义.以滇池为研究对象,测定了间隙水和上覆水中总氮(TN)、氨态氮(NH₄⁺-N)、硝态氮(NO₃^--N)和有机氮(ON)的质量浓度.结果表明:①无论在草海还是外海,间隙水中TN,NH₄⁺-N及ON质量浓度均高于上覆水,说明底泥中的氮元素有向水体中扩散的趋势;②草海上覆水及间隙水中TN,NH₄⁺-N和NO₃^--N质量浓度均高于外海,其受污染的程度比外海高.研究揭示了滇池底泥中氮分布区域和垂直变化特征,阐明了内源氮负荷在湖泊富营养化中所起的作用.