摘要：本文针对磨矿破碎过程,提出一种分布式参数蒙特卡洛动力学方法的粒度分布预测模型和模拟算法.该算法采用了分段思想,将磨机沿着轴向分为若干个虚拟的子磨机;根据破裂、前向和后向移动三类微观事件定义了倾向函数和系统状态矩阵,并设计了分布式算法的调度策略.此外,针对蒙特卡洛动力学算法效率低的问题,提出了基于τ-leap的磨矿过程分布式参数蒙特卡洛模拟加速算法.为了解决分布式参数更新过程中状态不一致的问题,创新性地提出了一种基于缓冲区的同步方法.通过对仿真案例的分析表明,本文提出的分布式参数蒙特卡洛动力学算法具有较高的精度,提出的基于τ-leap的加速算法能够显著提高计算效率,同时保持较好的精度.

摘要：对自然海洋大气环境下炭纤维/环氧树脂基复合材料的模拟加速腐蚀方法进行探索。根据已有的环境谱,初步设计实验室仿自然海洋大气环境的加速腐蚀方法,并对腐蚀前后的试样进行一系列力学性能测试及微观观察。结果表明:模拟日光、温度和湿度的共同作用会引起炭纤维/环氧树脂基复合材料表面及内部的腐蚀,并且破坏树脂基体与炭纤维之间的界面。与自然大气环境腐蚀结果的比较验证了实验室采用的实验方法对自然海洋大气环境的模拟性。

摘要：模拟技术是进行计算机体系结构设计的重要方法。循环语句形成了SCMD的程序结构,使得少量源代码产生大量的Trace和超长的运行时间。本文从源程序的这一特征出发,构建基于循环缩减的Trace简化和模拟加速方法——Rasbora。Rasbora在程序源代码中添加指令,有选择地记录循环过程中的Trace内容,从而有效地简化Trace;并且在模拟过程中,识别循环体表现的相似性,用少量的循环体模拟近似代替所有循环的运行。经过测试表明,Rasbora方法可以有效地减少Trace量,缩减模拟时间,同时保证了一定精度的要求。

摘要：提出了面向高性能微处理器功能验证的全芯片验证平台的结构和构造方法,阐述了基于硬件加速器微处理器验证平台的实现。该验证平台提供了在线仿真和模拟加速两种验证模式,通用性好,已成功验证了自主设计的64位通用微处理器的正确性和兼容性。