不可否认协议形式化分析的Petri网方法

Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用,但目前还没有人使用Petri网来分析不可否认协议.本文以一般安全协议的Petri网分析方法为基础,提出了使用Petri网分析不可否认协议的建模及分析方法,该方法可以描述并分析一些其它形式化方法无法描述的协议性质.使用该方法分析J. Zhou和D. Gollmann的公平不可否认协议发现了它议的一个许多其它形式化方法不能发现的已知缺陷.     

包含区间边界上的奇异值

引入“双向ＳＣ性质”的概念;对于具有双向ＳＣ性质的矩阵Ａ,论证了以下事实：若Ａ的奇异值σ位于Ｇｅｒｓｃｈｇｏｒｉｎ型包含区间的边界上,则σ必位于每一个Ｇｅｒｓｃｈｇｏｒｉｎ型区间的端点上．     

奇异值估计的Brauer型定理

设Ａ＝（ａｉｊ）为ｎ阶复矩阵．记ｓｉ＝ｍａｘ∑ｊ≠ｉ｜ａｉｊ｜,∑ｊ≠ｉ｜ａｊｉ｜｛｝,ａｉ＝｜ａｉ｜（ｉ＝１,２,…,ｎ）．证明了Ａ的奇异值均属于Ｂｒａｕｅｒ型并集∪ｉ≠ｊｚ≥０：｜ｚ－ａｉ｜｜ｚ－ａｊ｜≤ｓｉｓｊ｛｝,并给出了该并集的显式表达及数值例子．     

维持血透患者庚型肝炎病毒感染的临床研究

研究血液净化中心维持血液透析患者庚型肝炎病毒（ＨＧＶ） 感染率、影响因素和临床特点．应用反转录聚合酶链反应法（ＲＴＰＣＲ） ,检测了１４９ 例维持血透患者ＨＧＶ 感染情况．维持血透患者ＨＧＶＲＮＡ 阳性率为４ ．７ ％ ,与ＨＧＶＲＮＡ阴性患者相比,两组在人口统计学资料、维持透析时间、输血量、合并ＨＢＶ 和ＨＣＶ 感染率及肝脏酶谱等方面无统计学差异．维持血透患者ＨＧＶ 感染率高于普通人群,但无明显肝损害表现     

高岭石在溶出过程中相变行为的研究

本试验专门从铝土矿中采集并分离,制得了富含高岭石的矿块,用该矿块定量地研究了温度、时间和石灰添加量等因素对高岭石溶解性能以及对拜耳赤泥相成分、相变化的影响,并且计算出了赤泥的相组成。     

Ce－TZP陶瓷的摩擦磨损特性

本文利用拴盘式摩擦试验机、扫描电镜ＥＤＸ等技术，研究了Ｃｅ－ＴＺＰ陶瓷及含有少量Ａｌ２Ｏ３的Ｃｅ－ＴＺＰ陶瓷与Ｙ－ＴＺＰ对偶小球的对磨情况。实验表明，对陶瓷材料而言，材料的韧性对耐磨性有重要的影响。韧性高，耐磨性好，控制其摩擦磨损的机理是摩擦表面显著的塑性变形及塑性变形片的脱落，表现为沿晶和穿晶断裂。     

库仑滴定终点判定的研究

本文介绍了库仑滴定终点判定的原理,分析了在COD测量中测量电极的输出电压的变化规律,提出了用硬件电路和软件处理判终的方法,给出了三种硬件判终和两种软件判终方案.文中对这些方案的特性进行了分析,特别是对第三种判终方案——滞后判终进行了深入的讨论.     

工业控制机的设计分析

本文讨论了实时控制的计算机最小系统、分析系统功能选择的依据．     

与(2~r,(2~r-1)!)-拉丁阵有关的矩阵的分类

利用（２ｒ，（２ｒ－１）！）－拉丁阵（ｒ≤３）中任一列排列与行号序列可以确定一个ｒ×２ｒ矩阵Ａ，对Ａ划分等价类并对等价类进行计数