浅谈试验室对混凝土拌合站的质量管理

从水泥、粗细集料、水、外加剂等方面阐述了试验室对拌合站所用原材料的质量控制，论述了试验室对拌合站计量设备的质量管理，并对拌合站混凝土的质量控制、混凝土试件制作等方面进行了介绍，以真正的管理好混凝土拌合站。     

可燃气体检测报警系统的分析和检修

分析可燃气体检测报警系统的组成和检修方法，并列举了根据故障现象进行分析和检修的实例。     

Current ISI and monitoring technologies in European energy industries

This paper reviews available information on the state of practice of inservice material property monitoring performed in European energy industries. Current practice includes a range of standard nondestructive testing and monitoring methods, improved remote sampling and surveillance specimen testing, and new monitoring techniques which are emerging from ongoing development programs. These new technologies include ultrasonic, positron annihilation, neutron diffraction, and magnetic techniques.     

The integral experiment on beryllium with D-T neutrons for verification of tritium breeding

A clean benchmark experiment on beryllium was performed with D-T neutrons at the FNS facility of the Japan Atomic Energy Agency. The main objective was to verify the integral data related to the tritium production on lithium isotopes. Tritium production rates, as well as activation reaction rates were measured inside the beryllium assembly that was shaped as a pseudo-cylindrical slab with an area-equivalent diameter of 628 mm and a thickness of 355 mm. Experimental results were analyzed with a three-dimensional Monte Carlo transport code MCNP-4C and FENDL/MC-2.0, JENDL-3.2/3.3 neutron transport libraries. Evaluation of reaction rates was based on the cross section data taken from the JENDL Dosimetry File and ENDF B-VI data libraries. Analysis shows that all calculation combinations (transport and activation cross section libraries) used for evaluation of reaction rates give data that is agreeable with measured values within 10%.     

一种识别薄板对接接头的视觉方法

对薄板紧密对接接头的识别问题进行了深入的分析，提出了由照明、自适应局部特征提取、全局特征识别和验证融合在一起的视觉识别方法。它克服了电弧光的干扰，识别结果可靠，可以有效地解决薄板紧密对接接头识别这一难题。     

Diagnostic Data Compression Techniques for Embedded Memories with Built-In Self-Test

A system-on-chip (SOC) usually consists of many memory cores with different sizes and functionality, and they typically represent a significant portion of the SOC and therefore dominate its yield. Diagnostics for yield enhancement of the memory cores thus is a very important issue. In this paper we present two data compression techniques that can be used to speed up the transmission of diagnostic data from the embedded RAM built-in self-test (BIST) circuit that has diagnostic support to the external tester. The proposed syndrome-accumulation approach compresses the faulty-cell address and March syndrome to about 28% of the original size on average under the March-17N diagnostic test algorithm. The key component of the compressor is a novel syndrome-accumulation circuit, which can be realized by a content-addressable memory. Experimental results show that the area overhead is about 0.9% for a 1Mb SRAM with 164 faults. A tree-based compression technique for word-oriented memories is also presented. By using a simplified Huffman coding scheme and partitioning each 256-bit Hamming syndrome into fixed-size symbols, the average compression ratio (size of original data to that of compressed data) is about 10, assuming 16-bit symbols. Also, the additional hardware to implement the tree-based compressor is very small. The proposed compression techniques effectively reduce the memory diagnosis time as well as the tester storage requirement.     

水文化研究的现代视野

水文化与人类文明同步。与水文化作为母体文化的传统优势相比,现代水文化研究的冲击力显得极其不足。应该在现代文化的视野下寻找水文化研究更为宽阔的出路。现代水利科技是水文化的主体,水资源短缺的危机为现代水文化提出了挑战;水与经济互动发展拓展了现代水文化的空间;农村饮水安全问题使水文化与人文素质相互渗透;农村水库生活与和谐社会建设为水文化提供了新的诠释。     

Trace,failure and testing equivalences for communicating processes

A basic question in the theory of communicating processes is “When should two processes be considered equivalent?”. Attempts to answer this question have led to the concepts of observation equivalence, bisimulations, testing equivalence, failure equivalence, etc. The main point of this paper is to increase the understanding and motivation for two of these equivalences, namely failure and testing equivalences. The approach starts with the idea that the equivalence of processes should be reducible to the visible sequences of actions which a process performs in various contexts. This idea is implemented by a string-based semantic order for communicating processes where divergence is catastrophic. Under some assumptions about contexts, the resulting semantics is shown to be equivalent to theimproved failure semantics of Brookes and Roscoe⁽¹⁾ and also to themust testing-semantics of Hennessy and DeNicola.^(2–4) This characterization gives independent support for the appropriateness of failures and testing.     

Increasing testing productivity and software quality: A comparison of software testing methodologies within NASA

Pressure to compress the development life cycle and reduce the duration and resources committed to testing lead to experimentation in testing at the NASA Goddard Space Flight Centerís Software Engineering Laboratory. This study investigates the trend to reduce developer testing and increasingly rely upon inspection techniques and independent functional testing to shorten the development life cycle, improve testing productivity, and improve software quality.An approach is developed to conduct this comparison. In particular, the problem faced by software researchers, having a comprehensive characterization of software projects so similar types may be identified for comparative studies, is addressed using expert opinion.     

Three-Dimensional Solution and Experimental Confirmation for the Electric Resistivity Testing of Surface-Breaking Defects in Green-State Powder Metallurgy Compacts

This paper investigates electrostatic voltage distributions around a surface-breaking flaw due to an injected current of known strength. The direct 3-D solution of the voltage behavior over the flawed surface is obtained numerically by the use of a boundary integral formulation. A novel iteration method is applied to solve the resulting electrostatic integral equation for the unknown surface voltage distribution. In addition to investigating the sensitivity of different flaw sizes to the observed surface voltage distribution, important issues such as suitable probe spacing and current flow orientation are studied. For sufficiently small surface-breaking flaws, a simple image source model is developed to evaluate the voltage response of hairline cracks. The model is tested by comparing it with the developed numerical solution. Experiments aimed at establishing the validity of the modeling approach show remarkable agreement with the theoretical model.