一种改进的小波阈值图像去噪方法

分析小波阚值去噪特点,针对软、硬阈值去噪存在伪吉布斯和边界模糊现象,提出一种改进的阈值函数和阈值估计方法,该阈值函数具有连续可导且偏差可变的特性,新的阈值估计方法具有较好的自适应性.实验结果表明,该方法可以有效地去除白噪声干扰,无论从视觉效果上还是信噪比上,都优于软、硬阈值去噪方法.     

牵引变流器优化控制仿真研究

在电力机车牵引变流器优化控制的研究中,动车组牵引变流器是动车组完成电能转换和传递的关键部件,性能好坏直接关系到动车组能否安全可靠运行。针对CRH2A型牵引变流器输出电压变化率大、谐波含量高等问题,对多电平技术在牵引变流器中的应用进行了研究。首先分析了二极管箝位型五电平变流器(DCMLC)和模块化五电平变流器(M2LC)的工作原理及控制策略,分别构建了牵引变流器的优化模型;并根据CRH2A型牵引变流器主电路实际设计参数应用Matlab仿真软件对五电平DCMLC和M2LC分别进行了建模和仿真,比较和分析了牵引变流器中不同逆变器电路拓扑结构及其对应的控制策略对系统输入输出性能的影响。仿真结果初步验证了两种优化模型对CRH2A型牵引变流器性能的改善效果。     

基于事件逻辑的改进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协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

基于iPhone手机的数字码实时识别与应用

根据苹果手机拍摄防伪标签数字实时识别的需要,针对防伪数字字号较小的因素和苹果手机因拍摄距离的原因造成的图像缩小、数字模糊、背景复杂等问题进行处理,提高识别精度。首先通过人工选取数字码区域,并进行背景数字分离,定位获取数字图像;其次采用灰度化和二值化得到黑白图像;然后通过投影对数字码图像进行分割,并对每个数字图像进行归一化、锐化和细化;基于统计学抽取数字码的特征,采用最近邻域判别函数进行数字码识别,取得很好的识别效果。     

教育信息化中的云计算运用与研究

本文从实例出发,阐述了云计算在教育信息化建设中的重要作用,详细介绍了云计算中的服务器虚拟化、应用虚拟化技术的具体配置和实施方案,提出了解决大规模、密集访问和众多仿真实训软件集中部署方法。     

基于指尖触控的互动投影系统

随着人机交互技术的不断发展,互动投影技术的应用逐渐广泛.该技术通过摄像机等传感器技术感知周围场景动态并结合投影的显示功能实现交互的方式,如增强现实、结构光编码、三维重建等.基于触控的互动投影技术在未来的嵌入式人机交互系统中具有广阔的前景.文章基于单目摄像机与投影仪系统实现能够在任意平面徒手触摸的交互.系统的功能主要通过前景区域分割、指尖点的定位以及触摸检测三个步骤来实现.与目前相关领域的研究文献进行的对比实验证明,所提算法在稳定性、准确性以及实时性等方面具有一定优势.     

均匀动态规划方法及其在水电系统优化调度中的应用

动态规划(Dynamic Programming,DP)是求解多维多阶段复杂决策问题的有效方法,然而维数灾问题极大地限制了它的应用。为缓解这一问题,结合均匀试验设计提出均匀动态规划(Uniform Dynamic Programming,UDP)。UDP以DP为基础框架,将各阶段不同维度离散状态的组合视为多因素多水平试验,利用均匀设计表从全部状态变量中优选少数极具代表性、在可行域内均匀散布的状态变量进行计算,大幅降低各阶段状态变量集合基数。分析表明,UDP空间复杂度和时间复杂度由DP指数增长分别降至线性和平方增长,存储量和运算量显著减少,同时澜沧江梯级水电站群仿真测试结果验证了UDP的高效性和实用性。     

大小水电可消纳电量期望值最大短期协调优化调度模型

水电富集地区的小水电在电网中所占比例较大,出力波动频繁,汛期与大中型水电挤占输电通道,造成大规模窝电弃水并威胁电网安全,需要构建有效的大小水电协调优化方法。为此,以西南水电富集的某省为背景,提出了大小水电可消纳电量期望值最大短期协调优化调度模型。该模型将分区小水电作为整体,根据小水电计划与实际出力偏差,采用模糊聚类构建小水电出力场景,并应用启发式搜索和关联搜索方法进行求解。实例研究表明,本文提出的模型和方法能够合理利用大中型水电良好的调节能力实现大小水电协调,减少窝电弃水,是一种实用有效的大小水电混合分区协调优化调度方法。     

三峡库区龙河流域降雨和人类活动对水沙关系变化贡献率分析

以三峡库区中心区域的龙河流域为研究对象,利用1963—2010年流域水沙资料,采用Pettitt突变点检验、累积距平法及双累积曲线法分析了该流域输沙量和降雨量的变化趋势,判别出降雨量在1982年、输沙量在1982年和1990年发生了突变。并采用累积量斜率变化率比较法分析了1963—1981年,1982—1990年,1991—2010年3个时段降雨量和人类活动在龙河流域输沙量变化中的相对贡献率。研究表明:以1963—1981年为基准期,1982—1990年间降雨量和人类活动贡献率分别为29.49%和60.51%,1991—2010年间分别为3.38%和96.62%;以1982—1990年为基准期时,1991—2010年人类活动对输沙减小的贡献率为100%。该研究揭示了1963—2010年输沙量的变化趋势及降雨和人类活动对其贡献率,研究不仅对该区水土流失治理、水土保持效益评价具有重要意义,同时为研究三峡水库区间水沙锐减的原因提供一定的理论支持。