Static safety guarantees for a low-level multithreaded language with regions

We present the design of a formal low-level multithreaded language with advanced region-based memory management and thread synchronization primitives, where well-typed programs are memory safe and race free. In our language, regions and locks are combined in a single hierarchy and are subject to uniform ownership constraints imposed by this hierarchical structure: deallocating a region causes its sub-regions to be deallocated. Similarly, when a region is read/write-protected, then its sub-regions inherit the same access rights. We discuss aspects of the integration and implementation of the formal language within Cyclone and evaluate the performance of code produced by the modified Cyclone compiler against highly optimized C programs using pthreads. Our results show that the performance overhead for guaranteed race freedom and memory safety is in most cases acceptable.     

CFD模拟旋风分离器自然旋风长

利用计算流体力学软件Flowizard对不同结构尺寸的旋风分离器气相流场进行数值模拟采用分离器锥体段中心湍动能峰值定位自然旋风长的方法，分析了入口面积、芯管下口直径、下溢口直径和锥体段长度对自然旋风长的影响。拓展了分离器内部流场由多个自然转折旋风串联的概念。通过增加锥体段长度和入口风速来实现旋风串联、多级分离的效果，延长自然旋风长，有益于提高分离效率。     

旋流器内液滴聚结机理的研究

旋流分离技术始于上世纪70年代。水力旋流器作为一种结构简单、操作方便、成本低、易于实现自动控制、分离效果较好的非均相分离设备在气-固、液-固、气-液、液-液等非均相物质分离过程中得到了广泛的应用。它是由一个短的圆柱筒和一个单锥或双锥简体形成一个旋流腔,并有一个或多个切向入口,两个轴向出口。图1为旋流器的工作原理示意图。混合物料由泵通过切向入口送入旋流腔内,从而在腔内高速旋转产生离心力场。在离心力作用下,混合物内密度大的分散相颗粒或液滴发生离心沉降,迁移到四周,从而沿着壁面向下旋动,最后作为底流排出。密度小的分散相颗粒或液滴则向中间迁移,并沿轴线向上旋动,最后作为溢流排出。这样就完成了具有密度差的两相的分离。     

导叶式旋风管整流罩减阻的实验研究

研究开发了一种新型减阻结构——整流罩,安装在排气管的入口处。此减阻元件可以减弱旋风管内旋流的旋转强度,而对外旋流基本没有影响,从而可以在保证总效率基本不变的情况下,较大程度地降低旋风管的压降,达到减阻的目的。     

旋风分离器芯管结构改进的试验研究

在PV型旋风分离器的基础上对其芯管结构进行了改进,并通过正交试验得到了一种新的斜切芯管结构。性能对比试验结果表明,当入口气速为20m/s时,相对于基准模型,改进结构的压降平均降低10%,跑损率降低15%。     

基于FPGA的GF(2m)域求逆算法的设计研究

有限域GF(2m)上的椭圆曲线密码体制以其密钥短、安全强度高的优点获得了广泛的重视和应用,该密码体制域运算中最费时的运算是有限域上的求逆运算。论文提出一种基于多项式基乘法和平方的FPGA快速求逆设计方法,并给出了面积与速度的比较分析。     

循环旋风分离器内气液两相流动数值模拟

采用雷诺应力模型RSM对循环旋风分离器内气液两相流动的情况进行了数值模拟研究,讨论了循环旋风分离器内切向速度、轴向速度、径向速度、压力场、雷诺应力的分布特点以及相同入口速度下分离器内液滴运动轨迹与分离器的分离效率。数值模拟结果表明,循环旋风分离器切向速度呈现明显的驼峰状,轴向速度上行流和下行流明显,径向速度相对较小,压力由轴心向外逐渐升高,雷诺应力分布复杂且无明显规律,分离器对小直径液滴分离效率较低,入口速度对分离效率的影响比较明显。     

除油型旋流器压降比特性试验研究

在室内试验装置上对单锥除油型水力旋流器的压降比特性进行了试验研究。研究结果表明 ,除油型旋流器压降比的主要影响因素有分流比、入口流量和溢流背压等操作参数 ;溢流背压对压降比的影响存在一“门槛值”。根据试验结果 ,建立了除油型水力旋流器压降比的半经验计算模型     

φ4.0m旋风式选粉机常见问题处理

φ4.0m旋风式选粉机常见的循环风机叶轮磨损,内衬脱落和选粉效率低等问题,通过改善循环风机进风的环境,用混凝土改造内衬和用笼式分级圈改造回转机构等措施,取得了良好的效果。     

基于FPGA的数据采集系统的研究与实现

针对生产现场的实际要求,利用FPGA集成开发软件Quartusll和Verilog硬件描述语言,基于Cyclone系列芯片设计实现了实时数据采集系统。从设计思路、实现方案以及调试结果等几方面详细阐述了FPGA协调控制下的数据实时采集、存储、传输等实现过程。相关运行结果表明系统性能稳定、响应快速,完全满足设计要求,验证了设计实现方案的可行性和有效性。