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

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

一般Schr(o¨)der方程亚纯函数解的级

对一般Schr(o¨)der方程亚纯函数解的级在放宽方程系数的限制之下给出一个估计,改进了Gundersen等人关于此方程亚纯解级的相应估计结果.     

C_(60)(CH_3)-结构和反应特性的量子化学研究

用INDO系列方法对C_(60)(CH_3)~-进行理论研究,得到具有C_s对称性的分子。结果表明,与CH_3直接相连的C_(15)具有四面体性质,将离开球面向外突起,使C_(60)丧失球面芳香性。本文对C_(60)(CH_3)~-的电子光谱及NMR谱进行理论预测,并讨论其作为中间体与另一个CH_3反应时的最活性部位。     

52例带器宫外孕临床分析

本文对1985年至1993年12月我院收治的156例宫外孕病例中52例带器宫外孕者进行回顾性分析,结果表明,带器时间越长,发生宫外孕危险性越大,由于带器致阴道不规则流血及缺少停经史,使临床症状不典型,易误诊提示临床医生引起重视。     

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

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

微乳液介质中5''-硝基水杨基荧光酮光度法测定微量锰

研究了在混合微乳液介质中 ,Mn(Ⅱ) - 5’ -硝基水杨基荧光酮 (5’ -NSF)的显色反应 ,在pH =9.5～ 10 .5的硼砂缓冲体系中 ,Mn(Ⅱ)与 5’ -NSF形成 1∶2的紫红色配合物 ,ε548=1.4 4× 10 5L·mol- 1 ·mL- 1 ,锰质量浓度在 0～ 0 .2 8mg·L- 1 范围内服从比尔定律。该方法用于岩石矿物及水中微量锰的测定 ,结果满意     

由没食子酸制备连苯三酚的工艺研究

本文介绍了一种制备连苯三酚的新方法:在碱性及常压条件下,以没食子酸为原料,在碳酸二甲酯(DMC)存在下,K2CO3催化加热脱羧。经质谱分析产品选择性为100%。此合成方案具有操作简单、反应条件缓和、生产成本低、对环境低污染等优点。     

下山兰的驯化

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

包含式完全正则(T*3(1/2))是相对可乘的

本文讨论包含式完全正则空间（T31/2^＊）关于相对积拓扑的可乘性问题．     

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

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