基于FPGA的实时红外图像采集与预处理系统

设计了一套基于FPGA的实时红外图像采集与预处理系统。从系统总体设计入手,介绍了系统设计原理和硬件电路的各个组成部分。针对当今靶场设备图像处理在有效去除图像脉冲噪声的同时也会破坏图像细节等缺陷,结合FPGA在并行结构和流水线操作方面的优势,提出了一种基于十字窗口的快速中值滤波算法在FPGA中实时实现的方法。该方法替换了靶场光学设备的高层次算法,节约了宝贵的处理时间。这种系统采用了模块化结构设计、流水线工作方式以及乒乓存储等多项技术。实验结果表明,该方法具有较强的噪声抑制能力,可提高整个系统的实时性,因而具有很高的实用价值。     

安全协议的形式化分析方法

形式化分析方法是目前安全协议验证的主流方法.通过对常用的几种形式化验证方法进行概述和分析,论述了模态逻辑、模型检测技术在安全协议验证中的应用,介绍了各种定理证明方法和工具,并讨论其他形式化验证方法和形式化方法的一些研究方向.     

8nm基区宽度负阻双异质结晶体管的设计与研制

本文利用分子束外延(MBE)技术能精确控制外延层厚度的特点,与选择性腐蚀技术相结合,实现了纳米级超薄基区宽度.利用集电极电压VCE调制中性基区宽度可以改变基极电阻,从而产生微分负电阻(NDR),根据这一物理机制,设计并研制成功性能优良的8 nm基区n-InGaP/P+-GaAs/n-InGaP负阻双异质结晶体管(NDRDHBT).该器件显示出基极电压VBE调制的"∧"型负阻集电极电流IC-集电极电压VCE特性,电流峰谷比(PVCR)趋于无穷大;表征基极电压调制电流能力的峰值电流跨导ΔIP/ΔVBE高达11.2 ms;击穿电压达到12 V,可用于高频振荡调制和高速数字电路.     

几类边值问题的正解

本文利用存在性定理,考察了二阶常微分方程两点、三点以及m-点边值问题正解的存在性.在较弱的条件下,给出了几类边值问题至少有一个正解存在的充分性条件.所得结果改进和推广了文献中的相应结论.     

基于分数阶的多向微分算子的高炉料面轮廓自适应检测

高炉料面图像含有丰富的高炉炉况信息,高炉料面轮廓能直接反映料面的凹凸起伏、煤气流分布以及炉况等信息,但高炉料面图像具有对比度低、细节不明显和有强亮斑等特点,使得高炉料面轮廓检测十分困难.本文提出一种新型的高炉料面轮廓检测方法：1）对高炉料面图像进行预处理,增强图像动态范围和图像边缘信息;2）采用分数阶的多向微分算子提取一组料面轮廓可行域;3）用自适应方法确定最佳分数阶阶次,获得可行域中最优的料面轮廓曲线;4）用改进的Canny算子对其进行修正和补偿,得到连续准确的料面轮廓曲线.理论研究和实验结果表明,该方法可准确获取平滑的高炉料面轮廓,对高炉操作人员及时有效调控布料具有很好的参考价值.     

MATLAB在中值滤波改进算法中的应用

中值滤波是图像处理中比较常用的滤波方法,但是它对窗口和数据点的依赖使它在处理空间密度较大的冲激噪声时受到限制.本文通过MATLAB工具箱对中值滤波算法进行改进,用自适应中值滤波能较好地解决这个问题.     

粮油食品质量安全中值得注意的两个问题

近年来有关粮油食品安全的事件时常见诸报端，引起消费者的极大关注。如加工大米时违禁使用矿物油；制作米粉、粉丝时非法使用甲醛次硫氢钠（俗称“吊白块”）和焦亚硫酸钠等漂白剂，添加色素；在面粉中超量使用增白剂，滥用色素和使用溴酸钾等违禁化学物质。震惊世界的二恶英污染饲料事件及台湾的米糠油污染事件则反映出环境污染物对食品安全的极大威胁，此外农药残留问题以及重金属、霉菌毒素尤其是黄曲霉毒素超标等现象也时有发生。“转基因大豆”、“转基因大米”、“炸薯条”、“洋快餐是垃圾”等等不一而足。本文主要谈谈与粮油食品加工相关的丙烯酰胺、反式脂肪酸的研究近况及粮油食品的环境污染问题。     

A SEMI-CIRCLE THEOREM FOR UNSTABLE PERTURBATION IN TROPICAL CYCLONE-SCALE VORTICLES

In this paper, we discusses the spectrum distribution of baroclinic disturbances in tropical cyclone-scale vortices with the assumption that the basic flow does not vary with height. The semi-circle theorem for the unstable perturbation is obtained and the upper bound of growth rate can be estimated. The upper bound of instability growth rate increases with the increase of the maximum basic-state tangential wind speed, angular speed, inertial parameter, absolute vorticity, radial gradient of absolute vorticity and static stability. The upper bound of instability growth rate is greater for vortices of larger horizontal scale and smaller vertical scale and lower wave-number disturbances.     

拟概率空间上学习理论的关键定理和学习过程一致收敛速度的界

进一步讨论了拟概率的一些性质,给出了拟概率空间上的拟随机变量及其分布函数、期望和方差的概念及若干性质;证明了拟概率空间上的Markov不等式、Chebyshev不等式和Khinchine大数定律;给出并证明了拟概率空间上学习理论的关键定理和学习过程一致收敛速度的界,把概率空间上的学习理论的关键定理和学习过程一致收敛速度的界推广到了拟概率空间,为系统地建立拟概率上的统计学习理论与构建支持向量机奠定了理论基础.     

一种满意控制的水轮机调速系统参数优化方法

水轮机调速器比例积分微分(proportion-integration- differentiation,PID)参数优化是经久不衰的研究课题,目前研究较多的是基于最优化理论的参数设计。提出一种基于水轮机转速性能指标满意度参数优化的新方法,该方法直接计算系统响应的上升时间、超调量、调整时间、稳态误差和反调量等性能指标,籍此得到各性能指标的满意度函数,并以系统总体满意度作为适应度函数,利用遗传算法进行参数优化,得到总体满意度符合设计要求的PID参数。该方法设计目标更实际、具体,尽管参数不一定最优,但能满足系统响应要求,且代价较小,更具实用性。应用至刚性水击模型和弹性刚性水击模型水力系统的PID参数优化设计,仿真结果表明满意度控制方法在水轮机调速系统参数优化中的有效性和实用性。