A functional correspondence between call-by-need evaluators and lazy abstract machines

We bridge the gap between compositional evaluators and abstract machines for the lambda-calculus, using closure conversion, transformation into continuation-passing style, and defunctionalization of continuations. This article is a followup of our article at PPDP 2003, where we consider call by name and call by value. Here, however, we consider call by need.We derive a lazy abstract machine from an ordinary call-by-need evaluator that threads a heap of updatable cells. In this resulting abstract machine, the continuation fragment for updating a heap cell naturally appears as an ‘update marker’, an implementation technique that was invented for the Three Instruction Machine and subsequently used to construct lazy variants of Krivine's abstract machine. Tuning the evaluator leads to other implementation techniques such as unboxed values. The correctness of the resulting abstract machines is a corollary of the correctness of the original evaluators and of the program transformations used in the derivation.     

光谱分析的微机测试

介绍了一种用光电倍增管将光信号转换为电信号,再将此信号放大经模数转换后输入到微机、打印机等设备的一套光谱分析的微机处理方法,此种方法与传统的干板照像法进行比较,在进行光谱分析时省时、省力、误差小,实现了光谱分析的微机化。     

水电站零压起动和变频技术在线路融冰中的应用

通过理论计算和现场在用的设备相结合,利用小水电站零电压起动、变频,均压起励的方法融冰取得良好、效果。     

基于函数插值的柯氏质量流量计信号处理方法

对基于离散傅里叶变换(DFT)信号处理方式的柯氏质量流量计来说,影响其精度的关键问题是如何实现信号的整周期采样。提出了一种全新的方法,用采样率固定不变的采样数据,通过软件实时地确定信号的频率并且实现信号整周期重新采样。实验结果表明该方法在求取相位差时具有极高的精度。     

T型发射区单晶硅太阳电池的输出特性研究

利用TCAD半导体器件仿真软件对具有T型发射区结构的单晶硅太阳电池进行了仿真研究。全面系统地分析了在不同衬底少子寿命情况下,不同T型发射区深度对太阳电池外量子效率、短路电流密度、开路电压、填充因子及转换效率的影响。仿真结果表明:采用T型发射区结构可在一定程度上提高常规均匀发射区太阳电池的电学性能;T型发射区结构对700~1200nm长波段入射光的外量子效率具有明显的改善作用;当衬底少子寿命一定时,太阳电池短路电流密度、填充因子均随T型发射区深度的增大而增大,而开路电压随T型发射区深度的增大而减小;当T型发射区深度大于80μm时,对于低衬底少子寿命的单晶硅太阳电池,T型发射区结构对其转换效率的改善效果最为显著。     

变频调速技术在局部通风机中的应用

变频调速技术,正是顺应了工业生产自动化发展的要求,一改普通电动机只能以额定的转速运行的固定模式,使得电动机及其负载在无须任何改动的情况下即可以按照我矿生产要求调整功率输出,从而降低电机功耗以达到设备高效运行的目的。     

天然气置换后铸铁管承插接口漏气对策

分析了天然气置换人工煤气后铸铁管道承插接口漏气原理,介绍了4种解决方案:管道更换、PE管内衬、接口修补及燃气加湿,对其进行了技术经济比较。     

PROCONTROL-P控制系统人机接口分析与改造

对南阳鸭河口电厂MMI系统存在问题进行了分析,提出相应改造方案并对2台机组PROCONTROL-P系统MMI进行了升级改造。改造采用通用PC及主流操作系统,并采用先进可靠的快速网络技术,有效地提高了现有PROCONTROL-P控制系统的安全可靠性和设备的技术水平,大大降低了系统维护成本。     

A computer program for internal conversion coefficients and particle parameters

Title of program: CATAR Catalogue number: ABGP Program obtainable from: CPC Program Library, Queen's University of Belfast, N. Ireland (see application form in this issue) Computer: UNIVAC 1108; Installation: Sandoz A.G., Basel, Switzerland Operating system: EXEC 8 Programming language used: FORTRAN IV High speed store required: 26K words No. of bits in a word: 36 Overlay structure: None Number of magnetic tapes required: None Other peripherals used: Card reader, line printer Number of cards in combined program and test deck: 3136 Card punching code: BCD     

选矿浓缩过程矿浆浓度的模糊控制

针对治金行业选矿浓缩过程的工艺特点,介绍了基于变频技术的矿浆浓度模糊控制,较好地控制了浓度指标,同时也稳定了矿浆流量并大幅度节能降耗。该设计已在宝钢、武钢等选矿厂中得到成功应用,效益显著。