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

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

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

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

板式蒸发器仿真计算模型

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

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

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

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

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

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

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

以太网与现场总线系统集成研究

文章以基于CC -Link现场总线的并条生产系统为应用实例,介绍了现场总线与企业局域网即以太网的一种互连方法,以实现企业为内部信息控制网络的横向与纵向的全方位集成     

毛管力对油藏水驱特征影响分析

注水开发是油田最主要的开发方式之一。注入水波及面积是影响油藏采收率的重要因素。油藏内注入水流动方向及波及面积与其所受合力的方向及大小有关。尤其对于低渗透油藏,毛管力对油藏内油水渗流规律的影响不容忽视。基于渗流力学理论,利用数值模拟和矢量叠加方法,计算了正韵律正方形储层模型中各网格内流体所受注入水压力、重力和毛管力等作用力合力的大小和方向,实现了储层内任意网格油水渗流作用力的定量表征。数值模拟结果表明,对于亲水正韵律油藏,储层上部渗透率变低使毛管力增大,当毛管力增大到一定程度时,注入水会从下部的高渗透层段向上部的低渗透层段渗流,导致上部低渗层段的水驱效果好于下部储层,在油藏开发后期剩余油主要分布在下部的高渗透层段内。如果油藏渗透率较大,油藏内无毛管力影响时,开发后期剩余油主要分布在上部的低渗透层段内,对下部高渗透层段实施封堵措施,有利于提高油藏采收率。     

基于GPRS的输油管线自动监测系统

针对输油管线分布域广，其监测困难的实际情况，提出了输油管线自动监测系统的构架以及相应模块。该系统采用无线通信技术作为泄漏定位手段；采用GPRS,RS232和工业以太网作为通信总线；采用OPC中间服务器作为监测单元和工作站间的通信接口；用Web服务器系统将信息及时发布到Internet上。该系统具有高效、快捷、实时性好的特点。     

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

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