一种基于多尺度表示的二值图像细化算法

在给出二值图像多尺度表示方法的基础之上，提出一种基于多尺度表示的细化算法。与目前已有的算法相比较，它的计算量小、抗噪性能好、便于硬件实现。实验结果表明，该算法很好地克服了传统细化算法的不足，为处理受强噪声污染的二值图像提供了一个新的思路。     

基于PKI的企业证书管理系统

概述 PKI公钥基础设施是一个为综合数字信息系统提供广泛需要的公开密钥加密和数字签名服务的基础设施,它的目标是管理密钥和证书。一个机构通过采用PKI框架管理密钥和证书可以建立一个安全的网络环境,使用户可以在多种应用环境下方便地使用加密和数字签名技术,从而保证网上数据的机密性、完整性、有效性。一个典型、完整、有效的PKI应用系统至     

手持式导电薄膜方块电阻测试仪的设计原理和方法

介绍用于导电薄膜方块电阻（面电阻）(Ω/□)测试的手持式仪器.着重阐述仪器的设计思想、应用原理、关键电路和探头的设计.该测试仪是导电薄膜（如ITO膜）生产厂家和器件（液晶显示器等）制造厂家的理想仪器.     

一种安全协议的组合分析模型研究

 在当前安全协议形式化分析的研究中,亟待解决的关键问题是如何形式化描述更多的安全属性,如何将这些属性在统一的框架下进行形式化分析和验证.本文提出了一种统一的安全属性形式化描述方法,在此基础上,利用知识推理来弥补进程演算缺乏数据结构的固有缺陷,从而提出了一种安全协议形式化分析的一般组合模型.通过实例分析验证了模型的有效性,并指出了该模型的研究方向.     

统一的安全属性形式化描述方法的研究

安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性.为解决这个问题,本文提出了一种统一的形式化描述方法,即通过属性动作之间的匹配关系来表达协议的安全属性.用这种方法详细分析了认证属性、保密属性以及公平性属性的形式化表达.通过比较分析,该方法与其他方法相比,具有准确、简洁和扩展性强的特点,在总体上优于其他方法.     

半导体硅材料薄层方块电阻测定的标准方法在导电薄膜测试中的应用

本文介绍了半导体硅材料薄层方块电阻的测试方法,及该方法在导电薄膜材料测试中的应用原则,同时提出了相应的测试条件。     

认证协议的有向图模型及其安全性分析

认证协议的形式化描述及其安全性分析是安全协议形式化分析的关键问题之一.为了解决以往分析方法中协议规范形式化描述存在的问题,提出了一种协议规范有向图描述方法,并在此基础上提出了协议消息构造的逆向搜索算法.用该算法分析Woo-Lam认证协议,找到了该协议一种新的攻击方法及其攻击路径.     

基于时序关系的消息推理及安全协议符号迹分析

如何准确地描述敌意环境中的协议运行模型和在统一的框架下分析多种安全属性是安全协议形式化分析中的两个关键问题。提出了基于时序关系的消息推理,把实体的知识与协议的符号迹分析结合起来,构建了协议运行的一般模型。在此模型下,消息间的相互关系被用来统一多种安全属性的形式化表达,定义了相应的属性满足关系,提出了分析安全协议的一般框架。最后给出了一个实例分析,并指出该框架以后的研究方向。     

方块电阻测试仪的智能化方案

提出对便携式方块电阻测试仪的内部功能进行智能化的必要性和实验方案,包括:电源的动态监测;探针通路的检测;防止探针击穿样品;智能A/D转换;自动量程转换;数字通讯等.由硬件和软件配合达到智能化的目的.     

导电薄膜电阻测量技术的可靠性研究

针对手提式薄膜方块电阻测试仪在使用中容易出现的问题,进行分析研究,提出了解决方案,并在实验中得到实现.研究的问题包括:电池供电的电压监测;探头完全与被测样品接触良好的检测;防止探针对被测样品造成电击穿;测量时自动进行量程转换等.