一种基于海量船舶轨迹数据的细粒度网格海上交通密度计算方法

在"一路一带"的战略构想下,对于海上贸易的关注逐渐升温。海上运输是海上贸易的承载,掌握细粒度的海上交通密度,对于提取热点航道热点区域、分析全球贸易走势、推断海上交通连通性及相关的异常检测等具备重要的意义。提出了一种面向海量船舶轨迹数据的细粒度网格海上交通密度计算方法,该方法将全球划分为0.01°*0.01°的标准化细粒度网格,一方面为了适应细粒度网格对全球船舶真实轨迹数据特点设计了针对性的预处理方案,处理了异常点和停泊点;另外一方面设计并实现了一种面向该网格的利用海量轨迹数据对信息发送数目、信息发送间隔、经过船舶数目、经过船舶时间等多维交通密度特征进行量化计算的方法,具备良好的拓展性。最后采用2014年2个月共计8亿余条数据对该方法的性能、准确性进行了评估验证,证明了该方法的切实可行性。     

基于搜索的面向路径字符串测试数据自动生成方法

针对字符串测试数据自动生成,讨论了字符串间的距离,将不满足路径条件的字符串谓词表示成一个实值目标函数;利用快速下降搜索算法实施目标函数极小化,实现了基于搜索的面向路径字符串测试数据自动生成方法;探讨了其测试数据生成效率与初始输入、路径处理顺序之间的关系,并与遗传算法等几种算法进行了比较．实验结果表明：该方法是一种更经济有效的测试数据生成方法．     

字符串谓词边界的ON—OFF测试点自动生成算法

针对字符串谓词边界 ,提出了一个ON—OFF测试点自动生成算法。通过对字符串输入变量的每一字符 ,构造其线性分支函数 ,进行Korel的分支函数极小化 ,动态生成给定字符串谓词边界的ON—OFF测试点。实验表明 :该算法是行之有效的。     

一种用于测试数据生成的动态程序切片算法

介绍了程序切片技术的基本概念，提出了一种基于前向分析的动态程序切片算法，探讨了程序切片在软件测试数据生成中的应用，结果表明可以有效地提高基于路径的测试数据生成效率。     

面向语句的MBFL变异体约减策略

在软件调试过程中如何高效、精确地定位程序中的错误代码是软件开发人员普遍关注的问题。MBFL是一种基于变异分析的错误定位技术,它在获得较高错误定位精度的同时会生成大量变异体,并在变异体上执行测试用例集,开销庞大。为了减少MBFL的变异执行开销,提出面向语句的变异体约减策略,通过分析测试用例的执行信息, 按一定比例 对每条由失败测试用例覆盖的语句生成的变异体集合进行约减。实验结果表明,在7个程序包的112个错误版本上,应用面向语句的变异体约减策略的MBFL,在保持较高错误定位精度的同时,能够有效减少73.51%~79.98%的变异执行开销。     

基于线性权重最优支配的高维多目标优化算法

在高维多目标优化问题中,Pareto支配关系存在非支配解随优化目标数增加呈指数级增长和种群选择压力下降等问题。针对这些问题,基于线性权重聚合函数和支配关系两种比较多目标解方法的思想,提出一种线性权重最优支配关系（LWM-dominance）,并理论证明了LWM非支配解集是Pareto非支配解集的子集,同时保留了种群中重要的角解。进一步地,基于LWM支配关系,实现了一个高维多目标进化优化算法,基于该算法的实验验证了LWM支配关系的性质。在随机解空间中的实验结果表明LWM支配关系适用于5~15个目标的高维多目标优化问题,通过DTLZ1~DTLZ7高维多目标优化问题进化过程中LWM非支配解集与Pareto非支配解集规模的对比实验,结果表明优化目标数为10和15时非支配解的比例平均下降了约17%。     

皖南花猪的品系繁育

皖南花猪是安徽省优良地方猪种之一,群体较大,纯种母猪达2.3万头。该猪种遗传纯度高,并具有耐青粗、性温顺、繁殖力高、肉质好、适宜腌制火腿等特点。由于皖南山区特定的自然条件,长期近亲繁殖,形成了若干个封闭的各具特点的近交群体,特别是外形特征、繁殖性能和生长肥育性能均表现有不同程度的差异,这就为皖南花猪的品系繁育提供了良好的素材。70年代后期皖南花猪育种协作组便着手开展品系繁育和品种资源的选育与利用。经过多年选育,基本上形成了皖南花猪两个品系的一套繁育体系,促进了皖南山区养猪“三化”的开展。     

皖南花猪杂交试验研究

根据4次237头的试验研究结果，二元杂种日增重521．96克，比纯种皖南花351．22克提高170．74克；多元杂种746.86克，又比二元杂种提高224.9克。多元杂种要求改善饲养条件。肉质良好，没有发现PSE肉。     

导光管式高隔离电压光电耦合器击穿机理研究

对击穿后的导光管式高隔离电压光电耦合器的内部损伤痕迹的研究表明,高电压下器件内部的局部放电引起的持续烧蚀导致了前后级之间的击穿.分析局部放电的部位后,结合附近存在气隙缺陷的情况,在ANSYS下对气隙附近的电场强度分布进行了建模计算.结果表明:局部放电是因气隙内空气的低介电强度所致,并因导电胶的渗透得到加强.在采取结构与工艺措施避免气隙缺陷与导电胶渗透之后,局部放电得到消除,导光管式高隔离电压光电耦合器的最低击穿电压(VISO)从23.8kV提高到了33.5kV.