一种针对位操作密集应用的扩展指令自动选择方法

本文提出一种结合位操作分析和变换的扩展指令自动选择方法。该方法在数据流图中引入新的位操作中间表示结点，可精简地描述位访问操作。编译器可对程序数据流图进行选择性循环展开和位操作分析优化，并将其转换为带有直接表示位赋值操作结点的数据流图。实验结果表明，基于新的数据流图进行扩展指令选择可有效提升位操作密集型应用的性能     

用于连铸厚板坯的卧式喷号机除鳞喷印程序优化实践

在连铸厚板坯生产中，通常使用卧式喷号机对下线板坯侧面进行喷号标记，在板坯倾斜的情形下随着喷号机横移会出现喷号机横移卡阻以及除鳞旋转卡阻，不仅影响喷印效果甚至对喷号机造成损伤。本文通过分析喷号机除鳞、喷印工作原理提出优化程序，优化程序投入使用后喷号机在板坯倾斜的情形下能够自动调整恢复除鳞、喷印距离使除鳞、喷印顺利完成。     

适用于两级流水线逐次逼近型模数转换器的LMS校准算法（英文）

提出了适用于两级流水线逐次逼近型模数转换器的一种基于最小均方(LMS)算法的数字域校准方法。在对该模数转换器结构中误差来源详尽分析之后,提出的校准算法将各种误差来源视为一些未知的参数,通过注入扰动信号来估计这些未知参数。所提出的校准算法通过一个14位两级流水线逐次逼近型模数转换器的MATLAB的行为级建模得到验证。在满摆幅2.4Vpp、输入信号2Vpp的情况下,蒙特卡洛仿真结果表明校准之后的SNDR值为83.84dB。     

基于OpenFOAM的熔融池自然对流传热与凝固数值研究

熔融物堆内滞留是第3代核电技术重要的严重事故缓解措施之一,堆芯熔融池在压力容器下封头壁面的热流密度分布直接影响该策略的有效性。本文基于开源的数值计算流体力学软件平台OpenFOAM,应用相变模型和浮升力模型二次开发了用于模拟堆芯熔融物由内热源或温差驱动的自然对流传热与相变求解器。应用该求解器模拟了瑞典皇家理工学院开展的二维氧化池与金属层耦合传热试验,获得了氧化池和金属层硬壳的相场,以及熔融池内的温度分布及沿容器壁面的热流密度分布。计算结果表明,该模型可用于熔融物凝固与自然对流的模拟,为深入分析核电厂采用熔融物堆内滞留措施后熔融池的行为奠定了基础。     

基于激光多普勒测量的6×6棒束间湍流流动研究

采用3D激光多普勒测速装置研究了6×6棒束间的流场分布。实验选择了5种工况进行研究,雷诺数范围为6.6×103~7.03×104。其中6×6棒束试验段几何结构模拟相邻组件的布置方式。实验设置两种测量模式,第1种模式选择从试验段侧边测量,获得了距定位格架不同位置处的轴向速度和湍流强度的分布;第2种测量模式选择从试验段出口端面进行测量,获得了出口截面子通道间的三维速度和雷诺应力分布。通过对比不同雷诺数下的实验结果,分析了雷诺数对此次6×6棒束实验的影响。比较发现在雷诺数为6.6×103的情况下,存在低雷诺数效应。     

面向模型检验的跨时钟域设计电路 特性生成方法

对跨时钟域设计进行功能验证是SoC验证中的难点问题.传统的面向跨时钟域设计的模型检验方法并没有充分考虑电路特性描述的完整性问题,然而制订完整的电路特性是模型检验有效性的基础,不全面的电路特性描述将可能隐藏设计错误.为生成完整的描述跨时钟域设计的电路特性,本文首先提出基于有限状态自动机的电路特性生成方法;然后为缓解状态空间爆炸问题,提出基于亚稳态的数值化简策略.通过对两个典型的跨时钟域设计进行实验的结果表明,采用本文方法不仅能够达到100%的电路特性覆盖率,而且可以发现被传统方法隐藏的功能错误.同时模型检验的时间代价也能够得到大幅度降低.     

面向访问需求的数据缓存泄漏功耗管理方法

 本文提出面向访问需求的数据缓存泄漏功耗管理方法,根据访存指令对数据缓存的访问需求控制数据缓存的活动.当流水线中未发现访存指令时,将整个数据缓存保持在非活跃状态;而当发现访存指令进入流水线时,采用两种数据缓存访问控制策略以及对这两种策略的动态选择机制,在流水线早期捕获访存地址的访问需求,对数据缓存的活动作出精细控制.实验结果表明,在平均情况下,本文方法将数据缓存的泄漏功耗降低85.4%,而处理器性能提升4.41%,比传统方法在功耗与性能方面均达到更优结果.     

基于多目标演化算法的测试程序生成

针对现有的演化测试程序方法只以覆盖率为优化目标的问题,提出一种使用多目标演化算法的测试程序生成方法.该方法把测试程序生成归结为多目标优化问题,以提高覆盖率和减少模拟执行周期作为优化目标;根据模拟器反馈回的信息,使用多目标演化算法来自动引导生成新的测试程序.使用该方法对北大众志UniCore32-2微处理器进行实验的结果表明,在保证覆盖率指标的前提下,采用文中方法生成的测试程序模拟执行时间是现有方法的12.92%,是手写测试程序集的3.62%.     

等级关联的粒子群迭代多目标检测跟踪

针对目标在跟踪过程中受环境变化影响(光照、遮挡等)使其跟踪发生偏移的问题,提出一种从目标粗匹配到粒子群算法精确定位的等级关联结构的多目标跟踪算法.与现有跟踪算法相比,在粗匹配阶段粒子随机产生过程中融入了上下文信息,提高了目标匹配的准确度,降低了错误跟踪的目标数;对于在粒子群精确定位阶段有显著偏差的目标位置,采用Metropolis-Hastings采样算法进行纠正,同时完成模板更新,从而保证了目标跟踪的准确性.实验结果表明,该算法在目标被遮挡的情形下能够准确地跟踪被遮挡的目标.     

面向处理器的系统级模拟、仿真及调试技术——基于软硬件协同设计的新方法

基于软硬件协同设计技术提出了基于系统的模拟仿真和调试方法（SSED）,其基本思想是：在模拟和仿真时建立真实的运行环境;利用可重定目标编译器和汇编器生成将C应用程序转换成汇编语言、执行代码及模拟和仿真的输入向量;利用时间模型进行汇编级调试;对运行结果进行分析。利用该方法设计Jbcore16的过程说明,该方法可进一步加速处理器的逻辑验证,方便对处理器设计的调试。