面向集群的消息传递并行程序容错系统

为了保证大规模集群系统的可靠性和可用性,设计并实现了一个面向集群消息传递并行程序的容错系统。该系统采用检查点设置与卷回恢复技术,提出了基于内存排除的退出重进入并行环境策略,实现了对用户程序完全透明的容错功能、进程迁移以及系统自动重构。实验结果表明:检查点设置和系统恢复开销小于10%,符合大规模并行程序容错功能的要求。该系统提高了集群系统的可靠性和可用性,其设计结构和实现方法可以方便地移植到其他消息传递系统。     

面向大社交数据的深度分析与挖掘

社交网络在线化是大数据时代的典型特点,也是大数据产生的重要原因之一.本文从大数据的特点着手,结合互联网络尤其是在线社交网络的发展趋势,介绍大数据在提升国家信息产业科学化水平、引领新型互联网经济发展、推动社会学与信息科学交叉发展等方面带来的重大机遇;分析在线社会网络中存在的关键问题,阐述网络大数据研究在语义理解与分析、多模态关联与融合、群体行为分析与挖掘、多维分析与可视化、系统的研发与集成等方面面临的巨大技术挑战,以及当前国内外在大数据分析和在线社交网络领域的主要研究工作;总结和展望网络大数据研究的未来方向和前景.     

电梯轿厢无随行电缆非接触供电系统设计

电梯轿厢随行电缆有碍美观且需要定期维护,为了摆脱对随行电缆的依赖,设计了一种新颖的电梯轿厢无随行电缆非接触供电系统,采用高频松耦合变压器实现电能的非接触传输.电梯轿厢升降运动时利用蓄电池的储能供电,非接触供电系统处于关闭状态;在每个楼层平层静止时,系统收到电梯平层信号,系统启动供电并对蓄电池充电.这种供电方式可以提高供电效率,减少高频电磁污染.分析了松耦合变压器的等效电路模型,研究了工作气隙、工作频率、补偿电容等对供电效率的影响.根据系统要求设计了简单高效的大功率开关电源充电器,稳压效果好,可靠性高.     

高压脉冲作用下水中硬岩的电场特性研究

高压脉冲液相放电由于其众多优势,广泛应用在岩石的破碎、石油开采、污水治理等领域.本文通过推导等效放电回路方程,得到放电电流及达到峰值电流的时间表达式,从而在COMSOL Multiphysics中定义脉冲电压,并将其加载在仿真模型的高压电极上.模拟仿真硬岩矿物组成、粒径、电极距离对电场强度和分布特征的影响.结果表明电场强度高度依赖矿石的电学性质、进料粒径、以及矿粒的位置.矿粒的介电常数差异越大,电场越强,分布越不均匀;电场强度向矿石边界转移,体现了电破碎的选择性破碎的机理,以及最大场强随着矿粒尺寸呈指数减小.     

用于并行调试环境的改进的物理时钟算法

为满足并行调试需要,时钟模型必须既能保证事件之间的逻辑顺序,又能为性能调试提供时间戳。现有的基于事件的物理时钟同步算法在时间戳上可能存在较大误差,为了降低误差,对现有算法进行改进。改进的算法依次对时钟偏移误差最大的局部时钟进行调整,调整的依据是两个节点之间消息的发送和接收具有对等性,调整的时候考虑了该进程和其它所有进程之间的通信传输。模拟结果表明:该算法以较小的时间代价,减少了90%左右的误差。该算法可以解决并行调试环境中的时钟同步问题。     

基于Range Test的交互式数据相关性分析技术

数据相关性分析是开发程序并行性最重要的技术之一 ,但是传统的自动数据相关性分析难以处理实际应用程序的复杂情况 ,而且 ,程序中固有的语义信息也无法为并行化工具所理解。这种状况限制了现有并行化系统的并行效果。一种新技术——交互式数据相关性分析可以改善这一状况 ,其中核心的数据相关性信息提取模块能够将自动数据相关性分析所得的不确定性结果转化成一些简单的问题并提交给用户 ,从而使用户与并行化工具紧密合作 ,改进数据相关性分析的结果 ,进而提高并行化系统的能力。交互式数据相关性分析技术已在清华大学开发的 TIPS并行化系统中实现了。     

PMU Guided Structure Data-Layout Optimization

Existing methods of obtaining runtime feedback for structure data-layout optimization have several drawbacks,such as large overhead and difficulty composing training sets.As a result,structure data-layout optimization is not widely used.To overcome these drawbacks,a performance monitoring unit(PMU) sampling method was developed with much less overhead and better portability and usability.An algorithm was developed to correct incomplete and inaccurate PMU sampling.With the corrected PMU feedback,a structure ...     

2.45 GHz工业微波电源控制系统设计

2.45 GHz微波磁控管在工业与家用中被广泛使用.用半桥LLC谐振变换器作为主电路,以STM8嵌入式系统为核心设计了电源的数字化控制系统,并通过改变主电路开关管的开关频率与占空比实现有源功率因数校正(APFC)以及输出功率调节.电源的输出为恒功率控制,同时加入了对过温、过压、过流的诊断与调节控制算法.实验结果表明,该电源可安全可靠的工作在软开关状态;并以额定功率为1.2 k W的不同型号磁控管验证了电源的负载自适应能力;输出功率可在500 W~1 200 W之间变化,步进值为20 W;在额定工作状态下输入功率因数可达到0.98,电源的效率高于95%,该电源成本较低,且可实现多单元总线控制.     

Communication Optimization for SMP Clusters

IntroductionShared Memory Processors ( SMP)workstation clusters are being used more andmore.The communication cost inside an SMPmachine is much less than the inter- machinecommunication cost.So tasks should be carefullyallocated to minimize the inter- machinecommunication.Figure 1 shows a simple executionmodel for an SMP cluster.The execution modelused here is simplified,with just onecommunication phase and we assume thatthe costof the calculation phase is equal for all paralleltasks.For…     

基于消息传递的科学应用通信模式特征分析

对Grapes,Mx3dg和TH-PaPSM三种应用程序的通信模式进行了分析.重点讨论了点对点消息的数量、大小和目的进程的分布情况,对并行应用程序中的消息局部性进行了量化研究.本研究对设计符合真实应用的测试程序、优化科学应用程序具有较好的参考价值.