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.     

刚性棒状全芳香液晶聚酯的合成及性质的研究

以溴和苯基取代的对苯二甲酰氯及2，2′-二甲基联苯-4，4′-二甲酰氯作为单体，分别与甲基、叔丁基、苯基取代的对苯二酚经熔融缩聚反应，合成一类具有刚性棒状结构的全芳香液晶聚酯。聚酯的热性质以TGA、DSC，热台偏光显微镜研究。所有的聚酯均为热致性液晶，它们具有相对较低的转变温度，在普通的有机溶剂中具有较好的溶解性质。     

Phosphorus Inputs to Lake Simcoe from 1990 to 2003: Declines in Tributary Loads and Observations on Lake Water Quality

Total phosphorus (TP) inputs to Lake Simcoe have led to hypolimnetic dissolved oxygen (DO) depletion and loss of cold water fish habitat. Since 1990, efforts have been made to reduce the total TP input to the lake below a defined target of 75 t/year, which was predicted to lead to reductions in spring TP concentration and improvements in end-of-summer hypolimnetic DO concentrations. The total TP load to the lake during the most recent period of record (1998/99-2003/04) ranged from 53 to 76 t/yr and averaged 67 t/yr, compared to an average of 114 t/yr estimated between 1990/91 and 1997/98 (range 85-157 t/yr). Reductions in TP loads from the catchment via tributary discharge (∼26 t) accounted for the majority of the decrease in total load between the two time periods. Total P concentrations decreased significantly in four out of six long-term monitored tributaries; however, concentrations in all six tributaries remain above the level recommended to avoid nuisance plant growth (30 μg/L). Although TP loads to the lake are currently below the target 75 t/yr, excessive growths of filamentous algae and macrophytes continue to be a problem in the nearshore zone. End-of-summer minimum hypolimnetic DO concentrations (average 4.3 mg/L, 1998/99-2003/04) remain substantially below the level (7 mg/L) that is considered protective of lake trout. Efforts to reduce TP loads to the lake therefore need to continue.     

Programming tool-use actions.

When humans plan to execute a tool-use action, they can only specify the bodily movement parameters by taking into account the external target or goal of the tool-use action and the target-movement mapping implemented by the tool. In this study, the authors used the movement precuing method to investigate how people prepare for actions made with tools. More specifically, they asked whether people would be able to specify the spatial target and the target-movement mapping of the tool-use action independently of each other, and to what degree they would be able to prepare these components in advance. In 3 experiments, they precued either the target or the target-movement mapping of tool-use actions involving either a compatible or an incompatible target-movement mapping. Results indicate that participants benefit from partial advance information about the target-movement mapping, whereas no significant effects were found for precuing the spatial target of the action. These results occurred regardless of whether the target-movement mapping was compatible or incompatible and provide evidence for the notion that the target-movement mapping of a tool-use action is part of its cognitive representation. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Kinetic studies on strawberry anthocyanin hydrolysis by a thermostable anthocyanin-β-glycosidase from Aspergillus niger

Several kinetic characteristics of a thermostable anthocyanin-β-glycosidase from Aspergillus niger have been evaluated. With strawberry anthocyanins as substrate, at pH optimum (4·0) and t = 30°C, K_m was found to be $\text{123 ± 4 μ}\text{m}$ and V_max, 1·16 ± 0·06 μmol min^?1mg^?1 protein. Temperature optimum was observed at about 68°C. The apparent energy of activation was calculated to be 11 ± 1 kcal/mol. The inhibitory effect of different sugars and sugar derivatives was examined. Glucono-deltalactone ($\text{K}{}_{\mathrm{<mtext>i</mtext>}}\text{= 2·3 ± 0·1 μ}\text{m}$), gluconic acid ($\text{K}{}_{\mathrm{<mtext>i</mtext>}}\text{= 82 ± 2 μ}\text{m}$) and glucose ($\text{K}{}_{\mathrm{<mtext>i</mtext>}}\text{= 1·3 ± 0·1}\text{m}\text{m}$) appeared to be competitive inhibitors of this enzyme.     

