宫内节育器并发妊娠的超声显像诊断

放置宫内节育器(IUD)是一种安全、有效、简便、持久和相对稳定的避孕方法,但在实际使用中仍有一定数量的妇女避孕失败而妊娠。本文报告66例经手术证实的IUD并发妊娠,超声诊断符合率为97.0％(64/66),并对IUD避孕失败原因作了探讨。     

一种认证安全性的分析与设计逻辑

针对BAN逻辑的局限性,在BSW逻辑的基础上,提出了一种针对认证安全性的分析与设计逻辑.同时,以Needham-Schroeder公钥协议及X.509三消息协议的分析与再设计为例,证明了该逻辑的正确性和有效性.     

3G移动通讯AKA协议及其形式化验证

简略回顾了移动通讯的发展过程以及相应的安全机制，介绍了第三代移动通讯系统中所采用的认证与密钥协商协议，并利用AUTLOG信仰逻辑给出了形式化验证过程，在假定HE和SN之间的系统连接安全的前提下，该协议能够成功地达到预期目标。     

Nicsys-1000控制系统实现核电站安全壳泄漏率在线监测系统

安全壳泄漏率在线监测系统对核电站机组运行期间的安全壳泄漏率进行在线监测,监视安全壳密封性的变化,在泄漏率达到运行限值时及时通知操纵员采取必要的行动。Nicsys-1000DCS控制系统是北京中核东方控制系统工程有限公司具有自主知识产权的DCS控制系统。在核电秦山联营有限公司扩建项目中,成功应用Nicsys-1000控制系统,实现安全壳泄漏率在线监测。     

基于SIFT的图像复制遮盖篡改检测技术

针对现有的图像复制遮盖篡改检测算法需要某些先验信息、对后处理操作失效且计算量大等问题,借鉴图像匹配技术中的SIFT(scale invariant feature transform)特征匹配算法,首次提出将其用于检测复制遮盖的篡改操作.该方案首先计算出待鉴定图像的所有特征向量,然后进行特征向量集的划分与匹配.待鉴定图像的匹配点对用点与点之间连线标记.如果图像被复制篡改过,所标记的线段将明显集中于某两个区域之间.实验表明,SIFT应用于复制遮盖及各种后处理篡改操作,如旋转、缩放、亮度调整等,都有很好的检测和定位效果.     

一种改进的双重认证访问控制方案

提出了一种改进的双重认证访问控制方法,将认证和访问控制在一个请求模块中完成,且用户的私钥对系统保密。用户认证信息不仅用认证需访问系统的请求用户的合法性,而且用来计算对所需访问文件的存取权,从而提高了系统抵抗假冒攻击和主动攻击的能力。     

基于网络控制的可编程控制器软件冗余系统设计

简述了可靠性技术、冗余技术,通过对几种冗余系统的可靠性比较扣对备用系统可靠性的分析提出了一种基于网络控制的可编程控制器冗余系统的设计方案。并根据该设计思想,设计并实现了一个基于ControlNet控制的ControlLogix控制器冗余系统。