基于电力电子变压器并网装置的微网控制研究 10月06日
【摘要】在传统化石能源日趋紧张以及节能减排的全球大背景下,分布式发电技术飞速发展,整合了分布式发电、电力电子、电力系统控制技术的微型电网技术受到人们越来越多的重视。为实现微网与大电网之间的有效互补,微网并网技术值得深入探究。传统微网并网方式存在并网速度慢、冲击大、供电可靠性低、潮流无法控制等问题,另外由于两个电网之间不存在有效的隔离措施,任何一侧电网发生故障电流、谐波污染等问题都将对另一侧电网产生 […]
程序优化与程序变换方法的研究 10月06日
【摘要】程序优化与变换是编译器领域一个热门的研究问题。本文分别在源代码层次、编译器的抽象语法树层次和编译器的中间表示层次进行研究,为程序优化与变换提供工具和支撑。本文在这三个层次分别提出了:一个C到C/CUDA的程序变换工具DPOET;一个结构体数组分拆工具structTrans;一个针对于堆内存对象的结构分析算法。它们分别能:对程序进行并行化;提高程序的数据局部性;为程序存储优化提供支撑。1、实 […]
大规模反渗透海水淡化故障诊断专家系统的研究 10月06日
【摘要】随着科技与社会的发展,水资源短缺成为全球瞩目的热点问题之一。反渗透方法因其设备投资省、能量消耗低、建造周期短等优点,正快速成为当今应用最广泛的海水淡化方法。反渗透系统的水质安全受到预处理和膜污染等多方面的影响,通过故障诊断能及时发现问题所在,对保证系统安全、高效的运行具有重要意义。目前全球各地纷纷建立了大规模甚至是超大规模的反渗透海水淡化工程,研究工作的任务旨在面向超大规模反渗透海水淡化工 […]
短波信号的二维DOA估计方法研究 10月06日
【摘要】随着电子技术和通信技术的发展,波达方向(DOA)估计方法在民用和军用的各个领域都有着越来越广泛的应用。DOA估计方法发展至今,在理论上日趋完善,然而,将这些理论方法应用于实际工程还存在各种各样的问题,因此需要进一步深入研究。本论文以实际应用需求为背景,对短波信号的DOA估计方法在实际应用中存在的问题进行深入分析,并给出解决方案。本文的主要工作有:1.分析和总结了窄带信号的DOA估计方法。包 […]
低温智能电池系统的研究与实现 10月06日
【摘要】工作在野外的远程测量仪表往往需要电池供电1年甚至更长时间,因此需要定期更换电池,以防止仪表因电压过低而被迫关机。锂电池因其能量比高、放电平台平稳、无记忆效应等特点特别适合应用于长期在线的远程测量设备。但低温下锂电池性能恶化一直以来是个非常棘手的问题:冬季短暂的低温严寒让许多本可以正常运行的仪表设备由于电池容量的突然衰减和放电平台的明显下降而被迫关机。由于电池电压衰减的不可预测性大大增加了更 […]
基于Total Variation的图像恢复算法研究 10月06日
【摘要】图像是用来记录或者显示一些有用的信息的。然而,成像和拍摄过程中的缺陷使得最终的图像总是原来的场景的退化版本。消除这些缺陷,即图像恢复,对于后续的许多图像处理任务至关重要。因此,图像恢复(有时被称作图像去模糊或图像去卷积)成为十分重要的研究课题。基于总变分(totalvariation)的模型是图像恢复的经典模型。该模型的引入具有革命性的意义,因为它可以在去除不想要的微尺度的细节的同时保持图 […]
生物序列数据K-mer频次统计与可视化研究 10月06日
【摘要】随着近些年来测序技术的飞速发展,人类产生了海量的生物序列数据,亟需通过有效的计算手段进行分析和处理。而在众多的生物序列分析与处理问题中,生物序列数据的k-mer频次信息是一种非常关键且重要的序列特征,它在序列比对、序列拼接、序列聚类、模体发现等诸多的问题上得到了广泛的应用。面对大规模数据,k-mer频次统计的算法以及其可视化问题就显得至关重要,本文就围绕着这两个方面进行研究,其主要内容和贡 […]
国内虚拟品牌社区中网络口碑传播动机实证研究 10月05日
【摘要】随着互联网的快速发展,虚拟品牌社区成为品牌信息和品牌经验传播的重要平台。为了解虚拟品牌社区中消费者口碑信息传播的动机因素,以及这些动机因素对口碑传播意愿的影响程度,本文以“小米社区”为研究对象,选取298个样本数据,对国内虚拟品牌社区口碑信息传播动机相关问题展开了研究。本文通过文献研究、深度访谈、问卷调查等方法,提炼出13项虚拟品牌社区消费者口碑信息传播动机。为验证这些动机,本文采用问卷调 […]
基于TL2软件事务内存机制的并发程序的精化验证 10月05日
【摘要】随着多核处理器的广泛应用,并发编程成为软件开发的主流方式,但是并发编程给程序员带来了很大的挑战。传统的并发编程主要是用锁机制来保证共享资源的互斥访问,锁机制是一种常用的同步手段。但是粗粒度锁性能较差;而细粒度锁性能较好,但使用过于复杂,容易出错,编写简单高效的代码非常困难,容易导致死锁和优先级倒置等问题。软件事务内存(STM)并发机制将对共享存储复杂的同步访问控制转嫁给底层系统开发者,从而 […]
一种无锁并发跳表算法的可线性化证明 10月05日
【摘要】随着互联网的普及和云计算的发展,海量数据处理成为IT从业人员越来越重视的课题。海量数据处理常采用并发的方法,即多个线程同时运行在多台处理器上,共同访问和处理共享数据。由于多个线程的交互,并发程序的行为更难以预测,出现的错误也更难以定位。因此,通过严谨的数学方法在逻辑上验证一个并发程序的正确性很有意义。无锁并发跳表是一种无需对各个节点加锁就能实现多个线程同时无阻塞操作的数据结构,其存取时间复 […]