Entschwefelung von gerührtem und ungerührtem Roheisen mit kalkreicher Schlacke unter oxidierender Gasatmosphäre

Aus Betriebsergebnissen bei der Pfannenentschwefelung ist ein negativer Einfluß oxidierender Gasphasen bekannt. Daher war es das Ziel der eigenen Untersuchungen in einer geeigneten Apparatur die Wirkung oxidierender Bedingungen in der Gasphase sowohl auf den Verlauf des Schwefelabbaues in der Schlacke als auch des Schwefeltransportes aus dem Roheisen in die Schlacke zu untersuchen. Oxidierende Gasphasen erwirken bei der Pfannenentschwefelung an der Phasengrenze Schlacke/Gas eine Oxidation des Schwefels aus der Schlacke, ohne jedoch bei ruhender Schlackenschicht ein Oxidationspotential in der Schlacke aufzubauen, das bis zur Phasengrenze Roheisen/Schlacke durchgreift und dort die Entschwefelung des Roheisens durch die Siliciumgehalte stört. Sowohl die Entschwefelung des Roheisens als auch die Oxidation des Schwefels aus der Schlacke werden durch höhere Temperaturen und durch eine Rührwirkung gefördert. Der Schwefeltransport wird bei den ungerührten wie bei den gerührten Schmelzen durch Diffusionsvorgänge gesteuert und auch hier durch steigende Temperaturen und rührende Kräfte begünstigt.     

Imaging the domain pattern of the canted magnetization state in Co/Pt multilayer films

The exact magnetization pattern of magnetic films close to a spin-reorientation transition is difficult to analyze due to the intrinsically three-dimensional (3d) variation of the orientation of the local magnetization. We present a technique how this can be performed, based on the analysis of high quality 2d polarization maps from a single scanning electron microscope with polarization analysis (SEMPA) measurement with tilted sample. The key tool is the statistical distribution of all occurring polarization doublets, visualized in a 2d histogram plot. From the shape of the distribution the type of transition—canted-phase, or coexisting phases—can be inferred. For the canted-phase state, the canting angle can be accurately determined from geometrical considerations. With help of the histogram the image data can be analyzed and the three components of the magnetization can be calculated for most points of the image. For a Co/Pt multilayer film we found a cone state. The magnetization forms a complex pattern consisting of out-of-plane domains while the in-plane magnetization shows a maze pattern.     

A Simon Effect With Stationary Moving Stimuli.

To clarify whether motion information per se has a separable influence on action control, the authors investigated whether irrelevant direction of motion of stimuli whose overall position was constant over time would affect manual left-right responses (i.e., reveal a motion-based Simon effect). In Experiments 1 and 2, significant Simon effects were obtained for sine-wave gratings moving in a stationary Gaussian window. In Experiment 3, a direction-based Simon effect with random-dot patterns was replicated, except that the perceived direction of motion was based on the displacement of single elements. Experiments 4 and 5 studied motion-based Simon effects to point-light figures that walked in place--displays requiring high-level analysis of global shape and local motion. Motion-based Simon effects occurred when the displays could be interpreted as an upright human walker, showing that a high-level representation of motion direction mediated the effects. Thus, the present study establishes links between high-level motion perception and action. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Numerical simulation model for exhaust gas transportation of dust in the BOF

During the BOF process for the production of crude steel, the specific amount of dust emitted is of the order of 2 % of the steel weight at turn down. The process gas conveys the dust through the boiler system into the primary and secondary dust catchers. The transportation of dust particles is influenced by blowing parameters; physical properties of process gas and of dust phases; and, type and layout of the converter and the filter system. In this work, a numerical simulation model is developed that simulates the pneumatic conveyance and sedimentation of primarily coarse dust particles in the BOF gas cleaning system. Comparison is then made of predicted coarse dust characteristics with values for dust sampled from an existing plant in order to verify the plausibility of the developed model.