Development of microphone leak detection technology on Fugen NPP

A method of leak detection, based on high-temperature resistant microphones, was originally developed in JNC to detect leakages with flow rates from 1 m³/h to 500m³/h. The development performed on Fugen is focused on detection of a small leakage at an early stage. Specifically, for the inlet feeder pipes the leak rate of 0.2gpm (0.046m³/h) has been chosen as a target detection capability. Evaluation of detection sensitivity was carried out in order to check the capability of the method to satisfy this requirement. The possibility of detecting and locating a small leakage has been demonstrated through the research.     

Fuzzy logic for signal prediction in nuclear systems

In this paper, we present a fuzzy logic-based algorithm which allows to build a predictive model of an evolving signal. The if-then rules are inferred from the available input-output data. The errors of the model predictions with respect to the measured plant signals can then be used to detect, in real-time, any deviation of the process due either to a component's failure or to an operator's action. Applications of the approach are presented with respect to a chaotic time series of literature and to the water level in the steam generator of a PWR.     

基于流场数值模拟的ADS靶件结构的设计优化

采用通用的计算流体力学（CFD）软件PHOENICS 3．3和BFC计算网格生产技术，对加速器驱动次临界系统（ADS）靶件的流场进行数值模拟计算。结果表明：束窗下方导流板起引导流体沿束窗表面流动的作用，消除了束窗两侧下方较大的旋涡，对于改善束窗附近流体的流动结构、提高束窗表面及散裂靶的换热，效果显著。     

新型无机闪烁体CeF3的时间特性研究

CeF3是新型快响应无机闪烁体．对近年国内研制的CeF3无机闪烁体的时间特性进行了研究，包括脉冲辐射诊断所关心的CeF3对快脉冲γ辐射源的时间响应．如上升时间、半高竟、脉冲后沿；同时推算并使用了用脉冲法获得晶体发光衰减常数的简单估算公式，获得的CeF3衰减常数值与国外研究同行其它测量方法得到的结果基本一致。     

现代高层建筑全自动控制系统中水位检测、水质监测模糊控制系统开发

文章介绍了现代高层建筑全自动控制系统中，利用主控计算机对检测到的水位信号，监测到的水质信号进行模糊化处理。并通过单片机带动执行机构进行水位调整，以获得节水、节电、节能及保证水质的良好效果。     

九江三期1号主变出厂冲击试验失败原因及处理

九江三期发电工程采用两台 4 4 5MVA主变压器 ,分别将两台 35 0MW发电机的 2 3kV出口电压升高到 2 2 0kV接入升压站。其中 1号主变压器在制造厂进行冲击试验时 ,两相高压绕组发生绝缘击穿 ,未通过冲击试验。针对该变压器的此次冲击试验造成的损坏部位及形成原因进行分析 ,找出变压器的绝缘设计和制造工艺上的缺陷 ,提出处理措施 ;另一方面通过比较此次雷电冲击电压与操作冲击电压对变压器绝缘损坏的部位的不同 ,判断这两种冲击试验对变压器不同部位绝缘检测的有效性     

GM计数管脉冲供电电压对计数率的影响

本文重点介绍了ＧＭ计数管脉冲供电电压对计数率的影响。经测试分析研究，结果表明脉冲供电比固定电压供电电压变化对ＧＭ管计数率的影响较大，应对脉冲电源提出更高的要求，     

Polarization Phase-Based Method For Material Classification In Computer Vision

A robust and accurate polarization phase-based technique for material classification is presented. The novelty of this technique is three-fold in (i) its theoretical development, (ii) application, and, (iii) experimental implementation. The concept of phase of polarization of a light wave is introduced to computer vision for discrimination between materials according to their intrinsic electrical conductivity, such as distinguishing conducting metals, and poorly conducting dielectrics. Previous work has used intensity, color and polarization component ratios. This new method is based on the physical principle that metals retard orthogonal components of light upon reflection while dielectrics do not. This method has significant complementary advantages with respect to existing techniques, is computationally efficient, and can be easily implemented with existing imaging technology. Experiments for real circuit board inspection, nonconductive and conductive glass, and, outdoor object recognition have been performed to demonstrate its accuracy and potential capabilities.     

A framework for determining design correctness

Quality is one of the main concerns in today's systems and software development and use. One important instrument in verification is the use of formal methods, which means that requirements and designs are analyzed formally to determine their relationships. Furthermore, since professional software design is to an increasing extent a distributed process, the issue of integrating different systems to an entity is of great importance in modern system development and design. Various candidates for formalizing system development and integration have prevailed, but very often, particularly for dynamic conflict detection, these introduce non-standard objects and formalisms, leading to severe confusion, both regarding the semantics and the computability. In contrast to such, we introduce a framework for defining requirement fulfillment by designs, detecting conflicts of various kinds as well as integration of heterogeneous schemata. The framework introduced transcends ordinary logical consequence, as it takes into account static and dynamic aspects of design consistency and, in particular, the specific features of the state space of a specification. Another feature of the approach is that it provides a unifying framework for design conflict analysis and schema integration.