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

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

北京市旅游产业发展战略研究

用灰色系统关联分析方法 ,测算了北京市旅游产业及三个主要旅游行业经济要素对收益的关联序 ,找出了各行业发展的关键因素和优势因素 ,进而以此为依据提出了旅游产业投资的方向和重点 .     

对农户生产职能与经营职能分工的超边际分析——对农业产业化的新兴古典范式分析

以报酬递增为前提，刻画农户生产职能与经营职能专业化的分工经济，运用超边际分析方法求解农户职能分工的一般均衡结构，认为农户职能专业化产生的分工经济是农业产业化发展的基本动力，降低交易费用是农业产业化兴起的基本经济条件。     

浅海地壳热流测量方法初探

根据１９８９－１９９１年，中国科学院海洋所与日本东京大学等单位合作在东海陆架地区进行了三个航次的海底热流调查资料，对浅海热流测量作业方法和资料处理技术进行探讨。     

水泥处理的沉积淤泥膨胀试验及其矿物机理分析

为研究经过水泥掺合处理的河道沉积淤泥作为路基填料的膨胀性能，对不同初始含水量（质量分数分别为90％，130％和170％）的淤泥经不同掺合比（按湿质量计分别为9％，11％和13％）的水泥处理后形成的多种不同的水泥土试样进行了为期一个月的初次膨胀试验及试样干燥三个月后重新浸水的二次膨胀试验。试验结果表明试样的初次膨胀值很不显著，但二次浸水膨胀试验表明试样的总膨胀量有增大的趋势。试样的X射线衍射分析从矿物形成方面解释了水泥土膨胀性能的内在机理。     

乳腺癌者T淋巴细胞亚群及SIL-2R水平动态研究

1资料与方法 1.1研究对象 乳腺癌病人62例,年龄在21-72岁之间,平均年龄44±13.2岁.其中Ⅰ-Ⅱ期病人22例,Ⅲ-Ⅳ期病人40例,均经手术及病理证实.另设40名健康妇女为对照组,平均年龄40±12.5岁.     

信号消噪的小波处理方法及其应用

通过对噪声特性的分析并用小波的方法对信号进行消噪处理，利用Matlab软件演示信号消噪的效果，并总结出小波分析对信号消噪的优点．     

注蒸气采油掺稀油生产工艺的进一步研究

胜利单家寺油田在蒸气吴吐生产后期采用泵下掺稀油生产稠油工艺已取得显著的社会效益和经济效益。本文对该工艺的现场试验与实施效果作了分析，并通过对现场生产数据的回归分析，绘制出确定掺油时机的实用图版。利用该图版可进一步改善生产效果。分析认为，蒸气驱采油井生产初期也 用泵下掺稀油的生产方式来维持正常生产，但应确定停止掺稀油的时机，并论述了其原则和方法。     

一种使用小波分析的彩色图像压缩法

提出了一种使用小波分析的图像压缩方法－小波变换门限编码方法，并将它应用于彩色图像编码，取得满意的效果，对“Ｍｉｓｓ Ａｍｅｒｉｃａｎ”标准头肩像压缩比达到２１，峰峰信噪比为３９ｄＢ。该方法计算简单，适于硬件实现。