A very light and thin liquid hydrogen/deuterium heat pipe target for COSY experiments

A liquid hydrogen/deuterium heat pipe (HP) target is used at the COSY external experiments TOF, GEM and MOMO. The target liquid is produced at a cooled condenser and guided through a central tube assisted by gravitation into the target cell. An aluminum condenser is used instead of copper, which requires less material, improves conductivities and provides shorter cooling down time. Residual condenser temperature fluctuations in the order of ≈0.4 K are reduced by using thermal resistances between the cooling machine and the condenser of the heat pipe combined with a controlled heating power. A new design with only a 7-mm-diameter HP has been developed. The diameter of the condenser part remains at 16 mm to provide enough condensation area. The small amount of material ensures short cooling down times. A cold gas deuterium HP target has been designed and developed which allows protons with energy ?1 MeV to be measured. A 7-mm-diameter HP is used to fill a cooling jacket around the D₂ gas cell with LH₂. The D₂ gas is stabilized at 200 mbar to allow for thin windows. Its density is increased by factor 15 compared to room temperature.     

Operations on logic functions and variables through sign Haar spectra

A non-linear transform, called “sign Haar transform” has recently been introduced. The transform is unique and converts binary/ternary vectors into ternary spectral domain. Recursive definitions for the calculation of sign Haar transform are developed. Essential properties of logic functions and variables in the spectral domain of a quantized transform based on Haar functions are presented. Sign Haar transform has the smallest computational cost of all the quantized transforms. The properties of logic functions are listed for two different codings of incompletely specified functions.     

面向主体的系统开发方法

面向主体的技术是分析、设计和实现分布式信息系统的一种新方法。本文详细地介绍了利用主体技术进行系统分析、设计、实现、规范、验证的技术和方法，最后讨论了应用此方法和技术应注意的问题。     

Reasoning about Action Systems using the B-Method

The action system formalism has been succesfully used when constructing parallel and distributed systems in a stepwise manner within the refinement calculus. Usually the derivation is carried out manually. In order to be able to produce more trustworthy software, some mechanical tool is needed. In this paper we show how action systems can be derived and refined within the B-Toolkit, which is a mechanical tool supporting a software development method, the B-Method. We describe how action systems are embedded in the B-Method. Furthermore, we show how a typical and nontrivial refinement rule, the superposition refinement rule, is formalized and applied on action systems within the B-Method. In addition to providing tool support for action system refinement we also extend the application area of the B-Method to cover parallel and distributed systems. A derivation towards a distributed load balancing algorithm is given as a case study.     

砂岩型铀矿弱信息提取及综合评价方法技术研究

砂岩型铀矿弱信息提取及综合评价技术是当前铀矿勘查中的重要研究内容之一。通过近几年的研究，提出了航磁、航放弱信息提取的内涵，研究了航磁、航放弱信息形成理论，建立了有效的弱信息提取数学模型；基于GIS软件，实现了弱信息提取模型，并开发了专家打分综合评价模型。在某地区，应用GIS软件完成了航磁、航放弱信息提取试验和铀资源综合评价。研究结果表明，弱信息提取和综合评价技术可快速缩小砂岩型铀矿找矿靶区，提高预测精度。     

整合统计的结构损伤动力诊断三步法

结构损伤诊断是结构健康监测的核心内容之一。在部分前人工作的基础上，针对土木工程结构损伤识别的妻求(单元级诊断)及实际工程中存在的测试噪声干扰问题，结合统计方法发展了一套由损伤识别、损伤定位的单元筛选和搜索、单元损伤反演组成的三阶段结构损伤诊断流程。利用钢筋混凝土三跨连续梁的有限元模型，在存在较大测试误差(模态随机噪声)的条件下，对单／多损伤工况进行了险证诊断，结果表明该流程强健有效，具有良好工程应用前景。     

浅析连续采煤机故障检测技术研究

研究了采煤机在不影响生产的情况下故障检测方法，分析了采煤机故障振动检测、油液分析技术、声学检测法、人工智能和智能诊断、专家系统等方法的特点和应用，并对采煤机故障检测发展方向作了简单探讨。     

The adaptive da/dN method: a solution to the problem of processing crack growth data

The standard fatigue data‐processing procedure, published in ASTM E647, is not adapted to the use of modern crack length measurement techniques. Because the use of this standard is usually required by journals, the raw data are often reduced to only a few data points. This way valuable information is simply thrown away and mathematical errors are unintentionally made. More importantly, the fact that no satisfactory reduction method exists, has led to destandardization of the processing procedure. Therefore, a new standard processing method is desired. In this paper a new data‐processing method, referred to as the ‘adaptive da/dN method’, is proposed and discussed. This method is suitable for both optical and modern (electrical or automated) measurement techniques as well as modern (computer‐assisted or ‐controlled) processing techniques. The adaptive da/dN method is validated both by data generated with a certain amount of scatter as well as actual experimental data. It shows a more accurate behaviour than the ASTM standards for all data types.     

Fatigue behaviour of welded joints with cracks, repaired by hammer peening

Rehabilitation of a welded structure, which involves repair of cracked joints, is achieved when the local treatment for repair gives a fatigue strength in the joint equal or above the fatigue strength of the uncracked original detail. If the treatment is properly applied the rehabilitation of the detail is assured, and the nature of the weld toe improvement methods can produce a joint, after repair, with a fatigue strength and residual life greater than the initial detail. The paper presents the results obtained on a fatigue study on the rehabilitation of non‐load carrying fillet welded joints loaded in bending at the main plate and with fatigue cracking at the weld toes of the attachment in the main plate and though the plate thickness. Residual stresses were measured at the surface, with X‐ray diffraction. The residual stresses induced by hammer peening at the weld toe were found to be greater along the longitudinal direction of the plate than in the transverse direction. The peak residual stresses near the weld toe were found to be close to yield in compression, justifying the great benefit of hammer peening. Results of a derived gain factor, g, in fatigue life were obtained as a function of the crack depth repaired by hammer peening.     

Using Hazard Functions to Assess Changes in Processing Capacity in an Attentional Cuing Paradigm.

Processing capacity-defined as the relative ability to perform mental work in a unit of time-is a critical construct in cognitive psychology and is central to theories of visual attention. The unambiguous use of the construct, experimentally and theoretically, has been hindered by both conceptual confusions and the use of measures that are at best only coarsely mapped to the construct. However, more than 25 years ago, J. T. Townsend and F. G. Ashby (1978) suggested that the hazard function on the response time (RT) distribution offered a number of conceptual advantages as a measure of capacity. The present study suggests that a set of statistical techniques, well-known outside the cognitive and perceptual literatures, offers the ability to perform hypothesis tests on RT-distribution hazard functions. These techniques are introduced, and their use is illustrated in application to data from the contingent attentional capture paradigm. (PsycINFO Database Record (c) 2010 APA, all rights reserved)