板式换热器缝隙腐蚀

根据影响缝隙腐蚀的因素,分析了垫片式与焊接式2种板式换热器存在的各种缝隙腐蚀,提出了相应的解决措施,通过合理的结构设计控制腐蚀速度,可以提高板式换热器使用的可靠性。     

互模拟准局部验证算法的扩展与实现

互模拟是并发系统的分析和验证的一个重要概念。本文主要扩展了一种由Du和Deng提出的准局部算法,使其更加适用于一般的标记迁移系统。我们用Java实现扩展后的准局部算法与Fernandez和Mounier提出的局部算法。我们以VLTS为实验数据基准,进行大量的实验,发现在大多数情况下,前者的性能比后者更好。同时,我们修改了算法使其能够验证模拟关系。最后,我们用Java实现对标记迁移系统进行转换,使算法同时可以验证弱互模拟关系。     

一种轻量级的处理器核性能分析框架

面向国产处理器核心性能提升的实际需求,针对处理器核RTL设计中可能出现的性能缺陷问题,提出了一种基于RT L仿真的轻量级处理器核性能分析框架.该性能分析框架基于定向和随机测试激励,通过对基准处理器核(Base Core)和新一代处理器核(New Core)的RT L设计进行快速模拟仿真,并对模拟结果进行对比分析,从而发...     

板式换热器波纹板片设计

根据试验结果和实践经验提出了 1种传热系数较高、流体阻力小、承压能力大且模具制造方便的波纹板片     

船舶用板式换热器

板式换热器作为高效、紧凑换热设备的首选 ,已大量应用于工业中。我国板式换热器大多用在食品、轻工、机械和民用建筑的集中供热、硫酸和制碱等行业中 ,已取得很好效果。兰州石油机械研究所凭借国内板式换热器技术的领先优势 ,成功地将板式换热器应用于船舶 ,开拓了一个新的应用市场。1　工况特点船用板式换热器的工作环境是非常苛刻的动态环境 :①可能遭遇振动、冲击、大角度倾斜及噪音等工况。②冷却介质一般是海水 ,含盐浓度大 ,工作环境湿度高 ,腐蚀性强。③船舶对板式换热器所占的空间和质量有严格限制。我们开发的船用ＢＲ0 5Ａ板式换…     

如何提升宁东运营部安全生产管理

本文针对宁东运营部现行的安全生产管理制度入手,反思其中导致出现运营事故的弊端所在,探讨如何从安全生产管理制度、强化管理环节、完善监控措施入手来全方位的提升运营部的生产安全,从而建立一套合理系统的安全管理体系。     

基于FPGA的非编码RNA基因检测算法加速器研究

ncRNA(非编码RNA)是一类重要的遗传物质,它通过多种机制调控着基因的表达。由于缺少编码RNA基因所具有的典型特征,ncRNA基因的检测成为生物信息学RNA研究领域的热点问题。QRNA是目前该领域最典型使用最广泛的程序之一,但受限于O(L3)计算复杂度,传统的软件预测方法并不能满足日常研究的需要。本文基于FPGA平台实现了一种细粒度的并行ncRNA检测算法,利用CPU加FPGA的方案对QRNA程序实现细粒度并行,采用按矩阵列循环划分的任务分配策略实现处理单元间的负载平衡;采用数据预取、滑动窗口和数据传递流水线实现处理单元间的数据重用,减少片外访存开销。在单片FPGA上集成了由8个处理单元构成的计算阵列。实验结果表明,与运行在AMD四核9650处理器上的QRNA-2.0.3c程序相比,可获得超过18倍的加速效果,并且FPGA加速器功耗仅为通用微处理器平均功耗的20%。     

雷电数据产品的开发应用技术思路

通过使用雷电探测定位系统、卫星云图和雷达回波图像等资料,针对雷电数据进行技术分析。雷电探测定位系统在输配电线路、灾害性天气、森林防火等方面应用范围十分广泛,本文采用雷电数据实时进行质量控制,将数据处理成雷电分时图、三维立体图、卫星云图＋雷达回波＋雷电数据合成图等图像产品,为雷电预测预报提供了方便,并制定了雷电数据产品的文件命名规定和格式,以及雷电数据产品的叠加显示方式。     

基于生存分析的学区衔接路网交通拥塞持续时长研究

为探究学区衔接路网交通拥塞持续时长的影响因素,以交通拥塞持续时长为研究对象,在生存分析基础上引用列线图方法构建拥塞时长预测模型.引用生存分析法(SAM)对昆明市五华区学区衔接路网的交通拥塞数据进行分析.选择Log-Rank检验法—Kaplan-Meier法和Cox回归分析法实现单、多因素生存分析,在此基础上应用R软件构建交通拥塞持续时长生存率的列线图预测模型,采用ROC曲线下面积(AUC)和校准曲线对其预测精度进行评价,另外还收集了516组数据作为验证组进行外部验证.结果表明：昆明市五华区学区衔接路网交通拥塞持续时长共8个显著影响因素,包括周数、交通峰时、平均速度、车道数(双向)、公交站有无设置、事故类型、是否处于学校寒暑假、是否频繁变换道.预测5 min、10 min、15 min后交通拥塞持续时长生存率的AUC分别为0.677、0.721、0.683,具有良好的区分度,且校准曲线反映模型准确性良好.对列线图预测模型进行外部验证,绘制ROC曲线发现,预测交通拥塞持续时长生存率的AUC分别为0.754、0.836、0.802,表明该模型有较高的预测价值.     

一种CDC信号滑动窗口时序分析方法

异步时钟域设计中CDC信号的时序分析及收敛是超大规模高频数字电路设计功能正确的重要保证。为了减少设计面积,提出了一种CDC信号滑动窗口时序分析方法,该方法在每种corner的每条CDC通路上单独设置适当的时序约束窗口进行时序计算与分析,有效避免了常用的固定约束分析方法由于约束条件过严导致的虚假时序违反及不必要的时序修复,而使设计面积增大的问题,减轻了CDC电路的后端设计工作量。在16 nm工艺下的实验结果表明,该方法在时钟树偏差较大时与固定约束分析方法相比显著节省了设计面积。