BINELOCA 程序与广东岭澳核电站大破口失水事故分析

ＢＩＮＥＬＯＣＡ程序是在吸收国外先进大破口失水事故分析计算机程序的基础上，针对我国现有大破口失水事故分析程序的不足和工程应用方面的问题，采用了一些成熟的、新型的和当今国际公认的瞬态热工水力数学物理模型以及水和蒸汽性质参数计算公式改编而成的大破口失水事故分析程序。通过对广东岭澳核电站大破口失水事故的计算表明，ＢＩＮＥＬＯＣＡ程序计算的结果与法国计算的结果是一致的。     

Action semantics-directed prototyping

We present a methodology for compiler synthesis based on Mosses-Watt's action semantics. Each action in action semantics notation is assigned specific “analysis functions”, such as a typing function and a binding-time function. When a language is given an action semantics, the typing and binding-time functions for the individual actions compose into typing and binding-time analyses for the language; these are implemented as the type checker and static semantics processor, respectively, in the synthesized compiler. Other analyses can be similarly formalized and implemented. We show a sample language semantics and its synthesized compiler, and we describe the compiler synthesizer that we have developed.     

A calibration method for the energy-integrating function in photovoltaic system monitoring

Solar radiation has an irregularly varying factor due to a basic day and night cycle and climatic conditions. For such conditions a data sampling interval is important to ensure the accuracy of energy monitoring in a photovoltaic system. While treating a system monitoring equipment as a black box. the author has developed the method of calibrating an energy-integrating function. At first for various input waveforms, the relationship between sampling intervals and quasi-integration outputs have been examined by trapezoidal rule. In the numerical simulation the phases of the sampling clock also are considered Then it is concluded that a sampling interval can be inspected through outside observation only by using a rectangular single pulse. By applying the pulse to the energy-integrating process, two kinds of integrated outputs can be obtained for different sampling phases. The calculated difference between both outputs can uniquely give the sampling interval being inspected. Conditions to ensure measuring accuracy are discussed and the validity of this method has been demonstrated experimentally. Practical calibrating procedures also are proposed for the integrating function of PV system monitoring.     

A singular loop transformation framework based on non-singular matrices

In this paper, we discuss a loop transformation framework that is based on integer non-singular matrices. The transformations included in this framework are called Λ-transformations and include permutation, skewing and reversal, as well as a transformation calledloop scaling. This framework is more general than existing ones; however, it is also more difficult to generate code in our framework. This paper shows how integer lattice theory can be used to generate efficient code. An added advantage of our framework over existing ones is that there is a simple completion algorithm which, given a partial transformation matrix, produces a full transformation matrix that satisfies all dependences. This completion procedure has applications in parallelization and in the generation of code for NUMA machines. This work was supported by the Cornell Theory Center, NSF Presidential Young Investigator award #CCR-8958543. by NSF Grant #CCR-9008526, and by a grant from the Hewlett-Packard Company.     

视觉技术在YP19装封箱机中的设计与应用

介绍视觉技术在YP19装封箱机的装箱过程中的应用,简述视觉技术系统的基本组成、工作原理及软件设计。     

转炉煤气回收和放散自动控制系统改进

针对在煤气回收和放散调试过程中发现的问题,通过改进转炉煤气回收和放散控制系统,增加气动三通阀控制联锁信号,保证放散的高度可靠性和煤气自动回收的高度安全性。     

给排水设备的电气控制安装与调试

针对2011年和2012年全国中职院校竞赛项目使用的《建筑设备给排水控制调试装置》设备,对其电气控制部分的安装调试过程进行分解。     

智能高压开关柜自动识别系统研究

开关柜误操作造成的事故越来越成为影响电力行业安全生产的主要事故类型之一。鉴于此,文章研究了一套智能高压开关柜自动识别系统。本系统中开关柜侧的装置在柜门被打开时可播放语音提示信息,并将开关柜开门关门等事件通过PT2262编码,再无线发送传输到后台。后台接收后,经F330单片机软件解码,并在触摸屏上记录事件的类型和时间。该系统对防止由于工作人员选错开关柜造成的误操作有一定的效果。     

数字磁通门传感器的自动相位对准

三轴数字磁通门传感器信号处理电路的延时(相位延迟)及各轴延时不一致,影响数字滤波器的输出性能。提出了基于加权最小二乘法的互功率谱相位法计算延时的方法,针对该数字滤波器的特性,选择传感器的不同谐波信号对比分析相位延迟计算的精度,并设计了传感器的自动相位对准方法。实验结果表明:该计算方法精确有效,自动相位对准使滤波器输出性能提高25.89%。