“关系”中若干问题的探讨

"关系"是离散数学课程中的一个非常重要的概念,是一个抽象的数学定义,又具有一些重要的数学性质。为了以更直观的方式将"关系"和它的性质阐述清楚,本文针对目前常用的"关系"表述方法进行探讨与教学改革,提出针对某些问题的更直观易懂的表述方法,更有效地阐述了"关系"的特性。     

改进的多版本软件扩展表决系统

本文提出了一种改进的扩展表决系统，该系统是利用自动分析表决系统可靠性等参数的工具来构建的。在软件容错中采用N模块冗余(N Modular Redundancy NMR)及N版本编程(N version Programming)，应用表决技术，可以屏蔽整个软件系统中出错的部分。在实践中直接应用理论的表决模型会发现很难得到理论分析的结果。针对这样的问题，本文提出一种基于多数(plurality)的扩展表决系统：使用构造决策树的方法和进行DFT遍历作为自动化的计算工具；通过对基本的多数表决系统进行模型扩展，加入指导性规则对决策树进行重构，以自动计算工具的结果作为参考，从而选择更加可靠的表决结果作为输出。最终的模拟测试表明，所提出的扩展表决系统能够提高系统输出的正确率。     

基于改进质点-弹簧模型的图像变形仿真方法

为了满足仿真系统中对仿真的实时性和视觉效果上的真实性要求,提出了一种改进的质点-弹簧模型,采用传统的质点-弹簧模型与虚拟弹簧共同表征图像的表面,利用Verlet数值积分更新图像变形期间的质点位置,使用双线性插值技术实时绘制出动态变形的效果.在OpenGL环境下对改进的3D质点一弹簧模型进行了仿真实验,实验结果表明所提模型能逼真地模拟出图像变形的效果.     

改进的多版本软件扩展表决系统

本文提出了一种改进的扩展表决系统，该系统是利用自动分析表决系统可靠性等参数的工具来构建的。在软件容错中采用N-模块冗余（N-Modular Redundancy-NMR）及N-版本编程（N-version Programming），应用表决技术，可以屏蔽整个软件系统中出错的部分。在实践中直接应用理论的表决模型会发现很难得到理论分析的结果。针对这样的问题，本文提出一种基于多数（plurality）的扩展表决系统：使用构造决策树的方法和进行DFT遍历作为自动化的计算工具；通过对基本的多数表决系统进行模型扩展，加入指导性规则对决策树进行重构，以自动计算工具的结果作为参考，从而选择更加可靠的表决结果作为输出。最终的模拟测试表明，所提出的扩展表决系统能够提高系统输出的正确率。     

基于Faster R-CNN的车牌识别算法

针对传统车牌检测方法定位不准确、检测结果易受环境影响的问题，提出一种基于Faster R-CNN和Inception ResNet_v2的车牌检测算法:通过迁移学习的方式实现精确的车牌定位，用像素点统计法处理车牌图像，实现单个字符的有效提取；mLeNet5卷积神经网络模型用于对单字符进行识别。结果表明，算法对有遮挡及角度倾斜的车牌字符能实现高效、高精确度的识别.      

基于胸环靶图像灰度特点的有效靶面提取算法

分析了室外复杂环境下自动报靶系统采集的胸环靶图像特点。提出基于图像灰度特点的有效靶面提取算法。将彩色图像灰度化,提取图像的边缘;对灰度图像进行平滑处理,并进行阈值分割;联合图像边缘和阈值分割结果,提取最大连通区,进行合适的形态学处理即可获得有效靶面区域;根据靶面区域映射出有效靶面,并裁剪合适的尺寸。算法能准确地定位完整的靶面区域,不受胸环靶颜色的限制;且对复杂环境有很强的适应性,在绝大多数的室外环境下都适用。     

区间数排序方法综述

区间数排序方法是不确定性决策领域的重要研究内容. 为便于研究者进一步分析和讨论，本文系统总结了目前发表在各类文献中的区间数排序方法，将众多研究者提供的排序方法梳理成9类，分析比较了每一类方法的特点、适用情况，对一些有不足的排序方法通过反例给出了说明. 特别是对目前应用最为广泛的基于可能度的区间数排序方法，讨论了各种不同的可能度公式，指出了它们各自的特点，分析了可能度公式的性质，证明了一些公式相互等价. 同时从可能度和保序性2个角度，分析了基于可能度矩阵的区间数排序方法的不足，并介绍了一种改进的排序方法.