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

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

时间词义赋值的个别差异的初步研究

运用模糊统计对１０个持续时间词进行了初步研究，然后选出其中２个，让不同个性特征的男女被试对其赋值。结果表明：在时间词的估计值和估值范围上，Ａ型行为类型者的赋值都小于Ｂ型行为类型者；低焦虑者的时间词的估值范围大于高焦虑者；在赋值特征上性别差异不显著．     

下山兰的驯化

下山兰是指从山林与杂草丛中采掘回来,进行家庭栽培的兰花。从野生到家养,由于场地、基质、光照、温度、湿度、养分等方面的差异,需要一个较长时间的驯化过程才能适应。所谓驯化,是在下山兰的栽培与养护过程中,采取一系列措施,使其逐渐适应新的生长环境。驯     

细菌芽孢染色方法的改进研究

本文对Schaeffer与Fulton染色方法进行了改进,提出了合理的染液浓度和合理的染色时间。     

测定氨氮时浓度及时间对反应的影响

采用纳氏试剂分光光度法，对不同浓度的氨氮标准溶液在各显色时间下的吸光值进行了分析，以了解实验随浓度、时间的变化情况，掌握达到最大显色所需的时间。从而指导实际的检测工作。     

有分离调整和移走时间的两机器流水作业最大延误问题

在工件的调整时间和移走时间独立于加工时间的两机器流水作业问题中，同一工件的“调整”步及“移走”步在两台机器上可重叠进行，但“加工”步不能重叠，本以最大延误为目标函数讨论问题的解中工件排列应满足的条件，根据这些条件我们构作了两个近似算法。     

张琪：诺丽果汁，第二桶金

“我相信两年内诺丽必将在国内刮起飓风,掀起一股诺丽风暴”,交谈中,这位江苏常州汉子用一种坚定的语气描绘着他眼中的诺丽蓝图。关于诺丽,张琪接触的时间并不算长,算起来,也不过仅一年多的时间。时间尽管不长,但张琪相对于诺丽来说,角色却发生了质的飞跃,曾经的产品体验者现已成为身体力行的健康传播者。他相信这种产品对人类健康有益,他要让更多的人来分享这种产品所带来的健康。2006年3月,他拿出400万在     

基于动态贝叶斯网络的动态故障树分析

针对传统的动态故障树Markov链分析方法的不足,研究了优先或门、顺序相关门、功能相关门、存在公共备件的备件门和层叠功能相关门向动态贝叶斯网络的转化方法以及基于动态贝叶斯网络的顶事件概率、重要度等计算方法.用该方法对心脏辅助装置进行了分析,通过与Markov链、离散时间贝叶斯网络分析的结果比较表明,基于动态贝叶斯网络的建模分析方法可以有效地避免组合爆炸,而且能够保证较高的求解精度.     

河南中西部地区蜜蜂春季促繁措施

从气候条件来讲，河南中西部地区整个越冬期—般无需特殊保温。开繁时间一般放在“小寒”与“大寒”之间，因第一蜜源植物油菜开花时间是在公历3月上旬（雨水与惊蛰之间），这时开繁能繁殖两期蜂，这样可有效保证达到采第一期油菜蜜的群势。     

“嫦娥一号”月球卫星预计在今年下半年发射

作为中国第一颗月球卫星,“嫦娥一号”的发射时间是全球华人和海内外媒体共同关注的热点。日前,国防科工委主任张云川介绍了“嫦娥一号”月球卫星的相关情况。这也是该领域权威专家首次向媒体公布“嫦娥一号”发射时间和具体情况。