Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

提高曲面近似展开精度的方法与实现

通过对不可展曲面近似展开精度的研究，提出了根据曲面曲率的大小对曲面自动进行网格划分，通过对综合展开误差数据场进行数据拟合来选取最优展开基点，基于空间曲面与其展开图间近似的等距变换关系进行展开样形的误差矫正等3种方法，这几种方法的实现在不同程度上有效地减小了曲面的近似展开误差，提高了曲面的近似展开精度。     

黄河下游稳定主槽之节点整治

稳定主槽是当前黄河下游河道治理的关键。窄深河槽具有很强的泄洪能力与输沙能力,是主槽整治追求的目标。黄河下游均是顺直微弯河道,河道水流最基本的主导机理是沿着阻力最小的方向流动,走直路、走近路,主槽整治设计流路应以顺直为上策。当前有必要对微弯整治方案进行再认识,实现对其否定之否定的提高。控制性弯道整治、对口丁坝整治、节点整治都属于双岸整治的范畴,对双岸整治的方向应予肯定。今后的整治应从微弯整治向节点整治发展,逐步过渡到以节点整治为主,最终达到稳定河势流路、高效排洪输沙之目的。     

Polymer-Modified Bitumen Using Ethylene Terpolymers

Polymer modified bitumen (PMB) is used in various construction applications, especially in motorways. The aim of this study is to improve features of 60/70 penetration grade, modified bitumen used on highways. Increasing the sensitivity to temperature and oxidation resistance are very important points for the modified bitumen. This condition was provided by reacting the carboxylic acid groups in asphaltene with the reactive ethylene terpolymer to form ester. Reactive ethylene terpolymer (RETP) and ethylene terpolymer (ETP) manufactured by DuPont USA were used as additives in this study. Infrared Spectrophotometer (IR) graphics and optical pictures of the modified bitumen have been examined. It has been observed that the softening point has increased on the other hand, the penetration and ductility values have decreased according to the test results.     

微型构造表征技术在八面河油田的应用

通过对八面河油田井网密集区及井网稀疏的欠开发区的微构造研究,探讨了微构造表征技术。首先在储层多层次逐级对比的基础上,建立主力油层对比关系;密集井网条件下,则利用钻井资料编制油层顶底微型构造图;对于欠开发地区,通过人机联作自动追踪成图技术,输出2m等值线间隔构造图,建立微构造模型。以微构造模型为基础进行潜力评价,部署关键井寻找优质储量或进行开发动态调整。应用该项技术在八面河油田滚动发现了角15块等断鼻翼部局部高点,增加石油地质储量488×10~4t。     

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)     

复合内衬在燃油加热炉中的应用

对导热油加热炉炉壁温度升高的原因进行了分析,介绍了新型复合内衬的特点,并对其技术特点、施工工艺及应用效果进行了简单阐述。     

特低渗透油气藏成岩储集相的定量评价方法

针对陕北斜坡东部特低渗透储层受沉积作用和成岩作用两大因素控制的特点，利用灰色系统理论对成岩储集相进行了研究。分析了成岩作用综合效应及其相应的视压实率、视肢结率、视微孔率、成岩综合系数等定量指标和岩心分析数据，建立了成岩储集相综合评价参数、指标和分析方法。通过在安塞油田低孔隙度特低渗透长6。油藏储层的实际应用，对目的层段开展了Ⅰ，Ⅱ，Ⅲ和Ⅳ类成岩储集相的定量评价和油气富集描述，有机地集成和综合了多种信息，实现了成岩储集相对沉积学、岩石学和成岩作用等特征的综合表征，并划分出有利成岩储集相区域，为指导油田有利含油区块的筛选和开发决策提供了重要依据。