结合全局与局部信息活动轮廓的非同质图像分割

目的 通过对现有基于区域的活动轮廓模型能量泛函的Euler-Lagrange方程进行变形,建立其与K-means方法的等价关系,提出一种新的基于K-means活动轮廓模型,该模型能有效分割灰度非同质图像。方法 结合图像全局和局部信息,根据交互熵的特性,提出新的局部自适应权重,它根据像素点所在邻域的局部统计信息自适应地确定各个像素点的分割阈值,排除灰度非同质分割目标的影响。结果 采用Jaccard相似系数-JS(Jaccard similarity)和Dice相似系数-DSC(Dice similarity coefficient)两个指标对自然以及合成图像的分割结果进行定量分析,与传统及最新经典的活动轮廓模型相比,新模型JS和DSC的值最接近1,且迭代次数不多于50次。提出的模型具有较高的计算效率和准确率。结论 通过大量实验发现,新模型结合图像全局和局部信息,利用交互熵特性得到自适应权重,对初始曲线位置具有稳定性,且对灰度非同质图像具有较好地分割效果。本文算法主要适用于分割含有噪声及灰度非同质的医学图像,而且分割结果对初始轮廓具有鲁棒性。     

基于硬件可编程逻辑的SAT求解算法研究与进展

布尔可满足性SAT问题作为第一个被证明的NP完全问题,是计算机理论与应用的核心问题,有着重要的应用价值,因此近年来涌现了各种各样SAT求解器。但是,SAT求解器的运算效率始终是影响其应用的关键因素,所以利用硬件的高性能与并行性来加速SAT求解过程已成为验证领域的一个研究热点。归纳总结了在SAT求解过程中,利用硬件现场可编程门逻辑FPGA的并行性和灵活性加速求解过程的各种算法研究,着重总结分析了应用型SAT求解器的加速策略。通过对各种方法的深入分析,指出它们的优缺点,为未来的研究提供了思路。     

协同过滤技术的改进研究

协同过滤算法应用于个性化推荐系统中取得了巨大成功,它是通过用户项目评分数据,以用户之间或者项目之间相互协作的方式来产生推荐。然而,邻居用户的相似度计算不精确一直是阻碍推荐系统推荐精度进一步提高的主要因素。从提高用户间相似度计算精度出发,提出了一种改进算法,该算法通过考虑不同特征、加强平均值影响、惩罚热门项目的比重,对用户的相似度计算方法进行改进,以期生成更加合理的邻居用户集,最后,根据评分预测公式进行预测,最终产生推荐。在MovieLens数据集上的实验表明,改进算法计算用户间的相似度更加精确,推荐算法的预测精确度有了显著提高。     

基于效益博弈的云计算资源动态可协调分配策略研究

在对用户的任务进行计算资源分配时,为了有效提高计算资源的利用效率,减少任务执行所需要的成本,提出了一种基于效益博弈的云计算资源动态可协调分配机制。该机制采用时间矩阵和费用矩阵作为任务效益的衡量指标,提出效益博弈模型,通过该模型的效益计算方程来得到最好的资源分配策略。为了使得计算资源能够合理地按需进行分配,提出了动态可协调分配机制,在合理地分配资源,满足所有任务正常执行时所需资源的同时,最大化任务的执行效益。实验仿真及对比结果表明,在任务完成时间、任务执行的平均成本、任务完成成功率上,本文算法都取得了较好的效果。     

矿用可穿戴翻折结构半模衬底集成空腔天线设计

根据煤矿井下对可穿戴天线的要求,在半模衬底集成空腔天线的基础上,采用折叠结构降低天线主体的宽度,并利用水平放置的馈电探针实现可穿戴天线扁平化,设计了一种矿用可穿戴翻折结构半模衬底集成空腔天线。仿真结果表明,该天线在5GHz处于谐振状态,-10dB带宽约为254 MHz,最大增益为5.4dBi,辐射效率为70%,辐射方向具有较宽的主瓣和较低的背向辐射,且可通过增加上层衬底厚度来增加天线-10dB带宽。     

指控装备通信接口可重构测试系统软件框架设计

指控装备通信接口种类繁多,每种接口的测试需求也不尽相同,传统接口测试系统大多仅针对某个厂家的具体设备和接口开发,功能单一,软硬件重用率低,更新维护成本高;针对上述问题,分析总结了指控装备通信接口的接口特性和测试需求,通过深入研究小型化SCA技术,设计了满足通信接口可重构测试需求的自定义中间件和自定义核心框架,完成了可在通用小型硬件平台上实现的指控装备通信接口可重构测试系统软件框架;由系统典型测试流程图可看出,用户仅通过更改应用组件和系统配置即可实现对多种通信接口的可重构测试,增强了测试系统的通用性和灵活性,提高了测试系统软硬件的重用率,降低了接口测试系统的开发和维护费用。     

基于经典粗糙集的近似集动态获取方法

信息系统中的数据是动态变化的,根据动态变化的信息系统获取有用的信息,成为数据处理中的关键问题。针对该问题,分别讨论了信息系统中属性增加和减少时,近似集的动态获取方法。通过对信息系统中原有的等价类进行划分,避免了对论域的重新划分,提高了动态更新近似集的效率,通过讨论等价类与原有近似集之间的关系,给出了信息系统动获取之后的近似集与原来近似集之间的相关定理,提出了在经典粗糙集模型中,属性增减时近似集动态获取方法。实验结果验证了该方法的正确性和有效性,而且效率优于原始的方法。     

嵌入式时栅传感器高精度激励设计方法

介绍了嵌入式时栅传感器的基本原理,分析了两相激励信号不一致性主要是幅值不等和相位不正交对传感器测量精度的影响。基于DDS原理结合反馈控制设计了高精度的激励信号模块,采用反馈电路控制可程控放大电路调理两相信号幅值,实现了激励信号的幅值相等,基于闭环反馈控制直接修改数字激励信号实现了信号的相位正交。实验研究结果表明,采用这种闭环控制的方法,传感器短周期测角误差从±65″降低到±16″左右,常值误差基本消除,传感器精度大幅度提高。     

VMware携手谷歌共同开发企业公共云

全球领先的虚拟化和云基础设施软件厂商VMware公司(纽约证交所代码:VMW)今日宣布与谷歌达成一项服务拓展协议,旨在帮助企业客户通过VMware vCloud Air更加便捷地获取公共云服务。根据本协议,谷歌云平台将与vCloud Air实现无缝整合,基于VMware的混合云平台为客户提供行业领先的云服务。谷歌全球伙伴战略和联盟常务董事     

探究关于测试需求集的测试用例集极小化方法

软件测试是软件生产厂商在软件开发过程中非常重要的一个阶段。本文围绕着测试用例集约简技术展开研究。首先阐述了测试用例集的约简技术的含义与作用,分析了测试用例集的约简技术能够降低软件测试成本以及提高软件测试效率的方法。本文结合几种常用的测试用例集的约简技术,提出一种关于测试需求集的测试用例集极小化方法,该方法基于测试需求集的最小测试用例集的形成算法,从而得到优化的代表测试用例集,为测试用例集约简技术提供很好的理论基础和测试技术的依据。