Simulation of the VVER-1000 pump start-up experiment of the OECD V1000CT benchmark with CATHARE and TRAC-PF1

In the framework of joint effort between the Nuclear Energy Agency (NEA) of OECD, the United States Department of Energy (US DOE), and the Commissariat a l'Energie Atomique (CEA), France a coupled three-dimensional (3D) thermal-hydraulics/neutron kinetics benchmark for VVER-1000 was defined. The benchmark consists of calculation of a pump start-up experiment labelled V1000CT-1 (Phase 1), as well as a vessel mixing experiment and main steam line break (MSLB) transient labelled V1000CT-2 (Phase 2), respectively. The reference nuclear plant is Kozloduy-6 in Bulgaria. The overall objective is to assess computer codes used in the analysis of VVER-1000 reactivity transients. A specific objective is to assess the vessel mixing models used in system codes. Plant data are available for code validation consisting of one experiment of pump start-up (V1000CT-1) and one experiment of steam generator isolation (V1000CT-2). The validated codes can be used to calculate asymmetric MSLB transients involving similar mixing patterns. This paper summarizes a comparison of CATHARE and TRAC-PF1 system code results for V1000CT-1, Exercise 1, which is a full plant point kinetics simulation of a reactor coolant system (RCS) pump start-up experiment. The reference plant data include integral and sector average parameters. The comparison is made from the point of view of vessel mixing and full system simulation. CATHARE used a six-sector multiple 1D vessel thermal-hydraulic model with cross flows and TRAC used a six-sector, 18-channel coarse-mesh 3D vessel model. Good agreement in terms of integral parameters and inter-loop mixing is observed.     

Application of condition-based HRA method for a manual actuation of the safety features in a nuclear power Plant

A practical approach to develop a more realistic fault-tree model with a consideration of various conditions endured by a human operator is proposed. In safety-critical systems, the generation failure of an actuation signal is caused by the concurrent failures of the automated systems and an operator action. These two sources of safety signals are complicatedly correlated. The failures of sensors or automated systems will cause a lack of necessary information for a human operator and result in error-forcing contexts such as the loss of corresponding alarms and indications. It is well known that the error-forcing contexts largely affect the operator's performance. An automated system which consists of multiple processing channels and complex components is also affected by the availability of the sensors. This paper proposes a condition-based human reliability assessment (CBHRA) method in order to address these complicated conditions in a practical way. We apply the CBHRA method to the manual actuation of the safety features such as a reactor trip and auxiliary feedwater actuation in Korean Standard Nuclear Power Plants. Even the human error probability of each given condition is simply assumed, the application results prove that the CBHRA effectively accommodates the complicated error-forcing contexts into the fault trees.     

多处理器系统中的数据局部性及其优化技术研究

数据局部性是多处理器系统中的重要研究方向之一。结合该领域目前国内外研究现状和我们近一阶段的研究进展，讨论了多处理器系统中的数据局部性及其优化问题。针对现有局部性度量模型存在的不足，提出了一种增强的可用于层次式并行计算机体系结构的局部性度量模型。在静态和动态局部性优化技术方面，分别探讨了基于投影分层的数据变换框架和基于瞬时访问信息的动态页迁移策略，并展开了系列相关的讨论。另外，针对利用数据局部性时必须解决的一个关键问题--存储一致性问题，进行了深入的研究，提出了以操作系统为中心的线程存储一致性模型。     

农业重组微生物生物安全研究进展

综述了近年来农业重组微生物的研究现状和进展 ,详细介绍农业重组微生物环境释放的监控方法以及对环境的冲击作用 ,对一些有关生物安全研究的热点问题进行了探讨     

Accelerating filtering techniques for numeric CSPs

Search algorithms for solving Numeric CSPs (Constraint Satisfaction Problems) make an extensive use of filtering techniques. In this paper¹ we show how those filtering techniques can be accelerated by discovering and exploiting some regularities during the filtering process. Two kinds of regularities are discussed, cyclic phenomena in the propagation queue and numeric regularities of the domains of the variables. We also present in this paper an attempt to unify numeric CSPs solving methods from two distinct communities, that of CSP in artificial intelligence, and that of interval analysis.     

SPECTRAL DENSITY ESTIMATION FROM NONLINEARLY OBSERVED DATA

Abstract. The estimation of the spectral density function of a stationary Gaussian process at the input of an instantaneous nonlinearity is considered when the nonlinearity is known and a finite set of observations of the output process is given. A class of spectral estimates is considered and their quadratic-mean consistency is established; precise asymptotic expressions for their bias and covariance are derived and their asymptotic normality is obtained.     

Review of The achievement test desk reference: A guide to learning disability identification, second edition.

Reviews the book, The achievement test desk reference: A guide to learning disability identification, second edition by Dawn P. Flanagan, Samuel O. Ortiz, Vincent C. Alfonso, and Jennifer T. Mascolo (2006). The Second Edition of the Achievement test desk reference comes only four years after its first edition. Its content echoes the first edition, with the chapters now re-organized and updated. However, this edition is also timely; its significant contributions are its theoretical and practical model for defining and assessing learning disabilities (LD) and its update of practical information for interpreting many of the new standardized achievement tests. The goal for this edition was to provide an integrated and systematic framework for achievement testing within the framework of the Cattell-Horn-Carroll (CHC) theory of human cognitive abilities and the Response to Intervention (RTI) movement. Part 1 of provides an update of the theories, definitions, assessment, interpretation, and identification of LD. Part 2 describes and reviews the psychometric, theoretical, and qualitative features of achievement tests published between 1996 and 2006 and normed on people from the United States. Part 3 provides a comprehensive, step-by-step process for assessing learning disabilities under the Individuals with Disabilities Education Improvement Act (IDEA 2004). This volume guides practitioners to choose the best achievement tests to use. It shows how to get the most efficient and effective evaluations of students' academic skills that could account for their difficulties and possible learning disabilities. This book will be essential reference material for effective LD assessments. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Recent Development of Cognitive and Neuropsychological Assessment in Asian Countries.

There is a growing trend of research in neuropsychological assessment in Asia: The mean number of published studies increased from 1.8 in the 1980s to 16.0 in 2 recent years. About 40% of the studies reviewed concerned test development or adaptation, with the latter greatly outnumbering the former. To facilitate the test selection for clinical use, 36 clinical measures were evaluated based on some statistical criteria. The results showed that only 8 neuropsychological tests (5 Chinese. 2 Korean, and 1 Japanese) met the criteria. Given that Asian and Western populations differ on certain cognitive processes, future development of neuropsychological assessment measures in Asia should move from the adaptation of Western tests toward the construction of original tests with better ecological validity. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

保序回归的大样本性质

利用保序回归与极大似然估计之间的关系,从极大似然估计解的大样本性质出发,得到了保序回归解的两个大样本性质。