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种方法，这几种方法的实现在不同程度上有效地减小了曲面的近似展开误差，提高了曲面的近似展开精度。     

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

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

Effect of specimen size and loading conditions on spalling of concrete

Different qualities of concrete have been fire tested using different geometries of the specimens as well as different load levels and load configurations. The main objective with the study was to examine a test methodology consisting of a full‐scale test and different small scale‐tests for determining the probability of spalling and the amount of spalling of fire exposed concrete structures. A reference specimen was defined as a one‐sided fire exposed slab with the dimensions 1800 × 1200 mm² giving an exposed area of 1500 × 1200 mm². A number of concrete qualities with different probabilities for spalling, were tested using the reference specimen. These tests showed that the reference specimens worked well giving the expected test results. Small specimens were manufactured in different shapes with the same concrete as the one used in the reference tests. These small specimens were tested either at the same time as the reference specimens in the large furnace or afterwards on a small‐scale furnace where the fire exposed surface was 450 × 360 mm². The test results clearly show the increased probability and the increased amount of spalling by using external compressive loading. The results also show that by using pre‐stress through bars or wires the load can be lost due to heating of the bars/wires which results in a decreased amount of spalling. The boundary of the specimen also affects the amount of spalling. The spalling around the edges was in all tests less than the spalling on the central parts of the exposed area. It could also be noted that the spalling did not pass completely through any of the specimens. The reason for this is probably that the water/vapour could migrate out from the unexposed surface of the specimen. Copyright © 2006 John Wiley & Sons, Ltd.     

"On the question of professional standards for computer-based test interpretation": Response to Kramer on Matarazzo.

Responds to the comments by J. J. Kramer (see record 1990-58925-001) on the current author's original article (see record 1986-19878-001), in which Matarazzo contends that computerized clinical psychological test interpretations offer considerable potential for improving the work of health service providers. However, cost additions associated with this technology have increased the probabilities that legislative, judicial, and administrative restrictions and sanctions will be imposed. Here, Matarazzo notes that he finds nothing in Kramer's comments that is inconsistent with the opinions that Matarazzo himself offered. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

电炉钢外来夹杂控制的研究

介绍了夹杂物的来源,包括内生夹杂和外来夹杂,着重于二次氧化产物、卷渣、内衬侵蚀.同时介绍了鄂钢电炉厂在冶炼和连铸过程中控制夹杂物的操作实践.     

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.     

陈垃圾土的压缩性试验研究

首先介绍了重庆市主城区填埋场的现状，论述了深入研究陈垃圾土压缩特性的重要性。作者在简要总结了采样场内陈垃圾土的基本物理性质后。通过室内侧限压缩试验(亦称固结试验)，得出了描述陈垃圾土压缩性质的基本参数，如αv、Es、mv和Cc等，试验表明陈垃圾土是一种不同于常见土类的高压缩性欠固结土，试验结果可为填埋场再利用和已封闭填埋场的沉降计算提供依据。     

浅埋地下建筑风冷热泵空调系统传热模型与试验研究

本文在浅埋地下建筑风冷热泵空调系统围护结构传热动态模拟的基础上，通过对南京市太园地下旅社围护结构传热的实时测试，验证动态传热模型及计算机模拟方法的可行性和正确性，为浅埋地下建筑风冷热泵空调系统的装机容量、节能指标和设计计算提供一定的理论依据。     

AgNO<Subscript>3</Subscript> spray tests: advantages,weaknesses, and various applications to quantify chloride ingress into concrete. Part 1: Non-steady-state diffusion tests and exposure to natural conditions

Within the framework of the evaluation and the prediction of chloride-induced corrosion risks, simple and rapid AgNO₃ spray tests can be proposed for various issues. This paper forms the first part of a series. In this first part, the Maultzsch procedure (spraying of 0.1-N AgNO₃ solution + K₂CrO₄) as well as the procedure based on the use of a sole AgNO₃ solution have been investigated on a broad range of concretes. These procedures have also been compared to the Collepardi procedure (spraying of 0.1-N AgNO₃ + fluoresceine). The feasibility of these colorimetric techniques on saturated specimens cast in laboratory, after non-steady-state diffusion tests carried out in various conditions, is discussed. In addition, the results obtained from applying such spray tests in field conditions on cores drilled out from various RC test specimens exposed to a marine environment (tidal zone) and to a road and cold environment (freezing-thawing cycles and spraying of deicing salts) are presented. Colorimetric methods have in particular been applied here to the assessment of the average chloride penetration depth and of its evolution versus time (kinetics). Moreover, the detection threshold of these techniques has been investigated in various environments. The possible sources of discrepancy on the results have been analysed.