基于ARM的双界面IC卡读写器的设计与实现

为满足智能卡在银行、保险、医疗等管理系统的应用需求,设计了一款基于ARM的支持双界面智能卡的读写系统。采用具有ARM Cortex M3内核的STM32F103RBT6和近场通信收发器STRFNFCA等芯片进行相关的硬件设计。软件设计完成了对非接触式卡和接触式卡的底层驱动及应用层通信模块、LCD显示等操作;根据PBOC 2.0标准对智能卡进行金融交易包括圈存、消费、查余额等;同时,读卡器集成了Crypto 1加密算法来兼容市场上的Mifare系列卡。测试结果表明,读写系统性能稳定、功耗低、实用性强、可靠性高。     

增强的基于智能卡的远程用户认证协议

基于智能卡的远程用户认证协议比基于口令的安全协议能提供更好的安全性。2011年Chen等提出一种对Hsiang-Shih方案改进的基于智能卡的远程认证协议,并称解决了相关方案中存在的各种攻击问题。指出Chen等方案仍然存在着内部攻击、丢失智能卡攻击、重放攻击和身份冒充攻击,并针对基于口令和智能卡的远程认证协议类存在的离线口令猜测攻击提出一种基于智能卡和椭圆曲线离散对数问题的认证协议。该协议能抵抗提到的所有攻击,在登陆和认证阶段只需要一个点乘运算。     

基于主动段状态估计的弹道估计方法研究

在不具备目标先验信息的情况下，提出了采用基于主动段运动状态估计外推弹道参数的方法，完成对弹道导弹目标的弹道估计和落点预报任务．仿真结果表明，该方法脱离了弹道模板的制约，能够得到比较好的估计结果，具有一定的实用性和研究价值．     

基于位置索引的电力信息系统资源共享方案

为解决电力信息系统资源共享深度、广度和速度问题,针对国家电.力信息网(SPInet)分级分层拓扑结构,提出了一种基于位置索引的信息资源共享方案.通过各节点对共享资源构建基于位串的位置索引并冗余发布和汇聚,实现了基于查询多通道的目标节点快速准确定位.性能分析和仿真实验表明,该方案具有资源定位的高效性、可靠性和搜索的完备性,同时占用系统资源较少.     

鲁棒且高效的远程认证及密钥协商协议

由于口令容易记忆,基于口令的认证协议已被广泛采用于各种网络服务中。然而由于口令的低熵性导致了基于口令的认证协议易遭受到各种攻击。2011年,Islam等(ISLAM SK H, BISWAS G P. Improved remote login scheme based on ECC. IEEE-International Conference on Recent Trends in Information Technology. Washington, DC: IEEE Computer Society, 2011： 1221-1226)提出一种改进的基于椭圆曲线的远程登录协议,该协议存在着被盗校验子攻击和客户身份冒充攻击,同时并未能提供双向认证。为了解决此类问题提出了一种基于椭圆曲线的远程认证和密钥协商协议(RAKA),RAKA基于椭圆曲线离散对数难题,在执行过程中只需做6次点乘运算和7次哈希运算,比Islam等协议少用1次点乘运算,协议效率提高约15%,是一种比Islam等协议更安全、高效的协议。     

岩樟溪一级水电站计算机监控系统设计

岩樟溪一级水电站装机2×10000kW,电站主接线为二机一变单母线接线,计算机监控系统按“无人值班（少人值守）”原则设计。对整个监控系统的结构、功能、特点、性能及设备配置方面的设计作了介绍。     

瑞垟二级水电站计算机监控系统综述

瑞垟二级水电站是按＂无人值班（少人值守）＂运行方式设计的小型水电站,在历时多年的设计过程中,其监控系统的设计思想也随着时势的变化而进步,结合电站工程环境和主要机电设备,介绍了计算机监控系统的结构、功能及特点。     

地面慢速运动目标的单天线SAR检测与成像

本文研究了单天线SAR对地面慢速运动目标进行检测和成像问题.首先对单天线SAR数据进行方位向抽样得到两个通道信号,在分析两通道静止目标和运动目标回波特性的基础上,证明了在多普勒域可以实现杂波对消,并且对消后的动目标信号仍为一线性调频信号,在此基础上,对对消后的动目标信号进行Wigner-Hough变换提取信号的多普勒调频中心和调频斜率,从而最终实现对运动目标进行精确成像.文中给出了实际处理的完整流程,仿真结果验证了方法的有效性.     

对TAKASIP协议的分析和改进

会话初始化协议(SIP)提供了认证和协商会话密钥,能保证后续会话的安全。2010年,Yoon等(YOON E-J,YOO K-Y.A three-factor authenticated key agreement scheme for SIP on elliptic curves.NSS'10:4th International Conference on Network and System Security.Piscataway:IEEE,2010:334-339)提出一种新的三要素SIP认证密钥协商协议TAKASIP。但TAKASIP协议不能抵抗内部攻击、服务器伪装攻击、离线口令猜测攻击、身份冒充攻击和丢失标记攻击,并且没有提供双向认证。在TAKASIP协议基础上提出一种基于椭圆曲线密码三要素SIP认证协议ETAKASIP以解决上述问题。ETAKASIP基于椭圆曲线离散对数难题和椭圆曲线密码系统,提供了高安全性。该协议只需7次椭圆曲线点乘运算、1次椭圆曲线加法运算和最高6次哈希运算,有较高的运算效率。     

主动段弹道估计可观测性分析

空间红外预警系统仅可获得弹道导弹主动段尾焰辐射信号方位角信息，采用极大似然估计和非线性最小二乘估计可获得目标运动状态的迭代解。预警卫星与目标距离较远，测量方程非线性，可观测性较弱。本文即从估计误差CRLB和Fisher信息矩阵条件数入手，对弹道导弹目标主动段状态估计可观测性做出理论推导和仿真分析。