一个基于活体指纹的用户身份认证协议及其形式化分析

基于认证协议要求,提出了一个基于活体指纹的用户身份认证协议,并运用BAN逻辑对该协议进行了形式化分析.除形式化分析外,还从安全性和执行效率方面对该协议进行了定性分析,分析表明该协议能够使网络上的双方完成双向认证,有效地抵抗重放攻击,保证认证信息的机密性.并且具有良好的执行效率.     

利用公共实验平台开设《生物分离工程》选修课的实验教学研究

利用医学院校的公共实验平台,在本科教学中开设《生物分离工程》选修课,使得学生能够更多地了解和掌握生物分离工程技术及相关仪器的使用操作,使教学与科研更紧密地联系起来。     

基于实验和实习的生物类创新人才培养模式的探索与实践

论述了实验和实习在生物类创新人才培养中的重要作用,从培养方案、教学大纲、开放实验室建设、教师队伍建设和创新培养激励机制等方面论述了适合生物类创新人才培养的模式.     

浅析新型活塞式标准体积管

新型活塞式标准体积管采用机电一体化系统,具有精度高、体积小可靠性高的特点。     

用于虚拟化环境的进程隔离方法研究与实现

针对虚拟化环境中用户进程运行安全问题,提出一种适用于虚拟化环境的进程隔离方法.该方法引入安全域作为进程隔离保护的基本单元,安全域是进程以及进程运行过程中依赖的环境构成的整体,通过建立安全域之间的依赖关系和安全域之间信息的交换规则,确保进程初始安全和运行过程中的隔离性.给出了安全域的相关概念和形式化描述,以及安全域之间信息流交换和依赖关系的建立方法和相关证明.以Xen虚拟化系统为基础,给出了该保护方法的具体实现以及实验结果,实验结果分析表明:该方法在虚拟化环境中能够抵御多种攻击手段,额外执行开销不超过10%.     

基于学生自治模式下体育社团建设浅析

大学生的自治管理是指学生在学校、学院教学目标指导下根据教育目的和培养目标的要求，运用现代科学教育的管理方法，对自己的思想和行为进行自我调节、自我约束和自我控制的过程，是学生提高自我认识和自觉行为习惯、品质养成和自我奋发精神培养的过程。学校培养志向高远、基础扎实、体魄强健、心境恬美，具有创新精神和国际视野的复合型、应用型人才。而体育之于“志向高远、体魄强健、心境恬美”至关重要；学生自治模式开展学生课余运动是学生工作的一项重要内容。     

保积Hom-δ-李超三系的拟导子和型心

首先给出Hom-δ-李超三系T的概念, 证明T的广义导子之集、 拟导子之集、 导子之集Der(T)、 中心导子之集ZDer(T)、 拟型心QC(T)和型心C(T)均为李超代数. 其次, 证明中心导子代数和型心代数都是Der(T)的理想, 且ZDer(T)=C(T)∩Der(T). 若T的中心为零, 则［C(T),QC(T)]={0}.     

论电气工程项目管理模式的创新

在市场竞争日益激烈的大背景下,如何采用与时俱进的思想,不断创新工程项目的管理模式,提升综合管理水平,成为了众多电力企业管理者亟待解决的问题。基于上述原因,该文采用归纳总结的策略,对传统电力工程项目的管理模式及其弊端进行了总结,在此基础上,对一些创新性的电力工程项目管理模式及进行了应用分析,以期为我国电力工程企业管理效益的提升给出些许参考。     

钻孔灌注桩施工过程监理的控制

以西安绿地中心A座桩基工程实体为例,通过对钻孔灌注桩的事前监理、事中监理的工作细节和重点进行了阐述,并对监理工作的成效进行了总结,以供类似工程施工质量监理参考。