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

A hybrid extended finite element/level set method for modeling phase transformations

A hybrid numerical method for modelling the evolution of sharp phase interfaces on fixed grids is presented. We focus attention on two‐dimensional solidification problems, where the temperature field evolves according to classical heat conduction in two subdomains separated by a moving freezing front. The enrichment strategies of the eXtended Finite Element Method (X‐FEM) are employed to represent the jump in the temperature gradient that governs the velocity of the phase boundary. A new approach with the X‐FEM is suggested for this class of problems whereby the partition of unity is constructed with C¹(Ω) polynomials and enriched with a C⁰(Ω) function. This approach leads to jumps in temperature gradient occurring only at the phase boundary, and is shown to significantly improve estimates for the front velocity. Temporal derivatives of the temperature field in the vicinity of the phase front are obtained with a projection that employs discontinuous enrichment. In conjunction with a finer finite difference grid, the Level Set method is used to represent the evolution of the phase interface. An iterative procedure is adopted to satisfy the constraints on the temperature field on the phase boundary. The robustness and utility of the method is demonstrated with several benchmark problems of phase transformation. Copyright © 2002 John Wiley & Sons, Ltd.     

A Composite Index of Compliance for Chronic In‐Center Hemodialysis Patients

We developed a composite compliance index as the sum of the compliance scores for interdialytic weight gain (IDWG), pre‐dialysis serum potassium and phosphorus concentrations (each scored from zero to 3, with 3 indicating the poorest compliance), and skipping hemodialysis sessions (scored from zero to 9, with 9 indicating the poorest compliance). We used this composite score to prospectively evaluate compliance in 25 prevalent hemodialysis patients over a period of 1 year. We then followed these patients for another 3.5 years. The patients studied were divided into two groups: group A (poor compliance) consisted of 9 subjects with composite score ≥ 9 (13.2 ± 3.2); group B (better compliance) consisted of 16 subjects with composite score < 9 (4.7 ± 1.8). Age, duration of hemodialysis, and frequency of diabetes mellitus did not differ between the groups. Group A contained higher fractions of subjects with history of alcoholism (66.7% vs 12.5%, p = 0.010), other substance addiction (44.4% vs 0%, p = 0.010), and severe psychosocial problems (88.9% vs 18.8%, p = 0.002). Mean survival from the beginning of observation, estimated by actuarial life‐table survival analysis, was 1.19 years in group A and 2.60 years in group B (p = 0.0265). A composite compliance index incorporating domains indicating adherence to diet, medications, and dialysis schedule identified other behavioral problems in poorly compliant patients. Hemodialysis patients characterized by this composite index as poorly compliant had shortened survival.     

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

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

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)     

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

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

Temperature effects on the mass flow rate in the SBI and similar heat‐release rate test equipment

In various medium‐to‐large‐scale fire test equipments like the ISO room corner test (RC), and more recently, the single burning item test (SBI) the mass flow rate measurement of the combustion gases plays a key role in the determination of the heat‐release rate and smoke‐production rate. With the knowledge of the velocity profile and the temperature of the flow, the mass flow rate is obtained by measuring the velocity on the axis of the duct. This is done by means of a bi‐directional probe based on the pitot principle. However, due to the variation of the mean temperature and the temperature gradient in any cross section of the duct, introduced by ever changing combustion gas temperatures, the velocity nor the density profile are constant in time. This paper examines the resulting uncertainty on the mass flow rate. Copyright © 2006 John Wiley & Sons, Ltd.     

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.