片上集成光电微能源工艺兼容性及器件特性研究

根据暂存式光电微能源系统组成器件的制备工艺特点,提出了基于SOI晶片的光电微能源片上集成方案。主要工艺包括绝缘沟槽刻蚀、离子注入、氧化等,具有较好的制备工艺兼容性。另外,根据片上集成方案,对器件特性进行了研究。结果表明,光伏电池的转换效率为9.7%,NMOS管阈值电压、漏极反向击穿电压VT分别为0.98 V和31.97 V,NPN三极管的电流放大倍数、集电极-发射极之间击穿电压约为83 V和12 V。各器件特性满足系统工作要求,集成方案具有较好的可行性。     

基于MATLab的传感器精度校准方法

传感器为高精度仪器,由于设计原因或外界因素的干扰,会对传感器测量精度产生影响,介绍一种基于MATLab精度校准算法,以对温度敏感且本身设计存在缺陷的压力传感器为例,通过对该传感器温度t与压力p的电压数据进行实验标定、回归校准、融合计算,实现在温度因素影响下压力数据的精度校准.实验表明,该方法可明显提高测量精度.     

一种改进的各向异性扩散深度图像增强算法

深度图像受其测距原理所限,存在边缘不匹配、无效像素、噪声等问题,提出一种基于改进的各向异性扩散算法的深度图像增强方法。首先,校正深度图像和彩色图像的位置关系,并根据时间连续性选择多帧图像,进行多帧均值滤波预处理;其次,通过在彩色图像中引入权重的思想,构建具有4-邻域形式的深度图像模型,利用彩色图像引导的深度图像进行各向异性扩散,填补孔洞;最后,使用改进的自适应中值滤波平滑图像噪声。实验结果表明,该方法能够有效修复原始深度图像中存在的由无效像素组成的黑色孔洞,在抑制噪声的同时,仍能保持深度图像中物体边缘的细节信息。     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。     

运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

网络安全监测数据分析——2016年2月

首先分析了2016年2月的网络安全基本态势,其次通过数据总结了重要联网信息系统安全,最后统计了恶意代码活动监测数据、网站安全监测数据、漏洞数据和事件接收情况,对公共网络安全进行了全面分析。     

矿井物流管理和人员定位系统数据库设计

针对矿井物流管理系统与矿井人员定位系统独立运行导致的成本高、维护困难等问题,提出将2个系统进行相互融合、统一管理的方式,并采用射频识别技术和Microsoft SQL Server 2008数据库软件,设计了一种矿井物流管理和人员定位系统,着重介绍了需求分析及逻辑结构设计阶段的系统数据库设计方案,并给出了主要运输流程数据库表的映射关系。该数据库逻辑结构简单、清晰,具有良好的存储结构、数据共享性和一致性。实际应用表明,该数据库具有较高的实用性和可靠性。     

应用虚拟仪器技术的超高频 RFID 读写器设计*

射频识别技术在资产管理领域中逐渐受到青睐,针对现有识别技术开发周期长、测试速度慢的弊端,论文提出采用虚拟仪器和数字信号处理技术,结合自定义超高频协议,研究了一种新的读写器系统。该系统用软件代替硬件实现超高频射频识别,能对超高频RFID标签自动测试,能够实现电子标签从物理层到应用层的一致性测试,能对多种宏观参数测量和分析。实验结果表明,该系统在单标签及多标签的情况下能克服单一标准的限制,很好地模拟读写器调制、解调、编码、解码、循环冗余校验、逻辑控制等基本功能,具有成本低、集成度高和扩展性好等优势。     

工程机械产品形态的语义解析

以国内工程机械行业设计水平发展为背景,以产品形态和语义研究为基础,从功能语义、象征语义、设计语义、用户语境、市场语境等方面,详细分析了工程机械产品形态,阐述了工程机械产品形态设计的设计发展趋势。在此基础上,为增强工程机械产品的形态语义表达,满足现代工程机械产品形态设计需要,准确传递产品信息提供了设计参考。     

非盲图像复原综述

作为目前图像处理领域的研究重点,图像复原可移除图像中的模糊与噪声,具有重要的理论价值和广阔的应用前景。为使图像复原的研究被人们所了解,该文首先对图像复原做了简单的描述,接着介绍了近年来出现的一些非盲图像复原算法,包括基于总变分模型的算法、基于Bregman迭代的算法和基于稀疏表示的算法等,最后基于对现有算法的了解与分析,总结了图像复原研究的难点与趋势。