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

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

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

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

板式蒸发器仿真计算模型

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

电动汽车用双三相永磁同步电机建模及仿真

针对电动汽车安全舒适、低压大功率的要求,文中分析了相移30°双三相永磁同步电机结构及工作原理,阐述了自然坐标系与双d-q坐标变换、矢量空间解耦变换旋转坐标系下的数学模型,并在Matlab/Simulink环境中搭建了双d-q坐标变换仿真模型与矢量空间解耦变换仿真模型,且对两种模型的仿真结果进行了对比。仿真结果验证了理论分析的有效性,理论分析及仿真模型的建立对于高性能电动汽车的研究开发具有重要意义。     

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

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

基于可视化技术构建《计算方法》课程探究式教学环境

通过可视化技术建立计算方法课程的探究式教学环境,提供专业相关的实际问题创设任务情境,引进可计算文档格式(CDF)建设可交互的可视化探究学习环境,使用数学软件MATLAB实现典型算法的计算过程可视化和结果可视化.通过可视化和交互性的探究过程,学生自主构建了典型算法的相关知识,有效提高了学生利用计算机技术解决实际问题的计算思维能力和创新能力.     

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

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

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

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

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

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

基于Multi-Agent技术的三层信息融合系统研究

针对传统传感器网络管理复杂,系统信息融合智能化不高、精度低和模式单一、结构不清晰等不足,首先分析了Multi-Agent技术、传感器网络技术以及信息融合技术的独特优势,然后采用计算机网络分层结构思想和基于人工智能本体的知识表达理念,在信息融合过程中采用改进的SVM分类方法,构建了一种基于Multi-Agent技术的多传感器三层信息融合系统并对其具体融合过程进行了分析。最后对分类过程用MATLAB进行了分析。实验结果表明:系统分类精度较高,一定程度上不仅明显弥补了传统传感器的诸多不足,而且为后期决策提供了较为精准的目标参数。