Depth Discontinuities by Pixel-to-Pixel Stereo

An algorithm to detect depth discontinuities from a stereo pair of images is presented. The algorithm matches individual pixels in corresponding scanline pairs, while allowing occluded pixels to remain unmatched, then propagates the information between scanlines by means of a fast postprocessor. The algorithm handles large untextured regions, uses a measure of pixel dissimilarity that is insensitive to image sampling, and prunes bad search nodes to increase the speed of dynamic programming. The computation is relatively fast, taking about 600 nanoseconds per pixel per disparity on a personal computer. Approximate disparity maps and precise depth discontinuities (along both horizontal and vertical boundaries) are shown for several stereo image pairs containing textured, untextured, fronto-parallel, and slanted objects in indoor and outdoor scenes.     

离散时间线性系统最优控制的遗传算法实现

本文提出了求解控制变量受区间约束情形的离散时间线性系统最优控制的遗传算法,在遗传算法框架下给出了离散时间线性系统最优控制问题可行解的编码及初始化方法,设计了选择、交叉、变异等遗传算子,并对初始化方法及各种遗传算子的可行性给出理论分析。     

计算甘油代谢目标函数的一种新算法

通量平衡分析是代谢工程研究中能够定量预测细胞内通量分布情况的有效工具,然而其预测准确性的前提是需要设计合理的代谢目标函数。研究了克雷伯氏杆菌歧化甘油生产1,3-丙二醇的代谢目标函数计算问题。该问题的数学形式是一个双层规划模型,首先应用线性规划的对偶理论将其转化为等价的单层非线性优化问题,然后采用非线性优化算法对其进行求解。与已有的研究结果相比,所提方法获得了克雷伯氏杆菌歧化甘油代谢的全局最优通量分布情况。     

A multi-institutional, multinational study of programming concepts using card sort data

Abstract: This paper presents a case study of the use of a repeated single‐criterion card sort with an unusually large, diverse participant group. The study, whose goal was to elicit novice programmers' knowledge of programming concepts, involved over 20 researchers from four continents and 276 participants drawn from 20 different institutions. In this paper we present the design of the study and the unexpected result that there were few discernible systematic differences in the population. The study was one of the activities of the National Science Foundation funded Bootstrapping Research in Computer Science Education project (2003).     

List partitions

By definition, apartition of a list is a division of that list into nonempty contiguous segments. Many programming and operations research problems can be specified in terms of list partitions, and we present a hierarchy of theorems for deriving programs from such specifications. Throughout, reasoning is conducted in an equational style using the calculus for program synthesis developed by Bird and Meertens.Supported by a BP research studentship.     

无线传感器网络中能量最优传输半径调整

在无线传感器网络中,为有效节省能量的消耗,一般将多跳路由上的冗余节点设置成休眠状态.针对节点均匀分布的线性网络,在候选路由节点随机确定,且各节点可有不同传输半径的情况下,利用动态规划算法选择合适的活动路由节点及其传输半径,达到总体最优能量消耗.数值结果证实算法的有效性.     

基因表达式编程在CO2转化率软测量建模中的应用

选择合成塔温度(中部)、NH3/CO2、H2O/CO2、出口液CO2、Ur组分百分含量共5个变量作为模型辅助变量,将基因表达式编程(GEP)算法用于某氮肥厂中压联尿装置CO2转化率的软测量建模,GEP挖掘获得的最佳公式经F检验表明其高度显著(F=23800>>Fα=3.08,α=0.01)。用该公式对98组验证集预测,均方误差MSE=0.0038,绝对误差的最大值MAXAE为0.3753;对110组预测集预测,MSE=0.0025,MAxAE仅为0.1549,表明用GEP建立的软测量模型具有良好的预测准确性。     

基于SAT求解的面向对象程序类型分析

类型分析是面向对象程序分析中的重要环节,精确的类型分析能够提高其它程序分析的精度.由于传统精确分析方法固有的高复杂性,现有的类型分析大都使用粗糙的分析方法.提出了一种基于SAT求解的面向对象程序类型分析方法.该方法用命题逻辑表示类型在变量间的传递关系,将程序抽象成命题公式,并使用高效的SAT求解器求解,从而获得变量运行时的类型集合.该方法是流敏感的,并且具有良好的伸缩性,既可以进行快速但精度低的上下文不敏感分析,也可以进行较慢但精度高的上下文敏感分析.     

基于红外面阵传感器的图像拼接算法

对大面阵红外传感器图像的拼接算法进行了研究.针对红外图像中噪声过多的问题,采用基于Harris角点的图像拼接算法进行噪声抑制并对Harris算法进行改进.首先根据图像像素响应函数值的特性,将Harris检测人工阈值改进为自适应阈值.然后在相似测度归一化互相关(NCC)粗匹配的基础上,根据图像间正确匹配角点对各自构成的四边形应满足四角相等的几何关系,采用有约束的随机抽样一致性(RANSAC)方法.实验结果表明:该算法避免了噪声的影响,使图像拼接具有适应性,对大面阵红外图像具有良好的拼接效果.     

回归测试中测试用例集缩减问题的研究

测试用例集缩减(Test Suite Minimization,TSM)问题作为回归测试的研究热点和难点,在满足对指定测试需求的覆盖前提下,通过识别并移除冗余测试用例来降低回归测试成本。对国内外已有的TSM研究成果进行综述。首先分别从源代码和模型两个角度出发,总结已有的TSM方法:从源代码角度出发,重点分析与总结传统TSM方法和考虑缺陷检测能力的TSM方法;从模型角度出发,重点分析与总结基于扩展有限状态自动机的TSM方法。然后对实证研究中采用的评测程序、评测指标和实证结论进行总结。随后总结了TSM方法在特定测试领域的应用,包括GUI应用测试、Web应用测试和缺陷定位等。最后展望了未来的可能发展趋势。