摘要：多核时代的到来使得并发程序的设计备受人们关注。然而,并发程序的并发性和不确定性容易引发并发缺陷。因此,快速且有效地检测出这些并发缺陷尤为重要。首先,将目前常见的并发缺陷分为五大类(并发类型状态缺陷、死锁、数据竞争、原子性违背和顺序违背);随后,从软件运行的角度,将现有的并发缺陷检测技术分为静态分析、动态分析和动静结合分析,并对每一类进行详细的分析、比较和总结;接着,对并发缺陷检测技术的通用性进行分析和总结;最后,从通用准确的并发缺陷检测、软硬件相结合的并发缺陷检测、并发缺陷检测修复一体化、适用于松散内存模型的并发缺陷检测、安卓等其他应用平台的并发缺陷检测和分布式系统非确定性并发缺陷研究等方面,对并发缺陷检测技术的未来研究进行了探讨。

摘要：通过基因表达数据发现与特定疾病相关的基因表达规则,对于疾病辅助诊断有重要意义。针对现有关联规则兴趣度度量的不足,提出了基于最大间隔的基因表达规则筛选策略。该筛选策略综合考虑了基因表达规则与同类及异类样本的距离,具有较强的基因表达规则筛选能力。结合最大间隔准则和递增式关联规则挖掘算法设计的关联规则挖掘算法,能够高效地发现Top-K最大间隔基因表达规则。在实际基因表达数据集上的实验结果,验证了最大间隔基因表达规则筛选策略的有效性和挖掘算法的高效性。

摘要：在所有多重序列比对算法中,渐进比对方法由于简单的算法和高效的计算在生物信息学中得到了广泛的应用。但是渐进方法最大的缺点是在早期阶段形成的错误不能在后期的计算中纠正过来。针对这个问题,我们设计了ProAnt比对算法,即渐进方法和蚁群算法相结合来求解多重序列比对问题。首先,对输入的多个序列进行预处理,用蚁群算法和概率一致性更新计算出所有字符对在最终比对中出现的概率,称为“后验概率”,计算后验概率是为了预防早期错误的发生。然后我们将后验概率作为字符对之间的匹配得分,用渐进方法得到最终的比对结果。用BAliBASE数据库对算法进行测试,实验结果显示,该算法能够在保持合理的运算时间的前提下显著改善渐进比对方法的正确性。

摘要：为了解决各类便携式计算机中电源管理与功耗控制问题,延长电池续航时间,提出了一种适用于笔记本电脑嵌入式控制器(embedded controller,EC)的设计方法。分析了EC的功能特性,在此基础上从硬件设计与软件实现两个方面给出设计思路。介绍了软件的实现,结合模块化思想提出了主要模块的解决方法,从而提高数据读取及功能控制等多项关键性功能的效果与效率。功能测试验证了该设计的可行性与有效性。

摘要：随着处理器性能的不断提高和网络技术的迅速发展,越来越多的计算机应用系统涉及并行与分布式计算。开发这类系统远比传统的串行系统困难,这除了并行与分布式计算本身固有的复杂性外,还有一个原因是人们对并发性的实质缺乏真正了解,因而对并发模型进行深入广泛的研究具有重要的现实意义。并发模型是一种描述与解释并发与分布式系统的形式化数学模型,在理论上可提供对并发系统及其行为的深刻理解,在实践中可为并发系统的设计与分析提供指导方法。探讨并发性的语义往往也集中在并发模型的研究,以此作为并发语言与系统的指称结构。

摘要：多副本路由协议能有效降低容迟网络消息交付时延。目前的工作仅将节点间的当前质量作为分发依据,忽视了容迟网络固有的大延迟交付特性。提出了分发跳数约束的最优化消息期望时延的路由协议ODCD(optimal expected delay copy dis-semination),能在整个分发时间维度内选择最佳中继节点以优化期望时延。ODCD利用最佳停止规则进行建模,设计了综合性的动态分发尺度和相应的分发规则,并提出了一个用于计算该尺度的反向递归算法。在真实接触数据集上的仿真表明,相比同类算法,ODCD以少量发送成功率上的损失获得了在消息端到端时延和路由代价上的明显优势。

摘要：为了解决传统基本输入输出系统(basic input output system,BIOS)的种种弊端,提出了统一的可扩展固件接口(unifiedextensible firmware interface,UEFI)标准,UEFI广泛应用在BIOS和嵌入设备等装置中。引入了通用串行总线(universal serial bus,USB)的体系结构,重点介绍了UEFI下基于USB的调试信息输出工具的设计原理、设计方案以及解决的一些细节问题。最后给出了一个利用该软件工具输出调试信息的实例,实现了Target端调试信息的输出并在Host端显示出来。

摘要：结合粗糙集属性约简二进制优化模型,提出一种基于改进混合蛙跳算法的粗糙属性交叉熵优化约简算法,该算法将粗糙集属性划分至不同蛙群进化模因组内,每个模因组内属性集设计成以精英个体为中心力的蛙群并行演化方式,并采用交叉熵最小原理进行精英个体寻优全局最优约简集,快速而有效地处理大规模信息系统的属性约简.UCI仿真实验结果表明本文提出的算法在搜索全局最小属性约简解效率和精度方面具有明显优势,该算法应用于含噪音的人脑核磁共振图像MRI分割实验,其对MRI图像分割的高效性进一步表明该算法具有较强的适用性.

摘要：提出了一种基于小波变换和奇异值分解的盲检测算法来识别图像的复制粘贴伪造。该算法用小波变换降低计算量,用奇异值表示图像特征。图像经过小波变换,提取出低频分量和高频分量。因低频部分保留图像的纹理信息,高频部分保留图像的轮廓信息,该算法分别从低频部分和高频部分提取图像奇异值,并把提取出的奇异值进行加权处理,以加权值作为图像块的特征。图像块之间做两两比较,根据图像块的特征相似度,判断是否存在图像复制粘贴伪造区域。在丰富层次和清晰细节轮廓的图像中,该算法能达到比较理想的检测效果,准确率较高。

摘要：为了向用户推荐结构相似且时间效率较高的流程,提出了一种基于流程中活动发生的概率和时间的流程推荐方法。定义了一个模型PTN(probabilistic time Petri net)来表示流程,改进了一个现有的流程相似度方法并且将它命名为MDS(matrix distance similarity),用于找出流程库中与查询模型结构相似的流程集合,提出了一个最小加权时间方法(minimum weighted time,MWT),用于找出流程集合中时间效率较高的业务流程。在此基础上设计了相关算法,并且分析了时间复杂度。实验数据证明了方法的有效性和高效性。