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

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

农村离婚妇女土地权利流失及其保护

我国农村离婚妇女土地权利受到侵害的原因与我国农村妇女土地权利问题一样复杂多样,但从根本上说,主要是由我国土地资源的稀缺性和拥挤性、"父权社会"结构和男权主义文化以及法律与政策的漏洞所决定的.只有从父权结构、根本法律和专门法律配套、社会特别是村社传统、风俗习惯等多方面进行循序渐进的变革或改造,才能真正保护我国农村离婚妇女这一社会弱势群体的土地权利.     

板式蒸发器仿真计算模型

对板式蒸发器建立仿真计算模型。并利用模型，精确计算了板式蒸发器里流体沿流道方向温度、压力的分布以及冷热流体的速度分布和板壁温度分布。根据模型的计算结果，分析换热器运行性能，阐述仿真结果的理论依据，说明了板式换热器的换热和流体流动情况，为板式换热器的优化设计和系统仿真提供了基础。     

麻黄生物碱类化合物电喷雾电离质谱

采用电喷雾离子阱质谱(ESI-MS)法,研究了麻黄生物碱类化合物的质谱行为及分子结构与裂解规律间的关系．样品通过直接进样,进行一级质谱正负离子全扫描(扫描范围m／z：50～800)和选择性离子二级质谱分析(扫描范围m／z：50～200)．流动相：甲醇一水(50：50V/V),流速：0．2mL／min,离子源喷雾电压：4．5kV;毛细管温度：200℃,鞘气流速：40个单位．结果显示,该类化合物在电喷雾电离一级质谱中易得到质子产生正离子,并有部分自发丢失小分子H20的碎片产生．应用碰撞诱导解离(CID)技术得到的二级质谱显示,麻黄生物碱侧链氮原子比较活跃,质谱碰撞容易失去连接在N原子上的取代基团,特征性丢失为CH2、CH4、NH4、NH2等中性碎片．一级、二级质谱图适宜作为麻黄生物碱提取物特征图谱,实验结果可应用于麻黄生物碱类化合物的结构分析研究,并为麻黄药材有效成分的鉴定提供了一种快速、准确的检测方法．     

基于因子分析的烤烟主要化学成分特性

为准确评价烟叶质量,对3个等级317个烟叶样品进行常规化学成分分析,利用因子分析法对烟叶样品的化学成分及其比值进行综合评价。结果表明,烟叶主要化学成分总体比较协调,其总糖、还原糖含量偏高,不同等级烟叶化学成分差异明显。主要表现为含氮化合物与含碳化合物呈显著负相关,总氮与总植物碱呈显著正相关;对主要化学成分及其比值进行因子提取得到3个主因子,代表其方差贡献率的83%以上,分别为含碳因子、燃烧因子及含氮因子。     

人际助益品性发展的可行性及培养途径探析

人际助益品性是指在人际互动过程中发展起来的一种人与人之间的促进成长的关系。从人际助益品性发展的理论渊源、人际助益品性培养途径及其可行性等角度进行理论阐述,力争激发个体发展亲密的人际关系,促进个体的人格健全发展,进一步促进社会的和谐稳定。     

基于饱和脉冲控制的不确定系统的鲁棒镇定

首先,设计状态反馈控制律,采用脉冲控制及不连续的Lyapunov函数方法,分析了具有范数有界的不确定饱和脉冲系统在脉冲影响下的指数稳定性.结合饱和函数的凸组合表示,给出零解鲁棒指数稳定的充分条件以及零解吸引域的估计,该零解指数稳定的充分条件依赖于脉冲区间的上下界,降低了结果的保守性.然后,基于线性矩阵不等式,将状态反馈镇定的设计问题转化为凸优化问题.最后,通过数值例子验证了有效性.     

用阳离子置换法制备汞系高温超导薄膜

介绍了最近发明的一种制备汞系高温超导薄膜的新方法—阳离子置换法．采用Ｔ１ 系外延超导薄膜作为先驱薄膜,将Ｔ１ 系超导薄膜在Ｈｇ 气氛下进行热处理,用Ｈｇ 置换先驱薄膜中的Ｔ１,进而生成Ｈｇ 系外延超导薄膜．用此方法,成功地在ＬａＡｌＯ３ （００１）衬底上制做出了高质量的ＨｇＢａ２ＣａＣｕ２Ｏｘ 超导薄膜．Ｘ－光衍射θ－２θ扫描和极图测试表明,薄膜具有很纯的超导相和很好的外延结构．超导临界温度可达１２２Ｋ．在７７Ｋ温度下,临界电流密度达到３．４×１０６ Ａ／ｃｍ ２,在１１０Ｋ 温度下,临界电流密度仍可保持在０．７×１０６Ａ／ｃｍ ２ ．     

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

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

异源四倍体鱼早期胚胎发育观察

描述了异源四倍体鱼早期胚胎发育过程 .异源四倍体鱼的卵为粘性卵 ,卵子直径平均为 (1.7± 0 .1)mm .在 (2 1± 0 .5 )℃的水温下 ,受精后 80min第一次卵裂 ,约 80 .5h后 ,受精卵全部脱膜