使用多重圆周谐波滤波器的相关峰值坐标进行实际图象的物体检测

本文提出一个新的组合多重光学圆周谐波器输出峰值坐标的方法来进行位移、旋转以及对比度的模式识别。这个方法特别适用于实际的带有干扰物体的输入图象,干扰物体的高相关峰值不会引起系统的误警;用此方法也具有相当强的抗噪声能力。     

基于敏捷方法和开放型实验平台的电力类课程项目化教学探索

<正>针对电力工程类课程项目化教学中的常见问题，将工业界成功应用的敏捷开发理念与方法引入教学，阶段式迭代开发，课内课外相结合，形成以协作学习、即时反馈、持续改进为特点的敏捷教学方法。同时，通过开放型实验平台的开发与应用，更好地满足创新型工程技术人才培养的需要。     

2维约束覆盖数组最小规模下限的提升

针对现有方法评价2维约束覆盖时没有考虑约束,而给出的最小规模过大的问题.为获得更准确的2维约束覆盖数组的最小规模,评价现有算法生成的2维约束覆盖数组,本文提出一种可以提升2维约束覆盖数组最小规模下限的禁忌边分解方法.采用禁忌边分解方法将描述被测系统输入配置的图分解成两个子图,通过计算覆盖两个子图中全部顶点的子覆盖数组的规模和剩余需要覆盖的取值组合数,与单纯计算需要覆盖的取值组合数相比,提升了2维约束覆盖数组的最小规模,所提出的方法能够得到更逼近真实值的最小规模的下限,一旦2维约束覆盖数组的规模小于最小规模的下限,则其不可能存在.本文的实验方法是,将禁忌边分解方法应用到现有的被测系统中,得到其2维约束覆盖数组最小规模的下限,将最小规模的下限与生成算法给出的2维约束覆盖数组的规模进行对比.实验结果表明:禁忌边分解方法给出的最小规模下限可以用于评价现有算法生成的2维约束覆盖数组,有助于判断其是否真实存在.     

基于CCTL的软件可靠性测试输入特性描述方法

软件可靠性测试是指为了保证和验证软件的可靠性要求而对软件进行的测试。由于目前缺少满足被测软件输入的时序性、并发性和约束性等输入特性的有效的形式化描述方法,软件可靠性测试数据的生成无据可依,全面的软件可靠性测试难以实现。利用钟控计算树逻辑(CCTL)公式在模型检测领域能够准确描述模型内部时序关系的优势,提出了基于CCTL的软件可靠性测试输入特性描述方法,该方法对输入特性准确有效的描述,可为可靠性测试数据的生成提供依据。最后,通过对一个实例的输入特性进行描述,验证了方法的可行性和有效性。     

基于错误交互集的组合测试软件故障定位方法

提出了一种基于错误交互集的组合测试软件故障定位方法.根据组合测试数据的执行结果,生成可能的错误交互集,通过对集合中全部交互进行定性分析,以有效的避免不同测试用例覆盖的相同错误交互被重复定位的情况,减少所需附加测试用例的数目.提出了基于错误密度的测试用例分析方法,将已有测试结果作为先验知识,提高错误定位的效率.最后,经过算法效率分析及实验验证,本文算法能够在保证准确定位错误交互的基础上,有效减少所需附加测试用例的数目.     

多面体不确定线性系统具有约束满足保证的预测控制

基于不变集理论, 拓展了Chiscil等人提出的约束不变预测控制方法(ICPC), 提出了一种适用于带约束多面体不确定线性系统的预测控制的框架. 其关键在于为针对标称系统设计的在线优化问题附加适当的额外的鲁棒可行约束. 若优化问题在初始阶段可行, 则此约束可保证在线优化问题始终可行, 从而保证了实际系统中约束条件的始终满足. 同时提出了闭环系统鲁棒稳定的一个充分条件, 可为成本函数的选择提供指导以保证预测控制器的鲁棒镇定.     

切比雪夫-傅立叶矩用于多畸变不变模式识别

给出了切比雪夫-傅立叶的定义。在单位圆中，对26个大写英文字母进行规范化处理，并计算切比雪夫-傅立叶矩，经过畸变不变的规范处理，将切比雪夫-傅里叶矩用作多畸变不变的模式识别的图像特征。进行了位移、比例、旋转、密度多畸变不变模式识别，给出了26个大写字母识别的实验结果。     

时序约束条件下序列测试建模方法

时序约束的描述是测试序列生成前必须面对的问题,但是目前还没有完善的方法能够对时序约束进行描述,为此提出了一种时序约束序列测试建模方法。该建模方法中提出了状态转移允许区间,使得可以对转移发生时前一个状态的连续出现次数进行描述。针对目前欠缺能够有效评价测试序列目标覆盖程度的方法的问题,通过引入核函数来评价测试序列的目标覆盖程度对该问题给予了解决。最后利用提出的建模方法对实例进行建模,验证了建模方法的有效性和可行性。     

一种广义正交不变图像矩:雅可比-傅立叶矩

提出一种多畸变不变的正交图像矩:雅可比-傅立叶矩.其核函数由径向雅可比多项式和角向傅立叶复指数因子组成.雅可比多项式中的两个参数p和q的变化能够形成各种正交多项式,因而形成各种正交图像矩:勒让德-傅立叶矩(p＝1,q＝1)、切比雪夫-傅立叶矩(p＝2,q＝3/2)、正交傅立叶-梅林矩(p＝2,q＝2)和Zernike矩以及变形Zemike矩,等等.因此雅可比-傅立叶矩是核函数由径向多项式和角向傅立叶复指数因子组成的正交图像矩的一般形式,为这种正交图像矩的数学分析和优化提供了理论基础.